Owen Anderson 36c4debc94 Fix PR8247: JumpThreading can cause a block to become unreachable while still having predecessor, if it is part of a self-loop. ...

Because of this, we cannot use the Simplify* APIs, as they can assert-fail on unreachable code.  Since it's not easy to determine
if a given threading will cause a block to become unreachable, simply defer simplifying simplification to later InstCombine and/or
DCE passes.


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

2010-09-29 20:34:41 +00:00

..

2008-11-27-EntryMunge.ll

simplify some run lines, convert a test to filecheck.

2009-10-11 03:54:21 +00:00

2010-08-26-and.ll

Remove dead option from tests.

2010-09-14 21:03:40 +00:00

and-and-cond.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

and-cond.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

basic.ll

Remove dead option from tests.

2010-09-14 21:03:40 +00:00

branch-no-const.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

compare.ll

simplify some run lines, convert a test to filecheck.

2009-10-11 03:54:21 +00:00

crash.ll

Fix PR8247: JumpThreading can cause a block to become unreachable while still having predecessor, if it is part of a self-loop.

2010-09-29 20:34:41 +00:00

dg.exp

…

lvi-load.ll

Remove dead option from tests.

2010-09-14 21:03:40 +00:00

no-irreducible-loops.ll

Make these tests more interesting by using

2009-10-24 23:23:04 +00:00

or-undef.ll

Make jump threading honor x|undef -> true and x&undef -> false,

2010-02-11 04:40:44 +00:00

thread-loads.ll

simplify some run lines, convert a test to filecheck.

2009-10-11 03:54:21 +00:00