projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71bbebd) | patch
Remove the code that tried to evaluate whether (A pred B) is known
authorDan Gohman <gohman@apple.com>
Mon, 20 Jul 2009 23:53:35 +0000 (23:53 +0000)
committerDan Gohman <gohman@apple.com>
Mon, 20 Jul 2009 23:53:35 +0000 (23:53 +0000)
commit4500e9eb803616416dc1c8bbc8a7f230c2a0bff2
treec30d024721f6cddcb48302b1031d83fe43189f00tree | snapshot
parent71bbebdac9e05b3dd7e8d041ad6907d474968a6acommit | diff
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
lib/Analysis/ScalarEvolution.cpp diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors