LLVM 每周 - 第 90 期,2015 年 9 月 21 日
欢迎来到 LLVM 每周的第九十期,这是一个每周新闻通讯(每周一发布),涵盖 LLVM、Clang 和相关项目的最新发展。LLVM 每周由 Alex Bradbury 带来。订阅未来的问题,请访问 http://llvmweekly.org,并将它传递给您认为可能感兴趣的任何人。如果您有任何建议或反馈,请发送邮件至 [email protected],或者在 Twitter 上通过 @llvmweekly 或 @asbradbury 联系我们。
本期文章的官方地址 可在 llvmweekly.org 找到。
来自网络的新闻和文章
ISO C++ 委员会已开始整理一套 C++ 核心指南。该文档将自己描述为一套使用 C++ 的良好指南,其意图是遵守这些规则可以通过分析工具进行检查。Bjarne Stroustrup 和 Herb Sutter 担任此项目的编辑。
一位 reddit 用户发布了 使用 libclang 为 C++ 生成反射数据的详细描述。
Andrew Chambers 撰写了一篇博客文章,介绍了他使用 模糊测试来查找 ABI 错误 的经历。
这篇文章 简明扼要的博客文章 介绍了 clazy 静态检查器,这是一个简单的检查器,用于检测 Qt 类型中一些常见的次优使用。在评论中,有很多关于可能有用的一些进一步分析的想法。
邮件列表上的讨论
关于“三元组的麻烦”的讨论 已恢复。 Daniel Sanders 和 Renato Golin 都给出了他们正在处理的问题类型示例(又一次证明,命名事物是计算机科学中的一个巨大挑战)。
Escha 一直在研究 使用“边数据”优化传递。这可能意味着例如利用 Value 中的备用位来指示活动状态。问题是,这是我们应该在 LLVM 中考虑的事情吗?Daniel Berlin 评论说,优化这些类型的案例 在 GVN 重写中会很有用。Chris Lattner 接着提供了一个 关于如何操纵标记位可能被暴露的草图。
LLVM 提交
断言构建现在将生成人类可读的数字来标识转储的 SelectionDAG 节点。“0x7fcbd9700160: ch = EntryToken”变为“t0: ch = EntryToken”。r248010。
阅读 GCC AutoFDO 配置文件的基本支持已落地。r247874。
llvm-mc-fuzzer 工具已经过文档化。r247979。
llvm.invariant.group.barrier 内在函数诞生了。r247711。
LLVM 默认目标三元组现在可以在配置时设置为空字符串。r247775。
Clang 提交
静态分析器获得了一个新的 Objective-C 检查器。DynamicTypeChecker 将检查对象动态类型和静态类型不相关的情况。r248002。