Sart updating to v2404.1.0.20241127

Author: wu-kan

CMakeLists.txt

@@ -1,6 +1,6 @@
-# <https://github.com/llvm/llvm-project/blob/llvmorg-17.0.6/llvm/CMakeLists.txt>
+# <https://github.com/llvm/llvm-project/blob/llvmorg-18.0.6/llvm/CMakeLists.txt>
 cmake_minimum_required(VERSION 3.20.0)
-project(SYsU-lang VERSION 2404.0.0.20240229)
+project(SYsU-lang VERSION 2404.1.0.20241127)
 include(CPack)
 include(CTest)
 add_subdirectory(compiler)

Dockerfile

@@ -1,5 +1,5 @@
 # syntax=docker/dockerfile:1.4
-ARG BASE_IMAGE=ubuntu:noble
+ARG BASE_IMAGE=ubuntu:24.04
 FROM ${BASE_IMAGE}
 WORKDIR /root/SYsU-lang
 COPY <<build_install.sh <<run.sh . /root/SYsU-lang

README.md

@@ -13,7 +13,7 @@ SYsU 是一个教学语言，应用于中山大学（**S**un **Y**at-**s**en **U
 
 ## 编译运行
 
-需要注意的是，[SysY](https://gitlab.eduxiji.net/nscscc/compiler2021/-/blob/master/SysY%E8%AF%AD%E8%A8%80%E5%AE%9A%E4%B9%89.pdf) 语言允许编译时能够求值的 `const int` 作为数组大小，导致部分算例不能通过 `gcc` 的编译，因此为保持兼容推荐使用 `clang` 编译。经过测试的实验环境为 `ubuntu:noble`。
+需要注意的是，[SysY](https://gitlab.eduxiji.net/nscscc/compiler2021/-/blob/master/SysY%E8%AF%AD%E8%A8%80%E5%AE%9A%E4%B9%89.pdf) 语言允许编译时能够求值的 `const int` 作为数组大小，导致部分算例不能通过 `gcc` 的编译，因此为保持兼容推荐使用 `clang` 编译。经过测试的实验环境为 `ubuntu:24.04`。
 
 ```bash
 # 安装依赖
@@ -389,7 +389,7 @@ git submodule update --init --recursive --depth 1
 
 ### Q & A: 本项目的版本管理的规则是？为什么项目名为 SYsU-lang，而非 SYsU-compiler ？
 
-[`latest`](https://github.com/arcsysu/SYsU-lang/tree/latest) 分支下为中大课程教学中使用的代码，功能较为稳定，预期在 `ubuntu:noble` 环境中工作。文档可能不会及时更新，以对应 [Dockerfile](https://github.com/arcsysu/SYsU-lang/blob/latest/Dockerfile) 中的测试语句为准。
+[`latest`](https://github.com/arcsysu/SYsU-lang/tree/latest) 分支下为中大课程教学中使用的代码，功能较为稳定，预期在 `ubuntu:24.04` 环境中工作。文档可能不会及时更新，以对应 [Dockerfile](https://github.com/arcsysu/SYsU-lang/blob/latest/Dockerfile) 中的测试语句为准。
 
 对于中大以外的高校教学者与个人自学者，我们建议使用 [releases](https://github.com/arcsysu/SYsU-lang/releases) 中最新发布的实验框架源码以及对应版本号的 [docker image](https://hub.docker.com/r/wukan0621/sysu-lang)。它们可能在时间上略有落后，但经过了中大一学期的教学检验，不存在潜在的可能导致教学事故的错误。我们也十分欢迎来自你们的课堂反馈[![Discussions](https://img.shields.io/github/discussions/arcsysu/SYsU-lang)](https://github.com/arcsysu/SYsU-lang/discussions) 与改进建议[![Issues](https://img.shields.io/github/issues/arcsysu/SYsU-lang)](https://github.com/arcsysu/SYsU-lang/issues)[![Issues-pr](https://img.shields.io/github/issues-pr/arcsysu/SYsU-lang)](https://github.com/arcsysu/SYsU-lang/pulls) 。
 

generator/README.md

@@ -134,8 +134,8 @@ $ echo $? # 在 Unix & Linux 中，可以通过 echo $? 来查看最后运行的
 
 ## 你可能会感兴趣的
 
-- [Kaleidoscope: Code generation to LLVM IR](https://releases.llvm.org/17.0.0/docs/tutorial/MyFirstLanguageFrontend/LangImpl03.html)
+- [Kaleidoscope: Code generation to LLVM IR](https://releases.llvm.org/18.1.8/docs/tutorial/MyFirstLanguageFrontend/LangImpl03.html)
 - [SYsU-lang 实验三快速上手](https://www.yuque.com/shuitang/rra4fg/bnqy1c)
 - [Viz.js — Graphviz in your browser.](http://viz-js.com/)
-- [llvm::IRBuilder](https://github.com/llvm/llvm-project/blob/llvmorg-17.0.6/llvm/include/llvm/IR/IRBuilder.h)
-  - 该文件同样位于 ubuntu:noble 中 [llvm-dev](https://packages.ubuntu.com/noble/llvm-dev) 包的 </usr/include/llvm/IR/IRBuilder.h>。
+- [llvm::IRBuilder](https://github.com/llvm/llvm-project/blob/llvmorg-18.0.6/llvm/include/llvm/IR/IRBuilder.h)
+  - 该文件同样位于 ubuntu:24.04 中 [llvm-dev](https://packages.ubuntu.com/noble/llvm-dev) 包的 </usr/include/llvm/IR/IRBuilder.h>。

grammar/README.md

@@ -271,7 +271,7 @@ flowchart TD;
 ### Q & A：为什么要输出到 `llvm::json`？
 
 1. 输出到 json，便于使用 python 脚本和 clang 导出的语法树对比，自动批改。
-2. 输出到 json，因为 json 格式非常容易理解，不需要像 [LLVM 官方教程](https://releases.llvm.org/17.0.0/docs/tutorial/MyFirstLanguageFrontend/LangImpl02.html) 一样定义很多节点。
+2. 输出到 json，因为 json 格式非常容易理解，不需要像 [LLVM 官方教程](https://releases.llvm.org/18.1.8/docs/tutorial/MyFirstLanguageFrontend/LangImpl02.html) 一样定义很多节点。
 3. 输出到 `llvm::json`，可以让同学们提前上手 LLVM 库的使用，平滑下一个实验的难度。
 
 ### Q & A：该选择 Visitor 还是 Listener？
@@ -336,16 +336,16 @@ Visitor 有更强的可定制性，但是需要自行实现每个节点到子节
    - `sysu-refactor`：面向 SYsU 的代码重构工具
      - 将输入代码的 `while (Cond) Simt` 替换为 `if (Cond) do Simt while (Cond)`
      - 或者相反！
-6. 鉴于本次实验已经开始进入 LLVM 开发范畴，建议遵守 [LLVM Coding Standards](https://releases.llvm.org/17.0.0/docs/CodingStandards.html)
+6. 鉴于本次实验已经开始进入 LLVM 开发范畴，建议遵守 [LLVM Coding Standards](https://releases.llvm.org/18.1.8/docs/CodingStandards.html)
    - 可以使用 `clang-tidy` 与 `clang-format` 工具检查你的代码是否规范，如 `cmake -DCMAKE_CXX_CLANG_TIDY=clang-tidy #...`
-   - 将 [LLVM Coding Standards](https://releases.llvm.org/17.0.0/docs/CodingStandards.html) 与 [GNU](https://www.gnu.org/prep/standards/standards.html)、[Google](https://google.github.io/styleguide/)、[Chromium](https://chromium.googlesource.com/chromium/src/+/HEAD/styleguide/c++/c++-dos-and-donts.md)、[Microsoft](https://docs.microsoft.com/zh-cn/dotnet/csharp/fundamentals/coding-style/coding-conventions)、[Mozilla](https://firefox-source-docs.mozilla.org/code-quality/coding-style/coding_style_cpp.html)、[WebKit](https://webkit.org/code-style-guidelines/) 等其他知名编程规范进行比较，选出一种或是基于他们归纳出一个你认为最合理的编程规范，编写对应的 `.clang-format` 与 `.clang-tidy` 文件，并在以后坚持使用下去！~~（就助教来说更加偏好 LLVM，毕竟没有人会比编译器更懂语言）~~
+   - 将 [LLVM Coding Standards](https://releases.llvm.org/18.1.8/docs/CodingStandards.html) 与 [GNU](https://www.gnu.org/prep/standards/standards.html)、[Google](https://google.github.io/styleguide/)、[Chromium](https://chromium.googlesource.com/chromium/src/+/HEAD/styleguide/c++/c++-dos-and-donts.md)、[Microsoft](https://docs.microsoft.com/zh-cn/dotnet/csharp/fundamentals/coding-style/coding-conventions)、[Mozilla](https://firefox-source-docs.mozilla.org/code-quality/coding-style/coding_style_cpp.html)、[WebKit](https://webkit.org/code-style-guidelines/) 等其他知名编程规范进行比较，选出一种或是基于他们归纳出一个你认为最合理的编程规范，编写对应的 `.clang-format` 与 `.clang-tidy` 文件，并在以后坚持使用下去！~~（就助教来说更加偏好 LLVM，毕竟没有人会比编译器更懂语言）~~
 7. 改进这个实验模板（欢迎 PR！）。
 8. Do what you want to do。
 
 ## 你可能会感兴趣的
 
 - [Preprocessor Output](https://gcc.gnu.org/onlinedocs/gcc-13.2.0/cpp/Preprocessor-Output.html)
 - [`antlr4-runtime/antlr4-runtime.h`](https://github.com/antlr/antlr4/blob/4.9.3/runtime/Cpp/runtime/src/antlr4-runtime.h)
-  - 该目录同样位于 ubuntu:noble 中 [libantlr4-runtime-dev](https://packages.ubuntu.com/noble/libantlr4-runtime-dev) 包的 </usr/include/antlr4-runtime/antlr4-runtime.h>。
-- [llvm::json](https://github.com/llvm/llvm-project/blob/llvmorg-17.0.6/llvm/include/llvm/Support/JSON.h)
-  - 该文件同样位于 ubuntu:noble 中 [llvm-dev](https://packages.ubuntu.com/noble/llvm-dev) 包的 </usr/include/llvm/Support/JSON.h>。
+  - 该目录同样位于 ubuntu:24.04 中 [libantlr4-runtime-dev](https://packages.ubuntu.com/noble/libantlr4-runtime-dev) 包的 </usr/include/antlr4-runtime/antlr4-runtime.h>。
+- [llvm::json](https://github.com/llvm/llvm-project/blob/llvmorg-18.0.6/llvm/include/llvm/Support/JSON.h)
+  - 该文件同样位于 ubuntu:24.04 中 [llvm-dev](https://packages.ubuntu.com/noble/llvm-dev) 包的 </usr/include/llvm/Support/JSON.h>。

grammar/main.cc

@@ -26,7 +26,7 @@ int main(int argc, char **argv) {
       if (token->getChannel() != antlr4::Token::HIDDEN_CHANNEL) {
         auto t1 = lexer.getVocabulary().getSymbolicName(token->getType());
         std::string t(t1.begin(), t1.end());
-        std::unordered_map<std::string, std::string> transform_table{
+        const std::unordered_map<std::string, std::string> transform_table{
             {"Int", "int"},
             {"Identifier", "identifier"},
             {"LeftParen", "l_paren"},
@@ -38,7 +38,7 @@ int main(int argc, char **argv) {
             {"RightBrace", "r_brace"},
             {"EOF", "eof"}};
         if (transform_table.count(t))
-          t = transform_table[t];
+          t = transform_table.at(t);
         llvm::outs() << t << " \'" << (t != "eof" ? token->getText() : "")
                      << "\'\t\tLoc=<"
                      << "<stdin>"

librarian/lib/sysy/sylib.cc

@@ -4,15 +4,14 @@
 #include <chrono>
 #include <cstdarg>
 #include <cstdio>
-#include <tuple>
 #include <vector>
 
 /* Timing function implementation */
 namespace {
-struct WuK_Timer {
+struct Timer {
   using Clock = std::chrono::high_resolution_clock;
-  std::vector<std::tuple<int, Clock::time_point>> t1, t2;
-  ~WuK_Timer() {
+  std::vector<std::pair<int, Clock::time_point>> t1, t2;
+  ~Timer() {
     std::fflush(stdout);
     long long sum_us = 0;
     for (int i = 0; i < t2.size(); ++i) {
@@ -42,15 +41,13 @@ struct WuK_Timer {
     std::fprintf(stderr, "%dH-%dM-%dS-%dus\n", (int)h, (int)m, (int)s, (int)us);
   }
   void start(int lineno) {
-    if (t1.size() == t1.capacity()) {
-      t1.reserve(t1.size() + (t1.size() >> 1 | 1));
-    }
-    if (t2.size() == t2.capacity()) {
-      t2.reserve(t2.size() + (t2.size() >> 1 | 1));
-    }
+    t2.emplace_back(lineno, Clock::now()); // reduce latency
     t1.emplace_back(lineno, Clock::now());
   }
-  void stop(int lineno) { t2.emplace_back(lineno, Clock::now()); }
+  void stop(int lineno) {
+    t2.back().second = Clock::now();
+    t2.back().first = lineno;
+  }
 } wuk_timer;
 } // namespace
 
@@ -66,7 +63,7 @@ int _sysy_getch() {
   std::scanf("%c", &c);
   return (int)c;
 }
-void _sysy_putch(int a) { std::printf("%c", a); }
+void _sysy_putch(int a) { std::printf("%c", (char)a); }
 
 int _sysy_getint() {
   int t;

optimizer/README.md

@@ -45,7 +45,7 @@
 
 并思考，这些优化是否可以在语法树（即 `sysu-generator`）上完成？在这两个阶段各自的优点与缺点是什么？
 
-如果你使用了来自 LLVM 的其他组件，你需要将其加入本目录下 `CMakeLists.txt` 中的 `llvm_map_components_to_libnames`，否则可能无法通过编译。你可以终端执行 `llvm-config --components`，查看所有的 LLVM 组件名称。然而，禁止使用任何 LLVM 自带的 [transform-passes](https://releases.llvm.org/17.0.0/docs/Passes.html#transform-passes)（当然，你被鼓励去学习这些 pass 的实现原理），助教会结合 `llvm-objdump` 等工具检查。
+如果你使用了来自 LLVM 的其他组件，你需要将其加入本目录下 `CMakeLists.txt` 中的 `llvm_map_components_to_libnames`，否则可能无法通过编译。你可以终端执行 `llvm-config --components`，查看所有的 LLVM 组件名称。然而，禁止使用任何 LLVM 自带的 [transform-passes](https://releases.llvm.org/18.1.8/docs/Passes.html#transform-passes)（当然，你被鼓励去学习这些 pass 的实现原理），助教会结合 `llvm-objdump` 等工具检查。
 
 ### Q & A：有关 new pass manager 与 legacy pass manager
 
@@ -92,8 +92,8 @@ Pass/PassManager 是 LLVM 里最重要的核心组件之一，自 LLVM 诞生以
 
 ## 你可能会感兴趣的
 
-- [Writing an LLVM Pass](https://releases.llvm.org/17.0.0/docs/WritingAnLLVMNewPMPass.html)
-- [Using the New Pass Manager](https://releases.llvm.org/17.0.0/docs/NewPassManager.html)
+- [Writing an LLVM Pass](https://releases.llvm.org/18.1.8/docs/WritingAnLLVMNewPMPass.html)
+- [Using the New Pass Manager](https://releases.llvm.org/18.1.8/docs/NewPassManager.html)
 - [Writing an LLVM Pass: 101 - LLVM 2019 tutorial](https://llvm.org/devmtg/2019-10/slides/Warzynski-WritingAnLLVMPass.pdf)
 - [Writing LLVM Pass in 2018-part I](https://medium.com/@mshockwave/writing-llvm-pass-in-2018-part-i-531c700e85eb)
 - [banach-space/llvm-tutor](https://github.com/banach-space/llvm-tutor)

optimizer/main.cc

@@ -21,7 +21,7 @@ int main(int argc, char **argv) {
                                     "calls in the input IR file\n");
 
   // Makes sure llvm_shutdown() is called (which cleans up LLVM objects)
-  // https://releases.llvm.org/17.0.0/docs/ProgrammersManual.html#ending-execution-with-llvm-shutdown
+  // https://releases.llvm.org/18.1.8/docs/ProgrammersManual.html#ending-execution-with-llvm-shutdown
   llvm::llvm_shutdown_obj SDO;
 
   // Parse the IR file passed on the command line.

parser/CMakeLists.txt

@@ -2,7 +2,7 @@ project(sysu-parser)
 find_package(LLVM REQUIRED)
 find_package(BISON REQUIRED)
 bison_target(parser parser.y ${CMAKE_CURRENT_BINARY_DIR}/main.cc
-             DEFINES_FILE ${CMAKE_CURRENT_BINARY_DIR}/parser.hh)
+             DEFINES_FILE ${CMAKE_CURRENT_BINARY_DIR}/sysu-parser.hh)
 add_executable(${PROJECT_NAME} ${BISON_parser_OUTPUT_SOURCE})
 llvm_map_components_to_libnames(LLVM_LIBS support)
 target_link_libraries(${PROJECT_NAME} ${LLVM_LIBS})

parser/README.md

@@ -255,7 +255,7 @@ flowchart TD;
 ### Q & A：为什么要输出到 `llvm::json`？
 
 1. 输出到 json，便于使用 python 脚本和 clang 导出的语法树对比，自动批改。
-2. 输出到 json，因为 json 格式非常容易理解，不需要像 [LLVM 官方教程](https://releases.llvm.org/17.0.0/docs/tutorial/MyFirstLanguageFrontend/LangImpl02.html) 一样定义很多节点。
+2. 输出到 json，因为 json 格式非常容易理解，不需要像 [LLVM 官方教程](https://releases.llvm.org/18.1.8/docs/tutorial/MyFirstLanguageFrontend/LangImpl02.html) 一样定义很多节点。
 3. 输出到 `llvm::json`，可以让同学们提前上手 LLVM 库的使用，平滑下一个实验的难度。
 
 ## 评分规则
@@ -310,9 +310,9 @@ flowchart TD;
    - `sysu-refactor`：面向 SYsU 的代码重构工具
      - 将输入代码的 `while (Cond) Simt` 替换为 `if (Cond) do Simt while (Cond)`
      - 或者相反！
-6. 鉴于本次实验已经开始进入 LLVM 开发范畴，建议遵守 [LLVM Coding Standards](https://releases.llvm.org/17.0.0/docs/CodingStandards.html)
+6. 鉴于本次实验已经开始进入 LLVM 开发范畴，建议遵守 [LLVM Coding Standards](https://releases.llvm.org/18.1.8/docs/CodingStandards.html)
    - 可以使用 `clang-tidy` 与 `clang-format` 工具检查你的代码是否规范，如 `cmake -DCMAKE_CXX_CLANG_TIDY=clang-tidy #...`
-   - 将 [LLVM Coding Standards](https://releases.llvm.org/17.0.0/docs/CodingStandards.html) 与 [GNU](https://www.gnu.org/prep/standards/standards.html)、[Google](https://google.github.io/styleguide/)、[Chromium](https://chromium.googlesource.com/chromium/src/+/HEAD/styleguide/c++/c++-dos-and-donts.md)、[Microsoft](https://docs.microsoft.com/zh-cn/dotnet/csharp/fundamentals/coding-style/coding-conventions)、[Mozilla](https://firefox-source-docs.mozilla.org/code-quality/coding-style/coding_style_cpp.html)、[WebKit](https://webkit.org/code-style-guidelines/) 等其他知名编程规范进行比较，选出一种或是基于他们归纳出一个你认为最合理的编程规范，编写对应的 `.clang-format` 与 `.clang-tidy` 文件，并在以后坚持使用下去！~~（就助教来说更加偏好 LLVM，毕竟没有人会比编译器更懂语言）~~
+   - 将 [LLVM Coding Standards](https://releases.llvm.org/18.1.8/docs/CodingStandards.html) 与 [GNU](https://www.gnu.org/prep/standards/standards.html)、[Google](https://google.github.io/styleguide/)、[Chromium](https://chromium.googlesource.com/chromium/src/+/HEAD/styleguide/c++/c++-dos-and-donts.md)、[Microsoft](https://docs.microsoft.com/zh-cn/dotnet/csharp/fundamentals/coding-style/coding-conventions)、[Mozilla](https://firefox-source-docs.mozilla.org/code-quality/coding-style/coding_style_cpp.html)、[WebKit](https://webkit.org/code-style-guidelines/) 等其他知名编程规范进行比较，选出一种或是基于他们归纳出一个你认为最合理的编程规范，编写对应的 `.clang-format` 与 `.clang-tidy` 文件，并在以后坚持使用下去！~~（就助教来说更加偏好 LLVM，毕竟没有人会比编译器更懂语言）~~
 7. 将 `sysu-lexer` 与 `sysu-parser` 的核心代码链接到一起，作为 `sysu-lang` 完整编译器的一部分。
    - 输入一个经过预处理的 SYsU 源程序，输出其语法分析树。
    - 建议：将 `sysu-lexer` 的核心代码打包成一个 `libsysuLexer.so`，将 `sysu-parser` 的核心代码打包成一个 `libsysuParser.so`，然后链接到到同一个 `main.cc`。
@@ -324,5 +324,5 @@ flowchart TD;
 
 - [GNU Bison - The Yacc-compatible Parser Generator](https://www.gnu.org/software/bison/manual/)
 - [FindBISON — CMake 3.20.6 Documentation](https://cmake.org/cmake/help/v3.20/module/FindBISON.html)
-- [llvm::json](https://github.com/llvm/llvm-project/blob/llvmorg-17.0.6/llvm/include/llvm/Support/JSON.h)
-  - 该文件同样位于 ubuntu:noble 中 [llvm-dev](https://packages.ubuntu.com/noble/llvm-dev) 包的 </usr/include/llvm/Support/JSON.h>。
+- [llvm::json](https://github.com/llvm/llvm-project/blob/llvmorg-18.0.6/llvm/include/llvm/Support/JSON.h)
+  - 该文件同样位于 ubuntu:24.04 中 [llvm-dev](https://packages.ubuntu.com/noble/llvm-dev) 包的 </usr/include/llvm/Support/JSON.h>。

parser/parser.y

@@ -1,5 +1,5 @@
 %{
-#include "parser.hh"
+#include "sysu-parser.hh"
 #include <llvm/Support/JSON.h>
 #include <llvm/Support/MemoryBuffer.h>
 #include <llvm/Support/raw_ostream.h>
@@ -11,7 +11,7 @@ namespace {
 auto llvmin = llvm::MemoryBuffer::getFileOrSTDIN("-");
 auto input = llvmin.get() -> getBuffer();
 auto end = input.end(), it = input.begin();
-auto wk_getline(char endline = "\n"[0]) {
+auto getline_llvm(char endline = "\n"[0]) {
   auto beg = it;
   while (it != end && *it != endline)
     ++it;
@@ -23,7 +23,7 @@ auto wk_getline(char endline = "\n"[0]) {
 llvm::json::Array stak;
 } // namespace
 auto yylex() {
-  auto tk = wk_getline();
+  auto tk = getline_llvm();
   auto b = tk.find("'") + 1, e = tk.rfind("'");
   auto s = tk.substr(b, e - b).str(), t = tk.substr(0, tk.find(" ")).str();
   if (t == "numeric_constant") {