Lines Matching defs:bit
767 {DAZ = BitsN.bit(x,6), DE = BitsN.bit(x,1), DM = BitsN.bit(x,8),
768 FZ = BitsN.bit(x,15), IE = BitsN.bit(x,0), IM = BitsN.bit(x,7),
769 OE = BitsN.bit(x,3), OM = BitsN.bit(x,10), PE = BitsN.bit(x,5),
770 PM = BitsN.bit(x,12), RC = BitsN.bits(14,13) x,
771 Reserved = BitsN.bits(31,16) x, UE = BitsN.bit(x,4),
772 UM = BitsN.bit(x,11), ZE = BitsN.bit(x,2), ZM = BitsN.bit(x,9)};
1016 (Nat.fromBool(BitsN.bit(b,7)),
1017 Nat.fromBool(BitsN.bit(b,6))),
1018 Nat.fromBool(BitsN.bit(b,5))),
1019 Nat.fromBool(BitsN.bit(b,4))),
1020 Nat.fromBool(BitsN.bit(b,3))),
1021 Nat.fromBool(BitsN.bit(b,2))),Nat.fromBool(BitsN.bit(b,1))),
1022 Nat.fromBool(BitsN.bit(b,0)))
1030 fun word_size_msb (size,w) = BitsN.bit(w,Nat.-(Zsize_width size,1));
1230 val bit = BitsN.bit(EA base,offset)
1232 ( write'CF bit
1241 (w,BitsN.fromBit(not bit)),base)
2864 {B = BitsN.bit(x,0), R = BitsN.bit(x,2), W = BitsN.bit(x,3),
2865 X = BitsN.bit(x,1)};
4988 if BitsN.bit(opc,3)
5022 if BitsN.bit(opc,3)
5043 if BitsN.bit(opc,3)
5148 val rex = if BitsN.bit(r,3) then BitsN.B(0x1,4) else BitsN.B(0x0,4)
5264 (if BitsN.bit(r,3) then [BitsN.B(0x49,8)] else [])
5273 (if BitsN.bit(r,3) then [BitsN.B(0x49,8)] else [])
5309 if BitsN.bit(r,3) then BitsN.B(0x1,4) else BitsN.B(0x0,4)
6020 else FAIL "expecting 32-bit or 64-bit register destination")
6032 else FAIL "expecting 32-bit or 64-bit register source")
6383 FAIL "destination must be a 64-bit register"