michalpaszkowski / LLVM-Canon
LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semantics.
☆14Updated 9 months ago
Alternatives and similar repositories for LLVM-Canon:
Users that are interested in LLVM-Canon are comparing it to the libraries listed below
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆17Updated this week
- How to Build an LLVM Backend, published by Packt☆20Updated 4 months ago
- Utilities for constructing a large dataset of LLVM IR☆17Updated 6 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- TiledKernel is a code generation library based on macro kernels and memory hierarchy graph data structure.☆19Updated 9 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆18Updated 5 months ago
- ☆28Updated 2 years ago
- GPU model checker☆11Updated 5 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 2 years ago
- Example for running IREE in a bare-metal Arm environment.☆29Updated last month
- Embedded Universal DSL: a good DSL for us, by us☆32Updated this week
- Generates CIL MLIR dialect from C/C++ source.☆32Updated 4 years ago
- ☆20Updated last year
- Performance Counter Measurements at the cycle granularity☆18Updated 3 years ago
- ☆56Updated last week
- A translation validation framework for MLIR☆80Updated 3 months ago
- ☆11Updated 3 years ago
- Polyhedral Compilation tool for High Level Synthesis.☆10Updated 10 years ago
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- A minimal (really) out-of-tree MLIR example☆37Updated last month
- ☆10Updated 3 years ago
- ☆23Updated last week
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆10Updated last year
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆15Updated 5 years ago
- [WIP] Interval Analysis on LLVM IR☆12Updated 4 years ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- FPGA synthesis tool powered by program synthesis☆41Updated 2 months ago
- ☆40Updated this week