`hex.max`¶

dst[:n] = max(a[:n], b[:n]) (unsigned)
@Assumes dst is distinct from a and b

Signature¶

def max n, dst, a, b @ use_a, use_b, end { ... }

Defined in hex/cond_jumps.fj — lines 184–193 (view on GitHub).

Complexity¶

Time: n(5@+8) (cmp is data-dependent; worst case)
Space: n(6@+66)

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

Requires init¶

The following must be initialised before this macro is invoked:

hex.cmp.init (or hex.init)

Source¶

Click to view the macro body

def max n, dst, a, b @ use_a, use_b, end {
    .zero n, dst
    .cmp n, a, b, use_b, use_a, use_a   // a >= b  ->  a
  use_a:
    .xor n, dst, a
    ;end
  use_b:
    .xor n, dst, b
  end:
}

Depends on¶

← Previous: hex.min