tvm_tirx.script.ir_builder.parser_protocol.assert_

Contents

tvm_tirx.script.ir_builder.parser_protocol.assert_#

tvm_tirx.script.ir_builder.parser_protocol.assert_(condition, message='', *, loc=None)#

Emit a runtime assertion.

Parameters:

  • condition (Expr or bool) – Already-evaluated predicate.

  • message (str or assertion metadata, optional) – Empty text by default. Relax requires construction-time text. TIRx also accepts message parts or an (error_kind, parts) pair.

  • loc (LocationEntry, Location or None, optional) – Location for the constructed result. None (the default) leaves explicit location unspecified; active source-call provenance is composed by the builder. Frames retain their location until finalization.

Returns:

None – No value; emits a native assertion.

Return type:

None

Notes

Requires an active function/statement region. Malformed diagnostic metadata raises TypeError; native predicate checking propagates. Construction does not test an IR predicate as a host boolean.

# Source
assert condition, "failed"
# Generated builder
X.assert_(condition, "failed")
Contents