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

243 Commits

Author SHA1 Message Date
Devang Patel
c1431e6e84 Consider debug info intrinsics pointing to null value as dead instructions. 
llvm-svn: 127922
 2011-03-18 23:28:02 +00:00
Devang Patel
aad34d882d Try to not lose variable's debug info during instcombine. 
This is done by lowering dbg.declare intrinsic into dbg.value intrinsic.
Radar 9143931.

llvm-svn: 127834
 2011-03-17 22:18:16 +00:00
Devang Patel
8c0b16b0aa Refactor into a separate utility function. 
llvm-svn: 127832
 2011-03-17 21:58:19 +00:00
Jakob Stoklund Olesen
e2017b6f2e DenseMap<uintptr_t,...> doesn't allow all values as keys. 
Avoid colliding with the sentinels, hopefully unbreaking
llvm-gcc-x86_64-linux-selfhost.

llvm-svn: 126982
 2011-03-04 02:48:56 +00:00
Duncan Sands
ecbbf0825b If the phi node was used by an unreachable instruction that ends up using 
itself without going via a phi node then we could return false here in
spite of making a change.  Also, tweak the comment because this method
can (and always could) return true without deleting the original phi node.
For example, if the phi node was used by a read-only invoke instruction
which is used by another phi node phi2 which is only used by and only uses
the invoke, then phi2 would be deleted but not the invoke instruction and
not the original phi node.

llvm-svn: 126129
 2011-02-21 17:32:05 +00:00
Duncan Sands
6dcd49bc2b Simplify RecursivelyDeleteDeadPHINode. The only functionality change 
should be that if the phi is used by a side-effect free instruction with
no uses then the phi and the instruction now get zapped (checked by the
unittest).

llvm-svn: 126124
 2011-02-21 16:27:36 +00:00
Nick Lewycky
183c24c51b Make RecursivelyDeleteDeadPHINode delete a phi node that has no users and add a 
test for that. With this change, test/CodeGen/X86/codegen-dce.ll no longer finds
any instructions to DCE, so delete the test.

Also renamed J and JP to I and IP in RecursivelyDeleteDeadPHINode.

llvm-svn: 126088
 2011-02-20 18:05:56 +00:00
Nick Lewycky
c8a1569950 Teach RecursivelyDeleteDeadPHINodes to handle multiple self-references. Patch 
by Andrew Clinton!

llvm-svn: 126077
 2011-02-20 08:38:20 +00:00
Cameron Zwarich
84986b298a Make more passes preserve dominators (or state that they preserve dominators if 
they all ready do). This removes two dominator recomputations prior to isel,
which is a 1% improvement in total llc time for 403.gcc.

The only potentially suspect thing is making GCStrategy recompute dominators if
it used a custom lowering strategy.

llvm-svn: 123064
 2011-01-08 17:01:52 +00:00
Jay Foad
89afb43b1e Remove all uses of the "ugly" method BranchInst::setUnconditionalDest(). 
llvm-svn: 123025
 2011-01-07 20:25:56 +00:00
Benjamin Kramer
570dd787a6 Make a bunch of symbols internal. 
llvm-svn: 122642
 2010-12-30 22:34:44 +00:00
Chris Lattner
d729d0dcdb don't lose TD info 
llvm-svn: 122556
 2010-12-25 20:52:04 +00:00
Chris Lattner
6fcd32e7d7 Move getOrEnforceKnownAlignment out of instcombine into Transforms/Utils. 
llvm-svn: 122554
 2010-12-25 20:37:57 +00:00
Chris Lattner
b438ef236c remove the pointless check of MemoryUseIntrinsic from 
is trivially dead, since these have side effects.  This makes the
(misnamed) MemoryUseIntrinsic class dead, so remove it.

llvm-svn: 120382
 2010-11-30 02:03:47 +00:00
Duncan Sands
ba0b22c785 Have RemovePredecessorAndSimplify you SimplifyInstruction 
rather than hasConstantValue.

llvm-svn: 119457
 2010-11-17 04:12:05 +00:00
Dan Gohman
4a63fad976 Teach SimplifyCFG how to simplify indirectbr instructions. 
- Eliminate redundant successors.
 - Convert an indirectbr with one successor into a direct branch.

Also, generalize SimplifyCFG to be able to be run on a function entry block.
It knows quite a few simplifications which are applicable to the entry
block, and it only needs a few checks to avoid trouble with the entry block.

llvm-svn: 111060
 2010-08-14 00:29:42 +00:00
Chris Lattner
e41ab07c61 make various clients of ReplaceAndSimplifyAllUses tolerate 
it *changing* the things it replaces, not just causing them
to drop to null.  There is no functionality change yet, but 
this is required for a subsequent patch.

llvm-svn: 108414
 2010-07-15 06:06:04 +00:00
Gabor Greif
d993402df3 cache dereferenced iterators 
llvm-svn: 108132
 2010-07-12 10:49:54 +00:00
Dan Gohman
826bdf8c10 Move FindAvailableLoadedValue isSafeToLoadUnconditionally out of 
lib/Transforms/Utils and into lib/Analysis so that Analysis passes
can use them.

llvm-svn: 104949
 2010-05-28 16:19:17 +00:00
Duncan Sands
19d0b47b1f There are two ways of checking for a given type, for example isa<PointerType>(T) 
and T->isPointerTy().  Convert most instances of the first form to the second form.
Requested by Chris.

llvm-svn: 96344
 2010-02-16 11:11:14 +00:00
Chris Lattner
6fbfe5897c fix PR6305 by handling BlockAddress in a helper function 
called by jump threading.

llvm-svn: 96263
 2010-02-15 20:47:49 +00:00
Bob Wilson
f65ba356e1 Fix pr6198 by moving the isSized() check to an outer conditional. 
The testcase from pr6198 does not crash for me -- I don't know what's up with
that -- so I'm not adding it to the tests.

llvm-svn: 94984
 2010-02-01 17:41:44 +00:00
Bob Wilson
56600a15ad Check alignment of loads when deciding whether it is safe to execute them 
unconditionally.  Besides checking the offset, also check that the underlying
object is aligned as much as the load itself.

llvm-svn: 94875
 2010-01-30 04:42:39 +00:00
Bob Wilson
34e10c2218 Use uint64_t instead of unsigned for offsets and sizes. 
llvm-svn: 94835
 2010-01-29 20:34:28 +00:00
Bob Wilson
7c42b9d51e Improve isSafeToLoadUnconditionally to recognize that GEPs with constant 
indices are safe if the result is known to be within the bounds of the
underlying object.

llvm-svn: 94829
 2010-01-29 19:19:08 +00:00
Victor Hernandez
1df65186d1 DbgInfoIntrinsics no longer appear in an instruction's use list; so clean up looking for them in use iterations and remove OnlyUsedByDbgInfoIntrinsics() 
llvm-svn: 94111
 2010-01-21 23:05:53 +00:00
Chris Lattner
7c743f2c74 add a helper function. 
llvm-svn: 93251
 2010-01-12 19:40:54 +00:00
Dan Gohman
c3c031bb37 Nick Lewycky pointed out that this code makes changes unconditionally. 
llvm-svn: 92739
 2010-01-05 17:50:58 +00:00
Dan Gohman
28943873e6 Use do+while instead of while for loops which obviously have a 
non-zero trip count. Use SmallVector's pop_back_val().

llvm-svn: 92734
 2010-01-05 16:27:25 +00:00
Dan Gohman
cb99fe9839 Make RecursivelyDeleteTriviallyDeadInstructions, 
RecursivelyDeleteDeadPHINode, and DeleteDeadPHIs return a flag
indicating whether they made any changes.

llvm-svn: 92732
 2010-01-05 15:45:31 +00:00
David Greene
084b0dde9d Change errs() to dbgs(). 
llvm-svn: 92606
 2010-01-05 01:26:57 +00:00
Chris Lattner
22e13ba4e5 prune #includes. 
llvm-svn: 92260
 2009-12-29 09:12:29 +00:00
Jim Grosbach
d831ef4945 Move EliminateDuplicatePHINodes() from SimplifyCFG.cpp to Local.cpp 
llvm-svn: 90324
 2009-12-02 17:06:45 +00:00
Duncan Sands
ba61fed5d3 Don't trivially delete unused calls to llvm.invariant.start. This allows 
llvm.invariant.start to be used without necessarily being paired with a call
to llvm.invariant.end.  If you run the entire optimization pipeline then such
calls are in fact deleted (adce does it), but that's actually a good thing since
we probably do want them to be zapped late in the game.  There should really be
an integration test that checks that the llvm.invariant.start call lasts long
enough that all passes that do interesting things with it get to do their stuff
before it is deleted.  But since no passes do anything interesting with it yet
this will have to wait for later.

llvm-svn: 86840
 2009-11-11 15:34:13 +00:00
Chris Lattner
852d6d64ff move some generally useful functions out of jump threading 
into libanalysis and transformutils.

llvm-svn: 86735
 2009-11-10 22:26:15 +00:00
Chris Lattner
cbd18fc93d refactor TryToSimplifyUncondBranchFromEmptyBlock out of SimplifyCFG. 
llvm-svn: 86666
 2009-11-10 05:59:26 +00:00
Chris Lattner
5a3832496a remove a isFreeCall check: it is a callinst that can write to memory already. 
llvm-svn: 85863
 2009-11-03 05:33:46 +00:00
Chris Lattner
54a4b84012 constant fold indirectbr(blockaddress(%bb)) -> br label %bb. 
llvm-svn: 85704
 2009-11-01 03:40:38 +00:00
Victor Hernandez
f390e04a47 Rename MallocFreeHelper as MemoryBuiltins 
llvm-svn: 85286
 2009-10-27 20:05:49 +00:00
Victor Hernandez
762195bd01 Rename MallocHelper as MallocFreeHelper, since it now also identifies calls to free() 
llvm-svn: 85181
 2009-10-26 23:58:56 +00:00
Victor Hernandez
de5ad42aa1 Remove FreeInst. 
Remove LowerAllocations pass.
Update some more passes to treate free calls just like they were treating FreeInst.

llvm-svn: 85176
 2009-10-26 23:43:48 +00:00
Victor Hernandez
e297149e26 Auto-upgrade free instructions to calls to the builtin free function. 
Update all analysis passes and transforms to treat free calls just like FreeInst.
Remove RaiseAllocations and all its tests since FreeInst no longer needs to be raised.

llvm-svn: 84987
 2009-10-24 04:23:03 +00:00
Andreas Neustifter
f8cb758ba8 Preserve ProfileInfo during CodeGenPrepare. 
llvm-svn: 82034
 2009-09-16 09:26:52 +00:00
Owen Anderson
b292b8ce70 Move more code back to 2.5 APIs. 
llvm-svn: 77635
 2009-07-30 23:03:37 +00:00
Owen Anderson
47db941fd3 Get rid of the Pass+Context magic. 
llvm-svn: 76702
 2009-07-22 00:24:57 +00:00
Owen Anderson
1e5f00e7a7 This started as a small change, I swear. Unfortunately, lots of things call the [I|F]CmpInst constructors. Who knew!? 
llvm-svn: 75200
 2009-07-09 23:48:35 +00:00
Owen Anderson
38264b1554 "LLVMContext* " --> "LLVMContext *" 
llvm-svn: 74878
 2009-07-06 23:00:19 +00:00
Owen Anderson
e70b637033 More LLVMContext-ification. 
llvm-svn: 74807
 2009-07-05 22:41:43 +00:00
Devang Patel
0f2eb5b9f7 Remove unused routines. 
llvm-svn: 74351
 2009-06-26 22:53:22 +00:00
Chris Lattner
945d08d76f Generalize instcombine's isSafeToLoadUnconditionally() function 
to ignore readonly calls, and factor it out of instcombine so
that it can be used by other passes.  Patch by Frits van Bommel!

llvm-svn: 73506
 2009-06-16 17:23:12 +00:00