google / souperLinks
A superoptimizer for LLVM IR
☆2,303Updated 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,617Updated last year
- STOKE: A stochastic superoptimizer and program synthesizer☆832Updated 2 years ago
- Automatic verification of LLVM optimizations☆998Updated last month
- Csmith, a random generator of C programs☆1,132Updated last year
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,833Updated last year
- The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions☆1,528Updated 5 months ago
- KLEE Symbolic Execution Engine☆2,855Updated last week
- The CompCert formally-verified C compiler☆2,062Updated 3 weeks ago
- Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries☆2,528Updated 2 years ago
- resurrected LLVM "C Backend", with improvements☆931Updated last month
- Yet Another Random Program Generator☆532Updated 3 weeks ago
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆640Updated last year
- x86-64 assembler library☆485Updated 4 years ago
- Message passing based allocator☆1,746Updated 3 weeks ago
- Low-latency machine code generation☆4,332Updated this week
- Library for lifting machine code to LLVM bitcode☆1,492Updated last week
- A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR☆2,492Updated last year
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,727Updated 3 years ago
- C Foreign Function Interface and JIT using Clang/LLVM☆560Updated 6 months ago
- Computing with traps☆1,308Updated 12 years ago
- Virtual Machine for Intermediate Representation☆694Updated 5 years ago
- example LLVM pass☆597Updated 8 months ago
- llvm-mctoll☆867Updated last year
- PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker☆460Updated last week
- 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,250Updated last year
- UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools☆1,188Updated 7 years ago
- Compile-time C Compiler implemented as C++14 constant expressions☆807Updated 4 years ago
- zapcc is a caching C++ compiler based on clang, designed to perform faster compilations☆1,270Updated 5 years ago
- A compiler frontend for the C programming language☆552Updated last week
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆663Updated last week