sanitizer.race.fragment_access

← sanitizer dialect

Observe the target-selected physical memory activity of a matrix fragment load or store. The fragment payload, logical origin, matrix shape, and role preserve the source contract until target lowering selects the same lane participation and addresses as the corresponding fragment memory operation.

Operation contract

Property	Value
Semantic phase	—
Traits	UnknownEffects
Target contracts	sanitizer.race

Signature

Kind	Name	Type	Cardinality	Description
Operand	fragment	vector	required	Physical matrix fragment payload.
Operand	view	view	required	Typed view being accessed.
Operand	indices	index	variadic	Dynamic logical origin indices.
Operand	blocks	index	optional	Optional independent matrix block count.
Operand	rows	index	required	Logical matrix row count.
Operand	columns	index	required	Logical matrix column count.
Attribute	kind	enum SanitizerRaceFragmentAccessKind	required	Fragment memory effect being observed.
Attribute	role	enum SanitizerRaceFragmentAccessRole	required	Matrix address-mapping role being observed.
Attribute	static_indices	i64_array	required	Static logical origin indices with INT64_MIN sentinels for dynamics.

Examples

sanitizer.race.fragment_access<write> %acc, %view[%row, %col] shape [%m, %n] {role = result} : vector<8xf32>, view<128x128xbf16>