Lines Matching refs:mkU64
197 mkU64(ULong value) in mkU64() function
260 irsb->next = mkU64(callee_address); in call_function_and_chase()
330 irsb->next = mkU64(target); in always_goto_and_chase()
344 stmt(IRStmt_Put(OFFSET_s390x_IP_AT_SYSCALL, mkU64(guest_IA_curr_instr))); in system_call()
349 irsb->next = mkU64(guest_IA_next_instr); in system_call()
457 op = mkU64(opc); in s390_cc_thunk_put1()
459 dep2 = mkU64(0); in s390_cc_thunk_put1()
460 ndep = mkU64(0); in s390_cc_thunk_put1()
471 op = mkU64(opc); in s390_cc_thunk_put2()
474 ndep = mkU64(0); in s390_cc_thunk_put2()
496 op = mkU64(opc); in s390_cc_thunk_put3()
513 op = mkU64(opc); in s390_cc_thunk_put1f()
515 dep2 = mkU64(0); in s390_cc_thunk_put1f()
516 ndep = mkU64(0); in s390_cc_thunk_put1f()
529 op = mkU64(opc); in s390_cc_thunk_putFZ()
532 ndep = mkU64(0); in s390_cc_thunk_putFZ()
545 op = mkU64(opc); in s390_cc_thunk_put1f128()
548 ndep = mkU64(0); in s390_cc_thunk_put1f128()
561 op = mkU64(opc); in s390_cc_thunk_put1f128Z()
575 s390_cc_thunk_fill(mkU64(S390_CC_OP_SET), in s390_cc_set()
576 mkU64(val), mkU64(0), mkU64(0)); in s390_cc_set()
609 op = mkU64(opc); in s390_call_calculate_icc()
631 mask = mkU64(m); in s390_call_calculate_cond()
1465 assign(op4addr, binop(Iop_Add64, mkU64(d4), b4 != 0 ? get_gpr_dw0(b4) : in s390_format_RIS_RURDI()
1466 mkU64(0))); in s390_format_RIS_RURDI()
1483 assign(op4addr, binop(Iop_Add64, mkU64(d4), b4 != 0 ? get_gpr_dw0(b4) : in s390_format_RIS_RURDU()
1484 mkU64(0))); in s390_format_RIS_RURDU()
1644 assign(op4addr, binop(Iop_Add64, mkU64(d4), b4 != 0 ? get_gpr_dw0(b4) : in s390_format_RRS()
1645 mkU64(0))); in s390_format_RRS()
1661 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) : in s390_format_RS_R0RD()
1662 mkU64(0))); in s390_format_RS_R0RD()
1677 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) : in s390_format_RS_RRRD()
1678 mkU64(0))); in s390_format_RS_RRRD()
1693 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) : in s390_format_RS_RURD()
1694 mkU64(0))); in s390_format_RS_RURD()
1709 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) : in s390_format_RS_AARD()
1710 mkU64(0))); in s390_format_RS_AARD()
1736 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2))); in s390_format_RSY_RRRD()
1738 mkU64(0))); in s390_format_RSY_RRRD()
1754 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2))); in s390_format_RSY_AARD()
1756 mkU64(0))); in s390_format_RSY_AARD()
1772 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2))); in s390_format_RSY_RURD()
1774 mkU64(0))); in s390_format_RSY_RURD()
1792 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2))); in s390_format_RSY_RDRM()
1794 mkU64(0))); in s390_format_RSY_RDRM()
1809 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2), in s390_format_RX()
1810 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) : in s390_format_RX()
1811 mkU64(0))); in s390_format_RX()
1823 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2), in s390_format_RX_RRRD()
1824 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) : in s390_format_RX_RRRD()
1825 mkU64(0))); in s390_format_RX_RRRD()
1840 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2), in s390_format_RX_FRRD()
1841 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) : in s390_format_RX_FRRD()
1842 mkU64(0))); in s390_format_RX_FRRD()
1857 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2), in s390_format_RXE_FRRD()
1858 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) : in s390_format_RXE_FRRD()
1859 mkU64(0))); in s390_format_RXE_FRRD()
1874 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2), in s390_format_RXF_FRRDF()
1875 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) : in s390_format_RXF_FRRDF()
1876 mkU64(0))); in s390_format_RXF_FRRDF()
1892 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2))); in s390_format_RXY_RRRD()
1894 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) : in s390_format_RXY_RRRD()
1895 mkU64(0))); in s390_format_RXY_RRRD()
1911 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2))); in s390_format_RXY_FRRD()
1913 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) : in s390_format_RXY_FRRD()
1914 mkU64(0))); in s390_format_RXY_FRRD()
1930 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2))); in s390_format_RXY_URRD()
1932 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) : in s390_format_RXY_URRD()
1933 mkU64(0))); in s390_format_RXY_URRD()
1948 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) : in s390_format_S_RD()
1949 mkU64(0))); in s390_format_S_RD()
1964 assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) : in s390_format_SI_URD()
1965 mkU64(0))); in s390_format_SI_URD()
1981 assign(d1, mkU64(((ULong)(Long)(Char)dh1 << 12) | ((ULong)dl1))); in s390_format_SIY_URD()
1983 mkU64(0))); in s390_format_SIY_URD()
1999 assign(d1, mkU64(((ULong)(Long)(Char)dh1 << 12) | ((ULong)dl1))); in s390_format_SIY_IRD()
2001 mkU64(0))); in s390_format_SIY_IRD()
2017 assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) : in s390_format_SS_L0RDRD()
2018 mkU64(0))); in s390_format_SS_L0RDRD()
2019 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) : in s390_format_SS_L0RDRD()
2020 mkU64(0))); in s390_format_SS_L0RDRD()
2035 assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) : in s390_format_SIL_RDI()
2036 mkU64(0))); in s390_format_SIL_RDI()
2051 assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) : in s390_format_SIL_RDU()
2052 mkU64(0))); in s390_format_SIL_RDU()
2256 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2))); in s390_irgen_AGFI()
2258 mkU64((ULong)op2))); in s390_irgen_AGFI()
2290 assign(result, binop(Iop_Add64, mkU64((ULong)op2), mkexpr(op3))); in s390_irgen_AGHIK()
2291 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, mktemp(Ity_I64, mkU64((ULong) in s390_irgen_AGHIK()
2324 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2))); in s390_irgen_AGSI()
2327 mkU64((ULong)op2))); in s390_irgen_AGSI()
2390 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2))); in s390_irgen_AGHI()
2392 mkU64((ULong)op2))); in s390_irgen_AGHI()
2617 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64(op2))); in s390_irgen_ALGFI()
2619 mkU64(op2))); in s390_irgen_ALGFI()
2761 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64(op2))); in s390_irgen_ALGSI()
2763 mkU64(op2))); in s390_irgen_ALGSI()
2795 assign(result, binop(Iop_Add64, mkU64(op2), mkexpr(op3))); in s390_irgen_ALGHSIK()
2796 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_64, mktemp(Ity_I64, mkU64(op2)), in s390_irgen_ALGHSIK()
3081 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 2ULL)); in s390_irgen_BASR()
3084 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 2ULL)); in s390_irgen_BASR()
3088 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 2ULL)); in s390_irgen_BASR()
3101 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 4ULL)); in s390_irgen_BAS()
3169 put_gpr_dw0(r1, binop(Iop_Sub64, get_gpr_dw0(r1), mkU64(1))); in s390_irgen_BCTGR()
3172 mkU64(0)), get_gpr_dw0(r2)); in s390_irgen_BCTGR()
3191 put_gpr_dw0(r1, binop(Iop_Sub64, get_gpr_dw0(r1), mkU64(1))); in s390_irgen_BCTG()
3192 if_not_condition_goto_computed(binop(Iop_CmpEQ64, get_gpr_dw0(r1), mkU64(0)), in s390_irgen_BCTG()
3253 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 4ULL)); in s390_irgen_BRAS()
3262 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 6ULL)); in s390_irgen_BRASL()
3325 put_gpr_dw0(r1, binop(Iop_Sub64, get_gpr_dw0(r1), mkU64(1))); in s390_irgen_BRCTG()
3326 if_condition_goto(binop(Iop_CmpNE64, get_gpr_dw0(r1), mkU64(0)), in s390_irgen_BRCTG()
3498 mkU64((ULong)op2))); in s390_irgen_CGFI()
3510 assign(op2, load(Ity_I32, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int) in s390_irgen_CRL()
3524 assign(op2, load(Ity_I64, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int) in s390_irgen_CGRL()
3538 assign(op2, unop(Iop_32Sto64, load(Ity_I32, mkU64(guest_IA_curr_instr + in s390_irgen_CGFRL()
3700 mktemp(Ity_I64, mkU64((ULong)op2)))); in s390_irgen_CGIB()
3755 mktemp(Ity_I64, mkU64((ULong)op2)))); in s390_irgen_CGIJ()
3829 mkU64((ULong)op2))); in s390_irgen_CGHI()
3871 mkU64((ULong)op2))); in s390_irgen_CGHSI()
3883 assign(op2, unop(Iop_16Sto32, load(Ity_I16, mkU64(guest_IA_curr_instr + in s390_irgen_CHRL()
3897 assign(op2, unop(Iop_16Sto64, load(Ity_I16, mkU64(guest_IA_curr_instr + in s390_irgen_CGHRL()
4071 mkU64(op2))); in s390_irgen_CLGFI()
4127 mkU64(op2))); in s390_irgen_CLGHSI()
4153 assign(op2, load(Ity_I32, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int) in s390_irgen_CLRL()
4167 assign(op2, load(Ity_I64, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int) in s390_irgen_CLGRL()
4181 assign(op2, unop(Iop_32Uto64, load(Ity_I32, mkU64(guest_IA_curr_instr + in s390_irgen_CLGFRL()
4195 assign(op2, unop(Iop_16Uto32, load(Ity_I16, mkU64(guest_IA_curr_instr + in s390_irgen_CLHRL()
4209 assign(op2, unop(Iop_16Uto64, load(Ity_I16, mkU64(guest_IA_curr_instr + in s390_irgen_CLGHRL()
4369 mktemp(Ity_I64, mkU64(op2)))); in s390_irgen_CLGIB()
4424 mktemp(Ity_I64, mkU64(op2)))); in s390_irgen_CLGIJ()
4463 mkU64(n))))); in s390_irgen_CLM()
4472 mkU64(n))))); in s390_irgen_CLM()
4481 mkU64(n))))); in s390_irgen_CLM()
4525 mkU64(n))))); in s390_irgen_CLMY()
4534 mkU64(n))))); in s390_irgen_CLMY()
4543 mkU64(n))))); in s390_irgen_CLMY()
4587 mkU64(n))))); in s390_irgen_CLMH()
4596 mkU64(n))))); in s390_irgen_CLMH()
4605 mkU64(n))))); in s390_irgen_CLMH()
4713 assign(result, mkU64(0)); in s390_irgen_XGR()
4909 put_gpr_b5(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICM()
4914 put_gpr_b6(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICM()
4919 put_gpr_b7(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICM()
4944 put_gpr_b5(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICMY()
4949 put_gpr_b6(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICMY()
4954 put_gpr_b7(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICMY()
4979 put_gpr_b1(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICMH()
4984 put_gpr_b2(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICMH()
4989 put_gpr_b3(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n)))); in s390_irgen_ICMH()
5107 put_gpr_dw0(r1, mkU64((ULong)(Long)(Int)i2)); in s390_irgen_LGFI()
5115 put_gpr_w1(r1, load(Ity_I32, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int) in s390_irgen_LRL()
5124 put_gpr_dw0(r1, load(Ity_I64, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int) in s390_irgen_LGRL()
5133 put_gpr_dw0(r1, unop(Iop_32Sto64, load(Ity_I32, mkU64(guest_IA_curr_instr + in s390_irgen_LGFRL()
5174 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)i2 << 1))); in s390_irgen_LARL()
5487 assign(result, binop(Iop_Sub64, mkU64((ULong)op1), mkexpr(op2))); in s390_irgen_LCGR()
5489 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_64, mktemp(Ity_I64, mkU64((ULong) in s390_irgen_LCGR()
5504 assign(result, binop(Iop_Sub64, mkU64((ULong)op1), mkexpr(op2))); in s390_irgen_LCGFR()
5506 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_64, mktemp(Ity_I64, mkU64((ULong) in s390_irgen_LCGFR()
5563 put_gpr_dw0(r1, mkU64((ULong)(Long)(Short)i2)); in s390_irgen_LGHI()
5571 put_gpr_w1(r1, unop(Iop_16Sto32, load(Ity_I16, mkU64(guest_IA_curr_instr + in s390_irgen_LHRL()
5580 put_gpr_dw0(r1, unop(Iop_16Sto64, load(Ity_I16, mkU64(guest_IA_curr_instr + in s390_irgen_LGHRL()
5621 put_gpr_dw0(r1, unop(Iop_32Uto64, load(Ity_I32, mkU64(guest_IA_curr_instr + in s390_irgen_LLGFRL()
5702 put_gpr_w1(r1, unop(Iop_16Uto32, load(Ity_I16, mkU64(guest_IA_curr_instr + in s390_irgen_LLHRL()
5711 put_gpr_dw0(r1, unop(Iop_16Uto64, load(Ity_I16, mkU64(guest_IA_curr_instr + in s390_irgen_LLGHRL()
5728 put_gpr_dw0(r1, mkU64(((ULong)i2) << 32)); in s390_irgen_LLIHF()
5736 put_gpr_dw0(r1, mkU64(((ULong)i2) << 48)); in s390_irgen_LLIHH()
5744 put_gpr_dw0(r1, mkU64(((ULong)i2) << 32)); in s390_irgen_LLIHL()
5752 put_gpr_dw0(r1, mkU64(i2)); in s390_irgen_LLILF()
5760 put_gpr_dw0(r1, mkU64(((ULong)i2) << 16)); in s390_irgen_LLILH()
5768 put_gpr_dw0(r1, mkU64(i2)); in s390_irgen_LLILL()
5813 assign(result, mkite(binop(Iop_CmpLE64S, mkexpr(op2), mkU64(0)), mkexpr(op2), in s390_irgen_LNGR()
5814 binop(Iop_Sub64, mkU64(0), mkexpr(op2)))); in s390_irgen_LNGR()
5828 assign(result, mkite(binop(Iop_CmpLE64S, mkexpr(op2), mkU64(0)), mkexpr(op2), in s390_irgen_LNGFR()
5829 binop(Iop_Sub64, mkU64(0), mkexpr(op2)))); in s390_irgen_LNGFR()
5878 put_gpr_dw0(r1 + 1, load(Ity_I64, binop(Iop_Add64, mkexpr(op2addr), mkU64(8)) in s390_irgen_LPQ()
5906 assign(result, mkite(binop(Iop_CmpLT64S, mkexpr(op2), mkU64(0)), in s390_irgen_LPGR()
5907 binop(Iop_Sub64, mkU64(0), mkexpr(op2)), mkexpr(op2))); in s390_irgen_LPGR()
5921 assign(result, mkite(binop(Iop_CmpLT64S, mkexpr(op2), mkU64(0)), in s390_irgen_LPGFR()
5922 binop(Iop_Sub64, mkU64(0), mkexpr(op2)), mkexpr(op2))); in s390_irgen_LPGFR()
6016 put_gpr_b0(r1, unop(Iop_64to8, binop(Iop_And64, mkexpr(op2), mkU64(255)))); in s390_irgen_LRVG()
6018 mkU8(8)), mkU64(255)))); in s390_irgen_LRVG()
6020 mkU8(16)), mkU64(255)))); in s390_irgen_LRVG()
6022 mkU8(24)), mkU64(255)))); in s390_irgen_LRVG()
6024 mkU8(32)), mkU64(255)))); in s390_irgen_LRVG()
6026 mkU8(40)), mkU64(255)))); in s390_irgen_LRVG()
6028 mkU8(48)), mkU64(255)))); in s390_irgen_LRVG()
6030 mkU8(56)), mkU64(255)))); in s390_irgen_LRVG()
6054 store(mkexpr(op1addr), mkU64((ULong)(Long)(Short)i2)); in s390_irgen_MVGHI()
6649 assign(amount, binop(Iop_And64, mkexpr(op2addr), mkU64(31))); in s390_irgen_RLL()
6653 binop(Iop_Sub64, mkU64(32), mkexpr(amount)))))); in s390_irgen_RLL()
6664 assign(amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63))); in s390_irgen_RLLG()
6668 binop(Iop_Sub64, mkU64(64), mkexpr(amount)))))); in s390_irgen_RLLG()
6702 ), mkU64(mask))); in s390_irgen_RNSBG()
6705 mkU64(maskc)), mkexpr(result))); in s390_irgen_RNSBG()
6741 ), mkU64(mask))); in s390_irgen_RXSBG()
6744 mkU64(maskc)), mkexpr(result))); in s390_irgen_RXSBG()
6780 ), mkU64(mask))); in s390_irgen_ROSBG()
6783 mkU64(maskc)), mkexpr(result))); in s390_irgen_ROSBG()
6820 mkU64(maskc)), binop(Iop_And64, mkexpr(op2), mkU64(mask)))); in s390_irgen_RISBG()
6822 put_gpr_dw0(r1, binop(Iop_And64, mkexpr(op2), mkU64(mask))); in s390_irgen_RISBG()
6855 assign(shift_amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63))); in s390_irgen_SLDA()
6857 unop(Iop_64to8, mkexpr(shift_amount))), mkU64((ULong)(~sign_mask))), in s390_irgen_SLDA()
6858 binop(Iop_And64, mkexpr(op), mkU64((ULong)sign_mask)))); in s390_irgen_SLDA()
6877 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SLDL()
6896 assign(shift_amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63))); in s390_irgen_SLA()
6918 assign(shift_amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63))); in s390_irgen_SLAK()
6940 assign(shift_amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63))); in s390_irgen_SLAG()
6942 unop(Iop_64to8, mkexpr(shift_amount))), mkU64(~sign_mask)), in s390_irgen_SLAG()
6943 binop(Iop_And64, mkexpr(uop), mkU64(sign_mask)))); in s390_irgen_SLAG()
6954 binop(Iop_And64, mkexpr(op2addr), mkU64(63))))); in s390_irgen_SLL()
6963 binop(Iop_And64, mkexpr(op2addr), mkU64(63))))); in s390_irgen_SLLK()
6972 binop(Iop_And64, mkexpr(op2addr), mkU64(63))))); in s390_irgen_SLLG()
6988 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SRDA()
7007 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SRDL()
7022 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SRA()
7037 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SRAK()
7052 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SRAG()
7066 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SRL()
7078 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SRLK()
7090 mkexpr(op2addr), mkU64(63))))); in s390_irgen_SRLG()
7122 store(mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)i2 << 1)), in s390_irgen_STRL()
7131 store(mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)i2 << 1)), in s390_irgen_STGRL()
7174 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b5(r1)); in s390_irgen_STCM()
7178 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b6(r1)); in s390_irgen_STCM()
7182 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b7(r1)); in s390_irgen_STCM()
7201 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b5(r1)); in s390_irgen_STCMY()
7205 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b6(r1)); in s390_irgen_STCMY()
7209 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b7(r1)); in s390_irgen_STCMY()
7228 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b1(r1)); in s390_irgen_STCMH()
7232 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b2(r1)); in s390_irgen_STCMH()
7236 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b3(r1)); in s390_irgen_STCMH()
7261 store(mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)i2 << 1)), in s390_irgen_STHRL()
7305 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(8)), get_gpr_dw0(r1 + 1)); in s390_irgen_STPQ()
7314 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(1)), get_gpr_b6(r1)); in s390_irgen_STRVH()
7323 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(1)), get_gpr_b6(r1)); in s390_irgen_STRV()
7324 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(2)), get_gpr_b5(r1)); in s390_irgen_STRV()
7325 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(3)), get_gpr_b4(r1)); in s390_irgen_STRV()
7334 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(1)), get_gpr_b6(r1)); in s390_irgen_STRVG()
7335 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(2)), get_gpr_b5(r1)); in s390_irgen_STRVG()
7336 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(3)), get_gpr_b4(r1)); in s390_irgen_STRVG()
7337 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(4)), get_gpr_b3(r1)); in s390_irgen_STRVG()
7338 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(5)), get_gpr_b2(r1)); in s390_irgen_STRVG()
7339 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(6)), get_gpr_b1(r1)); in s390_irgen_STRVG()
7340 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(7)), get_gpr_b0(r1)); in s390_irgen_STRVG()
7723 assign(result, binop(Iop_Sub64, mkexpr(op1), mkU64(op2))); in s390_irgen_SLGFI()
7725 mkU64(op2))); in s390_irgen_SLGFI()
7849 assign(sysno, mkU64(i)); in s390_irgen_SVC()
8571 put_counter_dw0(mkU64(0)); in s390_irgen_CLC()
8585 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1))); in s390_irgen_CLC()
8586 if_condition_goto(binop(Iop_CmpNE64, mkexpr(counter), mkU64(length)), in s390_irgen_CLC()
8588 put_counter_dw0(mkU64(0)); in s390_irgen_CLC()
8629 mkU64(guest_IA_curr_instr), mkexpr(addr1))); in s390_irgen_CLCL()
8636 mkU64(guest_IA_curr_instr), mkexpr(addr2))); in s390_irgen_CLCL()
8650 binop(Iop_Add64, mkexpr(addr1), mkU64(1)))); in s390_irgen_CLCL()
8662 binop(Iop_Add64, mkexpr(addr2), mkU64(1)))); in s390_irgen_CLCL()
8697 mkexpr(len3)), mkU64(0)), in s390_irgen_CLCLE()
8704 mkite(binop(Iop_CmpEQ64, mkexpr(len1), mkU64(0)), in s390_irgen_CLCLE()
8705 mkU64(guest_IA_curr_instr), mkexpr(addr1))); in s390_irgen_CLCLE()
8709 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)), in s390_irgen_CLCLE()
8710 mkU64(guest_IA_curr_instr), mkexpr(addr3))); in s390_irgen_CLCLE()
8713 mkite(binop(Iop_CmpEQ64, mkexpr(len1), mkU64(0)), in s390_irgen_CLCLE()
8718 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)), in s390_irgen_CLCLE()
8729 mkite(binop(Iop_CmpEQ64, mkexpr(len1), mkU64(0)), in s390_irgen_CLCLE()
8731 binop(Iop_Add64, mkexpr(addr1), mkU64(1)))); in s390_irgen_CLCLE()
8734 mkite(binop(Iop_CmpEQ64, mkexpr(len1), mkU64(0)), in s390_irgen_CLCLE()
8735 mkU64(0), binop(Iop_Sub64, mkexpr(len1), mkU64(1)))); in s390_irgen_CLCLE()
8738 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)), in s390_irgen_CLCLE()
8740 binop(Iop_Add64, mkexpr(addr3), mkU64(1)))); in s390_irgen_CLCLE()
8743 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)), in s390_irgen_CLCLE()
8744 mkU64(0), binop(Iop_Sub64, mkexpr(len3), mkU64(1)))); in s390_irgen_CLCLE()
8752 mkU64(0xfff)), in s390_irgen_CLCLE()
8753 mkU64(0)), in s390_irgen_CLCLE()
8792 put_counter_dw0(mkU64(0)); in s390_irgen_XC_EX()
8804 put_counter_dw0(mkU64(0)); in s390_irgen_CLC_EX()
8818 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1))); in s390_irgen_CLC_EX()
8821 put_counter_dw0(mkU64(0)); in s390_irgen_CLC_EX()
8835 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1))); in s390_irgen_MVC_EX()
8838 put_counter_dw0(mkU64(0)); in s390_irgen_MVC_EX()
8871 assign(cond, binop(Iop_CmpNE64, mkexpr(torun), mkU64(last_execute_target))); in s390_irgen_EX_SS()
8879 stmt(IRStmt_Put(OFFB_TISTART, mkU64(guest_IA_curr_instr))); in s390_irgen_EX_SS()
8880 stmt(IRStmt_Put(OFFB_TILEN, mkU64(4))); in s390_irgen_EX_SS()
8885 assign(start1, binop(Iop_Add64, mkU64(ss.dec.d1), in s390_irgen_EX_SS()
8886 ss.dec.b1 != 0 ? get_gpr_dw0(ss.dec.b1) : mkU64(0))); in s390_irgen_EX_SS()
8887 assign(start2, binop(Iop_Add64, mkU64(ss.dec.d2), in s390_irgen_EX_SS()
8888 ss.dec.b2 != 0 ? get_gpr_dw0(ss.dec.b2) : mkU64(0))); in s390_irgen_EX_SS()
8909 stmt(IRStmt_Put(OFFB_TISTART, mkU64(guest_IA_curr_instr))); in s390_irgen_EX()
8910 stmt(IRStmt_Put(OFFB_TILEN, mkU64(4))); in s390_irgen_EX()
8914 irsb->next = mkU64(guest_IA_next_instr); in s390_irgen_EX()
8950 assign(orperand, mkU64(0)); in s390_irgen_EX()
8959 mkU64(last_execute_target))); in s390_irgen_EX()
8967 stmt(IRStmt_Put(OFFB_TISTART, mkU64(guest_IA_curr_instr))); in s390_irgen_EX()
8968 stmt(IRStmt_Put(OFFB_TILEN, mkU64(4))); in s390_irgen_EX()
8993 assign(addr, mkU64(guest_IA_curr_instr + offset * 2UL)); in s390_irgen_EXRL()
9022 put_counter_dw0(mkU64(0)); in s390_irgen_SRST()
9040 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1))); in s390_irgen_SRST()
9042 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(address), mkU64(1))); in s390_irgen_SRST()
9043 stmt(IRStmt_Exit(binop(Iop_CmpNE64, mkexpr(counter), mkU64(255)), in s390_irgen_SRST()
9047 put_counter_dw0(mkU64(0)); in s390_irgen_SRST()
9066 put_counter_dw0(mkU64(0)); in s390_irgen_CLST()
9106 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1))); in s390_irgen_CLST()
9107 put_gpr_dw0(r1, binop(Iop_Add64, get_gpr_dw0(r1), mkU64(1))); in s390_irgen_CLST()
9108 put_gpr_dw0(r2, binop(Iop_Add64, get_gpr_dw0(r2), mkU64(1))); in s390_irgen_CLST()
9109 stmt(IRStmt_Exit(binop(Iop_CmpNE64, mkexpr(counter), mkU64(255)), in s390_irgen_CLST()
9113 put_counter_dw0(mkU64(0)); in s390_irgen_CLST()
9132 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4))); in s390_irgen_load_multiple_32bit()
9167 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4))); in s390_irgen_LMH()
9188 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(8))); in s390_irgen_LMG()
9209 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4))); in s390_irgen_store_multiple_32bit()
9244 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4))); in s390_irgen_STMH()
9265 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(8))); in s390_irgen_STMG()
9307 put_counter_dw0(mkU64(0)); in s390_irgen_XONC()
9326 binop(Iop_Add64, mkU64(d), b != 0 ? get_gpr_dw0(b) : mkU64(0))); in s390_irgen_XC_sameloc()
9332 store(binop(Iop_Add64, mkexpr(start), mkU64(i)), mkU8(0)); in s390_irgen_XC_sameloc()
9348 put_counter_dw0(mkU64(0)); in s390_irgen_XC_sameloc()
9385 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1))); in s390_irgen_MVC()
9386 if_condition_goto(binop(Iop_CmpNE64, mkexpr(counter), mkU64(length)), in s390_irgen_MVC()
9388 put_counter_dw0(mkU64(0)); in s390_irgen_MVC()
9448 mkU64(guest_IA_curr_instr), mkexpr(addr2))); in s390_irgen_MVCL()
9456 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkU64(1))); in s390_irgen_MVCL()
9463 binop(Iop_Add64, mkexpr(addr2), mkU64(1)))); in s390_irgen_MVCL()
9498 if_condition_goto(binop(Iop_CmpEQ64,mkexpr(len1), mkU64(0)), in s390_irgen_MVCLE()
9505 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)), in s390_irgen_MVCLE()
9506 mkU64(guest_IA_curr_instr), mkexpr(addr3))); in s390_irgen_MVCLE()
9509 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)), in s390_irgen_MVCLE()
9514 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkU64(1))); in s390_irgen_MVCLE()
9516 put_gpr_dw0(r1 + 1, binop(Iop_Sub64, mkexpr(len1), mkU64(1))); in s390_irgen_MVCLE()
9519 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)), in s390_irgen_MVCLE()
9521 binop(Iop_Add64, mkexpr(addr3), mkU64(1)))); in s390_irgen_MVCLE()
9524 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)), in s390_irgen_MVCLE()
9525 mkU64(0), binop(Iop_Sub64, mkexpr(len3), mkU64(1)))); in s390_irgen_MVCLE()
9530 s390_cc_thunk_put2(S390_CC_OP_UNSIGNED_ADD_64, mktemp(Ity_I64, mkU64(-1ULL)), in s390_irgen_MVCLE()
9531 mktemp(Ity_I64, mkU64(-1ULL)), False); in s390_irgen_MVCLE()
9533 binop(Iop_And64, mkexpr(len1), mkU64(0xfff)), in s390_irgen_MVCLE()
9534 mkU64(0)), in s390_irgen_MVCLE()
9538 if_condition_goto(binop(Iop_CmpNE64, mkexpr(len1), mkU64(1)), in s390_irgen_MVCLE()
9561 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1))); in s390_irgen_MVST()
9568 put_counter_dw0(mkU64(0)); in s390_irgen_MVST()
9747 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4))); in s390_irgen_load_ar_multiple()
9782 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4))); in s390_irgen_store_ar_multiple()
10536 mkU64(1ULL << 63))); in s390_irgen_CPSDR()
10538 mkU64((1ULL << 63) - 1))); in s390_irgen_CPSDR()
10663 assign(not_zero, binop(Iop_Or64, mkexpr(input), mkU64(1))); in s390_irgen_FLOGR()
10667 assign(num, mkite(binop(Iop_CmpEQ64, mkexpr(input), mkU64(0)), in s390_irgen_FLOGR()
10668 /* == 0 */ mkU64(64), in s390_irgen_FLOGR()
10683 mkU64(1)))); in s390_irgen_FLOGR()
10686 mkite(binop(Iop_CmpLE64U, mkexpr(input), mkU64(1)), in s390_irgen_FLOGR()
10687 /* == 0 || == 1*/ mkU64(0), in s390_irgen_FLOGR()
10696 mktemp(Ity_I64, mkU64(0)), False); in s390_irgen_FLOGR()
10714 s390_cc_thunk_fill(mkU64(S390_CC_OP_SET), in s390_irgen_STCK()
10715 mkexpr(cc), mkU64(0), mkU64(0)); in s390_irgen_STCK()
10732 s390_cc_thunk_fill(mkU64(S390_CC_OP_SET), in s390_irgen_STCKF()
10733 mkexpr(cc), mkU64(0), mkU64(0)); in s390_irgen_STCKF()
10750 s390_cc_thunk_fill(mkU64(S390_CC_OP_SET), in s390_irgen_STCKE()
10751 mkexpr(cc), mkU64(0), mkU64(0)); in s390_irgen_STCKE()
10779 s390_cc_thunk_fill(mkU64(S390_CC_OP_SET), mkexpr(cc), mkU64(0), mkU64(0)); in s390_irgen_STFLE()
10805 if_condition_goto(binop(Iop_CmpEQ64, mkexpr(len), mkU64(0)), in s390_irgen_CKSM()
10810 assign(inc, mkite(binop(Iop_CmpLT64U, mkexpr(len), mkU64(4)), in s390_irgen_CKSM()
10811 mkexpr(len), mkU64(4))); in s390_irgen_CKSM()
10818 assign(mask, mkite(binop(Iop_CmpLT64U, mkexpr(len), mkU64(4)), in s390_irgen_CKSM()
10827 mkexpr(len), mkU64(3))), in s390_irgen_CKSM()
10844 if_condition_goto(binop(Iop_CmpNE64, mkexpr(len), mkU64(0)), in s390_irgen_CKSM()
10861 irsb->next = mkU64((ULong)(guest_IA_curr_instr in s390_irgen_client_request()
10882 put_gpr_dw0(14, mkU64(guest_IA_curr_instr in s390_irgen_call_noredir()