Lines Matching refs:mkU64
212 mkU64(ULong value) in mkU64() function
369 mkU64(guest_IA_curr_instr))); in system_call()
486 mkIRExprVec_2(mkU64((ULong)text), value));
547 op = mkU64(opc); in s390_cc_thunk_put1()
549 dep2 = mkU64(0); in s390_cc_thunk_put1()
550 ndep = mkU64(0); in s390_cc_thunk_put1()
561 op = mkU64(opc); in s390_cc_thunk_put2()
564 ndep = mkU64(0); in s390_cc_thunk_put2()
586 op = mkU64(opc); in s390_cc_thunk_put3()
603 op = mkU64(opc); in s390_cc_thunk_put1f()
605 dep2 = mkU64(0); in s390_cc_thunk_put1f()
606 ndep = mkU64(0); in s390_cc_thunk_put1f()
619 op = mkU64(opc); in s390_cc_thunk_putFZ()
622 ndep = mkU64(0); in s390_cc_thunk_putFZ()
635 op = mkU64(opc); in s390_cc_thunk_put1f128()
638 ndep = mkU64(0); in s390_cc_thunk_put1f128()
651 op = mkU64(opc); in s390_cc_thunk_put1f128Z()
665 s390_cc_thunk_fill(mkU64(S390_CC_OP_SET), in s390_cc_set()
666 mkU64(val), mkU64(0), mkU64(0)); in s390_cc_set()
714 mask = mkU64(m); in s390_call_calculate_icc()
715 op = mkU64(opc); in s390_call_calculate_icc()
717 args = mkIRExprVec_5(mask, op, dep1, dep2, mkU64(0) /* unused */); in s390_call_calculate_icc()
735 mask = mkU64(m); in s390_call_calculate_cond()
1563 assign(op4addr, binop(Iop_Add64, mkU64(d4), b4 != 0 ? get_gpr_dw0(b4) : in s390_format_RIS_RURDI()
1564 mkU64(0))); in s390_format_RIS_RURDI()
1581 assign(op4addr, binop(Iop_Add64, mkU64(d4), b4 != 0 ? get_gpr_dw0(b4) : in s390_format_RIS_RURDU()
1582 mkU64(0))); in s390_format_RIS_RURDU()
1752 assign(op4addr, binop(Iop_Add64, mkU64(d4), b4 != 0 ? get_gpr_dw0(b4) : in s390_format_RRS()
1753 mkU64(0))); in s390_format_RRS()
1769 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) : in s390_format_RS_R0RD()
1770 mkU64(0))); in s390_format_RS_R0RD()
1785 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) : in s390_format_RS_RRRD()
1786 mkU64(0))); in s390_format_RS_RRRD()
1801 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) : in s390_format_RS_RURD()
1802 mkU64(0))); in s390_format_RS_RURD()
1817 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) : in s390_format_RS_AARD()
1818 mkU64(0))); in s390_format_RS_AARD()
1844 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2))); in s390_format_RSY_RRRD()
1846 mkU64(0))); in s390_format_RSY_RRRD()
1862 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2))); in s390_format_RSY_AARD()
1864 mkU64(0))); in s390_format_RSY_AARD()
1880 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2))); in s390_format_RSY_RURD()
1882 mkU64(0))); in s390_format_RSY_RURD()
1900 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2))); in s390_format_RSY_RDRM()
1902 mkU64(0))); in s390_format_RSY_RDRM()
1919 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2), in s390_format_RX()
1920 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) : in s390_format_RX()
1921 mkU64(0))); in s390_format_RX()
1933 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2), in s390_format_RX_RRRD()
1934 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) : in s390_format_RX_RRRD()
1935 mkU64(0))); in s390_format_RX_RRRD()
1950 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2), in s390_format_RX_FRRD()
1951 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) : in s390_format_RX_FRRD()
1952 mkU64(0))); in s390_format_RX_FRRD()
1967 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2), in s390_format_RXE_FRRD()
1968 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) : in s390_format_RXE_FRRD()
1969 mkU64(0))); in s390_format_RXE_FRRD()
1984 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2), in s390_format_RXF_FRRDF()
1985 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) : in s390_format_RXF_FRRDF()
1986 mkU64(0))); in s390_format_RXF_FRRDF()
2002 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2))); in s390_format_RXY_RRRD()
2004 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) : in s390_format_RXY_RRRD()
2005 mkU64(0))); in s390_format_RXY_RRRD()
2021 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2))); in s390_format_RXY_FRRD()
2023 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) : in s390_format_RXY_FRRD()
2024 mkU64(0))); in s390_format_RXY_FRRD()
2040 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2))); in s390_format_RXY_URRD()
2042 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) : in s390_format_RXY_URRD()
2043 mkU64(0))); in s390_format_RXY_URRD()
2058 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) : in s390_format_S_RD()
2059 mkU64(0))); in s390_format_S_RD()
2074 assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) : in s390_format_SI_URD()
2075 mkU64(0))); in s390_format_SI_URD()
2091 assign(d1, mkU64(((ULong)(Long)(Char)dh1 << 12) | ((ULong)dl1))); in s390_format_SIY_URD()
2093 mkU64(0))); in s390_format_SIY_URD()
2109 assign(d1, mkU64(((ULong)(Long)(Char)dh1 << 12) | ((ULong)dl1))); in s390_format_SIY_IRD()
2111 mkU64(0))); in s390_format_SIY_IRD()
2127 assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) : in s390_format_SS_L0RDRD()
2128 mkU64(0))); in s390_format_SS_L0RDRD()
2129 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) : in s390_format_SS_L0RDRD()
2130 mkU64(0))); in s390_format_SS_L0RDRD()
2145 assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) : in s390_format_SIL_RDI()
2146 mkU64(0))); in s390_format_SIL_RDI()
2161 assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) : in s390_format_SIL_RDU()
2162 mkU64(0))); in s390_format_SIL_RDU()
2346 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2))); in s390_irgen_AGFI()
2348 mkU64((ULong)op2))); in s390_irgen_AGFI()
2380 assign(result, binop(Iop_Add64, mkU64((ULong)op2), mkexpr(op3))); in s390_irgen_AGHIK()
2381 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, mktemp(Ity_I64, mkU64((ULong) in s390_irgen_AGHIK()
2414 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2))); in s390_irgen_AGSI()
2417 mkU64((ULong)op2))); in s390_irgen_AGSI()
2480 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2))); in s390_irgen_AGHI()
2482 mkU64((ULong)op2))); in s390_irgen_AGHI()
2707 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64(op2))); in s390_irgen_ALGFI()
2709 mkU64(op2))); in s390_irgen_ALGFI()
2851 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64(op2))); in s390_irgen_ALGSI()
2853 mkU64(op2))); in s390_irgen_ALGSI()
2885 assign(result, binop(Iop_Add64, mkU64(op2), mkexpr(op3))); in s390_irgen_ALGHSIK()
2886 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_64, mktemp(Ity_I64, mkU64(op2)), in s390_irgen_ALGHSIK()
3171 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 2ULL)); in s390_irgen_BASR()
3174 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 2ULL)); in s390_irgen_BASR()
3178 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 2ULL)); in s390_irgen_BASR()
3191 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 4ULL)); in s390_irgen_BAS()
3259 put_gpr_dw0(r1, binop(Iop_Sub64, get_gpr_dw0(r1), mkU64(1))); in s390_irgen_BCTGR()
3261 if_condition_goto_computed(binop(Iop_CmpNE64, get_gpr_dw0(r1), mkU64(0)), in s390_irgen_BCTGR()
3281 put_gpr_dw0(r1, binop(Iop_Sub64, get_gpr_dw0(r1), mkU64(1))); in s390_irgen_BCTG()
3282 if_condition_goto_computed(binop(Iop_CmpNE64, get_gpr_dw0(r1), mkU64(0)), in s390_irgen_BCTG()
3343 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 4ULL)); in s390_irgen_BRAS()
3352 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 6ULL)); in s390_irgen_BRASL()
3415 put_gpr_dw0(r1, binop(Iop_Sub64, get_gpr_dw0(r1), mkU64(1))); in s390_irgen_BRCTG()
3416 if_condition_goto(binop(Iop_CmpNE64, get_gpr_dw0(r1), mkU64(0)), in s390_irgen_BRCTG()
3588 mkU64((ULong)op2))); in s390_irgen_CGFI()
3600 assign(op2, load(Ity_I32, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int) in s390_irgen_CRL()
3614 assign(op2, load(Ity_I64, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int) in s390_irgen_CGRL()
3628 assign(op2, unop(Iop_32Sto64, load(Ity_I32, mkU64(guest_IA_curr_instr + in s390_irgen_CGFRL()
3774 mktemp(Ity_I64, mkU64((ULong)op2)))); in s390_irgen_CGIB()
3823 mktemp(Ity_I64, mkU64((ULong)op2)))); in s390_irgen_CGIJ()
3895 mkU64((ULong)op2))); in s390_irgen_CGHI()
3937 mkU64((ULong)op2))); in s390_irgen_CGHSI()
3949 assign(op2, unop(Iop_16Sto32, load(Ity_I16, mkU64(guest_IA_curr_instr + in s390_irgen_CHRL()
3963 assign(op2, unop(Iop_16Sto64, load(Ity_I16, mkU64(guest_IA_curr_instr + in s390_irgen_CGHRL()
4137 mkU64(op2))); in s390_irgen_CLGFI()
4193 mkU64(op2))); in s390_irgen_CLGHSI()
4219 assign(op2, load(Ity_I32, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int) in s390_irgen_CLRL()
4233 assign(op2, load(Ity_I64, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int) in s390_irgen_CLGRL()
4247 assign(op2, unop(Iop_32Uto64, load(Ity_I32, mkU64(guest_IA_curr_instr + in s390_irgen_CLGFRL()
4261 assign(op2, unop(Iop_16Uto32, load(Ity_I16, mkU64(guest_IA_curr_instr + in s390_irgen_CLHRL()
4275 assign(op2, unop(Iop_16Uto64, load(Ity_I16, mkU64(guest_IA_curr_instr + in s390_irgen_CLGHRL()
4419 mktemp(Ity_I64, mkU64(op2)))); in s390_irgen_CLGIB()
4468 mktemp(Ity_I64, mkU64(op2)))); in s390_irgen_CLGIJ()
4505 mkU64(n))))); in s390_irgen_CLM()
4514 mkU64(n))))); in s390_irgen_CLM()
4523 mkU64(n))))); in s390_irgen_CLM()
4567 mkU64(n))))); in s390_irgen_CLMY()
4576 mkU64(n))))); in s390_irgen_CLMY()
4585 mkU64(n))))); in s390_irgen_CLMY()
4629 mkU64(n))))); in s390_irgen_CLMH()
4638 mkU64(n))))); in s390_irgen_CLMH()
4647 mkU64(n))))); in s390_irgen_CLMH()
4755 assign(result, mkU64(0)); in s390_irgen_XGR()
4951 put_gpr_b5(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICM()
4956 put_gpr_b6(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICM()
4961 put_gpr_b7(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICM()
4986 put_gpr_b5(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICMY()
4991 put_gpr_b6(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICMY()
4996 put_gpr_b7(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICMY()
5021 put_gpr_b1(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICMH()
5026 put_gpr_b2(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICMH()
5031 put_gpr_b3(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICMH()
5149 put_gpr_dw0(r1, mkU64((ULong)(Long)(Int)i2)); in s390_irgen_LGFI()
5157 put_gpr_w1(r1, load(Ity_I32, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int) in s390_irgen_LRL()
5166 put_gpr_dw0(r1, load(Ity_I64, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int) in s390_irgen_LGRL()
5175 put_gpr_dw0(r1, unop(Iop_32Sto64, load(Ity_I32, mkU64(guest_IA_curr_instr + in s390_irgen_LGFRL()
5216 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)i2 << 1))); in s390_irgen_LARL()
5529 assign(result, binop(Iop_Sub64, mkU64((ULong)op1), mkexpr(op2))); in s390_irgen_LCGR()
5531 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_64, mktemp(Ity_I64, mkU64((ULong) in s390_irgen_LCGR()
5546 assign(result, binop(Iop_Sub64, mkU64((ULong)op1), mkexpr(op2))); in s390_irgen_LCGFR()
5548 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_64, mktemp(Ity_I64, mkU64((ULong) in s390_irgen_LCGFR()
5605 put_gpr_dw0(r1, mkU64((ULong)(Long)(Short)i2)); in s390_irgen_LGHI()
5613 put_gpr_w1(r1, unop(Iop_16Sto32, load(Ity_I16, mkU64(guest_IA_curr_instr + in s390_irgen_LHRL()
5622 put_gpr_dw0(r1, unop(Iop_16Sto64, load(Ity_I16, mkU64(guest_IA_curr_instr + in s390_irgen_LGHRL()
5663 put_gpr_dw0(r1, unop(Iop_32Uto64, load(Ity_I32, mkU64(guest_IA_curr_instr + in s390_irgen_LLGFRL()
5744 put_gpr_w1(r1, unop(Iop_16Uto32, load(Ity_I16, mkU64(guest_IA_curr_instr + in s390_irgen_LLHRL()
5753 put_gpr_dw0(r1, unop(Iop_16Uto64, load(Ity_I16, mkU64(guest_IA_curr_instr + in s390_irgen_LLGHRL()
5770 put_gpr_dw0(r1, mkU64(((ULong)i2) << 32)); in s390_irgen_LLIHF()
5778 put_gpr_dw0(r1, mkU64(((ULong)i2) << 48)); in s390_irgen_LLIHH()
5786 put_gpr_dw0(r1, mkU64(((ULong)i2) << 32)); in s390_irgen_LLIHL()
5794 put_gpr_dw0(r1, mkU64(i2)); in s390_irgen_LLILF()
5802 put_gpr_dw0(r1, mkU64(((ULong)i2) << 16)); in s390_irgen_LLILH()
5810 put_gpr_dw0(r1, mkU64(i2)); in s390_irgen_LLILL()
5855 assign(result, mkite(binop(Iop_CmpLE64S, mkexpr(op2), mkU64(0)), mkexpr(op2), in s390_irgen_LNGR()
5856 binop(Iop_Sub64, mkU64(0), mkexpr(op2)))); in s390_irgen_LNGR()
5870 assign(result, mkite(binop(Iop_CmpLE64S, mkexpr(op2), mkU64(0)), mkexpr(op2), in s390_irgen_LNGFR()
5871 binop(Iop_Sub64, mkU64(0), mkexpr(op2)))); in s390_irgen_LNGFR()
5918 put_gpr_dw0(r1 + 1, load(Ity_I64, binop(Iop_Add64, mkexpr(op2addr), mkU64(8)) in s390_irgen_LPQ()
5946 assign(result, mkite(binop(Iop_CmpLT64S, mkexpr(op2), mkU64(0)), in s390_irgen_LPGR()
5947 binop(Iop_Sub64, mkU64(0), mkexpr(op2)), mkexpr(op2))); in s390_irgen_LPGR()
5961 assign(result, mkite(binop(Iop_CmpLT64S, mkexpr(op2), mkU64(0)), in s390_irgen_LPGFR()
5962 binop(Iop_Sub64, mkU64(0), mkexpr(op2)), mkexpr(op2))); in s390_irgen_LPGFR()
6056 put_gpr_b0(r1, unop(Iop_64to8, binop(Iop_And64, mkexpr(op2), mkU64(255)))); in s390_irgen_LRVG()
6058 mkU8(8)), mkU64(255)))); in s390_irgen_LRVG()
6060 mkU8(16)), mkU64(255)))); in s390_irgen_LRVG()
6062 mkU8(24)), mkU64(255)))); in s390_irgen_LRVG()
6064 mkU8(32)), mkU64(255)))); in s390_irgen_LRVG()
6066 mkU8(40)), mkU64(255)))); in s390_irgen_LRVG()
6068 mkU8(48)), mkU64(255)))); in s390_irgen_LRVG()
6070 mkU8(56)), mkU64(255)))); in s390_irgen_LRVG()
6094 store(mkexpr(op1addr), mkU64((ULong)(Long)(Short)i2)); in s390_irgen_MVGHI()
6689 assign(amount, binop(Iop_And64, mkexpr(op2addr), mkU64(31))); in s390_irgen_RLL()
6693 binop(Iop_Sub64, mkU64(32), mkexpr(amount)))))); in s390_irgen_RLL()
6704 assign(amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63))); in s390_irgen_RLLG()
6708 binop(Iop_Sub64, mkU64(64), mkexpr(amount)))))); in s390_irgen_RLLG()
6742 ), mkU64(mask))); in s390_irgen_RNSBG()
6745 mkU64(maskc)), mkexpr(result))); in s390_irgen_RNSBG()
6781 ), mkU64(mask))); in s390_irgen_RXSBG()
6784 mkU64(maskc)), mkexpr(result))); in s390_irgen_RXSBG()
6820 ), mkU64(mask))); in s390_irgen_ROSBG()
6823 mkU64(maskc)), mkexpr(result))); in s390_irgen_ROSBG()
6860 mkU64(maskc)), binop(Iop_And64, mkexpr(op2), mkU64(mask)))); in s390_irgen_RISBG()
6862 put_gpr_dw0(r1, binop(Iop_And64, mkexpr(op2), mkU64(mask))); in s390_irgen_RISBG()
6895 assign(shift_amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63))); in s390_irgen_SLDA()
6897 unop(Iop_64to8, mkexpr(shift_amount))), mkU64(~sign_mask)), in s390_irgen_SLDA()
6898 binop(Iop_And64, mkexpr(op), mkU64(sign_mask)))); in s390_irgen_SLDA()
6917 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SLDL()
6936 assign(shift_amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63))); in s390_irgen_SLA()
6958 assign(shift_amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63))); in s390_irgen_SLAK()
6980 assign(shift_amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63))); in s390_irgen_SLAG()
6982 unop(Iop_64to8, mkexpr(shift_amount))), mkU64(~sign_mask)), in s390_irgen_SLAG()
6983 binop(Iop_And64, mkexpr(uop), mkU64(sign_mask)))); in s390_irgen_SLAG()
6994 binop(Iop_And64, mkexpr(op2addr), mkU64(63))))); in s390_irgen_SLL()
7003 binop(Iop_And64, mkexpr(op2addr), mkU64(63))))); in s390_irgen_SLLK()
7012 binop(Iop_And64, mkexpr(op2addr), mkU64(63))))); in s390_irgen_SLLG()
7028 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SRDA()
7047 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SRDL()
7062 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SRA()
7077 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SRAK()
7092 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SRAG()
7106 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SRL()
7118 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SRLK()
7130 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SRLG()
7162 store(mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)i2 << 1)), in s390_irgen_STRL()
7171 store(mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)i2 << 1)), in s390_irgen_STGRL()
7214 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b5(r1)); in s390_irgen_STCM()
7218 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b6(r1)); in s390_irgen_STCM()
7222 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b7(r1)); in s390_irgen_STCM()
7241 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b5(r1)); in s390_irgen_STCMY()
7245 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b6(r1)); in s390_irgen_STCMY()
7249 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b7(r1)); in s390_irgen_STCMY()
7268 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b1(r1)); in s390_irgen_STCMH()
7272 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b2(r1)); in s390_irgen_STCMH()
7276 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b3(r1)); in s390_irgen_STCMH()
7301 store(mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)i2 << 1)), in s390_irgen_STHRL()
7345 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(8)), get_gpr_dw0(r1 + 1)); in s390_irgen_STPQ()
7354 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(1)), get_gpr_b6(r1)); in s390_irgen_STRVH()
7363 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(1)), get_gpr_b6(r1)); in s390_irgen_STRV()
7364 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(2)), get_gpr_b5(r1)); in s390_irgen_STRV()
7365 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(3)), get_gpr_b4(r1)); in s390_irgen_STRV()
7374 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(1)), get_gpr_b6(r1)); in s390_irgen_STRVG()
7375 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(2)), get_gpr_b5(r1)); in s390_irgen_STRVG()
7376 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(3)), get_gpr_b4(r1)); in s390_irgen_STRVG()
7377 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(4)), get_gpr_b3(r1)); in s390_irgen_STRVG()
7378 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(5)), get_gpr_b2(r1)); in s390_irgen_STRVG()
7379 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(6)), get_gpr_b1(r1)); in s390_irgen_STRVG()
7380 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(7)), get_gpr_b0(r1)); in s390_irgen_STRVG()
7763 assign(result, binop(Iop_Sub64, mkexpr(op1), mkU64(op2))); in s390_irgen_SLGFI()
7765 mkU64(op2))); in s390_irgen_SLGFI()
7889 assign(sysno, mkU64(i)); in s390_irgen_SVC()
8596 assign(len, mkU64(length)); in s390_irgen_CLC()
8637 mkU64(guest_IA_curr_instr), mkexpr(addr1))); in s390_irgen_CLCL()
8644 mkU64(guest_IA_curr_instr), mkexpr(addr2))); in s390_irgen_CLCL()
8657 binop(Iop_Add64, mkexpr(addr1), mkU64(1)))); in s390_irgen_CLCL()
8669 binop(Iop_Add64, mkexpr(addr2), mkU64(1)))); in s390_irgen_CLCL()
8704 mkexpr(len3)), mkU64(0))); in s390_irgen_CLCLE()
8710 mkite(binop(Iop_CmpEQ64, mkexpr(len1), mkU64(0)), in s390_irgen_CLCLE()
8711 mkU64(guest_IA_curr_instr), mkexpr(addr1))); in s390_irgen_CLCLE()
8715 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)), in s390_irgen_CLCLE()
8716 mkU64(guest_IA_curr_instr), mkexpr(addr3))); in s390_irgen_CLCLE()
8719 mkite(binop(Iop_CmpEQ64, mkexpr(len1), mkU64(0)), in s390_irgen_CLCLE()
8724 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)), in s390_irgen_CLCLE()
8734 mkite(binop(Iop_CmpEQ64, mkexpr(len1), mkU64(0)), in s390_irgen_CLCLE()
8736 binop(Iop_Add64, mkexpr(addr1), mkU64(1)))); in s390_irgen_CLCLE()
8739 mkite(binop(Iop_CmpEQ64, mkexpr(len1), mkU64(0)), in s390_irgen_CLCLE()
8740 mkU64(0), binop(Iop_Sub64, mkexpr(len1), mkU64(1)))); in s390_irgen_CLCLE()
8743 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)), in s390_irgen_CLCLE()
8745 binop(Iop_Add64, mkexpr(addr3), mkU64(1)))); in s390_irgen_CLCLE()
8748 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)), in s390_irgen_CLCLE()
8749 mkU64(0), binop(Iop_Sub64, mkexpr(len3), mkU64(1)))); in s390_irgen_CLCLE()
8786 put_counter_dw0(mkU64(0)); in s390_irgen_CLC_EX()
8799 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1))); in s390_irgen_CLC_EX()
8801 put_counter_dw0(mkU64(0)); in s390_irgen_CLC_EX()
8815 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1))); in s390_irgen_MVC_EX()
8817 put_counter_dw0(mkU64(0)); in s390_irgen_MVC_EX()
8837 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1))); in s390_irgen_TR_EX()
8839 put_counter_dw0(mkU64(0)); in s390_irgen_TR_EX()
8872 assign(cond, binop(Iop_CmpNE64, mkexpr(torun), mkU64(last_execute_target))); in s390_irgen_EX_SS()
8881 mkU64(guest_IA_curr_instr))); in s390_irgen_EX_SS()
8882 stmt(IRStmt_Put(S390X_GUEST_OFFSET(guest_TILEN), mkU64(4))); in s390_irgen_EX_SS()
8886 assign(start1, binop(Iop_Add64, mkU64(ss.dec.d1), in s390_irgen_EX_SS()
8887 ss.dec.b1 != 0 ? get_gpr_dw0(ss.dec.b1) : mkU64(0))); in s390_irgen_EX_SS()
8888 assign(start2, binop(Iop_Add64, mkU64(ss.dec.d2), in s390_irgen_EX_SS()
8889 ss.dec.b2 != 0 ? get_gpr_dw0(ss.dec.b2) : mkU64(0))); in s390_irgen_EX_SS()
8912 mkU64(guest_IA_curr_instr))); in s390_irgen_EX()
8913 stmt(IRStmt_Put(S390X_GUEST_OFFSET(guest_TILEN), mkU64(4))); in s390_irgen_EX()
8968 assign(orperand, mkU64(0)); in s390_irgen_EX()
8977 mkU64(last_execute_target))); in s390_irgen_EX()
8985 stmt(IRStmt_Put(S390X_GUEST_OFFSET(guest_TISTART), mkU64(guest_IA_curr_instr))); in s390_irgen_EX()
8986 stmt(IRStmt_Put(S390X_GUEST_OFFSET(guest_TILEN), mkU64(4))); in s390_irgen_EX()
9010 assign(addr, mkU64(guest_IA_curr_instr + offset * 2UL)); in s390_irgen_EXRL()
9039 put_counter_dw0(mkU64(0)); in s390_irgen_SRST()
9055 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1))); in s390_irgen_SRST()
9057 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(address), mkU64(1))); in s390_irgen_SRST()
9078 put_counter_dw0(mkU64(0)); in s390_irgen_CLST()
9113 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1))); in s390_irgen_CLST()
9114 put_gpr_dw0(r1, binop(Iop_Add64, get_gpr_dw0(r1), mkU64(1))); in s390_irgen_CLST()
9115 put_gpr_dw0(r2, binop(Iop_Add64, get_gpr_dw0(r2), mkU64(1))); in s390_irgen_CLST()
9136 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4))); in s390_irgen_load_multiple_32bit()
9171 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4))); in s390_irgen_LMH()
9192 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(8))); in s390_irgen_LMG()
9213 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4))); in s390_irgen_store_multiple_32bit()
9248 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4))); in s390_irgen_STMH()
9269 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(8))); in s390_irgen_STMG()
9310 put_counter_dw0(mkU64(0)); in s390_irgen_xonc()
9332 binop(Iop_Add64, mkU64(d), b != 0 ? get_gpr_dw0(b) : mkU64(0))); in s390_irgen_XC_sameloc()
9338 store(binop(Iop_Add64, mkexpr(start), mkU64(i)), mkU8(0)); in s390_irgen_XC_sameloc()
9353 put_counter_dw0(mkU64(0)); in s390_irgen_XC_sameloc()
9390 assign(len, mkU64(length)); in s390_irgen_MVC()
9449 mkU64(guest_IA_curr_instr), mkexpr(addr2))); in s390_irgen_MVCL()
9457 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkU64(1))); in s390_irgen_MVCL()
9464 binop(Iop_Add64, mkexpr(addr2), mkU64(1)))); in s390_irgen_MVCL()
9498 next_insn_if(binop(Iop_CmpEQ64,mkexpr(len1), mkU64(0))); in s390_irgen_MVCLE()
9504 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)), in s390_irgen_MVCLE()
9505 mkU64(guest_IA_curr_instr), mkexpr(addr3))); in s390_irgen_MVCLE()
9508 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)), in s390_irgen_MVCLE()
9513 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkU64(1))); in s390_irgen_MVCLE()
9515 put_gpr_dw0(r1 + 1, binop(Iop_Sub64, mkexpr(len1), mkU64(1))); in s390_irgen_MVCLE()
9518 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)), in s390_irgen_MVCLE()
9520 binop(Iop_Add64, mkexpr(addr3), mkU64(1)))); in s390_irgen_MVCLE()
9523 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)), in s390_irgen_MVCLE()
9524 mkU64(0), binop(Iop_Sub64, mkexpr(len3), mkU64(1)))); in s390_irgen_MVCLE()
9527 iterate_if(binop(Iop_CmpNE64, mkexpr(len1), mkU64(1))); in s390_irgen_MVCLE()
9549 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1))); in s390_irgen_MVST()
9555 put_counter_dw0(mkU64(0)); in s390_irgen_MVST()
9734 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4))); in s390_irgen_load_ar_multiple()
9769 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4))); in s390_irgen_store_ar_multiple()
9967 mkU64(0)))); in s390_irgen_CDSG()
10628 mkU64(1ULL << 63))); in s390_irgen_CPSDR()
10630 mkU64((1ULL << 63) - 1))); in s390_irgen_CPSDR()
10718 assign(not_zero, binop(Iop_Or64, mkexpr(input), mkU64(1))); in s390_irgen_FLOGR()
10722 assign(num, mkite(binop(Iop_CmpEQ64, mkexpr(input), mkU64(0)), in s390_irgen_FLOGR()
10723 /* == 0 */ mkU64(64), in s390_irgen_FLOGR()
10738 mkU64(1)))); in s390_irgen_FLOGR()
10741 mkite(binop(Iop_CmpLE64U, mkexpr(input), mkU64(1)), in s390_irgen_FLOGR()
10742 /* == 0 || == 1*/ mkU64(0), in s390_irgen_FLOGR()
10751 mktemp(Ity_I64, mkU64(0)), False); in s390_irgen_FLOGR()
10769 s390_cc_thunk_fill(mkU64(S390_CC_OP_SET), in s390_irgen_STCK()
10770 mkexpr(cc), mkU64(0), mkU64(0)); in s390_irgen_STCK()
10787 s390_cc_thunk_fill(mkU64(S390_CC_OP_SET), in s390_irgen_STCKF()
10788 mkexpr(cc), mkU64(0), mkU64(0)); in s390_irgen_STCKF()
10805 s390_cc_thunk_fill(mkU64(S390_CC_OP_SET), in s390_irgen_STCKE()
10806 mkexpr(cc), mkU64(0), mkU64(0)); in s390_irgen_STCKE()
10836 s390_cc_thunk_fill(mkU64(S390_CC_OP_SET), mkexpr(cc), mkU64(0), mkU64(0)); in s390_irgen_STFLE()
10862 next_insn_if(binop(Iop_CmpEQ64, mkexpr(len), mkU64(0))); in s390_irgen_CKSM()
10866 assign(inc, mkite(binop(Iop_CmpLT64U, mkexpr(len), mkU64(4)), in s390_irgen_CKSM()
10867 mkexpr(len), mkU64(4))); in s390_irgen_CKSM()
10874 assign(mask, mkite(binop(Iop_CmpLT64U, mkexpr(len), mkU64(4)), in s390_irgen_CKSM()
10883 mkexpr(len), mkU64(3))), in s390_irgen_CKSM()
10900 iterate_if(binop(Iop_CmpNE64, mkexpr(len), mkU64(0))); in s390_irgen_CKSM()
10927 next_insn_if(binop(Iop_CmpEQ64, mkexpr(src_len), mkU64(0))); in s390_irgen_TROO()
10943 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(1))); in s390_irgen_TROO()
10944 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(src_addr), mkU64(1))); in s390_irgen_TROO()
10945 put_gpr_dw0(r1+1, binop(Iop_Sub64, mkexpr(src_len), mkU64(1))); in s390_irgen_TROO()
10974 next_insn_if(binop(Iop_CmpEQ64, mkexpr(src_len), mkU64(0))); in s390_irgen_TRTO()
10991 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(src_addr), mkU64(2))); in s390_irgen_TRTO()
10992 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(1))); in s390_irgen_TRTO()
10993 put_gpr_dw0(r1+1, binop(Iop_Sub64, mkexpr(src_len), mkU64(2))); in s390_irgen_TRTO()
11022 next_insn_if(binop(Iop_CmpEQ64, mkexpr(src_len), mkU64(0))); in s390_irgen_TROT()
11038 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(src_addr), mkU64(1))); in s390_irgen_TROT()
11039 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(2))); in s390_irgen_TROT()
11040 put_gpr_dw0(r1+1, binop(Iop_Sub64, mkexpr(src_len), mkU64(1))); in s390_irgen_TROT()
11069 next_insn_if(binop(Iop_CmpEQ64, mkexpr(src_len), mkU64(0))); in s390_irgen_TRTT()
11086 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(src_addr), mkU64(2))); in s390_irgen_TRTT()
11087 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(2))); in s390_irgen_TRTT()
11088 put_gpr_dw0(r1+1, binop(Iop_Sub64, mkexpr(src_len), mkU64(2))); in s390_irgen_TRTT()
11100 assign(len, mkU64(length)); in s390_irgen_TR()
11126 next_insn_if(binop(Iop_CmpEQ64, mkexpr(src_len), mkU64(0))); in s390_irgen_TRE()
11140 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(src_addr), mkU64(1))); in s390_irgen_TRE()
11141 put_gpr_dw0(r1+1, binop(Iop_Sub64, mkexpr(src_len), mkU64(1))); in s390_irgen_TRE()
11179 next_insn_if(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(2))); in s390_irgen_CU21()
11197 mkite(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(4)), mkU32(1), mkU32(0)); in s390_irgen_CU21()
11206 IRExpr *low_surrogate_addr = binop(Iop_Add64, mkexpr(addr2), mkU64(2)); in s390_irgen_CU21()
11222 binop(Iop_And64, mkexpr(retval), mkU64(0xff)); in s390_irgen_CU21()
11225 next_insn_if(binop(Iop_CmpEQ64, invalid_low_surrogate, mkU64(1))); in s390_irgen_CU21()
11232 mkU64(0xff))); in s390_irgen_CU21()
11251 d->guard = binop(Iop_CmpEQ64, mkexpr(num_bytes), mkU64(i)); in s390_irgen_CU21()
11262 mkU64(4), mkU64(2))); in s390_irgen_CU21()
11306 next_insn_if(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(2))); in s390_irgen_CU24()
11324 mkite(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(4)), mkU32(1), mkU32(0)); in s390_irgen_CU24()
11334 IRExpr *low_surrogate_addr = binop(Iop_Add64, mkexpr(addr2), mkU64(2)); in s390_irgen_CU24()
11350 binop(Iop_And64, mkexpr(retval), mkU64(0xff)); in s390_irgen_CU24()
11353 next_insn_if(binop(Iop_CmpEQ64, invalid_low_surrogate, mkU64(1))); in s390_irgen_CU24()
11358 next_insn_if(binop(Iop_CmpLT64U, mkexpr(len1), mkU64(4))); in s390_irgen_CU24()
11369 mkU64(4), mkU64(2))); in s390_irgen_CU24()
11374 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkU64(4))); in s390_irgen_CU24()
11375 put_gpr_dw0(r1 + 1, binop(Iop_Sub64, mkexpr(len1), mkU64(4))); in s390_irgen_CU24()
11413 next_insn_if(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(4))); in s390_irgen_CU42()
11425 IRExpr *invalid_character = binop(Iop_And64, mkexpr(retval), mkU64(0xff)); in s390_irgen_CU42()
11428 next_insn_if(binop(Iop_CmpEQ64, invalid_character, mkU64(1))); in s390_irgen_CU42()
11434 mkU64(0xff))); in s390_irgen_CU42()
11456 d->guard = binop(Iop_CmpEQ64, mkexpr(num_bytes), mkU64(i)); in s390_irgen_CU42()
11464 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(addr2), mkU64(4))); in s390_irgen_CU42()
11465 put_gpr_dw0(r2 + 1, binop(Iop_Sub64, mkexpr(len2), mkU64(4))); in s390_irgen_CU42()
11507 next_insn_if(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(4))); in s390_irgen_CU41()
11519 IRExpr *invalid_character = binop(Iop_And64, mkexpr(retval), mkU64(0xff)); in s390_irgen_CU41()
11522 next_insn_if(binop(Iop_CmpEQ64, invalid_character, mkU64(1))); in s390_irgen_CU41()
11528 mkU64(0xff))); in s390_irgen_CU41()
11547 d->guard = binop(Iop_CmpEQ64, mkexpr(num_bytes), mkU64(i)); in s390_irgen_CU41()
11555 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(addr2), mkU64(4))); in s390_irgen_CU41()
11556 put_gpr_dw0(r2 + 1, binop(Iop_Sub64, mkexpr(len2), mkU64(4))); in s390_irgen_CU41()
11630 next_insn_if(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(1))); in s390_irgen_cu12_cu14()
11639 mkU64(extended_checking))); in s390_irgen_cu12_cu14()
11657 cond = binop(Iop_CmpLE64U, mkU64(2), mkexpr(num_src_bytes)); in s390_irgen_cu12_cu14()
11658 addr = binop(Iop_Add64, mkexpr(addr2), mkU64(1)); in s390_irgen_cu12_cu14()
11659 byte2 = mkite(cond, unop(Iop_8Uto64, load(Ity_I8, addr)), mkU64(0)); in s390_irgen_cu12_cu14()
11660 cond = binop(Iop_CmpLE64U, mkU64(3), mkexpr(num_src_bytes)); in s390_irgen_cu12_cu14()
11661 addr = binop(Iop_Add64, mkexpr(addr2), mkU64(2)); in s390_irgen_cu12_cu14()
11662 byte3 = mkite(cond, unop(Iop_8Uto64, load(Ity_I8, addr)), mkU64(0)); in s390_irgen_cu12_cu14()
11663 cond = binop(Iop_CmpLE64U, mkU64(4), mkexpr(num_src_bytes)); in s390_irgen_cu12_cu14()
11664 addr = binop(Iop_Add64, mkexpr(addr2), mkU64(3)); in s390_irgen_cu12_cu14()
11665 byte4 = mkite(cond, unop(Iop_8Uto64, load(Ity_I8, addr)), mkU64(0)); in s390_irgen_cu12_cu14()
11672 mkU64(extended_checking)); in s390_irgen_cu12_cu14()
11692 mkU64(0xff))); in s390_irgen_cu12_cu14()
11715 d->guard = binop(Iop_CmpEQ64, mkexpr(num_bytes), mkU64(i)); in s390_irgen_cu12_cu14()