Lines Matching refs:IRExpr
588 static void assign ( IRTemp dst, IRExpr* e ) in assign()
594 static void store ( IRExpr* addr, IRExpr* data ) in store()
605 static IRExpr* unop ( IROp op, IRExpr* a ) in unop()
610 static IRExpr* binop ( IROp op, IRExpr* a1, IRExpr* a2 ) in binop()
615 static IRExpr* triop ( IROp op, IRExpr* a1, IRExpr* a2, IRExpr* a3 ) in triop()
620 static IRExpr* qop ( IROp op, IRExpr* a1, IRExpr* a2, in qop()
621 IRExpr* a3, IRExpr* a4 ) in qop()
626 static IRExpr* mkexpr ( IRTemp tmp ) in mkexpr()
631 static IRExpr* mkU8 ( UChar i ) in mkU8()
636 static IRExpr* mkU16 ( UInt i ) in mkU16()
641 static IRExpr* mkU32 ( UInt i ) in mkU32()
646 static IRExpr* mkU64 ( ULong i ) in mkU64()
651 static IRExpr* mkV128 ( UShort i ) in mkV128()
658 static IRExpr* load ( IRType ty, IRExpr* addr ) in load()
667 IRExpr* addr, IRExpr* storedata ) in stmt_load()
675 static IRExpr* mkOR1 ( IRExpr* arg1, IRExpr* arg2 ) in mkOR1()
683 static IRExpr* mkAND1 ( IRExpr* arg1, IRExpr* arg2 ) in mkAND1()
692 static void expand8Ux16( IRExpr* vIn, in expand8Ux16()
710 static void expand8Sx16( IRExpr* vIn, in expand8Sx16()
728 static void expand16Ux8( IRExpr* vIn, in expand16Ux8()
746 static void expand16Sx8( IRExpr* vIn, in expand16Sx8()
764 static void breakV128to4xF64( IRExpr* t128, in breakV128to4xF64()
802 static void breakV128to4x64S( IRExpr* t128, in breakV128to4x64S()
829 static void breakV128to4x64U ( IRExpr* t128, in breakV128to4x64U()
855 static void breakV128to4x32( IRExpr* t128, in breakV128to4x32()
881 static IRExpr* mkV128from32( IRTemp t3, IRTemp t2, in mkV128from32()
893 static IRExpr* mkQNarrow64Sto32 ( IRExpr* t64 ) in mkQNarrow64Sto32()
915 static IRExpr* mkQNarrow64Uto32 ( IRExpr* t64 ) in mkQNarrow64Uto32()
935 static IRExpr* mkV128from4x64S ( IRExpr* t3, IRExpr* t2, in mkV128from4x64S()
936 IRExpr* t1, IRExpr* t0 ) in mkV128from4x64S()
952 static IRExpr* mkV128from4x64U ( IRExpr* t3, IRExpr* t2, in mkV128from4x64U()
953 IRExpr* t1, IRExpr* t0 ) in mkV128from4x64U()
1000 static IRExpr* /* :: Ity_I64 */ mk64lo32Sto64 ( IRExpr* src ) in mk64lo32Sto64()
1006 static IRExpr* /* :: Ity_I64 */ mk64lo32Uto64 ( IRExpr* src ) in mk64lo32Uto64()
1036 static IRExpr* mkSzImm ( IRType ty, ULong imm64 ) in mkSzImm()
1052 static IRExpr* mkSzExtendS16 ( IRType ty, UInt imm16 ) in mkSzExtendS16()
1061 static IRExpr* mkSzExtendS32 ( IRType ty, UInt imm32 ) in mkSzExtendS32()
1070 static IRExpr* mkNarrowTo8 ( IRType ty, IRExpr* src ) in mkNarrowTo8()
1076 static IRExpr* mkNarrowTo16 ( IRType ty, IRExpr* src ) in mkNarrowTo16()
1082 static IRExpr* mkNarrowTo32 ( IRType ty, IRExpr* src ) in mkNarrowTo32()
1089 static IRExpr* mkWidenFrom8 ( IRType ty, IRExpr* src, Bool sined ) in mkWidenFrom8()
1098 static IRExpr* mkWidenFrom16 ( IRType ty, IRExpr* src, Bool sined ) in mkWidenFrom16()
1107 static IRExpr* mkWidenFrom32 ( IRType ty, IRExpr* src, Bool sined ) in mkWidenFrom32()
1162 static IRExpr* getIReg ( UInt archreg ) in getIReg()
1170 static void putIReg ( UInt archreg, IRExpr* e ) in putIReg()
1260 static IRExpr* getFReg ( UInt archreg ) in getFReg()
1267 static void putFReg ( UInt archreg, IRExpr* e ) in putFReg()
1275 static IRExpr* getDReg(UInt archreg) { in getDReg()
1276 IRExpr *e; in getDReg()
1281 static IRExpr* getDReg32(UInt archreg) { in getDReg32()
1282 IRExpr *e; in getDReg32()
1290 static IRExpr *getDReg_pair(UInt archreg) { in getDReg_pair()
1291 IRExpr *high = getDReg( archreg ); in getDReg_pair()
1292 IRExpr *low = getDReg( archreg + 1 ); in getDReg_pair()
1298 static void putDReg32(UInt archreg, IRExpr* e) { in putDReg32()
1304 static void putDReg(UInt archreg, IRExpr* e) { in putDReg()
1311 static void putDReg_pair(UInt archreg, IRExpr *e) { in putDReg_pair()
1441 static IRExpr* getVReg ( UInt archreg ) in getVReg()
1448 static void putVReg ( UInt archreg, IRExpr* e ) in putVReg()
1456 static IRExpr* getVSReg ( UInt archreg ) in getVSReg()
1463 static void putVSReg ( UInt archreg, IRExpr* e ) in putVSReg()
1640 static IRExpr* /* :: Ity_I32/64 */ ROTL ( IRExpr* src, in ROTL()
1641 IRExpr* rot_amt ) in ROTL()
1643 IRExpr *mask, *rot; in ROTL()
1669 static IRExpr* ea_rA_idxd ( UInt rA, UInt rB ) in ea_rA_idxd()
1678 static IRExpr* ea_rA_simm ( UInt rA, UInt simm16 ) in ea_rA_simm()
1687 static IRExpr* ea_rAor0 ( UInt rA ) in ea_rAor0()
1699 static IRExpr* ea_rAor0_idxd ( UInt rA, UInt rB ) in ea_rAor0_idxd()
1707 static IRExpr* ea_rAor0_simm ( UInt rA, UInt simm16 ) in ea_rAor0_simm()
1720 static IRExpr* addr_align( IRExpr* addr, UChar align ) in addr_align()
1837 static void putCR321 ( UInt cr, IRExpr* e ) in putCR321()
1844 static void putCR0 ( UInt cr, IRExpr* e ) in putCR0()
1851 static IRExpr* /* :: Ity_I8 */ getCR0 ( UInt cr ) in getCR0()
1857 static IRExpr* /* :: Ity_I8 */ getCR321 ( UInt cr ) in getCR321()
1866 static IRExpr* /* :: Ity_I32 */ getCRbit ( UInt bi ) in getCRbit()
1888 static void putCRbit ( UInt bi, IRExpr* bit ) in putCRbit()
1891 IRExpr* safe; in putCRbit()
1926 IRExpr* /* :: Ity_I32 */ getCRbit_anywhere ( UInt bi, Int* where ) in getCRbit_anywhere()
1949 static IRExpr* getXER_SO ( void );
1950 static void set_CR0 ( IRExpr* result ) in set_CR0()
1968 static void set_AV_CR6 ( IRExpr* result, Bool test_all_ones ) in set_AV_CR6()
2020 static void putXER_SO ( IRExpr* e ) in putXER_SO()
2022 IRExpr* so; in putXER_SO()
2028 static void putXER_OV ( IRExpr* e ) in putXER_OV()
2030 IRExpr* ov; in putXER_OV()
2036 static void putXER_CA ( IRExpr* e ) in putXER_CA()
2038 IRExpr* ca; in putXER_CA()
2044 static void putXER_BC ( IRExpr* e ) in putXER_BC()
2046 IRExpr* bc; in putXER_BC()
2052 static IRExpr* /* :: Ity_I8 */ getXER_SO ( void ) in getXER_SO()
2057 static IRExpr* /* :: Ity_I32 */ getXER_SO32 ( void ) in getXER_SO32()
2062 static IRExpr* /* :: Ity_I8 */ getXER_OV ( void ) in getXER_OV()
2067 static IRExpr* /* :: Ity_I32 */ getXER_OV32 ( void ) in getXER_OV32()
2072 static IRExpr* /* :: Ity_I32 */ getXER_CA32 ( void ) in getXER_CA32()
2074 IRExpr* ca = IRExpr_Get( OFFB_XER_CA, Ity_I8 ); in getXER_CA32()
2078 static IRExpr* /* :: Ity_I8 */ getXER_BC ( void ) in getXER_BC()
2083 static IRExpr* /* :: Ity_I32 */ getXER_BC32 ( void ) in getXER_BC32()
2085 IRExpr* bc = IRExpr_Get( OFFB_XER_BC, Ity_I8 ); in getXER_BC32()
2093 static void set_XER_OV_32( UInt op, IRExpr* res, in set_XER_OV_32()
2094 IRExpr* argL, IRExpr* argR ) in set_XER_OV_32()
2097 IRExpr* xer_ov; in set_XER_OV_32()
2227 static void set_XER_OV_64( UInt op, IRExpr* res, in set_XER_OV_64()
2228 IRExpr* argL, IRExpr* argR ) in set_XER_OV_64()
2230 IRExpr* xer_ov; in set_XER_OV_64()
2368 static void set_XER_OV ( IRType ty, UInt op, IRExpr* res, in set_XER_OV()
2369 IRExpr* argL, IRExpr* argR ) in set_XER_OV()
2382 static void set_XER_CA_32 ( UInt op, IRExpr* res, in set_XER_CA_32()
2383 IRExpr* argL, IRExpr* argR, IRExpr* oldca ) in set_XER_CA_32()
2385 IRExpr* xer_ca; in set_XER_CA_32()
2500 static void set_XER_CA_64 ( UInt op, IRExpr* res, in set_XER_CA_64()
2501 IRExpr* argL, IRExpr* argR, IRExpr* oldca ) in set_XER_CA_64()
2503 IRExpr* xer_ca; in set_XER_CA_64()
2676 static void set_XER_CA ( IRType ty, UInt op, IRExpr* res, in set_XER_CA()
2677 IRExpr* argL, IRExpr* argR, IRExpr* oldca ) in set_XER_CA()
2691 static IRExpr* /* :: Ity_I32/64 */ getGST ( PPC_GST reg ) in getGST()
2776 static IRExpr* /* ::Ity_I32 */ getGST_masked ( PPC_GST reg, UInt mask ) in getGST_masked()
2813 static IRExpr* /* ::Ity_I32 */getGST_masked_upper(PPC_GST reg, ULong mask) { in getGST_masked_upper()
2814 IRExpr * val; in getGST_masked_upper()
2845 static IRExpr* /* ::Ity_I32 */ getGST_field ( PPC_GST reg, UInt fld ) in getGST_field()
2875 static void putGST ( PPC_GST reg, IRExpr* src ) in putGST()
3044 static void putGST_masked ( PPC_GST reg, IRExpr* src, ULong mask ) in putGST_masked()
3138 static void putGST_field ( PPC_GST reg, IRExpr* src, UInt fld ) in putGST_field()
3162 IRExpr * src64 = unop( Iop_32Uto64, src ); in putGST_field()
3188 static IRExpr * fp_exp_part_sp(IRTemp src) in fp_exp_part_sp()
3196 static IRExpr * fp_exp_part(IRTemp src, Bool sp) in fp_exp_part()
3198 IRExpr * exp; in fp_exp_part()
3214 static IRExpr * is_Inf_sp(IRTemp src) in is_Inf_sp()
3217 IRExpr * Inf_exp; in is_Inf_sp()
3226 static IRExpr * is_Inf(IRTemp src, Bool sp) in is_Inf()
3228 IRExpr * Inf_exp, * hi32, * low32; in is_Inf()
3243 static IRExpr * is_Zero_sp(IRTemp src) in is_Zero_sp()
3251 static IRExpr * is_Zero(IRTemp src, Bool sp) in is_Zero()
3253 IRExpr * hi32, * low32; in is_Zero()
3271 static IRExpr * is_NaN(IRTemp src) in is_NaN()
3273 IRExpr * NaN_exp, * hi32, * low32; in is_NaN()
3289 static IRExpr * is_NaN_32(IRTemp src) in is_NaN_32()
3296 IRExpr * frac_part = FP_FRAC_PART32(src); in is_NaN_32()
3297 IRExpr * exp_part = binop( Iop_And32, in is_NaN_32()
3300 IRExpr * NaN_exp = binop( Iop_CmpEQ32, exp_part, mkU32( 0xff ) ); in is_NaN_32()
3310 static IRExpr * handle_SNaN_to_QNaN_32(IRExpr * src) in handle_SNaN_to_QNaN_32()
3619 IRExpr *min_one; in dis_int_arith()
3680 IRExpr* dividend = mk64lo32Sto64( mkexpr(rA) ); in dis_int_arith()
3681 IRExpr* divisor = mk64lo32Sto64( mkexpr(rB) ); in dis_int_arith()
3711 IRExpr* dividend = mk64lo32Uto64( mkexpr(rA) ); in dis_int_arith()
3712 IRExpr* divisor = mk64lo32Uto64( mkexpr(rB) ); in dis_int_arith()
3780 IRExpr *a = unop(Iop_64to32, mkexpr(rA) ); in dis_int_arith()
3781 IRExpr *b = unop(Iop_64to32, mkexpr(rB) ); in dis_int_arith()
3869 IRExpr *min_one; in dis_int_arith()
3995 IRExpr * dividend, * divisor; in dis_int_arith()
4030 IRExpr * dividend, * divisor; in dis_int_arith()
4123 IRExpr *a = getIReg(rA_addr); in dis_int_cmp()
4124 IRExpr *b; in dis_int_cmp()
4244 IRExpr* irx; in dis_int_logic()
4312 IRExpr* lo32; in dis_int_logic()
4538 IRExpr * rS_expr = mkexpr(rS); in dis_int_logic()
4539 IRExpr * res = binop(Iop_And64, mkU64(0), mkU64(0)); in dis_int_logic()
4756 IRExpr *r; in dis_int_rot()
5001 IRExpr* val; in dis_int_load()
5524 IRExpr* irx_addr; in dis_int_ldst_mult()
5571 IRExpr* e_nbytes = mkexpr(tNBytes); in generate_lsw_sequence()
5572 IRExpr* e_EA = mkexpr(EA); in generate_lsw_sequence()
5623 IRExpr* e_nbytes = mkexpr(tNBytes); in generate_stsw_sequence()
5624 IRExpr* e_EA = mkexpr(EA); in generate_stsw_sequence()
5760 static IRExpr* /* :: Ity_I32 */ branch_ctr_ok( UInt BO ) in branch_ctr_ok()
5789 static IRExpr* /* :: Ity_I32 */ branch_cond_ok( UInt BO, UInt BI ) in branch_cond_ok()
5843 IRExpr* e_nia = mkSzImm(ty, nextInsnAddr()); in dis_branch()
6132 IRExpr* argL0, IRExpr* argR0, Addr64 cia ) in do_trap()
6135 IRExpr *argLe, *argRe, *cond, *tmp; in do_trap()
6145 IRExpr* const0 = is32bit ? mkU32(0) : mkU64(0); in do_trap()
6146 IRExpr* const2 = is32bit ? mkU32(2) : mkU64(2); in do_trap()
6147 IRExpr* const4 = is32bit ? mkU32(4) : mkU64(4); in do_trap()
6148 IRExpr* const8 = is32bit ? mkU32(8) : mkU64(8); in do_trap()
6794 IRExpr* e_tmp; in dis_int_shift()
7010 static IRExpr* /* :: Ity_I32 */ gen_byterev32 ( IRTemp t ) in gen_byterev32()
7029 static IRExpr* /* :: Ity_I32 */ gen_byterev16 ( IRTemp t ) in gen_byterev16()
7084 IRExpr * nextAddr; in dis_int_ldst_rev()
7280 IRExpr** args = mkIRExprVec_1( mkU32(arg) ); in dis_proc_ctl()
7301 IRExpr** args = mkIRExprVec_0(); in dis_proc_ctl()
7326 IRExpr** args = mkIRExprVec_0(); in dis_proc_ctl()
7441 IRExpr * high64; in dis_proc_ctl()
7463 IRExpr * high64; in dis_proc_ctl()
7648 IRExpr* irx_addr; in dis_cache_manage()
7728 static IRExpr* /* :: Ity_I32 */ get_IR_roundingmode ( void ) in get_IR_roundingmode()
7764 static IRExpr* /* :: Ity_I32 */ get_IR_roundingmode_DFP( void ) in get_IR_roundingmode_DFP()
7780 static IRExpr * Check_NaN( IRExpr * value, IRExpr * Hi32Mask ) in Check_NaN()
7838 static IRExpr * Complement_non_NaN( IRExpr * value, IRExpr * nan_mask ) in Complement_non_NaN()
8150 IRExpr* rm = get_IR_roundingmode(); in dis_fp_arith()
8214 { IRExpr* ieee_one in dis_fp_arith()
8317 { IRExpr* ieee_one in dis_fp_arith()
8392 IRExpr* rm; in dis_fp_multadd()
8549 IRExpr * fe_flag, * fg_flag; in do_fp_tsqrt()
8552 IRExpr * frbNaN, * frbDenorm, * frBNeg; in do_fp_tsqrt()
8553 IRExpr * eb_LTE; in do_fp_tsqrt()
8601 IRExpr * hi32, * low32, * fraction_is_nonzero; in do_fp_tsqrt()
8669 IRExpr * fraNaN, * frbNaN, * frbDenorm; in _do_fp_tdiv()
8670 IRExpr * eb_LTE, * eb_GTE, * ea_eb_GTE, * ea_eb_LTE, * ea_LTE; in _do_fp_tdiv()
8679 IRExpr * fe_flag, * fg_flag; in _do_fp_tdiv()
8787 IRExpr * fraction_is_nonzero; in _do_fp_tdiv()
8793 IRExpr * hi32, * low32; in _do_fp_tdiv()
8836 static IRExpr * do_fp_tdiv(IRTemp frA_int, IRTemp frB_int) in do_fp_tdiv()
8843 IRExpr * fl_flag = unop(Iop_Not32, mkU32(0xFFFFFE)); in do_fp_tdiv()
9033 IRExpr* rm = get_IR_roundingmode(); in dis_fp_round()
9503 IRExpr* fpscr_all; in dis_fp_scr()
9561 IRExpr* fpscr_lower = getGST_masked( PPC_GST_FPSCR, MASK_FPSCR_RN ); in dis_fp_scr()
9562 IRExpr* fpscr_upper = getGST_masked_upper( PPC_GST_FPSCR, in dis_fp_scr()
9682 static IRExpr * Gfield_encoding( IRExpr * lmexp, IRExpr * lmd32 ) in Gfield_encoding()
9760 static void Get_lmd( IRTemp * lmd, IRExpr * gfield_0_4 ) in Get_lmd()
9844 static IRExpr * bcd_digit_inval( IRExpr * bcd_u, IRExpr * bcd_l ) in bcd_digit_inval()
9987 static IRExpr * Generate_neg_sign_mask( IRExpr * sign ) in Generate_neg_sign_mask()
9995 static IRExpr * Generate_pos_sign_mask( IRExpr * sign ) in Generate_pos_sign_mask()
10010 static IRExpr * Generate_sign_bit( IRExpr * pos_sign_mask, in Generate_sign_bit()
10011 IRExpr * neg_sign_mask ) in Generate_sign_bit()
10018 static IRExpr * Generate_inv_mask( IRExpr * invalid_bcd_mask, in Generate_inv_mask()
10019 IRExpr * pos_sign_mask, in Generate_inv_mask()
10020 IRExpr * neg_sign_mask ) in Generate_inv_mask()
10031 static void Generate_132_bit_bcd_string( IRExpr * frBI64_hi, IRExpr * frBI64_lo, in Generate_132_bit_bcd_string()
10108 static void Count_zeros( int start, IRExpr * init_cnt, IRExpr * init_flag, in Count_zeros()
10110 IRExpr * string ) in Count_zeros()
10156 static IRExpr * Count_leading_zeros_60( IRExpr * lmd, IRExpr * upper_28, in Count_leading_zeros_60()
10157 IRExpr * low_32 ) in Count_leading_zeros_60()
10186 static IRExpr * Count_leading_zeros_128( IRExpr * lmd, IRExpr * top_12_l, in Count_leading_zeros_128()
10187 IRExpr * mid_60_u, IRExpr * mid_60_l, in Count_leading_zeros_128()
10188 IRExpr * low_60_u, IRExpr * low_60_l) in Count_leading_zeros_128()
10251 static IRExpr * Check_unordered(IRExpr * val) in Check_unordered()
10299 IRExpr* round = get_IR_roundingmode_DFP(); in dis_dfp_arith()
10357 IRExpr* round = get_IR_roundingmode_DFP(); in dis_dfp_arithq()
10482 IRExpr* round = get_IR_roundingmode_DFP(); in dis_dfp_fmt_conv()
10548 IRExpr* round = get_IR_roundingmode_DFP(); in dis_dfp_fmt_convq()
12817 IRExpr* rmZero = mkU32(Irrm_ZERO); in dis_vx_conv()
12832 IRExpr * b0_result, * b1_result, * b2_result, * b3_result; in dis_vx_conv()
13158 IRExpr* rm = get_IR_roundingmode(); in dis_vxv_dp_arith()
13401 IRExpr* rm = get_IR_roundingmode(); in dis_vxv_sp_arith()
13908 get_fp_cmp_CR_val (IRExpr * ccIR_expr) in get_fp_cmp_CR_val()
13943 static IRExpr * _get_maxmin_fp_NaN(IRTemp frA_I64, IRTemp frB_I64) in _get_maxmin_fp_NaN()
14009 static IRExpr * _get_maxmin_fp_cmp(IRTemp src1, IRTemp src2, Bool isMin) in _get_maxmin_fp_cmp()
14031 static IRExpr * get_max_min_fp(IRTemp frA_I64, IRTemp frB_I64, Bool isMin) in get_max_min_fp()
14092 static IRExpr * _do_vsx_fp_roundToInt(IRTemp frB_I64, UInt opc2) in _do_vsx_fp_roundToInt()
14100 IRExpr * hi32; in _do_vsx_fp_roundToInt()
14101 IRExpr * rxpi_rm; in _do_vsx_fp_roundToInt()
14201 IRExpr* ieee_one = IRExpr_Const(IRConst_F64i(0x3ff0000000000000ULL)); in dis_vxv_misc()
14202 IRExpr* rm = get_IR_roundingmode(); in dis_vxv_misc()
14253 IRExpr* rm = get_IR_roundingmode(); in dis_vxv_misc()
14256 IRExpr* ieee_one = IRExpr_Const(IRConst_F64i(0x3ff0000000000000ULL)); in dis_vxv_misc()
14553 IRExpr * frD_fp_roundHi = NULL; in dis_vxv_misc()
14554 IRExpr * frD_fp_roundLo = NULL; in dis_vxv_misc()
14604 IRExpr * frD_fp_roundb3, * frD_fp_roundb2, * frD_fp_roundb1, * frD_fp_roundb0; in dis_vxv_misc()
14658 IRExpr* rm = get_IR_roundingmode(); in dis_vxs_arith()
15340 IRExpr * frD_fp_round = NULL; in dis_vxs_misc()
15359 IRExpr* ieee_one = IRExpr_Const(IRConst_F64i(0x3ff0000000000000ULL)); in dis_vxs_misc()
15360 IRExpr* rm = get_IR_roundingmode(); in dis_vxs_misc()
15393 IRExpr* ieee_one = IRExpr_Const(IRConst_F64i(0x3ff0000000000000ULL)); in dis_vxs_misc()
15394 IRExpr* rm = get_IR_roundingmode(); in dis_vxs_misc()
15420 IRExpr* rm = get_IR_roundingmode(); in dis_vxs_misc()
15539 IRExpr * exp; in dis_vx_load()
15554 IRExpr * exp; in dis_vx_load()
15569 IRExpr * exp; in dis_vx_load()
15585 IRExpr * exp; in dis_vx_load()
15597 IRExpr * high, *low; in dis_vx_load()
15599 IRExpr* high_addr; in dis_vx_load()
15618 IRExpr *t0; in dis_vx_load()
15624 IRExpr *t0_BE; in dis_vx_load()
15680 IRExpr * high64, * low32; in dis_vx_store()
15702 IRExpr * high64; in dis_vx_store()
15710 IRExpr * high64, *low64; in dis_vx_store()
15722 IRExpr* irx_addr; in dis_vx_store()
15906 IRExpr** args_be = mkIRExprVec_5( in dis_av_load()
15913 IRExpr** args_le = mkIRExprVec_5( in dis_av_load()
15955 IRExpr** args_be = mkIRExprVec_5( in dis_av_load()
15962 IRExpr** args_le = mkIRExprVec_5( in dis_av_load()
17965 static IRTemp _get_quad_modulo_or_carry(IRExpr * vecA, IRExpr * vecB, in _get_quad_modulo_or_carry()
17966 IRExpr * cin, Bool modulo) in _get_quad_modulo_or_carry()
17975 IRExpr * _vecA_low64 = unop( Iop_V128to64, vecA ); in _get_quad_modulo_or_carry()
17976 IRExpr * _vecB_low64 = unop( Iop_V128to64, vecB ); in _get_quad_modulo_or_carry()
17977 IRExpr * _vecA_high64 = unop( Iop_V128HIto64, vecA ); in _get_quad_modulo_or_carry()
17978 IRExpr * _vecB_high64 = unop( Iop_V128HIto64, vecB ); in _get_quad_modulo_or_carry()
18094 IRExpr * vB_expr = mkexpr(vB); in dis_av_quad()
18095 IRExpr * res = binop(Iop_AndV128, mkV128(0), mkV128(0)); in dis_av_quad()