[llvm] ee4055c - [GlobalOpt] adjust test to show load problems; NFC

[Sanjay Patel via llvm-commits]

Author: Sanjay Patel
Date: 2021-05-20T12:12:21-04:00
New Revision: ee4055cf23e7c7c5e2b91aefbbf10aa23754ade9

URL: https://github.com/llvm/llvm-project/commit/ee4055cf23e7c7c5e2b91aefbbf10aa23754ade9
DIFF: https://github.com/llvm/llvm-project/commit/ee4055cf23e7c7c5e2b91aefbbf10aa23754ade9.diff

LOG: [GlobalOpt] adjust test to show load problems; NFC

Goes with D102552

Added: 
    

Modified: 
    llvm/test/Transforms/GlobalOpt/globalsra-align.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/GlobalOpt/globalsra-align.ll b/llvm/test/Transforms/GlobalOpt/globalsra-align.ll
index 47e197128389..862e1aa989e6 100644
--- a/llvm/test/Transforms/GlobalOpt/globalsra-align.ll
+++ b/llvm/test/Transforms/GlobalOpt/globalsra-align.ll
@@ -3,7 +3,7 @@
 
 target datalayout = "p:16:32:64" ; 16-bit pointers with 32-bit ABI alignment and 64-bit preferred alignmentt
 
- at a = internal global [2 x [7 x i32*]] zeroinitializer, align 16
+ at a = internal externally_initialized global [3 x [7 x i32*]] zeroinitializer, align 16
 
 ; FIXME:
 ; PR50253
@@ -13,44 +13,52 @@ target datalayout = "p:16:32:64" ; 16-bit pointers with 32-bit ABI alignment and
 ; by the ABI alignment of N pointers.
 
 ;.
-; CHECK: @[[A_1:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr global [7 x i32*] zeroinitializer, align 16
+; CHECK: @[[A_1:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global [7 x i32*] zeroinitializer, align 16
+; CHECK: @[[A_2_0:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global i32* null, align 8
+; CHECK: @[[A_2_1:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global i32* null, align 8
+; CHECK: @[[A_2_2:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global i32* null, align 8
+; CHECK: @[[A_2_3:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global i32* null, align 8
 ;.
 define i32* @reduce_align_0() {
 ; CHECK-LABEL: @reduce_align_0(
+; CHECK-NEXT:    [[X:%.*]] = load i32*, i32** @a.2.0, align 8
 ; CHECK-NEXT:    store i32* null, i32** getelementptr inbounds ([7 x i32*], [7 x i32*]* @a.1, i32 0, i64 0), align 4
-; CHECK-NEXT:    ret i32* null
+; CHECK-NEXT:    ret i32* [[X]]
 ;
-  %x = load i32*, i32** getelementptr inbounds ([2 x [7 x i32*]], [2 x [7 x i32*]]* @a, i64 0, i64 0, i64 0), align 1
-  store i32* null, i32** getelementptr inbounds ([2 x [7 x i32*]], [2 x [7 x i32*]]* @a, i64 0, i64 1, i64 0), align 4
+  %x = load i32*, i32** getelementptr inbounds ([3 x [7 x i32*]], [3 x [7 x i32*]]* @a, i64 0, i64 2, i64 0), align 8
+  store i32* null, i32** getelementptr inbounds ([3 x [7 x i32*]], [3 x [7 x i32*]]* @a, i64 0, i64 1, i64 0), align 4
   ret i32* %x
 }
 
 define i32* @reduce_align_1() {
 ; CHECK-LABEL: @reduce_align_1(
+; CHECK-NEXT:    [[X:%.*]] = load i32*, i32** @a.2.1, align 4
 ; CHECK-NEXT:    store i32* null, i32** getelementptr inbounds ([7 x i32*], [7 x i32*]* @a.1, i32 0, i64 1), align 16
-; CHECK-NEXT:    ret i32* null
+; CHECK-NEXT:    ret i32* [[X]]
 ;
-  %x = load i32*, i32** getelementptr inbounds ([2 x [7 x i32*]], [2 x [7 x i32*]]* @a, i64 0, i64 0, i64 0), align 1
-  store i32* null, i32** getelementptr inbounds ([2 x [7 x i32*]], [2 x [7 x i32*]]* @a, i64 0, i64 1, i64 1), align 16
+  %x = load i32*, i32** getelementptr inbounds ([3 x [7 x i32*]], [3 x [7 x i32*]]* @a, i64 0, i64 2, i64 1), align 4
+  store i32* null, i32** getelementptr inbounds ([3 x [7 x i32*]], [3 x [7 x i32*]]* @a, i64 0, i64 1, i64 1), align 16
   ret i32* %x
 }
 
 define i32* @reduce_align_2() {
 ; CHECK-LABEL: @reduce_align_2(
+; CHECK-NEXT:    [[X:%.*]] = load i32*, i32** @a.2.2, align 16
 ; CHECK-NEXT:    store i32* null, i32** getelementptr inbounds ([7 x i32*], [7 x i32*]* @a.1, i32 0, i64 2), align 4
-; CHECK-NEXT:    ret i32* null
+; CHECK-NEXT:    ret i32* [[X]]
 ;
-  %x = load i32*, i32** getelementptr inbounds ([2 x [7 x i32*]], [2 x [7 x i32*]]* @a, i64 0, i64 0, i64 0), align 1
-  store i32* null, i32** getelementptr inbounds ([2 x [7 x i32*]], [2 x [7 x i32*]]* @a, i64 0, i64 1, i64 2), align 4
+  %x = load i32*, i32** getelementptr inbounds ([3 x [7 x i32*]], [3 x [7 x i32*]]* @a, i64 0, i64 2, i64 2), align 16
+  store i32* null, i32** getelementptr inbounds ([3 x [7 x i32*]], [3 x [7 x i32*]]* @a, i64 0, i64 1, i64 2), align 4
   ret i32* %x
 }
 
 define i32* @reduce_align_3() {
 ; CHECK-LABEL: @reduce_align_3(
+; CHECK-NEXT:    [[X:%.*]] = load i32*, i32** @a.2.3, align 4
 ; CHECK-NEXT:    store i32* null, i32** getelementptr inbounds ([7 x i32*], [7 x i32*]* @a.1, i32 0, i64 3), align 8
-; CHECK-NEXT:    ret i32* null
+; CHECK-NEXT:    ret i32* [[X]]
 ;
-  %x = load i32*, i32** getelementptr inbounds ([2 x [7 x i32*]], [2 x [7 x i32*]]* @a, i64 0, i64 0, i64 0), align 1
-  store i32* null, i32** getelementptr inbounds ([2 x [7 x i32*]], [2 x [7 x i32*]]* @a, i64 0, i64 1, i64 3), align 8
+  %x = load i32*, i32** getelementptr inbounds ([3 x [7 x i32*]], [3 x [7 x i32*]]* @a, i64 0, i64 2, i64 3), align 4
+  store i32* null, i32** getelementptr inbounds ([3 x [7 x i32*]], [3 x [7 x i32*]]* @a, i64 0, i64 1, i64 3), align 8
   ret i32* %x
 }