51       if (m.right().Is(0)) return Replace(m.right().node());  // x & 0  => 0  in Reduce()
52       if (m.right().Is(-1)) return Replace(m.left().node());  // x & -1 => x  in Reduce()
56       if (m.LeftEqualsRight()) return Replace(m.left().node());  // x & x => x  in Reduce()
61       if (m.right().Is(0)) return Replace(m.left().node());    // x | 0  => x  in Reduce()
62       if (m.right().Is(-1)) return Replace(m.right().node());  // x | -1 => -1  in Reduce()
66       if (m.LeftEqualsRight()) return Replace(m.left().node());  // x | x => x  in Reduce()
121       if (m.right().Is(0)) return Replace(m.left().node());  // x ^ 0 => x  in Reduce()
130       if (m.right().Is(0)) return Replace(m.left().node());  // x << 0 => x  in Reduce()
138       if (m.right().Is(0)) return Replace(m.left().node());  // x >>> 0 => x  in Reduce()
146       if (m.right().Is(0)) return Replace(m.left().node());  // x >> 0 => x  in Reduce()
154       if (m.right().Is(0)) return Replace(m.left().node());  // x ror 0 => x  in Reduce()
178       if (m.right().Is(0)) return Replace(m.left().node());  // x + 0 => x  in Reduce()
187       if (m.right().Is(0)) return Replace(m.left().node());  // x - 0 => x  in Reduce()
197       if (m.right().Is(0)) return Replace(m.right().node());  // x * 0 => 0  in Reduce()
198       if (m.right().Is(1)) return Replace(m.left().node());   // x * 1 => x  in Reduce()
217       if (m.right().Is(1)) return Replace(m.left().node());  // x / 1 => x  in Reduce()
236       if (m.right().Is(1)) return Replace(m.left().node());  // x / 1 => x  in Reduce()
355       if (m.right().Is(1)) return Replace(m.left().node());  // x * 1.0 => x  in Reduce()
357         return Replace(m.right().node());  in Reduce()
366       if (m.right().Is(1)) return Replace(m.left().node());  // x / 1.0 => x  in Reduce()
368         return Replace(m.right().node());  in Reduce()
371         return Replace(m.left().node());  in Reduce()
381         return Replace(m.right().node());  in Reduce()
384         return Replace(m.left().node());  in Reduce()
399       if (m.IsChangeInt32ToFloat64()) return Replace(m.node()->InputAt(0));  in Reduce()
405       if (m.IsChangeUint32ToFloat64()) return Replace(m.node()->InputAt(0));  in Reduce()
431       if (m.IsChangeInt32ToFloat64()) return Replace(m.node()->InputAt(0));  in Reduce()
437       if (m.IsChangeInt32ToInt64()) return Replace(m.node()->InputAt(0));  in Reduce()
443       if (m.IsChangeFloat32ToFloat64()) return Replace(m.node()->InputAt(0));  in Reduce()
465         return (index == 0) ? Replace(m.left().node()) : ReplaceInt32(0);  in ReduceProjection()
479         return (index == 0) ? Replace(m.left().node()) : ReplaceInt32(0);  in ReduceProjection()