LLVM-TA+ is a static analysis tool for WCET (Worst Case Execution Time) of multi-core real-time systems based on LLVM.

2025年3月10日 · LLVM 测试基础设施包含三个主要类别的测试：单元测试、回归测试和完整程序。 单元测试和回归测试包含在 LLVM 仓库本身内，分别位于 llvm/unittests 和 llvm/test 下，并且预计始终通过 – 它们应该在每次提交之前运行。 完整的程序测试被称为“LLVM 测试套件”（或“test-suite”），位于 test-suite GitHub 上的仓库 中。 由于历史原因，这些测试在某些地方也被称为“夜间测试”，这比“test-suite”更不容易产生歧义，并且仍然在使用，尽管我们运行它们的频率比夜间 …

LLVM测试框架是在LLVM编译器后端开发过程中实现测试驱动开发的有效手段，有很高的灵活性和健壮性，可保证加速开发过程稳步进行。 本文涵盖LLVM测试框架，需要用到的工具，以及如何增加和运行测试用例。 LLVM测试框架主要包括两类： 回归测试 和 整体程序测试。 回归测试代码位于LLVM代码库llvm/test路径下。 这些用例应在每次提交前运行通过。 整体程序测试也称为LLVM测试套件（LLVM test suite）。 · 回归测试. 回归测试是测试LLVM特定功能或触发LLVM特 …

本项目 LLVM-TA+ 是一个基于 LLVM 的实时系统 WCET (Worst Case Execution Time, 最坏情况执行时间) 静态分析工具。 LLVM-TA+ 的设计目标是支持实时系统的 WCET 静态分析，具体包 …

Control Flow Analysis: Analyze the control flow of the program to obtain the constraint conditions of the possible execution paths of the program, such as the number of iterations of the loop, …

克里斯·拉特纳 硕士论文《LLVM：一个多阶段优化的编译器架构》（LLVM: an infrastructure for multi-stage optimisation） 奖项： LLVM 获得了 2012 年美国计算机协会（ACM）软件系统奖！ 该奖项由 ACM 每年颁发给全球一个软件系统。 LLVM 主要子项目：

2023年8月18日 · ModulePass 是用于在整个编译单元（Module）级别执行优化和分析操作，作用于编译单元的中间表示（IR），而不是单个函数或基本块。 在LLVM中，编译过程可以分为多个阶段，每个阶段都可以通过插件式的方式添加和修改。 其可以用于多种目的，包括但不限于： 优化： 这些Pass用于改进生成的机器码的性能和效率，例如执行常量传播、循环优化、内联等。 分析： 这些Pass用于对代码进行静态分析，例如查找未使用的变量、检测内存泄漏、执行指令计数 …

LLVM 目标可以使用两个名为 ADDri 和 ADDrr 的指令对此进行建模。 您应该为每个指令类别定义一个类，并将每个操作码定义为该类别的子类，并带有适当的参数，例如操作码和扩展操作码的固定二进制编码。

2025年3月10日 · 介绍 LLVM 源代码库的总体布局、重要的类和 API，以及一些技巧和窍门。 为前端作者收集的关于如何生成 LLVM 能够有效优化的 IR 的提示。 对于在 Windows 上使用 Visual Studio 的用户，这是对主要入门指南的补充。 为编译器编写者提供的实用链接列表。 本教程将指导您完成对 LLVM 进行更改并将其贡献回 LLVM 项目的过程。 © 版权所有 2003-2025，LLVM Project。 最后更新于 2025-03-10。 使用 Sphinx 7.2.6 创建。

本文档描述了 LLVM 代码覆盖率映射使用的格式和编码。 控制流完整性验证工具的描述。 使用 LLVM 的 CMake 构建系统打包和分发基于 LLVM 的工具的最佳实践指南。 对于使用 CMake 构建系统 的人员，这是对主要入门指南的补充。 使用 LLVM 提供的 Dockerfile 的参考。 本文档描述了 LLVM 支持库 (lib/Support) 以及如何保持 LLVM 源代码的可移植性。 本文档描述了更高级的构建配置。 有关如何在新的 Pass 管理器下编写 LLVM 转换的信息。 有关如何在旧版 Pass 管理器 …