Home | History | Annotate | Download | only in priv

Lines Matching refs:nd1

1605    IRTemp nd1 = newTemp(Ity_I32);
1613    assign( nd1, mkU32(ceil) );
1614    assign( nd2, binop( Iop_CmpLT32S, mkexpr(nd1), mkexpr(nd0) ) );
1615    assign( nd3, IRExpr_ITE(mkexpr(nd2), mkexpr(nd1), mkexpr(nd0)) );
1649    IRTemp nd1 = newTemp(Ity_I32);
1657    assign( nd1, mkU32(ceil) );
1658    assign( nd2, binop( Iop_CmpLT32S, mkexpr(nd1), mkexpr(nd0) ) );
1659    assign( nd3, IRExpr_ITE( mkexpr(nd2), mkexpr(nd1), mkexpr(nd0) ) );