Lines Matching full:arg1
675 static IRExpr* mkOR1 ( IRExpr* arg1, IRExpr* arg2 )
677 vassert(typeOfIRExpr(irsb->tyenv, arg1) == Ity_I1);
679 return unop(Iop_32to1, binop(Iop_Or32, unop(Iop_1Uto32, arg1),
683 static IRExpr* mkAND1 ( IRExpr* arg1, IRExpr* arg2 )
685 vassert(typeOfIRExpr(irsb->tyenv, arg1) == Ity_I1);
687 return unop(Iop_32to1, binop(Iop_And32, unop(Iop_1Uto32, arg1),
