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.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația, instalați-o și rulați-o.
Cină
Ad
DESCRIERE
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.
Categorii
- 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
Limbaj de programare
C, C++, Perl, Python
Categorii
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.
