Mars Studio

REPL技术分析——Swift REPL模式

Compiler Swift
Word count: 5.4kReading time: 20 mins. min
2020/02/07 Share

技术路线

在IR层面支持REPL，提供swift解释器，swift提供了编译器runtime，提供基础的词法分析、语法分析、IR生成能力，并可基于llvm ir进行表达式eval，通过JIT的方式在解释器中支持REPL。

源码分析

  1. 头文件：include/swift/Immediate/Immediate.h，包含两个接口

    1
    2
    3
    4
    5
    int RunImmediately(CompilerInstance &CI, const ProcessCmdLine &CmdLine,
                         const IRGenOptions &IRGenOpts, const SILOptions &SILOpts,
                         std::unique_ptr<SILModule> &&SM);
    void runREPL(CompilerInstance &CI, const ProcessCmdLine &CmdLine,
                   bool ParseStdlib);
    • RunImmediately方法用于基于SIL（Swift Intermediate Language），立即Eval当前IR Module，相当于是解释器
    • runREPL方法提供给FrontendTool.cpp前端逻辑进行调用，作为REPL的main loop

  2. 源码文件：Immediate.cpp

实现几个功能：

1
2
3
4
5
6
7
8
9
10
11
12
void *loadSwiftRuntime(ArrayRef<std::string> runtimeLibPaths);
bool tryLoadLibraries(ArrayRef<LinkLibrary> LinkLibraries,
                      SearchPathOptions SearchPathOpts,
                      DiagnosticEngine &Diags);
bool linkLLVMModules(llvm::Module *Module,
                     std::unique_ptr<llvm::Module> SubModule);
bool autolinkImportedModules(ModuleDecl *M, const IRGenOptions &IRGenOpts);
int swift::RunImmediately(CompilerInstance &CI,
                          const ProcessCmdLine &CmdLine,
                          const IRGenOptions &IRGenOpts,
                          const SILOptions &SILOpts,
                          std::unique_ptr<SILModule> &&SM);
  • 加载swift编译器runtime：swiftCore
  • llvm ir module间合并
  • import module的支持
  • RunImmediately：将input翻译成llvm ir，调用llvm::ExecutionEngine直接执行llvm ir
  1. 源码文件：REPL.cpp

REPL的主函数，从Frontend.cpp进来，主要由一个读取用户input的main loop，对每个输入进行处理。依赖histedit的支持

Reference:

What’s REPL

Source Code Immediate.cpp

Source Code REPL.cpp

histedit.h: Line editor and history interface.

Author：Chino Mars

原文链接：https://chinomars.com/2020/02/07/Swift-REPL%E6%A8%A1%E5%BC%8F%E4%BB%8B%E7%BB%8D/

发表日期：February 7th 2020, 4:45:43 pm

更新日期：September 12th 2024, 11:47:28 pm

版权声明：本文采用知识共享署名-非商业性使用 4.0 国际许可协议进行许可

CATALOG
  1. 1. 技术路线
  2. 2. 源码分析
  3. 3. Reference:
Total : 4
2024
2020
Compiler Python Swift 小白 Programming Language Misc