vector.trunci¶
Lanewise integer truncation. Source and result shapes match exactly, and each lane keeps the low bits required by the result element width.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | executable |
| Traits | Pure, Elementwise, SafeToSpeculate |
Signature¶
| Kind | Name | Type | Cardinality | Description |
|---|---|---|---|---|
| Operand | input |
vector |
required | — |
| Result | result |
vector |
required | — |
Verification constraints¶
HasIntegerElement(input)HasIntegerElement(result)SameKind(input, result)SameShape(input, result)ElementWidthLessThan(result, input)
Examples¶
Note
A canonical source example has not been added for this operation yet.