GPUOpen-Drivers / llvm-dialectsLinks
LLVM Dialects Library
☆22Updated 3 weeks ago
Alternatives and similar repositories for llvm-dialects
Users that are interested in llvm-dialects are comparing it to the libraries listed below
Sorting:
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆55Updated last year
- A utility library to bridge llvm and mlir gaps.☆13Updated 4 months ago
- Fork of LLVM for demonstrating optimization pass development☆30Updated 2 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆74Updated last week
- UB-aware interpreter for LLVM debugging☆28Updated last week
- MimIR is my Intermediate Representation☆68Updated this week
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated 3 weeks ago
- Embedded Universal DSL: a good DSL for us, by us☆37Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- A term rewriting system for experimental programming language development.☆43Updated 2 weeks ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 3 years ago
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆54Updated 3 weeks ago
- An MLIR-based JavaScript intermediate representation☆31Updated last month
- ☆61Updated last year
- Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.☆29Updated 2 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 6 months ago
- ☆13Updated last year
- A minimal (really) out-of-tree MLIR example☆44Updated 2 weeks ago
- A ridiculous Python interpreter written—from scratch—in Rust.☆21Updated this week
- Indexed grep☆20Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 2 months ago
- ☆80Updated this week
- Floating-Point Scalar Evolution☆12Updated 5 years ago
- Command-line tool to interact with Compiler Explorer☆31Updated 2 years ago
- An LLVM IR dataset for data-driven compiler optimization research☆45Updated this week
- ☆20Updated 2 years ago
- Bottom Up Rewrite Generator☆29Updated 7 years ago