google / souper
A superoptimizer for LLVM IR
☆2,168Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for souper
- C-Reduce, a C and C++ program reducer☆1,307Updated 5 months ago
- STOKE: A stochastic superoptimizer and program synthesizer☆748Updated last year
- Automatic verification of LLVM optimizations☆795Updated last week
- The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions☆1,416Updated 2 weeks ago
- Csmith, a random generator of C programs☆1,021Updated 9 months ago
- Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries☆2,518Updated last year
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,755Updated 4 months ago
- KLEE Symbolic Execution Engine☆2,649Updated 2 weeks ago
- resurrected LLVM "C Backend", with improvements☆853Updated last month
- Low-latency machine code generation☆3,974Updated this week
- C Foreign Function Interface and JIT using Clang/LLVM☆549Updated last year
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,657Updated 2 years ago
- 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,221Updated last month
- zapcc is a caching C++ compiler based on clang, designed to perform faster compilations☆1,250Updated 4 years ago
- Library for lifting machine code to LLVM bitcode☆1,301Updated 4 months ago
- Yet Another Random Program Generator☆489Updated 3 months ago
- x86-64 assembler library☆471Updated 3 years ago
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆600Updated 3 weeks ago
- llvm-mctoll☆816Updated 4 months ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆632Updated 3 weeks ago
- Message passing based allocator☆1,579Updated this week
- A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR☆2,325Updated 2 months ago
- The CompCert formally-verified C compiler☆1,889Updated this week
- Intel® Implicit SPMD Program Compiler☆2,520Updated this week
- EsoLangVM Compiler Infrastructure☆1,134Updated 3 months ago
- A collection of out-of-tree LLVM passes for teaching and learning☆2,980Updated last month
- Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C☆2,168Updated 4 months ago
- unfork(2) is the inverse of fork(2). sort of.☆1,464Updated 7 months ago
- Virtual Machine for Intermediate Representation☆665Updated 4 years ago
- A JIT assembler for x86/x64 architectures supporting MMX, SSE (1-4), AVX (1-2, 512), FPU, APX, and AVX10.2☆2,055Updated last week