htfy96/souper repository overview

This is a non-official build of Souper super-optimizer: https://github.com/google/souper⁠. Currently it's built manually and squashed into a single layer.

⁠Usage

docker run -ti --rm -v $(pwd):/mnt htfy96/souper:20200210 clang -emit-llvm -c -o /mnt/file.bc /mnt/file.c
docker run -ti --rm -v $(pwd):/mnt htfy96/souper:20200210 souper -z3-path=/usr/bin/z3 /mnt/file.bc

⁠Details

⁠20200210

This image is built from commit 31c9b21524f9a1a0f43e852352b5035cda8d598a with Debian 10 / LLVM 10 (df18650) as base image. The install path of souper and LLVM are added as PATH.