Home | History | Annotate | Download | only in priv

Lines Matching refs:nd6

1610    IRTemp nd6 = newTemp(Ity_I32);
1618    assign( nd6, IRExpr_ITE(mkexpr(nd5), mkexpr(nd4), mkexpr(nd3)) );
1619    assign( *res, mkexpr(nd6) );
1654    IRTemp nd6 = newTemp(Ity_I32);
1662    assign( nd6, IRExpr_ITE( mkexpr(nd5), mkexpr(nd4), mkexpr(nd3) ) );
1663    assign( *res, mkexpr(nd6) );