LLVM 每周 - 第 65 期,2015 年 3 月 30 日
欢迎来到 LLVM 每周的第六十五期,这是一份每周发布(每周一发布)的通讯,涵盖 LLVM、Clang 和相关项目的进展。LLVM 每周由 Alex Bradbury 带来。订阅未来的期数,请访问 http://llvmweekly.org,并将其转发给您认为可能感兴趣的任何人。请将任何提示或反馈发送至 [email protected],或 @llvmweekly 或 @asbradbury(推特)。
来自网络的新闻和文章
来自微软研究院的 Z3 定理证明器现在已在 Github 上,更重要的是现在已发布在 MIT 许可下。这是一个真正的开源许可,允许商业用途,与之前的仅非商业用途许可不同。它已在 ALIVe 项目 中与 LLVM 一起使用。
EuroLLVM 的日程表 已发布。还有许多 早期注册票剩余。如果您可以在 4 月 13 日和 14 日在伦敦,那么我强烈建议您注册。
邮件列表上的讨论
R600 后端维护者 Tom Stellard 提出关于操作机器调度器以将 ALU 指令与加载指令交织在一起的问题。
Sanjoy Das 正在寻求对由于
llvm.$op.with.overflow
内在函数而导致的优化问题的反馈。关于如何处理这个问题,有一些后续讨论。来自 Movidius 的 Martin O'Riordan寻求有关将贡献的更改提交回上游的指导。Tom Stellard 给出了一个有用的回复。
Dylan McKay 正在开发 AVR 后端移植,并寻求有关降低除法调用的建议。他的后端的当前版本在这里。
Benoit Belley 提出一个优化难题,寻找解释为什么 icmp 没有被移除的原因。Daniel Berlin 在几个小时后给出了对未完成优化的解释以及修复它的路径。
Gordon Kaiser 正在寻找对富士通 FR 系列处理器后端感兴趣的人,现在由 Spansion 制造。
LLVM 提交
GlobalMerge 传递将在 AArch64+ARM 上不再在 O1 处运行,而是只在 O3 处启用。 r233024。
添加了一个 float2int 传递,顾名思义,它试图在可能的情况下从浮点数降级为整数。 r233062。
一个简单的基于 Orc 的延迟 JIT 已被添加到 lli 中。 r233182。
LLVM 增加了对 PowerPC 硬件事务内存的支持。 r233204。