Changeset e3282fe for src/ResolvExpr

Timestamp:

Nov 26, 2020, 7:31:23 PM (3 years ago)

Author:

Fangren Yu <f37yu@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

4432b52

Parents:

88a0ff6

Message:

optimize out some mangle calls

File:

• src/ResolvExpr/CandidateFinder.cpp (modified) (1 diff)

src/ResolvExpr/CandidateFinder.cpp

@@ -1685 +1685 @@
                 // is unique.
                 CandidateList satisfied;
-                satisfyAssertions(candidate, localSyms, satisfied, errors);
+                bool needRecomputeKey = false;
+                if (candidate->need.empty()) {
+                        satisfied.emplace_back(candidate);
+                }
+                else {
+                        satisfyAssertions(candidate, localSyms, satisfied, errors);
+                        needRecomputeKey = true;
+                }
 
                 for (auto & newCand : satisfied) {
                         // recomputes type key, if satisfyAssertions changed it
+                        if (needRecomputeKey)
                         {
                                 ast::ptr< ast::Type > newType = newCand->expr->result;