sanitizer.assert.access
← sanitizer dialect
Assert that a logical indexed view access is valid. The assertion has the same index-list shape as ordinary view memory operations so source-level memory contracts remain typed until target lowering materializes address checks.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
UnknownEffects |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
view |
view |
required |
Typed view being accessed. |
| Operand |
indices |
index |
variadic |
Dynamic logical element indices. |
| Attribute |
kind |
enum SanitizerAccessKind |
required |
Logical access kind being asserted. |
| Attribute |
static_indices |
i64_array |
required |
Static logical element indices with INT64_MIN sentinels for dynamics. |
| Attribute |
static_extents |
i64_array |
optional |
Optional full-rank static logical footprint extents. Absent means a scalar element access. |
Examples
sanitizer.assert.access<read> %view[%row, %col] : view<[%M]x[%N]xf32, %layout>