Method isLargerThanInclReads

ir/state.cpp:205–224

}

bool State::ValueAnalysis::FnCallRanges::isLargerThanInclReads(
  const FnCallRanges &other) const {
  for (auto &[fn, pair] : *this) {
    auto &[calls, access] = pair;
    auto I = other.find(fn);
    if (I == other.end())
      continue;

    auto first_val = calls.begin()->first;
    auto other_last_val = I->second.first.rbegin()->first;
    if (first_val < other_last_val)
      return false;
  }

  for (auto &[fn, pair] : other) {
    if (!count(fn))
      return false;
  }
  return true;
}

State::ValueAnalysis::FnCallRanges
State::ValueAnalysis::FnCallRanges::project(const string &name) const {