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()
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()
74             if (mrightright.left().Is(32) &&  in Reduce()
84               mright.right().Is(32 - mleft.right().Value())) {  in Reduce()
99             if (mleftright.left().Is(32) &&  in Reduce()
109               mleft.right().Is(32 - mright.right().Value())) {  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()
166       if (m.left().IsInt32Sub() && m.right().Is(0)) {  // x - y == 0 => x == y  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()
202       if (m.right().Is(-1)) {  // x * -1 => 0 - x  in Reduce()
217       if (m.right().Is(1)) return Replace(m.left().node());  // x / 1 => x  in Reduce()
222       if (m.IsFoldable() && !m.right().Is(0)) {  // K / K => K  in Reduce()
223         if (m.right().Is(-1)) return ReplaceInt32(-m.left().Value());  in Reduce()
226       if (m.right().Is(-1)) {  // x / -1 => 0 - x  in Reduce()
236       if (m.right().Is(1)) return Replace(m.left().node());  // x / 1 => x  in Reduce()
240       if (m.IsFoldable() && !m.right().Is(0)) {  // K / K => K  in Reduce()
252       if (m.right().Is(1)) return ReplaceInt32(0);   // x % 1  => 0  in Reduce()
253       if (m.right().Is(-1)) return ReplaceInt32(0);  // x % -1 => 0  in Reduce()
258       if (m.IsFoldable() && !m.right().Is(0)) {  // K % K => K  in Reduce()
265       if (m.right().Is(1)) return ReplaceInt32(0);  // x % 1 => 0  in Reduce()
269       if (m.IsFoldable() && !m.right().Is(0)) {  // K % K => K  in Reduce()
284       if (m.left().IsInt32Sub() && m.right().Is(0)) {  // x - y < 0 => x < y  in Reduce()
290       if (m.left().Is(0) && m.right().IsInt32Sub()) {  // 0 < x - y => y < x  in Reduce()
304       if (m.left().IsInt32Sub() && m.right().Is(0)) {  // x - y <= 0 => x <= y  in Reduce()
310       if (m.left().Is(0) && m.right().IsInt32Sub()) {  // 0 <= x - y => y <= x  in Reduce()
321       if (m.left().Is(kMaxUInt32)) return ReplaceBool(false);  // M < x => false  in Reduce()
322       if (m.right().Is(0)) return ReplaceBool(false);          // x < 0 => false  in Reduce()
331       if (m.left().Is(0)) return ReplaceBool(true);            // 0 <= x => true  in Reduce()
332       if (m.right().Is(kMaxUInt32)) return ReplaceBool(true);  // x <= M => true  in Reduce()
355       if (m.right().Is(1)) return Replace(m.left().node());  // x * 1.0 => x  in Reduce()
366       if (m.right().Is(1)) return Replace(m.left().node());  // x / 1.0 => x  in Reduce()
464       if (m.right().Is(0)) {  in ReduceProjection()
478       if (m.right().Is(0)) {  in ReduceProjection()