Lines Matching defs:c1
1328 IRTemp c1 = newTemp(Ity_I1);
1329 assign( c1, binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)) );
1332 IRExpr_ITE( mkexpr(c1),
1337 IRExpr_ITE( mkexpr(c1),
1342 IRExpr_ITE( mkexpr(c1),
1347 IRExpr_ITE( mkexpr(c1),
2708 UInt c1 = 0x55555555;
2716 binop(Iop_And32, mkexpr(x0), mkU32(c1)),
2719 binop(Iop_And32, mkexpr(x0), mkU32(~c1)),
8068 // memLE(192 bits) == A0 B0 C0 A1 B1 C1
8069 // i0 == B0 A0, i1 == A1 C0, i2 == C1 B1
8070 // u0 == A1 A0, u1 == B1 B0, u2 == C1 C0
8075 // memLE(192 bits) == A0 B0 C0 A1, B1 C1 A2 B2, C2 A3 B3 C3
8076 // i0 == A1 C0 B0 A0, i1 == B2 A2 C1 B1, i2 == C3 B3 A3 C2
8077 // u0 == A3 A2 A1 A0, u1 == B3 B2 B1 B0, u2 == C3 C2 C1 C0
8123 // memLE(192 bits) == A0 B0 C0 A1 B1 C1
8124 // i0 == B0 A0, i1 == A1 C0, i2 == C1 B1
8125 // u0 == A1 A0, u1 == B1 B0, u2 == C1 C0
8130 // memLE(192 bits) == A0 B0 C0 A1, B1 C1 A2 B2, C2 A3 B3 C3
8131 // i0 == A1 C0 B0 A0, i1 == B2 A2 C1 B1, i2 == C3 B3 A3 C2
8132 // u0 == A3 A2 A1 A0, u1 == B3 B2 B1 B0, u2 == C3 C2 C1 C0
18446 HChar c1 = '.';
18449 Bool valid = compute_ITSTATE( &newITSTATE, &c1, &c2, &c3,
18459 DIP("it%c%c%c %s\n", c1, c2, c3, nCC(firstcond));
