← All docs
ptr_read8() — internals
Compiler internals for ptr_read8(): lowering path, type checks, and runtime helpers.
ptr_read8() — internals
Where it lives
- Signature:
src/builtins/pointers/ptr_read8.rs - Lowering:
src/codegen/lower_inst/builtins/pointers.rs:114 (lower_ptr_read8) - Function symbol:
lower_ptr_read8()
Lowering notes
- Lowers
ptr_read8(pointer)by reading one unsigned byte through a checked pointer.
Runtime helpers
No direct __rt_* helpers captured — the lowering is inlined or routes through another builtin.
Signature summary
function ptr_read8(pointer $pointer): intWhat the type checker enforces
- Arity: takes exactly 1 argument.
Eval interpreter (magician)
- Declaration:
crates/elephc-magician/src/interpreter/builtins/raw_memory/ptr_read8.rs(eval_builtin!) - Dispatch hooks:
direct,values