# `Beaver.MLIR.Dialect.UB`

# `poison`

Return op name `ub.poison` as a bitstring.

# `poison`

`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>
```

# `unreachable`

Return op name `ub.unreachable` as a bitstring.

# `unreachable`

`ub.unreachable` - Unreachable operation.

## Description
The `unreachable` operation triggers immediate undefined behavior if
executed.

Example:

```
ub.unreachable
```