• Home
  • Raw
  • Download

Lines Matching refs:IRExpr

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