Lines Matching refs:Ity_I64
564 case Ity_I64:
766 op = IRExpr_Get(S390X_GUEST_OFFSET(guest_CC_OP), Ity_I64);
767 dep1 = IRExpr_Get(S390X_GUEST_OFFSET(guest_CC_DEP1), Ity_I64);
768 dep2 = IRExpr_Get(S390X_GUEST_OFFSET(guest_CC_DEP2), Ity_I64);
769 ndep = IRExpr_Get(S390X_GUEST_OFFSET(guest_CC_NDEP), Ity_I64);
826 op = IRExpr_Get(S390X_GUEST_OFFSET(guest_CC_OP), Ity_I64);
827 dep1 = IRExpr_Get(S390X_GUEST_OFFSET(guest_CC_DEP1), Ity_I64);
828 dep2 = IRExpr_Get(S390X_GUEST_OFFSET(guest_CC_DEP2), Ity_I64);
829 ndep = IRExpr_Get(S390X_GUEST_OFFSET(guest_CC_NDEP), Ity_I64);
1096 vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I64);
1105 return IRExpr_Get(gpr_dw0_offset(archreg), Ity_I64);
1425 vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I64);
1434 return IRExpr_Get(counter_dw0_offset(), Ity_I64);
1907 IRTemp op4addr = newTemp(Ity_I64);
1925 IRTemp op4addr = newTemp(Ity_I64);
2171 IRTemp op4addr = newTemp(Ity_I64);
2188 IRTemp op2addr = newTemp(Ity_I64);
2204 IRTemp op2addr = newTemp(Ity_I64);
2220 IRTemp op2addr = newTemp(Ity_I64);
2236 IRTemp op2addr = newTemp(Ity_I64);
2262 IRTemp op2addr = newTemp(Ity_I64);
2263 IRTemp d2 = newTemp(Ity_I64);
2280 IRTemp op2addr = newTemp(Ity_I64);
2281 IRTemp d2 = newTemp(Ity_I64);
2298 IRTemp op2addr = newTemp(Ity_I64);
2299 IRTemp d2 = newTemp(Ity_I64);
2316 IRTemp op2addr = newTemp(Ity_I64);
2317 IRTemp d2 = newTemp(Ity_I64);
2338 IRTemp op2addr = newTemp(Ity_I64);
2352 IRTemp op2addr = newTemp(Ity_I64);
2369 IRTemp op2addr = newTemp(Ity_I64);
2386 IRTemp op2addr = newTemp(Ity_I64);
2403 IRTemp op2addr = newTemp(Ity_I64);
2420 IRTemp op2addr = newTemp(Ity_I64);
2421 IRTemp d2 = newTemp(Ity_I64);
2439 IRTemp op2addr = newTemp(Ity_I64);
2440 IRTemp d2 = newTemp(Ity_I64);
2458 IRTemp op2addr = newTemp(Ity_I64);
2459 IRTemp d2 = newTemp(Ity_I64);
2477 IRTemp op2addr = newTemp(Ity_I64);
2493 IRTemp op1addr = newTemp(Ity_I64);
2509 IRTemp op1addr = newTemp(Ity_I64);
2510 IRTemp d1 = newTemp(Ity_I64);
2527 IRTemp op1addr = newTemp(Ity_I64);
2528 IRTemp d1 = newTemp(Ity_I64);
2545 IRTemp op1addr = newTemp(Ity_I64);
2546 IRTemp op2addr = newTemp(Ity_I64);
2564 IRTemp op1addr = newTemp(Ity_I64);
2580 IRTemp op1addr = newTemp(Ity_I64);
2616 IRTemp op1 = newTemp(Ity_I64);
2617 IRTemp op2 = newTemp(Ity_I64);
2618 IRTemp result = newTemp(Ity_I64);
2632 IRTemp op1 = newTemp(Ity_I64);
2633 IRTemp op2 = newTemp(Ity_I64);
2634 IRTemp result = newTemp(Ity_I64);
2664 IRTemp op2 = newTemp(Ity_I64);
2665 IRTemp op3 = newTemp(Ity_I64);
2666 IRTemp result = newTemp(Ity_I64);
2712 IRTemp op1 = newTemp(Ity_I64);
2713 IRTemp op2 = newTemp(Ity_I64);
2714 IRTemp result = newTemp(Ity_I64);
2717 assign(op2, load(Ity_I64, mkexpr(op2addr)));
2728 IRTemp op1 = newTemp(Ity_I64);
2729 IRTemp op2 = newTemp(Ity_I64);
2730 IRTemp result = newTemp(Ity_I64);
2761 IRTemp op1 = newTemp(Ity_I64);
2763 IRTemp result = newTemp(Ity_I64);
2768 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, op1, mktemp(Ity_I64,
2796 IRTemp op3 = newTemp(Ity_I64);
2797 IRTemp result = newTemp(Ity_I64);
2802 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, mktemp(Ity_I64, mkU64((ULong)
2829 IRTemp op1 = newTemp(Ity_I64);
2831 IRTemp result = newTemp(Ity_I64);
2833 assign(op1, load(Ity_I64, mkexpr(op1addr)));
2837 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, op1, mktemp(Ity_I64,
2895 IRTemp op1 = newTemp(Ity_I64);
2897 IRTemp result = newTemp(Ity_I64);
2902 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, op1, mktemp(Ity_I64,
2977 IRTemp op1 = newTemp(Ity_I64);
2978 IRTemp op2 = newTemp(Ity_I64);
2979 IRTemp result = newTemp(Ity_I64);
2993 IRTemp op1 = newTemp(Ity_I64);
2994 IRTemp op2 = newTemp(Ity_I64);
2995 IRTemp result = newTemp(Ity_I64);
3025 IRTemp op2 = newTemp(Ity_I64);
3026 IRTemp op3 = newTemp(Ity_I64);
3027 IRTemp result = newTemp(Ity_I64);
3073 IRTemp op1 = newTemp(Ity_I64);
3074 IRTemp op2 = newTemp(Ity_I64);
3075 IRTemp result = newTemp(Ity_I64);
3078 assign(op2, load(Ity_I64, mkexpr(op2addr)));
3089 IRTemp op1 = newTemp(Ity_I64);
3090 IRTemp op2 = newTemp(Ity_I64);
3091 IRTemp result = newTemp(Ity_I64);
3122 IRTemp op1 = newTemp(Ity_I64);
3124 IRTemp result = newTemp(Ity_I64);
3129 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_64, op1, mktemp(Ity_I64,
3190 IRTemp op1 = newTemp(Ity_I64);
3191 IRTemp op2 = newTemp(Ity_I64);
3192 IRTemp result = newTemp(Ity_I64);
3193 IRTemp carry_in = newTemp(Ity_I64);
3229 IRTemp op1 = newTemp(Ity_I64);
3230 IRTemp op2 = newTemp(Ity_I64);
3231 IRTemp result = newTemp(Ity_I64);
3232 IRTemp carry_in = newTemp(Ity_I64);
3235 assign(op2, load(Ity_I64, mkexpr(op2addr)));
3266 IRTemp op1 = newTemp(Ity_I64);
3268 IRTemp result = newTemp(Ity_I64);
3270 assign(op1, load(Ity_I64, mkexpr(op1addr)));
3273 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_64, op1, mktemp(Ity_I64,
3301 IRTemp op3 = newTemp(Ity_I64);
3302 IRTemp result = newTemp(Ity_I64);
3307 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_64, mktemp(Ity_I64, mkU64(op2)),
3365 IRTemp op1 = newTemp(Ity_I64);
3366 IRTemp op2 = newTemp(Ity_I64);
3367 IRTemp result = newTemp(Ity_I64);
3397 IRTemp op2 = newTemp(Ity_I64);
3398 IRTemp op3 = newTemp(Ity_I64);
3399 IRTemp result = newTemp(Ity_I64);
3445 IRTemp op1 = newTemp(Ity_I64);
3446 IRTemp op2 = newTemp(Ity_I64);
3447 IRTemp result = newTemp(Ity_I64);
3450 assign(op2, load(Ity_I64, mkexpr(op2addr)));
3589 IRTemp target = newTemp(Ity_I64);
3610 IRTemp target = newTemp(Ity_I64);
3725 IRTemp value = newTemp(Ity_I64);
3751 IRTemp value = newTemp(Ity_I64);
3859 IRTemp value = newTemp(Ity_I64);
3885 IRTemp value = newTemp(Ity_I64);
3911 IRTemp op1 = newTemp(Ity_I64);
3912 IRTemp op2 = newTemp(Ity_I64);
3924 IRTemp op1 = newTemp(Ity_I64);
3925 IRTemp op2 = newTemp(Ity_I64);
3963 IRTemp op1 = newTemp(Ity_I64);
3964 IRTemp op2 = newTemp(Ity_I64);
3967 assign(op2, load(Ity_I64, mkexpr(op2addr)));
3976 IRTemp op1 = newTemp(Ity_I64);
3977 IRTemp op2 = newTemp(Ity_I64);
4003 IRTemp op1 = newTemp(Ity_I64);
4008 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, mktemp(Ity_I64,
4031 IRTemp op1 = newTemp(Ity_I64);
4032 IRTemp op2 = newTemp(Ity_I64);
4035 assign(op2, load(Ity_I64, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)
4045 IRTemp op1 = newTemp(Ity_I64);
4046 IRTemp op2 = newTemp(Ity_I64);
4083 IRTemp op1 = newTemp(Ity_I64);
4084 IRTemp op2 = newTemp(Ity_I64);
4133 IRTemp op1 = newTemp(Ity_I64);
4134 IRTemp op2 = newTemp(Ity_I64);
4183 IRTemp op1 = newTemp(Ity_I64);
4195 mktemp(Ity_I64, mkU64((ULong)op2))));
4232 IRTemp op1 = newTemp(Ity_I64);
4244 mktemp(Ity_I64, mkU64((ULong)op2))));
4283 IRTemp op1 = newTemp(Ity_I64);
4284 IRTemp op2 = newTemp(Ity_I64);
4310 IRTemp op1 = newTemp(Ity_I64);
4315 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, mktemp(Ity_I64,
4352 IRTemp op1 = newTemp(Ity_I64);
4355 assign(op1, load(Ity_I64, mkexpr(op1addr)));
4357 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, mktemp(Ity_I64,
4380 IRTemp op1 = newTemp(Ity_I64);
4381 IRTemp op2 = newTemp(Ity_I64);
4460 IRTemp op1 = newTemp(Ity_I64);
4461 IRTemp op2 = newTemp(Ity_I64);
4473 IRTemp op1 = newTemp(Ity_I64);
4474 IRTemp op2 = newTemp(Ity_I64);
4512 IRTemp op1 = newTemp(Ity_I64);
4513 IRTemp op2 = newTemp(Ity_I64);
4516 assign(op2, load(Ity_I64, mkexpr(op2addr)));
4525 IRTemp op1 = newTemp(Ity_I64);
4526 IRTemp op2 = newTemp(Ity_I64);
4552 IRTemp op1 = newTemp(Ity_I64);
4557 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, mktemp(Ity_I64,
4608 IRTemp op1 = newTemp(Ity_I64);
4611 assign(op1, load(Ity_I64, mkexpr(op1addr)));
4613 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, mktemp(Ity_I64,
4650 IRTemp op1 = newTemp(Ity_I64);
4651 IRTemp op2 = newTemp(Ity_I64);
4654 assign(op2, load(Ity_I64, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)
4664 IRTemp op1 = newTemp(Ity_I64);
4665 IRTemp op2 = newTemp(Ity_I64);
4692 IRTemp op1 = newTemp(Ity_I64);
4693 IRTemp op2 = newTemp(Ity_I64);
4730 IRTemp op1 = newTemp(Ity_I64);
4731 IRTemp op2 = newTemp(Ity_I64);
4779 IRTemp op1 = newTemp(Ity_I64);
4780 IRTemp op2 = newTemp(Ity_I64);
4828 IRTemp op1 = newTemp(Ity_I64);
4840 mktemp(Ity_I64, mkU64(op2))));
4877 IRTemp op1 = newTemp(Ity_I64);
4889 mktemp(Ity_I64, mkU64(op2))));
5171 IRTemp op1 = newTemp(Ity_I64);
5172 IRTemp op2 = newTemp(Ity_I64);
5173 IRTemp result = newTemp(Ity_I64);
5207 IRTemp op2 = newTemp(Ity_I64);
5208 IRTemp op3 = newTemp(Ity_I64);
5209 IRTemp result = newTemp(Ity_I64);
5255 IRTemp op1 = newTemp(Ity_I64);
5256 IRTemp op2 = newTemp(Ity_I64);
5257 IRTemp result = newTemp(Ity_I64);
5260 assign(op2, load(Ity_I64, mkexpr(op2addr)));
5554 put_gpr_dw0(r1, load(Ity_I64, mkexpr(op2addr)));
5587 put_gpr_dw0(r1, load(Ity_I64, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)
5685 IRTemp old_mem = newTemp(Ity_I64);
5686 IRTemp op2 = newTemp(Ity_I64);
5687 IRTemp op3 = newTemp(Ity_I64);
5688 IRTemp result = newTemp(Ity_I64);
5690 assign(op2, load(Ity_I64, mkexpr(op2addr)));
5749 IRTemp old_mem = newTemp(Ity_I64);
5750 IRTemp op2 = newTemp(Ity_I64);
5751 IRTemp op3 = newTemp(Ity_I64);
5752 IRTemp result = newTemp(Ity_I64);
5754 assign(op2, load(Ity_I64, mkexpr(op2addr)));
5870 IRTemp op2 = newTemp(Ity_I64);
5882 IRTemp op2 = newTemp(Ity_I64);
5906 IRTemp op2 = newTemp(Ity_I64);
5908 assign(op2, load(Ity_I64, mkexpr(op2addr)));
5918 IRTemp op2 = newTemp(Ity_I64);
5988 IRTemp op2 = newTemp(Ity_I64);
5989 IRTemp result = newTemp(Ity_I64);
5995 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_64, mktemp(Ity_I64, mkU64((ULong)
6005 IRTemp op2 = newTemp(Ity_I64);
6006 IRTemp result = newTemp(Ity_I64);
6012 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_64, mktemp(Ity_I64, mkU64((ULong)
6315 IRTemp op2 = newTemp(Ity_I64);
6316 IRTemp result = newTemp(Ity_I64);
6330 IRTemp op2 = newTemp(Ity_I64);
6331 IRTemp result = newTemp(Ity_I64);
6373 put_gpr_dw0(r1, load(Ity_I64, mkexpr(op2addr)));
6381 put_gpr_dw0(r1, load(Ity_I64, mkexpr(op2addr)));
6382 put_gpr_dw0(r1 + 1, load(Ity_I64, binop(Iop_Add64, mkexpr(op2addr), mkU64(8))
6406 IRTemp op2 = newTemp(Ity_I64);
6407 IRTemp result = newTemp(Ity_I64);
6421 IRTemp op2 = newTemp(Ity_I64);
6422 IRTemp result = newTemp(Ity_I64);
6517 IRTemp op2 = newTemp(Ity_I64);
6519 assign(op2, load(Ity_I64, mkexpr(op2addr)));
6584 IRTemp result = newTemp(Ity_I64);
6600 IRTemp result = newTemp(Ity_I64);
6616 IRTemp result = newTemp(Ity_I64);
6632 IRTemp result = newTemp(Ity_I64);
6648 IRTemp result = newTemp(Ity_I64);
6664 IRTemp result = newTemp(Ity_I64);
6678 IRTemp op1 = newTemp(Ity_I64);
6696 IRTemp result = newTemp(Ity_I64);
6710 IRTemp op1 = newTemp(Ity_I64);
6711 IRTemp op2 = newTemp(Ity_I64);
6728 IRTemp result = newTemp(Ity_I64);
6742 IRTemp op1 = newTemp(Ity_I64);
6743 IRTemp op2 = newTemp(Ity_I64);
6747 assign(op2, load(Ity_I64, mkexpr(op2addr)));
6760 IRTemp result = newTemp(Ity_I64);
6773 IRTemp op1 = newTemp(Ity_I64);
6774 IRTemp op2 = newTemp(Ity_I64);
6788 IRTemp op1 = newTemp(Ity_I64);
6806 IRTemp result = newTemp(Ity_I64);
6821 IRTemp result = newTemp(Ity_I64);
6834 IRTemp op1 = newTemp(Ity_I64);
6835 IRTemp op2 = newTemp(Ity_I64);
6839 assign(op2, load(Ity_I64, mkexpr(op2addr)));
6849 IRTemp op1 = newTemp(Ity_I64);
6867 IRTemp result = newTemp(Ity_I64);
6880 IRTemp op1 = newTemp(Ity_I64);
6912 IRTemp op1 = newTemp(Ity_I64);
6913 IRTemp op2 = newTemp(Ity_I64);
6914 IRTemp result = newTemp(Ity_I64);
6944 IRTemp op2 = newTemp(Ity_I64);
6945 IRTemp op3 = newTemp(Ity_I64);
6946 IRTemp result = newTemp(Ity_I64);
6992 IRTemp op1 = newTemp(Ity_I64);
6993 IRTemp op2 = newTemp(Ity_I64);
6994 IRTemp result = newTemp(Ity_I64);
6997 assign(op2, load(Ity_I64, mkexpr(op2addr)));
7436 IRTemp amount = newTemp(Ity_I64);
7451 IRTemp amount = newTemp(Ity_I64);
7452 IRTemp op = newTemp(Ity_I64);
7472 IRTemp result = newTemp(Ity_I64);
7473 IRTemp op2 = newTemp(Ity_I64);
7511 IRTemp result = newTemp(Ity_I64);
7512 IRTemp op2 = newTemp(Ity_I64);
7550 IRTemp result = newTemp(Ity_I64);
7551 IRTemp op2 = newTemp(Ity_I64);
7589 IRTemp op2 = newTemp(Ity_I64);
7590 IRTemp result = newTemp(Ity_I64);
7633 IRTemp p1 = newTemp(Ity_I64);
7634 IRTemp p2 = newTemp(Ity_I64);
7635 IRTemp op = newTemp(Ity_I64);
7636 IRTemp result = newTemp(Ity_I64);
7638 IRTemp shift_amount = newTemp(Ity_I64);
7659 IRTemp p1 = newTemp(Ity_I64);
7660 IRTemp p2 = newTemp(Ity_I64);
7661 IRTemp result = newTemp(Ity_I64);
7680 IRTemp shift_amount = newTemp(Ity_I64);
7702 IRTemp shift_amount = newTemp(Ity_I64);
7721 IRTemp uop = newTemp(Ity_I64);
7722 IRTemp result = newTemp(Ity_I64);
7724 IRTemp shift_amount = newTemp(Ity_I64);
7725 IRTemp op = newTemp(Ity_I64);
7770 IRTemp p1 = newTemp(Ity_I64);
7771 IRTemp p2 = newTemp(Ity_I64);
7772 IRTemp result = newTemp(Ity_I64);
7789 IRTemp p1 = newTemp(Ity_I64);
7790 IRTemp p2 = newTemp(Ity_I64);
7791 IRTemp result = newTemp(Ity_I64);
7837 IRTemp result = newTemp(Ity_I64);
7838 IRTemp op = newTemp(Ity_I64);
7876 IRTemp op = newTemp(Ity_I64);
8154 IRTemp op1 = newTemp(Ity_I64);
8155 IRTemp op2 = newTemp(Ity_I64);
8156 IRTemp result = newTemp(Ity_I64);
8170 IRTemp op1 = newTemp(Ity_I64);
8171 IRTemp op2 = newTemp(Ity_I64);
8172 IRTemp result = newTemp(Ity_I64);
8202 IRTemp op2 = newTemp(Ity_I64);
8203 IRTemp op3 = newTemp(Ity_I64);
8204 IRTemp result = newTemp(Ity_I64);
8250 IRTemp op1 = newTemp(Ity_I64);
8251 IRTemp op2 = newTemp(Ity_I64);
8252 IRTemp result = newTemp(Ity_I64);
8255 assign(op2, load(Ity_I64, mkexpr(op2addr)));
8266 IRTemp op1 = newTemp(Ity_I64);
8267 IRTemp op2 = newTemp(Ity_I64);
8268 IRTemp result = newTemp(Ity_I64);
8362 IRTemp op1 = newTemp(Ity_I64);
8363 IRTemp op2 = newTemp(Ity_I64);
8364 IRTemp result = newTemp(Ity_I64);
8378 IRTemp op1 = newTemp(Ity_I64);
8379 IRTemp op2 = newTemp(Ity_I64);
8380 IRTemp result = newTemp(Ity_I64);
8410 IRTemp op2 = newTemp(Ity_I64);
8411 IRTemp op3 = newTemp(Ity_I64);
8412 IRTemp result = newTemp(Ity_I64);
8458 IRTemp op1 = newTemp(Ity_I64);
8459 IRTemp op2 = newTemp(Ity_I64);
8460 IRTemp result = newTemp(Ity_I64);
8463 assign(op2, load(Ity_I64, mkexpr(op2addr)));
8474 IRTemp op1 = newTemp(Ity_I64);
8475 IRTemp op2 = newTemp(Ity_I64);
8476 IRTemp result = newTemp(Ity_I64);
8507 IRTemp op1 = newTemp(Ity_I64);
8509 IRTemp result = newTemp(Ity_I64);
8514 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_SUB_64, op1, mktemp(Ity_I64,
8576 IRTemp op1 = newTemp(Ity_I64);
8577 IRTemp op2 = newTemp(Ity_I64);
8578 IRTemp result = newTemp(Ity_I64);
8579 IRTemp borrow_in = newTemp(Ity_I64);
8616 IRTemp op1 = newTemp(Ity_I64);
8617 IRTemp op2 = newTemp(Ity_I64);
8618 IRTemp result = newTemp(Ity_I64);
8619 IRTemp borrow_in = newTemp(Ity_I64);
8622 assign(op2, load(Ity_I64, mkexpr(op2addr)));
8636 IRTemp sysno = newTemp(Ity_I64);
9054 IRTemp op2 = newTemp(Ity_I64);
9071 IRTemp op2 = newTemp(Ity_I64);
9118 IRTemp op2 = newTemp(Ity_I64);
9134 IRTemp op2 = newTemp(Ity_I64);
9192 IRTemp result = newTemp(Ity_I64);
9212 IRTemp result = newTemp(Ity_I64);
9263 IRTemp result = newTemp(Ity_I64);
9280 IRTemp result = newTemp(Ity_I64);
9724 IRTemp op2 = newTemp(Ity_I64);
9745 IRTemp op2 = newTemp(Ity_I64);
9804 IRTemp op2 = newTemp(Ity_I64);
9825 IRTemp op2 = newTemp(Ity_I64);
10032 IRTemp result = newTemp(Ity_I64);
10056 IRTemp result = newTemp(Ity_I64);
10172 IRTemp op1 = newTemp(Ity_I64);
10190 IRTemp op1 = newTemp(Ity_I64);
10671 IRTemp len = newTemp(Ity_I64);
10682 IRTemp addr1 = newTemp(Ity_I64);
10683 IRTemp addr2 = newTemp(Ity_I64);
10684 IRTemp addr1_load = newTemp(Ity_I64);
10685 IRTemp addr2_load = newTemp(Ity_I64);
10764 addr1 = newTemp(Ity_I64);
10765 addr3 = newTemp(Ity_I64);
10766 addr1_load = newTemp(Ity_I64);
10767 addr3_load = newTemp(Ity_I64);
10768 len1 = newTemp(Ity_I64);
10769 len3 = newTemp(Ity_I64);
10860 IRTemp counter = newTemp(Ity_I64);
10884 IRTemp counter = newTemp(Ity_I64);
10902 IRTemp result = newTemp(Ity_I64);
10903 IRTemp counter = newTemp(Ity_I64);
10941 IRTemp start1 = newTemp(Ity_I64);
10942 IRTemp start2 = newTemp(Ity_I64);
10943 IRTemp len = newTemp(lensize == 64 ? Ity_I64 : Ity_I32);
10945 torun = newTemp(Ity_I64);
10947 assign(torun, load(Ity_I64, mkexpr(addr2)));
10985 mkIRExprVec_1(load(Ity_I64, mkexpr(addr2))));
11041 orperand = newTemp(Ity_I64);
11042 torun = newTemp(Ity_I64);
11049 assign(torun, binop(Iop_Or64, load(Ity_I64, mkexpr(addr2)),
11082 IRTemp addr = newTemp(Ity_I64);
11106 IRTemp address = newTemp(Ity_I64);
11107 IRTemp next = newTemp(Ity_I64);
11109 IRTemp counter = newTemp(Ity_I64);
11144 IRTemp address1 = newTemp(Ity_I64);
11145 IRTemp address2 = newTemp(Ity_I64);
11147 IRTemp counter = newTemp(Ity_I64);
11203 IRTemp addr = newTemp(Ity_I64);
11212 addr = newTemp(Ity_I64);
11238 IRTemp addr = newTemp(Ity_I64);
11247 addr = newTemp(Ity_I64);
11259 IRTemp addr = newTemp(Ity_I64);
11267 put_gpr_dw0(reg, load(Ity_I64, mkexpr(addr)));
11268 addr = newTemp(Ity_I64);
11280 IRTemp addr = newTemp(Ity_I64);
11289 addr = newTemp(Ity_I64);
11315 IRTemp addr = newTemp(Ity_I64);
11324 addr = newTemp(Ity_I64);
11336 IRTemp addr = newTemp(Ity_I64);
11345 addr = newTemp(Ity_I64);
11360 IRTemp addr1 = newTemp(Ity_I64);
11405 IRTemp start = newTemp(Ity_I64);
11406 IRTemp addr = newTemp(Ity_I64);
11465 IRTemp len = newTemp(Ity_I64);
11476 IRTemp addr1 = newTemp(Ity_I64);
11477 IRTemp addr2 = newTemp(Ity_I64);
11478 IRTemp addr2_load = newTemp(Ity_I64);
11561 addr1 = newTemp(Ity_I64);
11562 addr3 = newTemp(Ity_I64);
11563 addr3_load = newTemp(Ity_I64);
11564 len1 = newTemp(Ity_I64);
11565 len3 = newTemp(Ity_I64);
11612 IRTemp addr1 = newTemp(Ity_I64);
11613 IRTemp addr2 = newTemp(Ity_I64);
11616 IRTemp counter = newTemp(Ity_I64);
11640 IRTemp op1 = newTemp(Ity_I64);
11641 IRTemp result = newTemp(Ity_I64);
11668 IRTemp op1 = newTemp(Ity_I64);
11728 IRTemp op2 = newTemp(Ity_I64);
11730 assign(op2, load(Ity_I64, mkexpr(op2addr)));
11740 IRTemp op2 = newTemp(Ity_I64);
11752 IRTemp op2 = newTemp(Ity_I64);
11764 IRTemp op2 = newTemp(Ity_I64);
11766 assign(op2, load(Ity_I64, mkexpr(op2addr)));
11776 IRTemp op2 = newTemp(Ity_I64);
11788 IRTemp op2 = newTemp(Ity_I64);
11801 IRTemp addr = newTemp(Ity_I64);
11810 addr = newTemp(Ity_I64);
11836 IRTemp addr = newTemp(Ity_I64);
11845 addr = newTemp(Ity_I64);
11921 IRTemp op1 = newTemp(Ity_I64);
11922 IRTemp old_mem = newTemp(Ity_I64);
11923 IRTemp op3 = newTemp(Ity_I64);
11924 IRTemp result = newTemp(Ity_I64);
12016 IRTemp op1_high = newTemp(Ity_I64);
12017 IRTemp op1_low = newTemp(Ity_I64);
12018 IRTemp old_mem_high = newTemp(Ity_I64);
12019 IRTemp old_mem_low = newTemp(Ity_I64);
12020 IRTemp op3_high = newTemp(Ity_I64);
12021 IRTemp op3_low = newTemp(Ity_I64);
12022 IRTemp result = newTemp(Ity_I64);
12202 IRTemp op2 = newTemp(Ity_I64);
12217 IRTemp op2 = newTemp(Ity_I64);
12268 IRTemp result = newTemp(Ity_I64);
12288 IRTemp result = newTemp(Ity_I64);
12769 IRTemp sign = newTemp(Ity_I64);
12770 IRTemp value = newTemp(Ity_I64);
12801 put_gpr_w1(r1, s390_call_cvb(load(Ity_I64, mkexpr(op2addr))));
12809 put_gpr_w1(r1, s390_call_cvb(load(Ity_I64, mkexpr(op2addr))));
12821 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/,
12849 IRTemp input = newTemp(Ity_I64);
12850 IRTemp not_zero = newTemp(Ity_I64);
12851 IRTemp tmpnum = newTemp(Ity_I64);
12852 IRTemp num = newTemp(Ity_I64);
12896 mktemp(Ity_I64, mkU64(0)), False);
12905 IRTemp cc = newTemp(Ity_I64);
12925 IRTemp cc = newTemp(Ity_I64);
12944 IRTemp cc = newTemp(Ity_I64);
12967 IRTemp cc = newTemp(Ity_I64);
12996 IRTemp addr = newTemp(Ity_I64);
12998 IRTemp len = newTemp(Ity_I64);
13004 IRTemp inc = newTemp(Ity_I64);
13061 src_addr = newTemp(Ity_I64);
13062 des_addr = newTemp(Ity_I64);
13063 tab_addr = newTemp(Ity_I64);
13065 src_len = newTemp(Ity_I64);
13075 IRTemp result = newTemp(Ity_I64);
13108 src_addr = newTemp(Ity_I64);
13109 des_addr = newTemp(Ity_I64);
13110 tab_addr = newTemp(Ity_I64);
13112 src_len = newTemp(Ity_I64);
13122 IRTemp result = newTemp(Ity_I64);
13156 src_addr = newTemp(Ity_I64);
13157 des_addr = newTemp(Ity_I64);
13158 tab_addr = newTemp(Ity_I64);
13160 src_len = newTemp(Ity_I64);
13170 IRTemp result = newTemp(Ity_I64);
13203 src_addr = newTemp(Ity_I64);
13204 des_addr = newTemp(Ity_I64);
13205 tab_addr = newTemp(Ity_I64);
13207 src_len = newTemp(Ity_I64);
13217 IRTemp result = newTemp(Ity_I64);
13250 IRTemp len = newTemp(Ity_I64);
13262 src_addr = newTemp(Ity_I64);
13263 tab_addr = newTemp(Ity_I64);
13264 src_len = newTemp(Ity_I64);
13274 IRTemp result = newTemp(Ity_I64);
13305 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/,
13317 IRTemp addr1 = newTemp(Ity_I64);
13318 IRTemp addr2 = newTemp(Ity_I64);
13319 IRTemp len1 = newTemp(Ity_I64);
13320 IRTemp len2 = newTemp(Ity_I64);
13366 IRTemp retval = newTemp(Ity_I64);
13381 IRTemp num_bytes = newTemp(Ity_I64);
13389 IRTemp data = newTemp(Ity_I64);
13411 IRTemp num_src_bytes = newTemp(Ity_I64);
13432 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/,
13444 IRTemp addr1 = newTemp(Ity_I64);
13445 IRTemp addr2 = newTemp(Ity_I64);
13446 IRTemp len1 = newTemp(Ity_I64);
13447 IRTemp len2 = newTemp(Ity_I64);
13494 IRTemp retval = newTemp(Ity_I64);
13518 IRTemp num_src_bytes = newTemp(Ity_I64);
13539 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/,
13551 IRTemp addr1 = newTemp(Ity_I64);
13552 IRTemp addr2 = newTemp(Ity_I64);
13553 IRTemp len1 = newTemp(Ity_I64);
13554 IRTemp len2 = newTemp(Ity_I64);
13572 IRTemp retval = newTemp(Ity_I64);
13583 IRTemp num_bytes = newTemp(Ity_I64);
13591 IRTemp data = newTemp(Ity_I64);
13633 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/,
13645 IRTemp addr1 = newTemp(Ity_I64);
13646 IRTemp addr2 = newTemp(Ity_I64);
13647 IRTemp len1 = newTemp(Ity_I64);
13648 IRTemp len2 = newTemp(Ity_I64);
13666 IRTemp retval = newTemp(Ity_I64);
13677 IRTemp num_bytes = newTemp(Ity_I64);
13685 IRTemp data = newTemp(Ity_I64);
13724 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/, "s390_do_cu12_cu14_helper1",
13739 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/,
13754 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/,
13766 IRTemp addr1 = newTemp(Ity_I64);
13767 IRTemp addr2 = newTemp(Ity_I64);
13768 IRTemp len1 = newTemp(Ity_I64);
13769 IRTemp len2 = newTemp(Ity_I64);
13785 IRTemp byte1 = newTemp(Ity_I64);
13789 IRTemp retval1 = newTemp(Ity_I64);
13799 IRTemp num_src_bytes = newTemp(Ity_I64);
13825 IRTemp retval2 = newTemp(Ity_I64);
13841 IRTemp num_bytes = newTemp(Ity_I64);
13849 IRTemp data = newTemp(Ity_I64);
13911 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/,
13963 put_gpr_dw0(3, IRExpr_Get(S390X_GUEST_OFFSET(guest_NRADDR), Ity_I64));
