Lines Matching refs:IRExpr
269 static Bool isFlat ( IRExpr* e ) in isFlat()
285 static IRExpr* flatten_Expr ( IRSB* bb, IRExpr* ex ) in flatten_Expr()
288 IRExpr** newargs; in flatten_Expr()
403 IRExpr *e1, *e2, *e3, *e4, *e5; in flatten_Stmt()
490 IRExpr* arg = d2->args[i]; in flatten_Stmt()
632 IRExpr* get = st->Ist.WrTmp.data; in redundant_get_removal_BB()
642 IRExpr* valE = (IRExpr*)val; in redundant_get_removal_BB()
727 IRExpr* e; in handle_gets_Stmt()
1046 static Bool sameIRExprs_aux2 ( IRExpr** env, IRExpr* e1, IRExpr* e2 );
1049 static Bool sameIRExprs_aux ( IRExpr** env, IRExpr* e1, IRExpr* e2 ) in sameIRExprs_aux()
1056 static Bool sameIRExprs_aux2 ( IRExpr** env, IRExpr* e1, IRExpr* e2 ) in sameIRExprs_aux2()
1134 static Bool sameIRExprs ( IRExpr** env, IRExpr* e1, IRExpr* e2 ) in sameIRExprs()
1164 Bool debug_only_hack_sameIRExprs_might_assert ( IRExpr* e1, IRExpr* e2 ) in debug_only_hack_sameIRExprs_might_assert()
1182 static Bool isZeroU32 ( IRExpr* e ) in isZeroU32()
1192 static Bool isZeroU64 ( IRExpr* e )
1201 static Bool isZeroV128 ( IRExpr* e ) in isZeroV128()
1209 static Bool isZeroV256 ( IRExpr* e ) in isZeroV256()
1217 static Bool isZeroU ( IRExpr* e ) in isZeroU()
1231 static Bool isOnesU ( IRExpr* e ) in isOnesU()
1254 static IRExpr* mkZeroOfPrimopResultType ( IROp op ) in mkZeroOfPrimopResultType()
1275 static IRExpr* mkOnesOfPrimopResultType ( IROp op ) in mkOnesOfPrimopResultType()
1348 static IRExpr* chase ( IRExpr** env, IRExpr* e ) in chase()
1362 static IRExpr* chase1 ( IRExpr** env, IRExpr* e ) in chase1()
1370 static IRExpr* fold_Expr ( IRExpr** env, IRExpr* e ) in fold_Expr()
1373 IRExpr* e2 = e; /* e2 is the result of folding e, if possible */ in fold_Expr()
2055 IRExpr* argHi = e->Iex.Binop.arg1; in fold_Expr()
2056 IRExpr* argLo = e->Iex.Binop.arg2; in fold_Expr()
2328 IRExpr* a1 = chase(env, e->Iex.Binop.arg1); in fold_Expr()
2431 static IRExpr* subst_Expr ( IRExpr** env, IRExpr* ex ) in subst_Expr()
2436 IRExpr *rhs = env[(Int)ex->Iex.RdTmp.tmp]; in subst_Expr()
2512 IRExpr** args2 = shallowCopyIRExprVec(ex->Iex.CCall.args); in subst_Expr()
2546 static IRStmt* subst_and_fold_Stmt ( IRExpr** env, IRStmt* st ) in subst_and_fold_Stmt()
2604 IRExpr* faddr = fold_Expr(env, subst_Expr(env, sg->addr)); in subst_and_fold_Stmt()
2605 IRExpr* fdata = fold_Expr(env, subst_Expr(env, sg->data)); in subst_and_fold_Stmt()
2606 IRExpr* fguard = fold_Expr(env, subst_Expr(env, sg->guard)); in subst_and_fold_Stmt()
2631 IRExpr* faddr = fold_Expr(env, subst_Expr(env, lg->addr)); in subst_and_fold_Stmt()
2632 IRExpr* falt = fold_Expr(env, subst_Expr(env, lg->alt)); in subst_and_fold_Stmt()
2633 IRExpr* fguard = fold_Expr(env, subst_Expr(env, lg->guard)); in subst_and_fold_Stmt()
2703 IRExpr* arg = d2->args[i]; in subst_and_fold_Stmt()
2724 IRExpr* fcond; in subst_and_fold_Stmt()
2763 IRExpr** env = LibVEX_Alloc_inline(n_tmps * sizeof(IRExpr*)); in cprop_BB()
2830 IRExpr* guard = lg->guard; in cprop_BB()
2883 IRExpr* guard = lg->guard; in cprop_BB()
2937 static void addUses_Expr ( Bool* set, IRExpr* e ) in addUses_Expr()
3046 IRExpr* arg = d->args[i]; in addUses_Stmt()
3067 static Bool isZeroU1 ( IRExpr* e ) in isZeroU1()
3075 static Bool isOneU1 ( IRExpr* e ) in isOneU1()
3174 IRExpr* (*specHelper) (const HChar*, IRExpr**, IRStmt**, Int) in spec_helpers_BB() argument
3179 IRExpr* ex; in spec_helpers_BB()
3244 GSAliasing getAliasingRelation_IC ( IRRegArray* descr1, IRExpr* ix1, in getAliasingRelation_IC()
3267 IRRegArray* descr1, IRExpr* ix1, Int bias1, in getAliasingRelation_II()
3268 IRRegArray* descr2, IRExpr* ix2, Int bias2 in getAliasingRelation_II()
3374 static void irExpr_to_TmpOrConst ( /*OUT*/TmpOrConst* tc, IRExpr* e ) in irExpr_to_TmpOrConst()
3393 static IRExpr* tmpOrConst_to_IRExpr ( TmpOrConst* tc ) in tmpOrConst_to_IRExpr()
3406 IRExpr** ins ) in irExprVec_to_TmpOrConsts()
3416 IRExpr* arg = ins[i]; in irExprVec_to_TmpOrConsts()
3576 static IRExpr* availExpr_to_IRExpr ( AvailExpr* ae ) in availExpr_to_IRExpr()
3632 IRExpr** vec = LibVEX_Alloc_inline((n+1) * sizeof(IRExpr*)); in availExpr_to_IRExpr()
3723 static AvailExpr* irExpr_to_AvailExpr ( IRExpr* e, Bool allowLoadsToBeCSEd ) in irExpr_to_AvailExpr()
4042 static Bool isAdd32OrSub32 ( IRExpr* e, IRTemp* tmp, Int* i32 ) in isAdd32OrSub32()
4071 IRExpr* e; in collapseChain()
4217 IRExpr* findPutI ( IRSB* bb, Int startHere, in findPutI()
4218 IRRegArray* descrG, IRExpr* ixG, Int biasG ) in findPutI()
4459 IRExpr* ix = st->Ist.WrTmp.data->Iex.GetI.ix; in do_redundant_GetI_elimination()
4461 IRExpr* replacement = findPutI(bb, i-1, descr, ix, bias); in do_redundant_GetI_elimination()
4551 static void deltaIRExpr ( IRExpr* e, Int delta ) in deltaIRExpr()
4671 IRExpr* arg = d->args[i]; in deltaIRStmt()
4748 IRExpr* udst; in maybe_loop_unroll_BB()
4976 IRExpr* bindee;
5003 static void setHints_Expr (Bool* doesLoad, Interval* getInterval, IRExpr* e ) in setHints_Expr()
5065 static void addToEnvFront ( ATmpInfo* env, IRTemp binder, IRExpr* bindee ) in addToEnvFront()
5083 static void aoccCount_Expr ( UShort* uses, IRExpr* e ) in aoccCount_Expr()
5208 IRExpr* arg = d->args[i]; in aoccCount_Stmt()
5230 static IRExpr* atbSubst_Temp ( ATmpInfo* env, IRTemp tmp ) in atbSubst_Temp()
5235 IRExpr* bindee = env[i].bindee; in atbSubst_Temp()
5249 static inline Bool is_Unop ( IRExpr* e, IROp op ) { in is_Unop()
5252 static inline Bool is_Binop ( IRExpr* e, IROp op ) { in is_Binop()
5256 static IRExpr* fold_IRExpr_Binop ( IROp op, IRExpr* a1, IRExpr* a2 ) in fold_IRExpr_Binop()
5281 static IRExpr* fold_IRExpr_Unop ( IROp op, IRExpr* aa ) in fold_IRExpr_Unop()
5430 static IRExpr* atbSubst_Expr ( ATmpInfo* env, IRExpr* e ) in atbSubst_Expr()
5432 IRExpr* e2; in atbSubst_Expr()
5433 IRExpr** args2; in atbSubst_Expr()
5599 IRExpr* arg = d2->args[i]; in atbSubst_Stmt()
5832 IRExpr *e, *e2; in ado_treebuild_BB()
5983 static void print_flat_expr ( IRExpr** env, IRExpr* e ) in print_flat_expr()
6028 static UInt spotBitfieldAssignment ( /*OUT*/IRExpr** aa, /*OUT*/IRExpr** bb, in spotBitfieldAssignment()
6029 /*OUT*/IRExpr** cc, in spotBitfieldAssignment()
6030 IRExpr** env, IRExpr* e, in spotBitfieldAssignment()
6040 IRExpr *a1, *and, *xor, *c, *a2bL, *a2bR; in spotBitfieldAssignment()
6175 static IRExpr* do_XOR_TRANSFORMS_IRExpr ( IRExpr** env, IRExpr* e ) in do_XOR_TRANSFORMS_IRExpr()
6205 IRExpr* aa = NULL; in do_XOR_TRANSFORMS_IRExpr()
6206 IRExpr* bb = NULL; in do_XOR_TRANSFORMS_IRExpr()
6207 IRExpr* cc = NULL; in do_XOR_TRANSFORMS_IRExpr()
6247 IRExpr** env = LibVEX_Alloc_inline(n_tmps * sizeof(IRExpr*)); in do_XOR_TRANSFORM_IRSB()
6280 IRExpr* mb_new_data in do_XOR_TRANSFORM_IRSB()
6329 IRExpr* arg = d->args[j]; in do_XOR_TRANSFORM_IRSB()
6395 IRExpr* (*specHelper) (const HChar*, IRExpr**, IRStmt**, Int), in cheap_transformations() argument
6538 IRExpr* arg = d->args[j]; in considerExpensives()
6574 IRExpr* (*specHelper) (const HChar*, IRExpr**, IRStmt**, Int), in do_iropt_BB() argument