Lines Matching refs:IRExpr
277 static IRExpr* mkU64 ( ULong i ) in mkU64()
282 static IRExpr* mkU32 ( UInt i ) in mkU32()
287 static IRExpr* mkU8 ( UInt i ) in mkU8()
293 static IRExpr* mkexpr ( IRTemp tmp ) in mkexpr()
298 static IRExpr* unop ( IROp op, IRExpr* a ) in unop()
303 static IRExpr* binop ( IROp op, IRExpr* a1, IRExpr* a2 ) in binop()
308 static IRExpr* triop ( IROp op, IRExpr* a1, IRExpr* a2, IRExpr* a3 ) in triop()
313 static IRExpr* loadLE ( IRType ty, IRExpr* addr ) in loadLE()
324 static void assign ( IRTemp dst, IRExpr* e ) in assign()
329 static void storeLE ( IRExpr* addr, IRExpr* data ) in storeLE()
334 static void storeGuardedLE ( IRExpr* addr, IRExpr* data, IRTemp guardT ) in storeGuardedLE()
346 IRExpr* addr, IRExpr* alt, in loadGuardedLE()
351 IRExpr* loaded = NULL; in loadGuardedLE()
386 static IRExpr* /* :: Ity_I32 */ get_FAKE_roundingmode ( void ) in get_FAKE_roundingmode()
392 static IRExpr* genROR32( IRTemp src, Int rot ) in genROR32()
403 static IRExpr* mkU128 ( ULong i ) in mkU128()
410 static IRExpr* align4if ( IRExpr* e, Bool b ) in align4if()
521 static IRExpr* llGetIReg ( UInt iregNo ) in llGetIReg()
529 static IRExpr* getIRegA ( UInt iregNo ) in getIRegA()
531 IRExpr* e; in getIRegA()
551 static IRExpr* getIRegT ( UInt iregNo ) in getIRegT()
553 IRExpr* e; in getIRegT()
568 static void llPutIReg ( UInt iregNo, IRExpr* e ) in llPutIReg()
581 IRExpr* e, in putIRegA()
620 IRExpr* e, in putIRegT()
694 static IRExpr* llGetDReg ( UInt dregNo ) in llGetDReg()
701 static IRExpr* getDReg ( UInt dregNo ) { in getDReg()
706 static void llPutDReg ( UInt dregNo, IRExpr* e ) in llPutDReg()
717 IRExpr* e, in putDReg()
737 static IRExpr* llGetDRegI64 ( UInt dregNo ) in llGetDRegI64()
744 static IRExpr* getDRegI64 ( UInt dregNo ) { in getDRegI64()
749 static void llPutDRegI64 ( UInt dregNo, IRExpr* e ) in llPutDRegI64()
760 IRExpr* e, in putDRegI64()
803 static IRExpr* llGetQReg ( UInt qregNo ) in llGetQReg()
810 static IRExpr* getQReg ( UInt qregNo ) { in getQReg()
815 static void llPutQReg ( UInt qregNo, IRExpr* e ) in llPutQReg()
826 IRExpr* e, in putQReg()
862 static IRExpr* llGetFReg ( UInt fregNo ) in llGetFReg()
869 static IRExpr* getFReg ( UInt fregNo ) { in getFReg()
874 static void llPutFReg ( UInt fregNo, IRExpr* e ) in llPutFReg()
885 IRExpr* e, in putFReg()
904 IRExpr* e, /* :: Ity_I32 */ in putMiscReg32()
960 static void or_into_QFLAG32 ( IRExpr* e, IRTemp condT ) in or_into_QFLAG32()
980 IRExpr* e, /* Ity_I32 */ in put_GEFLAG32()
1002 static IRExpr* get_GEFLAG32( Int flagNo /* 0, 1, 2, 3 */ ) in get_GEFLAG32()
1129 static IRExpr* mk_armg_calculate_condition_dyn ( IRExpr* cond ) in mk_armg_calculate_condition_dyn()
1143 IRExpr** args in mk_armg_calculate_condition_dyn()
1150 IRExpr* call in mk_armg_calculate_condition_dyn()
1170 static IRExpr* mk_armg_calculate_condition ( ARMCondcode cond ) in mk_armg_calculate_condition()
1183 static IRExpr* mk_armg_calculate_flag_c ( void ) in mk_armg_calculate_flag_c()
1185 IRExpr** args in mk_armg_calculate_flag_c()
1190 IRExpr* call in mk_armg_calculate_flag_c()
1207 static IRExpr* mk_armg_calculate_flag_v ( void ) in mk_armg_calculate_flag_v()
1209 IRExpr** args in mk_armg_calculate_flag_v()
1214 IRExpr* call in mk_armg_calculate_flag_v()
1230 static IRExpr* mk_armg_calculate_flags_nzcv ( void ) in mk_armg_calculate_flags_nzcv()
1232 IRExpr** args in mk_armg_calculate_flags_nzcv()
1237 IRExpr* call in mk_armg_calculate_flags_nzcv()
1250 static IRExpr* mk_armg_calculate_flag_qc ( IRExpr* resL, IRExpr* resR, Bool Q ) in mk_armg_calculate_flag_qc()
1252 IRExpr** args1; in mk_armg_calculate_flag_qc()
1253 IRExpr** args2; in mk_armg_calculate_flag_qc()
1254 IRExpr *call1, *call2, *res; in mk_armg_calculate_flag_qc()
1296 static void setFlag_QC ( IRExpr* resL, IRExpr* resR, Bool Q, in setFlag_QC()
1523 IRExpr* ge0 in synthesise_APSR()
1525 IRExpr* ge1 in synthesise_APSR()
1527 IRExpr* ge2 in synthesise_APSR()
1529 IRExpr* ge3 in synthesise_APSR()
1677 IRExpr* signed_overflow_after_Add32 ( IRExpr* resE, in signed_overflow_after_Add32()
1692 IRExpr* signed_overflow_after_Sub32 ( IRExpr* resE, in signed_overflow_after_Sub32()
2369 IRExpr* mk_EA_reg_plusminus_imm12 ( UInt rN, UInt bU, UInt imm12, in mk_EA_reg_plusminus_imm12()
2388 IRExpr* mk_EA_reg_plusminus_shifted_reg ( UInt rN, UInt bU, UInt rM, in mk_EA_reg_plusminus_shifted_reg()
2398 IRExpr* index = NULL; in mk_EA_reg_plusminus_shifted_reg()
2458 IRExpr* mk_EA_reg_plusminus_imm8 ( UInt rN, UInt bU, UInt imm8, in mk_EA_reg_plusminus_imm8()
2475 IRExpr* mk_EA_reg_plusminus_reg ( UInt rN, UInt bU, UInt rM, in mk_EA_reg_plusminus_reg()
2482 IRExpr* index = getIRegA(rM); in mk_EA_reg_plusminus_reg()
2881 IRExpr* binop_w_fake_RM ( IROp op, IRExpr* argL, IRExpr* argR ) in binop_w_fake_RM()
3074 IRExpr *imm_val; in dis_neon_data_3same()
3484 IRExpr *imm_val; in dis_neon_data_3same()
5944 IRExpr *imm_val; in dis_neon_data_2reg_and_shift()
6397 IRExpr *imm_val; in dis_neon_data_2reg_and_shift()
6847 IRExpr *zero1, *zero2; in dis_neon_data_2reg_misc()
6848 IRExpr *neg, *neg2; in dis_neon_data_2reg_misc()
6908 IRExpr *zero; in dis_neon_data_2reg_misc()
6961 IRExpr *zero; in dis_neon_data_2reg_misc()
6991 IRExpr *zero; in dis_neon_data_2reg_misc()
7022 IRExpr *zero; in dis_neon_data_2reg_misc()
7052 IRExpr *zero; in dis_neon_data_2reg_misc()
7084 IRExpr *zero; in dis_neon_data_2reg_misc()
7137 IRExpr *zero; in dis_neon_data_2reg_misc()
7658 IRExpr *imm_val; in dis_neon_data_1reg_and_imm()
7659 IRExpr *expr; in dis_neon_data_1reg_and_imm()
8009 static IRExpr* math_PERM_8x8x3(const UChar* desc, in math_PERM_8x8x3()
8503 IRExpr* e = binop(Iop_Add32, in dis_neon_load_or_store()
8511 IRExpr* e = binop(Iop_Add32, in dis_neon_load_or_store()
8619 IRExpr* a0 = binop(Iop_Add32, mkexpr(addr), mkU32(0)); in dis_neon_load_or_store()
8620 IRExpr* a1 = binop(Iop_Add32, mkexpr(addr), mkU32(8)); in dis_neon_load_or_store()
8644 IRExpr* a0 = binop(Iop_Add32, mkexpr(addr), mkU32(0)); in dis_neon_load_or_store()
8645 IRExpr* a1 = binop(Iop_Add32, mkexpr(addr), mkU32(8)); in dis_neon_load_or_store()
8646 IRExpr* a2 = binop(Iop_Add32, mkexpr(addr), mkU32(16)); in dis_neon_load_or_store()
8647 IRExpr* a3 = binop(Iop_Add32, mkexpr(addr), mkU32(24)); in dis_neon_load_or_store()
8692 IRExpr* a0 = binop(Iop_Add32, mkexpr(addr), mkU32(0)); in dis_neon_load_or_store()
8693 IRExpr* a1 = binop(Iop_Add32, mkexpr(addr), mkU32(8)); in dis_neon_load_or_store()
8694 IRExpr* a2 = binop(Iop_Add32, mkexpr(addr), mkU32(16)); in dis_neon_load_or_store()
8727 IRExpr* a0 = binop(Iop_Add32, mkexpr(addr), mkU32(0)); in dis_neon_load_or_store()
8728 IRExpr* a1 = binop(Iop_Add32, mkexpr(addr), mkU32(8)); in dis_neon_load_or_store()
8729 IRExpr* a2 = binop(Iop_Add32, mkexpr(addr), mkU32(16)); in dis_neon_load_or_store()
8730 IRExpr* a3 = binop(Iop_Add32, mkexpr(addr), mkU32(24)); in dis_neon_load_or_store()
8772 IRExpr* e; in dis_neon_load_or_store()
9043 IRExpr* ire_result = binop(Iop_Or32, in decode_V6MEDIA_instruction()
9105 IRExpr* ire_result in decode_V6MEDIA_instruction()
9289 IRExpr* ire_result in decode_V6MEDIA_instruction()
9350 IRExpr* ire_result = binop( Iop_Or32, in decode_V6MEDIA_instruction()
10222 IRExpr* ire_result = binop( Iop_Or32, in decode_V6MEDIA_instruction()
10291 IRExpr* ire_result in decode_V6MEDIA_instruction()
10355 IRExpr* ire_result in decode_V6MEDIA_instruction()
10435 IRExpr* ire_result in decode_V6MEDIA_instruction()
10523 IRExpr* ire_result = binop(Iop_Add32, mkexpr(irt_sum), mkexpr(irt_regA)); in decode_V6MEDIA_instruction()
10601 IRExpr* ire_result = binop(Iop_Add32, mkexpr(irt_prod), mkexpr(irt_regA)); in decode_V6MEDIA_instruction()
10747 IRExpr* ire_result = binop(Iop_Add32, mkexpr(prod32), mkexpr(irt_regA)); in decode_V6MEDIA_instruction()
10805 IRExpr* ire_ge_flag0_or in decode_V6MEDIA_instruction()
10808 IRExpr* ire_ge_flag1_or in decode_V6MEDIA_instruction()
10811 IRExpr* ire_ge_flag2_or in decode_V6MEDIA_instruction()
10814 IRExpr* ire_ge_flag3_or in decode_V6MEDIA_instruction()
10818 IRExpr* ire_ge_flags in decode_V6MEDIA_instruction()
10835 IRExpr* ire_result in decode_V6MEDIA_instruction()
10893 IRExpr* resLo in decode_V6MEDIA_instruction()
10898 IRExpr* resHi in decode_V6MEDIA_instruction()
10903 IRExpr* ire_result in decode_V6MEDIA_instruction()
10947 IRExpr* rNe = isT ? getIRegT(rN) : getIRegA(rN); in decode_V6MEDIA_instruction()
10948 IRExpr* rMe = isT ? getIRegT(rM) : getIRegA(rM); in decode_V6MEDIA_instruction()
10949 IRExpr* rAe = rA == 15 ? mkU32(0) in decode_V6MEDIA_instruction()
10951 IRExpr* res = binop(Iop_Add32, in decode_V6MEDIA_instruction()
11468 IRExpr* ire_result = binop( Iop_Or32, in decode_V6MEDIA_instruction()
11537 IRExpr* ire_result in decode_V6MEDIA_instruction()
11603 IRExpr* ire_result in decode_V6MEDIA_instruction()
11679 IRExpr* ire_result in decode_V6MEDIA_instruction()
11755 IRExpr* ire_result in decode_V6MEDIA_instruction()
11863 IRExpr* resLo in decode_V6MEDIA_instruction()
11872 IRExpr* resHi in decode_V6MEDIA_instruction()
11886 IRExpr* ire_result in decode_V6MEDIA_instruction()
12373 IRExpr* res in decode_V6MEDIA_instruction()
12636 IRExpr* e = binop(opADDorSUB, mkexpr(oldRnT), mkU32(4*nRegs)); in mk_ldm_stm()
12736 IRExpr* e = loadLE(Ity_I32, in mk_ldm_stm()
12760 IRExpr* e = binop(opADDorSUB, mkexpr(oldRnT), mkU32(4*nRegs)); in mk_ldm_stm()
12927 IRExpr* addr = binop(Iop_Add32, mkexpr(taT), mkU32(8*i)); in decode_CP10_CP11_instruction()
13064 IRExpr* addr = binop(Iop_Add32, mkexpr(taT), mkU32(8*i)); in decode_CP10_CP11_instruction()
13121 IRExpr* e = IRExpr_Get(OFFB_FPSCR, Ity_I32); in decode_CP10_CP11_instruction()
13179 IRExpr* hi32 = unop(Iop_64HIto32, mkexpr(i64)); in decode_CP10_CP11_instruction()
13180 IRExpr* lo32 = unop(Iop_64to32, mkexpr(i64)); in decode_CP10_CP11_instruction()
13224 IRExpr* res0 = unop(Iop_ReinterpF32asI32, getFReg(sD)); in decode_CP10_CP11_instruction()
13225 IRExpr* res1 = unop(Iop_ReinterpF32asI32, getFReg(sD+1)); in decode_CP10_CP11_instruction()
13298 IRExpr* e = unop(U ? Iop_8Uto32 : Iop_8Sto32, in decode_CP10_CP11_instruction()
13312 IRExpr* e = unop(U ? Iop_16Uto32 : Iop_16Sto32, in decode_CP10_CP11_instruction()
13326 IRExpr* e = binop(Iop_GetElem32x2, getDRegI64(rN), mkU8(index)); in decode_CP10_CP11_instruction()
13383 IRExpr* e = isT ? getIRegT(rT) : getIRegA(rT); in decode_CP10_CP11_instruction()
13469 IRExpr* rm = get_FAKE_roundingmode(); /* XXXROUNDINGFIXME */ in decode_CP10_CP11_instruction()
13681 IRExpr* rm = get_FAKE_roundingmode(); /* XXXROUNDINGFIXME */ in decode_CP10_CP11_instruction()
13856 IRExpr* addr = binop(Iop_Add32, mkexpr(taT), mkU32(4*i)); in decode_CP10_CP11_instruction()
13911 IRExpr* res = unop(Iop_ReinterpF32asI32, getFReg(fN)); in decode_CP10_CP11_instruction()
13977 IRExpr* rm = get_FAKE_roundingmode(); /* XXXROUNDINGFIXME */ in decode_CP10_CP11_instruction()
14195 IRExpr* rm = get_FAKE_roundingmode(); /* XXXROUNDINGFIXME */ in decode_CP10_CP11_instruction()
14342 IRExpr* rm = mkU32(Irrm_NEAREST); in decode_CP10_CP11_instruction()
14355 IRExpr* as_F64 = unop( unsyned ? Iop_I32UtoF64 : Iop_I32StoF64, in decode_CP10_CP11_instruction()
14357 IRExpr* resF64 = triop(Iop_DivF64, in decode_CP10_CP11_instruction()
14361 IRExpr* resF32 = binop(Iop_F64toF32, mkexpr(rmode), resF64); in decode_CP10_CP11_instruction()
14374 IRExpr* as_F64 = unop( unsyned ? Iop_I32UtoF64 : Iop_I32StoF64, in decode_CP10_CP11_instruction()
14376 IRExpr* resF64 = triop(Iop_DivF64, in decode_CP10_CP11_instruction()
14489 IRExpr* eaE = mk_EA_reg_plusminus_shifted_reg(rN, bU, rM, in decode_NV_instruction()
15143 IRExpr* eaE = NULL; in disInstr_ARM_WRK()
15394 IRExpr* eaE = NULL; in disInstr_ARM_WRK()
16514 IRExpr* eaE = NULL; in disInstr_ARM_WRK()
16749 IRExpr* res in disInstr_ARM_WRK()
16771 IRExpr* res in disInstr_ARM_WRK()
16801 IRExpr* erN = binop(bU ? Iop_Add32 : Iop_Sub32, in disInstr_ARM_WRK()
16832 IRExpr* erN = mk_EA_reg_plusminus_shifted_reg(rN, bU, rM, in disInstr_ARM_WRK()
16856 IRExpr* erN = binop(bU ? Iop_Add32 : Iop_Sub32, in disInstr_ARM_WRK()
16887 IRExpr* erN = mk_EA_reg_plusminus_shifted_reg(rN, bU, rM, in disInstr_ARM_WRK()
16915 IRExpr* erN = binop(bU ? Iop_Add32 : Iop_Sub32, in disInstr_ARM_WRK()
16942 IRExpr* erN = binop(bU ? Iop_Add32 : Iop_Sub32, in disInstr_ARM_WRK()
16971 IRExpr* erN = binop(bU ? Iop_Add32 : Iop_Sub32, in disInstr_ARM_WRK()
16998 IRExpr* erN = binop(bU ? Iop_Add32 : Iop_Sub32, in disInstr_ARM_WRK()
17027 IRExpr* erN = binop(bU ? Iop_Add32 : Iop_Sub32, in disInstr_ARM_WRK()
17054 IRExpr* erN = binop(bU ? Iop_Add32 : Iop_Sub32, in disInstr_ARM_WRK()
17075 IRExpr* address = getIRegA(rN); in disInstr_ARM_WRK()
17076 IRExpr* data = unop(Iop_32to8, getIRegA(rT)); in disInstr_ARM_WRK()
17078 IRExpr* newRn = binop(bU ? Iop_Add32 : Iop_Sub32, in disInstr_ARM_WRK()
17102 IRExpr* address = getIRegA(rN); in disInstr_ARM_WRK()
17103 IRExpr* data = unop(Iop_32to8, getIRegA(rT)); in disInstr_ARM_WRK()
17106 IRExpr* erN = mk_EA_reg_plusminus_shifted_reg(rN, bU, rM, in disInstr_ARM_WRK()
17129 IRExpr* address = getIRegA(rN); in disInstr_ARM_WRK()
17130 IRExpr* data = unop(Iop_32to16, getIRegA(rT)); in disInstr_ARM_WRK()
17132 IRExpr* newRn = binop(bU ? Iop_Add32 : Iop_Sub32, in disInstr_ARM_WRK()
17154 IRExpr* address = getIRegA(rN); in disInstr_ARM_WRK()
17155 IRExpr* data = unop(Iop_32to16, getIRegA(rT)); in disInstr_ARM_WRK()
17157 IRExpr* newRn = binop(bU ? Iop_Add32 : Iop_Sub32, in disInstr_ARM_WRK()
17178 IRExpr* address = getIRegA(rN); in disInstr_ARM_WRK()
17180 IRExpr* newRn = binop(bU ? Iop_Add32 : Iop_Sub32, in disInstr_ARM_WRK()
17208 IRExpr* erN = mk_EA_reg_plusminus_shifted_reg(rN, bU, rM, in disInstr_ARM_WRK()
18698 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), getIRegT(rM)); in disInstr_THUMB_WRK()
18723 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), getIRegT(rM)); in disInstr_THUMB_WRK()
18745 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), getIRegT(rM)); in disInstr_THUMB_WRK()
18763 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), getIRegT(rM)); in disInstr_THUMB_WRK()
18784 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), getIRegT(rM)); in disInstr_THUMB_WRK()
18913 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), mkU32(imm5 * 4)); in disInstr_THUMB_WRK()
18938 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), mkU32(imm5 * 2)); in disInstr_THUMB_WRK()
18963 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), mkU32(imm5)); in disInstr_THUMB_WRK()
18987 IRExpr* ea = binop(Iop_Add32, getIRegT(13), mkU32(imm8 * 4)); in disInstr_THUMB_WRK()
20194 IRExpr* data = NULL; in disInstr_THUMB_WRK()
20362 IRExpr* data = NULL; in disInstr_THUMB_WRK()
20523 IRExpr* data = NULL; in disInstr_THUMB_WRK()
20776 IRExpr* ea in disInstr_THUMB_WRK()
21118 IRExpr* res in disInstr_THUMB_WRK()
21140 IRExpr* res in disInstr_THUMB_WRK()
21681 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), mkU32(imm8)); in disInstr_THUMB_WRK()
21704 IRExpr* address = binop(Iop_Add32, getIRegT(rN), mkU32(imm8)); in disInstr_THUMB_WRK()
21725 IRExpr* address = binop(Iop_Add32, getIRegT(rN), mkU32(imm8)); in disInstr_THUMB_WRK()
21726 IRExpr* data = unop(Iop_32to8, llGetIReg(rT)); in disInstr_THUMB_WRK()
21753 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), mkU32(imm8)); in disInstr_THUMB_WRK()
21782 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), mkU32(imm8)); in disInstr_THUMB_WRK()
21805 IRExpr* address = binop(Iop_Add32, getIRegT(rN), mkU32(imm8)); in disInstr_THUMB_WRK()
21806 IRExpr* data = unop(Iop_32to16, llGetIReg(rT)); in disInstr_THUMB_WRK()
21828 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), mkU32(imm8)); in disInstr_THUMB_WRK()
21852 IRExpr* ea = binop(Iop_Add32, getIRegT(rN), mkU32(imm8)); in disInstr_THUMB_WRK()