check.expect.equal

← check dialect

Requires actual and expected values to compare equal.

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.equal actual(%actual) expected(%expected) : tensor<[%m]xi32>