小C，速成01

我本不想再花精力多学门语言啦，但在学Erlang的过程中，听各前辈们说想精通必须啃Erlang 的源代码，而Erlang 源代码是用C语言写的。看完《Erlang程序设计》第二版，了解了Erlang 的一些基础编程结构，但要为什么这样写效率才高，不知道！不知道底下是什么，导致上面会成那样的。没办法C再臭再硬也要啃了，逃不脱的。就现在计算机体系结构下C语言已经成了其它语言的元语言，JAVA,Python...都是C语言写的。

因为C是1969年发明，学它就像回到计算机的史前时代

。不得不开始接触些老古董的东西啦。

先得学习一些与C方式开发的相关东西及过程：



了解了过程之后，开始用C写个 hello,world!



常规的，编译，运行，古代的编译型语言比Erlang麻烦多了。


 

Clang 默认是按C11标准编译，一看编译出的执行文件只有6K，算是用C的惊喜之一。我用Rust 写出同样的代码编译出来要 581K，用C只有6k.这个尺寸让我很满意！！

顺便看看它的IR写了些什么，怎么LLVM这个优化器这么厉害，先生成能存储的 IR 二进制形态（*.bc）:



这个IR 二进制存储形态是用来以最佳方式存储用的，非人类观看形态，正常人类无法看懂。再得把它转成人类能识别的形态，就是用它再生成 (*.ll),

只是瞟一眼，那么 直接向 llvm-dis 发送 标准输入流即可： llvm-dis < prog1.bc  , 要生成ll文件,那么用命令: llvm-dis  prog1.bc 就能出 同名的 prog1.ll

IR 有三种形态，运行时的内存态，存储用的二进制介质态（*.bc）,人类识别态（*.ll）,三种IR逻辑语意完全等价，只是针对不同用途的三视图。


 

看看prog1.ll 是什么东西：



prog1.ll 现在大概能了解一些但还得加深对LLVM的学习才能完全了解。llvm IR 标识符有两种基本类型：全局以@开头， 局部以%开头。具体得对照：
http://llvm.org/docs/LangRef.html 上面的标识一点点对出来。