facebookarchive / clangirLinks
π The former home of clangir, now part of the official LLVM incubator. See website below for details.
β155Updated 3 years ago
Alternatives and similar repositories for clangir
Users that are interested in clangir are comparing it to the libraries listed below
Sorting:
- UB-aware interpreter for LLVM debuggingβ31Updated 2 weeks ago
- An LLVM IR dataset for data-driven compiler optimization researchβ65Updated last week
- β62Updated last year
- Generic model checker for concurrent C programs (mirror repository)β155Updated 2 months ago
- Tutorial for LLVM Dev Conference 2019.β15Updated 5 years ago
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to chooβ¦β422Updated last month
- DebugIR: Debugging LLVM-IR Filesβ141Updated 10 months ago
- PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinkerβ453Updated last week
- β203Updated last week
- Code examples for tutoring modern C++β98Updated 2 months ago
- A translation validation framework for MLIRβ87Updated 6 months ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was β¦β143Updated 5 years ago
- Dockerfiles for Clang and LLVMβ107Updated 2 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-pointβ48Updated 7 months ago
- Program Analisys and Transformation survey and links (particular focus on SSA)β165Updated 4 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.β146Updated 8 months ago
- Embedded Universal DSL: a good DSL for us, by usβ45Updated this week
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programsβ39Updated 4 years ago
- Automatic conversion of call by value into call by need in the LLVM IR.β60Updated last year
- Fast WebAssembly Baseline Compilerβ59Updated 2 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomicsβ34Updated 12 years ago
- A simple borrow-checked language built using LLVM's MLIRβ27Updated 5 years ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar codeβ30Updated 6 years ago
- Yet Another Random Program Generatorβ529Updated last month
- Generates CIL MLIR dialect from C/C++ source.β34Updated 4 years ago
- Verification of BPF JIT compilersβ56Updated 2 years ago
- A new (MLIR based) high-level IR for clang.β540Updated last week
- Lightweight framework for easy and efficient code generationβ102Updated last year
- NOELLE Offers Empowering LLVM Extensionsβ79Updated 2 months ago
- This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in β¦β57Updated 6 years ago