Owen Anderson f6832bbda0 Fix an infinite alternation in JumpThreading where two transforms would repeatedly undo each other. The solution is to perform more aggressive constant folding to make one of the edges just folded away rather than trying to thread it. ...

Fixes <rdar://problem/9284786>.

Discovered with CSmith.


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

2011-04-14 21:35:50 +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

2011-04-02-SimplifyDeadBlock.ll

PR9446: RecursivelyDeleteTriviallyDeadInstructions can delete the instruction

2011-04-02 22:45:17 +00:00

2011-04-14-InfLoop.ll

Fix an infinite alternation in JumpThreading where two transforms would repeatedly undo each other. The solution is to perform more aggressive constant folding to make one of the edges just folded away rather than trying to thread it.

2011-04-14 21:35:50 +00:00

and-and-cond.ll

Re-apply r124518 with fix. Watch out for invalidated iterator.

2011-01-29 04:46:23 +00:00

and-cond.ll

Re-apply r124518 with fix. Watch out for invalidated iterator.

2011-01-29 04:46:23 +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

degenerate-phi.ll

Tolerate degenerate phi nodes that can occur in the middle of optimization

2011-02-10 23:54:10 +00:00

dg.exp

add a basic testcase.

2008-04-22 06:35:14 +00:00

indirectbr.ll

prevent jump threading from merging blocks when their address is

2011-02-18 04:43:06 +00:00

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

pr9331.ll

Fix PR9331. Simplified version of a patch by Jakub Staszak.

2011-03-08 12:39:03 +00:00

select.ll

Teach jump threading to "look through" a select when the branch direction of a terminator depends on it.

2010-12-15 09:51:20 +00:00

thread-loads.ll

Re-apply r124518 with fix. Watch out for invalidated iterator.

2011-01-29 04:46:23 +00:00