Lines Matching refs:sameIRExprs_aux

1049 static Bool sameIRExprs_aux ( IRExpr** env, IRExpr* e1, IRExpr* e2 )  in sameIRExprs_aux()  function
1065             Bool same = sameIRExprs_aux(env, env[e1->Iex.RdTmp.tmp],  in sameIRExprs_aux2()
1083                         && sameIRExprs_aux( env, e1->Iex.Binop.arg1,  in sameIRExprs_aux2()
1085                         && sameIRExprs_aux( env, e1->Iex.Binop.arg2,  in sameIRExprs_aux2()
1090                         && sameIRExprs_aux( env, e1->Iex.Unop.arg,  in sameIRExprs_aux2()
1112                         && sameIRExprs_aux( env, tri1->arg1, tri2->arg1 )  in sameIRExprs_aux2()
1113                         && sameIRExprs_aux( env, tri1->arg2, tri2->arg2 )  in sameIRExprs_aux2()
1114                         && sameIRExprs_aux( env, tri1->arg3, tri2->arg3 ));  in sameIRExprs_aux2()
1118          return toBool(    sameIRExprs_aux( env, e1->Iex.ITE.cond,  in sameIRExprs_aux2()
1120                         && sameIRExprs_aux( env, e1->Iex.ITE.iftrue,  in sameIRExprs_aux2()
1122                         && sameIRExprs_aux( env, e1->Iex.ITE.iffalse,  in sameIRExprs_aux2()
1139    same = sameIRExprs_aux(env, e1, e2);  in sameIRExprs()