facebookarchive / clangir
💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
☆158Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for clangir
- A new (MLIR based) high-level IR for clang.☆383Updated 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…☆397Updated this week
- ☆161Updated this week
- Generates CIL MLIR dialect from C/C++ source.☆31Updated 3 years ago
- ☆51Updated 5 months ago
- A translation validation framework for MLIR☆73Updated 2 weeks ago
- A high performance LLVM-based dynamic binary instrumentation framework☆244Updated 5 months ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆137Updated 3 months ago
- DebugIR: Debugging LLVM-IR Files☆125Updated last week
- Generic model checker for concurrent C programs (mirror repository)☆109Updated last month
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆160Updated 4 months ago
- Tutorial for LLVM Dev Conference 2019.☆14Updated 5 years ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆25Updated 5 years ago
- Super-parallel Python port of the C-Reduce☆242Updated last month
- C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!☆485Updated last month
- PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker☆377Updated this week
- Example implementation of Arm's Architecture Specification Language (ASL)☆110Updated 5 years ago
- NOELLE Offers Empowering LLVM Extensions☆76Updated 3 weeks ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆125Updated 4 years 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 …☆48Updated 5 years ago
- Lightweight framework for easy and efficient code generation☆98Updated 2 months ago
- Source code for the paper "Profile Guided Optimization without Profiles: A Machine Learning Approach"☆23Updated 2 years ago
- An optimizing ahead-of-time Python Compiler☆158Updated 5 months ago
- Online demo without installing at - https://buildit.so/tryit☆153Updated last week
- Code examples for tutoring modern C++☆89Updated 4 months ago
- A step-by-step tutorial for building an LLVM sample pass☆212Updated 4 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆56Updated last week
- A verification tool for many memory models☆77Updated this week
- Conversions to MLIR EmitC☆124Updated 2 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago