bit.ptr_wflip_2nd_word

Effectively:  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 132–136 (view on GitHub).

Complexity

• Time: 3w@

• Space: 3w@

See the complexity glossary for what @, w, dw, dbit, n mean.

Requires init

The following must be initialised before this macro is invoked:

• bit.pointers.ptr_init

Source

Click to view the macro body

def ptr_wflip_2nd_word ptr, value {
    .not ptr + dw*((#w)-1)
    .ptr_wflip ptr, value
    .not ptr + dw*((#w)-1)
}

Depends on

• bit.not/1

• bit.ptr_wflip

Used by

• bit.exact_xor_from_ptr

Example uses

• bit.exact_xor_from_ptr in bit/pointers.fj

---

← Previous: bit.pointers.advance_by_one_and_flip__ptr_wflip Next: bit.xor_from_ptr →