2.5.5. C-level Address

TODO.

2.5.5.1. Instruction

target = caddr.function op1 [caddr::Function]
Target:tuple<*>
Operator 1:function() -> void

Returns the physical address of a function. The function must be of linkage ~~EXPORT, and the instruction returns two separate addresses. For functions of calling convention ~~HILTI, the first is that of the compiled function itself and the second is that of the corresponding ~~resume function. For functions of calling convention ~~C and ~~C_HILTI, only the first element of the target tuple is used, and the second is undefined. op1 must be a constant.