估计很多朋友都关注到了，LLVM 终于发布了3.0版本，这个版本有哪些新的变化呢？我们先从三个大的特性看起。
十二 082011
五 032010
LLVM2.7已经发布好几天了。今天尝试一下：）
1，下载相关源码包：
wget -c http://llvm.org/releases/2.7/llvm-2.7.tgz
wget -c http://llvm.org/releases/2.7/clang-2.7.tgz
wget -c http://llvm.org/releases/2.7/llvm-gcc-4.2-2.7.source.tgz
wget -c http://llvm.org/releases/2.7/llvm-test-2.7.tgz
llvm-2.7.tgz是LLVM的主要源码包，clang-2.7.tgz：Clang前端，llvm-gcc-4.2-2.7.source.tgz:GCC4.2前端，llvm-test-2.7.tgz：LLVM 测试验证包。
Continue reading »
四 302010
因为之前的两篇博文前瞻-全时优化和LLVM-1和前瞻-全时优化和LLVM-2都是基于Chris Lattner 2004年发表在CGO的文章写的。所以需要介绍一下LLVM从2004到2010这六年的变化，LLVM的开发社区很活跃。
从2004年三月到2010年4月，LLVM共发布了1.2-1.9，2.0-2.7，16个版本，至少每年发布两个版本。详细的历史发布版本和release都能从这里找到。
四 292010
上篇文章，以论文为主要依据，介绍了LLVM的概况和中间表示，本篇关注论文的后半部分内容–架构设计和LLVM的整体评测：
LLVM的架构设计：
总览
LLVM的架构设计以让传统的链接时，安装时，运行时和空闲时代码转换都能透明地在LLVM中间表示上展开为目的。上图就是LLVM的高层设计架构。包括静态的编译器前端用于生成LLVM中间表示；连接器用于做连接时优化，尤其是过程间优化。连接器的输出被JIT或者机器代码生成器生成机器代码。在机器代码生成时，可以通过插入低代价的抽样指令来测量运行时的profile，检测热代码，并将空闲时进行优化。
四 072010
读论文<LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation> CGO 04
1，写在前面的话
全时优化(LifeLong Optimization)对于每个编译爱好者来说，太有魅力了。我在起初也是被这个题目所吸引打算一探究竟。本文是04年LLVM的最早两位开发者Chris Lattner和Vikram Adve所写，发表在04年的CGO上，
先来说说LLVM的历史。2000年LLVM开始开发，2005年Apple雇了Chris Lattner，LLVM也相当于成了Apple的官方支持的编译器。Apple已经将它用在OpenCL的流水线优化，Xcode已经能使用llvm-gcc编译代码。可以说05年之前LLVM一直都是学术界的东西，05年之后用于工业界.而这篇文章写在04年.本博最近听过一个关于LLVM的讨论会，会中有资深人士提到LLVM现在越来越像一个普通的编译器。说这番话的意思是，我们可以从这篇文章里找到LLVM的架构设计和早期的一些实现思想，但请不要迷信LLVM现在有多么神奇，每个架构都会有它的优缺点。
这篇文章，我现在已经读完了理论和介绍部分，性能评测部分还没有读。所以标题里面加了个1，因为接下来，还想作几件事，一是读完文章，二是跟踪一下Chris Lattner最近几年的文章，三是尝试将Open64和LLVM做个对比，最后看看代码。所以敬请期待之后的系列文章。
Continue reading »
一 172010
读PLDI 04 Best Paper Award 《Automatically Proving the Correctness of Compiler Optimizations》
By Sorin Lerner.Todd Millstein and Craig Chambers in Washington U
本博自从接触编译器到现在,几乎都每天都能听到bug这个关键字,编译器中的bug很痛苦,首先,人写的程序很复杂,编译器设计者很难想出所有的情况并一并处理之;其次,编译器的bug很难调,要先排除程序本身的错,接着需要知道到底是分析时出错还是变换时出错;还有这些错都是在怎样的分析和变换中出了错;最后还要担心错误会不会越不越多,没有对编译器整体的理解,很难给编译器打上正确的补丁,从而有可能这个例子补对了,其他又错了一片.
作者在文章里就编译优化正确性的自动证明做了一些尝试,这些尝试在读完文章之后觉得很了不起,只是这里面提到的工作做下来,也是需要很大的积累和投入.作者的尝试我概括如下:将优化分为转换和具体优化两个部分.代码的转换是所有优化都要做的,而并非所有的转换都是优化,所以作者通过增加利益驱动模块来判断某个转换是否是优化,这样优化的自动证明问题,就变成了某个转换正确性的自动证明问题;正确性的定义:转换前后的语义保持不变.接着作者按照转换依据的信息来自转换语句之前还是之后,将转换分成两种模式,即前向转换模式和后向转换模式.然后分别对这两种模式进行讨论,而自动证明也分别针对这两种模式来论述. Continue reading »
十二 292009
这是gcc maillist中某国际友人 laurent@guerby.net 做的2个小时报告的ppt，报告题目为GCC Toulibre 20091216。最近一直想深入了解gcc，而这个ppt基本包含本博想了解的内容，所以将其翻译并分享到这里。翻译过程中，很多地方可能有错，请大家不吝赐教。原版的ppt见文末。
- 什么是GCC
GCC–GNU Compiler Collection,即GNU 编译器集合。GCC即可作为本地编译器也能作为交叉编译器，它支持很多高级语言和多个编译和目标平台。GCC的网址 http://gcc.gnu.org.它是FSF基金会版权所有的自由软件. Continue reading »
十二 282009
不知不觉，一个多月的时间，Fred Chow的讲义就被翻译完了。感谢那些奉献代码的人，在编译器优化上所做的努力和探索永没有止境。
感谢忍住我蹩脚的英语和汉语，看了这些翻译的朋友们。在这个翻译的过程中，深深感到自己的水平很不足，很多翻译别说雅和达，连信这个简单的要求都很难达到。争取将这些资料进一步的完善，能够给更多的人一个可靠的参考。希望大家多提意见和建议.
单就我个人，还是在翻译的过程中，学到了很多，原先都是单纯的看ppt，但是发现那样的话，印象不顾深刻，所以就决定一点点的翻译。自这个博客创建以来，一直希望能将这里搞成编译爱好者们喜欢的网站，呵呵我将继续努力。
Fred Chow是Open64的几个元老级人物之一，高屋建瓴，统观全局的讲述，让我在翻译的过程中很是佩服，只有在这样的积累下，才能讲出这么详实概括的课程。 Continue reading »
十二 252009
OpenMp和自动并行化
此文是Fred Chow在德拉华大学所讲open64课程讲义的翻译，转载请注明出处 http://www.lingcc.com
Fred Chow 原版讲义见最后一页
- 并行化
两种在open64中获得粗粒度并行化的方法：OpenMP和自动并行化。前者使用选项-mp来指导并行化，在Fortran，C和C++中支持OpenMP2.5。后者需要选项-apo打开，功能是在LNO阶段检测并行的循环并插入指导。在同一个编译中，可以两个同时使用。
- 对粗粒度并行化的支持
并行化的代码给出它自己函数的轮廓(?),轮廓函数嵌入到原始过程中，原始过程中的本地变量采用静态链的方式访问，指向轮廓函数的指针被传到libopenmp中的同步机制中用来做定型执行的调度。其中会有一段并行的代码保存下来以备串行执行之用
- 并行运行时执行
通过大量产生线程来达到执行并行代码区域的效果,默认情况下的线程数是CPU的个数,libopenmp(PathScale专利)包含:线程控制和同步机制和OpenMP intrinsic相关机制.运行时的动作通过环境变量控制,如指定线程和处理器之间的亲和性 Continue reading »
十二 232009
支持反馈指导优化(Feedback-directed Optimizations)
此文是Fred Chow在德拉华大学所讲open64课程讲义的翻译，转载请注明出处 http://www.lingcc.com
Fred Chow 原版讲义见最后一页
- 反馈编译
使用目标机器可执行代码来收集程序运行信息并反馈给编译器(FDO),实现步骤：首先，使用选项-fb_create fb_file来插桩编译程序；然后运行“training run“，非常慢；最后再使用选项-fb_opt fb_file来编译程序。另外要求除fb之外的其他选项都是一样的。
- 插桩
插桩在编译阶段的WHIRL级中进行。数据手机工作可以在反馈编译的同一个点进行，可以收集到精确的程序代码反馈数据，且精确性不受编译选项影响(只要这些选项在两次编译时时相同的),这些插桩的代码是对运行时库libinstr.{so,a}的调用。并且支持多种类型的反馈数据—BB热度，边热度，值轮廓(?profiles)
- 插桩和编译阶段
可以在编译过程不同的阶段插桩(和收集数据)使用的是选项(-fb_phase):0-在VHO前，1–在LNO前，2–在WOPT前，3–CG前。仅稍后一点的阶段才能使用收集到的信息。另外当代码转换的时候，收集的数据也需要更新–提供了一些完成该功能的函数，并有一些参测的功能。默认的插桩阶段时-fb_phase 0.PathScale并未对其他的-fb_phase做测试
Continue reading »
近期评论