minor change finishing up the fixes from the latest LLVM bump
Merge pull request #41 from regehr/update-llvm

minor change finishing up the fixes from the latest LLVM bump
bump version a bit more to get a bugfix mentioned by Nuno
fix the fact that we lack a test case containing "pc"
Merge pull request #42 from regehr/master

bump version a bit more to get a bugfix mentioned by Nuno
Remove unused variables
Added instructions to isCommutative() function that were missed in UB patch
Merge pull request #45 from jubitaneja/additions-to-UB

Added instructions to isCommutative() function that were missed in UB pa...
Add the ability to use a function name instead of a instruction as an origin

This could be useful for serializing/deserializing a set of candidates.

Eventually CandidateMap will go away which should hopefully make it simpler
to drop this IR dependency.
Don't create sext insts of equal width (#33)
Merge pull request #51 from rsas/issue33

Don't create sext insts of equal width (#33)
add support for profiling Souper optimizations by incrementing a Redis variable
by the number times each optimized location executes

add "sclang", a compiler driver that makes it easier to build code using the
Souper pass
Build fix for GCC 4.9
Add missing test dependencies
turn on internal caching by default, as this often helps performance and does
not seem to ever hurt
Merge pull request #53 from regehr/cache-on

turn on internal caching by default, as this often helps performance and...
bump LLVM version
Merge pull request #56 from regehr/bump-llvm

bump LLVM version
Apply UB constraints only on the relevant Phi branches

This patch fixes the unsoundness issue #13.
Add souper-check tool

This tool is based on souperweb-backend.cpp, but it's
intended to be run from the command line.