mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-05-10 03:16:07 +00:00
Code Issues Projects Releases Wiki Activity
106,079 Commits 1,258 Branches 288 Tags
Commit Graph

7993 Commits

Author SHA1 Message Date
Chris Lattner
321c58fc41 use the valuetracking isPowerOfTwo function, which is more powerful than checking 
for a constant directly.  Thanks to Duncan for pointing this out.

llvm-svn: 131885
 2011-05-23 00:09:55 +00:00
Chris Lattner
83791ced7b Teach valuetracking that byval arguments with a specified alignment are 
aligned.

Teach memcpyopt to not give up all hope when confonted with an underaligned
memcpy feeding an overaligned byval.  If the *source* of the memcpy can be
determined to be adequeately aligned, or if it can be forced to be, we can
eliminate the memcpy.

This addresses PR9794.  We now compile the example into:

define i32 @f(%struct.p* nocapture byval align 8 %q) nounwind ssp {
entry:
  %call = call i32 @g(%struct.p* byval align 8 %q) nounwind
  ret i32 %call
}

in both x86-64 and x86-32 mode.  We still don't get a tailcall though,
because tailcalls apparently can't handle byval.

llvm-svn: 131884
 2011-05-23 00:03:39 +00:00
Chris Lattner
162dfc3e6b add some random notes. 
llvm-svn: 131862
 2011-05-22 18:26:48 +00:00
Chris Lattner
7c99f19d9f 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

llvm-svn: 131860
 2011-05-22 18:18:41 +00:00
Chris Lattner
c4ca7ab7e7 Fix PR9815: I was trying to get out of "generating code and then 
failing to form a memset, then having to delete it" but my approximation
isn't safe for self recurrent loops.  Instead of doign a hack, just
do it the right way.

llvm-svn: 131858
 2011-05-22 17:39:56 +00:00
Frits van Bommel
ad964559ef 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. 
I also changed -simplifycfg, -jump-threading and -codegenprepare to use this to produce slightly better code without any extra cleanup passes (AFAICT this was the only place in -simplifycfg where now-dead conditions of replaced terminators weren't being cleaned up). The only other user of this function is -sccp, but I didn't read that thoroughly enough to figure out whether it might be holding pointers to instructions that could be deleted by this.

llvm-svn: 131855
 2011-05-22 16:24:18 +00:00
Chris Lattner
1a1acc2191 fix PR9856, an incorrectly conservative assertion: a global can be 
"stored once" even if its address is compared.

llvm-svn: 131849
 2011-05-22 07:15:13 +00:00
Chris Lattner
f0d59072de fix PR9841 by having GVN not process dead loads. This was 
causing it to get into infinite loops when it would widen a 
load (which can necessarily leave around dead loads).

llvm-svn: 131847
 2011-05-22 07:03:34 +00:00
Nick Lewycky
a68ec83b36 Teach the inliner to emit llvm.lifetime.start/end, to scope the local variables 
of the inlinee to the code representing the original function.

llvm-svn: 131838
 2011-05-22 05:22:10 +00:00
Eli Friedman
3de2ddc578 PR7952: Make isa<> use the same logic as cast<>, so that they both work 
consistently.

llvm-svn: 131803
 2011-05-21 19:13:10 +00:00
Benjamin Kramer
fda5dc4968 Revert "InstCombine: Turn mul.with.overflow(X, 2) into the cheaper add.with.overflow(X, X)" 
It's better to do this in codegen, mul.with.overflow(X, 2) is more canonical because it has only one use on "X".

llvm-svn: 131798
 2011-05-21 18:31:42 +00:00
Benjamin Kramer
691731eb9c InstCombine: Turn mul.with.overflow(X, 2) into the cheaper add.with.overflow(X, X) 
llvm-svn: 131789
 2011-05-21 09:22:06 +00:00
Andrew Trick
f44aadf0fd indvars: Prototyping Sign/ZeroExtend elimination without canonical IVs. 
No functionality enabled by default. Use -disable-iv-rewrite.
Extended IVUsers to keep track of the phi that represents the users' IV.
Added the WidenIV transform to replace a narrow IV with a wide IV
by doing a one-for-one replacement of IV users instead of expanding the
SCEV expressions. [sz]exts are removed and truncs are inserted.

llvm-svn: 131744
 2011-05-20 18:25:42 +00:00
Andrew Trick
b75279cbbd indvars: minor cleanup in preparation for sign/zero extend elimination. 
llvm-svn: 131716
 2011-05-20 03:37:48 +00:00
Evan Cheng
e8d2e9eb35 Revert r131664 and fix it in instcombine instead. rdar://9467055 
llvm-svn: 131708
 2011-05-20 00:54:37 +00:00
Devang Patel
1407fb4bbe Reapply r131605. This time with a fix, which is to use NoFolder. 
llvm-svn: 131673
 2011-05-19 20:52:46 +00:00
Evan Cheng
dc867ae1fc Add comment. 
llvm-svn: 131659
 2011-05-19 18:18:39 +00:00
Rafael Espindola
964602d7ba revert 131605 to fix PR9946. 
llvm-svn: 131620
 2011-05-19 02:26:30 +00:00
Eli Friedman
6efb64ea8e Make the demanded bits/elements optimizations preserve debug line information. 
I'm not sure this is quite ideal, but I can't really think of any better way to do it.

llvm-svn: 131616
 2011-05-19 01:20:42 +00:00
Devang Patel
3015a54813 Use IRBuilder. 
llvm-svn: 131609
 2011-05-19 00:13:33 +00:00
Devang Patel
31458a0002 Use IRBuilder while simplifying unreachable. 
llvm-svn: 131607
 2011-05-19 00:09:21 +00:00
Devang Patel
4b13f39b77 Use IRBuilder while simplifying conditional branch. 
llvm-svn: 131605
 2011-05-18 23:59:51 +00:00
Eli Friedman
41e509a33d More instcombine cleanup, towards improving debug line info. 
llvm-svn: 131604
 2011-05-18 23:58:37 +00:00
Devang Patel
7de6c4bf75 Use IRBuilder while simplifying branch. 
llvm-svn: 131598
 2011-05-18 23:18:47 +00:00
Eli Friedman
1754a25977 More instcombine simplifications towards better debug locations. 
llvm-svn: 131596
 2011-05-18 23:11:30 +00:00
Devang Patel
dd14e0f7fa Use IRBuilder while simplifying return instruction. 
llvm-svn: 131580
 2011-05-18 21:33:11 +00:00
Dan Gohman
3268e4d692 When forming an ICmpZero LSRUse, normalize the non-IV operand 
of the comparison, so that the resulting expression is fully
normalized. This fixes PR9939.

llvm-svn: 131576
 2011-05-18 21:02:18 +00:00
Devang Patel
583805530c Spread use of IRBuilder even more. 
llvm-svn: 131571
 2011-05-18 20:53:17 +00:00
Devang Patel
a7ec47d23c Use IRBuilder while simplifying switch instruction. 
llvm-svn: 131566
 2011-05-18 20:35:38 +00:00
Devang Patel
0b373dca1f Use IRBuilder while simplifying unwind. 
llvm-svn: 131561
 2011-05-18 20:01:18 +00:00
Eli Friedman
49346010f8 More instcombine cleanup aimed towards improving debug line info. 
llvm-svn: 131559
 2011-05-18 19:57:14 +00:00
Devang Patel
2c2ea226b7 Use IRBuilder while simplifying terminator. 
llvm-svn: 131552
 2011-05-18 18:43:31 +00:00
Devang Patel
767f6930bc Use IRBuilder while simplifying unconditional branch. 
llvm-svn: 131551
 2011-05-18 18:28:48 +00:00
Devang Patel
5c810ce4a3 Use IRBuilder while folding two entry PHINode. 
llvm-svn: 131548
 2011-05-18 18:16:44 +00:00
Eli Friedman
2fd66441c6 Switch more inst insertion in instcombine to IRBuilder. 
llvm-svn: 131547
 2011-05-18 18:10:28 +00:00
Devang Patel
15ad6761da Set up IRBuilder for use during simplification. 
llvm-svn: 131545
 2011-05-18 18:01:27 +00:00
Eli Friedman
0b43b9ee98 Switch more inst insertion in instcombine to IRBuilder. 
llvm-svn: 131544
 2011-05-18 17:58:37 +00:00
Matt Beaumont-Gay
8fa6ebf975 fix typo 
llvm-svn: 131543
 2011-05-18 17:37:10 +00:00
Eli Friedman
cde9c1628c Switch inst insertion in instcombine transform to IRBuilder. 
llvm-svn: 131542
 2011-05-18 17:31:55 +00:00
Devang Patel
1fabbe921b Use IRBuiler while constant folding terminator. 
llvm-svn: 131541
 2011-05-18 17:26:46 +00:00
Stuart Hastings
728f6260b9 Fix inelegant initialization. 
llvm-svn: 131538
 2011-05-18 15:54:26 +00:00
Duncan Sands
3d9407f4eb Revert commit 131534 since it seems to have broken several buildbots. 
Original log entry:
Refactor getActionType and getTypeToTransformTo ; place all of the 'decision'
code in one place.

llvm-svn: 131536
 2011-05-18 14:57:56 +00:00
Nadav Rotem
c5c27ede55 Refactor getActionType and getTypeToTransformTo ; place all of the 'decision' 
code in one place.

llvm-svn: 131534
 2011-05-18 12:26:38 +00:00
Eli Friedman
96254a0d53 Start trying to make InstCombine preserve more debug info. The idea here is to set the debug location on the IRBuilder, which will be then right location in most cases. This should magically give many transformations debug locations, and fixing places which are missing a debug location will usually just means changing the code creating it to use the IRBuilder. 
As an example, the change to InstCombineCalls catches a common case where a call to a bitcast of a function is rewritten.

Chris, does this approach look reasonable?

llvm-svn: 131516
 2011-05-18 01:28:27 +00:00
Eli Friedman
b9ed18f2cb Use ReplaceInstUsesWith instead of replaceAllUsesWith where appropriate in instcombine. 
llvm-svn: 131512
 2011-05-18 00:32:01 +00:00
Devang Patel
b849cd511b Preseve line numbers while simplifying CFG. 
llvm-svn: 131508
 2011-05-17 23:29:05 +00:00
Bill Wendling
0671ba8448 Conditionalize the format of the GCOV files by target type. Darwin uses the 4.2 
format.

llvm-svn: 131503
 2011-05-17 23:05:13 +00:00
Stuart Hastings
5bd18b6638 X86 pmovsx/pmovzx ignore the upper half of their inputs. 
rdar://problem/6945110

llvm-svn: 131493
 2011-05-17 22:13:31 +00:00
Devang Patel
341b38c22a Preserve line number information. 
llvm-svn: 131482
 2011-05-17 20:00:02 +00:00
Devang Patel
c5933f2418 Set debug loc for new load instruction. 
llvm-svn: 131481
 2011-05-17 19:43:38 +00:00