Home | History | Annotate | Download | only in priv

Lines Matching refs:nd0

1604    IRTemp nd0 = newTemp(Ity_I32);
1612    assign( nd0, mkexpr(regT) );
1614    assign( nd2, binop( Iop_CmpLT32S, mkexpr(nd1), mkexpr(nd0) ) );
1615    assign( nd3, IRExpr_ITE(mkexpr(nd2), mkexpr(nd1), mkexpr(nd0)) );
1648    IRTemp nd0 = newTemp(Ity_I32);
1656    assign( nd0, mkexpr(regT) );
1658    assign( nd2, binop( Iop_CmpLT32S, mkexpr(nd1), mkexpr(nd0) ) );
1659    assign( nd3, IRExpr_ITE( mkexpr(nd2), mkexpr(nd1), mkexpr(nd0) ) );