ROIFE BLOG

roife 的魔法科见闻

[TaPL] 15 Subtyping

Posted by roife on Wed, Jun 28, 2023

[PLDI'95] Global Code Motion/Global Value Numbering

Posted by roife on Wed, May 24, 2023

[CC'13] Simple and Efficient Construction of Static Single Assignment Form

Posted by roife on Fri, May 19, 2023

LLVM IR Parser

Posted by roife on Sun, Jan 8, 2023

[ICCAD'17] Reusability is FIRRTL ground: Hardware construction languages, compiler frameworks, and transformations

Posted by roife on Sun, Nov 6, 2022

[PLDI'20] LLHD: A Multi-Level Intermediate Representation for Hardware Description Languages

Posted by roife on Fri, Nov 4, 2022

2022 计算机保研夏令营经验

Posted by roife on Fri, Jul 22, 2022

LLVM 如何构造 SSA：Mem2Reg Pass

Posted by roife on Mon, Feb 7, 2022

哥德尔不完备性定理

Posted by roife on Thu, Feb 3, 2022

康托的对角线证明

Posted by roife on Thu, Feb 3, 2022