facebookarchive / clangirLinks
๐ The former home of clangir, now part of the official LLVM incubator. See website below for details.
โ156Updated 2 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โ29Updated last week
- An LLVM IR dataset for data-driven compiler optimization researchโ51Updated this week
- 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โฆโ419Updated 3 months ago
- Generic model checker for concurrent C programs (mirror repository)โ156Updated last week
- PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinkerโ432Updated 2 weeks ago
- Tutorial for LLVM Dev Conference 2019.โ15Updated 5 years ago
- โ62Updated last year
- Intelยฎ Instrumentation and Tracing Technology (ITT) and Just-In-Time (JIT) APIsโ118Updated last month
- DebugIR: Debugging LLVM-IR Filesโ139Updated 7 months ago
- A translation validation framework for MLIRโ88Updated 4 months ago
- โ196Updated last week
- Embedded Universal DSL: a good DSL for us, by usโ42Updated this week
- Code examples for tutoring modern C++โ98Updated last week
- Generates CIL MLIR dialect from C/C++ source.โ34Updated 4 years ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar codeโ28Updated 6 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programsโ38Updated 4 years ago
- Example implementation of Arm's Architecture Specification Language (ASL)โ119Updated 5 years ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was โฆโ142Updated 5 years ago
- Yet Another Random Program Generatorโ522Updated this week
- An MLIR-based JavaScript intermediate representationโ39Updated 3 months ago
- Online demo without installing at - https://buildit.so/tryitโ178Updated 3 weeks ago
- Program Analisys and Transformation survey and links (particular focus on SSA)โ165Updated 4 years ago
- โ83Updated this week
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.โ144Updated 6 months ago
- A simple borrow-checked language built using LLVM's MLIRโ27Updated 5 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.โ110Updated 11 months ago
- Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.โ33Updated 2 years ago
- A new (MLIR based) high-level IR for clang.โ516Updated this week
- CDSChecker: A Model Checker for C11 and C++11 Atomicsโ31Updated 11 years ago
- NOELLE Offers Empowering LLVM Extensionsโ78Updated this week