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
- A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren☆58Updated 3 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
- Code which loads custom ISA on Intel Haswell GPUs☆47Updated 9 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- A Tree Parser Generator☆101Updated last year
- CCG is a random C Code Generator☆43Updated 3 years ago
- Intriman is a documentation generator that retargets the Intel Intrinsics Guide to other documentation formats☆28Updated 3 years ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆49Updated 8 months ago
- GNU Superoptimizer Version 2☆26Updated 4 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
- reverse engineering branch predictors☆18Updated 9 years ago
- Liveness-driven random C code generator☆42Updated 3 months ago
- resurrected LLVM "C Backend", with improvements☆131Updated 5 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated 4 months ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 8 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- Library for generating ABI-compliant LLVM IR☆64Updated 5 years ago
- unrolled skip list library for C☆21Updated 6 years ago
- ☆60Updated 7 years ago
- ☆55Updated last year
- A tiny lexical analyser generator☆19Updated 13 years ago
- A collection of clang plugins for safer C programming☆92Updated 7 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
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- a tool for querying Dwarf (debuginfo) graphs☆57Updated last year
- llvm opt fuzzer and bounded exhaustive test generator☆46Updated 3 years ago
- ☆29Updated 6 years ago
- Composable Data and Type Generators for C++☆10Updated 6 years ago