129 assign(IRTemp dst, IRExpr *expr)  in assign()  function
147    assign(temp, expr);  in mktemp()
1539    assign(fpc_bits, binop(Iop_And32, get_fpc_w0(), mkU32(7)));  in get_bfp_rounding_mode_from_fpc()
1609    assign(fpc_bits, binop(Iop_Shr32,  in get_dfp_rounding_mode_from_fpc()
1696    assign(b0, binop(Iop_And32, mkexpr(vex_cc), mkU32(1)));  in convert_vex_bfpcc_to_s390()
1697    assign(b2, binop(Iop_And32, binop(Iop_Shr32, mkexpr(vex_cc), mkU8(2)),  in convert_vex_bfpcc_to_s390()
1699    assign(b6, binop(Iop_And32, binop(Iop_Shr32, mkexpr(vex_cc), mkU8(6)),  in convert_vex_bfpcc_to_s390()
1702    assign(cc0, mkexpr(b0));  in convert_vex_bfpcc_to_s390()
1703    assign(cc1, binop(Iop_Or32, mkexpr(b2),  in convert_vex_bfpcc_to_s390()
1909    assign(op4addr, binop(Iop_Add64, mkU64(d4), b4 != 0 ? get_gpr_dw0(b4) :  in s390_format_RIS_RURDI()
1927    assign(op4addr, binop(Iop_Add64, mkU64(d4), b4 != 0 ? get_gpr_dw0(b4) :  in s390_format_RIS_RURDU()
2173    assign(op4addr, binop(Iop_Add64, mkU64(d4), b4 != 0 ? get_gpr_dw0(b4) :  in s390_format_RRS()
2190    assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :  in s390_format_RS_R0RD()
2206    assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :  in s390_format_RS_RRRD()
2222    assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :  in s390_format_RS_RURD()
2238    assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :  in s390_format_RS_AARD()
2265    assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2)));  in s390_format_RSY_RRRD()
2266    assign(op2addr, binop(Iop_Add64, mkexpr(d2), b2 != 0 ? get_gpr_dw0(b2) :  in s390_format_RSY_RRRD()
2283    assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2)));  in s390_format_RSY_AARD()
2284    assign(op2addr, binop(Iop_Add64, mkexpr(d2), b2 != 0 ? get_gpr_dw0(b2) :  in s390_format_RSY_AARD()
2301    assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2)));  in s390_format_RSY_RURD()
2302    assign(op2addr, binop(Iop_Add64, mkexpr(d2), b2 != 0 ? get_gpr_dw0(b2) :  in s390_format_RSY_RURD()
2321    assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2)));  in s390_format_RSY_RDRM()
2322    assign(op2addr, binop(Iop_Add64, mkexpr(d2), b2 != 0 ? get_gpr_dw0(b2) :  in s390_format_RSY_RDRM()
2340    assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2),  in s390_format_RX()
2354    assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2),  in s390_format_RX_RRRD()
2371    assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2),  in s390_format_RX_FRRD()
2388    assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2),  in s390_format_RXE_FRRD()
2405    assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2),  in s390_format_RXF_FRRDF()
2423    assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2)));  in s390_format_RXY_RRRD()
2424    assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkexpr(d2),  in s390_format_RXY_RRRD()
2442    assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2)));  in s390_format_RXY_FRRD()
2443    assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkexpr(d2),  in s390_format_RXY_FRRD()
2461    assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2)));  in s390_format_RXY_URRD()
2462    assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkexpr(d2),  in s390_format_RXY_URRD()
2479    assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :  in s390_format_S_RD()
2495    assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) :  in s390_format_SI_URD()
2512    assign(d1, mkU64(((ULong)(Long)(Char)dh1 << 12) | ((ULong)dl1)));  in s390_format_SIY_URD()
2513    assign(op1addr, binop(Iop_Add64, mkexpr(d1), b1 != 0 ? get_gpr_dw0(b1) :  in s390_format_SIY_URD()
2530    assign(d1, mkU64(((ULong)(Long)(Char)dh1 << 12) | ((ULong)dl1)));  in s390_format_SIY_IRD()
2531    assign(op1addr, binop(Iop_Add64, mkexpr(d1), b1 != 0 ? get_gpr_dw0(b1) :  in s390_format_SIY_IRD()
2548    assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) :  in s390_format_SS_L0RDRD()
2550    assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :  in s390_format_SS_L0RDRD()
2566    assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) :  in s390_format_SIL_RDI()
2582    assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) :  in s390_format_SIL_RDU()
2604    assign(op1, get_gpr_w1(r1));  in s390_irgen_AR()
2605    assign(op2, get_gpr_w1(r2));  in s390_irgen_AR()
2606    assign(result, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_AR()
2620    assign(op1, get_gpr_dw0(r1));  in s390_irgen_AGR()
2621    assign(op2, get_gpr_dw0(r2));  in s390_irgen_AGR()
2622    assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_AGR()
2636    assign(op1, get_gpr_dw0(r1));  in s390_irgen_AGFR()
2637    assign(op2, unop(Iop_32Sto64, get_gpr_w1(r2)));  in s390_irgen_AGFR()
2638    assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_AGFR()
2652    assign(op2, get_gpr_w1(r2));  in s390_irgen_ARK()
2653    assign(op3, get_gpr_w1(r3));  in s390_irgen_ARK()
2654    assign(result, binop(Iop_Add32, mkexpr(op2), mkexpr(op3)));  in s390_irgen_ARK()
2668    assign(op2, get_gpr_dw0(r2));  in s390_irgen_AGRK()
2669    assign(op3, get_gpr_dw0(r3));  in s390_irgen_AGRK()
2670    assign(result, binop(Iop_Add64, mkexpr(op2), mkexpr(op3)));  in s390_irgen_AGRK()
2684    assign(op1, get_gpr_w1(r1));  in s390_irgen_A()
2685    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_A()
2686    assign(result, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_A()
2700    assign(op1, get_gpr_w1(r1));  in s390_irgen_AY()
2701    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_AY()
2702    assign(result, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_AY()
2716    assign(op1, get_gpr_dw0(r1));  in s390_irgen_AG()
2717    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_AG()
2718    assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_AG()
2732    assign(op1, get_gpr_dw0(r1));  in s390_irgen_AGF()
2733    assign(op2, unop(Iop_32Sto64, load(Ity_I32, mkexpr(op2addr))));  in s390_irgen_AGF()
2734    assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_AGF()
2748    assign(op1, get_gpr_w1(r1));  in s390_irgen_AFI()
2750    assign(result, binop(Iop_Add32, mkexpr(op1), mkU32((UInt)op2)));  in s390_irgen_AFI()
2765    assign(op1, get_gpr_dw0(r1));  in s390_irgen_AGFI()
2767    assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2)));  in s390_irgen_AGFI()
2783    assign(op3, get_gpr_w1(r3));  in s390_irgen_AHIK()
2784    assign(result, binop(Iop_Add32, mkU32((UInt)op2), mkexpr(op3)));  in s390_irgen_AHIK()
2800    assign(op3, get_gpr_dw0(r3));  in s390_irgen_AGHIK()
2801    assign(result, binop(Iop_Add64, mkU64((ULong)op2), mkexpr(op3)));  in s390_irgen_AGHIK()
2816    assign(op1, load(Ity_I32, mkexpr(op1addr)));  in s390_irgen_ASI()
2818    assign(result, binop(Iop_Add32, mkexpr(op1), mkU32((UInt)op2)));  in s390_irgen_ASI()
2833    assign(op1, load(Ity_I64, mkexpr(op1addr)));  in s390_irgen_AGSI()
2835    assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2)));  in s390_irgen_AGSI()
2850    assign(op1, get_gpr_w1(r1));  in s390_irgen_AH()
2851    assign(op2, unop(Iop_16Sto32, load(Ity_I16, mkexpr(op2addr))));  in s390_irgen_AH()
2852    assign(result, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_AH()
2866    assign(op1, get_gpr_w1(r1));  in s390_irgen_AHY()
2867    assign(op2, unop(Iop_16Sto32, load(Ity_I16, mkexpr(op2addr))));  in s390_irgen_AHY()
2868    assign(result, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_AHY()
2882    assign(op1, get_gpr_w1(r1));  in s390_irgen_AHI()
2884    assign(result, binop(Iop_Add32, mkexpr(op1), mkU32((UInt)op2)));  in s390_irgen_AHI()
2899    assign(op1, get_gpr_dw0(r1));  in s390_irgen_AGHI()
2901    assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2)));  in s390_irgen_AGHI()
2916    assign(op2, get_gpr_w0(r2));  in s390_irgen_AHHHR()
2917    assign(op3, get_gpr_w0(r3));  in s390_irgen_AHHHR()
2918    assign(result, binop(Iop_Add32, mkexpr(op2), mkexpr(op3)));  in s390_irgen_AHHHR()
2932    assign(op2, get_gpr_w0(r2));  in s390_irgen_AHHLR()
2933    assign(op3, get_gpr_w1(r3));  in s390_irgen_AHHLR()
2934    assign(result, binop(Iop_Add32, mkexpr(op2), mkexpr(op3)));  in s390_irgen_AHHLR()
2948    assign(op1, get_gpr_w0(r1));  in s390_irgen_AIH()
2950    assign(result, binop(Iop_Add32, mkexpr(op1), mkU32((UInt)op2)));  in s390_irgen_AIH()
2965    assign(op1, get_gpr_w1(r1));  in s390_irgen_ALR()
2966    assign(op2, get_gpr_w1(r2));  in s390_irgen_ALR()
2967    assign(result, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_ALR()
2981    assign(op1, get_gpr_dw0(r1));  in s390_irgen_ALGR()
2982    assign(op2, get_gpr_dw0(r2));  in s390_irgen_ALGR()
2983    assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_ALGR()
2997    assign(op1, get_gpr_dw0(r1));  in s390_irgen_ALGFR()
2998    assign(op2, unop(Iop_32Uto64, get_gpr_w1(r2)));  in s390_irgen_ALGFR()
2999    assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_ALGFR()
3013    assign(op2, get_gpr_w1(r2));  in s390_irgen_ALRK()
3014    assign(op3, get_gpr_w1(r3));  in s390_irgen_ALRK()
3015    assign(result, binop(Iop_Add32, mkexpr(op2), mkexpr(op3)));  in s390_irgen_ALRK()
3029    assign(op2, get_gpr_dw0(r2));  in s390_irgen_ALGRK()
3030    assign(op3, get_gpr_dw0(r3));  in s390_irgen_ALGRK()
3031    assign(result, binop(Iop_Add64, mkexpr(op2), mkexpr(op3)));  in s390_irgen_ALGRK()
3045    assign(op1, get_gpr_w1(r1));  in s390_irgen_AL()
3046    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_AL()
3047    assign(result, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_AL()
3061    assign(op1, get_gpr_w1(r1));  in s390_irgen_ALY()
3062    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_ALY()
3063    assign(result, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_ALY()
3077    assign(op1, get_gpr_dw0(r1));  in s390_irgen_ALG()
3078    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_ALG()
3079    assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_ALG()
3093    assign(op1, get_gpr_dw0(r1));  in s390_irgen_ALGF()
3094    assign(op2, unop(Iop_32Uto64, load(Ity_I32, mkexpr(op2addr))));  in s390_irgen_ALGF()
3095    assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_ALGF()
3109    assign(op1, get_gpr_w1(r1));  in s390_irgen_ALFI()
3111    assign(result, binop(Iop_Add32, mkexpr(op1), mkU32(op2)));  in s390_irgen_ALFI()
3126    assign(op1, get_gpr_dw0(r1));  in s390_irgen_ALGFI()
3128    assign(result, binop(Iop_Add64, mkexpr(op1), mkU64(op2)));  in s390_irgen_ALGFI()
3143    assign(op2, get_gpr_w0(r2));  in s390_irgen_ALHHHR()
3144    assign(op3, get_gpr_w0(r3));  in s390_irgen_ALHHHR()
3145    assign(result, binop(Iop_Add32, mkexpr(op2), mkexpr(op3)));  in s390_irgen_ALHHHR()
3159    assign(op2, get_gpr_w0(r2));  in s390_irgen_ALHHLR()
3160    assign(op3, get_gpr_w1(r3));  in s390_irgen_ALHHLR()
3161    assign(result, binop(Iop_Add32, mkexpr(op2), mkexpr(op3)));  in s390_irgen_ALHHLR()
3176    assign(op1, get_gpr_w1(r1));  in s390_irgen_ALCR()
3177    assign(op2, get_gpr_w1(r2));  in s390_irgen_ALCR()
3178    assign(carry_in, binop(Iop_Shr32, s390_call_calculate_cc(), mkU8(1)));  in s390_irgen_ALCR()
3179    assign(result, binop(Iop_Add32, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)),  in s390_irgen_ALCR()
3195    assign(op1, get_gpr_dw0(r1));  in s390_irgen_ALCGR()
3196    assign(op2, get_gpr_dw0(r2));  in s390_irgen_ALCGR()
3197    assign(carry_in, unop(Iop_32Uto64, binop(Iop_Shr32, s390_call_calculate_cc(),  in s390_irgen_ALCGR()
3199    assign(result, binop(Iop_Add64, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)),  in s390_irgen_ALCGR()
3215    assign(op1, get_gpr_w1(r1));  in s390_irgen_ALC()
3216    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_ALC()
3217    assign(carry_in, binop(Iop_Shr32, s390_call_calculate_cc(), mkU8(1)));  in s390_irgen_ALC()
3218    assign(result, binop(Iop_Add32, binop(Iop_Add32, mkexpr(op1), mkexpr(op2)),  in s390_irgen_ALC()
3234    assign(op1, get_gpr_dw0(r1));  in s390_irgen_ALCG()
3235    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_ALCG()
3236    assign(carry_in, unop(Iop_32Uto64, binop(Iop_Shr32, s390_call_calculate_cc(),  in s390_irgen_ALCG()
3238    assign(result, binop(Iop_Add64, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)),  in s390_irgen_ALCG()
3253    assign(op1, load(Ity_I32, mkexpr(op1addr)));  in s390_irgen_ALSI()
3255    assign(result, binop(Iop_Add32, mkexpr(op1), mkU32(op2)));  in s390_irgen_ALSI()
3270    assign(op1, load(Ity_I64, mkexpr(op1addr)));  in s390_irgen_ALGSI()
3272    assign(result, binop(Iop_Add64, mkexpr(op1), mkU64(op2)));  in s390_irgen_ALGSI()
3288    assign(op3, get_gpr_w1(r3));  in s390_irgen_ALHSIK()
3289    assign(result, binop(Iop_Add32, mkU32(op2), mkexpr(op3)));  in s390_irgen_ALHSIK()
3305    assign(op3, get_gpr_dw0(r3));  in s390_irgen_ALGHSIK()
3306    assign(result, binop(Iop_Add64, mkU64(op2), mkexpr(op3)));  in s390_irgen_ALGHSIK()
3321    assign(op1, get_gpr_w0(r1));  in s390_irgen_ALSIH()
3323    assign(result, binop(Iop_Add32, mkexpr(op1), mkU32(op2)));  in s390_irgen_ALSIH()
3338    assign(op1, get_gpr_w0(r1));  in s390_irgen_ALSIHN()
3340    assign(result, binop(Iop_Add32, mkexpr(op1), mkU32(op2)));  in s390_irgen_ALSIHN()
3353    assign(op1, get_gpr_w1(r1));  in s390_irgen_NR()
3354    assign(op2, get_gpr_w1(r2));  in s390_irgen_NR()
3355    assign(result, binop(Iop_And32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_NR()
3369    assign(op1, get_gpr_dw0(r1));  in s390_irgen_NGR()
3370    assign(op2, get_gpr_dw0(r2));  in s390_irgen_NGR()
3371    assign(result, binop(Iop_And64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_NGR()
3385    assign(op2, get_gpr_w1(r2));  in s390_irgen_NRK()
3386    assign(op3, get_gpr_w1(r3));  in s390_irgen_NRK()
3387    assign(result, binop(Iop_And32, mkexpr(op2), mkexpr(op3)));  in s390_irgen_NRK()
3401    assign(op2, get_gpr_dw0(r2));  in s390_irgen_NGRK()
3402    assign(op3, get_gpr_dw0(r3));  in s390_irgen_NGRK()
3403    assign(result, binop(Iop_And64, mkexpr(op2), mkexpr(op3)));  in s390_irgen_NGRK()
3417    assign(op1, get_gpr_w1(r1));  in s390_irgen_N()
3418    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_N()
3419    assign(result, binop(Iop_And32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_N()
3433    assign(op1, get_gpr_w1(r1));  in s390_irgen_NY()
3434    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_NY()
3435    assign(result, binop(Iop_And32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_NY()
3449    assign(op1, get_gpr_dw0(r1));  in s390_irgen_NG()
3450    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_NG()
3451    assign(result, binop(Iop_And64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_NG()
3465    assign(op1, load(Ity_I8, mkexpr(op1addr)));  in s390_irgen_NI()
3467    assign(result, binop(Iop_And8, mkexpr(op1), mkU8(op2)));  in s390_irgen_NI()
3481    assign(op1, load(Ity_I8, mkexpr(op1addr)));  in s390_irgen_NIY()
3483    assign(result, binop(Iop_And8, mkexpr(op1), mkU8(op2)));  in s390_irgen_NIY()
3497    assign(op1, get_gpr_w0(r1));  in s390_irgen_NIHF()
3499    assign(result, binop(Iop_And32, mkexpr(op1), mkU32(op2)));  in s390_irgen_NIHF()
3513    assign(op1, get_gpr_hw0(r1));  in s390_irgen_NIHH()
3515    assign(result, binop(Iop_And16, mkexpr(op1), mkU16(op2)));  in s390_irgen_NIHH()
3529    assign(op1, get_gpr_hw1(r1));  in s390_irgen_NIHL()
3531    assign(result, binop(Iop_And16, mkexpr(op1), mkU16(op2)));  in s390_irgen_NIHL()
3545    assign(op1, get_gpr_w1(r1));  in s390_irgen_NILF()
3547    assign(result, binop(Iop_And32, mkexpr(op1), mkU32(op2)));  in s390_irgen_NILF()
3561    assign(op1, get_gpr_hw2(r1));  in s390_irgen_NILH()
3563    assign(result, binop(Iop_And16, mkexpr(op1), mkU16(op2)));  in s390_irgen_NILH()
3577    assign(op1, get_gpr_hw3(r1));  in s390_irgen_NILL()
3579    assign(result, binop(Iop_And16, mkexpr(op1), mkU16(op2)));  in s390_irgen_NILL()
3598          assign(target, get_gpr_dw0(r2));  in s390_irgen_BASR()
3613    assign(target, mkexpr(op2addr));  in s390_irgen_BAS()
3633          assign(cond, s390_call_calculate_cond(r1));  in s390_irgen_BCR()
3654          assign(cond, s390_call_calculate_cond(r1));  in s390_irgen_BC()
3714    assign(value, get_gpr_w1(r3 | 1));  in s390_irgen_BXH()
3727    assign(value, get_gpr_dw0(r3 | 1));  in s390_irgen_BXHG()
3740    assign(value, get_gpr_w1(r3 | 1));  in s390_irgen_BXLE()
3753    assign(value, get_gpr_dw0(r3 | 1));  in s390_irgen_BXLEG()
3790          assign(cond, s390_call_calculate_cond(r1));  in s390_irgen_BRC()
3812          assign(cond, s390_call_calculate_cond(r1));  in s390_irgen_BRCL()
3848    assign(value, get_gpr_w1(r3 | 1));  in s390_irgen_BRXH()
3861    assign(value, get_gpr_dw0(r3 | 1));  in s390_irgen_BRXHG()
3874    assign(value, get_gpr_w1(r3 | 1));  in s390_irgen_BRXLE()
3887    assign(value, get_gpr_dw0(r3 | 1));  in s390_irgen_BRXLG()
3901    assign(op1, get_gpr_w1(r1));  in s390_irgen_CR()
3902    assign(op2, get_gpr_w1(r2));  in s390_irgen_CR()
3914    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CGR()
3915    assign(op2, get_gpr_dw0(r2));  in s390_irgen_CGR()
3927    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CGFR()
3928    assign(op2, unop(Iop_32Sto64, get_gpr_w1(r2)));  in s390_irgen_CGFR()
3940    assign(op1, get_gpr_w1(r1));  in s390_irgen_C()
3941    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_C()
3953    assign(op1, get_gpr_w1(r1));  in s390_irgen_CY()
3954    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_CY()
3966    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CG()
3967    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_CG()
3979    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CGF()
3980    assign(op2, unop(Iop_32Sto64, load(Ity_I32, mkexpr(op2addr))));  in s390_irgen_CGF()
3992    assign(op1, get_gpr_w1(r1));  in s390_irgen_CFI()
4006    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CGFI()
4020    assign(op1, get_gpr_w1(r1));  in s390_irgen_CRL()
4021    assign(op2, load(Ity_I32, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)  in s390_irgen_CRL()
4034    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CGRL()
4035    assign(op2, load(Ity_I64, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)  in s390_irgen_CGRL()
4048    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CGFRL()
4049    assign(op2, unop(Iop_32Sto64, load(Ity_I32, mkU64(guest_IA_curr_instr +  in s390_irgen_CGFRL()
4068          assign(op1, get_gpr_w1(r1));  in s390_irgen_CRB()
4069          assign(op2, get_gpr_w1(r2));  in s390_irgen_CRB()
4070          assign(cond, s390_call_calculate_icc(m3, S390_CC_OP_SIGNED_COMPARE,  in s390_irgen_CRB()
4092          assign(op1, get_gpr_dw0(r1));  in s390_irgen_CGRB()
4093          assign(op2, get_gpr_dw0(r2));  in s390_irgen_CGRB()
4094          assign(cond, s390_call_calculate_icc(m3, S390_CC_OP_SIGNED_COMPARE,  in s390_irgen_CGRB()
4117          assign(op1, get_gpr_w1(r1));  in s390_irgen_CRJ()
4118          assign(op2, get_gpr_w1(r2));  in s390_irgen_CRJ()
4119          assign(cond, s390_call_calculate_icc(m3, S390_CC_OP_SIGNED_COMPARE,  in s390_irgen_CRJ()
4143          assign(op1, get_gpr_dw0(r1));  in s390_irgen_CGRJ()
4144          assign(op2, get_gpr_dw0(r2));  in s390_irgen_CGRJ()
4145          assign(cond, s390_call_calculate_icc(m3, S390_CC_OP_SIGNED_COMPARE,  in s390_irgen_CGRJ()
4168          assign(op1, get_gpr_w1(r1));  in s390_irgen_CIB()
4170          assign(cond, s390_call_calculate_icc(m3, S390_CC_OP_SIGNED_COMPARE, op1,  in s390_irgen_CIB()
4192          assign(op1, get_gpr_dw0(r1));  in s390_irgen_CGIB()
4194          assign(cond, s390_call_calculate_icc(m3, S390_CC_OP_SIGNED_COMPARE, op1,  in s390_irgen_CGIB()
4216          assign(op1, get_gpr_w1(r1));  in s390_irgen_CIJ()
4218          assign(cond, s390_call_calculate_icc(m3, S390_CC_OP_SIGNED_COMPARE, op1,  in s390_irgen_CIJ()
4241          assign(op1, get_gpr_dw0(r1));  in s390_irgen_CGIJ()
4243          assign(cond, s390_call_calculate_icc(m3, S390_CC_OP_SIGNED_COMPARE, op1,  in s390_irgen_CGIJ()
4260    assign(op1, get_gpr_w1(r1));  in s390_irgen_CH()
4261    assign(op2, unop(Iop_16Sto32, load(Ity_I16, mkexpr(op2addr))));  in s390_irgen_CH()
4273    assign(op1, get_gpr_w1(r1));  in s390_irgen_CHY()
4274    assign(op2, unop(Iop_16Sto32, load(Ity_I16, mkexpr(op2addr))));  in s390_irgen_CHY()
4286    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CGH()
4287    assign(op2, unop(Iop_16Sto64, load(Ity_I16, mkexpr(op2addr))));  in s390_irgen_CGH()
4299    assign(op1, get_gpr_w1(r1));  in s390_irgen_CHI()
4313    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CGHI()
4327    assign(op1, load(Ity_I16, mkexpr(op1addr)));  in s390_irgen_CHHSI()
4341    assign(op1, load(Ity_I32, mkexpr(op1addr)));  in s390_irgen_CHSI()
4355    assign(op1, load(Ity_I64, mkexpr(op1addr)));  in s390_irgen_CGHSI()
4369    assign(op1, get_gpr_w1(r1));  in s390_irgen_CHRL()
4370    assign(op2, unop(Iop_16Sto32, load(Ity_I16, mkU64(guest_IA_curr_instr +  in s390_irgen_CHRL()
4383    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CGHRL()
4384    assign(op2, unop(Iop_16Sto64, load(Ity_I16, mkU64(guest_IA_curr_instr +  in s390_irgen_CGHRL()
4397    assign(op1, get_gpr_w0(r1));  in s390_irgen_CHHR()
4398    assign(op2, get_gpr_w0(r2));  in s390_irgen_CHHR()
4410    assign(op1, get_gpr_w0(r1));  in s390_irgen_CHLR()
4411    assign(op2, get_gpr_w1(r2));  in s390_irgen_CHLR()
4423    assign(op1, get_gpr_w0(r1));  in s390_irgen_CHF()
4424    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_CHF()
4436    assign(op1, get_gpr_w0(r1));  in s390_irgen_CIH()
4450    assign(op1, get_gpr_w1(r1));  in s390_irgen_CLR()
4451    assign(op2, get_gpr_w1(r2));  in s390_irgen_CLR()
4463    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CLGR()
4464    assign(op2, get_gpr_dw0(r2));  in s390_irgen_CLGR()
4476    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CLGFR()
4477    assign(op2, unop(Iop_32Uto64, get_gpr_w1(r2)));  in s390_irgen_CLGFR()
4489    assign(op1, get_gpr_w1(r1));  in s390_irgen_CL()
4490    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_CL()
4502    assign(op1, get_gpr_w1(r1));  in s390_irgen_CLY()
4503    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_CLY()
4515    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CLG()
4516    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_CLG()
4528    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CLGF()
4529    assign(op2, unop(Iop_32Uto64, load(Ity_I32, mkexpr(op2addr))));  in s390_irgen_CLGF()
4541    assign(op1, get_gpr_w1(r1));  in s390_irgen_CLFI()
4555    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CLGFI()
4569    assign(op1, load(Ity_I8, mkexpr(op1addr)));  in s390_irgen_CLI()
4583    assign(op1, load(Ity_I8, mkexpr(op1addr)));  in s390_irgen_CLIY()
4597    assign(op1, load(Ity_I32, mkexpr(op1addr)));  in s390_irgen_CLFHSI()
4611    assign(op1, load(Ity_I64, mkexpr(op1addr)));  in s390_irgen_CLGHSI()
4625    assign(op1, load(Ity_I16, mkexpr(op1addr)));  in s390_irgen_CLHHSI()
4639    assign(op1, get_gpr_w1(r1));  in s390_irgen_CLRL()
4640    assign(op2, load(Ity_I32, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)  in s390_irgen_CLRL()
4653    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CLGRL()
4654    assign(op2, load(Ity_I64, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)  in s390_irgen_CLGRL()
4667    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CLGFRL()
4668    assign(op2, unop(Iop_32Uto64, load(Ity_I32, mkU64(guest_IA_curr_instr +  in s390_irgen_CLGFRL()
4681    assign(op1, get_gpr_w1(r1));  in s390_irgen_CLHRL()
4682    assign(op2, unop(Iop_16Uto32, load(Ity_I16, mkU64(guest_IA_curr_instr +  in s390_irgen_CLHRL()
4695    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CLGHRL()
4696    assign(op2, unop(Iop_16Uto64, load(Ity_I16, mkU64(guest_IA_curr_instr +  in s390_irgen_CLGHRL()
4715          assign(op1, get_gpr_w1(r1));  in s390_irgen_CLRB()
4716          assign(op2, get_gpr_w1(r2));  in s390_irgen_CLRB()
4717          assign(cond, s390_call_calculate_icc(m3, S390_CC_OP_UNSIGNED_COMPARE,  in s390_irgen_CLRB()
4739          assign(op1, get_gpr_dw0(r1));  in s390_irgen_CLGRB()
4740          assign(op2, get_gpr_dw0(r2));  in s390_irgen_CLGRB()
4741          assign(cond, s390_call_calculate_icc(m3, S390_CC_OP_UNSIGNED_COMPARE,  in s390_irgen_CLGRB()
4763          assign(op1, get_gpr_w1(r1));  in s390_irgen_CLRJ()
4764          assign(op2, get_gpr_w1(r2));  in s390_irgen_CLRJ()
4765          assign(cond, s390_call_calculate_icc(m3, S390_CC_OP_UNSIGNED_COMPARE,  in s390_irgen_CLRJ()
4788          assign(op1, get_gpr_dw0(r1));  in s390_irgen_CLGRJ()
4789          assign(op2, get_gpr_dw0(r2));  in s390_irgen_CLGRJ()
4790          assign(cond, s390_call_calculate_icc(m3, S390_CC_OP_UNSIGNED_COMPARE,  in s390_irgen_CLGRJ()
4813          assign(op1, get_gpr_w1(r1));  in s390_irgen_CLIB()
4815          assign(cond, s390_call_calculate_icc(m3, S390_CC_OP_UNSIGNED_COMPARE, op1,  in s390_irgen_CLIB()
4837          assign(op1, get_gpr_dw0(r1));  in s390_irgen_CLGIB()
4839          assign(cond, s390_call_calculate_icc(m3, S390_CC_OP_UNSIGNED_COMPARE, op1,  in s390_irgen_CLGIB()
4861          assign(op1, get_gpr_w1(r1));  in s390_irgen_CLIJ()
4863          assign(cond, s390_call_calculate_icc(m3, S390_CC_OP_UNSIGNED_COMPARE, op1,  in s390_irgen_CLIJ()
4886          assign(op1, get_gpr_dw0(r1));  in s390_irgen_CLGIJ()
4888          assign(cond, s390_call_calculate_icc(m3, S390_CC_OP_UNSIGNED_COMPARE, op1,  in s390_irgen_CLGIJ()
4916       assign(b0, unop(Iop_8Uto32, get_gpr_b4(r1)));  in s390_irgen_CLM()
4917       assign(c0, unop(Iop_8Uto32, load(Ity_I8, mkexpr(op2addr))));  in s390_irgen_CLM()
4920       assign(b0, mkU32(0));  in s390_irgen_CLM()
4921       assign(c0, mkU32(0));  in s390_irgen_CLM()
4924       assign(b1, unop(Iop_8Uto32, get_gpr_b5(r1)));  in s390_irgen_CLM()
4925       assign(c1, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),  in s390_irgen_CLM()
4929       assign(b1, mkU32(0));  in s390_irgen_CLM()
4930       assign(c1, mkU32(0));  in s390_irgen_CLM()
4933       assign(b2, unop(Iop_8Uto32, get_gpr_b6(r1)));  in s390_irgen_CLM()
4934       assign(c2, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),  in s390_irgen_CLM()
4938       assign(b2, mkU32(0));  in s390_irgen_CLM()
4939       assign(c2, mkU32(0));  in s390_irgen_CLM()
4942       assign(b3, unop(Iop_8Uto32, get_gpr_b7(r1)));  in s390_irgen_CLM()
4943       assign(c3, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),  in s390_irgen_CLM()
4947       assign(b3, mkU32(0));  in s390_irgen_CLM()
4948       assign(c3, mkU32(0));  in s390_irgen_CLM()
4950    assign(op1, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Shl32,  in s390_irgen_CLM()
4953    assign(op2, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Shl32,  in s390_irgen_CLM()
4978       assign(b0, unop(Iop_8Uto32, get_gpr_b4(r1)));  in s390_irgen_CLMY()
4979       assign(c0, unop(Iop_8Uto32, load(Ity_I8, mkexpr(op2addr))));  in s390_irgen_CLMY()
4982       assign(b0, mkU32(0));  in s390_irgen_CLMY()
4983       assign(c0, mkU32(0));  in s390_irgen_CLMY()
4986       assign(b1, unop(Iop_8Uto32, get_gpr_b5(r1)));  in s390_irgen_CLMY()
4987       assign(c1, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),  in s390_irgen_CLMY()
4991       assign(b1, mkU32(0));  in s390_irgen_CLMY()
4992       assign(c1, mkU32(0));  in s390_irgen_CLMY()
4995       assign(b2, unop(Iop_8Uto32, get_gpr_b6(r1)));  in s390_irgen_CLMY()
4996       assign(c2, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),  in s390_irgen_CLMY()
5000       assign(b2, mkU32(0));  in s390_irgen_CLMY()
5001       assign(c2, mkU32(0));  in s390_irgen_CLMY()
5004       assign(b3, unop(Iop_8Uto32, get_gpr_b7(r1)));  in s390_irgen_CLMY()
5005       assign(c3, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),  in s390_irgen_CLMY()
5009       assign(b3, mkU32(0));  in s390_irgen_CLMY()
5010       assign(c3, mkU32(0));  in s390_irgen_CLMY()
5012    assign(op1, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Shl32,  in s390_irgen_CLMY()
5015    assign(op2, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Shl32,  in s390_irgen_CLMY()
5040       assign(b0, unop(Iop_8Uto32, get_gpr_b0(r1)));  in s390_irgen_CLMH()
5041       assign(c0, unop(Iop_8Uto32, load(Ity_I8, mkexpr(op2addr))));  in s390_irgen_CLMH()
5044       assign(b0, mkU32(0));  in s390_irgen_CLMH()
5045       assign(c0, mkU32(0));  in s390_irgen_CLMH()
5048       assign(b1, unop(Iop_8Uto32, get_gpr_b1(r1)));  in s390_irgen_CLMH()
5049       assign(c1, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),  in s390_irgen_CLMH()
5053       assign(b1, mkU32(0));  in s390_irgen_CLMH()
5054       assign(c1, mkU32(0));  in s390_irgen_CLMH()
5057       assign(b2, unop(Iop_8Uto32, get_gpr_b2(r1)));  in s390_irgen_CLMH()
5058       assign(c2, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),  in s390_irgen_CLMH()
5062       assign(b2, mkU32(0));  in s390_irgen_CLMH()
5063       assign(c2, mkU32(0));  in s390_irgen_CLMH()
5066       assign(b3, unop(Iop_8Uto32, get_gpr_b3(r1)));  in s390_irgen_CLMH()
5067       assign(c3, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),  in s390_irgen_CLMH()
5071       assign(b3, mkU32(0));  in s390_irgen_CLMH()
5072       assign(c3, mkU32(0));  in s390_irgen_CLMH()
5074    assign(op1, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Shl32,  in s390_irgen_CLMH()
5077    assign(op2, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Or32, binop(Iop_Shl32,  in s390_irgen_CLMH()
5091    assign(op1, get_gpr_w0(r1));  in s390_irgen_CLHHR()
5092    assign(op2, get_gpr_w0(r2));  in s390_irgen_CLHHR()
5104    assign(op1, get_gpr_w0(r1));  in s390_irgen_CLHLR()
5105    assign(op2, get_gpr_w1(r2));  in s390_irgen_CLHLR()
5117    assign(op1, get_gpr_w0(r1));  in s390_irgen_CLHF()
5118    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_CLHF()
5130    assign(op1, get_gpr_w0(r1));  in s390_irgen_CLIH()
5156       assign(result, mkU32(0));  in s390_irgen_XR()
5158       assign(op1, get_gpr_w1(r1));  in s390_irgen_XR()
5159       assign(op2, get_gpr_w1(r2));  in s390_irgen_XR()
5160       assign(result, binop(Iop_Xor32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_XR()
5176       assign(result, mkU64(0));  in s390_irgen_XGR()
5178       assign(op1, get_gpr_dw0(r1));  in s390_irgen_XGR()
5179       assign(op2, get_gpr_dw0(r2));  in s390_irgen_XGR()
5180       assign(result, binop(Iop_Xor64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_XGR()
5195    assign(op2, get_gpr_w1(r2));  in s390_irgen_XRK()
5196    assign(op3, get_gpr_w1(r3));  in s390_irgen_XRK()
5197    assign(result, binop(Iop_Xor32, mkexpr(op2), mkexpr(op3)));  in s390_irgen_XRK()
5211    assign(op2, get_gpr_dw0(r2));  in s390_irgen_XGRK()
5212    assign(op3, get_gpr_dw0(r3));  in s390_irgen_XGRK()
5213    assign(result, binop(Iop_Xor64, mkexpr(op2), mkexpr(op3)));  in s390_irgen_XGRK()
5227    assign(op1, get_gpr_w1(r1));  in s390_irgen_X()
5228    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_X()
5229    assign(result, binop(Iop_Xor32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_X()
5243    assign(op1, get_gpr_w1(r1));  in s390_irgen_XY()
5244    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_XY()
5245    assign(result, binop(Iop_Xor32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_XY()
5259    assign(op1, get_gpr_dw0(r1));  in s390_irgen_XG()
5260    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_XG()
5261    assign(result, binop(Iop_Xor64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_XG()
5275    assign(op1, load(Ity_I8, mkexpr(op1addr)));  in s390_irgen_XI()
5277    assign(result, binop(Iop_Xor8, mkexpr(op1), mkU8(op2)));  in s390_irgen_XI()
5291    assign(op1, load(Ity_I8, mkexpr(op1addr)));  in s390_irgen_XIY()
5293    assign(result, binop(Iop_Xor8, mkexpr(op1), mkU8(op2)));  in s390_irgen_XIY()
5307    assign(op1, get_gpr_w0(r1));  in s390_irgen_XIHF()
5309    assign(result, binop(Iop_Xor32, mkexpr(op1), mkU32(op2)));  in s390_irgen_XIHF()
5323    assign(op1, get_gpr_w1(r1));  in s390_irgen_XILF()
5325    assign(result, binop(Iop_Xor32, mkexpr(op1), mkU32(op2)));  in s390_irgen_XILF()
5386    assign(result, get_gpr_w1(r1));  in s390_irgen_ICM()
5421    assign(result, get_gpr_w1(r1));  in s390_irgen_ICMY()
5456    assign(result, get_gpr_w0(r1));  in s390_irgen_ICMH()
5656    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_load_and_add32()
5657    assign(op3, get_gpr_w1(r3));  in s390_irgen_load_and_add32()
5658    assign(result, binop(Iop_Add32, mkexpr(op2), mkexpr(op3)));  in s390_irgen_load_and_add32()
5690    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_load_and_add64()
5691    assign(op3, get_gpr_dw0(r3));  in s390_irgen_load_and_add64()
5692    assign(result, binop(Iop_Add64, mkexpr(op2), mkexpr(op3)));  in s390_irgen_load_and_add64()
5724    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_load_and_bitwise32()
5725    assign(op3, get_gpr_w1(r3));  in s390_irgen_load_and_bitwise32()
5726    assign(result, binop(op, mkexpr(op2), mkexpr(op3)));  in s390_irgen_load_and_bitwise32()
5754    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_load_and_bitwise64()
5755    assign(op3, get_gpr_dw0(r3));  in s390_irgen_load_and_bitwise64()
5756    assign(result, binop(op, mkexpr(op2), mkexpr(op3)));  in s390_irgen_load_and_bitwise64()
5860    assign(op2, get_gpr_w1(r2));  in s390_irgen_LTR()
5872    assign(op2, get_gpr_dw0(r2));  in s390_irgen_LTGR()
5884    assign(op2, unop(Iop_32Sto64, get_gpr_w1(r2)));  in s390_irgen_LTGFR()
5896    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_LT()
5908    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_LTG()
5920    assign(op2, unop(Iop_32Sto64, load(Ity_I32, mkexpr(op2addr))));  in s390_irgen_LTGF()
5975    assign(op2, get_gpr_w1(r2));  in s390_irgen_LCR()
5976    assign(result, binop(Iop_Sub32, mkU32((UInt)op1), mkexpr(op2)));  in s390_irgen_LCR()
5992    assign(op2, get_gpr_dw0(r2));  in s390_irgen_LCGR()
5993    assign(result, binop(Iop_Sub64, mkU64((ULong)op1), mkexpr(op2)));  in s390_irgen_LCGR()
6009    assign(op2, unop(Iop_32Sto64, get_gpr_w1(r2)));  in s390_irgen_LCGFR()
6010    assign(result, binop(Iop_Sub64, mkU64((ULong)op1), mkexpr(op2)));  in s390_irgen_LCGFR()
6303    assign(op2, get_gpr_w1(r2));  in s390_irgen_LNR()
6304    assign(result, mkite(binop(Iop_CmpLE32S, mkexpr(op2), mkU32(0)), mkexpr(op2),  in s390_irgen_LNR()
6318    assign(op2, get_gpr_dw0(r2));  in s390_irgen_LNGR()
6319    assign(result, mkite(binop(Iop_CmpLE64S, mkexpr(op2), mkU64(0)), mkexpr(op2),  in s390_irgen_LNGR()
6333    assign(op2, unop(Iop_32Sto64, get_gpr_w1(r1)));  in s390_irgen_LNGFR()
6334    assign(result, mkite(binop(Iop_CmpLE64S, mkexpr(op2), mkU64(0)), mkexpr(op2),  in s390_irgen_LNGFR()
6394    assign(op2, get_gpr_w1(r2));  in s390_irgen_LPR()
6395    assign(result, mkite(binop(Iop_CmpLT32S, mkexpr(op2), mkU32(0)),  in s390_irgen_LPR()
6409    assign(op2, get_gpr_dw0(r2));  in s390_irgen_LPGR()
6410    assign(result, mkite(binop(Iop_CmpLT64S, mkexpr(op2), mkU64(0)),  in s390_irgen_LPGR()
6424    assign(op2, unop(Iop_32Sto64, get_gpr_w1(r2)));  in s390_irgen_LPGFR()
6425    assign(result, mkite(binop(Iop_CmpLT64S, mkexpr(op2), mkU64(0)),  in s390_irgen_LPGFR()
6441    assign(b3, get_gpr_b7(r2));  in s390_irgen_LRVR()
6442    assign(b2, get_gpr_b6(r2));  in s390_irgen_LRVR()
6443    assign(b1, get_gpr_b5(r2));  in s390_irgen_LRVR()
6444    assign(b0, get_gpr_b4(r2));  in s390_irgen_LRVR()
6465    assign(b7, get_gpr_b7(r2));  in s390_irgen_LRVGR()
6466    assign(b6, get_gpr_b6(r2));  in s390_irgen_LRVGR()
6467    assign(b5, get_gpr_b5(r2));  in s390_irgen_LRVGR()
6468    assign(b4, get_gpr_b4(r2));  in s390_irgen_LRVGR()
6469    assign(b3, get_gpr_b3(r2));  in s390_irgen_LRVGR()
6470    assign(b2, get_gpr_b2(r2));  in s390_irgen_LRVGR()
6471    assign(b1, get_gpr_b1(r2));  in s390_irgen_LRVGR()
6472    assign(b0, get_gpr_b0(r2));  in s390_irgen_LRVGR()
6490    assign(op2, load(Ity_I16, mkexpr(op2addr)));  in s390_irgen_LRVH()
6502    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_LRV()
6519    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_LRVG()
6586    assign(op1, get_gpr_w1(r1 + 1));  in s390_irgen_MR()
6587    assign(op2, get_gpr_w1(r2));  in s390_irgen_MR()
6588    assign(result, binop(Iop_MullS32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_MR()
6602    assign(op1, get_gpr_w1(r1 + 1));  in s390_irgen_M()
6603    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_M()
6604    assign(result, binop(Iop_MullS32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_M()
6618    assign(op1, get_gpr_w1(r1 + 1));  in s390_irgen_MFY()
6619    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_MFY()
6620    assign(result, binop(Iop_MullS32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_MFY()
6634    assign(op1, get_gpr_w1(r1));  in s390_irgen_MH()
6635    assign(op2, load(Ity_I16, mkexpr(op2addr)));  in s390_irgen_MH()
6636    assign(result, binop(Iop_MullS32, mkexpr(op1), unop(Iop_16Sto32, mkexpr(op2))  in s390_irgen_MH()
6650    assign(op1, get_gpr_w1(r1));  in s390_irgen_MHY()
6651    assign(op2, load(Ity_I16, mkexpr(op2addr)));  in s390_irgen_MHY()
6652    assign(result, binop(Iop_MullS32, mkexpr(op1), unop(Iop_16Sto32, mkexpr(op2))  in s390_irgen_MHY()
6666    assign(op1, get_gpr_w1(r1));  in s390_irgen_MHI()
6668    assign(result, binop(Iop_MullS32, mkexpr(op1), unop(Iop_16Sto32,  in s390_irgen_MHI()
6682    assign(op1, get_gpr_dw0(r1));  in s390_irgen_MGHI()
6684    assign(result, binop(Iop_MullS64, mkexpr(op1), unop(Iop_16Sto64,  in s390_irgen_MGHI()
6698    assign(op1, get_gpr_w1(r1 + 1));  in s390_irgen_MLR()
6699    assign(op2, get_gpr_w1(r2));  in s390_irgen_MLR()
6700    assign(result, binop(Iop_MullU32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_MLR()
6714    assign(op1, get_gpr_dw0(r1 + 1));  in s390_irgen_MLGR()
6715    assign(op2, get_gpr_dw0(r2));  in s390_irgen_MLGR()
6716    assign(result, binop(Iop_MullU64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_MLGR()
6730    assign(op1, get_gpr_w1(r1 + 1));  in s390_irgen_ML()
6731    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_ML()
6732    assign(result, binop(Iop_MullU32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_ML()
6746    assign(op1, get_gpr_dw0(r1 + 1));  in s390_irgen_MLG()
6747    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_MLG()
6748    assign(result, binop(Iop_MullU64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_MLG()
6762    assign(op1, get_gpr_w1(r1));  in s390_irgen_MSR()
6763    assign(op2, get_gpr_w1(r2));  in s390_irgen_MSR()
6764    assign(result, binop(Iop_MullS32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_MSR()
6777    assign(op1, get_gpr_dw0(r1));  in s390_irgen_MSGR()
6778    assign(op2, get_gpr_dw0(r2));  in s390_irgen_MSGR()
6779    assign(result, binop(Iop_MullS64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_MSGR()
6792    assign(op1, get_gpr_dw0(r1));  in s390_irgen_MSGFR()
6793    assign(op2, get_gpr_w1(r2));  in s390_irgen_MSGFR()
6794    assign(result, binop(Iop_MullS64, mkexpr(op1), unop(Iop_32Sto64, mkexpr(op2))  in s390_irgen_MSGFR()
6808    assign(op1, get_gpr_w1(r1));  in s390_irgen_MS()
6809    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_MS()
6810    assign(result, binop(Iop_MullS32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_MS()
6823    assign(op1, get_gpr_w1(r1));  in s390_irgen_MSY()
6824    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_MSY()
6825    assign(result, binop(Iop_MullS32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_MSY()
6838    assign(op1, get_gpr_dw0(r1));  in s390_irgen_MSG()
6839    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_MSG()
6840    assign(result, binop(Iop_MullS64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_MSG()
6853    assign(op1, get_gpr_dw0(r1));  in s390_irgen_MSGF()
6854    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_MSGF()
6855    assign(result, binop(Iop_MullS64, mkexpr(op1), unop(Iop_32Sto64, mkexpr(op2))  in s390_irgen_MSGF()
6869    assign(op1, get_gpr_w1(r1));  in s390_irgen_MSFI()
6871    assign(result, binop(Iop_MullS32, mkexpr(op1), mkU32((UInt)op2)));  in s390_irgen_MSFI()
6884    assign(op1, get_gpr_dw0(r1));  in s390_irgen_MSGFI()
6886    assign(result, binop(Iop_MullS64, mkexpr(op1), unop(Iop_32Sto64, mkU32((UInt)  in s390_irgen_MSGFI()
6900    assign(op1, get_gpr_w1(r1));  in s390_irgen_OR()
6901    assign(op2, get_gpr_w1(r2));  in s390_irgen_OR()
6902    assign(result, binop(Iop_Or32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_OR()
6916    assign(op1, get_gpr_dw0(r1));  in s390_irgen_OGR()
6917    assign(op2, get_gpr_dw0(r2));  in s390_irgen_OGR()
6918    assign(result, binop(Iop_Or64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_OGR()
6932    assign(op2, get_gpr_w1(r2));  in s390_irgen_ORK()
6933    assign(op3, get_gpr_w1(r3));  in s390_irgen_ORK()
6934    assign(result, binop(Iop_Or32, mkexpr(op2), mkexpr(op3)));  in s390_irgen_ORK()
6948    assign(op2, get_gpr_dw0(r2));  in s390_irgen_OGRK()
6949    assign(op3, get_gpr_dw0(r3));  in s390_irgen_OGRK()
6950    assign(result, binop(Iop_Or64, mkexpr(op2), mkexpr(op3)));  in s390_irgen_OGRK()
6964    assign(op1, get_gpr_w1(r1));  in s390_irgen_O()
6965    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_O()
6966    assign(result, binop(Iop_Or32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_O()
6980    assign(op1, get_gpr_w1(r1));  in s390_irgen_OY()
6981    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_OY()
6982    assign(result, binop(Iop_Or32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_OY()
6996    assign(op1, get_gpr_dw0(r1));  in s390_irgen_OG()
6997    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_OG()
6998    assign(result, binop(Iop_Or64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_OG()
7012    assign(op1, load(Ity_I8, mkexpr(op1addr)));  in s390_irgen_OI()
7014    assign(result, binop(Iop_Or8, mkexpr(op1), mkU8(op2)));  in s390_irgen_OI()
7028    assign(op1, load(Ity_I8, mkexpr(op1addr)));  in s390_irgen_OIY()
7030    assign(result, binop(Iop_Or8, mkexpr(op1), mkU8(op2)));  in s390_irgen_OIY()
7044    assign(op1, get_gpr_w0(r1));  in s390_irgen_OIHF()
7046    assign(result, binop(Iop_Or32, mkexpr(op1), mkU32(op2)));  in s390_irgen_OIHF()
7060    assign(op1, get_gpr_hw0(r1));  in s390_irgen_OIHH()
7062    assign(result, binop(Iop_Or16, mkexpr(op1), mkU16(op2)));  in s390_irgen_OIHH()
7076    assign(op1, get_gpr_hw1(r1));  in s390_irgen_OIHL()
7078    assign(result, binop(Iop_Or16, mkexpr(op1), mkU16(op2)));  in s390_irgen_OIHL()
7092    assign(op1, get_gpr_w1(r1));  in s390_irgen_OILF()
7094    assign(result, binop(Iop_Or32, mkexpr(op1), mkU32(op2)));  in s390_irgen_OILF()
7108    assign(op1, get_gpr_hw2(r1));  in s390_irgen_OILH()
7110    assign(result, binop(Iop_Or16, mkexpr(op1), mkU16(op2)));  in s390_irgen_OILH()
7124    assign(op1, get_gpr_hw3(r1));  in s390_irgen_OILL()
7126    assign(result, binop(Iop_Or16, mkexpr(op1), mkU16(op2)));  in s390_irgen_OILL()
7156    assign(rm_bits, binop(Iop_And32, get_gpr_w1(0), mkU32(0xf)));  in get_rounding_mode_from_gr0()
7252    assign(gr0, get_gpr_w1(0));  in s390_irgen_PFPO()
7254    assign(fn, binop(Iop_And32, binop(Iop_Shr32, mkexpr(gr0), mkU8(8)),  in s390_irgen_PFPO()
7257    assign(test_bit, binop(Iop_And32, binop(Iop_Shr32, mkexpr(gr0), mkU8(31)),  in s390_irgen_PFPO()
7262    assign(src1, get_fpr_w0(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7273    assign(ef, s390_call_pfpo_helper(unop(Iop_32Uto64, mkexpr(gr0))));  in s390_irgen_PFPO()
7287    assign(dst1, binop(Iop_F32toD32, irrm, mkexpr(src1)));  in s390_irgen_PFPO()
7294    assign(src2, get_fpr_w0(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7295    assign(dst2, binop(Iop_F32toD64, irrm, mkexpr(src2)));  in s390_irgen_PFPO()
7302    assign(src3, get_fpr_w0(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7303    assign(dst3, binop(Iop_F32toD128, irrm, mkexpr(src3)));  in s390_irgen_PFPO()
7310    assign(src4, get_fpr_dw0(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7311    assign(dst4, binop(Iop_F64toD32, irrm, mkexpr(src4)));  in s390_irgen_PFPO()
7318    assign(src5, get_fpr_dw0(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7319    assign(dst5, binop(Iop_F64toD64, irrm, mkexpr(src5)));  in s390_irgen_PFPO()
7326    assign(src6, get_fpr_dw0(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7327    assign(dst6, binop(Iop_F64toD128, irrm, mkexpr(src6)));  in s390_irgen_PFPO()
7334    assign(src7, get_fpr_pair(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7335    assign(dst7, binop(Iop_F128toD32, irrm, mkexpr(src7)));  in s390_irgen_PFPO()
7342    assign(src8, get_fpr_pair(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7343    assign(dst8, binop(Iop_F128toD64, irrm, mkexpr(src8)));  in s390_irgen_PFPO()
7350    assign(src9, get_fpr_pair(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7351    assign(dst9, binop(Iop_F128toD128, irrm, mkexpr(src9)));  in s390_irgen_PFPO()
7358    assign(src10, get_dpr_w0(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7359    assign(dst10, binop(Iop_D32toF32, irrm, mkexpr(src10)));  in s390_irgen_PFPO()
7366    assign(src11, get_dpr_w0(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7367    assign(dst11, binop(Iop_D32toF64, irrm, mkexpr(src11)));  in s390_irgen_PFPO()
7374    assign(src12, get_dpr_w0(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7375    assign(dst12, binop(Iop_D32toF128, irrm, mkexpr(src12)));  in s390_irgen_PFPO()
7382    assign(src13, get_dpr_dw0(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7383    assign(dst13, binop(Iop_D64toF32, irrm, mkexpr(src13)));  in s390_irgen_PFPO()
7390    assign(src14, get_dpr_dw0(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7391    assign(dst14, binop(Iop_D64toF64, irrm, mkexpr(src14)));  in s390_irgen_PFPO()
7398    assign(src15, get_dpr_dw0(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7399    assign(dst15, binop(Iop_D64toF128, irrm, mkexpr(src15)));  in s390_irgen_PFPO()
7406    assign(src16, get_dpr_pair(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7407    assign(dst16, binop(Iop_D128toF32, irrm, mkexpr(src16)));  in s390_irgen_PFPO()
7414    assign(src17, get_dpr_pair(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7415    assign(dst17, binop(Iop_D128toF64, irrm, mkexpr(src17)));  in s390_irgen_PFPO()
7422    assign(src18, get_dpr_pair(4)); /* get source from FPR 4,6 */  in s390_irgen_PFPO()
7423    assign(dst18, binop(Iop_D128toF128, irrm, mkexpr(src18)));  in s390_irgen_PFPO()
7439    assign(amount, binop(Iop_And64, mkexpr(op2addr), mkU64(31)));  in s390_irgen_RLL()
7440    assign(op, get_gpr_w1(r3));  in s390_irgen_RLL()
7454    assign(amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63)));  in s390_irgen_RLLG()
7455    assign(op, get_gpr_dw0(r3));  in s390_irgen_RLLG()
7479    assign(op2, rot == 0 ? get_gpr_dw0(r2) : binop(Iop_Or64, binop(Iop_Shl64,  in s390_irgen_RNSBG()
7491    assign(result, binop(Iop_And64, binop(Iop_And64, get_gpr_dw0(r1), mkexpr(op2)  in s390_irgen_RNSBG()
7518    assign(op2, rot == 0 ? get_gpr_dw0(r2) : binop(Iop_Or64, binop(Iop_Shl64,  in s390_irgen_RXSBG()
7530    assign(result, binop(Iop_And64, binop(Iop_Xor64, get_gpr_dw0(r1), mkexpr(op2)  in s390_irgen_RXSBG()
7557    assign(op2, rot == 0 ? get_gpr_dw0(r2) : binop(Iop_Or64, binop(Iop_Shl64,  in s390_irgen_ROSBG()
7569    assign(result, binop(Iop_And64, binop(Iop_Or64, get_gpr_dw0(r1), mkexpr(op2)  in s390_irgen_ROSBG()
7596    assign(op2, rot == 0 ? get_gpr_dw0(r2) : binop(Iop_Or64, binop(Iop_Shl64,  in s390_irgen_RISBG()
7614    assign(result, get_gpr_dw0(r1));  in s390_irgen_RISBG()
7640    assign(p1, unop(Iop_32Uto64, get_gpr_w1(r1)));  in s390_irgen_SLDA()
7641    assign(p2, unop(Iop_32Uto64, get_gpr_w1(r1 + 1)));  in s390_irgen_SLDA()
7642    assign(op, binop(Iop_Or64, binop(Iop_Shl64, mkexpr(p1), mkU8(32)), mkexpr(p2)  in s390_irgen_SLDA()
7645    assign(shift_amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63)));  in s390_irgen_SLDA()
7646    assign(result, binop(Iop_Or64, binop(Iop_And64, binop(Iop_Shl64, mkexpr(op),  in s390_irgen_SLDA()
7663    assign(p1, unop(Iop_32Uto64, get_gpr_w1(r1)));  in s390_irgen_SLDL()
7664    assign(p2, unop(Iop_32Uto64, get_gpr_w1(r1 + 1)));  in s390_irgen_SLDL()
7665    assign(result, binop(Iop_Shl64, binop(Iop_Or64, binop(Iop_Shl64, mkexpr(p1),  in s390_irgen_SLDL()
7683    assign(op, get_gpr_w1(r1));  in s390_irgen_SLA()
7684    assign(uop, get_gpr_w1(r1));  in s390_irgen_SLA()
7686    assign(shift_amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63)));  in s390_irgen_SLA()
7687    assign(result, binop(Iop_Or32, binop(Iop_And32, binop(Iop_Shl32, mkexpr(uop),  in s390_irgen_SLA()
7705    assign(op, get_gpr_w1(r3));  in s390_irgen_SLAK()
7706    assign(uop, get_gpr_w1(r3));  in s390_irgen_SLAK()
7708    assign(shift_amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63)));  in s390_irgen_SLAK()
7709    assign(result, binop(Iop_Or32, binop(Iop_And32, binop(Iop_Shl32, mkexpr(uop),  in s390_irgen_SLAK()
7727    assign(op, get_gpr_dw0(r3));  in s390_irgen_SLAG()
7728    assign(uop, get_gpr_dw0(r3));  in s390_irgen_SLAG()
7730    assign(shift_amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63)));  in s390_irgen_SLAG()
7731    assign(result, binop(Iop_Or64, binop(Iop_And64, binop(Iop_Shl64, mkexpr(uop),  in s390_irgen_SLAG()
7774    assign(p1, unop(Iop_32Uto64, get_gpr_w1(r1)));  in s390_irgen_SRDA()
7775    assign(p2, unop(Iop_32Uto64, get_gpr_w1(r1 + 1)));  in s390_irgen_SRDA()
7776    assign(result, binop(Iop_Sar64, binop(Iop_Or64, binop(Iop_Shl64, mkexpr(p1),  in s390_irgen_SRDA()
7793    assign(p1, unop(Iop_32Uto64, get_gpr_w1(r1)));  in s390_irgen_SRDL()
7794    assign(p2, unop(Iop_32Uto64, get_gpr_w1(r1 + 1)));  in s390_irgen_SRDL()
7795    assign(result, binop(Iop_Shr64, binop(Iop_Or64, binop(Iop_Shl64, mkexpr(p1),  in s390_irgen_SRDL()
7810    assign(op, get_gpr_w1(r1));  in s390_irgen_SRA()
7811    assign(result, binop(Iop_Sar32, mkexpr(op), unop(Iop_64to8, binop(Iop_And64,  in s390_irgen_SRA()
7825    assign(op, get_gpr_w1(r3));  in s390_irgen_SRAK()
7826    assign(result, binop(Iop_Sar32, mkexpr(op), unop(Iop_64to8, binop(Iop_And64,  in s390_irgen_SRAK()
7840    assign(op, get_gpr_dw0(r3));  in s390_irgen_SRAG()
7841    assign(result, binop(Iop_Sar64, mkexpr(op), unop(Iop_64to8, binop(Iop_And64,  in s390_irgen_SRAG()
7854    assign(op, get_gpr_w1(r1));  in s390_irgen_SRL()
7866    assign(op, get_gpr_w1(r3));  in s390_irgen_SRLK()
7878    assign(op, get_gpr_dw0(r3));  in s390_irgen_SRLG()
8142    assign(op1, get_gpr_w1(r1));  in s390_irgen_SR()
8143    assign(op2, get_gpr_w1(r2));  in s390_irgen_SR()
8144    assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_SR()
8158    assign(op1, get_gpr_dw0(r1));  in s390_irgen_SGR()
8159    assign(op2, get_gpr_dw0(r2));  in s390_irgen_SGR()
8160    assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_SGR()
8174    assign(op1, get_gpr_dw0(r1));  in s390_irgen_SGFR()
8175    assign(op2, unop(Iop_32Sto64, get_gpr_w1(r2)));  in s390_irgen_SGFR()
8176    assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_SGFR()
8190    assign(op2, get_gpr_w1(r2));  in s390_irgen_SRK()
8191    assign(op3, get_gpr_w1(r3));  in s390_irgen_SRK()
8192    assign(result, binop(Iop_Sub32, mkexpr(op2), mkexpr(op3)));  in s390_irgen_SRK()
8206    assign(op2, get_gpr_dw0(r2));  in s390_irgen_SGRK()
8207    assign(op3, get_gpr_dw0(r3));  in s390_irgen_SGRK()
8208    assign(result, binop(Iop_Sub64, mkexpr(op2), mkexpr(op3)));  in s390_irgen_SGRK()
8222    assign(op1, get_gpr_w1(r1));  in s390_irgen_S()
8223    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_S()
8224    assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_S()
8238    assign(op1, get_gpr_w1(r1));  in s390_irgen_SY()
8239    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_SY()
8240    assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_SY()
8254    assign(op1, get_gpr_dw0(r1));  in s390_irgen_SG()
8255    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_SG()
8256    assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_SG()
8270    assign(op1, get_gpr_dw0(r1));  in s390_irgen_SGF()
8271    assign(op2, unop(Iop_32Sto64, load(Ity_I32, mkexpr(op2addr))));  in s390_irgen_SGF()
8272    assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_SGF()
8286    assign(op1, get_gpr_w1(r1));  in s390_irgen_SH()
8287    assign(op2, unop(Iop_16Sto32, load(Ity_I16, mkexpr(op2addr))));  in s390_irgen_SH()
8288    assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_SH()
8302    assign(op1, get_gpr_w1(r1));  in s390_irgen_SHY()
8303    assign(op2, unop(Iop_16Sto32, load(Ity_I16, mkexpr(op2addr))));  in s390_irgen_SHY()
8304    assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_SHY()
8318    assign(op2, get_gpr_w0(r1));  in s390_irgen_SHHHR()
8319    assign(op3, get_gpr_w0(r2));  in s390_irgen_SHHHR()
8320    assign(result, binop(Iop_Sub32, mkexpr(op2), mkexpr(op3)));  in s390_irgen_SHHHR()
8334    assign(op2, get_gpr_w0(r1));  in s390_irgen_SHHLR()
8335    assign(op3, get_gpr_w1(r2));  in s390_irgen_SHHLR()
8336    assign(result, binop(Iop_Sub32, mkexpr(op2), mkexpr(op3)));  in s390_irgen_SHHLR()
8350    assign(op1, get_gpr_w1(r1));  in s390_irgen_SLR()
8351    assign(op2, get_gpr_w1(r2));  in s390_irgen_SLR()
8352    assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_SLR()
8366    assign(op1, get_gpr_dw0(r1));  in s390_irgen_SLGR()
8367    assign(op2, get_gpr_dw0(r2));  in s390_irgen_SLGR()
8368    assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_SLGR()
8382    assign(op1, get_gpr_dw0(r1));  in s390_irgen_SLGFR()
8383    assign(op2, unop(Iop_32Uto64, get_gpr_w1(r2)));  in s390_irgen_SLGFR()
8384    assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_SLGFR()
8398    assign(op2, get_gpr_w1(r2));  in s390_irgen_SLRK()
8399    assign(op3, get_gpr_w1(r3));  in s390_irgen_SLRK()
8400    assign(result, binop(Iop_Sub32, mkexpr(op2), mkexpr(op3)));  in s390_irgen_SLRK()
8414    assign(op2, get_gpr_dw0(r2));  in s390_irgen_SLGRK()
8415    assign(op3, get_gpr_dw0(r3));  in s390_irgen_SLGRK()
8416    assign(result, binop(Iop_Sub64, mkexpr(op2), mkexpr(op3)));  in s390_irgen_SLGRK()
8430    assign(op1, get_gpr_w1(r1));  in s390_irgen_SL()
8431    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_SL()
8432    assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_SL()
8446    assign(op1, get_gpr_w1(r1));  in s390_irgen_SLY()
8447    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_SLY()
8448    assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_SLY()
8462    assign(op1, get_gpr_dw0(r1));  in s390_irgen_SLG()
8463    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_SLG()
8464    assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_SLG()
8478    assign(op1, get_gpr_dw0(r1));  in s390_irgen_SLGF()
8479    assign(op2, unop(Iop_32Uto64, load(Ity_I32, mkexpr(op2addr))));  in s390_irgen_SLGF()
8480    assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_SLGF()
8494    assign(op1, get_gpr_w1(r1));  in s390_irgen_SLFI()
8496    assign(result, binop(Iop_Sub32, mkexpr(op1), mkU32(op2)));  in s390_irgen_SLFI()
8511    assign(op1, get_gpr_dw0(r1));  in s390_irgen_SLGFI()
8513    assign(result, binop(Iop_Sub64, mkexpr(op1), mkU64(op2)));  in s390_irgen_SLGFI()
8528    assign(op2, get_gpr_w0(r1));  in s390_irgen_SLHHHR()
8529    assign(op3, get_gpr_w0(r2));  in s390_irgen_SLHHHR()
8530    assign(result, binop(Iop_Sub32, mkexpr(op2), mkexpr(op3)));  in s390_irgen_SLHHHR()
8544    assign(op2, get_gpr_w0(r1));  in s390_irgen_SLHHLR()
8545    assign(op3, get_gpr_w1(r2));  in s390_irgen_SLHHLR()
8546    assign(result, binop(Iop_Sub32, mkexpr(op2), mkexpr(op3)));  in s390_irgen_SLHHLR()
8561    assign(op1, get_gpr_w1(r1));  in s390_irgen_SLBR()
8562    assign(op2, get_gpr_w1(r2));  in s390_irgen_SLBR()
8563    assign(borrow_in, binop(Iop_Sub32, mkU32(1), binop(Iop_Shr32,  in s390_irgen_SLBR()
8565    assign(result, binop(Iop_Sub32, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)),  in s390_irgen_SLBR()
8581    assign(op1, get_gpr_dw0(r1));  in s390_irgen_SLBGR()
8582    assign(op2, get_gpr_dw0(r2));  in s390_irgen_SLBGR()
8583    assign(borrow_in, unop(Iop_32Uto64, binop(Iop_Sub32, mkU32(1),  in s390_irgen_SLBGR()
8585    assign(result, binop(Iop_Sub64, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)),  in s390_irgen_SLBGR()
8601    assign(op1, get_gpr_w1(r1));  in s390_irgen_SLB()
8602    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_SLB()
8603    assign(borrow_in, binop(Iop_Sub32, mkU32(1), binop(Iop_Shr32,  in s390_irgen_SLB()
8605    assign(result, binop(Iop_Sub32, binop(Iop_Sub32, mkexpr(op1), mkexpr(op2)),  in s390_irgen_SLB()
8621    assign(op1, get_gpr_dw0(r1));  in s390_irgen_SLBG()
8622    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_SLBG()
8623    assign(borrow_in, unop(Iop_32Uto64, binop(Iop_Sub32, mkU32(1),  in s390_irgen_SLBG()
8625    assign(result, binop(Iop_Sub64, binop(Iop_Sub64, mkexpr(op1), mkexpr(op2)),  in s390_irgen_SLBG()
8639       assign(sysno, mkU64(i));  in s390_irgen_SVC()
8641       assign(sysno, unop(Iop_32Uto64, get_gpr_w1(1)));  in s390_irgen_SVC()
8655    assign(value, load(Ity_I8, mkexpr(op1addr)));  in s390_irgen_TM()
8669    assign(value, load(Ity_I8, mkexpr(op1addr)));  in s390_irgen_TMY()
8683    assign(value, get_gpr_hw0(r1));  in s390_irgen_TMHH()
8697    assign(value, get_gpr_hw1(r1));  in s390_irgen_TMHL()
8711    assign(value, get_gpr_hw2(r1));  in s390_irgen_TMLH()
8725    assign(value, get_gpr_hw3(r1));  in s390_irgen_TMLL()
8953    assign(op1, get_fpr_w0(r1));  in s390_irgen_AEBR()
8954    assign(op2, get_fpr_w0(r2));  in s390_irgen_AEBR()
8955    assign(result, triop(Iop_AddF32, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_AEBR()
8971    assign(op1, get_fpr_dw0(r1));  in s390_irgen_ADBR()
8972    assign(op2, get_fpr_dw0(r2));  in s390_irgen_ADBR()
8973    assign(result, triop(Iop_AddF64, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_ADBR()
8989    assign(op1, get_fpr_w0(r1));  in s390_irgen_AEB()
8990    assign(op2, load(Ity_F32, mkexpr(op2addr)));  in s390_irgen_AEB()
8991    assign(result, triop(Iop_AddF32, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_AEB()
9007    assign(op1, get_fpr_dw0(r1));  in s390_irgen_ADB()
9008    assign(op2, load(Ity_F64, mkexpr(op2addr)));  in s390_irgen_ADB()
9009    assign(result, triop(Iop_AddF64, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_ADB()
9027    assign(op2, get_gpr_w1(r2));  in s390_irgen_CEFBR()
9040    assign(op2, get_gpr_w1(r2));  in s390_irgen_CDFBR()
9056    assign(op2, get_gpr_dw0(r2));  in s390_irgen_CEGBR()
9073    assign(op2, get_gpr_dw0(r2));  in s390_irgen_CDGBR()
9089       assign(op2, get_gpr_w1(r2));  in s390_irgen_CELFBR()
9105       assign(op2, get_gpr_w1(r2));  in s390_irgen_CDLFBR()
9120       assign(op2, get_gpr_dw0(r2));  in s390_irgen_CELGBR()
9136       assign(op2, get_gpr_dw0(r2));  in s390_irgen_CDLGBR()
9155       assign(op, get_fpr_w0(r2));  in s390_irgen_CLFEBR()
9156       assign(result, binop(Iop_F32toI32U, mkexpr(rounding_mode),  in s390_irgen_CLFEBR()
9175       assign(op, get_fpr_dw0(r2));  in s390_irgen_CLFDBR()
9176       assign(result, binop(Iop_F64toI32U, mkexpr(rounding_mode),  in s390_irgen_CLFDBR()
9195       assign(op, get_fpr_w0(r2));  in s390_irgen_CLGEBR()
9196       assign(result, binop(Iop_F32toI64U, mkexpr(rounding_mode),  in s390_irgen_CLGEBR()
9215       assign(op, get_fpr_dw0(r2));  in s390_irgen_CLGDBR()
9216       assign(result, binop(Iop_F64toI64U, mkexpr(rounding_mode),  in s390_irgen_CLGDBR()
9232    assign(op, get_fpr_w0(r2));  in s390_irgen_CFEBR()
9233    assign(result, binop(Iop_F32toI32S, mkexpr(rounding_mode),  in s390_irgen_CFEBR()
9249    assign(op, get_fpr_dw0(r2));  in s390_irgen_CFDBR()
9250    assign(result, binop(Iop_F64toI32S, mkexpr(rounding_mode),  in s390_irgen_CFDBR()
9266    assign(op, get_fpr_w0(r2));  in s390_irgen_CGEBR()
9267    assign(result, binop(Iop_F32toI64S, mkexpr(rounding_mode),  in s390_irgen_CGEBR()
9283    assign(op, get_fpr_dw0(r2));  in s390_irgen_CGDBR()
9284    assign(result, binop(Iop_F64toI64S, mkexpr(rounding_mode),  in s390_irgen_CGDBR()
9300    assign(op1, get_fpr_w0(r1));  in s390_irgen_DEBR()
9301    assign(op2, get_fpr_w0(r2));  in s390_irgen_DEBR()
9302    assign(result, triop(Iop_DivF32, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_DEBR()
9317    assign(op1, get_fpr_dw0(r1));  in s390_irgen_DDBR()
9318    assign(op2, get_fpr_dw0(r2));  in s390_irgen_DDBR()
9319    assign(result, triop(Iop_DivF64, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_DDBR()
9334    assign(op1, get_fpr_w0(r1));  in s390_irgen_DEB()
9335    assign(op2, load(Ity_F32, mkexpr(op2addr)));  in s390_irgen_DEB()
9336    assign(result, triop(Iop_DivF32, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_DEB()
9351    assign(op1, get_fpr_dw0(r1));  in s390_irgen_DDB()
9352    assign(op2, load(Ity_F64, mkexpr(op2addr)));  in s390_irgen_DDB()
9353    assign(result, triop(Iop_DivF64, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_DDB()
9365    assign(result, get_fpr_w0(r2));  in s390_irgen_LTEBR()
9377    assign(result, get_fpr_dw0(r2));  in s390_irgen_LTDBR()
9389    assign(result, unop(Iop_NegF32, get_fpr_w0(r2)));  in s390_irgen_LCEBR()
9401    assign(result, unop(Iop_NegF64, get_fpr_dw0(r2)));  in s390_irgen_LCDBR()
9413    assign(op, get_fpr_w0(r2));  in s390_irgen_LDEBR()
9424    assign(op, load(Ity_F32, mkexpr(op2addr)));  in s390_irgen_LDEB()
9440    assign(op, get_fpr_dw0(r2));  in s390_irgen_LEDBR()
9456    assign(op1, get_fpr_w0(r1));  in s390_irgen_MEEBR()
9457    assign(op2, get_fpr_w0(r2));  in s390_irgen_MEEBR()
9458    assign(result, triop(Iop_MulF32, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_MEEBR()
9473    assign(op1, get_fpr_dw0(r1));  in s390_irgen_MDBR()
9474    assign(op2, get_fpr_dw0(r2));  in s390_irgen_MDBR()
9475    assign(result, triop(Iop_MulF64, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_MDBR()
9490    assign(op1, get_fpr_w0(r1));  in s390_irgen_MEEB()
9491    assign(op2, load(Ity_F32, mkexpr(op2addr)));  in s390_irgen_MEEB()
9492    assign(result, triop(Iop_MulF32, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_MEEB()
9507    assign(op1, get_fpr_dw0(r1));  in s390_irgen_MDB()
9508    assign(op2, load(Ity_F64, mkexpr(op2addr)));  in s390_irgen_MDB()
9509    assign(result, triop(Iop_MulF64, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_MDB()
9524    assign(op1, get_fpr_w0(r1));  in s390_irgen_SEBR()
9525    assign(op2, get_fpr_w0(r2));  in s390_irgen_SEBR()
9526    assign(result, triop(Iop_SubF32, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_SEBR()
9542    assign(op1, get_fpr_dw0(r1));  in s390_irgen_SDBR()
9543    assign(op2, get_fpr_dw0(r2));  in s390_irgen_SDBR()
9544    assign(result, triop(Iop_SubF64, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_SDBR()
9560    assign(op1, get_fpr_w0(r1));  in s390_irgen_SEB()
9561    assign(op2, load(Ity_F32, mkexpr(op2addr)));  in s390_irgen_SEB()
9562    assign(result, triop(Iop_SubF32, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_SEB()
9578    assign(op1, get_fpr_dw0(r1));  in s390_irgen_SDB()
9579    assign(op2, load(Ity_F64, mkexpr(op2addr)));  in s390_irgen_SDB()
9580    assign(result, triop(Iop_SubF64, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_SDB()
9605       assign(op1, get_dpr_dw0(r2));  in s390_irgen_ADTRA()
9606       assign(op2, get_dpr_dw0(r3));  in s390_irgen_ADTRA()
9607       assign(result, triop(Iop_AddD64, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_ADTRA()
9632       assign(op1, get_dpr_pair(r2));  in s390_irgen_AXTRA()
9633       assign(op2, get_dpr_pair(r3));  in s390_irgen_AXTRA()
9634       assign(result, triop(Iop_AddD128, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_AXTRA()
9651    assign(op1, get_dpr_dw0(r1));  in s390_irgen_CDTR()
9652    assign(op2, get_dpr_dw0(r2));  in s390_irgen_CDTR()
9653    assign(cc_vex, binop(Iop_CmpD64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_CDTR()
9655    assign(cc_s390, convert_vex_dfpcc_to_s390(cc_vex));  in s390_irgen_CDTR()
9669    assign(op1, get_dpr_pair(r1));  in s390_irgen_CXTR()
9670    assign(op2, get_dpr_pair(r2));  in s390_irgen_CXTR()
9671    assign(cc_vex, binop(Iop_CmpD128, mkexpr(op1), mkexpr(op2)));  in s390_irgen_CXTR()
9673    assign(cc_s390, convert_vex_dfpcc_to_s390(cc_vex));  in s390_irgen_CXTR()
9691          assign(op2, get_gpr_w1(r2));  in s390_irgen_CDFTR()
9710          assign(op2, get_gpr_w1(r2));  in s390_irgen_CXFTR()
9731       assign(op2, get_gpr_dw0(r2));  in s390_irgen_CDGTRA()
9750       assign(op2, get_gpr_dw0(r2));  in s390_irgen_CXGTR()
9768          assign(op2, get_gpr_w1(r2));  in s390_irgen_CDLFTR()
9787          assign(op2, get_gpr_w1(r2));  in s390_irgen_CXLFTR()
9806          assign(op2, get_gpr_dw0(r2));  in s390_irgen_CDLGTR()
9827          assign(op2, get_gpr_dw0(r2));  in s390_irgen_CXLGTR()
9848          assign(op, get_dpr_dw0(r2));  in s390_irgen_CFDTR()
9849          assign(result, binop(Iop_D64toI32S, mkexpr(rounding_mode),  in s390_irgen_CFDTR()
9872          assign(op, get_dpr_pair(r2));  in s390_irgen_CFXTR()
9873          assign(result, binop(Iop_D128toI32S, mkexpr(rounding_mode),  in s390_irgen_CFXTR()
9900       assign(op, get_dpr_dw0(r2));  in s390_irgen_CGDTR()
9923       assign(op, get_dpr_pair(r2));  in s390_irgen_CGXTR()
9941       assign(op1, get_dpr_dw0(r1));  in s390_irgen_CEDTR()
9942       assign(op2, get_dpr_dw0(r2));  in s390_irgen_CEDTR()
9943       assign(cc_vex, binop(Iop_CmpExpD64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_CEDTR()
9945       assign(cc_s390, convert_vex_dfpcc_to_s390(cc_vex));  in s390_irgen_CEDTR()
9962       assign(op1, get_dpr_pair(r1));  in s390_irgen_CEXTR()
9963       assign(op2, get_dpr_pair(r2));  in s390_irgen_CEXTR()
9964       assign(cc_vex, binop(Iop_CmpExpD128, mkexpr(op1), mkexpr(op2)));  in s390_irgen_CEXTR()
9966       assign(cc_s390, convert_vex_dfpcc_to_s390(cc_vex));  in s390_irgen_CEXTR()
9986          assign(op, get_dpr_dw0(r2));  in s390_irgen_CLFDTR()
9987          assign(result, binop(Iop_D64toI32U, mkexpr(rounding_mode),  in s390_irgen_CLFDTR()
10010          assign(op, get_dpr_pair(r2));  in s390_irgen_CLFXTR()
10011          assign(result, binop(Iop_D128toI32U, mkexpr(rounding_mode),  in s390_irgen_CLFXTR()
10035          assign(op, get_dpr_dw0(r2));  in s390_irgen_CLGDTR()
10036          assign(result, binop(Iop_D64toI64U, mkexpr(rounding_mode),  in s390_irgen_CLGDTR()
10059          assign(op, get_dpr_pair(r2));  in s390_irgen_CLGXTR()
10060          assign(result, binop(Iop_D128toI64U, mkexpr(rounding_mode),  in s390_irgen_CLGXTR()
10087       assign(op1, get_dpr_dw0(r2));  in s390_irgen_DDTRA()
10088       assign(op2, get_dpr_dw0(r3));  in s390_irgen_DDTRA()
10089       assign(result, triop(Iop_DivD64, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_DDTRA()
10113       assign(op1, get_dpr_pair(r2));  in s390_irgen_DXTRA()
10114       assign(op2, get_dpr_pair(r3));  in s390_irgen_DXTRA()
10115       assign(result, triop(Iop_DivD128, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_DXTRA()
10176       assign(op1, get_gpr_dw0(r2));  in s390_irgen_IEDTR()
10177       assign(op2, get_dpr_dw0(r3));  in s390_irgen_IEDTR()
10178       assign(result, binop(Iop_InsertExpD64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_IEDTR()
10194       assign(op1, get_gpr_dw0(r2));  in s390_irgen_IEXTR()
10195       assign(op2, get_dpr_pair(r3));  in s390_irgen_IEXTR()
10196       assign(result, binop(Iop_InsertExpD128, mkexpr(op1), mkexpr(op2)));  in s390_irgen_IEXTR()
10210       assign(op, get_dpr_w0(r2));  in s390_irgen_LDETR()
10221    assign(op, get_dpr_dw0(r2));  in s390_irgen_LXDTR()
10242       assign(result, binop(Iop_D128toD64, mkexpr(encode_dfp_rounding_mode(m3)),  in s390_irgen_LDXTR()
10264       assign(op, get_dpr_dw0(r2));  in s390_irgen_LEDTR()
10276    assign(result, get_dpr_dw0(r2));  in s390_irgen_LTDTR()
10288    assign(result, get_dpr_pair(r2));  in s390_irgen_LTXTR()
10312       assign(op1, get_dpr_dw0(r2));  in s390_irgen_MDTRA()
10313       assign(op2, get_dpr_dw0(r3));  in s390_irgen_MDTRA()
10314       assign(result, triop(Iop_MulD64, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_MDTRA()
10338       assign(op1, get_dpr_pair(r2));  in s390_irgen_MXTRA()
10339       assign(op2, get_dpr_pair(r3));  in s390_irgen_MXTRA()
10340       assign(result, triop(Iop_MulD128, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_MXTRA()
10366       assign(op1, get_dpr_dw0(r2));  in s390_irgen_QADTR()
10367       assign(op2, get_dpr_dw0(r3));  in s390_irgen_QADTR()
10368       assign(result, triop(Iop_QuantizeD64, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_QADTR()
10394       assign(op1, get_dpr_pair(r2));  in s390_irgen_QAXTR()
10395       assign(op2, get_dpr_pair(r3));  in s390_irgen_QAXTR()
10396       assign(result, triop(Iop_QuantizeD128, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_QAXTR()
10422       assign(op1, get_gpr_b7(r2));  in s390_irgen_RRDTR()
10423       assign(op2, get_dpr_dw0(r3));  in s390_irgen_RRDTR()
10424       assign(result, triop(Iop_SignificanceRoundD64, mkexpr(rounding_mode),  in s390_irgen_RRDTR()
10450       assign(op1, get_gpr_b7(r2));  in s390_irgen_RRXTR()
10451       assign(op2, get_dpr_pair(r3));  in s390_irgen_RRXTR()
10452       assign(result, triop(Iop_SignificanceRoundD128, mkexpr(rounding_mode),  in s390_irgen_RRXTR()
10476       assign(op1, get_dpr_dw0(r2));  in s390_irgen_SDTRA()
10477       assign(op2, get_dpr_dw0(r3));  in s390_irgen_SDTRA()
10478       assign(result, triop(Iop_SubD64, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_SDTRA()
10503       assign(op1, get_dpr_pair(r2));  in s390_irgen_SXTRA()
10504       assign(op2, get_dpr_pair(r3));  in s390_irgen_SXTRA()
10505       assign(result, triop(Iop_SubD128, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_SXTRA()
10522       assign(op, get_dpr_dw0(r3));  in s390_irgen_SLDT()
10538       assign(op, get_dpr_pair(r3));  in s390_irgen_SLXT()
10554       assign(op, get_dpr_dw0(r3));  in s390_irgen_SRDT()
10570       assign(op, get_dpr_pair(r3));  in s390_irgen_SRXT()
10586       assign(value, get_dpr_w0(r1));  in s390_irgen_TDCET()
10601       assign(value, get_dpr_dw0(r1));  in s390_irgen_TDCDT()
10616       assign(value, get_dpr_pair(r1));  in s390_irgen_TDCXT()
10631       assign(value, get_dpr_w0(r1));  in s390_irgen_TDGET()
10646       assign(value, get_dpr_dw0(r1));  in s390_irgen_TDGDT()
10661       assign(value, get_dpr_pair(r1));  in s390_irgen_TDGXT()
10673    assign(len, mkU64(length));  in s390_irgen_CLC()
10694    assign(addr1, get_gpr_dw0(r1));  in s390_irgen_CLCL()
10695    assign(r1p1, get_gpr_w1(r1 + 1));  in s390_irgen_CLCL()
10696    assign(len1, binop(Iop_And32, mkexpr(r1p1), mkU32(0x00ffffff)));  in s390_irgen_CLCL()
10697    assign(addr2, get_gpr_dw0(r2));  in s390_irgen_CLCL()
10698    assign(r2p1, get_gpr_w1(r2 + 1));  in s390_irgen_CLCL()
10699    assign(len2, binop(Iop_And32, mkexpr(r2p1), mkU32(0x00ffffff)));  in s390_irgen_CLCL()
10700    assign(pad, get_gpr_b4(r2 + 1));  in s390_irgen_CLCL()
10712    assign(addr1_load,  in s390_irgen_CLCL()
10715    assign(single1,  in s390_irgen_CLCL()
10719    assign(addr2_load,  in s390_irgen_CLCL()
10722    assign(single2,  in s390_irgen_CLCL()
10773    assign(addr1, get_gpr_dw0(r1));  in s390_irgen_CLCLE()
10774    assign(len1, get_gpr_dw0(r1 + 1));  in s390_irgen_CLCLE()
10775    assign(addr3, get_gpr_dw0(r3));  in s390_irgen_CLCLE()
10776    assign(len3, get_gpr_dw0(r3 + 1));  in s390_irgen_CLCLE()
10786    assign(addr1_load,  in s390_irgen_CLCLE()
10791    assign(addr3_load,  in s390_irgen_CLCLE()
10795    assign(single1,  in s390_irgen_CLCLE()
10800    assign(single3,  in s390_irgen_CLCLE()
10862    assign(counter, get_counter_dw0());  in s390_irgen_CLC_EX()
10865    assign(current1, load(Ity_I8, binop(Iop_Add64, mkexpr(start1),  in s390_irgen_CLC_EX()
10867    assign(current2, load(Ity_I8, binop(Iop_Add64, mkexpr(start2),  in s390_irgen_CLC_EX()
10886    assign(counter, get_counter_dw0());  in s390_irgen_MVC_EX()
10905    assign(counter, get_counter_dw0());  in s390_irgen_TR_EX()
10907    assign(op, load(Ity_I8, binop(Iop_Add64, mkexpr(start1), mkexpr(counter))));  in s390_irgen_TR_EX()
10909    assign(result, binop(Iop_Add64, unop(Iop_8Uto64, mkexpr(op)), mkexpr(start2)));  in s390_irgen_TR_EX()
10911    assign(op1, load(Ity_I8, mkexpr(result)));  in s390_irgen_TR_EX()
10947    assign(torun, load(Ity_I64, mkexpr(addr2)));  in s390_irgen_EX_SS()
10949    assign(cond, binop(Iop_CmpNE64, mkexpr(torun), mkU64(last_execute_target)));  in s390_irgen_EX_SS()
10963    assign(start1, binop(Iop_Add64, mkU64(ss.dec.d1),  in s390_irgen_EX_SS()
10965    assign(start2, binop(Iop_Add64, mkU64(ss.dec.d2),  in s390_irgen_EX_SS()
10967    assign(len, unop(lensize == 64 ? Iop_8Uto64 : Iop_8Uto32, binop(Iop_Or8,  in s390_irgen_EX_SS()
11045          assign(orperand, mkU64(0));  in s390_irgen_EX()
11047          assign(orperand, unop(Iop_8Uto64,get_gpr_b7(r1)));  in s390_irgen_EX()
11049       assign(torun, binop(Iop_Or64, load(Ity_I64, mkexpr(addr2)),  in s390_irgen_EX()
11053       assign(cond, binop(Iop_CmpNE64, mkexpr(torun),  in s390_irgen_EX()
11087    assign(addr, mkU64(guest_IA_curr_instr + offset * 2UL));  in s390_irgen_EXRL()
11112    assign(address, get_gpr_dw0(r2));  in s390_irgen_SRST()
11113    assign(next, get_gpr_dw0(r1));  in s390_irgen_SRST()
11115    assign(counter, get_counter_dw0());  in s390_irgen_SRST()
11123    assign(byte, load(Ity_I8, mkexpr(address)));  in s390_irgen_SRST()
11124    assign(delim, get_gpr_b7(0));  in s390_irgen_SRST()
11151    assign(address1, get_gpr_dw0(r1));  in s390_irgen_CLST()
11152    assign(address2, get_gpr_dw0(r2));  in s390_irgen_CLST()
11153    assign(end, get_gpr_b7(0));  in s390_irgen_CLST()
11154    assign(counter, get_counter_dw0());  in s390_irgen_CLST()
11156    assign(byte1, load(Ity_I8, mkexpr(address1)));  in s390_irgen_CLST()
11157    assign(byte2, load(Ity_I8, mkexpr(address2)));  in s390_irgen_CLST()
11205    assign(addr, mkexpr(op2addr));  in s390_irgen_load_multiple_32bit()
11213       assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));  in s390_irgen_load_multiple_32bit()
11240    assign(addr, mkexpr(op2addr));  in s390_irgen_LMH()
11248       assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));  in s390_irgen_LMH()
11261    assign(addr, mkexpr(op2addr));  in s390_irgen_LMG()
11269       assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(8)));  in s390_irgen_LMG()
11282    assign(addr, mkexpr(op2addr));  in s390_irgen_store_multiple_32bit()
11290       assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));  in s390_irgen_store_multiple_32bit()
11317    assign(addr, mkexpr(op2addr));  in s390_irgen_STMH()
11325       assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));  in s390_irgen_STMH()
11338    assign(addr, mkexpr(op2addr));  in s390_irgen_STMG()
11346       assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(8)));  in s390_irgen_STMG()
11362    assign(counter, get_counter_w0());  in s390_irgen_xonc()
11364    assign(addr1, binop(Iop_Add64, mkexpr(start1),  in s390_irgen_xonc()
11367    assign(old1, load(Ity_I8, mkexpr(addr1)));  in s390_irgen_xonc()
11368    assign(old2, load(Ity_I8, binop(Iop_Add64, mkexpr(start2),  in s390_irgen_xonc()
11370    assign(new1, binop(op, mkexpr(old1), mkexpr(old2)));  in s390_irgen_xonc()
11395    assign(len, mkU32(length));  in s390_irgen_XC()
11408    assign(start,  in s390_irgen_XC_sameloc()
11418      assign(counter, get_counter_w0());  in s390_irgen_XC_sameloc()
11420      assign(addr, binop(Iop_Add64, mkexpr(start),  in s390_irgen_XC_sameloc()
11444    assign(len, mkU32(length));  in s390_irgen_NC()
11455    assign(len, mkU32(length));  in s390_irgen_OC()
11467    assign(len, mkU64(length));  in s390_irgen_MVC()
11486    assign(addr1, get_gpr_dw0(r1));  in s390_irgen_MVCL()
11487    assign(r1p1, get_gpr_w1(r1 + 1));  in s390_irgen_MVCL()
11488    assign(len1, binop(Iop_And32, mkexpr(r1p1), mkU32(0x00ffffff)));  in s390_irgen_MVCL()
11489    assign(addr2, get_gpr_dw0(r2));  in s390_irgen_MVCL()
11490    assign(r2p1, get_gpr_w1(r2 + 1));  in s390_irgen_MVCL()
11491    assign(len2, binop(Iop_And32, mkexpr(r2p1), mkU32(0x00ffffff)));  in s390_irgen_MVCL()
11492    assign(pad, get_gpr_b4(r2 + 1));  in s390_irgen_MVCL()
11502    assign(cond1, unop(Iop_1Uto32,  in s390_irgen_MVCL()
11505    assign(cond2, unop(Iop_1Uto32,  in s390_irgen_MVCL()
11510    assign(cond3, unop(Iop_1Uto32,  in s390_irgen_MVCL()
11524    assign(addr2_load,  in s390_irgen_MVCL()
11527    assign(single,  in s390_irgen_MVCL()
11568    assign(addr1, get_gpr_dw0(r1));  in s390_irgen_MVCLE()
11569    assign(len1, get_gpr_dw0(r1 + 1));  in s390_irgen_MVCLE()
11570    assign(addr3, get_gpr_dw0(r3));  in s390_irgen_MVCLE()
11571    assign(len3, get_gpr_dw0(r3 + 1));  in s390_irgen_MVCLE()
11580    assign(addr3_load,  in s390_irgen_MVCLE()
11584    assign(single,  in s390_irgen_MVCLE()
11618    assign(addr1, get_gpr_dw0(r1));  in s390_irgen_MVST()
11619    assign(addr2, get_gpr_dw0(r2));  in s390_irgen_MVST()
11620    assign(counter, get_counter_dw0());  in s390_irgen_MVST()
11621    assign(end, get_gpr_b7(0));  in s390_irgen_MVST()
11622    assign(byte, load(Ity_I8, binop(Iop_Add64, mkexpr(addr2),mkexpr(counter))));  in s390_irgen_MVST()
11643    assign(op1, binop(Iop_32HLto64,  in s390_irgen_divide_64to32()
11646    assign(result, binop(op, mkexpr(op1), mkexpr(op2)));  in s390_irgen_divide_64to32()
11657    assign(op1, binop(Iop_64HLto128,  in s390_irgen_divide_128to64()
11660    assign(result, binop(op, mkexpr(op1), mkexpr(op2)));  in s390_irgen_divide_128to64()
11671    assign(op1, get_gpr_dw0(r1 + 1));  in s390_irgen_divide_64to64()
11672    assign(result, binop(op, mkexpr(op1), mkexpr(op2)));  in s390_irgen_divide_64to64()
11682    assign(op2, get_gpr_w1(r2));  in s390_irgen_DR()
11694    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_D()
11706    assign(op2, get_gpr_w1(r2));  in s390_irgen_DLR()
11718    assign(op2, load(Ity_I32, mkexpr(op2addr)));  in s390_irgen_DL()
11730    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_DLG()
11742    assign(op2, get_gpr_dw0(r2));  in s390_irgen_DLGR()
11754    assign(op2, get_gpr_dw0(r2));  in s390_irgen_DSGR()
11766    assign(op2, load(Ity_I64, mkexpr(op2addr)));  in s390_irgen_DSG()
11778    assign(op2, unop(Iop_32Sto64, get_gpr_w1(r2)));  in s390_irgen_DSGFR()
11790    assign(op2, unop(Iop_32Sto64, load(Ity_I32, mkexpr(op2addr))));  in s390_irgen_DSGF()
11803    assign(addr, mkexpr(op2addr));  in s390_irgen_load_ar_multiple()
11811       assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));  in s390_irgen_load_ar_multiple()
11838    assign(addr, mkexpr(op2addr));  in s390_irgen_store_ar_multiple()
11846       assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));  in s390_irgen_store_ar_multiple()
11879    assign(op1, get_gpr_w1(r1));  in s390_irgen_cas_32()
11880    assign(op3, get_gpr_w1(r3));  in s390_irgen_cas_32()
11891    assign(result, binop(Iop_Sub32, mkexpr(op1), mkexpr(old_mem)));  in s390_irgen_cas_32()
11896    assign(nequal, binop(Iop_CmpNE32, s390_call_calculate_cc(), mkU32(0)));  in s390_irgen_cas_32()
11927    assign(op1, get_gpr_dw0(r1));  in s390_irgen_CSG()
11928    assign(op3, get_gpr_dw0(r3));  in s390_irgen_CSG()
11939    assign(result, binop(Iop_Sub64, mkexpr(op1), mkexpr(old_mem)));  in s390_irgen_CSG()
11944    assign(nequal, binop(Iop_CmpNE32, s390_call_calculate_cc(), mkU32(0)));  in s390_irgen_CSG()
11965    assign(op1_high, get_gpr_w1(r1));  in s390_irgen_cdas_32()
11966    assign(op1_low,  get_gpr_w1(r1+1));  in s390_irgen_cdas_32()
11967    assign(op3_high, get_gpr_w1(r3));  in s390_irgen_cdas_32()
11968    assign(op3_low,  get_gpr_w1(r3+1));  in s390_irgen_cdas_32()
11979    assign(result, unop(Iop_1Uto32,  in s390_irgen_cdas_32()
11990    assign(nequal, binop(Iop_CmpNE32, s390_call_calculate_cc(), mkU32(0)));  in s390_irgen_cdas_32()
12025    assign(op1_high, get_gpr_dw0(r1));  in s390_irgen_CDSG()
12026    assign(op1_low,  get_gpr_dw0(r1+1));  in s390_irgen_CDSG()
12027    assign(op3_high, get_gpr_dw0(r3));  in s390_irgen_CDSG()
12028    assign(op3_low,  get_gpr_dw0(r3+1));  in s390_irgen_CDSG()
12039    assign(result, unop(Iop_1Uto64,  in s390_irgen_CDSG()
12050    assign(nequal, binop(Iop_CmpNE32, s390_call_calculate_cc(), mkU32(0)));  in s390_irgen_CDSG()
12069    assign(op1, get_fpr_pair(r1));  in s390_irgen_AXBR()
12070    assign(op2, get_fpr_pair(r2));  in s390_irgen_AXBR()
12071    assign(result, triop(Iop_AddF128, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_AXBR()
12088    assign(op1, get_fpr_w0(r1));  in s390_irgen_CEBR()
12089    assign(op2, get_fpr_w0(r2));  in s390_irgen_CEBR()
12090    assign(cc_vex, binop(Iop_CmpF32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_CEBR()
12092    assign(cc_s390, convert_vex_bfpcc_to_s390(cc_vex));  in s390_irgen_CEBR()
12106    assign(op1, get_fpr_dw0(r1));  in s390_irgen_CDBR()
12107    assign(op2, get_fpr_dw0(r2));  in s390_irgen_CDBR()
12108    assign(cc_vex, binop(Iop_CmpF64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_CDBR()
12110    assign(cc_s390, convert_vex_bfpcc_to_s390(cc_vex));  in s390_irgen_CDBR()
12124    assign(op1, get_fpr_pair(r1));  in s390_irgen_CXBR()
12125    assign(op2, get_fpr_pair(r2));  in s390_irgen_CXBR()
12126    assign(cc_vex, binop(Iop_CmpF128, mkexpr(op1), mkexpr(op2)));  in s390_irgen_CXBR()
12128    assign(cc_s390, convert_vex_bfpcc_to_s390(cc_vex));  in s390_irgen_CXBR()
12142    assign(op1, get_fpr_w0(r1));  in s390_irgen_CEB()
12143    assign(op2, load(Ity_F32, mkexpr(op2addr)));  in s390_irgen_CEB()
12144    assign(cc_vex,  binop(Iop_CmpF32, mkexpr(op1), mkexpr(op2)));  in s390_irgen_CEB()
12146    assign(cc_s390, convert_vex_bfpcc_to_s390(cc_vex));  in s390_irgen_CEB()
12160    assign(op1, get_fpr_dw0(r1));  in s390_irgen_CDB()
12161    assign(op2, load(Ity_F64, mkexpr(op2addr)));  in s390_irgen_CDB()
12162    assign(cc_vex, binop(Iop_CmpF64, mkexpr(op1), mkexpr(op2)));  in s390_irgen_CDB()
12164    assign(cc_s390, convert_vex_bfpcc_to_s390(cc_vex));  in s390_irgen_CDB()
12176    assign(op2, get_gpr_w1(r2));  in s390_irgen_CXFBR()
12191       assign(op2, get_gpr_w1(r2));  in s390_irgen_CXLFBR()
12204    assign(op2, get_gpr_dw0(r2));  in s390_irgen_CXGBR()
12219       assign(op2, get_gpr_dw0(r2));  in s390_irgen_CXLGBR()
12233    assign(op, get_fpr_pair(r2));  in s390_irgen_CFXBR()
12234    assign(result, binop(Iop_F128toI32S, mkexpr(rounding_mode),  in s390_irgen_CFXBR()
12253       assign(op, get_fpr_pair(r2));  in s390_irgen_CLFXBR()
12254       assign(result, binop(Iop_F128toI32U, mkexpr(rounding_mode),  in s390_irgen_CLFXBR()
12271    assign(op, get_fpr_pair(r2));  in s390_irgen_CGXBR()
12272    assign(result, binop(Iop_F128toI64S, mkexpr(rounding_mode),  in s390_irgen_CGXBR()
12291       assign(op, get_fpr_pair(r2));  in s390_irgen_CLGXBR()
12292       assign(result, binop(Iop_F128toI64U, mkexpr(rounding_mode),  in s390_irgen_CLGXBR()
12309    assign(op1, get_fpr_pair(r1));  in s390_irgen_DXBR()
12310    assign(op2, get_fpr_pair(r2));  in s390_irgen_DXBR()
12311    assign(result, triop(Iop_DivF128, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_DXBR()
12323    assign(result, get_fpr_pair(r2));  in s390_irgen_LTXBR()
12335    assign(result, unop(Iop_NegF128, get_fpr_pair(r2)));  in s390_irgen_LCXBR()
12347    assign(op, get_fpr_dw0(r2));  in s390_irgen_LXDBR()
12358    assign(op, get_fpr_w0(r2));  in s390_irgen_LXEBR()
12369    assign(op, load(Ity_F64, mkexpr(op2addr)));  in s390_irgen_LXDB()
12380    assign(op, load(Ity_F32, mkexpr(op2addr)));  in s390_irgen_LXEB()
12392    assign(result, binop(Iop_RoundF32toInt, mkexpr(encode_bfp_rounding_mode(m3)),  in s390_irgen_FIEBRA()
12405    assign(result, binop(Iop_RoundF64toInt, mkexpr(encode_bfp_rounding_mode(m3)),  in s390_irgen_FIDBRA()
12418    assign(result, binop(Iop_RoundF128toInt, mkexpr(encode_bfp_rounding_mode(m3)),  in s390_irgen_FIXBRA()
12430    assign(result, unop(Iop_NegF32, unop(Iop_AbsF32, get_fpr_w0(r2))));  in s390_irgen_LNEBR()
12442    assign(result, unop(Iop_NegF64, unop(Iop_AbsF64, get_fpr_dw0(r2))));  in s390_irgen_LNDBR()
12454    assign(result, unop(Iop_NegF128, unop(Iop_AbsF128, get_fpr_pair(r2))));  in s390_irgen_LNXBR()
12466    assign(result, unop(Iop_AbsF32, get_fpr_w0(r2)));  in s390_irgen_LPEBR()
12478    assign(result, unop(Iop_AbsF64, get_fpr_dw0(r2)));  in s390_irgen_LPDBR()
12490    assign(result, unop(Iop_AbsF128, get_fpr_pair(r2)));  in s390_irgen_LPXBR()
12507    assign(result, binop(Iop_F128toF64, mkexpr(encode_bfp_rounding_mode(m3)),  in s390_irgen_LDXBR()
12524    assign(result, binop(Iop_F128toF32, mkexpr(encode_bfp_rounding_mode(m3)),  in s390_irgen_LEXBR()
12539    assign(op1, get_fpr_pair(r1));  in s390_irgen_MXBR()
12540    assign(op2, get_fpr_pair(r2));  in s390_irgen_MXBR()
12541    assign(result, triop(Iop_MulF128, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_MXBR()
12646    assign(result, binop(Iop_SqrtF32, mkexpr(rounding_mode), get_fpr_w0(r2)));  in s390_irgen_SQEBR()
12658    assign(result, binop(Iop_SqrtF64, mkexpr(rounding_mode), get_fpr_dw0(r2)));  in s390_irgen_SQDBR()
12670    assign(result, binop(Iop_SqrtF128, mkexpr(rounding_mode),  in s390_irgen_SQXBR()
12683    assign(op, load(Ity_F32, mkexpr(op2addr)));  in s390_irgen_SQEB()
12695    assign(op, load(Ity_F64, mkexpr(op2addr)));  in s390_irgen_SQDB()
12709    assign(op1, get_fpr_pair(r1));  in s390_irgen_SXBR()
12710    assign(op2, get_fpr_pair(r2));  in s390_irgen_SXBR()
12711    assign(result, triop(Iop_SubF128, mkexpr(rounding_mode), mkexpr(op1),  in s390_irgen_SXBR()
12724    assign(value, get_fpr_w0(r1));  in s390_irgen_TCEB()
12736    assign(value, get_fpr_dw0(r1));  in s390_irgen_TCDB()
12748    assign(value, get_fpr_pair(r1));  in s390_irgen_TCXB()
12760    assign(result, unop(Iop_NegF64, get_fpr_dw0(r2)));  in s390_irgen_LCDFR()
12771    assign(result, unop(Iop_NegF64, unop(Iop_AbsF64, get_fpr_dw0(r2))));  in s390_irgen_LNDFR()
12782    assign(result, unop(Iop_AbsF64, get_fpr_dw0(r2)));  in s390_irgen_LPDFR()
12811    assign(sign, binop(Iop_And64, unop(Iop_ReinterpF64asI64, get_fpr_dw0(r3)),  in s390_irgen_CPSDR()
12813    assign(value, binop(Iop_And64, unop(Iop_ReinterpF64asI64, get_fpr_dw0(r2)),  in s390_irgen_CPSDR()
12901    assign(input, get_gpr_dw0(r2));  in s390_irgen_FLOGR()
12902    assign(not_zero, binop(Iop_Or64, mkexpr(input), mkU64(1)));  in s390_irgen_FLOGR()
12903    assign(tmpnum, unop(Iop_Clz64, mkexpr(not_zero)));  in s390_irgen_FLOGR()
12906    assign(num, mkite(binop(Iop_CmpEQ64, mkexpr(input), mkU64(0)),  in s390_irgen_FLOGR()
12921    assign(shift_amount, unop(Iop_64to8, binop(Iop_Add64, mkexpr(num),  in s390_irgen_FLOGR()
13045    assign(oldval, get_gpr_w1(r1));  in s390_irgen_CKSM()
13046    assign(addr, get_gpr_dw0(r2));  in s390_irgen_CKSM()
13047    assign(len, get_gpr_dw0(r2+1));  in s390_irgen_CKSM()
13057    assign(inc, mkite(binop(Iop_CmpLT64U, mkexpr(len), mkU64(4)),  in s390_irgen_CKSM()
13065    assign(mask, mkite(binop(Iop_CmpLT64U, mkexpr(len), mkU64(4)),  in s390_irgen_CKSM()
13078    assign(op, load(Ity_I32, mkexpr(addr)));  in s390_irgen_CKSM()
13079    assign(newop, binop(Iop_And32, mkexpr(op), mkexpr(mask)));  in s390_irgen_CKSM()
13080    assign(result, binop(Iop_Add32, mkexpr(newop), mkexpr(oldval)));  in s390_irgen_CKSM()
13083    assign(result1, mkite(binop(Iop_CmpLT32U, mkexpr(result), mkexpr(newop)),  in s390_irgen_CKSM()
13106    assign(src_addr, get_gpr_dw0(r2));  in s390_irgen_TROO()
13107    assign(des_addr, get_gpr_dw0(r1));  in s390_irgen_TROO()
13108    assign(tab_addr, get_gpr_dw0(1));  in s390_irgen_TROO()
13109    assign(src_len, get_gpr_dw0(r1+1));  in s390_irgen_TROO()
13110    assign(test_byte, get_gpr_b7(0));  in s390_irgen_TROO()
13122    assign(op, load(Ity_I8, mkexpr(src_addr)));  in s390_irgen_TROO()
13124    assign(result, binop(Iop_Add64, unop(Iop_8Uto64, mkexpr(op)),  in s390_irgen_TROO()
13126    assign(op1, load(Ity_I8, mkexpr(result)));  in s390_irgen_TROO()
13153    assign(src_addr, get_gpr_dw0(r2));  in s390_irgen_TRTO()
13154    assign(des_addr, get_gpr_dw0(r1));  in s390_irgen_TRTO()
13155    assign(tab_addr, get_gpr_dw0(1));  in s390_irgen_TRTO()
13156    assign(src_len, get_gpr_dw0(r1+1));  in s390_irgen_TRTO()
13157    assign(test_byte, get_gpr_b7(0));  in s390_irgen_TRTO()
13169    assign(op, load(Ity_I16, mkexpr(src_addr)));  in s390_irgen_TRTO()
13171    assign(result, binop(Iop_Add64, unop(Iop_16Uto64, mkexpr(op)),  in s390_irgen_TRTO()
13174    assign(op1, load(Ity_I8, mkexpr(result)));  in s390_irgen_TRTO()
13201    assign(src_addr, get_gpr_dw0(r2));  in s390_irgen_TROT()
13202    assign(des_addr, get_gpr_dw0(r1));  in s390_irgen_TROT()
13203    assign(tab_addr, get_gpr_dw0(1));  in s390_irgen_TROT()
13204    assign(src_len, get_gpr_dw0(r1+1));  in s390_irgen_TROT()
13205    assign(test_byte, get_gpr_hw3(0));  in s390_irgen_TROT()
13217    assign(op, binop(Iop_Shl8, load(Ity_I8, mkexpr(src_addr)), mkU8(1)));  in s390_irgen_TROT()
13219    assign(result, binop(Iop_Add64, unop(Iop_8Uto64, mkexpr(op)),   in s390_irgen_TROT()
13221    assign(op1, load(Ity_I16, mkexpr(result)));  in s390_irgen_TROT()
13248    assign(src_addr, get_gpr_dw0(r2));  in s390_irgen_TRTT()
13249    assign(des_addr, get_gpr_dw0(r1));  in s390_irgen_TRTT()
13250    assign(tab_addr, get_gpr_dw0(1));  in s390_irgen_TRTT()
13251    assign(src_len, get_gpr_dw0(r1+1));  in s390_irgen_TRTT()
13252    assign(test_byte, get_gpr_hw3(0));  in s390_irgen_TRTT()
13264    assign(op, binop(Iop_Shl16, load(Ity_I16, mkexpr(src_addr)), mkU8(1)));  in s390_irgen_TRTT()
13266    assign(result, binop(Iop_Add64, unop(Iop_16Uto64, mkexpr(op)),  in s390_irgen_TRTT()
13268    assign(op1, load(Ity_I16, mkexpr(result)));  in s390_irgen_TRTT()
13291    assign(len, mkU64(length));  in s390_irgen_TR()
13306    assign(src_addr, get_gpr_dw0(r1));  in s390_irgen_TRE()
13307    assign(src_len, get_gpr_dw0(r1+1));  in s390_irgen_TRE()
13308    assign(tab_addr, get_gpr_dw0(r2));  in s390_irgen_TRE()
13309    assign(test_byte, get_gpr_b7(0));  in s390_irgen_TRE()
13320    assign(op, load(Ity_I8, mkexpr(src_addr)));  in s390_irgen_TRE()
13325    assign(result, binop(Iop_Add64, unop(Iop_8Uto64, mkexpr(op)),   in s390_irgen_TRE()
13328    assign(op1, load(Ity_I8, mkexpr(result)));  in s390_irgen_TRE()
13361    assign(addr1, get_gpr_dw0(r1));  in s390_irgen_CU21()
13362    assign(addr2, get_gpr_dw0(r2));  in s390_irgen_CU21()
13363    assign(len1, get_gpr_dw0(r1 + 1));  in s390_irgen_CU21()
13364    assign(len2, get_gpr_dw0(r2 + 1));  in s390_irgen_CU21()
13374    assign(srcval, unop(Iop_16Uto32, load(Ity_I16, mkexpr(addr2))));  in s390_irgen_CU21()
13383    assign(is_high_surrogate, binop(Iop_And32, flag1, flag2));  in s390_irgen_CU21()
13399    assign(low_surrogate,  in s390_irgen_CU21()
13406    assign(retval, s390_call_cu21(unop(Iop_32Uto64, mkexpr(srcval)),  in s390_irgen_CU21()
13421    assign(num_bytes, binop(Iop_And64,  in s390_irgen_CU21()
13429    assign(data, binop(Iop_Shr64, mkexpr(retval), mkU8(16)));  in s390_irgen_CU21()
13451    assign(num_src_bytes,  in s390_irgen_CU21()
13488    assign(addr1, get_gpr_dw0(r1));  in s390_irgen_CU24()
13489    assign(addr2, get_gpr_dw0(r2));  in s390_irgen_CU24()
13490    assign(len1, get_gpr_dw0(r1 + 1));  in s390_irgen_CU24()
13491    assign(len2, get_gpr_dw0(r2 + 1));  in s390_irgen_CU24()
13501    assign(srcval, unop(Iop_16Uto32, load(Ity_I16, mkexpr(addr2))));  in s390_irgen_CU24()
13510    assign(is_high_surrogate, binop(Iop_And32, flag1, flag2));  in s390_irgen_CU24()
13527    assign(low_surrogate,  in s390_irgen_CU24()
13534    assign(retval, s390_call_cu24(unop(Iop_32Uto64, mkexpr(srcval)),  in s390_irgen_CU24()
13558    assign(num_src_bytes,  in s390_irgen_CU24()
13595    assign(addr1, get_gpr_dw0(r1));  in s390_irgen_CU42()
13596    assign(addr2, get_gpr_dw0(r2));  in s390_irgen_CU42()
13597    assign(len1, get_gpr_dw0(r1 + 1));  in s390_irgen_CU42()
13598    assign(len2, get_gpr_dw0(r2 + 1));  in s390_irgen_CU42()
13608    assign(srcval, load(Ity_I32, mkexpr(addr2)));  in s390_irgen_CU42()
13612    assign(retval, s390_call_cu42(unop(Iop_32Uto64, mkexpr(srcval))));  in s390_irgen_CU42()
13623    assign(num_bytes, binop(Iop_And64,  in s390_irgen_CU42()
13631    assign(data, binop(Iop_Shr64, mkexpr(retval), mkU8(16)));  in s390_irgen_CU42()
13689    assign(addr1, get_gpr_dw0(r1));  in s390_irgen_CU41()
13690    assign(addr2, get_gpr_dw0(r2));  in s390_irgen_CU41()
13691    assign(len1, get_gpr_dw0(r1 + 1));  in s390_irgen_CU41()
13692    assign(len2, get_gpr_dw0(r2 + 1));  in s390_irgen_CU41()
13702    assign(srcval, load(Ity_I32, mkexpr(addr2)));  in s390_irgen_CU41()
13706    assign(retval, s390_call_cu41(unop(Iop_32Uto64, mkexpr(srcval))));  in s390_irgen_CU41()
13717    assign(num_bytes, binop(Iop_And64,  in s390_irgen_CU41()
13725    assign(data, binop(Iop_Shr64, mkexpr(retval), mkU8(16)));  in s390_irgen_CU41()
13810    assign(addr1, get_gpr_dw0(r1));  in s390_irgen_cu12_cu14()
13811    assign(addr2, get_gpr_dw0(r2));  in s390_irgen_cu12_cu14()
13812    assign(len1, get_gpr_dw0(r1 + 1));  in s390_irgen_cu12_cu14()
13813    assign(len2, get_gpr_dw0(r2 + 1));  in s390_irgen_cu12_cu14()
13825    assign(byte1, unop(Iop_8Uto64, load(Ity_I8, mkexpr(addr2))));  in s390_irgen_cu12_cu14()
13829    assign(retval1, s390_call_cu12_cu14_helper1(mkexpr(byte1),  in s390_irgen_cu12_cu14()
13839    assign(num_src_bytes, binop(Iop_Shr64, mkexpr(retval1), mkU8(8)));  in s390_irgen_cu12_cu14()
13867       assign(retval2, s390_call_cu12_helper2(mkexpr(byte1), byte2, byte3,  in s390_irgen_cu12_cu14()
13870       assign(retval2, s390_call_cu14_helper2(mkexpr(byte1), byte2, byte3,  in s390_irgen_cu12_cu14()
13881    assign(num_bytes, binop(Iop_And64,  in s390_irgen_cu12_cu14()
13889    assign(data, binop(Iop_Shr64, mkexpr(retval2), mkU8(16)));  in s390_irgen_cu12_cu14()