前面分析怎么样找到主函数Main的入口点功能,也就是说已经找到了这个函数的CIL代码。虽然找到了代码,但是还不能执行它的,因为它是一种虚拟机的代码。也就是说它是假的代码,不是现实世界存在的机器的代码,因此不能直接执行,必须经过后端编译器的再次编译才能真正运行它。下面就来分析一个代码生成的片段。
前面会把CIL代码都进行拆分,拆分的原则就是把顺序执行的指令全部放到一个基本块里,把分支跳转指令放到一个基本块,保证每个基本块只有最后一条指令是离开基本块的。
在mono里就是使用cfg->bb_entry来保存基本块的入口,bb->next_bb表示下一个基本块。
来看一下基本块的几项定义:
struct MonoBasicBlock {