Home | History | Annotate | Download | only in priv

Lines Matching full:arg2

675 static IRExpr* mkOR1 ( IRExpr* arg1, IRExpr* arg2 )
678    vassert(typeOfIRExpr(irsb->tyenv, arg2) == Ity_I1);
680                                           unop(Iop_1Uto32, arg2)));
683 static IRExpr* mkAND1 ( IRExpr* arg1, IRExpr* arg2 )
686    vassert(typeOfIRExpr(irsb->tyenv, arg2) == Ity_I1);
688                                            unop(Iop_1Uto32, arg2)));