Skip to content

target dialect

← Dialect reference

Authored target witnesses and contextual target queries.

Property Value
Bytecode dialect ID 0x13
Registered by default yes
Operations 3

Operations

Operation Summary
target.decl Declares a target-record contract whose definition may be provided by linking.
target.generic Generic target-family record for target-independent or host-neutral compilation.
target.subgroup.size Read the selected subgroup size of the current function version.

Parameterized attributes

Attribute Summary
#target.subgroup.size Requires the active function-version facts to establish this subgroup size.