[llvm] 6b5b651 - [InstCombine] add/move tests for ptr diff; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Fri Sep 11 07:39:18 PDT 2020
Author: Sanjay Patel
Date: 2020-09-11T10:39:09-04:00
New Revision: 6b5b6511a52276820d4a2e8529370a67cf0bd746
URL: https://github.com/llvm/llvm-project/commit/6b5b6511a52276820d4a2e8529370a67cf0bd746
DIFF: https://github.com/llvm/llvm-project/commit/6b5b6511a52276820d4a2e8529370a67cf0bd746.diff
LOG: [InstCombine] add/move tests for ptr diff; NFC
Added:
Modified:
llvm/test/Transforms/InstCombine/sub-gep.ll
llvm/test/Transforms/InstCombine/sub.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/InstCombine/sub-gep.ll b/llvm/test/Transforms/InstCombine/sub-gep.ll
index f31eeb46d882..ce9657433bb7 100644
--- a/llvm/test/Transforms/InstCombine/sub-gep.ll
+++ b/llvm/test/Transforms/InstCombine/sub-gep.ll
@@ -1,6 +1,8 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s
+target datalayout = "e-p:64:64:64-p1:16:16:16-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
+
define i64 @test_inbounds([0 x i32]* %base, i64 %idx) {
; CHECK-LABEL: @test_inbounds(
; CHECK-NEXT: [[P2_IDX:%.*]] = shl nsw i64 [[IDX:%.*]], 2
@@ -151,3 +153,187 @@ define i64 @test_inbounds_nuw_multi_index([0 x [2 x i32]]* %base, i64 %idx, i64
%d = sub nuw i64 %i2, %i1
ret i64 %d
}
+
+; rdar://7362831
+define i32 @test23(i8* %P, i64 %A){
+; CHECK-LABEL: @test23(
+; CHECK-NEXT: [[TMP1:%.*]] = trunc i64 [[A:%.*]] to i32
+; CHECK-NEXT: ret i32 [[TMP1]]
+;
+ %B = getelementptr inbounds i8, i8* %P, i64 %A
+ %C = ptrtoint i8* %B to i64
+ %D = trunc i64 %C to i32
+ %E = ptrtoint i8* %P to i64
+ %F = trunc i64 %E to i32
+ %G = sub i32 %D, %F
+ ret i32 %G
+}
+
+define i8 @test23_as1(i8 addrspace(1)* %P, i16 %A) {
+; CHECK-LABEL: @test23_as1(
+; CHECK-NEXT: [[TMP1:%.*]] = trunc i16 [[A:%.*]] to i8
+; CHECK-NEXT: ret i8 [[TMP1]]
+;
+ %B = getelementptr inbounds i8, i8 addrspace(1)* %P, i16 %A
+ %C = ptrtoint i8 addrspace(1)* %B to i16
+ %D = trunc i16 %C to i8
+ %E = ptrtoint i8 addrspace(1)* %P to i16
+ %F = trunc i16 %E to i8
+ %G = sub i8 %D, %F
+ ret i8 %G
+}
+
+define i64 @test24(i8* %P, i64 %A){
+; CHECK-LABEL: @test24(
+; CHECK-NEXT: ret i64 [[A:%.*]]
+;
+ %B = getelementptr inbounds i8, i8* %P, i64 %A
+ %C = ptrtoint i8* %B to i64
+ %E = ptrtoint i8* %P to i64
+ %G = sub i64 %C, %E
+ ret i64 %G
+}
+
+define i16 @test24_as1(i8 addrspace(1)* %P, i16 %A) {
+; CHECK-LABEL: @test24_as1(
+; CHECK-NEXT: ret i16 [[A:%.*]]
+;
+ %B = getelementptr inbounds i8, i8 addrspace(1)* %P, i16 %A
+ %C = ptrtoint i8 addrspace(1)* %B to i16
+ %E = ptrtoint i8 addrspace(1)* %P to i16
+ %G = sub i16 %C, %E
+ ret i16 %G
+}
+
+define i64 @test24a(i8* %P, i64 %A){
+; CHECK-LABEL: @test24a(
+; CHECK-NEXT: [[DIFF_NEG:%.*]] = sub i64 0, [[A:%.*]]
+; CHECK-NEXT: ret i64 [[DIFF_NEG]]
+;
+ %B = getelementptr inbounds i8, i8* %P, i64 %A
+ %C = ptrtoint i8* %B to i64
+ %E = ptrtoint i8* %P to i64
+ %G = sub i64 %E, %C
+ ret i64 %G
+}
+
+define i16 @test24a_as1(i8 addrspace(1)* %P, i16 %A) {
+; CHECK-LABEL: @test24a_as1(
+; CHECK-NEXT: [[DIFF_NEG:%.*]] = sub i16 0, [[A:%.*]]
+; CHECK-NEXT: ret i16 [[DIFF_NEG]]
+;
+ %B = getelementptr inbounds i8, i8 addrspace(1)* %P, i16 %A
+ %C = ptrtoint i8 addrspace(1)* %B to i16
+ %E = ptrtoint i8 addrspace(1)* %P to i16
+ %G = sub i16 %E, %C
+ ret i16 %G
+}
+
+ at Arr = external global [42 x i16]
+
+define i64 @test24b(i8* %P, i64 %A){
+; CHECK-LABEL: @test24b(
+; CHECK-NEXT: [[B_IDX:%.*]] = shl nsw i64 [[A:%.*]], 1
+; CHECK-NEXT: ret i64 [[B_IDX]]
+;
+ %B = getelementptr inbounds [42 x i16], [42 x i16]* @Arr, i64 0, i64 %A
+ %C = ptrtoint i16* %B to i64
+ %G = sub i64 %C, ptrtoint ([42 x i16]* @Arr to i64)
+ ret i64 %G
+}
+
+define i64 @test25(i8* %P, i64 %A){
+; CHECK-LABEL: @test25(
+; CHECK-NEXT: [[B_IDX:%.*]] = shl nsw i64 [[A:%.*]], 1
+; CHECK-NEXT: [[GEPDIFF:%.*]] = add i64 [[B_IDX]], -84
+; CHECK-NEXT: ret i64 [[GEPDIFF]]
+;
+ %B = getelementptr inbounds [42 x i16], [42 x i16]* @Arr, i64 0, i64 %A
+ %C = ptrtoint i16* %B to i64
+ %G = sub i64 %C, ptrtoint (i16* getelementptr ([42 x i16], [42 x i16]* @Arr, i64 1, i64 0) to i64)
+ ret i64 %G
+}
+
+ at Arr_as1 = external addrspace(1) global [42 x i16]
+
+define i16 @test25_as1(i8 addrspace(1)* %P, i64 %A) {
+; CHECK-LABEL: @test25_as1(
+; CHECK-NEXT: [[TMP1:%.*]] = trunc i64 [[A:%.*]] to i16
+; CHECK-NEXT: [[B_IDX:%.*]] = shl nsw i16 [[TMP1]], 1
+; CHECK-NEXT: [[GEPDIFF:%.*]] = add i16 [[B_IDX]], -84
+; CHECK-NEXT: ret i16 [[GEPDIFF]]
+;
+ %B = getelementptr inbounds [42 x i16], [42 x i16] addrspace(1)* @Arr_as1, i64 0, i64 %A
+ %C = ptrtoint i16 addrspace(1)* %B to i16
+ %G = sub i16 %C, ptrtoint (i16 addrspace(1)* getelementptr ([42 x i16], [42 x i16] addrspace(1)* @Arr_as1, i64 1, i64 0) to i16)
+ ret i16 %G
+}
+
+define i64 @test30(i8* %foo, i64 %i, i64 %j) {
+; CHECK-LABEL: @test30(
+; CHECK-NEXT: [[GEP1_IDX:%.*]] = shl nsw i64 [[I:%.*]], 2
+; CHECK-NEXT: [[GEPDIFF:%.*]] = sub i64 [[GEP1_IDX]], [[J:%.*]]
+; CHECK-NEXT: ret i64 [[GEPDIFF]]
+;
+ %bit = bitcast i8* %foo to i32*
+ %gep1 = getelementptr inbounds i32, i32* %bit, i64 %i
+ %gep2 = getelementptr inbounds i8, i8* %foo, i64 %j
+ %cast1 = ptrtoint i32* %gep1 to i64
+ %cast2 = ptrtoint i8* %gep2 to i64
+ %sub = sub i64 %cast1, %cast2
+ ret i64 %sub
+}
+
+define i16 @test30_as1(i8 addrspace(1)* %foo, i16 %i, i16 %j) {
+; CHECK-LABEL: @test30_as1(
+; CHECK-NEXT: [[GEP1_IDX:%.*]] = shl nsw i16 [[I:%.*]], 2
+; CHECK-NEXT: [[GEPDIFF:%.*]] = sub i16 [[GEP1_IDX]], [[J:%.*]]
+; CHECK-NEXT: ret i16 [[GEPDIFF]]
+;
+ %bit = bitcast i8 addrspace(1)* %foo to i32 addrspace(1)*
+ %gep1 = getelementptr inbounds i32, i32 addrspace(1)* %bit, i16 %i
+ %gep2 = getelementptr inbounds i8, i8 addrspace(1)* %foo, i16 %j
+ %cast1 = ptrtoint i32 addrspace(1)* %gep1 to i16
+ %cast2 = ptrtoint i8 addrspace(1)* %gep2 to i16
+ %sub = sub i16 %cast1, %cast2
+ ret i16 %sub
+}
+
+define i64 @gep_
diff _both_inbounds(i8* %foo, i64 %i, i64 %j) {
+; CHECK-LABEL: @gep_
diff _both_inbounds(
+; CHECK-NEXT: [[GEPDIFF:%.*]] = sub i64 [[I:%.*]], [[J:%.*]]
+; CHECK-NEXT: ret i64 [[GEPDIFF]]
+;
+ %gep1 = getelementptr inbounds i8, i8* %foo, i64 %i
+ %gep2 = getelementptr inbounds i8, i8* %foo, i64 %j
+ %cast1 = ptrtoint i8* %gep1 to i64
+ %cast2 = ptrtoint i8* %gep2 to i64
+ %sub = sub i64 %cast1, %cast2
+ ret i64 %sub
+}
+
+define i64 @gep_
diff _first_inbounds(i8* %foo, i64 %i, i64 %j) {
+; CHECK-LABEL: @gep_
diff _first_inbounds(
+; CHECK-NEXT: [[GEPDIFF:%.*]] = sub i64 [[I:%.*]], [[J:%.*]]
+; CHECK-NEXT: ret i64 [[GEPDIFF]]
+;
+ %gep1 = getelementptr inbounds i8, i8* %foo, i64 %i
+ %gep2 = getelementptr i8, i8* %foo, i64 %j
+ %cast1 = ptrtoint i8* %gep1 to i64
+ %cast2 = ptrtoint i8* %gep2 to i64
+ %sub = sub i64 %cast1, %cast2
+ ret i64 %sub
+}
+
+define i64 @gep_
diff _second_inbounds(i8* %foo, i64 %i, i64 %j) {
+; CHECK-LABEL: @gep_
diff _second_inbounds(
+; CHECK-NEXT: [[GEPDIFF:%.*]] = sub i64 [[I:%.*]], [[J:%.*]]
+; CHECK-NEXT: ret i64 [[GEPDIFF]]
+;
+ %gep1 = getelementptr i8, i8* %foo, i64 %i
+ %gep2 = getelementptr inbounds i8, i8* %foo, i64 %j
+ %cast1 = ptrtoint i8* %gep1 to i64
+ %cast2 = ptrtoint i8* %gep2 to i64
+ %sub = sub i64 %cast1, %cast2
+ ret i64 %sub
+}
diff --git a/llvm/test/Transforms/InstCombine/sub.ll b/llvm/test/Transforms/InstCombine/sub.ll
index 437d8f8c5c02..98d8a9e6b5ca 100644
--- a/llvm/test/Transforms/InstCombine/sub.ll
+++ b/llvm/test/Transforms/InstCombine/sub.ll
@@ -414,122 +414,6 @@ define zeroext i1 @test22(i32 %a, i32 %b) nounwind {
ret i1 %i5
}
-; rdar://7362831
-define i32 @test23(i8* %P, i64 %A){
-; CHECK-LABEL: @test23(
-; CHECK-NEXT: [[TMP1:%.*]] = trunc i64 [[A:%.*]] to i32
-; CHECK-NEXT: ret i32 [[TMP1]]
-;
- %B = getelementptr inbounds i8, i8* %P, i64 %A
- %C = ptrtoint i8* %B to i64
- %D = trunc i64 %C to i32
- %E = ptrtoint i8* %P to i64
- %F = trunc i64 %E to i32
- %G = sub i32 %D, %F
- ret i32 %G
-}
-
-define i8 @test23_as1(i8 addrspace(1)* %P, i16 %A) {
-; CHECK-LABEL: @test23_as1(
-; CHECK-NEXT: [[TMP1:%.*]] = trunc i16 [[A:%.*]] to i8
-; CHECK-NEXT: ret i8 [[TMP1]]
-;
- %B = getelementptr inbounds i8, i8 addrspace(1)* %P, i16 %A
- %C = ptrtoint i8 addrspace(1)* %B to i16
- %D = trunc i16 %C to i8
- %E = ptrtoint i8 addrspace(1)* %P to i16
- %F = trunc i16 %E to i8
- %G = sub i8 %D, %F
- ret i8 %G
-}
-
-define i64 @test24(i8* %P, i64 %A){
-; CHECK-LABEL: @test24(
-; CHECK-NEXT: ret i64 [[A:%.*]]
-;
- %B = getelementptr inbounds i8, i8* %P, i64 %A
- %C = ptrtoint i8* %B to i64
- %E = ptrtoint i8* %P to i64
- %G = sub i64 %C, %E
- ret i64 %G
-}
-
-define i16 @test24_as1(i8 addrspace(1)* %P, i16 %A) {
-; CHECK-LABEL: @test24_as1(
-; CHECK-NEXT: ret i16 [[A:%.*]]
-;
- %B = getelementptr inbounds i8, i8 addrspace(1)* %P, i16 %A
- %C = ptrtoint i8 addrspace(1)* %B to i16
- %E = ptrtoint i8 addrspace(1)* %P to i16
- %G = sub i16 %C, %E
- ret i16 %G
-}
-
-define i64 @test24a(i8* %P, i64 %A){
-; CHECK-LABEL: @test24a(
-; CHECK-NEXT: [[DIFF_NEG:%.*]] = sub i64 0, [[A:%.*]]
-; CHECK-NEXT: ret i64 [[DIFF_NEG]]
-;
- %B = getelementptr inbounds i8, i8* %P, i64 %A
- %C = ptrtoint i8* %B to i64
- %E = ptrtoint i8* %P to i64
- %G = sub i64 %E, %C
- ret i64 %G
-}
-
-define i16 @test24a_as1(i8 addrspace(1)* %P, i16 %A) {
-; CHECK-LABEL: @test24a_as1(
-; CHECK-NEXT: [[DIFF_NEG:%.*]] = sub i16 0, [[A:%.*]]
-; CHECK-NEXT: ret i16 [[DIFF_NEG]]
-;
- %B = getelementptr inbounds i8, i8 addrspace(1)* %P, i16 %A
- %C = ptrtoint i8 addrspace(1)* %B to i16
- %E = ptrtoint i8 addrspace(1)* %P to i16
- %G = sub i16 %E, %C
- ret i16 %G
-}
-
-
- at Arr = external global [42 x i16]
-
-define i64 @test24b(i8* %P, i64 %A){
-; CHECK-LABEL: @test24b(
-; CHECK-NEXT: [[B_IDX:%.*]] = shl nsw i64 [[A:%.*]], 1
-; CHECK-NEXT: ret i64 [[B_IDX]]
-;
- %B = getelementptr inbounds [42 x i16], [42 x i16]* @Arr, i64 0, i64 %A
- %C = ptrtoint i16* %B to i64
- %G = sub i64 %C, ptrtoint ([42 x i16]* @Arr to i64)
- ret i64 %G
-}
-
-define i64 @test25(i8* %P, i64 %A){
-; CHECK-LABEL: @test25(
-; CHECK-NEXT: [[B_IDX:%.*]] = shl nsw i64 [[A:%.*]], 1
-; CHECK-NEXT: [[GEPDIFF:%.*]] = add i64 [[B_IDX]], -84
-; CHECK-NEXT: ret i64 [[GEPDIFF]]
-;
- %B = getelementptr inbounds [42 x i16], [42 x i16]* @Arr, i64 0, i64 %A
- %C = ptrtoint i16* %B to i64
- %G = sub i64 %C, ptrtoint (i16* getelementptr ([42 x i16], [42 x i16]* @Arr, i64 1, i64 0) to i64)
- ret i64 %G
-}
-
- at Arr_as1 = external addrspace(1) global [42 x i16]
-
-define i16 @test25_as1(i8 addrspace(1)* %P, i64 %A) {
-; CHECK-LABEL: @test25_as1(
-; CHECK-NEXT: [[TMP1:%.*]] = trunc i64 [[A:%.*]] to i16
-; CHECK-NEXT: [[B_IDX:%.*]] = shl nsw i16 [[TMP1]], 1
-; CHECK-NEXT: [[GEPDIFF:%.*]] = add i16 [[B_IDX]], -84
-; CHECK-NEXT: ret i16 [[GEPDIFF]]
-;
- %B = getelementptr inbounds [42 x i16], [42 x i16] addrspace(1)* @Arr_as1, i64 0, i64 %A
- %C = ptrtoint i16 addrspace(1)* %B to i16
- %G = sub i16 %C, ptrtoint (i16 addrspace(1)* getelementptr ([42 x i16], [42 x i16] addrspace(1)* @Arr_as1, i64 1, i64 0) to i16)
- ret i16 %G
-}
-
define i32 @test26(i32 %x) {
; CHECK-LABEL: @test26(
; CHECK-NEXT: [[SHL_NEG:%.*]] = shl i32 -3, [[X:%.*]]
@@ -823,49 +707,6 @@ define i32 @test28commuted(i32 %x, i32 %y, i32 %z) {
ret i32 %sub
}
-define i64 @test29(i8* %foo, i64 %i, i64 %j) {
-; CHECK-LABEL: @test29(
-; CHECK-NEXT: [[GEPDIFF:%.*]] = sub i64 [[I:%.*]], [[J:%.*]]
-; CHECK-NEXT: ret i64 [[GEPDIFF]]
-;
- %gep1 = getelementptr inbounds i8, i8* %foo, i64 %i
- %gep2 = getelementptr inbounds i8, i8* %foo, i64 %j
- %cast1 = ptrtoint i8* %gep1 to i64
- %cast2 = ptrtoint i8* %gep2 to i64
- %sub = sub i64 %cast1, %cast2
- ret i64 %sub
-}
-
-define i64 @test30(i8* %foo, i64 %i, i64 %j) {
-; CHECK-LABEL: @test30(
-; CHECK-NEXT: [[GEP1_IDX:%.*]] = shl nsw i64 [[I:%.*]], 2
-; CHECK-NEXT: [[GEPDIFF:%.*]] = sub i64 [[GEP1_IDX]], [[J:%.*]]
-; CHECK-NEXT: ret i64 [[GEPDIFF]]
-;
- %bit = bitcast i8* %foo to i32*
- %gep1 = getelementptr inbounds i32, i32* %bit, i64 %i
- %gep2 = getelementptr inbounds i8, i8* %foo, i64 %j
- %cast1 = ptrtoint i32* %gep1 to i64
- %cast2 = ptrtoint i8* %gep2 to i64
- %sub = sub i64 %cast1, %cast2
- ret i64 %sub
-}
-
-define i16 @test30_as1(i8 addrspace(1)* %foo, i16 %i, i16 %j) {
-; CHECK-LABEL: @test30_as1(
-; CHECK-NEXT: [[GEP1_IDX:%.*]] = shl nsw i16 [[I:%.*]], 2
-; CHECK-NEXT: [[GEPDIFF:%.*]] = sub i16 [[GEP1_IDX]], [[J:%.*]]
-; CHECK-NEXT: ret i16 [[GEPDIFF]]
-;
- %bit = bitcast i8 addrspace(1)* %foo to i32 addrspace(1)*
- %gep1 = getelementptr inbounds i32, i32 addrspace(1)* %bit, i16 %i
- %gep2 = getelementptr inbounds i8, i8 addrspace(1)* %foo, i16 %j
- %cast1 = ptrtoint i32 addrspace(1)* %gep1 to i16
- %cast2 = ptrtoint i8 addrspace(1)* %gep2 to i16
- %sub = sub i16 %cast1, %cast2
- ret i16 %sub
-}
-
define <2 x i64> @test31(<2 x i64> %A) {
; CHECK-LABEL: @test31(
; CHECK-NEXT: [[SUB:%.*]] = add <2 x i64> [[A:%.*]], <i64 3, i64 4>
More information about the llvm-commits
mailing list