Lines Matching refs:ReplaceBool

164         return ReplaceBool(m.left().Value() == m.right().Value());  in Reduce()
173       if (m.LeftEqualsRight()) return ReplaceBool(true);  // x == x => true  in Reduce()
282         return ReplaceBool(m.left().Value() < m.right().Value());  in Reduce()
296       if (m.LeftEqualsRight()) return ReplaceBool(false);  // x < x => false  in Reduce()
302         return ReplaceBool(m.left().Value() <= m.right().Value());  in Reduce()
316       if (m.LeftEqualsRight()) return ReplaceBool(true);  // x <= x => true  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()
324         return ReplaceBool(m.left().Value() < m.right().Value());  in Reduce()
326       if (m.LeftEqualsRight()) return ReplaceBool(false);  // x < x => 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()
334         return ReplaceBool(m.left().Value() <= m.right().Value());  in Reduce()
336       if (m.LeftEqualsRight()) return ReplaceBool(true);  // x <= x => true  in Reduce()