Skip to content

check.expect.bitwise

check dialect

Requires actual and expected values to match bit-for-bit.

Operation contract

Property Value
Semantic phase
Traits UnknownEffects, HasAncestor(check.case)

Signature

Kind Name Type Cardinality Description
Operand actual any required
Operand expected any required

Verification constraints

  • SameType(actual, expected)

Examples

check.expect.bitwise actual(%actual) expected(%expected) : tensor<1024xf32>