bit.ptr_wflip_2nd_word

Complexity 3w@
like:  wflip (*ptr)+w, value
ptr is a bit[:w] that holds an address, which we assume is dw-aligned.

Signature

def ptr_wflip_2nd_word ptr, value { ... }

Defined in bit/pointers.fj — lines 126–130 (view on GitHub).

Depends on

• bit.not/1

• bit.ptr_wflip

Used by

• bit.exact_xor_from_ptr