Lines Matching defs:c1
1352 IRTemp c1 = newTemp(Ity_I1);
1353 assign( c1, binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)) );
1356 IRExpr_ITE( mkexpr(c1),
1361 IRExpr_ITE( mkexpr(c1),
1366 IRExpr_ITE( mkexpr(c1),
1371 IRExpr_ITE( mkexpr(c1),
2735 UInt c1 = 0x55555555;
2743 binop(Iop_And32, mkexpr(x0), mkU32(c1)),
2746 binop(Iop_And32, mkexpr(x0), mkU32(~c1)),
8127 // memLE(192 bits) == A0 B0 C0 A1 B1 C1
8128 // i0 == B0 A0, i1 == A1 C0, i2 == C1 B1
8129 // u0 == A1 A0, u1 == B1 B0, u2 == C1 C0
8134 // memLE(192 bits) == A0 B0 C0 A1, B1 C1 A2 B2, C2 A3 B3 C3
8135 // i0 == A1 C0 B0 A0, i1 == B2 A2 C1 B1, i2 == C3 B3 A3 C2
8136 // u0 == A3 A2 A1 A0, u1 == B3 B2 B1 B0, u2 == C3 C2 C1 C0
8182 // memLE(192 bits) == A0 B0 C0 A1 B1 C1
8183 C1 B1
8184 // u0 == A1 A0, u1 == B1 B0, u2 == C1 C0
8189 // memLE(192 bits) == A0 B0 C0 A1, B1 C1 A2 B2, C2 A3 B3 C3
8190 // i0 == A1 C0 B0 A0, i1 == B2 A2 C1 B1, i2 == C3 B3 A3 C2
8191 // u0 == A3 A2 A1 A0, u1 == B3 B2 B1 B0, u2 == C3 C2 C1 C0
19926 HChar c1 = '.';
19929 Bool valid = compute_ITSTATE( &newITSTATE, &c1, &c2, &c3,
19939 DIP("it%c%c%c %s\n", c1, c2, c3, nCC(firstcond));
