google / souperLinks
A superoptimizer for LLVM IR
☆2,249Updated 9 months ago
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,590Updated last year
- STOKE: A stochastic superoptimizer and program synthesizer☆782Updated last year
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,816Updated 11 months ago
- Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries☆2,532Updated 2 years ago
- Automatic verification of LLVM optimizations☆915Updated last month
- Csmith, a random generator of C programs☆1,092Updated last year
- The CompCert formally-verified C compiler☆1,995Updated last week
- KLEE Symbolic Execution Engine☆2,786Updated last month
- Low-latency machine code generation☆4,195Updated this week
- x86-64 assembler library☆481Updated 4 years ago
- The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions☆1,482Updated last week
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,697Updated 3 years ago
- A collection of out-of-tree LLVM passes for teaching and learning☆3,202Updated last month
- Library for lifting machine code to LLVM bitcode☆1,417Updated 3 weeks ago
- resurrected LLVM "C Backend", with improvements☆904Updated 2 months ago
- Yet Another Random Program Generator☆514Updated last month
- llvm-mctoll☆852Updated 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,237Updated 8 months ago
- C Foreign Function Interface and JIT using Clang/LLVM☆553Updated 2 months ago
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆622Updated 7 months ago
- Intel® Implicit SPMD Program Compiler☆2,687Updated this week
- Virtual Machine for Intermediate Representation☆683Updated 4 years ago
- Message passing based allocator☆1,692Updated last month
- A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR☆2,443Updated 9 months ago
- A compiler frontend for the C programming language☆547Updated 3 weeks ago
- zapcc is a caching C++ compiler based on clang, designed to perform faster compilations☆1,258Updated 4 years ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆655Updated last week
- The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)☆3,240Updated last month
- ☆281Updated 2 years ago
- Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C☆2,303Updated 3 weeks ago