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.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть онлайн-емулятор OnWorks Linux або Windows або онлайн-емулятор MACOS з цього веб-сайту.
- 5. З ОС OnWorks Linux, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму, встановіть її та запустіть.
Вечеря
Ad
ОПИС
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.
Функції
- 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
Мова програмування
C, C++, Perl, Python
Категорії
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.
