~/jendhub

def ph_of_bits

bendtorch@1.3.0.0 · main.bend:320

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

320# F32 -> BF16 bits (dtype.bend's BF16.of_f32): add 0x7FFF plus the lowest kept bit, keep the top half; NaN -> 0xFFFF
321def ph_of_bits(+u: U32) -> U32:
322  ph_pick(U32.is_gt((u .&. 2147483647 : U32), 2139095040), 65535, U32.shrn(((u + 32767 : U32) + (U32.shrn(u, 16n) .&. 1 : U32) : U32), 16n))

Uses (6)

Used by (1)