← All docs
ptr_write16() — internals
Compiler internals for ptr_write16(): lowering path, type checks, and runtime helpers.
ptr_write16() — internals
Where it lives
- Signature:
src/builtins/pointers/ptr_write16.rs - Lowering:
src/codegen/lower_inst/builtins/pointers.rs:156 (lower_ptr_write16) - Function symbol:
lower_ptr_write16()
Lowering notes
- Lowers
ptr_write16(pointer, value)by writing one 16-bit word through a checked pointer.
Runtime helpers
The following runtime helpers are referenced:
__rt_ptr_write_string
Signature summary
function ptr_write16(pointer $pointer, int $value): voidWhat the type checker enforces
- Arity: takes exactly 2 arguments.
Eval interpreter (magician)
- Declaration:
crates/elephc-magician/src/interpreter/builtins/raw_memory/ptr_write16.rs(eval_builtin!) - Dispatch hooks:
direct,values