Lines Matching refs:Ity_I64
557 case Ity_I64:
759 op = IRExpr_Get(S390X_GUEST_OFFSET(guest_CC_OP), Ity_I64);
760 dep1 = IRExpr_Get(S390X_GUEST_OFFSET(guest_CC_DEP1), Ity_I64);
761 dep2 = IRExpr_Get(S390X_GUEST_OFFSET(guest_CC_DEP2), Ity_I64);
762 ndep = IRExpr_Get(S390X_GUEST_OFFSET(guest_CC_NDEP), Ity_I64);
819 op = IRExpr_Get(S390X_GUEST_OFFSET(guest_CC_OP), Ity_I64);
820 dep1 = IRExpr_Get(S390X_GUEST_OFFSET(guest_CC_DEP1), Ity_I64);
821 dep2 = IRExpr_Get(S390X_GUEST_OFFSET(guest_CC_DEP2), Ity_I64);
822 ndep = IRExpr_Get(S390X_GUEST_OFFSET(guest_CC_NDEP), Ity_I64);
1089 vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I64);
1098 return IRExpr_Get(gpr_dw0_offset(archreg), Ity_I64);
1418 vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I64);
1427 return IRExpr_Get(counter_dw0_offset(), Ity_I64);
1900 IRTemp op4addr = newTemp(Ity_I64);
1918 IRTemp op4addr = newTemp(Ity_I64);
2164 IRTemp op4addr = newTemp(Ity_I64);
2181 IRTemp op2addr = newTemp(Ity_I64);
2197 IRTemp op2addr = newTemp(Ity_I64);
2213 IRTemp op2addr = newTemp(Ity_I64);
2229 IRTemp op2addr = newTemp(Ity_I64);
2255 IRTemp op2addr = newTemp(Ity_I64);
2256 IRTemp d2 = newTemp(Ity_I64);
2273 IRTemp op2addr = newTemp(Ity_I64);
2274 IRTemp d2 = newTemp(Ity_I64);
2291 IRTemp op2addr = newTemp(Ity_I64);
2292 IRTemp d2 = newTemp(Ity_I64);
2309 IRTemp op2addr = newTemp(Ity_I64);
2310 IRTemp d2 = newTemp(Ity_I64);
2331 IRTemp op2addr = newTemp(Ity_I64);
2345 IRTemp op2addr = newTemp(Ity_I64);
2362 IRTemp op2addr = newTemp(Ity_I64);
2379 IRTemp op2addr = newTemp(Ity_I64);
2396 IRTemp op2addr = newTemp(Ity_I64);
2413 IRTemp op2addr = newTemp(Ity_I64);
2414 IRTemp d2 = newTemp(Ity_I64);
2432 IRTemp op2addr = newTemp(Ity_I64);
2433 IRTemp d2 = newTemp(Ity_I64);
2451 IRTemp op2addr = newTemp(Ity_I64);
2452 IRTemp d2 = newTemp(Ity_I64);
2470 IRTemp op2addr = newTemp(Ity_I64);
2486 IRTemp op1addr = newTemp(Ity_I64);
2502 IRTemp op1addr = newTemp(Ity_I64);
2503 IRTemp d1 = newTemp(Ity_I64);
2520 IRTemp op1addr = newTemp(Ity_I64);
2521 IRTemp d1 = newTemp(Ity_I64);
2538 IRTemp op1addr = newTemp(Ity_I64);
2539 IRTemp op2addr = newTemp(Ity_I64);
2557 IRTemp op1addr = newTemp(Ity_I64);
2573 IRTemp op1addr = newTemp(Ity_I64);
2609 IRTemp op1 = newTemp(Ity_I64);
2610 IRTemp op2 = newTemp(Ity_I64);
2611 IRTemp result = newTemp(Ity_I64);
2625 IRTemp op1 = newTemp(Ity_I64);
2626 IRTemp op2 = newTemp(Ity_I64);
2627 IRTemp result = newTemp(Ity_I64);
2657 IRTemp op2 = newTemp(Ity_I64);
2658 IRTemp op3 = newTemp(Ity_I64);
2659 IRTemp result = newTemp(Ity_I64);
2705 IRTemp op1 = newTemp(Ity_I64);
2706 IRTemp op2 = newTemp(Ity_I64);
2707 IRTemp result = newTemp(Ity_I64);
2710 assign(op2, load(Ity_I64, mkexpr(op2addr)));
2721 IRTemp op1 = newTemp(Ity_I64);
2722 IRTemp op2 = newTemp(Ity_I64);
2723 IRTemp result = newTemp(Ity_I64);
2754 IRTemp op1 = newTemp(Ity_I64);
2756 IRTemp result = newTemp(Ity_I64);
2761 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, op1, mktemp(Ity_I64,
2789 IRTemp op3 = newTemp(Ity_I64);
2790 IRTemp result = newTemp(Ity_I64);
2795 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, mktemp(Ity_I64, mkU64((ULong)
2822 IRTemp op1 = newTemp(Ity_I64);
2824 IRTemp result = newTemp(Ity_I64);
2826 assign(op1, load(Ity_I64, mkexpr(op1addr)));
2830 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, op1, mktemp(Ity_I64,
2888 IRTemp op1 = newTemp(Ity_I64);
2890 IRTemp result = newTemp(Ity_I64);
2895 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, op1, mktemp(Ity_I64,
2970 IRTemp op1 = newTemp(Ity_I64);
2971 IRTemp op2 = newTemp(Ity_I64);
2972 IRTemp result = newTemp(Ity_I64);
2986 IRTemp op1 = newTemp(Ity_I64);
2987 IRTemp op2 = newTemp(Ity_I64);
2988 IRTemp result = newTemp(Ity_I64);
3018 IRTemp op2 = newTemp(Ity_I64);
3019 IRTemp op3 = newTemp(Ity_I64);
3020 IRTemp result = newTemp(Ity_I64);
3066 IRTemp op1 = newTemp(Ity_I64);
3067 IRTemp op2 = newTemp(Ity_I64);
3068 IRTemp result = newTemp(Ity_I64);
3071 assign(op2, load(Ity_I64, mkexpr(op2addr)));
3082 IRTemp op1 = newTemp(Ity_I64);
3083 IRTemp op2 = newTemp(Ity_I64);
3084 IRTemp result = newTemp(Ity_I64);
3115 IRTemp op1 = newTemp(Ity_I64);
3117 IRTemp result = newTemp(Ity_I64);
3122 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_64, op1, mktemp(Ity_I64,
3183 IRTemp op1 = newTemp(Ity_I64);
3184 IRTemp op2 = newTemp(Ity_I64);
3185 IRTemp result = newTemp(Ity_I64);
3186 IRTemp carry_in = newTemp(Ity_I64);
3222 IRTemp op1 = newTemp(Ity_I64);
3223 IRTemp op2 = newTemp(Ity_I64);
3224 IRTemp result = newTemp(Ity_I64);
3225 IRTemp carry_in = newTemp(Ity_I64);
3228 assign(op2, load(Ity_I64, mkexpr(op2addr)));
3259 IRTemp op1 = newTemp(Ity_I64);
3261 IRTemp result = newTemp(Ity_I64);
3263 assign(op1, load(Ity_I64, mkexpr(op1addr)));
3266 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_64, op1, mktemp(Ity_I64,
3294 IRTemp op3 = newTemp(Ity_I64);
3295 IRTemp result = newTemp(Ity_I64);
3300 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_64, mktemp(Ity_I64, mkU64(op2)),
3358 IRTemp op1 = newTemp(Ity_I64);
3359 IRTemp op2 = newTemp(Ity_I64);
3360 IRTemp result = newTemp(Ity_I64);
3390 IRTemp op2 = newTemp(Ity_I64);
3391 IRTemp op3 = newTemp(Ity_I64);
3392 IRTemp result = newTemp(Ity_I64);
3438 IRTemp op1 = newTemp(Ity_I64);
3439 IRTemp op2 = newTemp(Ity_I64);
3440 IRTemp result = newTemp(Ity_I64);
3443 assign(op2, load(Ity_I64, mkexpr(op2addr)));
3582 IRTemp target = newTemp(Ity_I64);
3603 IRTemp target = newTemp(Ity_I64);
3718 IRTemp value = newTemp(Ity_I64);
3744 IRTemp value = newTemp(Ity_I64);
3852 IRTemp value = newTemp(Ity_I64);
3878 IRTemp value = newTemp(Ity_I64);
3904 IRTemp op1 = newTemp(Ity_I64);
3905 IRTemp op2 = newTemp(Ity_I64);
3917 IRTemp op1 = newTemp(Ity_I64);
3918 IRTemp op2 = newTemp(Ity_I64);
3956 IRTemp op1 = newTemp(Ity_I64);
3957 IRTemp op2 = newTemp(Ity_I64);
3960 assign(op2, load(Ity_I64, mkexpr(op2addr)));
3969 IRTemp op1 = newTemp(Ity_I64);
3970 IRTemp op2 = newTemp(Ity_I64);
3996 IRTemp op1 = newTemp(Ity_I64);
4001 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, mktemp(Ity_I64,
4024 IRTemp op1 = newTemp(Ity_I64);
4025 IRTemp op2 = newTemp(Ity_I64);
4028 assign(op2, load(Ity_I64, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)
4038 IRTemp op1 = newTemp(Ity_I64);
4039 IRTemp op2 = newTemp(Ity_I64);
4076 IRTemp op1 = newTemp(Ity_I64);
4077 IRTemp op2 = newTemp(Ity_I64);
4126 IRTemp op1 = newTemp(Ity_I64);
4127 IRTemp op2 = newTemp(Ity_I64);
4176 IRTemp op1 = newTemp(Ity_I64);
4188 mktemp(Ity_I64, mkU64((ULong)op2))));
4225 IRTemp op1 = newTemp(Ity_I64);
4237 mktemp(Ity_I64, mkU64((ULong)op2))));
4276 IRTemp op1 = newTemp(Ity_I64);
4277 IRTemp op2 = newTemp(Ity_I64);
4303 IRTemp op1 = newTemp(Ity_I64);
4308 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, mktemp(Ity_I64,
4345 IRTemp op1 = newTemp(Ity_I64);
4348 assign(op1, load(Ity_I64, mkexpr(op1addr)));
4350 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, mktemp(Ity_I64,
4373 IRTemp op1 = newTemp(Ity_I64);
4374 IRTemp op2 = newTemp(Ity_I64);
4453 IRTemp op1 = newTemp(Ity_I64);
4454 IRTemp op2 = newTemp(Ity_I64);
4466 IRTemp op1 = newTemp(Ity_I64);
4467 IRTemp op2 = newTemp(Ity_I64);
4505 IRTemp op1 = newTemp(Ity_I64);
4506 IRTemp op2 = newTemp(Ity_I64);
4509 assign(op2, load(Ity_I64, mkexpr(op2addr)));
4518 IRTemp op1 = newTemp(Ity_I64);
4519 IRTemp op2 = newTemp(Ity_I64);
4545 IRTemp op1 = newTemp(Ity_I64);
4550 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, mktemp(Ity_I64,
4601 IRTemp op1 = newTemp(Ity_I64);
4604 assign(op1, load(Ity_I64, mkexpr(op1addr)));
4606 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, mktemp(Ity_I64,
4643 IRTemp op1 = newTemp(Ity_I64);
4644 IRTemp op2 = newTemp(Ity_I64);
4647 assign(op2, load(Ity_I64, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)
4657 IRTemp op1 = newTemp(Ity_I64);
4658 IRTemp op2 = newTemp(Ity_I64);
4685 IRTemp op1 = newTemp(Ity_I64);
4686 IRTemp op2 = newTemp(Ity_I64);
4723 IRTemp op1 = newTemp(Ity_I64);
4724 IRTemp op2 = newTemp(Ity_I64);
4772 IRTemp op1 = newTemp(Ity_I64);
4773 IRTemp op2 = newTemp(Ity_I64);
4821 IRTemp op1 = newTemp(Ity_I64);
4833 mktemp(Ity_I64, mkU64(op2))));
4870 IRTemp op1 = newTemp(Ity_I64);
4882 mktemp(Ity_I64, mkU64(op2))));
5164 IRTemp op1 = newTemp(Ity_I64);
5165 IRTemp op2 = newTemp(Ity_I64);
5166 IRTemp result = newTemp(Ity_I64);
5200 IRTemp op2 = newTemp(Ity_I64);
5201 IRTemp op3 = newTemp(Ity_I64);
5202 IRTemp result = newTemp(Ity_I64);
5248 IRTemp op1 = newTemp(Ity_I64);
5249 IRTemp op2 = newTemp(Ity_I64);
5250 IRTemp result = newTemp(Ity_I64);
5253 assign(op2, load(Ity_I64, mkexpr(op2addr)));
5547 put_gpr_dw0(r1, load(Ity_I64, mkexpr(op2addr)));
5580 put_gpr_dw0(r1, load(Ity_I64, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)
5678 IRTemp old_mem = newTemp(Ity_I64);
5679 IRTemp op2 = newTemp(Ity_I64);
5680 IRTemp op3 = newTemp(Ity_I64);
5681 IRTemp result = newTemp(Ity_I64);
5683 assign(op2, load(Ity_I64, mkexpr(op2addr)));
5742 IRTemp old_mem = newTemp(Ity_I64);
5743 IRTemp op2 = newTemp(Ity_I64);
5744 IRTemp op3 = newTemp(Ity_I64);
5745 IRTemp result = newTemp(Ity_I64);
5747 assign(op2, load(Ity_I64, mkexpr(op2addr)));
5863 IRTemp op2 = newTemp(Ity_I64);
5875 IRTemp op2 = newTemp(Ity_I64);
5899 IRTemp op2 = newTemp(Ity_I64);
5901 assign(op2, load(Ity_I64, mkexpr(op2addr)));
5911 IRTemp op2 = newTemp(Ity_I64);
5981 IRTemp op2 = newTemp(Ity_I64);
5982 IRTemp result = newTemp(Ity_I64);
5988 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_64, mktemp(Ity_I64, mkU64((ULong)
5998 IRTemp op2 = newTemp(Ity_I64);
5999 IRTemp result = newTemp(Ity_I64);
6005 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_64, mktemp(Ity_I64, mkU64((ULong)
6308 IRTemp op2 = newTemp(Ity_I64);
6309 IRTemp result = newTemp(Ity_I64);
6323 IRTemp op2 = newTemp(Ity_I64);
6324 IRTemp result = newTemp(Ity_I64);
6366 put_gpr_dw0(r1, load(Ity_I64, mkexpr(op2addr)));
6374 put_gpr_dw0(r1, load(Ity_I64, mkexpr(op2addr)));
6375 put_gpr_dw0(r1 + 1, load(Ity_I64, binop(Iop_Add64, mkexpr(op2addr), mkU64(8))
6399 IRTemp op2 = newTemp(Ity_I64);
6400 IRTemp result = newTemp(Ity_I64);
6414 IRTemp op2 = newTemp(Ity_I64);
6415 IRTemp result = newTemp(Ity_I64);
6510 IRTemp op2 = newTemp(Ity_I64);
6512 assign(op2, load(Ity_I64, mkexpr(op2addr)));
6577 IRTemp result = newTemp(Ity_I64);
6593 IRTemp result = newTemp(Ity_I64);
6609 IRTemp result = newTemp(Ity_I64);
6625 IRTemp result = newTemp(Ity_I64);
6641 IRTemp result = newTemp(Ity_I64);
6657 IRTemp result = newTemp(Ity_I64);
6671 IRTemp op1 = newTemp(Ity_I64);
6689 IRTemp result = newTemp(Ity_I64);
6703 IRTemp op1 = newTemp(Ity_I64);
6704 IRTemp op2 = newTemp(Ity_I64);
6721 IRTemp result = newTemp(Ity_I64);
6735 IRTemp op1 = newTemp(Ity_I64);
6736 IRTemp op2 = newTemp(Ity_I64);
6740 assign(op2, load(Ity_I64, mkexpr(op2addr)));
6753 IRTemp result = newTemp(Ity_I64);
6766 IRTemp op1 = newTemp(Ity_I64);
6767 IRTemp op2 = newTemp(Ity_I64);
6781 IRTemp op1 = newTemp(Ity_I64);
6799 IRTemp result = newTemp(Ity_I64);
6814 IRTemp result = newTemp(Ity_I64);
6827 IRTemp op1 = newTemp(Ity_I64);
6828 IRTemp op2 = newTemp(Ity_I64);
6832 assign(op2, load(Ity_I64, mkexpr(op2addr)));
6842 IRTemp op1 = newTemp(Ity_I64);
6860 IRTemp result = newTemp(Ity_I64);
6873 IRTemp op1 = newTemp(Ity_I64);
6905 IRTemp op1 = newTemp(Ity_I64);
6906 IRTemp op2 = newTemp(Ity_I64);
6907 IRTemp result = newTemp(Ity_I64);
6937 IRTemp op2 = newTemp(Ity_I64);
6938 IRTemp op3 = newTemp(Ity_I64);
6939 IRTemp result = newTemp(Ity_I64);
6985 IRTemp op1 = newTemp(Ity_I64);
6986 IRTemp op2 = newTemp(Ity_I64);
6987 IRTemp result = newTemp(Ity_I64);
6990 assign(op2, load(Ity_I64, mkexpr(op2addr)));
7431 IRTemp amount = newTemp(Ity_I64);
7446 IRTemp amount = newTemp(Ity_I64);
7447 IRTemp op = newTemp(Ity_I64);
7467 IRTemp result = newTemp(Ity_I64);
7468 IRTemp op2 = newTemp(Ity_I64);
7506 IRTemp result = newTemp(Ity_I64);
7507 IRTemp op2 = newTemp(Ity_I64);
7545 IRTemp result = newTemp(Ity_I64);
7546 IRTemp op2 = newTemp(Ity_I64);
7584 IRTemp op2 = newTemp(Ity_I64);
7585 IRTemp result = newTemp(Ity_I64);
7628 IRTemp p1 = newTemp(Ity_I64);
7629 IRTemp p2 = newTemp(Ity_I64);
7630 IRTemp op = newTemp(Ity_I64);
7631 IRTemp result = newTemp(Ity_I64);
7633 IRTemp shift_amount = newTemp(Ity_I64);
7654 IRTemp p1 = newTemp(Ity_I64);
7655 IRTemp p2 = newTemp(Ity_I64);
7656 IRTemp result = newTemp(Ity_I64);
7675 IRTemp shift_amount = newTemp(Ity_I64);
7697 IRTemp shift_amount = newTemp(Ity_I64);
7716 IRTemp uop = newTemp(Ity_I64);
7717 IRTemp result = newTemp(Ity_I64);
7719 IRTemp shift_amount = newTemp(Ity_I64);
7720 IRTemp op = newTemp(Ity_I64);
7765 IRTemp p1 = newTemp(Ity_I64);
7766 IRTemp p2 = newTemp(Ity_I64);
7767 IRTemp result = newTemp(Ity_I64);
7784 IRTemp p1 = newTemp(Ity_I64);
7785 IRTemp p2 = newTemp(Ity_I64);
7786 IRTemp result = newTemp(Ity_I64);
7832 IRTemp result = newTemp(Ity_I64);
7833 IRTemp op = newTemp(Ity_I64);
7871 IRTemp op = newTemp(Ity_I64);
8149 IRTemp op1 = newTemp(Ity_I64);
8150 IRTemp op2 = newTemp(Ity_I64);
8151 IRTemp result = newTemp(Ity_I64);
8165 IRTemp op1 = newTemp(Ity_I64);
8166 IRTemp op2 = newTemp(Ity_I64);
8167 IRTemp result = newTemp(Ity_I64);
8197 IRTemp op2 = newTemp(Ity_I64);
8198 IRTemp op3 = newTemp(Ity_I64);
8199 IRTemp result = newTemp(Ity_I64);
8245 IRTemp op1 = newTemp(Ity_I64);
8246 IRTemp op2 = newTemp(Ity_I64);
8247 IRTemp result = newTemp(Ity_I64);
8250 assign(op2, load(Ity_I64, mkexpr(op2addr)));
8261 IRTemp op1 = newTemp(Ity_I64);
8262 IRTemp op2 = newTemp(Ity_I64);
8263 IRTemp result = newTemp(Ity_I64);
8357 IRTemp op1 = newTemp(Ity_I64);
8358 IRTemp op2 = newTemp(Ity_I64);
8359 IRTemp result = newTemp(Ity_I64);
8373 IRTemp op1 = newTemp(Ity_I64);
8374 IRTemp op2 = newTemp(Ity_I64);
8375 IRTemp result = newTemp(Ity_I64);
8405 IRTemp op2 = newTemp(Ity_I64);
8406 IRTemp op3 = newTemp(Ity_I64);
8407 IRTemp result = newTemp(Ity_I64);
8453 IRTemp op1 = newTemp(Ity_I64);
8454 IRTemp op2 = newTemp(Ity_I64);
8455 IRTemp result = newTemp(Ity_I64);
8458 assign(op2, load(Ity_I64, mkexpr(op2addr)));
8469 IRTemp op1 = newTemp(Ity_I64);
8470 IRTemp op2 = newTemp(Ity_I64);
8471 IRTemp result = newTemp(Ity_I64);
8502 IRTemp op1 = newTemp(Ity_I64);
8504 IRTemp result = newTemp(Ity_I64);
8509 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_SUB_64, op1, mktemp(Ity_I64,
8571 IRTemp op1 = newTemp(Ity_I64);
8572 IRTemp op2 = newTemp(Ity_I64);
8573 IRTemp result = newTemp(Ity_I64);
8574 IRTemp borrow_in = newTemp(Ity_I64);
8611 IRTemp op1 = newTemp(Ity_I64);
8612 IRTemp op2 = newTemp(Ity_I64);
8613 IRTemp result = newTemp(Ity_I64);
8614 IRTemp borrow_in = newTemp(Ity_I64);
8617 assign(op2, load(Ity_I64, mkexpr(op2addr)));
8631 IRTemp sysno = newTemp(Ity_I64);
9049 IRTemp op2 = newTemp(Ity_I64);
9066 IRTemp op2 = newTemp(Ity_I64);
9113 IRTemp op2 = newTemp(Ity_I64);
9129 IRTemp op2 = newTemp(Ity_I64);
9187 IRTemp result = newTemp(Ity_I64);
9207 Ity_I64);
9258 IRTemp result = newTemp(Ity_I64);
9275 IRTemp result = newTemp(Ity_I64);
9710 IRTemp op2 = newTemp(Ity_I64);
9729 IRTemp op2 = newTemp(Ity_I64);
9785 IRTemp op2 = newTemp(Ity_I64);
9804 IRTemp op2 = newTemp(Ity_I64);
9993 IRTemp result = newTemp(Ity_I64);
10015 IRTemp result = newTemp(Ity_I64);
10115 IRTemp op1 = newTemp(Ity_I64);
10132 IRTemp op1 = newTemp(Ity_I64);
10580 IRTemp len = newTemp(Ity_I64);
10591 IRTemp addr1 = newTemp(Ity_I64);
10592 IRTemp addr2 = newTemp(Ity_I64);
10593 IRTemp addr1_load = newTemp(Ity_I64);
10594 IRTemp addr2_load = newTemp(Ity_I64);
10673 addr1 = newTemp(Ity_I64);
10674 addr3 = newTemp(Ity_I64);
10675 addr1_load = newTemp(Ity_I64);
10676 addr3_load = newTemp(Ity_I64);
10677 len1 = newTemp(Ity_I64);
10678 len3 = newTemp(Ity_I64);
10769 IRTemp counter = newTemp(Ity_I64);
10793 IRTemp counter = newTemp(Ity_I64);
10811 IRTemp result = newTemp(Ity_I64);
10812 IRTemp counter = newTemp(Ity_I64);
10850 IRTemp start1 = newTemp(Ity_I64);
10851 IRTemp start2 = newTemp(Ity_I64);
10852 IRTemp len = newTemp(lensize == 64 ? Ity_I64 : Ity_I32);
10854 torun = newTemp(Ity_I64);
10856 assign(torun, load(Ity_I64, mkexpr(addr2)));
10894 mkIRExprVec_1(load(Ity_I64, mkexpr(addr2))));
10950 orperand = newTemp(Ity_I64);
10951 torun = newTemp(Ity_I64);
10958 assign(torun, binop(Iop_Or64, load(Ity_I64, mkexpr(addr2)),
10991 IRTemp addr = newTemp(Ity_I64);
11015 IRTemp address = newTemp(Ity_I64);
11016 IRTemp next = newTemp(Ity_I64);
11018 IRTemp counter = newTemp(Ity_I64);
11053 IRTemp address1 = newTemp(Ity_I64);
11054 IRTemp address2 = newTemp(Ity_I64);
11056 IRTemp counter = newTemp(Ity_I64);
11112 IRTemp addr = newTemp(Ity_I64);
11121 addr = newTemp(Ity_I64);
11147 IRTemp addr = newTemp(Ity_I64);
11156 addr = newTemp(Ity_I64);
11168 IRTemp addr = newTemp(Ity_I64);
11176 put_gpr_dw0(reg, load(Ity_I64, mkexpr(addr)));
11177 addr = newTemp(Ity_I64);
11189 IRTemp addr = newTemp(Ity_I64);
11198 addr = newTemp(Ity_I64);
11224 IRTemp addr = newTemp(Ity_I64);
11233 addr = newTemp(Ity_I64);
11245 IRTemp addr = newTemp(Ity_I64);
11254 addr = newTemp(Ity_I64);
11269 IRTemp addr1 = newTemp(Ity_I64);
11314 IRTemp start = newTemp(Ity_I64);
11315 IRTemp addr = newTemp(Ity_I64);
11374 IRTemp len = newTemp(Ity_I64);
11385 IRTemp addr1 = newTemp(Ity_I64);
11386 IRTemp addr2 = newTemp(Ity_I64);
11387 IRTemp addr2_load = newTemp(Ity_I64);
11470 addr1 = newTemp(Ity_I64);
11471 addr3 = newTemp(Ity_I64);
11472 addr3_load = newTemp(Ity_I64);
11473 len1 = newTemp(Ity_I64);
11474 len3 = newTemp(Ity_I64);
11521 IRTemp addr1 = newTemp(Ity_I64);
11522 IRTemp addr2 = newTemp(Ity_I64);
11525 IRTemp counter = newTemp(Ity_I64);
11549 IRTemp op1 = newTemp(Ity_I64);
11550 IRTemp result = newTemp(Ity_I64);
11577 IRTemp op1 = newTemp(Ity_I64);
11637 IRTemp op2 = newTemp(Ity_I64);
11639 assign(op2, load(Ity_I64, mkexpr(op2addr)));
11649 IRTemp op2 = newTemp(Ity_I64);
11661 IRTemp op2 = newTemp(Ity_I64);
11673 IRTemp op2 = newTemp(Ity_I64);
11675 assign(op2, load(Ity_I64, mkexpr(op2addr)));
11685 IRTemp op2 = newTemp(Ity_I64);
11697 IRTemp op2 = newTemp(Ity_I64);
11710 IRTemp addr = newTemp(Ity_I64);
11719 addr = newTemp(Ity_I64);
11745 IRTemp addr = newTemp(Ity_I64);
11754 addr = newTemp(Ity_I64);
11830 IRTemp op1 = newTemp(Ity_I64);
11831 IRTemp old_mem = newTemp(Ity_I64);
11832 IRTemp op3 = newTemp(Ity_I64);
11833 IRTemp result = newTemp(Ity_I64);
11925 IRTemp op1_high = newTemp(Ity_I64);
11926 IRTemp op1_low = newTemp(Ity_I64);
11927 IRTemp old_mem_high = newTemp(Ity_I64);
11928 IRTemp old_mem_low = newTemp(Ity_I64);
11929 IRTemp op3_high = newTemp(Ity_I64);
11930 IRTemp op3_low = newTemp(Ity_I64);
11931 IRTemp result = newTemp(Ity_I64);
12111 IRTemp op2 = newTemp(Ity_I64);
12126 IRTemp op2 = newTemp(Ity_I64);
12177 IRTemp result = newTemp(Ity_I64);
12197 IRTemp result = newTemp(Ity_I64);
12678 IRTemp sign = newTemp(Ity_I64);
12679 IRTemp value = newTemp(Ity_I64);
12710 put_gpr_w1(r1, s390_call_cvb(load(Ity_I64, mkexpr(op2addr))));
12718 put_gpr_w1(r1, s390_call_cvb(load(Ity_I64, mkexpr(op2addr))));
12730 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/,
12758 IRTemp input = newTemp(Ity_I64);
12759 IRTemp not_zero = newTemp(Ity_I64);
12760 IRTemp tmpnum = newTemp(Ity_I64);
12761 IRTemp num = newTemp(Ity_I64);
12805 mktemp(Ity_I64, mkU64(0)), False);
12814 IRTemp cc = newTemp(Ity_I64);
12834 IRTemp cc = newTemp(Ity_I64);
12853 IRTemp cc = newTemp(Ity_I64);
12876 IRTemp cc = newTemp(Ity_I64);
12905 IRTemp addr = newTemp(Ity_I64);
12907 IRTemp len = newTemp(Ity_I64);
12913 IRTemp inc = newTemp(Ity_I64);
12970 src_addr = newTemp(Ity_I64);
12971 des_addr = newTemp(Ity_I64);
12972 tab_addr = newTemp(Ity_I64);
12974 src_len = newTemp(Ity_I64);
12984 IRTemp result = newTemp(Ity_I64);
13017 src_addr = newTemp(Ity_I64);
13018 des_addr = newTemp(Ity_I64);
13019 tab_addr = newTemp(Ity_I64);
13021 src_len = newTemp(Ity_I64);
13031 IRTemp result = newTemp(Ity_I64);
13065 src_addr = newTemp(Ity_I64);
13066 des_addr = newTemp(Ity_I64);
13067 tab_addr = newTemp(Ity_I64);
13069 src_len = newTemp(Ity_I64);
13079 IRTemp result = newTemp(Ity_I64);
13112 src_addr = newTemp(Ity_I64);
13113 des_addr = newTemp(Ity_I64);
13114 tab_addr = newTemp(Ity_I64);
13116 src_len = newTemp(Ity_I64);
13126 IRTemp result = newTemp(Ity_I64);
13159 IRTemp len = newTemp(Ity_I64);
13171 src_addr = newTemp(Ity_I64);
13172 tab_addr = newTemp(Ity_I64);
13173 src_len = newTemp(Ity_I64);
13183 IRTemp result = newTemp(Ity_I64);
13214 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/,
13226 IRTemp addr1 = newTemp(Ity_I64);
13227 IRTemp addr2 = newTemp(Ity_I64);
13228 IRTemp len1 = newTemp(Ity_I64);
13229 IRTemp len2 = newTemp(Ity_I64);
13275 IRTemp retval = newTemp(Ity_I64);
13290 IRTemp num_bytes = newTemp(Ity_I64);
13298 IRTemp data = newTemp(Ity_I64);
13320 IRTemp num_src_bytes = newTemp(Ity_I64);
13341 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/,
13353 IRTemp addr1 = newTemp(Ity_I64);
13354 IRTemp addr2 = newTemp(Ity_I64);
13355 IRTemp len1 = newTemp(Ity_I64);
13356 IRTemp len2 = newTemp(Ity_I64);
13403 IRTemp retval = newTemp(Ity_I64);
13427 IRTemp num_src_bytes = newTemp(Ity_I64);
13448 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/,
13460 IRTemp addr1 = newTemp(Ity_I64);
13461 IRTemp addr2 = newTemp(Ity_I64);
13462 IRTemp len1 = newTemp(Ity_I64);
13463 IRTemp len2 = newTemp(Ity_I64);
13481 IRTemp retval = newTemp(Ity_I64);
13492 IRTemp num_bytes = newTemp(Ity_I64);
13500 IRTemp data = newTemp(Ity_I64);
13542 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/,
13554 IRTemp addr1 = newTemp(Ity_I64);
13555 IRTemp addr2 = newTemp(Ity_I64);
13556 IRTemp len1 = newTemp(Ity_I64);
13557 IRTemp len2 = newTemp(Ity_I64);
13575 IRTemp retval = newTemp(Ity_I64);
13586 IRTemp num_bytes = newTemp(Ity_I64);
13594 IRTemp data = newTemp(Ity_I64);
13633 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/, "s390_do_cu12_cu14_helper1",
13648 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/,
13663 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/,
13675 IRTemp addr1 = newTemp(Ity_I64);
13676 IRTemp addr2 = newTemp(Ity_I64);
13677 IRTemp len1 = newTemp(Ity_I64);
13678 IRTemp len2 = newTemp(Ity_I64);
13694 IRTemp byte1 = newTemp(Ity_I64);
13698 IRTemp retval1 = newTemp(Ity_I64);
13708 IRTemp num_src_bytes = newTemp(Ity_I64);
13734 IRTemp retval2 = newTemp(Ity_I64);
13750 IRTemp num_bytes = newTemp(Ity_I64);
13758 IRTemp data = newTemp(Ity_I64);
13820 call = mkIRExprCCall(Ity_I64, 0 /*regparm*/,
13872 put_gpr_dw0(3, IRExpr_Get(S390X_GUEST_OFFSET(guest_NRADDR), Ity_I64));