[clang-repl] Recommit "Land initial infrastructure for incremental parsing"
commit92f9852fc99b0a18e8d1329341f36f1708343f05
authorVassil Vassilev <v.g.vassilev@gmail.com>
Thu, 13 May 2021 05:41:44 +0000 (13 05:41 +0000)
committerVassil Vassilev <v.g.vassilev@gmail.com>
Thu, 13 May 2021 06:30:29 +0000 (13 06:30 +0000)
treed582382ca237e69f9f5bdbf48e5d9b363a414472
parent60da33c2d4b2cd744c70259088b2ab89eb858f33
[clang-repl] Recommit "Land initial infrastructure for incremental parsing"

Original commit message:

  In http://lists.llvm.org/pipermail/llvm-dev/2020-July/143257.html we have
  mentioned our plans to make some of the incremental compilation facilities
  available in llvm mainline.

  This patch proposes a minimal version of a repl, clang-repl, which enables
  interpreter-like interaction for C++. For instance:

  ./bin/clang-repl
  clang-repl> int i = 42;
  clang-repl> extern "C" int printf(const char*,...);
  clang-repl> auto r1 = printf("i=%d\n", i);
  i=42
  clang-repl> quit

  The patch allows very limited functionality, for example, it crashes on invalid
  C++. The design of the proposed patch follows closely the design of cling. The
  idea is to gather feedback and gradually evolve both clang-repl and cling to
  what the community agrees upon.

  The IncrementalParser class is responsible for driving the clang parser and
  codegen and allows the compiler infrastructure to process more than one input.
  Every input adds to the “ever-growing” translation unit. That model is enabled
  by an IncrementalAction which prevents teardown when HandleTranslationUnit.

  The IncrementalExecutor class hides some of the underlying implementation
  details of the concrete JIT infrastructure. It exposes the minimal set of
  functionality required by our incremental compiler/interpreter.

  The Transaction class keeps track of the AST and the LLVM IR for each
  incremental input. That tracking information will be later used to implement
  error recovery.

  The Interpreter class orchestrates the IncrementalParser and the
  IncrementalExecutor to model interpreter-like behavior. It provides the public
  API which can be used (in future) when using the interpreter library.

  Differential revision: https://reviews.llvm.org/D96033
26 files changed:
clang/include/clang/CodeGen/CodeGenAction.h
clang/include/clang/Frontend/FrontendAction.h
clang/include/clang/Interpreter/Interpreter.h [new file with mode: 0644]
clang/include/clang/Interpreter/Transaction.h [new file with mode: 0644]
clang/lib/CMakeLists.txt
clang/lib/CodeGen/CodeGenAction.cpp
clang/lib/Frontend/FrontendAction.cpp
clang/lib/Interpreter/CMakeLists.txt [new file with mode: 0644]
clang/lib/Interpreter/IncrementalExecutor.cpp [new file with mode: 0644]
clang/lib/Interpreter/IncrementalExecutor.h [new file with mode: 0644]
clang/lib/Interpreter/IncrementalParser.cpp [new file with mode: 0644]
clang/lib/Interpreter/IncrementalParser.h [new file with mode: 0644]
clang/lib/Interpreter/Interpreter.cpp [new file with mode: 0644]
clang/test/CMakeLists.txt
clang/test/Interpreter/execute.cpp [new file with mode: 0644]
clang/test/Interpreter/sanity.c [new file with mode: 0644]
clang/test/lit.cfg.py
clang/tools/CMakeLists.txt
clang/tools/clang-repl/CMakeLists.txt [new file with mode: 0644]
clang/tools/clang-repl/ClangRepl.cpp [new file with mode: 0644]
clang/unittests/CMakeLists.txt
clang/unittests/CodeGen/CMakeLists.txt
clang/unittests/CodeGen/IncrementalProcessingTest.cpp [deleted file]
clang/unittests/Interpreter/CMakeLists.txt [new file with mode: 0644]
clang/unittests/Interpreter/IncrementalProcessingTest.cpp [new file with mode: 0644]
clang/unittests/Interpreter/InterpreterTest.cpp [new file with mode: 0644]