Return op name ub.poison as a bitstring.

ub.poison - Poisoned constant operation.

Attributes

• value - Single, PoisonAttrInterface, PoisonAttrInterface instance

Results

• result - Single, AnyType, any non-token type

Description

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>

Return op name ub.unreachable as a bitstring.

ub.unreachable - Unreachable operation.

Description

The unreachable operation triggers immediate undefined behavior if executed.

Example:

ub.unreachable