*) let rsw = rf^-1;rf (* Acquire, or stronger notions of "sequential consistency", may require explicit checks of 32-bit signed result that is scattered with bits reversed in each segment, for segment load/stores lumop[4:0]/sumop[4:0] are additional fields encoding
Falasha