LLVM 项目博客

LLVM 项目新闻和来自战壕的细节

LLVM 每周 - 第 65 期,2015 年 3 月 30 日

欢迎来到 LLVM 每周的第六十五期,这是一份每周发布(每周一发布)的通讯,涵盖 LLVM、Clang 和相关项目的进展。LLVM 每周由 Alex Bradbury 带来。订阅未来的期数,请访问 http://llvmweekly.org,并将其转发给您认为可能感兴趣的任何人。请将任何提示或反馈发送至 [email protected],或 @llvmweekly@asbradbury(推特)。

本期在 llvmweekly.org 处提供正式内容

来自网络的新闻和文章

来自微软研究院的 Z3 定理证明器现在已在 Github 上,更重要的是现在已发布在 MIT 许可下。这是一个真正的开源许可,允许商业用途,与之前的仅非商业用途许可不同。它已在 ALIVe 项目 中与 LLVM 一起使用。

EuroLLVM 的日程表 已发布。还有许多 早期注册票剩余。如果您可以在 4 月 13 日和 14 日在伦敦,那么我强烈建议您注册。

邮件列表上的讨论

LLVM 提交

  • GlobalMerge 传递将在 AArch64+ARM 上不再在 O1 处运行,而是只在 O3 处启用。 r233024

  • 添加了一个 float2int 传递,顾名思义,它试图在可能的情况下从浮点数降级为整数。 r233062

  • 一个简单的基于 Orc 的延迟 JIT 已被添加到 lli 中。 r233182

  • LLVM 增加了对 PowerPC 硬件事务内存的支持。 r233204

  • ARMv8.1a 架构已添加,以及其中的一些新指令。 r233290r233301

Clang 提交

  • 模块的磁盘上哈希表现在应该具有稳定的表示。 r233156r233249

  • 为 PowerPC 硬件事务内存支持添加了内在函数。 r233205

  • 一个 clang-fuzzer 的初始版本已添加,利用了 LLVMFuzzer 库。 r233455

其他项目提交

  • libclc 获得了更多内置实现。 r232977r232965r232964

  • lld 学会了如何理解 MIPS N64 重定位记录格式(在提交消息中进行了描述)。 r233057

  • lld 的 ARM 支持通过添加间接函数处理和 GOT 重定位得到了改进。 r233383r233277