Chris Lattner 14faada3a3 Fix PR2506 by being a bit more careful about reverse fact propagation when ...

disproving a condition.  This actually compiles the existing testcase
(udiv_select_to_select_shift) to:

define i64 @test(i64 %X, i1 %Cond) {
entry:
	%divisor1.t = lshr i64 %X, 3		; <i64> [#uses=1]
	%quotient2 = lshr i64 %X, 3		; <i64> [#uses=1]
	%sum = add i64 %divisor1.t, %quotient2		; <i64> [#uses=1]
	ret i64 %sum
}

instead of:

define i64 @test(i64 %X, i1 %Cond) {
entry:
	%quotient1.v = select i1 %Cond, i64 3, i64 4		; <i64> [#uses=1]
	%quotient1 = lshr i64 %X, %quotient1.v		; <i64> [#uses=1]
	%quotient2 = lshr i64 %X, 3		; <i64> [#uses=1]
	%sum = add i64 %quotient1, %quotient2		; <i64> [#uses=1]
	ret i64 %sum
}

llvm-svn: 53534

2008-07-14 00:15:52 +00:00

..

ADCE

Remove the ability for ADCE to remove unreachable blocks in loop nests, because, as Eli pointed out, SimplifyCFG already does this.

2008-07-03 17:21:41 +00:00

ArgumentPromotion

Fix two more not-grep tests that were missing llvm-dis.

2008-06-09 22:36:45 +00:00

BlockPlacement

Let some more tests ignore expected output on stderr.

2008-06-10 15:04:14 +00:00

BranchFolding

Don't branch fold inline asm statements.

2007-10-19 21:09:55 +00:00

CodeExtractor

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

CondProp

Remove llvm-upgrade and update test cases.

2008-03-01 09:15:35 +00:00

ConstantMerge

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

ConstProp

Fix a case where vector comparison constant folding would cause an

2008-07-10 00:29:28 +00:00

DeadArgElim

Restructure dead argument elimination, try #3 :-)

2008-07-10 10:24:08 +00:00

DeadStoreElimination

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

GCSE

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

GlobalDCE

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

GlobalOpt

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

GVN

A better fix for PR2503 that doesn't pessimize GVN in the presence of unreachable blocks.

2008-07-02 17:20:16 +00:00

GVNPRE

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

IndVarsSimplify

Fix PR2434. When scanning for exising binary operator to reuse don't

2008-06-15 19:07:39 +00:00

Inline

Let some more tests ignore expected output on stderr.

2008-06-10 15:04:14 +00:00

InstCombine

Fix PR2506 by being a bit more careful about reverse fact propagation when

2008-07-14 00:15:52 +00:00

Internalize

Let some more tests ignore expected output on stderr.

2008-06-10 15:04:14 +00:00

IPConstantProp

Modify some ipconstprop tests to also test with invokes.

2008-06-19 09:27:44 +00:00

JumpThreading

Fix a crash when threading a block that includes a MRV call result.

2008-05-05 20:21:22 +00:00

LCSSA

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

LICM

Fix PR2346 by marking vaarg as volatile so that licm doesn't try to

2008-05-20 22:05:28 +00:00

LoopDeletion

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

LoopIndexSplit

If loop induction variable's start value is less then its exit value then do not split the loop.

2008-07-09 00:12:01 +00:00

LoopRotate

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

LoopSimplify

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

LoopStrengthReduce

Improve LSR's dead-phi detection to handle use-def cycles

2008-06-22 20:44:02 +00:00

LoopUnroll

Revert 52645, the loop unroller changes. It caused a regression in 252.eon.

2008-06-24 20:44:42 +00:00

LoopUnswitch

Preserve dominance frontier while trivially unswitching loop.

2008-06-18 02:16:38 +00:00

LowerInvoke

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

LowerSetJmp

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

LowerSwitch

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

Mem2Reg

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

MemCpyOpt

Fix two issues that Eli Friedman pointed out, where would misoptimized code like:

2008-06-01 22:26:26 +00:00

PredicateSimplifier

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

PruneEH

Test that prune-eh doesn't make deductions based

2008-06-09 11:28:41 +00:00

RaiseAllocations

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

Reassociate

Let some more tests ignore expected output on stderr.

2008-06-10 15:04:14 +00:00

ScalarRepl

Fix PR2369 by making scalarrepl more careful about promoting

2008-06-22 17:46:21 +00:00

SCCP

Fix PR2358 by resolving calls with undef arguments to overdefined.

2008-05-24 03:59:33 +00:00

SimplifyCFG

Fix mishandling of the infinite loop case when merging two blocks. This

2008-07-13 22:23:11 +00:00

SimplifyLibCalls

lower calls to abs to inline code, PR2337

2008-06-09 08:26:51 +00:00

SRETPromotion

Let StructRetPromotion check if all if its users are really calls or invokesn,

2008-06-05 08:57:20 +00:00

StripSymbols

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

TailCallElim

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

TailDup

Revert 52223.

2008-06-12 20:55:39 +00:00