Benjamin Kramer fbbec483df JumpThreading: Turn a select instruction into branching if it allows to thread one half of the select. ...

This is a common pattern coming out of simplifycfg generating gross code.

a:                                       ; preds = %entry
  %sel = select i1 %cmp1, double %add, double 0.000000e+00
  br label %b

b:
  %cond5 = phi double [ %sel, %a ], [ %sub, %entry ]
  %cmp6 = fcmp oeq double %cond5, 0.000000e+00
  br i1 %cmp6, label %if.then, label %if.end

becomes

a:
  br i1 %cmp1, label %b, label %if.then

b:
  %cond5 = phi double [ %sub, %entry ], [ %add, %a ]
  %cmp6 = fcmp oeq double %cond5, 0.000000e+00
  br i1 %cmp6, label %if.then, label %if.end

Skipping block b completely if possible.

llvm-svn: 187880

2013-08-07 10:29:38 +00:00

..

2008-11-27-EntryMunge.ll

Convert all tests using TCL-style quoting to use shell-style quoting.

2012-07-02 12:47:22 +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

TBAA: remove !tbaa from testing cases if not used.

2013-04-30 17:52:57 +00:00

2012-07-19-NoSuccessorIndirectBr.ll

Fix assertion in jump threading (PR13405).

2012-07-20 10:36:17 +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

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

branch-no-const.ll

…

compare.ll

Fix the remaining TCL-style quotes found in the testsuite. This is

2012-07-02 19:09:46 +00:00

crash.ll

Add a test case for PR14233.

2012-11-01 10:26:36 +00:00

degenerate-phi.ll

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

2012-12-30 02:33:22 +00:00

indirectbr.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

lit.local.cfg

Replace all instances of dg.exp file with lit.local.cfg, since all tests are run with LIT now and now Dejagnu. dg.exp is no longer needed.

2012-02-16 06:28:33 +00:00

lvi-load.ll

Remove dead option from tests.

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

no-irreducible-loops.ll

Convert all tests using TCL-style quoting to use shell-style quoting.

2012-07-02 12:47:22 +00:00

or-undef.ll

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

2012-12-30 01:28:40 +00:00

phi-eq.ll

formatting change: strip debug info from test

2012-05-10 16:55:31 +00:00

pr9331.ll

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

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

select.ll

JumpThreading: Turn a select instruction into branching if it allows to thread one half of the select.

2013-08-07 10:29:38 +00:00

thread-loads.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00