google / souper

A superoptimizer for LLVM IR

google/souper Issues

not found klee and alive2
Closed 3 months ago
Hi, Is this superoptimizer hardware irrelvant?
Closed a year ago4
Question about Souper IR's advantage compare to LLVM IR?
Updated 7 months ago1
building for m1
Updated a year ago2
use error
Updated a year ago5
Rgiht way to use souper
Closed a year ago2
Possible bugs when generating inputs for dataflow pruning
Updated a year ago3
Packaging Souper
Updated a year ago1
Souper fails to turn multiplication by a power of two into a shift?
Closed a year ago3
[alive2] `IfNonPoison` removed upstream
Closed a year ago1
Better spreading SMT solver load?
Updated 2 years ago
futur m1 support ?
Closed 2 years ago
Build failure
Updated 2 years ago2
LLVM Test Suite test failure with NO_INFER
Updated 2 years ago
Build failure
Updated 3 years ago1
Switch-case synthesis
Updated 3 years ago6
Not deterministic SMT query string
Updated 3 years ago1
Instruction does not dominate all uses!
Updated 3 years ago
Souper crash in codegen from valid transformation
Updated 3 years ago5
ICE: Assertion `false && "Phi with muliple arguments unimplemented"' failed
Closed 3 years ago1
Assertion failed: (EB.get(&I)->hasOrigin(&I)), function ExtractExprCandidates, file .../lib/Extractor/Candidates.cpp, line 1025
Closed 3 years ago6
Dead links in the RESULTS file
Updated 3 years ago
Bogus redefinition in synthesized RHS?
Updated 4 years ago9
alive2 backend needs to understand dataflow facts
Updated 4 years ago1
alive2 backend needs to understand phi
Updated 4 years ago1
Handling replaced instructions that failed the dominance checks
Updated 4 years ago2
does Souper play nice with X-ray?
Closed 4 years ago4
EBNF-style grammar for Souper's text format?
Updated 4 years ago16
Parallel inferring
Updated 4 years ago2
Building on macOS 10.15: ld: symbol(s) not found for architecture x86_64
Updated 4 years ago10
Assertion failed: (BlockCache.empty()), function synthesize, file ../lib/Infer/ConstantSynthesis.cpp, line 412.
Updated 4 years ago
PHI nodes not grouped at top of basic block!
Updated 4 years ago
Duplicate result
Closed 4 years ago16
QSynth evaluation
Updated 4 years ago2
Unable to query z3 solver : exec format error
Closed 4 years ago4
LLVM unable to find Z3
Updated 4 years ago
cache does not include souper calling args in the key
Updated 4 years ago
shared library fun
Closed 4 years ago1
Extending the functionality of CEGIS
Closed 5 years ago
[bug] no `opt` executable in the `build` folder
Closed 5 years ago2
[HELP] fail to reproduce samples in paper
Closed 5 years ago9
crash in interpreter_tests
Closed 5 years ago1
bug in dataflow analysis
Closed 5 years ago
Bug in funnel shift abstract interpreter functions
Updated 5 years ago
In order to run /lib/Pass/Pass.cpp seperately flags required ?
Closed 5 years ago1
Constant Synthesize failure
Closed 5 years ago
getValue() bug
Updated 5 years ago1
[seek help] fail to build dependencies at macOS
Closed 5 years ago3
Incorrect switch case fall through
Updated 5 years ago
Inconsistent error handling between souper and souperPass
Updated 5 years ago