Lines Matching defs:b6
5998 IRTemp b6 = newTemp(Ity_I8);
6002 assign(b6, get_gpr_b6(r2));
6010 put_gpr_b1(r1, mkexpr(b6));
10008 s390 VEX b6 b2 b0 cc.1 cc.0
10015 b0, b2, b6 with b0 being the LSB. We observe:
10018 cc.1 = b2 | (~b0 & ~b6)
10029 IRTemp b6 = newTemp(Ity_I32);
10034 assign(b6, binop(Iop_And32, binop(Iop_Shr32, mkexpr(vex_cc), mkU8(6)),
10041 binop(Iop_Sub32, mkU32(1), mkexpr(b6)) /* ~b6 */