llvm-6502/Transforms at 1ec11fb8b502971071a57b8b2de129f86bd41de0 - llvm-6502 - Applefritter: Git

6502/llvm-6502

mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-08-10 18:26:02 +00:00

Files

History

Chris Lattner 1add46ddfa Carve out a place in instcombine to put transformations which work knowing that their

result is non-zero.  Implement an example optimization (PR9814), which allows us to
transform:
  A / ((1 << B) >>u 2)
into:
  A >>u (B-2)

which we compile into:

_divu3:                                 ## @divu3
	leal	-2(%rsi), %ecx
	shrl	%cl, %edi
	movl	%edi, %eax
	ret

instead of:

_divu3:                                 ## @divu3
	movb	%sil, %cl
	movl	$1, %esi
	shll	%cl, %esi
	shrl	$2, %esi
	movl	%edi, %eax
	xorl	%edx, %edx
	divl	%esi, %eax
	ret



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

2011-05-22 18:18:41 +00:00

..

…

ArgumentPromotion

fix PR8932, a case where arg promotion could infinitely promote.

2011-01-16 08:09:24 +00:00

…

…

…

Roll r127459 back in:

2011-03-11 21:52:04 +00:00

Don't merge two constants if we care about the address of both.

2011-01-16 17:05:09 +00:00

Fix a ton of comment typos found by codespell. Patch by

2011-04-15 05:18:47 +00:00

CorrelatedValuePropagation

Test for lazy value info's ability to prove the absense of NULLs in pointers.

2011-01-16 21:57:20 +00:00

Fix grammar in test.

2011-05-22 01:16:00 +00:00

DeadStoreElimination

* The DSE code that tested for overlapping needed to take into account the fact

2011-03-30 21:37:19 +00:00

Duncan deftly points out that readnone functions aren't

2011-01-03 23:38:13 +00:00

Make ModRefBehavior a lattice. Use this to clean up AliasAnalysis

2010-11-10 01:02:18 +00:00

…

fix PR9856, an incorrectly conservative assertion: a global can be

2011-05-22 07:15:13 +00:00

fix PR9841 by having GVN not process dead loads. This was

2011-05-22 07:03:34 +00:00

Fixes PR9730: indvars: An asserting value handle still pointed to this value

2011-04-27 23:00:03 +00:00

Commit test change, forgotten as part of r131838.

2011-05-22 05:31:47 +00:00

Carve out a place in instcombine to put transformations which work knowing that their

2011-05-22 18:18:41 +00:00

The comparision "max(x,y)==x" is equivalent to "x>=y". Since the max is

2011-05-07 16:56:49 +00:00

Add test for r127138.

2011-03-07 21:28:14 +00:00

…

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

Do not add PHIs with no users when creating LCSSA form. Patch by Andrew Clinton.

2011-03-15 07:41:25 +00:00

PR9604; try to deal with RAUW updates correctly in the AST. I'm not convinced

2011-04-09 06:55:46 +00:00

Make LoopDeletion work on loops with multiple edges, as long as the incoming

2011-02-22 22:25:39 +00:00

Fix PR9815: I was trying to get out of "generating code and then

2011-05-22 17:39:56 +00:00

fix PR9523, a crash in looprotate on a non-canonical loop made out of indirectbr.

2011-04-09 07:25:58 +00:00

Avoid creating canonical induction variables for non-native types.

2011-03-18 16:50:32 +00:00

LoopStrengthReduce

When forming an ICmpZero LSRUse, normalize the non-IV operand

2011-05-18 21:02:18 +00:00

add a testcase for r125827

2011-02-18 05:05:01 +00:00

Factor code for testing whether replacing one value with another

2010-11-18 19:59:41 +00:00

…

…

…

…

…

Actually check memcpy lengths, instead of just commenting about

2011-01-21 22:07:57 +00:00

When removing a function from the function set and adding it to deferred, we

2011-02-09 06:32:02 +00:00

final step needed to resolve PR6627, which allows us to flatten the code down to

2011-04-28 18:15:47 +00:00

…

Fix reassociate to use a worklist instead of recursing when new

2011-04-12 00:11:56 +00:00

Fix PR9820: a read-only call differs from a load in that a load doesn't

2011-05-06 10:30:37 +00:00

Fix a ton of comment typos found by codespell. Patch by

2011-04-15 05:18:47 +00:00

Add a parameter to ConstantFoldTerminator() that callers can use to ask it to also clean up the condition of any conditional terminator it folds to be unconditional, if that turns the condition into dead code. This just means it calls RecursivelyDeleteTriviallyDeadInstructions() in strategic spots. It defaults to the old behavior.

2011-05-22 16:24:18 +00:00

SimplifyLibCalls

Preserve line number information while simplifying libcalls.

2011-03-09 21:27:52 +00:00

Make BasicAliasAnalysis a normal AliasAnalysis implementation which

2010-10-18 18:04:47 +00:00

…

Don't do tail calls in a function that call setjmp. The stack might be

2011-05-16 03:05:33 +00:00

Move few target-dependant tests to appropriate directories.

2011-05-06 18:24:46 +00:00