Lines Matching refs:op1
151 binop(IROp kind, IRExpr *op1, IRExpr *op2)
153 return IRExpr_Binop(kind, op1, op2);
158 triop(IROp kind, IRExpr *op1, IRExpr *op2, IRExpr *op3)
160 return IRExpr_Triop(kind, op1, op2, op3);
165 qop(IROp kind, IRExpr *op1, IRExpr *op2, IRExpr *op3, IRExpr *op4)
167 return IRExpr_Qop(kind, op1, op2, op3, op4);
605 s390_call_calculate_icc(UInt opc, IRTemp op1, IRTemp op2, Bool sign_extend)
610 dep1 = s390_cc_widen(op1, sign_extend);
2089 IRTemp op1 = newTemp(Ity_I32);
2093 assign(op1, get_gpr_w1(r1));
2095 assign(result, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)));
2096 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_32, op1, op2);
2105 IRTemp op1 = newTemp(Ity_I64);
2109 assign(op1, get_gpr_dw0(r1));
2111 assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));
2112 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, op1, op2);
2121 IRTemp op1 = newTemp(Ity_I64);
2125 assign(op1, get_gpr_dw0(r1));
2127 assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));
2128 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, op1, op2);
2169 IRTemp op1 = newTemp(Ity_I32);
2173 assign(op1, get_gpr_w1(r1));
2175 assign(result, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)));
2176 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_32, op1, op2);
2185 IRTemp op1 = newTemp(Ity_I32);
2189 assign(op1, get_gpr_w1(r1));
2191 assign(result, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)));
2192 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_32, op1, op2);
2201 IRTemp op1 = newTemp(Ity_I64);
2205 assign(op1, get_gpr_dw0(r1));
2207 assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));
2208 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, op1, op2);
2217 IRTemp op1 = newTemp(Ity_I64);
2221 assign(op1, get_gpr_dw0(r1));
2223 assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));
2224 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, op1, op2);
2233 IRTemp op1 = newTemp(Ity_I32);
2237 assign(op1, get_gpr_w1(r1));
2239 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32((UInt)op2)));
2240 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_32, op1, mktemp(Ity_I32,
2250 IRTemp op1 = newTemp(Ity_I64);
2254 assign(op1, get_gpr_dw0(r1));
2256 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2)));
2257 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, op1, mktemp(Ity_I64,
2301 IRTemp op1 = newTemp(Ity_I32);
2305 assign(op1, load(Ity_I32, mkexpr(op1addr)));
2307 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32((UInt)op2)));
2309 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_32, op1, mktemp(Ity_I32,
2318 IRTemp op1 = newTemp(Ity_I64);
2322 assign(op1, load(Ity_I64, mkexpr(op1addr)));
2324 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2)));
2326 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, op1, mktemp(Ity_I64,
2335 IRTemp op1 = newTemp(Ity_I32);
2339 assign(op1, get_gpr_w1(r1));
2341 assign(result, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)));
2342 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_32, op1, op2);
2351 IRTemp op1 = newTemp(Ity_I32);
2355 assign(op1, get_gpr_w1(r1));
2357 assign(result, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)));
2358 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_32, op1, op2);
2367 IRTemp op1 = newTemp(Ity_I32);
2371 assign(op1, get_gpr_w1(r1));
2373 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32((UInt)op2)));
2374 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_32, op1, mktemp(Ity_I32,
2384 IRTemp op1 = newTemp(Ity_I64);
2388 assign(op1, get_gpr_dw0(r1));
2390 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2)));
2391 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, op1, mktemp(Ity_I64,
2433 IRTemp op1 = newTemp(Ity_I32);
2437 assign(op1, get_gpr_w0(r1));
2439 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32((UInt)op2)));
2440 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_32, op1, mktemp(Ity_I32,
2450 IRTemp op1 = newTemp(Ity_I32);
2454 assign(op1, get_gpr_w1(r1));
2456 assign(result, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)));
2457 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_32, op1, op2);
2466 IRTemp op1 = newTemp(Ity_I64);
2470 assign(op1, get_gpr_dw0(r1));
2472 assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));
2473 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_64, op1, op2);
2482 IRTemp op1 = newTemp(Ity_I64);
2486 assign(op1, get_gpr_dw0(r1));
2488 assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));
2489 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_64, op1, op2);
2530 IRTemp op1 = newTemp(Ity_I32);
2534 assign(op1, get_gpr_w1(r1));
2536 assign(result, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)));
2537 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_32, op1, op2);
2546 IRTemp op1 = newTemp(Ity_I32);
2550 assign(op1, get_gpr_w1(r1));
2552 assign(result, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)));
2553 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_32, op1, op2);
2562 IRTemp op1 = newTemp(Ity_I64);
2566 assign(op1, get_gpr_dw0(r1));
2568 assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));
2569 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_64, op1, op2);
2578 IRTemp op1 = newTemp(Ity_I64);
2582 assign(op1, get_gpr_dw0(r1));
2584 assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));
2585 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_64, op1, op2);
2594 IRTemp op1 = newTemp(Ity_I32);
2598 assign(op1, get_gpr_w1(r1));
2600 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32(op2)));
2601 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_32, op1, mktemp(Ity_I32,
2611 IRTemp op1 = newTemp(Ity_I64);
2615 assign(op1, get_gpr_dw0(r1));
2617 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64(op2)));
2618 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_64, op1, mktemp(Ity_I64,
2660 IRTemp op1 = newTemp(Ity_I32);
2665 assign(op1, get_gpr_w1(r1));
2668 assign(result, binop(Iop_Add32, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)),
2670 s390_cc_thunk_putZZZ(S390_CC_OP_UNSIGNED_ADDC_32, op1, op2, carry_in);
2679 IRTemp op1 = newTemp(Ity_I64);
2684 assign(op1, get_gpr_dw0(r1));
2688 assign(result, binop(Iop_Add64, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)),
2690 s390_cc_thunk_putZZZ(S390_CC_OP_UNSIGNED_ADDC_64, op1, op2, carry_in);
2699 IRTemp op1 = newTemp(Ity_I32);
2704 assign(op1, get_gpr_w1(r1));
2707 assign(result, binop(Iop_Add32, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)),
2709 s390_cc_thunk_putZZZ(S390_CC_OP_UNSIGNED_ADDC_32, op1, op2, carry_in);
2718 IRTemp op1 = newTemp(Ity_I64);
2723 assign(op1, get_gpr_dw0(r1));
2727 assign(result, binop(Iop_Add64, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)),
2729 s390_cc_thunk_putZZZ(S390_CC_OP_UNSIGNED_ADDC_64, op1, op2, carry_in);
2738 IRTemp op1 = newTemp(Ity_I32);
2742 assign(op1, load(Ity_I32, mkexpr(op1addr)));
2744 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32(op2)));
2745 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_32, op1, mktemp(Ity_I32,
2755 IRTemp op1 = newTemp(Ity_I64);
2759 assign(op1, load(Ity_I64, mkexpr(op1addr)));
2761 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64(op2)));
2762 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_64, op1, mktemp(Ity_I64,
2806 IRTemp op1 = newTemp(Ity_I32);
2810 assign(op1, get_gpr_w0(r1));
2812 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32(op2)));
2813 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_32, op1, mktemp(Ity_I32,
2823 IRTemp op1 = newTemp(Ity_I32);
2827 assign(op1, get_gpr_w0(r1));
2829 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32(op2)));
2838 IRTemp op1 = newTemp(Ity_I32);
2842 assign(op1, get_gpr_w1(r1));
2844 assign(result, binop(Iop_And32, mkexpr(op1), mkexpr(op2)));
2854 IRTemp op1 = newTemp(Ity_I64);
2858 assign(op1, get_gpr_dw0(r1));
2860 assign(result, binop(Iop_And64, mkexpr(op1), mkexpr(op2)));
2902 IRTemp op1 = newTemp(Ity_I32);
2906 assign(op1, get_gpr_w1(r1));
2908 assign(result, binop(Iop_And32, mkexpr(op1), mkexpr(op2)));
2918 IRTemp op1 = newTemp(Ity_I32);
2922 assign(op1, get_gpr_w1(r1));
2924 assign(result, binop(Iop_And32, mkexpr(op1), mkexpr(op2)));
2934 IRTemp op1 = newTemp(Ity_I64);
2938 assign(op1, get_gpr_dw0(r1));
2940 assign(result, binop(Iop_And64, mkexpr(op1), mkexpr(op2)));
2950 IRTemp op1 = newTemp(Ity_I8);
2954 assign(op1, load(Ity_I8, mkexpr(op1addr)));
2956 assign(result, binop(Iop_And8, mkexpr(op1), mkU8(op2)));
2966 IRTemp op1 = newTemp(Ity_I8);
2970 assign(op1, load(Ity_I8, mkexpr(op1addr)));
2972 assign(result, binop(Iop_And8, mkexpr(op1), mkU8(op2)));
2982 IRTemp op1 = newTemp(Ity_I32);
2986 assign(op1, get_gpr_w0(r1));
2988 assign(result, binop(Iop_And32, mkexpr(op1), mkU32(op2)));
2998 IRTemp op1 = newTemp(Ity_I16);
3002 assign(op1, get_gpr_hw0(r1));
3004 assign(result, binop(Iop_And16, mkexpr(op1), mkU16(op2)));
3014 IRTemp op1 = newTemp(Ity_I16);
3018 assign(op1, get_gpr_hw1(r1));
3020 assign(result, binop(Iop_And16, mkexpr(op1), mkU16(op2)));
3030 IRTemp op1 = newTemp(Ity_I32);
3034 assign(op1, get_gpr_w1(r1));
3036 assign(result, binop(Iop_And32, mkexpr(op1), mkU32(op2)));
3046 IRTemp op1 = newTemp(Ity_I16);
3050 assign(op1, get_gpr_hw2(r1));
3052 assign(result, binop(Iop_And16, mkexpr(op1), mkU16(op2)));
3062 IRTemp op1 = newTemp(Ity_I16);
3066 assign(op1, get_gpr_hw3(r1));
3068 assign(result, binop(Iop_And16, mkexpr(op1), mkU16(op2)));
3387 IRTemp op1 = newTemp(Ity_I32);
3390 assign(op1, get_gpr_w1(r1));
3392 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3400 IRTemp op1 = newTemp(Ity_I64);
3403 assign(op1, get_gpr_dw0(r1));
3405 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3413 IRTemp op1 = newTemp(Ity_I64);
3416 assign(op1, get_gpr_dw0(r1));
3418 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3426 IRTemp op1 = newTemp(Ity_I32);
3429 assign(op1, get_gpr_w1(r1));
3431 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3439 IRTemp op1 = newTemp(Ity_I32);
3442 assign(op1, get_gpr_w1(r1));
3444 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3452 IRTemp op1 = newTemp(Ity_I64);
3455 assign(op1, get_gpr_dw0(r1));
3457 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3465 IRTemp op1 = newTemp(Ity_I64);
3468 assign(op1, get_gpr_dw0(r1));
3470 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3478 IRTemp op1 = newTemp(Ity_I32);
3481 assign(op1, get_gpr_w1(r1));
3483 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, mktemp(Ity_I32,
3492 IRTemp op1 = newTemp(Ity_I64);
3495 assign(op1, get_gpr_dw0(r1));
3497 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, mktemp(Ity_I64,
3506 IRTemp op1 = newTemp(Ity_I32);
3509 assign(op1, get_gpr_w1(r1));
3512 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3520 IRTemp op1 = newTemp(Ity_I64);
3523 assign(op1, get_gpr_dw0(r1));
3526 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3534 IRTemp op1 = newTemp(Ity_I64);
3537 assign(op1, get_gpr_dw0(r1));
3540 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3548 IRTemp op1 = newTemp(Ity_I32);
3558 assign(op1, get_gpr_w1(r1));
3560 assign(icc, s390_call_calculate_iccSS(S390_CC_OP_SIGNED_COMPARE, op1,
3575 IRTemp op1 = newTemp(Ity_I64);
3585 assign(op1, get_gpr_dw0(r1));
3587 assign(icc, s390_call_calculate_iccSS(S390_CC_OP_SIGNED_COMPARE, op1,
3602 IRTemp op1 = newTemp(Ity_I32);
3613 assign(op1, get_gpr_w1(r1));
3615 assign(icc, s390_call_calculate_iccSS(S390_CC_OP_SIGNED_COMPARE, op1,
3631 IRTemp op1 = newTemp(Ity_I64);
3642 assign(op1, get_gpr_dw0(r1));
3644 assign(icc, s390_call_calculate_iccSS(S390_CC_OP_SIGNED_COMPARE, op1,
3660 IRTemp op1 = newTemp(Ity_I32);
3670 assign(op1, get_gpr_w1(r1));
3672 assign(icc, s390_call_calculate_iccSS(S390_CC_OP_SIGNED_COMPARE, op1,
3687 IRTemp op1 = newTemp(Ity_I64);
3697 assign(op1, get_gpr_dw0(r1));
3699 assign(icc, s390_call_calculate_iccSS(S390_CC_OP_SIGNED_COMPARE, op1,
3714 IRTemp op1 = newTemp(Ity_I32);
3724 assign(op1, get_gpr_w1(r1));
3726 assign(icc, s390_call_calculate_iccSS(S390_CC_OP_SIGNED_COMPARE, op1,
3742 IRTemp op1 = newTemp(Ity_I64);
3752 assign(op1, get_gpr_dw0(r1));
3754 assign(icc, s390_call_calculate_iccSS(S390_CC_OP_SIGNED_COMPARE, op1,
3770 IRTemp op1 = newTemp(Ity_I32);
3773 assign(op1, get_gpr_w1(r1));
3775 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3783 IRTemp op1 = newTemp(Ity_I32);
3786 assign(op1, get_gpr_w1(r1));
3788 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3796 IRTemp op1 = newTemp(Ity_I64);
3799 assign(op1, get_gpr_dw0(r1));
3801 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3809 IRTemp op1 = newTemp(Ity_I32);
3812 assign(op1, get_gpr_w1(r1));
3814 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, mktemp(Ity_I32,
3823 IRTemp op1 = newTemp(Ity_I64);
3826 assign(op1, get_gpr_dw0(r1));
3828 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, mktemp(Ity_I64,
3837 IRTemp op1 = newTemp(Ity_I16);
3840 assign(op1, load(Ity_I16, mkexpr(op1addr)));
3842 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, mktemp(Ity_I16,
3851 IRTemp op1 = newTemp(Ity_I32);
3854 assign(op1, load(Ity_I32, mkexpr(op1addr)));
3856 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, mktemp(Ity_I32,
3865 IRTemp op1 = newTemp(Ity_I64);
3868 assign(op1, load(Ity_I64, mkexpr(op1addr)));
3870 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, mktemp(Ity_I64,
3879 IRTemp op1 = newTemp(Ity_I32);
3882 assign(op1, get_gpr_w1(r1));
3885 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3893 IRTemp op1 = newTemp(Ity_I64);
3896 assign(op1, get_gpr_dw0(r1));
3899 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3907 IRTemp op1 = newTemp(Ity_I32);
3910 assign(op1, get_gpr_w0(r1));
3912 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3920 IRTemp op1 = newTemp(Ity_I32);
3923 assign(op1, get_gpr_w0(r1));
3925 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3933 IRTemp op1 = newTemp(Ity_I32);
3936 assign(op1, get_gpr_w0(r1));
3938 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, op2);
3946 IRTemp op1 = newTemp(Ity_I32);
3949 assign(op1, get_gpr_w0(r1));
3951 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_COMPARE, op1, mktemp(Ity_I32,
3960 IRTemp op1 = newTemp(Ity_I32);
3963 assign(op1, get_gpr_w1(r1));
3965 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
3973 IRTemp op1 = newTemp(Ity_I64);
3976 assign(op1, get_gpr_dw0(r1));
3978 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
3986 IRTemp op1 = newTemp(Ity_I64);
3989 assign(op1, get_gpr_dw0(r1));
3991 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
3999 IRTemp op1 = newTemp(Ity_I32);
4002 assign(op1, get_gpr_w1(r1));
4004 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
4012 IRTemp op1 = newTemp(Ity_I32);
4015 assign(op1, get_gpr_w1(r1));
4017 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
4025 IRTemp op1 = newTemp(Ity_I64);
4028 assign(op1, get_gpr_dw0(r1));
4030 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
4038 IRTemp op1 = newTemp(Ity_I64);
4041 assign(op1, get_gpr_dw0(r1));
4043 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
4051 IRTemp op1 = newTemp(Ity_I32);
4054 assign(op1, get_gpr_w1(r1));
4056 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, mktemp(Ity_I32,
4065 IRTemp op1 = newTemp(Ity_I64);
4068 assign(op1, get_gpr_dw0(r1));
4070 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, mktemp(Ity_I64,
4079 IRTemp op1 = newTemp(Ity_I8);
4082 assign(op1, load(Ity_I8, mkexpr(op1addr)));
4084 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, mktemp(Ity_I8,
4093 IRTemp op1 = newTemp(Ity_I8);
4096 assign(op1, load(Ity_I8, mkexpr(op1addr)));
4098 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, mktemp(Ity_I8,
4107 IRTemp op1 = newTemp(Ity_I32);
4110 assign(op1, load(Ity_I32, mkexpr(op1addr)));
4112 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, mktemp(Ity_I32,
4121 IRTemp op1 = newTemp(Ity_I64);
4124 assign(op1, load(Ity_I64, mkexpr(op1addr)));
4126 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, mktemp(Ity_I64,
4135 IRTemp op1 = newTemp(Ity_I16);
4138 assign(op1, load(Ity_I16, mkexpr(op1addr)));
4140 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, mktemp(Ity_I16,
4149 IRTemp op1 = newTemp(Ity_I32);
4152 assign(op1, get_gpr_w1(r1));
4155 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
4163 IRTemp op1 = newTemp(Ity_I64);
4166 assign(op1, get_gpr_dw0(r1));
4169 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
4177 IRTemp op1 = newTemp(Ity_I64);
4180 assign(op1, get_gpr_dw0(r1));
4183 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
4191 IRTemp op1 = newTemp(Ity_I32);
4194 assign(op1, get_gpr_w1(r1));
4197 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
4205 IRTemp op1 = newTemp(Ity_I64);
4208 assign(op1, get_gpr_dw0(r1));
4211 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
4219 IRTemp op1 = newTemp(Ity_I32);
4229 assign(op1, get_gpr_w1(r1));
4231 assign(icc, s390_call_calculate_iccZZ(S390_CC_OP_UNSIGNED_COMPARE, op1,
4246 IRTemp op1 = newTemp(Ity_I64);
4256 assign(op1, get_gpr_dw0(r1));
4258 assign(icc, s390_call_calculate_iccZZ(S390_CC_OP_UNSIGNED_COMPARE, op1,
4273 IRTemp op1 = newTemp(Ity_I32);
4283 assign(op1, get_gpr_w1(r1));
4285 assign(icc, s390_call_calculate_iccZZ(S390_CC_OP_UNSIGNED_COMPARE, op1,
4301 IRTemp op1 = newTemp(Ity_I64);
4311 assign(op1, get_gpr_dw0(r1));
4313 assign(icc, s390_call_calculate_iccZZ(S390_CC_OP_UNSIGNED_COMPARE, op1,
4329 IRTemp op1 = newTemp(Ity_I32);
4339 assign(op1, get_gpr_w1(r1));
4341 assign(icc, s390_call_calculate_iccZZ(S390_CC_OP_UNSIGNED_COMPARE, op1,
4356 IRTemp op1 = newTemp(Ity_I64);
4366 assign(op1, get_gpr_dw0(r1));
4368 assign(icc, s390_call_calculate_iccZZ(S390_CC_OP_UNSIGNED_COMPARE, op1,
4383 IRTemp op1 = newTemp(Ity_I32);
4393 assign(op1, get_gpr_w1(r1));
4395 assign(icc, s390_call_calculate_iccZZ(S390_CC_OP_UNSIGNED_COMPARE, op1,
4411 IRTemp op1 = newTemp(Ity_I64);
4421 assign(op1, get_gpr_dw0(r1));
4423 assign(icc, s390_call_calculate_iccZZ(S390_CC_OP_UNSIGNED_COMPARE, op1,
4439 IRTemp op1 = newTemp(Ity_I32);
4487 assign(op1, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Shl32,
4493 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
4501 IRTemp op1 = newTemp(Ity_I32);
4549 assign(op1, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Shl32,
4555 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
4563 IRTemp op1 = newTemp(Ity_I32);
4611 assign(op1, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Shl32,
4617 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
4625 IRTemp op1 = newTemp(Ity_I32);
4628 assign(op1, get_gpr_w0(r1));
4630 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
4638 IRTemp op1 = newTemp(Ity_I32);
4641 assign(op1, get_gpr_w0(r1));
4643 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
4651 IRTemp op1 = newTemp(Ity_I32);
4654 assign(op1, get_gpr_w0(r1));
4656 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, op2);
4664 IRTemp op1 = newTemp(Ity_I32);
4667 assign(op1, get_gpr_w0(r1));
4669 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_COMPARE, op1, mktemp(Ity_I32,
4688 IRTemp op1 = newTemp(Ity_I32);
4695 assign(op1, get_gpr_w1(r1));
4697 assign(result, binop(Iop_Xor32, mkexpr(op1), mkexpr(op2)));
4708 IRTemp op1 = newTemp(Ity_I64);
4715 assign(op1, get_gpr_dw0(r1));
4717 assign(result, binop(Iop_Xor64, mkexpr(op1), mkexpr(op2)));
4760 IRTemp op1 = newTemp(Ity_I32);
4764 assign(op1, get_gpr_w1(r1));
4766 assign(result, binop(Iop_Xor32, mkexpr(op1), mkexpr(op2)));
4776 IRTemp op1 = newTemp(Ity_I32);
4780 assign(op1, get_gpr_w1(r1));
4782 assign(result, binop(Iop_Xor32, mkexpr(op1), mkexpr(op2)));
4792 IRTemp op1 = newTemp(Ity_I64);
4796 assign(op1, get_gpr_dw0(r1));
4798 assign(result, binop(Iop_Xor64, mkexpr(op1), mkexpr(op2)));
4808 IRTemp op1 = newTemp(Ity_I8);
4812 assign(op1, load(Ity_I8, mkexpr(op1addr)));
4814 assign(result, binop(Iop_Xor8, mkexpr(op1), mkU8(op2)));
4824 IRTemp op1 = newTemp(Ity_I8);
4828 assign(op1, load(Ity_I8, mkexpr(op1addr)));
4830 assign(result, binop(Iop_Xor8, mkexpr(op1), mkU8(op2)));
4840 IRTemp op1 = newTemp(Ity_I32);
4844 assign(op1, get_gpr_w0(r1));
4846 assign(result, binop(Iop_Xor32, mkexpr(op1), mkU32(op2)));
4856 IRTemp op1 = newTemp(Ity_I32);
4860 assign(op1, get_gpr_w1(r1));
4862 assign(result, binop(Iop_Xor32, mkexpr(op1), mkU32(op2)));
5464 Int op1;
5468 op1 = 0;
5470 assign(result, binop(Iop_Sub32, mkU32((UInt)op1), mkexpr(op2)));
5473 op1)), op2);
5481 Long op1;
5485 op1 = 0ULL;
5487 assign(result, binop(Iop_Sub64, mkU64((ULong)op1), mkexpr(op2)));
5490 op1)), op2);
5498 Long op1;
5502 op1 = 0ULL;
5504 assign(result, binop(Iop_Sub64, mkU64((ULong)op1), mkexpr(op2)));
5507 op1)), op2);
6078 IRTemp op1 = newTemp(Ity_I32);
6082 assign(op1, get_gpr_w1(r1 + 1));
6084 assign(result, binop(Iop_MullS32, mkexpr(op1), mkexpr(op2)));
6094 IRTemp op1 = newTemp(Ity_I32);
6098 assign(op1, get_gpr_w1(r1 + 1));
6100 assign(result, binop(Iop_MullS32, mkexpr(op1), mkexpr(op2)));
6110 IRTemp op1 = newTemp(Ity_I32);
6114 assign(op1, get_gpr_w1(r1 + 1));
6116 assign(result, binop(Iop_MullS32, mkexpr(op1), mkexpr(op2)));
6126 IRTemp op1 = newTemp(Ity_I32);
6130 assign(op1, get_gpr_w1(r1));
6132 assign(result, binop(Iop_MullS32, mkexpr(op1), unop(Iop_16Sto32, mkexpr(op2))
6142 IRTemp op1 = newTemp(Ity_I32);
6146 assign(op1, get_gpr_w1(r1));
6148 assign(result, binop(Iop_MullS32, mkexpr(op1), unop(Iop_16Sto32, mkexpr(op2))
6158 IRTemp op1 = newTemp(Ity_I32);
6162 assign(op1, get_gpr_w1(r1));
6164 assign(result, binop(Iop_MullS32, mkexpr(op1), unop(Iop_16Sto32,
6174 IRTemp op1 = newTemp(Ity_I64);
6178 assign(op1, get_gpr_dw0(r1));
6180 assign(result, binop(Iop_MullS64, mkexpr(op1), unop(Iop_16Sto64,
6190 IRTemp op1 = newTemp(Ity_I32);
6194 assign(op1, get_gpr_w1(r1 + 1));
6196 assign(result, binop(Iop_MullU32, mkexpr(op1), mkexpr(op2)));
6206 IRTemp op1 = newTemp(Ity_I64);
6210 assign(op1, get_gpr_dw0(r1 + 1));
6212 assign(result, binop(Iop_MullU64, mkexpr(op1), mkexpr(op2)));
6222 IRTemp op1 = newTemp(Ity_I32);
6226 assign(op1, get_gpr_w1(r1 + 1));
6228 assign(result, binop(Iop_MullU32, mkexpr(op1), mkexpr(op2)));
6238 IRTemp op1 = newTemp(Ity_I64);
6242 assign(op1, get_gpr_dw0(r1 + 1));
6244 assign(result, binop(Iop_MullU64, mkexpr(op1), mkexpr(op2)));
6254 IRTemp op1 = newTemp(Ity_I32);
6258 assign(op1, get_gpr_w1(r1));
6260 assign(result, binop(Iop_MullS32, mkexpr(op1), mkexpr(op2)));
6269 IRTemp op1 = newTemp(Ity_I64);
6273 assign(op1, get_gpr_dw0(r1));
6275 assign(result, binop(Iop_MullS64, mkexpr(op1), mkexpr(op2)));
6284 IRTemp op1 = newTemp(Ity_I64);
6288 assign(op1, get_gpr_dw0(r1));
6290 assign(result, binop(Iop_MullS64, mkexpr(op1), unop(Iop_32Sto64, mkexpr(op2))
6300 IRTemp op1 = newTemp(Ity_I32);
6304 assign(op1, get_gpr_w1(r1));
6306 assign(result, binop(Iop_MullS32, mkexpr(op1), mkexpr(op2)));
6315 IRTemp op1 = newTemp(Ity_I32);
6319 assign(op1, get_gpr_w1(r1));
6321 assign(result, binop(Iop_MullS32, mkexpr(op1), mkexpr(op2)));
6330 IRTemp op1 = newTemp(Ity_I64);
6334 assign(op1, get_gpr_dw0(r1));
6336 assign(result, binop(Iop_MullS64, mkexpr(op1), mkexpr(op2)));
6345 IRTemp op1 = newTemp(Ity_I64);
6349 assign(op1, get_gpr_dw0(r1));
6351 assign(result, binop(Iop_MullS64, mkexpr(op1), unop(Iop_32Sto64, mkexpr(op2))
6361 IRTemp op1 = newTemp(Ity_I32);
6365 assign(op1, get_gpr_w1(r1));
6367 assign(result, binop(Iop_MullS32, mkexpr(op1), mkU32((UInt)op2)));
6376 IRTemp op1 = newTemp(Ity_I64);
6380 assign(op1, get_gpr_dw0(r1));
6382 assign(result, binop(Iop_MullS64, mkexpr(op1), unop(Iop_32Sto64, mkU32((UInt)
6392 IRTemp op1 = newTemp(Ity_I32);
6396 assign(op1, get_gpr_w1(r1));
6398 assign(result, binop(Iop_Or32, mkexpr(op1), mkexpr(op2)));
6408 IRTemp op1 = newTemp(Ity_I64);
6412 assign(op1, get_gpr_dw0(r1));
6414 assign(result, binop(Iop_Or64, mkexpr(op1), mkexpr(op2)));
6456 IRTemp op1 = newTemp(Ity_I32);
6460 assign(op1, get_gpr_w1(r1));
6462 assign(result, binop(Iop_Or32, mkexpr(op1), mkexpr(op2)));
6472 IRTemp op1 = newTemp(Ity_I32);
6476 assign(op1, get_gpr_w1(r1));
6478 assign(result, binop(Iop_Or32, mkexpr(op1), mkexpr(op2)));
6488 IRTemp op1 = newTemp(Ity_I64);
6492 assign(op1, get_gpr_dw0(r1));
6494 assign(result, binop(Iop_Or64, mkexpr(op1), mkexpr(op2)));
6504 IRTemp op1 = newTemp(Ity_I8);
6508 assign(op1, load(Ity_I8, mkexpr(op1addr)));
6510 assign(result, binop(Iop_Or8, mkexpr(op1), mkU8(op2)));
6520 IRTemp op1 = newTemp(Ity_I8);
6524 assign(op1, load(Ity_I8, mkexpr(op1addr)));
6526 assign(result, binop(Iop_Or8, mkexpr(op1), mkU8(op2)));
6536 IRTemp op1 = newTemp(Ity_I32);
6540 assign(op1, get_gpr_w0(r1));
6542 assign(result, binop(Iop_Or32, mkexpr(op1), mkU32(op2)));
6552 IRTemp op1 = newTemp(Ity_I16);
6556 assign(op1, get_gpr_hw0(r1));
6558 assign(result, binop(Iop_Or16, mkexpr(op1), mkU16(op2)));
6568 IRTemp op1 = newTemp(Ity_I16);
6572 assign(op1, get_gpr_hw1(r1));
6574 assign(result, binop(Iop_Or16, mkexpr(op1), mkU16(op2)));
6584 IRTemp op1 = newTemp(Ity_I32);
6588 assign(op1, get_gpr_w1(r1));
6590 assign(result, binop(Iop_Or32, mkexpr(op1), mkU32(op2)));
6600 IRTemp op1 = newTemp(Ity_I16);
6604 assign(op1, get_gpr_hw2(r1));
6606 assign(result, binop(Iop_Or16, mkexpr(op1), mkU16(op2)));
6616 IRTemp op1 = newTemp(Ity_I16);
6620 assign(op1, get_gpr_hw3(r1));
6622 assign(result, binop(Iop_Or16, mkexpr(op1), mkU16(op2)));
7348 IRTemp op1 = newTemp(Ity_I32);
7352 assign(op1, get_gpr_w1(r1));
7354 assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)));
7355 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_32, op1, op2);
7364 IRTemp op1 = newTemp(Ity_I64);
7368 assign(op1, get_gpr_dw0(r1));
7370 assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)));
7371 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_64, op1, op2);
7380 IRTemp op1 = newTemp(Ity_I64);
7384 assign(op1, get_gpr_dw0(r1));
7386 assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)));
7387 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_64, op1, op2);
7428 IRTemp op1 = newTemp(Ity_I32);
7432 assign(op1, get_gpr_w1(r1));
7434 assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)));
7435 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_32, op1, op2);
7444 IRTemp op1 = newTemp(Ity_I32);
7448 assign(op1, get_gpr_w1(r1));
7450 assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)));
7451 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_32, op1, op2);
7460 IRTemp op1 = newTemp(Ity_I64);
7464 assign(op1, get_gpr_dw0(r1));
7466 assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)));
7467 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_64, op1, op2);
7476 IRTemp op1 = newTemp(Ity_I64);
7480 assign(op1, get_gpr_dw0(r1));
7482 assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)));
7483 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_64, op1, op2);
7492 IRTemp op1 = newTemp(Ity_I32);
7496 assign(op1, get_gpr_w1(r1));
7498 assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)));
7499 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_32, op1, op2);
7508 IRTemp op1 = newTemp(Ity_I32);
7512 assign(op1, get_gpr_w1(r1));
7514 assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)));
7515 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_32, op1, op2);
7556 IRTemp op1 = newTemp(Ity_I32);
7560 assign(op1, get_gpr_w1(r1));
7562 assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)));
7563 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_SUB_32, op1, op2);
7572 IRTemp op1 = newTemp(Ity_I64);
7576 assign(op1, get_gpr_dw0(r1));
7578 assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)));
7579 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_SUB_64, op1, op2);
7588 IRTemp op1 = newTemp(Ity_I64);
7592 assign(op1, get_gpr_dw0(r1));
7594 assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)));
7595 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_SUB_64, op1, op2);
7636 IRTemp op1 = newTemp(Ity_I32);
7640 assign(op1, get_gpr_w1(r1));
7642 assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)));
7643 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_SUB_32, op1, op2);
7652 IRTemp op1 = newTemp(Ity_I32);
7656 assign(op1, get_gpr_w1(r1));
7658 assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)));
7659 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_SUB_32, op1, op2);
7668 IRTemp op1 = newTemp(Ity_I64);
7672 assign(op1, get_gpr_dw0(r1));
7674 assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)));
7675 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_SUB_64, op1, op2);
7684 IRTemp op1 = newTemp(Ity_I64);
7688 assign(op1, get_gpr_dw0(r1));
7690 assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)));
7691 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_SUB_64, op1, op2);
7700 IRTemp op1 = newTemp(Ity_I32);
7704 assign(op1, get_gpr_w1(r1));
7706 assign(result, binop(Iop_Sub32, mkexpr(op1), mkU32(op2)));
7707 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_SUB_32, op1, mktemp(Ity_I32,
7717 IRTemp op1 = newTemp(Ity_I64);
7721 assign(op1, get_gpr_dw0(r1));
7723 assign(result, binop(Iop_Sub64, mkexpr(op1), mkU64(op2)));
7724 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_SUB_64, op1, mktemp(Ity_I64,
7766 IRTemp op1 = newTemp(Ity_I32);
7771 assign(op1, get_gpr_w1(r1));
7775 assign(result, binop(Iop_Sub32, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)),
7777 s390_cc_thunk_putZZZ(S390_CC_OP_UNSIGNED_SUBB_32, op1, op2, borrow_in);
7786 IRTemp op1 = newTemp(Ity_I64);
7791 assign(op1, get_gpr_dw0(r1));
7795 assign(result, binop(Iop_Sub64, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)),
7797 s390_cc_thunk_putZZZ(S390_CC_OP_UNSIGNED_SUBB_64, op1, op2, borrow_in);
7806 IRTemp op1 = newTemp(Ity_I32);
7811 assign(op1, get_gpr_w1(r1));
7815 assign(result, binop(Iop_Sub32, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)),
7817 s390_cc_thunk_putZZZ(S390_CC_OP_UNSIGNED_SUBB_32, op1, op2, borrow_in);
7826 IRTemp op1 = newTemp(Ity_I64);
7831 assign(op1, get_gpr_dw0(r1));
7835 assign(result, binop(Iop_Sub64, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)),
7837 s390_cc_thunk_putZZZ(S390_CC_OP_UNSIGNED_SUBB_64, op1, op2, borrow_in);
8116 IRTemp op1 = newTemp(Ity_F32);
8120 assign(op1, get_fpr_w0(r1));
8122 assign(result, triop(Iop_AddF32, mkU32(Irrm_NEAREST), mkexpr(op1),
8133 IRTemp op1 = newTemp(Ity_F64);
8137 assign(op1, get_fpr_dw0(r1));
8139 assign(result, triop(Iop_AddF64, mkU32(Irrm_NEAREST), mkexpr(op1),
8150 IRTemp op1 = newTemp(Ity_F32);
8154 assign(op1, get_fpr_w0(r1));
8156 assign(result, triop(Iop_AddF32, mkU32(Irrm_NEAREST), mkexpr(op1),
8167 IRTemp op1 = newTemp(Ity_F64);
8171 assign(op1, get_fpr_dw0(r1));
8173 assign(result, triop(Iop_AddF64, mkU32(Irrm_NEAREST), mkexpr(op1),
8288 IRTemp op1 = newTemp(Ity_F32);
8292 assign(op1, get_fpr_w0(r1));
8294 assign(result, triop(Iop_DivF32, mkU32(Irrm_NEAREST), mkexpr(op1),
8304 IRTemp op1 = newTemp(Ity_F64);
8308 assign(op1, get_fpr_dw0(r1));
8310 assign(result, triop(Iop_DivF64, mkU32(Irrm_NEAREST), mkexpr(op1),
8320 IRTemp op1 = newTemp(Ity_F32);
8324 assign(op1, get_fpr_w0(r1));
8326 assign(result, triop(Iop_DivF32, mkU32(Irrm_NEAREST), mkexpr(op1),
8336 IRTemp op1 = newTemp(Ity_F64);
8340 assign(op1, get_fpr_dw0(r1));
8342 assign(result, triop(Iop_DivF64, mkU32(Irrm_NEAREST), mkexpr(op1),
8433 IRTemp op1 = newTemp(Ity_F32);
8437 assign(op1, get_fpr_w0(r1));
8439 assign(result, triop(Iop_MulF32, mkU32(Irrm_NEAREST), mkexpr(op1),
8449 IRTemp op1 = newTemp(Ity_F64);
8453 assign(op1, get_fpr_dw0(r1));
8455 assign(result, triop(Iop_MulF64, mkU32(Irrm_NEAREST), mkexpr(op1),
8465 IRTemp op1 = newTemp(Ity_F32);
8469 assign(op1, get_fpr_w0(r1));
8471 assign(result, triop(Iop_MulF32, mkU32(Irrm_NEAREST), mkexpr(op1),
8481 IRTemp op1 = newTemp(Ity_F64);
8485 assign(op1, get_fpr_dw0(r1));
8487 assign(result, triop(Iop_MulF64, mkU32(Irrm_NEAREST), mkexpr(op1),
8497 IRTemp op1 = newTemp(Ity_F32);
8501 assign(op1, get_fpr_w0(r1));
8503 assign(result, triop(Iop_SubF32, mkU32(Irrm_NEAREST), mkexpr(op1),
8514 IRTemp op1 = newTemp(Ity_F64);
8518 assign(op1, get_fpr_dw0(r1));
8520 assign(result, triop(Iop_SubF64, mkU32(Irrm_NEAREST), mkexpr(op1),
8531 IRTemp op1 = newTemp(Ity_F32);
8535 assign(op1, get_fpr_w0(r1));
8537 assign(result, triop(Iop_SubF32, mkU32(Irrm_NEAREST), mkexpr(op1),
8548 IRTemp op1 = newTemp(Ity_F64);
8552 assign(op1, get_fpr_dw0(r1));
8554 assign(result, triop(Iop_SubF64, mkU32(Irrm_NEAREST), mkexpr(op1),
9576 IRTemp op1 = newTemp(Ity_I64);
9579 assign(op1, binop(Iop_32HLto64,
9582 assign(result, binop(op, mkexpr(op1), mkexpr(op2)));
9590 IRTemp op1 = newTemp(Ity_I128);
9593 assign(op1, binop(Iop_64HLto128,
9596 assign(result, binop(op, mkexpr(op1), mkexpr(op2)));
9604 IRTemp op1 = newTemp(Ity_I64);
9607 assign(op1, get_gpr_dw0(r1 + 1));
9608 assign(result, binop(op, mkexpr(op1), mkexpr(op2)));
9809 IRTemp op1 = newTemp(Ity_I32);
9815 assign(op1, get_gpr_w1(r1));
9822 NULL, mkexpr(op1), /* expected value */
9827 assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(old_mem)));
9830 /* If operands were equal (cc == 0) just store the old value op1 in r1.
9833 put_gpr_w1(r1, mkite(mkexpr(nequal), mkexpr(old_mem), mkexpr(op1)));
9858 IRTemp op1 = newTemp(Ity_I64);
9864 assign(op1, get_gpr_dw0(r1));
9871 NULL, mkexpr(op1), /* expected value */
9876 assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(old_mem)));
9879 /* If operands were equal (cc == 0) just store the old value op1 in r1.
9882 put_gpr_dw0(r1, mkite(mkexpr(nequal), mkexpr(old_mem), mkexpr(op1)));
9895 IRTemp op1 = newTemp(Ity_F128);
9899 assign(op1, get_fpr_pair(r1));
9901 assign(result, triop(Iop_AddF128, mkU32(Irrm_NEAREST), mkexpr(op1),
9958 IRTemp op1 = newTemp(Ity_F32);
9963 assign(op1, get_fpr_w0(r1));
9965 assign(cc_vex, binop(Iop_CmpF32, mkexpr(op1), mkexpr(op2)));
9976 IRTemp op1 = newTemp(Ity_F64);
9981 assign(op1, get_fpr_dw0(r1));
9983 assign(cc_vex, binop(Iop_CmpF64, mkexpr(op1), mkexpr(op2)));
9994 IRTemp op1 = newTemp(Ity_F128);
9999 assign(op1, get_fpr_pair(r1));
10001 assign(cc_vex, binop(Iop_CmpF128, mkexpr(op1), mkexpr(op2)));
10012 IRTemp op1 = newTemp(Ity_F32);
10017 assign(op1, get_fpr_w0(r1));
10019 assign(cc_vex, binop(Iop_CmpF32, mkexpr(op1), mkexpr(op2)));
10030 IRTemp op1 = newTemp(Ity_F64);
10035 assign(op1, get_fpr_dw0(r1));
10037 assign(cc_vex, binop(Iop_CmpF64, mkexpr(op1), mkexpr(op2)));
10100 IRTemp op1 = newTemp(Ity_F128);
10104 assign(op1, get_fpr_pair(r1));
10106 assign(result, triop(Iop_DivF128, mkU32(Irrm_NEAREST), mkexpr(op1),
10278 IRTemp op1 = newTemp(Ity_F128);
10282 assign(op1, get_fpr_pair(r1));
10284 assign(result, triop(Iop_MulF128, mkU32(Irrm_NEAREST), mkexpr(op1),
10429 IRTemp op1 = newTemp(Ity_F128);
10433 assign(op1, get_fpr_pair(r1));
10435 assign(result, triop(Iop_SubF128, mkU32(Irrm_NEAREST), mkexpr(op1),
11037 unsigned int op1 : 8;
11936 unsigned int op1 : 8;
11944 unsigned int op1 : 8;
11953 unsigned int op1 : 8;
11962 unsigned int op1 : 8;
11971 unsigned int op1 : 8;
11979 unsigned int op1 : 8;
11985 unsigned int op1 : 8;
11994 unsigned int op1 : 8;
12004 unsigned int op1 : 8;
12013 unsigned int op1 : 8;
12022 unsigned int op1 : 8;
12031 unsigned int op1 : 8;
12041 unsigned int op1 : 8;
12050 unsigned int op1 : 8;
12091 unsigned int op1 : 8;