LLVM平台,短短几年间,改变了众多编程语言的走向,也催生了一大批具有特色的编程语言的出现,不愧为编译器架构的王者,也荣获2012年ACM软件系统奖 —— 题记
版权声明:本文为 西风逍遥游 原创文章,转载请注明出处 西风世界 http://blog.csdn.net/xfxyy_sxfancy
变量的存储与读取
变量是一款编程语言中的核心,说编译语言是一种符号处理工具,其实是有些道理的。栈式符号表可以方便的记录编译过程中的变量和语法符号,我们上节已经了解了其中的实现方法。那么,还有没有其他的办法能够简单的实现变量的存取呢?
LLVM的内置符号表
其实LLVM还提供了一个内部符号表,这个和我们的符号表不一样,它的符号是以函数为界的,函数内的是局部符号,外面的是全局符号。这个符号表的作用,主要是供LLVM找到各个底层的语法元素而设计的,所以它的功能较为有限。
例如下面这段字节码:
define void @print(i64 %k1) {
entry:
...
}
我们可以通过符号表,找到k1这个元素。
这个符号表的获取也很简单,只要你有basicblock,你就能够找到这个符号表的指针:
BasicBlock* bb = context->getNowBlock();
ValueSymbolTable* st = bb->getValueSymbolTable();
Value* v = st->lookup(value);
栈上变量空间的分配,AllocaInst语句
AllocaInst是LLVM的一条标准语句,负责栈上空间的分配,你无需考虑栈的增长的操作,它会自动帮你完成,并返回给你对应空间的指针。
千万不要认为这个语句能够动态分配堆内存,堆内存实际上是通过调用Malloc语句来分配的。
%k = alloca i64
以上语句,会让k的类型变为你分配类型的指针。
这个语句的C++接口非常的好用,像这样:
AllocaInst *alloc = new AllocaInst(t, var_name, context->getNowBlock());
t对