check.benchmark

← check dialect

Declares a benchmark slice over a check.case.

Operation contract

Property	Value
Semantic phase	—
Traits	SymbolDefine

Symbol contract

Property	Value
Kind	check benchmark
Defining field	benchmark
Interfaces	record
Flags	test only

Signature

Kind	Name	Type	Cardinality	Description
Attribute	benchmark	symbol	optional	—
Attribute	case_ref	symbol (record)	required	—
Attribute	attrs	dict	optional	—

Examples

check.benchmark<@gemv_sweep> @gemv_latency {m = 8, n = 96}