Home | History | Annotate | Download | only in priv

Lines Matching defs:node6

1604    IRTemp node6 = newTemp(Ity_I32);
1614 assign( node6, IRExpr_Mux0X( unop(Iop_1Uto8, mkexpr(node5)),
1617 assign( *res, mkexpr(node6) );
1652 IRTemp node6 = newTemp(Ity_I32);
1661 assign( node6, IRExpr_Mux0X( unop(Iop_1Uto8, mkexpr(node5)),
1663 assign( *res, mkexpr(node6) );