Lines Matching refs:IRExpr
274 static IRExpr* mkU64 ( ULong i )
279 static IRExpr* mkU32 ( UInt i )
284 static IRExpr* mkU8 ( UInt i )
290 static IRExpr* mkexpr ( IRTemp tmp )
295 static IRExpr* unop ( IROp op, IRExpr* a )
300 static IRExpr* binop ( IROp op, IRExpr* a1, IRExpr* a2 )
305 static IRExpr* triop ( IROp op, IRExpr* a1, IRExpr* a2, IRExpr* a3 )
310 static IRExpr* loadLE ( IRType ty, IRExpr* addr )
321 static void assign ( IRTemp dst, IRExpr* e )
326 static void storeLE ( IRExpr* addr, IRExpr* data )
340 static IRExpr* /* :: Ity_I32 */ get_FAKE_roundingmode ( void )
346 static IRExpr* genROR32( IRTemp src, Int rot )
357 static IRExpr* mkU128 ( ULong i )
364 static IRExpr* align4if ( IRExpr* e, Bool b )
472 static IRExpr* llGetIReg ( UInt iregNo )
480 static IRExpr* getIRegA ( UInt iregNo )
482 IRExpr* e;
502 static IRExpr* getIRegT ( UInt iregNo )
504 IRExpr* e;
519 static void llPutIReg ( UInt iregNo, IRExpr* e )
532 IRExpr* e,
572 IRExpr* e,
647 static IRExpr* llGetDReg ( UInt dregNo )
654 static IRExpr* getDReg ( UInt dregNo ) {
659 static void llPutDReg ( UInt dregNo, IRExpr* e )
670 IRExpr* e,
691 static IRExpr* llGetDRegI64 ( UInt dregNo )
698 static IRExpr* getDRegI64 ( UInt dregNo ) {
703 static void llPutDRegI64 ( UInt dregNo, IRExpr* e )
714 IRExpr* e,
758 static IRExpr* llGetQReg ( UInt qregNo )
765 static IRExpr* getQReg ( UInt qregNo ) {
770 static void llPutQReg ( UInt qregNo, IRExpr* e )
781 IRExpr* e,
818 static IRExpr* llGetFReg ( UInt fregNo )
825 static IRExpr* getFReg ( UInt fregNo ) {
830 static void llPutFReg ( UInt fregNo, IRExpr* e )
841 IRExpr* e,
861 IRExpr* e, /* :: Ity_I32 */
919 static void or_into_QFLAG32 ( IRExpr* e, IRTemp condT )
939 IRExpr* e, /* Ity_I32 */
961 static IRExpr* get_GEFLAG32( Int flagNo /* 0, 1, 2, 3 */ )
1088 static IRExpr* mk_armg_calculate_condition_dyn ( IRExpr* cond )
1102 IRExpr** args
1109 IRExpr* call
1129 static IRExpr* mk_armg_calculate_condition ( ARMCondcode cond )
1142 static IRExpr* mk_armg_calculate_flag_c ( void )
1144 IRExpr** args
1149 IRExpr* call
1166 static IRExpr* mk_armg_calculate_flag_v ( void )
1168 IRExpr** args
1173 IRExpr* call
1189 static IRExpr* mk_armg_calculate_flags_nzcv ( void )
1191 IRExpr** args
1196 IRExpr* call
1209 static IRExpr* mk_armg_calculate_flag_qc ( IRExpr* resL, IRExpr* resR, Bool Q )
1211 IRExpr** args1;
1212 IRExpr** args2;
1213 IRExpr *call1, *call2, *res;
1289 static void setFlag_QC ( IRExpr* resL, IRExpr* resR, Bool Q,
1513 IRExpr* ge0
1515 IRExpr* ge1
1517 IRExpr* ge2
1519 IRExpr* ge3
1673 IRExpr* signed_overflow_after_Add32 ( IRExpr* resE,
2357 IRExpr* mk_EA_reg_plusminus_imm12 ( UInt rN, UInt bU, UInt imm12,
2376 IRExpr* mk_EA_reg_plusminus_shifted_reg ( UInt rN, UInt bU, UInt rM,
2386 IRExpr* index = NULL;
2446 IRExpr* mk_EA_reg_plusminus_imm8 ( UInt rN, UInt bU, UInt imm8,
2463 IRExpr* mk_EA_reg_plusminus_reg ( UInt rN, UInt bU, UInt rM,
2470 IRExpr* index = getIRegA(rM);
3037 IRExpr *imm_val;
3449 IRExpr *imm_val;
5926 IRExpr *imm_val;
6381 IRExpr *imm_val;
6833 IRExpr *zero1, *zero2;
6834 IRExpr *neg, *neg2;
6896 IRExpr *zero;
6951 IRExpr *zero;
6981 IRExpr *zero;
7012 IRExpr *zero;
7042 IRExpr *zero;
7074 IRExpr *zero;
7127 IRExpr *zero;
7650 IRExpr *imm_val;
7651 IRExpr *expr;
8106 IRExpr* e = binop(Iop_Add32,
8114 IRExpr* e = binop(Iop_Add32,
8186 IRExpr* e = binop(Iop_Add32,
8194 IRExpr* e = binop(Iop_Add32,
8459 IRExpr* ire_result = binop(Iop_Or32,
8521 IRExpr* ire_result
8702 IRExpr* ire_result = binop( Iop_Or32,
9535 IRExpr* ire_result = binop( Iop_Or32,
9604 IRExpr* ire_result
9668 IRExpr* ire_result
9748 IRExpr* ire_result
9836 IRExpr* ire_result = binop(Iop_Add32, mkexpr(irt_sum), mkexpr(irt_regA));
9914 IRExpr* ire_result = binop(Iop_Add32, mkexpr(irt_prod), mkexpr(irt_regA));
9985 IRExpr* ire_result = binop(Iop_Add32, mkexpr(prod32), mkexpr(irt_regA));
10043 IRExpr* ire_ge_flag0_or
10046 IRExpr* ire_ge_flag1_or
10049 IRExpr* ire_ge_flag2_or
10052 IRExpr* ire_ge_flag3_or
10056 IRExpr* ire_ge_flags
10073 IRExpr* ire_result
10131 IRExpr* resLo
10136 IRExpr* resHi
10141 IRExpr* ire_result
10185 IRExpr* rNe = isT ? getIRegT(rN) : getIRegA(rN);
10186 IRExpr* rMe = isT ? getIRegT(rM) : getIRegA(rM);
10187 IRExpr* rAe = rA == 15 ? mkU32(0)
10189 IRExpr* res = binop(Iop_Add32,
10277 IRExpr* e = binop(opADDorSUB, mkexpr(oldRnT), mkU32(4*nRegs));
10377 IRExpr* e = loadLE(Ity_I32,
10401 IRExpr* e = binop(opADDorSUB, mkexpr(oldRnT), mkU32(4*nRegs));
10568 IRExpr* addr = binop(Iop_Add32, mkexpr(taT), mkU32(8*i));
10705 IRExpr* addr = binop(Iop_Add32, mkexpr(taT), mkU32(8*i));
10762 IRExpr* e = IRExpr_Get(OFFB_FPSCR, Ity_I32);
10820 IRExpr* hi32 = unop(Iop_64HIto32, mkexpr(i64));
10821 IRExpr* lo32 = unop(Iop_64to32, mkexpr(i64));
10865 IRExpr* res0 = unop(Iop_ReinterpF32asI32, getFReg(sD));
10866 IRExpr* res1 = unop(Iop_ReinterpF32asI32, getFReg(sD+1));
10939 IRExpr* e = unop(U ? Iop_8Uto32 : Iop_8Sto32,
10953 IRExpr* e = unop(U ? Iop_16Uto32 : Iop_16Sto32,
10967 IRExpr* e = binop(Iop_GetElem32x2, getDRegI64(rN), mkU8(index));
11024 IRExpr* e = isT ? getIRegT(rT) : getIRegA(rT);
11110 IRExpr* rm = get_FAKE_roundingmode(); /* XXXROUNDINGFIXME */
11279 IRExpr* rm = get_FAKE_roundingmode(); /* XXXROUNDINGFIXME */
11454 IRExpr* addr = binop(Iop_Add32, mkexpr(taT), mkU32(4*i));
11509 IRExpr* res = unop(Iop_ReinterpF32asI32, getFReg(fN));
11575 IRExpr* rm = get_FAKE_roundingmode(); /* XXXROUNDINGFIXME */
11750 IRExpr* rm = get_FAKE_roundingmode(); /* XXXROUNDINGFIXME */
11923 IRExpr* eaE = mk_EA_reg_plusminus_shifted_reg(rN, bU, rM,
12573 IRExpr* eaE = NULL;
12806 IRExpr* eaE = NULL;
13830 IRExpr* eaE = NULL;
14008 IRExpr* res
15384 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), getIRegT(rM));
15411 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), getIRegT(rM));
15436 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), getIRegT(rM));
15457 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), getIRegT(rM));
15481 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), getIRegT(rM));
15616 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), mkU32(imm5 * 4));
15643 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), mkU32(imm5 * 2));
15671 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), mkU32(imm5));
15698 IRExpr* ea = binop(Iop_Add32, getIRegT(13), mkU32(imm8 * 4));
15949 IRExpr* res = newTemp(Ity_I32);
17428 IRExpr* ea
