[llvm] 5e3a895 - [NFC][PhaseOrdering] Autogenerate basic.ll test

[Roman Lebedev via llvm-commits]

Author: Roman Lebedev
Date: 2020-10-27T14:42:53+03:00
New Revision: 5e3a8953ace7f5783ef592f1786d7f10610648ad

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

LOG: [NFC][PhaseOrdering] Autogenerate basic.ll test

Added: 
    

Modified: 
    llvm/test/Transforms/PhaseOrdering/basic.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/PhaseOrdering/basic.ll b/llvm/test/Transforms/PhaseOrdering/basic.ll
index ef57e55e15e3..cc577c801da3 100644
--- a/llvm/test/Transforms/PhaseOrdering/basic.ll
+++ b/llvm/test/Transforms/PhaseOrdering/basic.ll
@@ -1,3 +1,4 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt -O3 -S < %s | FileCheck %s
 
 target datalayout = "e-p:64:64:64-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-n8:16:32:64"
@@ -6,9 +7,11 @@ target triple = "x86_64-apple-macosx10.6.7"
 declare i8* @malloc(i64)
 declare void @free(i8*)
 
-
 ; PR2338
 define void @test1() nounwind ssp {
+; CHECK-LABEL: @test1(
+; CHECK-NEXT:    ret void
+;
   %retval = alloca i32, align 4
   %i = alloca i8*, align 8
   %call = call i8* @malloc(i64 1)
@@ -19,8 +22,6 @@ define void @test1() nounwind ssp {
   call void @free(i8* %tmp1)
   ret void
 
-; CHECK-LABEL: @test1(
-; CHECK-NEXT: ret void
 }
 
 ; This function exposes a phase ordering problem when InstCombine is
@@ -29,6 +30,15 @@ define void @test1() nounwind ssp {
 ; It it also important that %add is expressed as a multiple of %div so scalar
 ; evolution can recognize it.
 define i32 @test2(i32 %a, i32* %p) nounwind uwtable ssp {
+; CHECK-LABEL: @test2(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[DIV:%.*]] = lshr i32 [[A:%.*]], 2
+; CHECK-NEXT:    store i32 [[DIV]], i32* [[P:%.*]], align 4
+; CHECK-NEXT:    [[ADD:%.*]] = shl nuw nsw i32 [[DIV]], 1
+; CHECK-NEXT:    [[ARRAYIDX1:%.*]] = getelementptr inbounds i32, i32* [[P]], i64 1
+; CHECK-NEXT:    store i32 [[ADD]], i32* [[ARRAYIDX1]], align 4
+; CHECK-NEXT:    ret i32 0
+;
 entry:
   %div = udiv i32 %a, 4
   %arrayidx = getelementptr inbounds i32, i32* %p, i64 0
@@ -44,8 +54,4 @@ entry:
   %sub = sub i32 %0, %mul
   ret i32 %sub
 
-; CHECK-LABEL: @test2(
-; CHECK: %div = lshr i32 %a, 2
-; CHECK: %add = shl nuw nsw i32 %div, 1
-; CHECK: ret i32 0
 }