Stars
Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not included in the book, the indexes of names and cited author…
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Tai-e assignments for static program analysis
RISC-V Vectorized Bencmark Suite. based on https://github.com/RALC88/riscv-vectorized-benchmark-suite
Monorepo for the OpenCilk compiler. Forked from llvm/llvm-project and based on Tapir/LLVM.
Compiler tutorial with clang and llvm
A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accomplish a complete project for FPGA High-Level Synthesis with it.
clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...
A collection of code samples showing usage of clang and llvm as a library
Files that will help me get __builtin_add_overflow, __builtin_sub_overflow, and __builtin_mul_overflow added to clang.
Example of extending Clang and SPARC backend with custom instructions in LLVM.
Parallel Computing and Scientific Machine Learning (SciML): Methods and Applications (MIT 18.337J/6.338J)
LLVM Compiler Backend for Intel 8080 and LC-2200
(e)Z80 backend for llvm - Moved to https://github.com/jacobly0/llvm-project
It is a set of LLVM documents which are translated into Chinese.
an architecture-independent decompiler to LLVM IR
electron-ssr
An LLVM backend for my custom 32-bit RISC CPU https://scholarworks.rit.edu/theses/9550/