Lines Matching full:node4
1602 IRTemp node4 = newTemp(Ity_I32);
1612 assign( node4, mkU32(floor) );
1613 assign( node5, binop( Iop_CmpLT32S, mkexpr(node3), mkexpr(node4) ) );
1616 mkexpr(node4) ) );
1650 IRTemp node4 = newTemp(Ity_I32);
1659 assign( node4, mkU32(floor) );
1660 assign( node5, binop( Iop_CmpLT32S, mkexpr(node3), mkexpr(node4) ) );
1662 mkexpr(node3), mkexpr(node4) ) );