Function tvm::tirx::assume_always_op

• Defined in File annotation.h

Function Documentation

const Op &tvm::tirx::assume_always_op()

Assert a predicate remains true throughout its containing scope, including mutations.

This void annotation records a scope-wide guarantee without a runtime check. args[0] is the boolean predicate. Constraint traversal records it with assume_always=true.