Searched refs:ReplaceBool (Results 1 – 2 of 2) sorted by relevance
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()[all …]
35 Reduction ReplaceBool(bool value) { return ReplaceInt32(value ? 1 : 0); } in ReplaceBool() function