buffer.load.i8.u

← buffer dialect

Load one unsigned byte from a buffer root and zero-extend it to the canonical i32 carrier. The byte offset must identify an accessible byte in the buffer.

Operation contract

Property	Value
Semantic phase	executable
Interfaces	MemoryAccess
Memory effects	read source

Signature

Kind	Name	Type	Cardinality	Description
Operand	source	buffer	required	Buffer root read by the load.
Operand	byte_offset	offset	required	Byte offset into the source buffer.
Result	result	i32	required	Loaded unsigned byte zero-extended to i32.

Examples

%byte = buffer.load.i8.u %source[%byte_offset]