Lines Matching refs:sameIRExprs
1134 static Bool sameIRExprs ( IRExpr** env, IRExpr* e1, IRExpr* e2 ) in sameIRExprs() function
2135 if (sameIRExprs(env, e->Iex.Binop.arg1, e->Iex.Binop.arg2)) { in fold_Expr()
2147 if (sameIRExprs(env, e->Iex.Binop.arg1, e->Iex.Binop.arg2)) { in fold_Expr()
2169 if (sameIRExprs(env, e->Iex.Binop.arg1, e->Iex.Binop.arg2)) { in fold_Expr()
2185 if (sameIRExprs(env, e->Iex.Binop.arg1, e->Iex.Binop.arg2)) { in fold_Expr()
2223 if (sameIRExprs(env, e->Iex.Binop.arg1, e->Iex.Binop.arg2)) { in fold_Expr()
2233 if (sameIRExprs(env, e->Iex.Binop.arg1, e->Iex.Binop.arg2)) { in fold_Expr()
2255 if (sameIRExprs(env, e->Iex.Binop.arg1, e->Iex.Binop.arg2)) { in fold_Expr()
2291 if (sameIRExprs(env, e->Iex.Binop.arg1, e->Iex.Binop.arg2)) { in fold_Expr()
2322 if (sameIRExprs(env, e->Iex.Binop.arg1, e->Iex.Binop.arg2)) { in fold_Expr()
2343 if (sameIRExprs(env, e->Iex.Binop.arg1, e->Iex.Binop.arg2)) { in fold_Expr()
2366 if (sameIRExprs(env, e->Iex.ITE.iftrue, in fold_Expr()
2397 && sameIRExprs(env, e->Iex.Binop.arg1, e->Iex.Binop.arg2)) { in fold_Expr()