Method get

ir/fast_math.cpp:72–79

  vector<vector<const Node*>> nodes_eqs; // root -> equiv nodes

  unsigned get(Node &&n) {
    auto [I, inserted] = nodes.try_emplace(std::move(n), 0);
    if (inserted) {
      I->second = uf.mk();
      nodes_eqs.emplace_back(1, &I->first);
    }
    return I->second;
  }

  void decl_equivalent(Node &&node, unsigned n1) {
    unsigned n2 = get(std::move(node));