Home | History | Annotate | Download | only in priv

Lines Matching defs:b6

1673    s390     VEX                b6 b2 b0   cc.1  cc.0
1680    b0, b2, b6  with b0 being the LSB. We observe:
1683    cc.1 = b2 | (~b0 & ~b6)
1694    IRTemp b6   = newTemp(Ity_I32);
1699    assign(b6, binop(Iop_And32, binop(Iop_Shr32, mkexpr(vex_cc), mkU8(6)),
1706                            binop(Iop_Sub32, mkU32(1), mkexpr(b6))  /* ~b6 */
6462    IRTemp b6 = newTemp(Ity_I8);
6466    assign(b6, get_gpr_b6(r2));
6474    put_gpr_b1(r1, mkexpr(b6));