sanitizer.assert.op

← sanitizer dialect

Assert operation-level predicate constraints without producing checked aliases. This is the executable form for contracts such as valid divide operands, shift counts, overflow preconditions, and other facts where the checked operation itself remains the semantic anchor.

Operation contract

Property	Value
Semantic phase	—
Traits	UnknownEffects

Signature

Kind	Name	Type	Cardinality	Description
Operand	values	any	variadic	Values observed by the assertion predicates.
Attribute	predicates	predicate_list	required	Predicate constraints that must hold at runtime.

Examples

sanitizer.assert.op %lhs, %rhs [ne(%rhs, 0)] : i32, i32