This is the Linux app named Souper whose latest release can be downloaded as souperpldi-2017-submissionsourcecode.zip. It can be run online in the free hosting provider OnWorks for workstations.
Download and run online this app named Souper with OnWorks for free.
Follow these instructions in order to run this app:
- 1. Downloaded this application in your PC.
- 2. Enter in our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 3. Upload this application in such filemanager.
- 4. Start the OnWorks Linux online or Windows online emulator or MACOS online emulator from this website.
- 5. From the OnWorks Linux OS you have just started, goto our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 6. Download the application, install it and run it.
Souper
Ad
DESCRIPTION
Souper is a superoptimizer for LLVM IR designed to automatically discover missed optimization opportunities within LLVM’s mid-end optimizers. By leveraging SMT (Satisfiability Modulo Theories) solvers, Souper symbolically analyzes LLVM Intermediate Representation (IR) to synthesize equivalent, more efficient expressions. It identifies peephole optimizations—small instruction-level improvements—that LLVM’s optimizer may overlook, thereby improving compiled code quality. Souper can operate in multiple modes: as a standalone analysis tool that extracts and solves SMT queries from LLVM bitcode, or as an LLVM optimization pass that applies discovered optimizations directly to the IR. It integrates seamlessly with Clang and LLVM tools and supports caching mechanisms (RAM or Redis) to accelerate repeated analyses. The system can output suggested rewrites for developers or automatically apply transformations, helping compiler engineers improve optimization passes.
Features
- Synthesizes optimized LLVM IR expressions using SMT solvers
- Detects missed peephole and mid-level optimizations automatically
- Functions as both a standalone optimizer and an LLVM opt pass
- Integrates with Clang and LLVM toolchains for easy usage
- Supports caching (RAM or Redis) to improve performance on large builds
- Provides Valgrind-compatible testing and verification for reliability
Programming Language
C, C++, Perl, Python
Categories
This is an application that can also be fetched from https://sourceforge.net/projects/souper.mirror/. It has been hosted in OnWorks in order to be run online in an easiest way from one of our free Operative Systems.
