Home | History | Annotate | Download | only in priv

Lines Matching defs:nd2

1606    IRTemp nd2 = newTemp(Ity_I1);
1614    assign( nd2, binop( Iop_CmpLT32S, mkexpr(nd1), mkexpr(nd0) ) );
1615    assign( nd3, IRExpr_ITE(mkexpr(nd2), mkexpr(nd1), mkexpr(nd0)) );
1650    IRTemp nd2 = newTemp(Ity_I1);
1658    assign( nd2, binop( Iop_CmpLT32S, mkexpr(nd1), mkexpr(nd0) ) );
1659    assign( nd3, IRExpr_ITE( mkexpr(nd2), mkexpr(nd1), mkexpr(nd0) ) );