added bugs found in LLVM instcombine
added bugs found in LLVM instcombine
Merge branch 'master' of https://github.com/santoshn/alive
added test case to demonstrate the slight differences with the usage of predicates and functions
added bugs found in LLVM instcombine
added test case to demonstrate the slight differences with the usage of predicates and functions
Merge branch 'master' of https://github.com/santoshn/alive
Make abs, lshr, and umax return types match argument types.

This potentially reduces unnecessary type variation, and fixes a crash
when lshr(undef,1) occurred in a precondition.
Actually constrain umax, abs to return same type as arguments
Merge pull request #8 from nunoplopes/functions-return-type-of-args

Make abs, lshr, and umax return types match argument types.
added bugs found in LLVM instcombine
added test case to demonstrate the slight differences with the usage of predicates and functions
adding instcombine shift tests
Merge branch 'master' of https://github.com/santoshn/alive
removing the test cases that have been integrated
added InstcombineShift test cases
Merge pull request #9 from santoshn/master

Added InstCombineShift test cases
move slow test to skip directory for now
Multiple fixes for GEP
Fix idx computation in SMT
Store only the idxs and discard types, which are also stored with the idxs
As a side-effect, type constraints improve for unspecified idx types
Add proper support for poison values
Fix edge case of propagation of undef behavior throughout a BB