Home | History | Annotate | Download | only in priv

Lines Matching defs:dividend

1973        * then OV <- 1.   If dest reg is 0 AND both dividend
2095 * both dividend and divisor are non-zero, it implies an overflow.
3198 IRExpr* dividend = mk64lo32Sto64( mkexpr(rA) );
3200 assign( rD, mk64lo32Uto64( binop(Iop_DivS64, dividend,
3204 mkexpr(rD), dividend, divisor );
3229 IRExpr* dividend = mk64lo32Uto64( mkexpr(rA) );
3231 assign( rD, mk64lo32Uto64( binop(Iop_DivU64, dividend,
3235 mkexpr(rD), dividend, divisor );
3513 IRExpr * dividend, * divisor;
3518 dividend = unop( Iop_64to32, mkexpr( rA ) );
3520 assign( res, binop( Iop_DivU32E, dividend, divisor ) );
3523 dividend = mkexpr( rA );
3525 assign( res, binop( Iop_DivU32E, dividend, divisor ) );
3531 mkexpr(res), dividend, divisor );
3548 IRExpr * dividend, * divisor;
3553 dividend = unop( Iop_64to32, mkexpr( rA ) );
3555 assign( res, binop( Iop_DivS32E, dividend, divisor ) );
3558 dividend = mkexpr( rA );
3560 assign( res, binop( Iop_DivS32E, dividend, divisor ) );
3566 mkexpr(res), dividend, divisor );