Lines Matching refs:t7
2374 IRTemp t0, t1 = 0, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
2515 t7 = newTemp(Ity_I8);
2567 assign(t7, IRExpr_ITE(mkexpr(t5),
2645 /* t17 = t15|t11|t7|t3 */
2649 binop(Iop_8HLto16, mkexpr(t7), mkexpr(t3))));
2753 t7 = newTemp(Ity_I16);
2793 /* t7 holds abs(t4). */
2794 assign(t7, IRExpr_ITE(mkexpr(t5),
2816 /* t9 = t7|t3 */
2817 assign(t9, binop(Iop_16HLto32, mkexpr(t7), mkexpr(t3)));
3031 t7 = newTemp(Ity_I32);
3071 assign(t7, binop(Iop_And32,
3079 mkexpr(t7),
3156 t7 = newTemp(Ity_I32);
3204 assign(t7, binop(Iop_And32,
3212 mkexpr(t7),
3291 t7 = newTemp(Ity_I32);
3349 assign(t7, IRExpr_ITE(mkexpr(t3),
3361 putIReg(rt, mkexpr(t7));
3374 t7 = newTemp(Ity_I32);
3441 assign(t7, IRExpr_ITE(mkexpr(t3),
3456 putIReg(rt, mkexpr(t7));
3469 t7 = newTemp(Ity_I32);
3538 assign(t7, binop(Iop_And32,
3546 mkexpr(t7),
3602 t7 = newTemp(Ity_I32);
3644 assign(t7, binop(Iop_And32,
3652 mkexpr(t7),
3733 t7 = newTemp(Ity_I32);
3775 assign(t7, binop(Iop_And32,
3783 mkexpr(t7),
3870 t7 = newTemp(Ity_I32);
3921 assign(t7, binop(Iop_And32,
3929 mkexpr(t7),
4018 t7 = newTemp(Ity_I32);
4087 assign(t7, IRExpr_ITE(mkexpr(t3),
4099 putIReg(rt, mkexpr(t7));
4112 t7 = newTemp(Ity_I32);
4191 assign(t7, IRExpr_ITE(mkexpr(t3),
4206 putIReg(rt, mkexpr(t7));
4219 t7 = newTemp(Ity_I32);
4284 assign(t7, binop(Iop_And32,
4307 mkexpr(t7)),
4318 mkexpr(t7)),
4334 t7 = newTemp(Ity_I32);
4404 assign(t7, binop(Iop_And32,
4427 mkexpr(t7)),
4438 mkexpr(t7)),
4761 t7 = newTemp(Ity_I32);
4791 assign(t7, binop(Iop_Shr32,
4825 mkexpr(t7),
4830 mkexpr(t7)),
4851 t7 = newTemp(Ity_I1);
4911 /* t7 will be 1 if there is overflow, 0 otherwise. */
4912 assign(t7, binop(Iop_CmpEQ32,
4922 unop(Iop_1Sto32, mkexpr(t7)),
4954 t7 = newTemp(Ity_I1);
5014 /* t7 will be 1 if there is overflow, 0 otherwise. */
5015 assign(t7, binop(Iop_CmpEQ32,
5024 unop(Iop_1Sto32, mkexpr(t7)),
5056 t7 = newTemp(Ity_I1);
5112 /* t7 will be 1 if there is overflow, 0 otherwise. */
5113 assign(t7, binop(Iop_CmpEQ32,
5119 assign(t8, IRExpr_ITE(mkexpr(t7),
5148 unop(Iop_1Sto32, mkexpr(t7))),
5175 t7 = newTemp(Ity_I32);
5193 assign(t7,
5232 mkexpr(t7),
5491 t7 = newTemp(Ity_I32);
5528 assign(t7, binop(Iop_And32,
5539 mkexpr(t7)));
5560 t7 = newTemp(Ity_I32);
5597 assign(t7, binop(Iop_And32,
5608 mkexpr(t7)));
5746 t7 = newTemp(Ity_I32);
5791 assign(t7, binop(Iop_And32,
5802 mkexpr(t7)));
5812 mkexpr(t7),
5831 t7 = newTemp(Ity_I32);
5876 assign(t7, binop(Iop_And32,
5887 mkexpr(t7)));
5897 mkexpr(t7),
6198 t7 = newTemp(Ity_I32);
6206 assign(t7,
6228 mkexpr(t7),
6252 mkexpr(t7),
6285 t7 = newTemp(Ity_I16);
6351 assign(t7, IRExpr_ITE(mkexpr(t5),
6358 putIReg(rd, binop(Iop_16HLto32, mkexpr(t7), mkexpr(t3)));
6662 t7 = newTemp(Ity_I32);
6696 assign(t7, IRExpr_ITE(mkexpr(t3),
6715 mkexpr(t7)),
6728 t7 = newTemp(Ity_I32);
6762 assign(t7, IRExpr_ITE(mkexpr(t3),
6780 mkexpr(t7)),
6793 t7 = newTemp(Ity_I32);
6827 assign(t7, IRExpr_ITE(mkexpr(t3),
6845 mkexpr(t7)),
7016 t7 = newTemp(Ity_I8);
7073 assign(t7, IRExpr_ITE(binop(Iop_CmpLT32U,
7093 mkexpr(t7),
7362 t7 = newTemp(Ity_I32);
7410 assign(t7, IRExpr_ITE(mkexpr(t3),
7443 mkexpr(t7)),
7456 t7 = newTemp(Ity_I32);
7504 assign(t7, IRExpr_ITE(mkexpr(t3),
7537 mkexpr(t7)),
7550 t7 = newTemp(Ity_I32);
7599 assign(t7, IRExpr_ITE(mkexpr(t3),
7632 mkexpr(t7)),
7653 t7 = newTemp(Ity_I1);
7677 assign(t7, binop(Iop_CmpNE32,
7725 mkexpr(t7)),
7769 t7 = newTemp(Ity_I8);
7800 assign(t7, unop(Iop_32to8,
7810 mkexpr(t7),
7827 t7 = newTemp(Ity_I1);
7853 assign(t7, binop(Iop_CmpNE32,
7901 mkexpr(t7)),
7988 t7 = newTemp(Ity_I32);
8038 assign(t7,
8042 assign(t8, binop(Iop_Shr32, mkexpr(t7), mkU8(rs)));
8050 mkexpr(t7),
8099 t7 = newTemp(Ity_I8);
8143 assign(t7, unop(Iop_32to8,
8153 t7), mkexpr(t5)),
8172 t7 = newTemp(Ity_I32);
8242 assign(t7,
8248 mkexpr(t7),
8259 mkexpr(t7),
8355 t7 = newTemp(Ity_I8);
8402 assign(t7, unop(Iop_32to8,
8416 mkexpr(t7),
8433 t7 = newTemp(Ity_I32);
8496 assign(t7, binop(Iop_And32,
8500 mkexpr(t7),
8507 mkexpr(t7),
8564 t7 = newTemp(Ity_I1);
8622 assign(t7, binop(Iop_CmpNE32,
8631 unop(Iop_1Sto32, mkexpr(t7)),
8703 t7 = newTemp(Ity_I32);
8803 assign(t7, binop(Iop_And32,
8807 mkexpr(t7),
8814 mkexpr(t7),
8843 mkexpr(t7),
8917 t7 = newTemp(Ity_I1);
8992 assign(t7, binop(Iop_CmpNE32,
9001 unop(Iop_1Sto32, mkexpr(t7)),
9200 t7 = newTemp(Ity_I1);
9226 assign(t7, binop(Iop_CmpEQ32,
9242 IRExpr_ITE(mkexpr(t7),
9258 IRExpr_ITE(mkexpr(t7),
9376 t7 = newTemp(Ity_I32);
9419 assign(t7, unop(Iop_8Uto32,
9427 mkexpr(t7),
9464 t7 = newTemp(Ity_I32);
9491 assign(t7, unop(Iop_8Uto32,
9523 mkexpr(t7)),
10096 t7 = newTemp(Ity_I1);
10150 assign(t7, binop(Iop_CmpEQ32,
10156 IRExpr_ITE(mkexpr(t7),
10162 IRExpr_ITE(mkexpr(t7),
10189 t7 = newTemp(Ity_I1);
10243 assign(t7, binop(Iop_CmpEQ32,
10249 IRExpr_ITE(mkexpr(t7),
10255 IRExpr_ITE(mkexpr(t7),
10284 t7 = newTemp(Ity_I64);
10372 assign(t7, binop(Iop_Add64, getAcc(ac), mkexpr(t6)));
10374 putAcc(ac, mkexpr(t7));
10507 t7 = newTemp(Ity_I64);
10560 assign(t7, binop(Iop_32HLto64,
10587 mkexpr(t7),
10604 t7 = newTemp(Ity_I64);
10660 assign(t7, binop(Iop_32HLto64,
10686 mkexpr(t7),
10735 t7 = newTemp(Ity_I64);
10800 assign(t7,
10812 putAcc(ac, mkexpr(t7));
10825 t7 = newTemp(Ity_I64);
10890 assign(t7,
10902 putAcc(ac, mkexpr(t7));
11029 t7 = newTemp(Ity_I1);
11082 assign(t7, binop(Iop_CmpEQ32,
11088 IRExpr_ITE(mkexpr(t7),
11094 IRExpr_ITE(mkexpr(t7),
11121 t7 = newTemp(Ity_I1);
11176 assign(t7, binop(Iop_CmpEQ32,
11182 IRExpr_ITE(mkexpr(t7),
11188 IRExpr_ITE(mkexpr(t7),
11215 t7 = newTemp(Ity_I1);
11289 assign(t7, binop(Iop_CmpEQ32,
11299 mkexpr(t7))),
11309 mkexpr(t7))),
11381 t7 = newTemp(Ity_I1);
11455 assign(t7, binop(Iop_CmpEQ32,
11465 mkexpr(t7))),
11475 mkexpr(t7))),
11686 IRTemp t0, t1 = 0, t2, t3, t4, t5, t6, t7;
12263 t7 = newTemp(Ity_I64);
12267 assign(t7, mkWidenFrom32(Ity_I64, unop(Iop_64to32,
12270 putFReg(fd, unop(Iop_ReinterpI64asF64, mkexpr(t7)));
12328 t7 = newTemp(Ity_I64);
12360 assign(t7, mkWidenFrom32(Ity_I64, unop(Iop_64to32,
12364 putFReg(fd, unop(Iop_ReinterpI64asF64, mkexpr(t7)));
12437 t7 = newTemp(Ity_I64);
12441 assign(t7, mkWidenFrom32(Ity_I64, unop(Iop_64to32,
12445 putFReg(fd, unop(Iop_ReinterpI64asF64, mkexpr(t7)));
16632 t7 = newTemp(Ity_I64);
16639 assign(t7, binop(Iop_And64, getIReg(rt), mkexpr(t6)));
16641 putIReg(rt, binop(Iop_Or64, mkexpr(t7), mkexpr(t3)));
