()
| 593 | } |
| 594 | Node copyF() { return null; } |
| 595 | |
| 596 | // ------------------------------------------------------------------------ |
| 597 | // Peephole utilities |
| 598 | |
| 599 | // Swap inputs without letting either input go dead during the swap. |
| 600 | public Node swap12() { |
| 601 | unlock(); // Hash is order dependent |
| 602 | _inputs.swap(1,2); |
| 603 | return this; |