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
- β66Updated last year
- UB-aware interpreter for LLVM debuggingβ31Updated 2 months 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β¦β428Updated last week
- Generic model checker for concurrent C programs (mirror repository)β180Updated 3 weeks ago
- PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinkerβ472Updated last week
- β219Updated last week
- Tutorial for LLVM Dev Conference 2019.β15Updated 6 years ago
- Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.β34Updated 2 years ago
- Embedded Universal DSL: a good DSL for us, by usβ60Updated this week
- A new (MLIR based) high-level IR for clang.β566Updated this week
- Code examples for tutoring modern C++β99Updated 5 months ago
- A simple borrow-checked language built using LLVM's MLIRβ26Updated 5 years ago
- A translation validation framework for MLIRβ89Updated 9 months ago
- Fast WebAssembly Baseline Compilerβ61Updated 2 years ago
- β86Updated last week
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar codeβ29Updated 6 years ago
- Lightweight framework for easy and efficient code generationβ104Updated last year
- NOELLE Offers Empowering LLVM Extensionsβ82Updated 5 months ago
- Generates CIL MLIR dialect from C/C++ source.β34Updated 4 years ago
- Yet Another Random Program Generatorβ542Updated last month
- CI system for premerge-testing in LLVM projectβ42Updated 6 months ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugsβ17Updated last month
- CDSChecker: A Model Checker for C11 and C++11 Atomicsβ38Updated 12 years ago
- DebugIR: Debugging LLVM-IR Filesβ145Updated last year
- A case for representing data collections and objects in the LLVM IRβ21Updated last month
- Verification of BPF JIT compilersβ57Updated 2 years ago
- Dockerfiles for Clang and LLVMβ108Updated 5 months ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.β119Updated 3 months ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was β¦β148Updated 5 years ago