[PATCH] D13008: Remove handling of AddrSpaceCast in stripAndAccumulateInBoundsConstantOffsets

[Simon Cook via llvm-commits]

simoncook updated this revision to Diff 35350.
simoncook added a comment.

Added comment to test as per recommendation.

As I do not yet have commit access, could someone commit this on my behalf?


http://reviews.llvm.org/D13008

Files:
  lib/IR/Value.cpp
  test/Transforms/LoopUnswitch/2015-09-18-Addrspace.ll

Index: test/Transforms/LoopUnswitch/2015-09-18-Addrspace.ll
===================================================================
--- /dev/null
+++ test/Transforms/LoopUnswitch/2015-09-18-Addrspace.ll
@@ -0,0 +1,24 @@
+; RUN: opt < %s -loop-unswitch -disable-output
+
+; In cases where two address spaces do not have the same size pointer, the
+; input for the addrspacecast should not be used as a substitute for itself
+; when manipulating the pointer.
+
+target datalayout = "e-m:e-p:16:16-p1:32:16-i32:16-i64:16-n8:16"
+
+define void @foo() {
+entry:
+  br i1 undef, label %for.body.i, label %bar.exit
+
+for.body.i:                                       ; preds = %for.body.i, %entry
+  %arrayidx.i1 = getelementptr inbounds i16, i16* undef, i16 undef
+  %arrayidx.i = addrspacecast i16* %arrayidx.i1 to i16 addrspace(1)*
+  %0 = load i16, i16 addrspace(1)* %arrayidx.i, align 2
+  %cmp1.i = icmp eq i16 %0, 0
+  %cmp1.i.not = xor i1 %cmp1.i, true
+  %brmerge = or i1 %cmp1.i.not, false
+  br i1 %brmerge, label %bar.exit, label %for.body.i
+
+bar.exit:                                         ; preds = %for.body.i, %entry
+  ret void
+}
Index: lib/IR/Value.cpp
===================================================================
--- lib/IR/Value.cpp
+++ lib/IR/Value.cpp
@@ -490,8 +490,7 @@
         return V;
       Offset = GEPOffset;
       V = GEP->getPointerOperand();
-    } else if (Operator::getOpcode(V) == Instruction::BitCast ||
-               Operator::getOpcode(V) == Instruction::AddrSpaceCast) {
+    } else if (Operator::getOpcode(V) == Instruction::BitCast) {
       V = cast<Operator>(V)->getOperand(0);
     } else if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) {
       V = GA->getAliasee();


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D13008.35350.patch
Type: text/x-patch
Size: 1719 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150922/12d0aca1/attachment.bin>