[llvm] 89fdee8 - [InstCombine] regenerate complete test checks; NFC

[Sanjay Patel via llvm-commits]

Author: Sanjay Patel
Date: 2020-03-07T10:20:38-05:00
New Revision: 89fdee87f7f079fa41f5f04504f4c50254ccf19c

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

LOG: [InstCombine] regenerate complete test checks; NFC

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/mem-gep-zidx.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/mem-gep-zidx.ll b/llvm/test/Transforms/InstCombine/mem-gep-zidx.ll
index 4499051b2552..cc2feaa6ac5b 100644
--- a/llvm/test/Transforms/InstCombine/mem-gep-zidx.ll
+++ b/llvm/test/Transforms/InstCombine/mem-gep-zidx.ll
@@ -1,3 +1,4 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt -S -instcombine < %s | FileCheck %s
 target datalayout = "E-m:e-i64:64-n32:64"
 target triple = "powerpc64-unknown-linux-gnu"
@@ -7,53 +8,56 @@ target triple = "powerpc64-unknown-linux-gnu"
 @f.c = linkonce unnamed_addr alias [1 x i32], [1 x i32]* @f.b
 
 define signext i32 @test1(i32 signext %x) #0 {
-entry:
+; CHECK-LABEL: @test1(
+; CHECK-NEXT:    ret i32 12
+;
   %idxprom = sext i32 %x to i64
   %arrayidx = getelementptr inbounds [1 x i32], [1 x i32]* @f.a, i64 0, i64 %idxprom
-  %0 = load i32, i32* %arrayidx, align 4
-  ret i32 %0
-
-; CHECK-LABEL: @test1
-; CHECK: ret i32 12
+  %r = load i32, i32* %arrayidx, align 4
+  ret i32 %r
 }
 
 declare void @foo(i64* %p)
 define void @test2(i32 signext %x, i64 %v) #0 {
-entry:
+; CHECK-LABEL: @test2(
+; CHECK-NEXT:    [[P:%.*]] = alloca i64, align 8
+; CHECK-NEXT:    store i64 [[V:%.*]], i64* [[P]], align 8
+; CHECK-NEXT:    call void @foo(i64* nonnull [[P]]) #1
+; CHECK-NEXT:    ret void
+;
   %p = alloca i64
   %idxprom = sext i32 %x to i64
   %arrayidx = getelementptr inbounds i64, i64* %p, i64 %idxprom
   store i64 %v, i64* %arrayidx
   call void @foo(i64* %p)
   ret void
-
-; CHECK-LABEL: @test2
-; CHECK: %p = alloca i64
-; CHECK: store i64 %v, i64* %p
-; CHECK: ret void
 }
 
 define signext i32 @test3(i32 signext %x, i1 %y) #0 {
-entry:
+; CHECK-LABEL: @test3(
+; CHECK-NEXT:    [[P:%.*]] = select i1 [[Y:%.*]], [1 x i32]* @f.a, [1 x i32]* @f.b
+; CHECK-NEXT:    [[TMP1:%.*]] = getelementptr inbounds [1 x i32], [1 x i32]* [[P]], i64 0, i64 0
+; CHECK-NEXT:    [[R:%.*]] = load i32, i32* [[TMP1]], align 4
+; CHECK-NEXT:    ret i32 [[R]]
+;
   %idxprom = sext i32 %x to i64
   %p = select i1 %y, [1 x i32]* @f.a, [1 x i32]* @f.b
   %arrayidx = getelementptr inbounds [1 x i32], [1 x i32]* %p, i64 0, i64 %idxprom
-  %0 = load i32, i32* %arrayidx, align 4
-  ret i32 %0
-
-; CHECK-LABEL: @test3
-; CHECK: getelementptr inbounds [1 x i32], [1 x i32]* %p, i64 0, i64 0
+  %r = load i32, i32* %arrayidx, align 4
+  ret i32 %r
 }
 
 define signext i32 @test4(i32 signext %x, i1 %y) #0 {
-entry:
+; CHECK-LABEL: @test4(
+; CHECK-NEXT:    [[IDXPROM:%.*]] = sext i32 [[X:%.*]] to i64
+; CHECK-NEXT:    [[ARRAYIDX:%.*]] = getelementptr inbounds [1 x i32], [1 x i32]* @f.c, i64 0, i64 [[IDXPROM]]
+; CHECK-NEXT:    [[R:%.*]] = load i32, i32* [[ARRAYIDX]], align 4
+; CHECK-NEXT:    ret i32 [[R]]
+;
   %idxprom = sext i32 %x to i64
   %arrayidx = getelementptr inbounds [1 x i32], [1 x i32]* @f.c, i64 0, i64 %idxprom
-  %0 = load i32, i32* %arrayidx, align 4
-  ret i32 %0
-
-; CHECK-LABEL: @test4
-; CHECK: getelementptr inbounds [1 x i32], [1 x i32]* @f.c, i64 0, i64 %idxprom
+  %r = load i32, i32* %arrayidx, align 4
+  ret i32 %r
 }
 
 attributes #0 = { nounwind readnone }