michalpaszkowski / LLVM-CanonLinks
LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semantics.
☆31Updated last year
Alternatives and similar repositories for LLVM-Canon
Users that are interested in LLVM-Canon are comparing it to the libraries listed below
Sorting:
- Solving floating point SMT constraints on a GPU☆50Updated 5 years ago
- LLVM-based type and memory allocation tracking sanitizer☆56Updated last week
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Updated 2 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆50Updated last month
- NVidia sass disassembler/inline patcher☆36Updated this week
- A utility library to bridge llvm and mlir gaps.☆13Updated 11 months ago
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆50Updated last week
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Updated 2 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆18Updated 8 months ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Updated 11 years ago
- Synthesis of loop-free programs☆20Updated 2 weeks ago
- Fork of LLVM for demonstrating optimization pass development☆31Updated 2 years ago
- LLVM Code Generation, published by Packt☆219Updated 2 weeks ago
- Program synthesis tools and utilities for LLVM.☆20Updated 2 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆79Updated last week
- A binary optimization/specialization library supporting multiple rewriters☆119Updated 4 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- VSCode extension for the LLVM IR language☆60Updated last year
- SMT solver for the theory of floating-point arithmetic☆26Updated 7 years ago
- ☆22Updated 2 years ago
- SLOT: SMT-LLVM Optimizing Translation☆58Updated 8 months ago
- A enumerator for MLIR, relying on the information given by IRDL.☆20Updated 3 weeks ago
- CaPI: Compiler-assisted Performance Instrumentation☆18Updated 2 weeks ago
- fast probabilistic symmetry detection on graphs☆17Updated 2 months ago
- A minimal (really) out-of-tree MLIR example☆46Updated 4 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Updated 4 years ago
- Code examples used for the LAC LLVM course☆134Updated last year
- ☆50Updated last week
- Visualization of LLVM IR☆59Updated 11 years ago