mlir.dialects._ub_ops_gen¶

Attributes¶

`_ods_ir`
`_Buffer`

Classes¶

`_Dialect`
`PoisonOp`	The `poison` operation materializes a compile-time poisoned constant value
`PoisonOpAdaptor`
`UnreachableOp`	The `unreachable` operation triggers immediate undefined behavior if
`UnreachableOpAdaptor`

Functions¶

`poison`(→ _ods_ir)
`unreachable`(→ UnreachableOp)

Module Contents¶

mlir.dialects._ub_ops_gen._ods_ir¶

mlir.dialects._ub_ops_gen._Buffer¶

class mlir.dialects._ub_ops_gen._Dialect¶

Bases: _ods_ir

DIALECT_NAMESPACE = 'ub'¶

class mlir.dialects._ub_ops_gen.PoisonOp(result: _ods_ir, *, value: Any | _ods_ir | None = None, loc: _ods_ir | None = None, ip: _ods_ir | None = None)¶

Bases: _ods_ir

The poison operation materializes a compile-time poisoned constant value to indicate deferred undefined behavior. value attribute is needed to indicate an optional additional poison semantics (e.g. partially poisoned vectors), default value indicates results is fully poisoned.

Examples:

// Short form
%0 = ub.poison : i32
// Long form
%1 = ub.poison <#custom_poison_elements_attr> : vector<4xi64>

OPERATION_NAME = 'ub.poison'¶

_ODS_REGIONS = (0, True)¶

value() → _ods_ir¶

result() → _ods_ir¶

class mlir.dialects._ub_ops_gen.PoisonOpAdaptor¶

Bases: _ods_ir

OPERATION_NAME = 'ub.poison'¶

value() → _ods_ir¶

mlir.dialects._ub_ops_gen.poison(result: _ods_ir, *, value: Any | _ods_ir | None = None, loc: _ods_ir | None = None, ip: _ods_ir | None = None) → _ods_ir¶

class mlir.dialects._ub_ops_gen.UnreachableOp(*, loc: _ods_ir | None = None, ip: _ods_ir | None = None)¶

Bases: _ods_ir

The unreachable operation triggers immediate undefined behavior if executed.

Example:

ub.unreachable

OPERATION_NAME = 'ub.unreachable'¶

_ODS_REGIONS = (0, True)¶

class mlir.dialects._ub_ops_gen.UnreachableOpAdaptor¶

Bases: _ods_ir

OPERATION_NAME = 'ub.unreachable'¶

mlir.dialects._ub_ops_gen.unreachable(*, loc: _ods_ir | None = None, ip: _ods_ir | None = None) → UnreachableOp¶