2016-10-15 17:14:40 +00:00
|
|
|
From 7801978ec1f3637fcda1b564048ebc732bf586af Mon Sep 17 00:00:00 2001
|
|
|
|
From: Simonas Kazlauskas <git@kazlauskas.me>
|
|
|
|
Date: Fri, 16 Sep 2016 00:32:20 +0300
|
2016-10-18 04:19:09 +00:00
|
|
|
Subject: [rust-lang/llvm#51] Backport rL281650
|
2016-10-15 17:14:40 +00:00
|
|
|
|
|
|
|
---
|
|
|
|
lib/Transforms/InstCombine/InstCombineCompares.cpp | 2 +-
|
|
|
|
test/Transforms/InstCombine/indexed-gep-compares.ll | 20 ++++++++++++++++++++
|
|
|
|
2 files changed, 21 insertions(+), 1 deletion(-)
|
|
|
|
|
|
|
|
diff --git a/lib/Transforms/InstCombine/InstCombineCompares.cpp b/lib/Transforms/InstCombine/InstCombineCompares.cpp
|
|
|
|
index bfd73f4bbac5..961497fe3c2d 100644
|
|
|
|
--- a/lib/Transforms/InstCombine/InstCombineCompares.cpp
|
|
|
|
+++ b/lib/Transforms/InstCombine/InstCombineCompares.cpp
|
|
|
|
@@ -634,7 +634,7 @@ static bool canRewriteGEPAsOffset(Value *Start, Value *Base,
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!isa<IntToPtrInst>(V) && !isa<PtrToIntInst>(V) &&
|
|
|
|
- !isa<GEPOperator>(V) && !isa<PHINode>(V))
|
|
|
|
+ !isa<GetElementPtrInst>(V) && !isa<PHINode>(V))
|
|
|
|
// We've found some value that we can't explore which is different from
|
|
|
|
// the base. Therefore we can't do this transformation.
|
|
|
|
return false;
|
|
|
|
diff --git a/test/Transforms/InstCombine/indexed-gep-compares.ll b/test/Transforms/InstCombine/indexed-gep-compares.ll
|
|
|
|
index 495881549e25..64dff2712976 100644
|
|
|
|
--- a/test/Transforms/InstCombine/indexed-gep-compares.ll
|
|
|
|
+++ b/test/Transforms/InstCombine/indexed-gep-compares.ll
|
|
|
|
@@ -167,4 +167,24 @@ lpad:
|
|
|
|
; CHECK: ret i32* %[[PTR]]
|
|
|
|
}
|
|
|
|
|
|
|
|
+
|
|
|
|
+@pr30402 = constant i64 3
|
|
|
|
+define i1 @test7() {
|
|
|
|
+entry:
|
|
|
|
+ br label %bb7
|
|
|
|
+
|
|
|
|
+bb7: ; preds = %bb10, %entry-block
|
|
|
|
+ %phi = phi i64* [ @pr30402, %entry ], [ getelementptr inbounds (i64, i64* @pr30402, i32 1), %bb7 ]
|
|
|
|
+ %cmp = icmp eq i64* %phi, getelementptr inbounds (i64, i64* @pr30402, i32 1)
|
|
|
|
+ br i1 %cmp, label %bb10, label %bb7
|
|
|
|
+
|
|
|
|
+bb10:
|
|
|
|
+ ret i1 %cmp
|
|
|
|
+}
|
|
|
|
+; CHECK-LABEL: @test7(
|
|
|
|
+; CHECK: %[[phi:.*]] = phi i64* [ @pr30402, %entry ], [ getelementptr inbounds (i64, i64* @pr30402, i32 1), %bb7 ]
|
|
|
|
+; CHECK: %[[cmp:.*]] = icmp eq i64* %[[phi]], getelementptr inbounds (i64, i64* @pr30402, i32 1)
|
|
|
|
+; CHECK: ret i1 %[[cmp]]
|
|
|
|
+
|
|
|
|
+
|
|
|
|
declare i32 @__gxx_personality_v0(...)
|
|
|
|
--
|
|
|
|
2.7.4
|
|
|
|
|