Lines Matching defs:node1
1599 IRTemp node1 = newTemp(Ity_I32);
1607 assign( node1, mkU32(ceil) );
1608 assign( node2, binop( Iop_CmpLT32S, mkexpr(node1), mkexpr(node0) ) );
1611 mkexpr(node1) ) );
1647 IRTemp node1 = newTemp(Ity_I32);
1655 assign( node1, mkU32(ceil) );
1656 assign( node2, binop( Iop_CmpLT32S, mkexpr(node1), mkexpr(node0) ) );
1658 mkexpr(node0), mkexpr(node1) ) );