google / souperLinks
A superoptimizer for LLVM IR
☆2,297Updated last year
Alternatives and similar repositories for souper
Users that are interested in souper are comparing it to the libraries listed below
Sorting:
- C-Reduce, a C and C++ program reducer☆1,609Updated last year
- STOKE: A stochastic superoptimizer and program synthesizer☆789Updated 2 years ago
- Automatic verification of LLVM optimizations☆972Updated this week
- Csmith, a random generator of C programs☆1,118Updated last year
- Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries☆2,530Updated 2 years ago
- The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions☆1,502Updated 3 months ago
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,827Updated last year
- resurrected LLVM "C Backend", with improvements☆918Updated 2 weeks ago
- Yet Another Random Program Generator☆528Updated last month
- KLEE Symbolic Execution Engine☆2,824Updated 2 months ago
- Low-latency machine code generation☆4,273Updated last week
- x86-64 assembler library☆485Updated 4 years ago
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆634Updated 10 months ago
- A C++ expression -> x64 JIT☆1,253Updated 5 years ago
- The CompCert formally-verified C compiler☆2,028Updated last week
- zapcc is a caching C++ compiler based on clang, designed to perform faster compilations☆1,270Updated 5 years ago
- C Foreign Function Interface and JIT using Clang/LLVM☆556Updated 4 months ago
- Library for lifting machine code to LLVM bitcode☆1,461Updated last week
- Message passing based allocator☆1,728Updated last month
- ROSE is an open-source compiler framework engineered by LLNL supporting program analysis and transformation at both the source and binary…☆644Updated last week
- Official git repository for libdivide: optimized integer division☆1,242Updated 3 months ago
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,720Updated 3 years ago
- example LLVM pass☆594Updated 6 months ago
- EsoLangVM Compiler Infrastructure☆1,204Updated last year
- Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…☆3,246Updated 11 months ago
- Virtual Machine for Intermediate Representation☆692Updated 5 years ago
- Computing with traps☆1,301Updated 12 years ago
- Compile-time C Compiler implemented as C++14 constant expressions☆807Updated 4 years ago
- llvm-mctoll☆858Updated last year
- UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools☆1,191Updated 6 years ago