哥德尔系统提示您:看后求收藏(爱米文学网aimiwx.com),接着再看更方便。
偷偷咽了一口口水,王一男在圆圈了添上”400万行“的字样。
然后在旁边又画了一个圆圈,在里面写上“GCC”,再画了一条带箭头的线,从“116所飞控代码”指向“GCC”。
“这样大家能理解吧,GCC可以编译116所的飞控代码”,王一男说。
“这步没问题,我们也是用GCC来编译成飞控计算机使用的机器代码的”,116所的攻城狮说。
王一男在“GCC”圆圈的边上又画了一个圆圈,然后在里面写上“龙蛋”两个字。
“龙蛋就是将GCC和LLVM连接起来的东西”,王一男说,
他在“GCC”圆圈添上一条带箭头的线通往“龙蛋”,然后在“龙蛋”圆圈后面又添上一条带箭头的线。
在箭头指向处,王一男打上一个大大的问号。
“看明白了吗”,王一男问。
所有的人都摇了摇头,“作者大大,臣妾真的不明白”
王一男指了指赵天成和李飞,
”我们之前在研发哥德尔系统的时候,曾经使用过LLVM,你们还记得吗?“
”当然记得,哥德尔系统的一部分核心用的就是LLVM的 IR“,
”等等“,”IR“(Intermediate Represention),就是那个通用的中间表示,能够被LLVM输出,同时又能被哥德尔系统理解的那个东西?“
”宾果“,王一男打了个响指,
在那个大大的问号那里,他重重地写下IR两个大字。
“这样,整个流程就全通了,我们不用重写飞控的代码”,116所倒下的攻城狮立刻坐了起来。
“也不用写编译器”,李飞和赵天成也满血复活了。
“利用现有的这些工具链,我们可以将116所的飞控代码自动编译成LLVM的中间代码”
“我们现在要做的事情,只是将这些中间代码,跟前段时间我们建立的理论模型对应起来,添加必要的输入输出模块”