bit.exact_xor_from_ptr

Complexity 8w@
like:  bit.exact_xor dst, *ptr
dst is a bit-address. ptr is a bit[:w] that holds an address, which we assume is dw-aligned.

Signature

def exact_xor_from_ptr dst, ptr @ base_jump_label, cleanup { ... }

Defined in bit/pointers.fj — lines 149–161 (view on GitHub).

Depends on

• bit.ptr_jump

• bit.ptr_wflip_2nd_word

Used by

• bit.xor_from_ptr