sanitizer dialect

← Dialect reference

Executable diagnostic assertions. Assertions refine SSA facts on the continuing path while preserving the dynamic trap/report boundary until canonicalization proves that boundary unreachable. These operations observe SSA values and references, not user memory payload. Reports and race histories use diagnostic storage and may retain observed addresses.

Property	Value
Bytecode dialect ID	0x1d
Registered by default	yes
Operations	8

Operations

Operation	Summary
sanitizer.assert.access	Assert that a logical indexed view access is valid.
sanitizer.assert.accesses	Assert that a static sequence of regularly-strided logical indexed view accesses is valid.
sanitizer.assert.layout	Assert that a view satisfies a refined layout, shape, or encoding contract and return the same view on the continuing path.
sanitizer.assert.op	Assert operation-level predicate constraints without producing checked aliases.
sanitizer.assert.value	Assert predicate constraints over SSA values and return checked identity aliases.
sanitizer.race.access	Observe a logical indexed view access for race detection.
sanitizer.race.fragment_access	Observe the target-selected physical memory activity of a matrix fragment load or store.
sanitizer.race.sync	Observe a synchronization boundary for race detection.