llvm-ml / llvm-ir-dataset-utils
Utilities for constructing a large dataset of LLVM IR
☆15Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for llvm-ir-dataset-utils
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated last year
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆17Updated 6 months ago
- ☆18Updated 2 years ago
- A program synthesis framework for verified lifting applications☆39Updated 3 weeks ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆12Updated 6 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆57Updated 2 weeks ago
- ☆34Updated 7 months ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆71Updated 5 months ago
- Python bindings for egg☆47Updated last year
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆14Updated 5 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago
- ☆13Updated last month
- ☆14Updated 11 months ago
- An awesome list of e-graph resources☆105Updated last week
- Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022☆21Updated last year
- FPGA synthesis tool powered by program synthesis☆38Updated this week
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- ☆15Updated 2 years ago
- A lightweight, Pythonic, frontend for MLIR☆80Updated last year
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆83Updated last month
- benchmarking e-graph extraction☆36Updated last week
- A memory profiler for NVIDIA GPUs to explore memory inefficiencies in GPU-accelerated applications.☆22Updated last month
- DiscoPoP - Discovery of Potential Parallelism☆40Updated this week
- egraph on top of sqlite☆12Updated 2 years ago
- Data Dependence Analyzer in the Polyhedral Model☆19Updated last year
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated last year
- ☆27Updated last year
- Monorepo for the OpenCilk compiler. Forked from llvm/llvm-project and based on Tapir/LLVM.☆93Updated this week