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.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
Jantar
Ad
DESCRIÇÃO
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.
Recursos
- 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
Linguagem de Programação
C, C ++, Perl, Python
Categorias
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.
