标签存档: LLVM

在线开学第一课

今天上午十点开始, 是在线开学第一课, 学校领导讲疫情防控情况、后期安排以及推销 …

继续阅读 »

学习LLVM

今天还是学习LLVM, 主要学习clang的CodeGen阶段的一些代码。

构建与测试RISC-V LLVM

由于科研需要, 我今天试着编译了一份支持RISC-V的LLVM。事实上, 目前L …

继续阅读 »

学习LLVM

今天学习LLVM。

大致完成实验

今天大致完成了《编译原理专题训练》课LLVM的实验, 还剩过程间分析没有实现。 …

继续阅读 »

继续学习LLVM

今天继续学习LLVM和z3。z3也好用。

学习LLVM

今天开始看《编译原理专题训练》第三次实验, 要用LLVM和z3来检测缓冲区溢出的 …

继续阅读 »