summaryrefslogtreecommitdiffstats
path: root/llvm/lib
Commit message (Collapse)AuthorAgeFilesLines
* Commit missing files.Dale Johannesen2009-02-021-0/+14
| | | | llvm-svn: 63545
* inline SROA::ConvertToScalar, no functionality change.Chris Lattner2009-02-021-20/+14
| | | | llvm-svn: 63544
* More DebugLoc propagation.Dale Johannesen2009-02-021-109/+127
| | | | llvm-svn: 63543
* remove #if 0 code on Bill's request.Torok Edwin2009-02-021-4/+0
| | | | llvm-svn: 63542
* Remove trailing spaces.Duncan Sands2009-02-023-15/+15
| | | | llvm-svn: 63540
* DebugLoc propagation for int<->fp conversions.Dale Johannesen2009-02-021-74/+89
| | | | llvm-svn: 63537
* Refactor PerformPHIConstruction, no functionality changes.Evan Cheng2009-02-021-125/+165
| | | | llvm-svn: 63536
* Fix a bug which caused us to miscompile a couple of AdaChris Lattner2009-02-021-1/+6
| | | | | | tests. Thanks for the beautiful reduced testcase Duncan! llvm-svn: 63529
* Do not add redundant arguments in a method definition DIE.Devang Patel2009-02-021-11/+18
| | | | llvm-svn: 63527
* Duncan's patch. Further to 64382. Takes care of illegal types for shift amount.Sanjiv Gupta2009-02-022-0/+28
| | | | llvm-svn: 63523
* Made the common case of default address space directive as non-virtual for ↵Sanjiv Gupta2009-02-022-26/+22
| | | | | | performance reasons. Provide a single virtual interface for directives of all sizes in non-default address spaces. llvm-svn: 63521
* Fix a comment (bytes -> bits), reformat a commentDuncan Sands2009-02-021-29/+29
| | | | | | | and remove trailing whitespace. No functionality change. llvm-svn: 63511
* Fix an obvious thinko.Duncan Sands2009-02-021-1/+1
| | | | llvm-svn: 63510
* ADD / SUB / SMUL / UMUL with overflow second result top bits must be zero.Evan Cheng2009-02-021-0/+8
| | | | llvm-svn: 63509
* Add comment.Evan Cheng2009-02-021-0/+2
| | | | llvm-svn: 63506
* Teach LowerBRCOND to recognize (xor (setcc x), 1). The xor inverts the ↵Evan Cheng2009-02-021-0/+21
| | | | | | condition. It's normally transformed by the dag combiner, unless the condition is set by a arithmetic op with overflow. llvm-svn: 63505
* reject things like: zext <4 x i32> %tmp to i256Chris Lattner2009-02-021-0/+10
| | | | llvm-svn: 63504
* Fix PR3372Chris Lattner2009-02-021-2/+3
| | | | llvm-svn: 63501
* reduce indentation, (~XorCST->getValue()).isSignBit() -> isMaxSignedValue()Chris Lattner2009-02-021-20/+19
| | | | llvm-svn: 63500
* Preserve more SourceValue information.Mon P Wang2009-02-022-8/+18
| | | | llvm-svn: 63498
* Implement -mno-sse: if SSE is disabled on x86-64, don't store XMM on stack forTorok Edwin2009-02-013-5/+24
| | | | | | var-args, and don't allow FP return values llvm-svn: 63495
* Fix PR3453 and probably a bunch of other potentialDuncan Sands2009-02-014-23/+24
| | | | | | | | | crashes or wrong code with codegen of large integers: eliminate the legacy getIntegerVTBitMask and getIntegerVTSignBit methods, which returned their value as a uint64_t, so couldn't handle huge types. llvm-svn: 63494
* Forgot some more DebugLoc propagations.Bill Wendling2009-02-011-17/+22
| | | | llvm-svn: 63493
* Fix test failures causes by my previous commit.Owen Anderson2009-02-011-0/+1
| | | | llvm-svn: 63492
* Fix an issue in PHI construction that was exposed by GCC 4.2 producing a ↵Owen Anderson2009-02-011-40/+27
| | | | | | different set iteration order for the reg_iterator. llvm-svn: 63490
* Fix PR3423: Link llvm on ARM EABI machines. Patch by Robert Schuster.Evan Cheng2009-02-011-3/+3
| | | | llvm-svn: 63489
* DebugLoc propagation.Dale Johannesen2009-01-312-179/+233
| | | | llvm-svn: 63488
* Reinstate this optimization to fold icmp of xor when possible. Don't try toNick Lewycky2009-01-311-5/+50
| | | | | | | turn icmp eq a+x, b+x into icmp eq a, b if a+x or b+x has other uses. This may have been increasing register pressure leading to the bzip2 slowdown. llvm-svn: 63487
* DebugLoc propagation. Done with file.Dale Johannesen2009-01-311-45/+61
| | | | llvm-svn: 63486
* DebugLoc propagation. Done with file.Dale Johannesen2009-01-311-15/+23
| | | | llvm-svn: 63485
* Fix PR3452 (an infinite loop bootstrapping) by disabling the recentChris Lattner2009-01-311-10/+12
| | | | | | | | | | | improvements to the EvaluateInDifferentType code. This code works by just inserted a bunch of new code and then seeing if it is useful. Instcombine is not allowed to do this: it can only insert new code if it is useful, and only when it is converging to a more canonical fixed point. Now that we iterate when DCE makes progress, this causes an infinite loop when the code ends up not being used. llvm-svn: 63483
* Fix PR3401: when using large integers, the typeDuncan Sands2009-01-318-101/+100
| | | | | | | | | | | | | returned by getShiftAmountTy may be too small to hold shift values (it is an i8 on x86-32). Before and during type legalization, use a large but legal type for shift amounts: getPointerTy; afterwards use getShiftAmountTy, fixing up any shift amounts with a big type during operation legalization. Thanks to Dan for writing the original patch (which I shamelessly pillaged). llvm-svn: 63482
* now that all the pieces are in place, teach instcombine'sChris Lattner2009-01-311-2/+58
| | | | | | | | | | | | | | simplifydemandedbits to simplify instructions with *multiple uses* in contexts where it can get away with it. This allows it to simplify the code in multi-use-or.ll into a single 'add double'. This change is particularly interesting because it will cover up for some common codegen bugs with large integers created due to the recent SROA patch. When working on fixing those bugs, this should be disabled. llvm-svn: 63481
* simplify/clarify control flow and improve comments, no functionality change.Chris Lattner2009-01-311-13/+21
| | | | llvm-svn: 63480
* make some fairly meaty internal changes to how SimplifyDemandedBits works.Chris Lattner2009-01-311-206/+172
| | | | | | | | | | | | | Now, if it detects that "V" is the same as some other value, SimplifyDemandedBits returns the new value instead of RAUW'ing it immediately. This has two benefits: 1) simpler code in the recursive SimplifyDemandedBits routine. 2) it allows future fun stuff in instcombine where an operation has multiple uses and can be simplified in one context, but not all. #2 isn't implemented yet, this patch should have no functionality change. llvm-svn: 63479
* minor cleanupsChris Lattner2009-01-311-3/+3
| | | | llvm-svn: 63477
* make sure to set Changed=true when instcombine hacks on the code,Chris Lattner2009-01-311-5/+9
| | | | | | | not doing so prevents it from properly iterating and prevents it from deleting the entire body of dce-iterate.ll llvm-svn: 63476
* If unsafe FP optimization is not set, don't allow -(A-B) => B-A becauseMon P Wang2009-01-311-1/+2
| | | | | | when A==B, -0.0 != +0.0. llvm-svn: 63474
* Don't use DebugLoc::getUnknownLoc(). Default to something hopefully sensible.Bill Wendling2009-01-311-58/+55
| | | | llvm-svn: 63473
* Simplify and generalize the SROA "convert to scalar" transformation toChris Lattner2009-01-311-317/+174
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | be able to handle *ANY* alloca that is poked by loads and stores of bitcasts and GEPs with constant offsets. Before the code had a number of annoying limitations and caused it to miss cases such as storing into holes in structs and complex casts (as in bitfield-sroa) where we had unions of bitfields etc. This also handles a number of important cases that are exposed due to the ABI lowering stuff we do to pass stuff by value. One case that is pretty great is that we compile 2006-11-07-InvalidArrayPromote.ll into: define i32 @func(<4 x float> %v0, <4 x float> %v1) nounwind { %tmp10 = call <4 x i32> @llvm.x86.sse2.cvttps2dq(<4 x float> %v1) %tmp105 = bitcast <4 x i32> %tmp10 to i128 %tmp1056 = zext i128 %tmp105 to i256 %tmp.upgrd.43 = lshr i256 %tmp1056, 96 %tmp.upgrd.44 = trunc i256 %tmp.upgrd.43 to i32 ret i32 %tmp.upgrd.44 } which turns into: _func: subl $28, %esp cvttps2dq %xmm1, %xmm0 movaps %xmm0, (%esp) movl 12(%esp), %eax addl $28, %esp ret Which is pretty good code all things considering :). One effect of this is that SROA will start generating arbitrary bitwidth integers that are a multiple of 8 bits. In the case above, we got a 256 bit integer, but the codegen guys assure me that it can handle the simple and/or/shift/zext stuff that we're doing on these operations. This addresses rdar://6532315 llvm-svn: 63469
* Move CurDebugLoc into SelectionDAGLowering.Dale Johannesen2009-01-312-222/+233
| | | | llvm-svn: 63468
* back out my previous change, it exposes a latent bug. investigatingGabor Greif2009-01-311-5/+4
| | | | llvm-svn: 63463
* use precise accessorsGabor Greif2009-01-311-4/+5
| | | | llvm-svn: 63459
* Propagate debug info in LegalizeFloatTypes.Dale Johannesen2009-01-312-62/+74
| | | | | | Complete (modulo bugs). llvm-svn: 63458
* Propagate debug info. This file completeDale Johannesen2009-01-311-201/+255
| | | | | | (modulo bugs) llvm-svn: 63457
* Propagate debug info through MakeLibCall and aDale Johannesen2009-01-314-64/+81
| | | | | | couple of things that use it. llvm-svn: 63456
* More DebugLoc propagation.Bill Wendling2009-01-301-87/+120
| | | | llvm-svn: 63454
* More DebugLoc propagation.Bill Wendling2009-01-301-43/+62
| | | | llvm-svn: 63452
* More DebugLoc propagation in LOAD etc. methods.Bill Wendling2009-01-301-26/+42
| | | | llvm-svn: 63451
* More DebugLoc propagation in floating-point methods.Bill Wendling2009-01-301-27/+40
| | | | llvm-svn: 63446
OpenPOWER on IntegriCloud