llir / grammar
EBNF grammar of LLVM IR assembly.
☆64Updated 2 years ago
Alternatives and similar repositories for grammar:
Users that are interested in grammar are comparing it to the libraries listed below
- Unofficial libjit mirror.☆61Updated 4 years ago
- Parser for the llvm bitcode format☆59Updated last month
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆199Updated 10 months ago
- Attribute grammar Based Language Extensions for C☆40Updated 2 weeks ago
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 9 years ago
- Unison's source code☆107Updated last year
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 7 months ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- ☆51Updated last year
- Research Compiler using Graph IR for Code Optimizations and Code Generations☆49Updated 6 years ago
- ☆28Updated 5 years ago
- MIT's abstract interpretation class taught by Cousot☆39Updated 10 years ago
- An LLVM IR Editor plugin for Eclipse☆51Updated 11 years ago
- A simple SSA-based compiler.☆16Updated 11 months ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- Compiler for a new programming language: Embedded Systems Language (ESL).☆33Updated last month
- MimIR is my Intermediate Representation☆66Updated this week
- Bottom Up Rewrite Generator☆27Updated 7 years ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- Visualization of LLVM IR☆60Updated 10 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- The latest development version of rose. It may not pass all regression tests.☆107Updated 5 years ago
- A Self-Hosting LISP to LLVM-IR Compiler☆27Updated 5 years ago
- Generates CIL MLIR dialect from C/C++ source.☆32Updated 4 years ago
- A cross platform JIT engine based on Eclipse OMR☆27Updated 5 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated 3 years ago