global.load
← global dialect
Load a value global or materialize a read-only data symbol. Value-global dynamic dims and encodings in the type annotation reference co-results by name, and predicates on the definition are propagated as value facts. A read-only data symbol requires one buffer result representing the complete payload with constant-memory provenance. Definitions provide exact byte-extent and authored alignment facts; declarations remain conservative until linking supplies their definition.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
UnknownEffects |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Result |
result |
any |
variadic |
— |
| Attribute |
global |
symbol (global, rodata) |
required |
— |
Examples
%tile, %m, %k = global.load @weights : tile<[%m]x[%k]xf32>
%tile = global.load @bias : tile<[%m]xf32>
%cache, %s, %d = global.load @kv_cache : tile<[%s]x[%s]x[%d]xf32>
%message = global.load @message : buffer