[all-commits] [llvm/llvm-project] 44a400: [clang-repl] Land initial infrastructure for incre...

Vassil Vassilev via All-commits all-commits at lists.llvm.org
Wed May 12 21:24:57 PDT 2021


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 44a4000181e1a25027e87f2ae4e71cb876a7a275
      https://github.com/llvm/llvm-project/commit/44a4000181e1a25027e87f2ae4e71cb876a7a275
  Author: Vassil Vassilev <v.g.vassilev at gmail.com>
  Date:   2021-05-13 (Thu, 13 May 2021)

  Changed paths:
    M clang/include/clang/CodeGen/CodeGenAction.h
    M clang/include/clang/Frontend/FrontendAction.h
    A clang/include/clang/Interpreter/Interpreter.h
    A clang/include/clang/Interpreter/Transaction.h
    M clang/lib/CMakeLists.txt
    M clang/lib/CodeGen/CodeGenAction.cpp
    M clang/lib/Frontend/FrontendAction.cpp
    A clang/lib/Interpreter/CMakeLists.txt
    A clang/lib/Interpreter/IncrementalExecutor.cpp
    A clang/lib/Interpreter/IncrementalExecutor.h
    A clang/lib/Interpreter/IncrementalParser.cpp
    A clang/lib/Interpreter/IncrementalParser.h
    A clang/lib/Interpreter/Interpreter.cpp
    M clang/test/CMakeLists.txt
    A clang/test/Interpreter/execute.cpp
    A clang/test/Interpreter/sanity.c
    M clang/test/lit.cfg.py
    M clang/tools/CMakeLists.txt
    A clang/tools/clang-repl/CMakeLists.txt
    A clang/tools/clang-repl/ClangRepl.cpp
    M clang/unittests/CMakeLists.txt
    M clang/unittests/CodeGen/CMakeLists.txt
    R clang/unittests/CodeGen/IncrementalProcessingTest.cpp
    A clang/unittests/Interpreter/CMakeLists.txt
    A clang/unittests/Interpreter/IncrementalProcessingTest.cpp
    A clang/unittests/Interpreter/InterpreterTest.cpp

  Log Message:
  -----------
  [clang-repl] Land initial infrastructure for incremental parsing

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




More information about the All-commits mailing list