1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-22 04:22:57 +02:00
llvm-mirror/lib/Transforms/InstCombine
Philip Reames 4527f27ca2 Carry facts about nullness and undef across GC relocation
This change implements four basic optimizations:

    If a relocated value isn't used, it doesn't need to be relocated.
    If the value being relocated is null, relocation doesn't change that. (Technically, this might be collector specific. I don't know of one which it doesn't work for though.)
    If the value being relocated is undef, the relocation is meaningless.
    If the value being relocated was known nonnull, the relocated pointer also isn't null. (Since it points to the same source language object.)

I outlined other planned work in comments.

Differential Revision: http://reviews.llvm.org/D6600

llvm-svn: 224968
2014-12-29 23:27:30 +00:00
..
CMakeLists.txt Tidy up a bit. No functional change. 2013-04-05 21:20:12 +00:00
InstCombine.h InstCombine: Infer nuw for multiplies 2014-12-26 09:50:35 +00:00
InstCombineAddSub.cpp InstCombe: Infer nsw for multiplies 2014-12-26 09:10:14 +00:00
InstCombineAndOrXor.cpp InstCombe: Infer nsw for multiplies 2014-12-26 09:10:14 +00:00
InstCombineCalls.cpp Carry facts about nullness and undef across GC relocation 2014-12-29 23:27:30 +00:00
InstCombineCasts.cpp More code format fix from r224133, NFC 2014-12-12 18:48:37 +00:00
InstCombineCompares.cpp Removed extra line from a comment to test first commit. NFC. 2014-11-28 10:38:18 +00:00
InstCombineLoadStoreAlloca.cpp Loading from null is valid outside of addrspace 0 2014-12-29 22:46:21 +00:00
InstCombineMulDivRem.cpp InstCombine: Infer nuw for multiplies 2014-12-26 09:50:35 +00:00
InstCombinePHI.cpp Update SetVector to rely on the underlying set's insert to return a pair<iterator, bool> 2014-11-19 07:49:26 +00:00
InstCombineSelect.cpp InstCombine: Squash an icmp+select into bitwise arithmetic 2014-12-20 04:45:35 +00:00
InstCombineShifts.cpp Make use of @llvm.assume in ValueTracking (computeKnownBits, etc.) 2014-09-07 18:57:58 +00:00
InstCombineSimplifyDemanded.cpp Add additional patterns for @llvm.assume in ValueTracking 2014-09-07 19:21:07 +00:00
InstCombineVectorOps.cpp fixed some typos 2014-07-07 22:13:58 +00:00
InstCombineWorklist.h Canonicalize header guards into a common format. 2014-08-13 16:26:38 +00:00
InstructionCombining.cpp Reapply: [InstCombine] Fix visitSwitchInst to use right operand types for sub cstexpr 2014-12-19 17:12:35 +00:00
LLVMBuild.txt LLVMBuild: Remove trailing newline, which irked me. 2011-12-12 19:48:00 +00:00
Makefile