小C,速成01

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

因为C是1969年发明,学它就像回到计算机的史前时代。不得不开始接触些老古董的东西啦。

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

小C,速成01_第1张图片

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

小C,速成01_第2张图片

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

小C,速成01_第3张图片 

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

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

小C,速成01_第4张图片

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

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

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

小C,速成01_第5张图片 

看看prog1.ll 是什么东西:

小C,速成01_第6张图片

prog1.ll 现在大概能了解一些但还得加深对LLVM的学习才能完全了解。llvm IR 标识符有两种基本类型:全局以@开头, 局部以%开头。具体得对照:

http://llvm.org/docs/LangRef.html 上面的标识一点点对出来。

你可能感兴趣的:(ANSI/ISO,C)