Searched refs:sameIRValue (Results 1 – 1 of 1) sorted by relevance
6591 static Bool sameIRValue ( IRExpr* e1, IRExpr* e2 ) in sameIRValue() function6600 && sameIRValue(e1->Iex.Binop.arg1, e2->Iex.Binop.arg1) in sameIRValue()6601 && sameIRValue(e1->Iex.Binop.arg2, e2->Iex.Binop.arg2); in sameIRValue()6604 && sameIRValue(e1->Iex.Unop.arg, e2->Iex.Unop.arg); in sameIRValue()6608 return sameIRValue( e1->Iex.ITE.cond, e2->Iex.ITE.cond ) in sameIRValue()6609 && sameIRValue( e1->Iex.ITE.iftrue, e2->Iex.ITE.iftrue ) in sameIRValue()6610 && sameIRValue( e1->Iex.ITE.iffalse, e2->Iex.ITE.iffalse ); in sameIRValue()6645 if (pp->entry == entry && sameIRValue(pp->guard, guard)) in check_or_add()