buffer.store.i8

← buffer dialect

Store the low eight bits of an i32 carrier to one byte in a buffer root. The byte offset must identify an accessible byte in the buffer.

Operation contract

Property	Value
Semantic phase	executable
Interfaces	MemoryAccess
Memory effects	write target

Signature

Kind	Name	Type	Cardinality	Description
Operand	value	i32	required	i32 carrier whose low eight bits are stored.
Operand	target	buffer	required	Buffer root written by the store.
Operand	byte_offset	offset	required	Byte offset into the target buffer.

Examples

buffer.store.i8 %byte, %target[%byte_offset]