Chris Lattner 1e452650c6 Make jump threading honor x|undef -> true and x&undef -> false, ...

instead of considering x|undef -> x, which may not be true.


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

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

..

2008-11-27-EntryMunge.ll

simplify some run lines, convert a test to filecheck.

2009-10-11 03:54:21 +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

1) Use the new SimplifyInstructionsInBlock routine instead of the copy

2010-01-12 20:41:47 +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

third bug from PR6119: the xor dupe extension allows

2010-01-23 19:21:31 +00:00

dg.exp

…

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