projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2d2adf) | 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)
commit00c1aaec5aa8e69213caf64bc4d9681440658ede
treeed4884767d97f124712b715718d39c3a91918cc0tree | snapshot
parenta2d2adfa4ee8b16d7f2828ff69bab5b217dbcb83commit | 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.

llvm-svn: 76504
llvm/lib/Analysis/ScalarEvolution.cpp diff | blob | history
Domain: System / Toolchain;