ishiura-compiler / CF3Links
"CF3" is a C compiler test suite targeting arithmetic optimization.
☆37Updated 8 years ago
Alternatives and similar repositories for CF3
Users that are interested in CF3 are comparing it to the libraries listed below
Sorting:
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆54Updated 6 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Liveness-driven random C code generator☆42Updated 4 months ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 8 years ago
- reverse engineering branch predictors☆18Updated 9 years ago
- A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren☆58Updated 3 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Updated 3 years ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆49Updated 9 months ago
- ☆61Updated 7 years ago
- Turn an interpreter into a code generator☆31Updated 10 years ago
- A set of C Preprocessor analysis and source code rejuvenation tools that perform source to source translation of C++ programs by replacin…☆48Updated 7 years ago
- Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lea…☆18Updated 2 years ago
- CCG is a random C Code Generator☆43Updated 3 years ago
- TinyGC (Tiny Garbage Collector) is an independent implementation of the subset of API of the well-known Boehm-Demers-Weiser Conservative …☆89Updated 12 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- Unofficial libjit mirror.☆62Updated 5 years ago
- unrolled skip list library for C☆21Updated 6 years ago
- Composable Data and Type Generators for C++☆10Updated 6 years ago
- A just-in-time compiler for c minus☆46Updated 12 years ago
- XOCFE is an concise, clearly, C compiler frontend, it is easy to understand and modify. XOCFE's input is pure C, output is an AST tree.☆55Updated 3 months ago
- Intriman is a documentation generator that retargets the Intel Intrinsics Guide to other documentation formats☆28Updated 3 years ago
- NetBSD cdb (constant database) library☆14Updated 6 years ago
- A Tree Parser Generator☆102Updated last year
- GNU Superoptimizer Version 2☆26Updated 4 years ago
- CPIP - a C/C++ preprocessor implemented in Python.☆47Updated 3 months ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated 2 weeks ago
- A fast, dumb and small LLVM code generator. This generates x86-32 code from LLVM bitcode.☆65Updated 11 years ago
- A feature-incomplete peekahole (pahole) clone that doesn't rely on libdwarves (and doesn't choke on Clang output)☆22Updated 8 years ago
- Code which loads custom ISA on Intel Haswell GPUs☆47Updated 9 years ago
- Marlin: high throughput entropy compressor☆30Updated 2 years ago