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:
- An LLVM IR dataset for data-driven compiler optimization researchโ72Updated this week
- UB-aware interpreter for LLVM debuggingโ31Updated 2 months ago
- โ63Updated last year
- 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โฆโ426Updated last week
- โ217Updated this week
- DebugIR: Debugging LLVM-IR Filesโ144Updated last year
- Tutorial for LLVM Dev Conference 2019.โ15Updated 6 years ago
- Code examples for tutoring modern C++โ99Updated 4 months ago
- Generic model checker for concurrent C programs (mirror repository)โ161Updated last week
- PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinkerโ466Updated last week
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programsโ40Updated 4 years ago
- A translation validation framework for MLIRโ89Updated 8 months ago
- โ86Updated last week
- A new (MLIR based) high-level IR for clang.โ560Updated this week
- Yet Another Random Program Generatorโ537Updated last week
- Program Analisys and Transformation survey and links (particular focus on SSA)โ166Updated 4 years ago
- Dockerfiles for Clang and LLVMโ108Updated 4 months ago
- Generates CIL MLIR dialect from C/C++ source.โ34Updated 4 years ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was โฆโ146Updated 5 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.โ149Updated 10 months ago
- Lightweight framework for easy and efficient code generationโ105Updated last year
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.โ117Updated 2 months ago
- NOELLE Offers Empowering LLVM Extensionsโ82Updated 4 months ago
- Embedded Universal DSL: a good DSL for us, by usโ56Updated this week
- Intelยฎ Instrumentation and Tracing Technology (ITT) and Just-In-Time (JIT) APIsโ125Updated last month
- A simple borrow-checked language built using LLVM's MLIRโ26Updated 5 years ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar codeโ30Updated 6 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVMโ82Updated last year
- Verification of BPF JIT compilersโ57Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IRโ78Updated this week