OCaml LLVM 바인딩 만들기 OCaml LLVM 바인딩 LLVM은 기본적으로 LLVM IR을 다른 C/C++이 아닌 다른 단어로 다루기 위한 바인딩(Bingdings)를... Posted by Doit-Man on November 16, 2024
HOL Light로 컴파일러 최적화 증명하기 컴파일러 최적화 증명하기 최근 컴파일러의 최적화를 일반화(generalize)하고, 다른 컴파일러에 이식(transplantation)을 하는 연구를 시작하면서 자연스럽게 최적화를... Posted by Doit-Man on August 03, 2024
Cranelift 컴파일러 이해하기 Cranelift Cranelift은 Wasmtime이라는 wasm을 부라우저 밖에서도 실행하기 위한 런타임 도구의 JIT Compiler이다. (AOT 로도 쓰일... Posted by Doit-Man on June 03, 2024
E-Graph를 통한 컴파일러 최적화 E-Graph E-Graph는 Equivalence Relation (동등 관계)를 표현하는 자료구조 이다. 이는 어떠한 두 원소가 같다라는 것을... Posted by Doit-Man on May 12, 2024
MLIR 이해하기 MLIR (Multi-Level Intermediate Representation) 연구를 하면서 컴파일러는 대부분 LLVM을 대상으로 진행했기에 현재는 C 코드보다 LLVM... Posted by Doit-Man on May 07, 2024