Lines Matching refs:mkU64
286 static IRExpr* mkU64 ( ULong i ) in mkU64() function
297 case Ity_I64: return mkU64(i); in mkU()
1533 = mkIRExprVec_5( mkU64(cond), in mk_amd64g_calculate_condition()
1661 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(ccOp)) ); in setFlags_DEP1_DEP2()
1687 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(ccOp)) ); in setFlags_DEP1()
1689 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0)) ); in setFlags_DEP1()
1728 mkU64(ccOp))) ); in setFlags_DEP1_DEP2_shift()
1759 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(ccOp)) ); in setFlags_INC_DEC()
1761 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0)) ); in setFlags_INC_DEC()
1773 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(base_op+0) ) ); in setFlags_MUL()
1776 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(base_op+1) ) ); in setFlags_MUL()
1779 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(base_op+2) ) ); in setFlags_MUL()
1782 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(base_op+3) ) ); in setFlags_MUL()
1883 mkU64(1)) ); in helper_ADC()
1905 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(thunkOp) ) ); in helper_ADC()
1942 mkU64(1)) ); in helper_SBB()
1964 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(thunkOp) ) ); in helper_SBB()
2075 irsb->next = mkU64(d64); in jmp_lit()
2095 irsb->next = mkU64(d64_true); in jcc_01()
2101 irsb->next = mkU64(d64_false); in jcc_01()
2129 binop(Iop_Sub64, mkexpr(new_rsp), mkU64(szB)), in make_redzone_AbiHint()
2328 binop(Iop_Add64,getIRegRexB(8,pfx,rm),mkU64(d)))); in disAMode()
2342 binop(Iop_Add64,getIRegRexB(8,pfx,rm),mkU64(d)))); in disAMode()
2367 binop(Iop_Add64, mkU64(guest_RIP_next_assumed), in disAMode()
2368 mkU64(d)))); in disAMode()
2428 mkU64(d)))); in disAMode()
2443 handleAddrOverrides(vbi, pfx, mkU64(d))); in disAMode()
2471 binop(Iop_Add64, getIRegRexB(8,pfx,base_r), mkU64(d)) )); in disAMode()
2491 mkU64(d)))); in disAMode()
2518 binop(Iop_Add64, getIRegRexB(8,pfx,base_r), mkU64(d)) )); in disAMode()
2538 mkU64(d)))); in disAMode()
3317 mkU64(sz) ); in dis_Grp2()
3332 mkU64(-sz) ); in dis_Grp2()
3344 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) )); in dis_Grp2()
3346 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) )); in dis_Grp2()
3347 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) )); in dis_Grp2()
3476 mkU64(ccOp))) ); in dis_Grp2()
3484 mkU64(0))) ); in dis_Grp2()
3587 assign( t2m, binop(Iop_Or64, mkU64(mask), mkexpr(t2)) ); in dis_Grp8_Imm()
3590 assign( t2m, binop(Iop_And64, mkU64(mask), mkexpr(t2)) ); in dis_Grp8_Imm()
3593 assign( t2m, binop(Iop_Xor64, mkU64(mask), mkexpr(t2)) ); in dis_Grp8_Imm()
3618 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) )); in dis_Grp8_Imm()
3619 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) )); in dis_Grp8_Imm()
3624 mkU64(1)) in dis_Grp8_Imm()
3628 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) )); in dis_Grp8_Imm()
3987 assign(t2, binop(Iop_Sub64, getIReg64(R_RSP), mkU64(8))); in dis_Grp5()
3989 storeLE( mkexpr(t2), mkU64(guest_RIP_bbstart+delta+1)); in dis_Grp5()
4051 assign(t2, binop(Iop_Sub64, getIReg64(R_RSP), mkU64(8))); in dis_Grp5()
4053 storeLE( mkexpr(t2), mkU64(guest_RIP_bbstart+delta+len)); in dis_Grp5()
4077 assign( t2, binop(Iop_Sub64,getIReg64(R_RSP),mkU64(sz)) ); in dis_Grp5()
4289 cmp = binop(Iop_CmpEQ64, mkexpr(tc), mkU64(0)); in dis_REP_op()
4297 putIReg64(R_RCX, binop(Iop_Sub64, mkexpr(tc), mkU64(1)) ); in dis_REP_op()
4478 assign(mask[0], mkU64(0x5555555555555555ULL)); in gen_POPCOUNT()
4479 assign(mask[1], mkU64(0x3333333333333333ULL)); in gen_POPCOUNT()
4480 assign(mask[2], mkU64(0x0F0F0F0F0F0F0F0FULL)); in gen_POPCOUNT()
4481 assign(mask[3], mkU64(0x00FF00FF00FF00FFULL)); in gen_POPCOUNT()
4482 assign(mask[4], mkU64(0x0000FFFF0000FFFFULL)); in gen_POPCOUNT()
4483 assign(mask[5], mkU64(0x00000000FFFFFFFFULL)); in gen_POPCOUNT()
4527 binop(Iop_CmpEQ64, mkexpr(src64x), mkU64(0))), in gen_LZCNT()
4529 mkU64(8 * sizeofIRType(ty)) in gen_LZCNT()
4722 put_C3210( binop(Iop_And64, get_C3210(), mkU64(~AMD64G_FC_MASK_C2)) ); in clear_C2()
4847 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) )); in fp_do_ucomi_ST0_STi()
4848 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) )); in fp_do_ucomi_ST0_STi()
4854 mkU64(0x45) in fp_do_ucomi_ST0_STi()
4874 mkU64(65536))), in x87ishly_qnarrow_32_to_16()
6704 unop(Iop_1Uto8,binop(Iop_CmpLT64U,mkexpr(amt),mkU64(size))), in dis_MMX_shiftG_byE()
6705 mkU64(0), in dis_MMX_shiftG_byE()
6714 unop(Iop_1Uto8,binop(Iop_CmpLT64U,mkexpr(amt),mkU64(size))), in dis_MMX_shiftG_byE()
6766 ? mkU64(0) in dis_MMX_shiftE_imm()
7453 assign( t_rsp, binop(Iop_Sub64, getIReg64(R_RSP), mkU64(288)) ); in dis_bt_G_E()
7465 mkU64(sz == 8 ? 63 : sz == 4 ? 31 : 15)) ); in dis_bt_G_E()
7488 binop(Iop_And64, mkexpr(t_bitno1), mkU64(7))) ); in dis_bt_G_E()
7530 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) )); in dis_bt_G_E()
7531 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) )); in dis_bt_G_E()
7538 mkU64(1))) in dis_bt_G_E()
7542 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) )); in dis_bt_G_E()
7552 putIReg64(R_RSP, binop(Iop_Add64, mkexpr(t_rsp), mkU64(288)) ); in dis_bt_G_E()
7607 mkexpr(src64), mkU64(0))) ); in dis_bs_E_G()
7611 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) )); in dis_bs_E_G()
7612 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) )); in dis_bs_E_G()
7617 mkU64(AMD64G_CC_MASK_Z), in dis_bs_E_G()
7619 mkU64(0) in dis_bs_E_G()
7624 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) )); in dis_bs_E_G()
7661 mkU64(63), in dis_bs_E_G()
7725 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) )); in codegen_SAHF()
7726 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) )); in codegen_SAHF()
7727 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) )); in codegen_SAHF()
7730 binop(Iop_And64, mkexpr(oldflags), mkU64(AMD64G_CC_MASK_O)), in codegen_SAHF()
7733 mkU64(mask_SZACP)) in codegen_SAHF()
7753 = binop(Iop_And64, getIReg64(R_RAX), mkU64(~0xFF00ULL)); in codegen_LAHF()
7755 = binop(Iop_Or64, binop(Iop_And64, mkexpr(flags), mkU64(mask_SZACP)), in codegen_LAHF()
7756 mkU64(1<<1)); in codegen_LAHF()
8091 assign(t3, binop(Iop_Add64, mkexpr(t1), mkU64(8+d64))); in dis_ret()
8558 binop(Iop_CmpLT64U, unop(Iop_32Uto64,mkexpr(amt)), mkU64(size))), in dis_SSE_shiftG_byE()
8569 binop(Iop_CmpLT64U, unop(Iop_32Uto64,mkexpr(amt)), mkU64(size))), in dis_SSE_shiftG_byE()
8646 mkU64(3) )); in get_sse_roundingmode()
8769 assign(one32x2, mkU64( (1ULL << 32) + 1 )); in dis_PMULHRSW_helper()
8833 assign( zero, mkU64(0) ); in dis_PSIGN_helper()
8874 assign( zero, mkU64(0) ); in dis_PABS_helper()
8906 binop(Iop_And64,mkexpr(effective_addr),mkU64(0x0)), in gen_SEGV_if_not_16_aligned()
8907 mkU64(0)), in gen_SEGV_if_not_16_aligned()
9105 stmt( IRStmt_Put( OFFB_RIP, mkU64(guest_RIP_curr_instr)) ); in disInstr_AMD64_WRK()
9152 assign(t2, binop(Iop_Sub64, getIReg64(R_RSP), mkU64(8))); in disInstr_AMD64_WRK()
9154 storeLE( mkexpr(t2), mkU64(guest_RIP_bbstart+delta)); in disInstr_AMD64_WRK()
9482 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) )); in disInstr_AMD64_WRK()
9483 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) )); in disInstr_AMD64_WRK()
9491 mkU64(0x45) in disInstr_AMD64_WRK()
9619 mkU64(4) ))); in disInstr_AMD64_WRK()
9760 binop(Iop_CmpNE64, unop(Iop_32Uto64,mkexpr(ew)), mkU64(0)), in disInstr_AMD64_WRK()
10628 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) )); in disInstr_AMD64_WRK()
10629 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) )); in disInstr_AMD64_WRK()
10635 mkU64(0x45) in disInstr_AMD64_WRK()
10795 mkU64(8) ))); in disInstr_AMD64_WRK()
10977 binop(Iop_Add64,mkexpr(addr),mkU64(4))) ); in disInstr_AMD64_WRK()
11651 putXMMRegLane64( gregOfRexRM(pfx,modrm), 1, mkU64(0) ); in disInstr_AMD64_WRK()
12538 assign( lo64r, mkU64(0) ); in disInstr_AMD64_WRK()
12543 assign( lo64r, mkU64(0) ); in disInstr_AMD64_WRK()
12680 assign( hi64r, mkU64(0) ); in disInstr_AMD64_WRK()
12685 assign( hi64r, mkU64(0) ); in disInstr_AMD64_WRK()
12930 mkU64( ~(lineszB-1) ))) ); in disInstr_AMD64_WRK()
12932 stmt( IRStmt_Put(OFFB_TILEN, mkU64(lineszB) ) ); in disInstr_AMD64_WRK()
12935 irsb->next = mkU64(guest_RIP_bbstart+delta); in disInstr_AMD64_WRK()
13765 assign( res, mkU64(0) ); in disInstr_AMD64_WRK()
13838 assign( rHi, mkU64(0) ); in disInstr_AMD64_WRK()
13842 assign( rHi, mkU64(0) ); in disInstr_AMD64_WRK()
13846 assign( rHi, mkU64(0) ); in disInstr_AMD64_WRK()
13847 assign( rLo, mkU64(0) ); in disInstr_AMD64_WRK()
13891 binop(Iop_And64, mkexpr(sV), mkU64(0x0707070707070707ULL)) in disInstr_AMD64_WRK()
13944 assign( sevens, mkU64(0x0707070707070707ULL) ); in disInstr_AMD64_WRK()
14219 args = mkIRExprVec_3(mkexpr(t0), mkexpr(t1), mkU64(0)); in disInstr_AMD64_WRK()
14223 args = mkIRExprVec_3(mkexpr(t0), mkexpr(t1), mkU64(1)); in disInstr_AMD64_WRK()
14670 assign( src_vec, binop( Iop_64HLtoV128, mkU64(0), mkexpr(src_elems) ) ); in disInstr_AMD64_WRK()
14673 assign( src_vec, binop( Iop_64HLtoV128, mkexpr(src_elems), mkU64(0) ) ); in disInstr_AMD64_WRK()
14759 mkU64(0xFF))); in disInstr_AMD64_WRK()
14781 assign(tmp128, binop(Iop_64HLtoV128, mkU64(0), mkexpr(halfshift))); in disInstr_AMD64_WRK()
14783 assign(tmp128, binop(Iop_64HLtoV128, mkexpr(halfshift), mkU64(0))); in disInstr_AMD64_WRK()
15437 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) )); in disInstr_AMD64_WRK()
15438 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) )); in disInstr_AMD64_WRK()
15439 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) )); in disInstr_AMD64_WRK()
15445 mkU64(0))), in disInstr_AMD64_WRK()
15536 binop(Iop_Add64, mkexpr(addr), mkU64(0) ))); in disInstr_AMD64_WRK()
15538 binop(Iop_Add64, mkexpr(addr), mkU64(8) ))); in disInstr_AMD64_WRK()
15599 binop(Iop_Add64, mkexpr(addr), mkU64(0) ))); in disInstr_AMD64_WRK()
15601 binop(Iop_Add64, mkexpr(addr), mkU64(4) ))); in disInstr_AMD64_WRK()
15603 binop(Iop_Add64, mkexpr(addr), mkU64(8) ))); in disInstr_AMD64_WRK()
15605 binop(Iop_Add64, mkexpr(addr), mkU64(12) ))); in disInstr_AMD64_WRK()
15675 binop(Iop_CmpEQ64, mkexpr(res64), mkU64(0))), in disInstr_AMD64_WRK()
15679 binop(Iop_CmpEQ64, mkexpr(src64), mkU64(0))), in disInstr_AMD64_WRK()
15684 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) )); in disInstr_AMD64_WRK()
15685 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) )); in disInstr_AMD64_WRK()
15686 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) )); in disInstr_AMD64_WRK()
15756 IRExpr* opc4_and_imm = mkU64((insn[2] << 8) | (imm & 0xFF)); in disInstr_AMD64_WRK()
15757 IRExpr* gstOffLe = mkU64(gstOffL); in disInstr_AMD64_WRK()
15758 IRExpr* gstOffRe = mkU64(gstOffR); in disInstr_AMD64_WRK()
15759 IRExpr* edxIN = isISTRx ? mkU64(0) : getIRegRDX(8); in disInstr_AMD64_WRK()
15760 IRExpr* eaxIN = isISTRx ? mkU64(0) : getIRegRAX(8); in disInstr_AMD64_WRK()
15794 mkU64(0xFFFF))); in disInstr_AMD64_WRK()
15799 binop(Iop_And64, mkexpr(resT), mkU64(0xFFFF)) in disInstr_AMD64_WRK()
15801 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) )); in disInstr_AMD64_WRK()
15802 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) )); in disInstr_AMD64_WRK()
15803 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) )); in disInstr_AMD64_WRK()
15903 binop(Iop_Sub64, mkU64(0), mkexpr(and64)), in disInstr_AMD64_WRK()
15913 binop(Iop_Sub64, mkU64(0), mkexpr(andn64)), in disInstr_AMD64_WRK()
15924 binop(Iop_And64, mkexpr(z64), mkU64(AMD64G_CC_MASK_Z)), in disInstr_AMD64_WRK()
15925 binop(Iop_And64, mkexpr(c64), mkU64(AMD64G_CC_MASK_C)) in disInstr_AMD64_WRK()
15930 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) )); in disInstr_AMD64_WRK()
15931 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) )); in disInstr_AMD64_WRK()
15932 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) )); in disInstr_AMD64_WRK()
16043 mkU64(0xFFFFFFFF))); in disInstr_AMD64_WRK()
16193 assign(t1, binop(Iop_Sub64, getIReg64(R_RSP), mkU64(8))); in disInstr_AMD64_WRK()
16195 storeLE( mkexpr(t1), mkU64(guest_RIP_bbstart+delta)); in disInstr_AMD64_WRK()
16197 assign(t2, mkU64((Addr64)d64)); in disInstr_AMD64_WRK()
16254 assign(t2, binop(Iop_Sub64, getIReg64(R_RSP), mkU64(8))); in disInstr_AMD64_WRK()
16259 putIReg64(R_RSP, binop(Iop_Sub64, mkexpr(t2), mkU64(d64))); in disInstr_AMD64_WRK()
16278 putIReg64(R_RSP, binop(Iop_Add64, mkexpr(t1), mkU64(8)) ); in disInstr_AMD64_WRK()
16569 mkU64(0)), in disInstr_AMD64_WRK()
16578 mkU64(0)), in disInstr_AMD64_WRK()
16610 putIReg64(R_RCX, binop(Iop_Sub64, getIReg64(R_RCX), mkU64(1))); in disInstr_AMD64_WRK()
16618 cond = binop(Iop_CmpNE64, count, mkU64(0)); in disInstr_AMD64_WRK()
16717 assign( addr, handleAddrOverrides(vbi, pfx, mkU64(d64)) ); in disInstr_AMD64_WRK()
16735 assign( addr, handleAddrOverrides(vbi, pfx, mkU64(d64)) ); in disInstr_AMD64_WRK()
16771 putIRegRexB(8, pfx, opc-0xB8, mkU64(d64)); in disInstr_AMD64_WRK()
17104 putIReg64(R_RSP, binop(Iop_Add64, mkexpr(t2), mkU64(sz))); in disInstr_AMD64_WRK()
17119 putIReg64(R_RSP, binop(Iop_Add64, mkexpr(t2), mkU64(sz))); in disInstr_AMD64_WRK()
17122 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) )); in disInstr_AMD64_WRK()
17123 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) )); in disInstr_AMD64_WRK()
17127 mkU64( AMD64G_CC_MASK_C | AMD64G_CC_MASK_P in disInstr_AMD64_WRK()
17143 mkU64(1)))), in disInstr_AMD64_WRK()
17144 mkU64(1), in disInstr_AMD64_WRK()
17145 mkU64(0xFFFFFFFFFFFFFFFFULL))) in disInstr_AMD64_WRK()
17156 mkU64(1)))), in disInstr_AMD64_WRK()
17157 mkU64(0), in disInstr_AMD64_WRK()
17158 mkU64(1))) in disInstr_AMD64_WRK()
17169 mkU64(1)))), in disInstr_AMD64_WRK()
17170 mkU64(0), in disInstr_AMD64_WRK()
17171 mkU64(1))) in disInstr_AMD64_WRK()
17230 putIReg64(R_RSP, binop(Iop_Add64, mkexpr(t1), mkU64(sz)) ); in disInstr_AMD64_WRK()
17269 assign(t2, binop(Iop_Sub64, getIReg64(R_RSP), mkU64(sz))); in disInstr_AMD64_WRK()
17292 assign( t1, binop(Iop_Sub64,getIReg64(R_RSP),mkU64(sz)) ); in disInstr_AMD64_WRK()
17313 assign( t1, binop(Iop_Sub64,getIReg64(R_RSP),mkU64(sz)) ); in disInstr_AMD64_WRK()
17326 mkU64(1<<10))) in disInstr_AMD64_WRK()
17336 mkU64(1<<21))) in disInstr_AMD64_WRK()
17346 mkU64(1<<18))) in disInstr_AMD64_WRK()
17428 stmt( IRStmt_Put( OFFB_DFLAG, mkU64(1)) ); in disInstr_AMD64_WRK()
17434 stmt( IRStmt_Put( OFFB_DFLAG, mkU64(-1ULL)) ); in disInstr_AMD64_WRK()
17447 mkU64(~AMD64G_CC_MASK_C))); in disInstr_AMD64_WRK()
17452 mkU64(AMD64G_CC_MASK_C))); in disInstr_AMD64_WRK()
17457 mkU64(AMD64G_CC_MASK_C))); in disInstr_AMD64_WRK()
17463 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) )); in disInstr_AMD64_WRK()
17464 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) )); in disInstr_AMD64_WRK()
17468 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) )); in disInstr_AMD64_WRK()
17694 assign(t1, mkU64( abyte & 0xFF )); in disInstr_AMD64_WRK()
17701 assign(t1, mkU64( abyte & 0xFF )); in disInstr_AMD64_WRK()
17731 mkIRExprVec_2( mkexpr(t1), mkU64(sz) ) in disInstr_AMD64_WRK()
17743 assign( t1, mkU64( abyte & 0xFF ) ); in disInstr_AMD64_WRK()
17750 assign( t1, mkU64( abyte & 0xFF ) ); in disInstr_AMD64_WRK()
17780 mkU64(sz) ) in disInstr_AMD64_WRK()
18005 assign( m8, mkU64(0xFF00FF00FF00FF00ULL) ); in disInstr_AMD64_WRK()
18017 assign( m16, mkU64(0xFFFF0000FFFF0000ULL) ); in disInstr_AMD64_WRK()
18029 assign( m32, mkU64(0xFFFFFFFF00000000ULL) ); in disInstr_AMD64_WRK()
18128 IRExpr* zero = sz==4 ? mkU32(0) : mkU64(0); in disInstr_AMD64_WRK()
18222 mkU64(~AMD64G_CC_MASK_Z)), in disInstr_AMD64_WRK()
18225 unop(Iop_1Uto64, mkexpr(success)), mkU64(1)), in disInstr_AMD64_WRK()
18228 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) )); in disInstr_AMD64_WRK()
18230 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) )); in disInstr_AMD64_WRK()
18234 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) )); in disInstr_AMD64_WRK()
18558 putIReg64( R_RCX, mkU64(guest_RIP_next_assumed) ); in disInstr_AMD64_WRK()
18707 mkU64(gregLO3ofRM(modrm)) ) in disInstr_AMD64_WRK()
18746 stmt( IRStmt_Put( OFFB_RIP, mkU64(guest_RIP_curr_instr) ) ); in disInstr_AMD64_WRK()