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.

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

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.sync	Observe a synchronization boundary for race detection.