tree c30d024721f6cddcb48302b1031d83fe43189f00
parent 71bbebdac9e05b3dd7e8d041ad6907d474968a6a
author Dan Gohman <gohman@apple.com> 1248134015 +0000
committer Dan Gohman <gohman@apple.com> 1248134015 +0000

Remove the code that tried to evaluate whether (A pred B) is known
by determining if (B pred (B-A)) is known, as it doesn't handle
overflow correctly.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76504 91177308-0d34-0410-b5e6-96231b3b80d8