[all-commits] [llvm/llvm-project] b933d3: [Concepts] Constraint Satisfaction Caching

[Saar Raz via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: b933d37cd3774e5431b35e82187eebb59b1ff59e
      https://github.com/llvm/llvm-project/commit/b933d37cd3774e5431b35e82187eebb59b1ff59e
  Author: Saar Raz <saar at raz.email>
  Date:   2020-01-22 (Wed, 22 Jan 2020)

  Changed paths:
    M clang/include/clang/AST/ASTConcept.h
    M clang/include/clang/Basic/LangOptions.def
    M clang/include/clang/Driver/CC1Options.td
    M clang/include/clang/Sema/Sema.h
    M clang/include/clang/Sema/TemplateDeduction.h
    M clang/lib/AST/ASTConcept.cpp
    M clang/lib/Frontend/CompilerInvocation.cpp
    M clang/lib/Sema/Sema.cpp
    M clang/lib/Sema/SemaConcept.cpp
    A clang/test/SemaTemplate/cxx2a-constraint-caching.cpp

  Log Message:
  -----------
  [Concepts] Constraint Satisfaction Caching

Add a simple cache for constraint satisfaction results. Whether or not this simple caching
would be permitted in final C++2a is currently being discussed but it is required for
acceptable performance so we use it in the meantime, with the possibility of adding some
cache invalidation mechanisms later.

Differential Revision: https://reviews.llvm.org/D72552