From: Alina Sbirlea <asbirlea@google.com>
Date: Fri, 22 Feb 2019 07:34:54 +0000 (+0000)
Subject: [MemorySSA] Update test with minimized one. NFCI
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=151100787d35ebdba8584f3c3df7b9db33749190;p=platform%2Fupstream%2Fllvm.git

[MemorySSA] Update test with minimized one. NFCI

llvm-svn: 354658
---

diff --git a/llvm/test/Analysis/MemorySSA/pr40037.ll b/llvm/test/Analysis/MemorySSA/pr40037.ll
index f1ba384..a123a06 100644
--- a/llvm/test/Analysis/MemorySSA/pr40037.ll
+++ b/llvm/test/Analysis/MemorySSA/pr40037.ll
@@ -1,108 +1,33 @@
 ; REQUIRES: asserts
-; RUN: opt -S -mtriple=systemz-unknown -mcpu=z13  -O3 -enable-mssa-loop-dependency -enable-simple-loop-unswitch -verify-memoryssa  < %s | FileCheck %s
+; RUN: opt -S -simple-loop-unswitch -enable-mssa-loop-dependency -verify-memoryssa  < %s | FileCheck %s
 
 target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64"
 target triple = "s390x-ibm-linux"
 
-@g_225 = external dso_local global i16, align 2
-@g_967 = external dso_local global i8, align 2
-@g_853 = external dso_local global i32***, align 8
-@g_320 = external dso_local global { i8, i8, i8, i8, i8, i8, i8, i8 }, align 4
-
-; Function Attrs: nounwind
-; CHECK-LABEL: @main(
-define dso_local void @main() #0 {
-bb:
-  call void @func_1()
-  unreachable
-}
-
-; Function Attrs: nounwind
-define dso_local void @func_1() #0 {
-bb:
-  call void @func_23()
-  unreachable
-}
-
-; Function Attrs: nounwind
-define dso_local void @func_23() #0 {
-bb:
-  %tmp = alloca i32****, align 8
-  %tmp1 = alloca i32*****, align 8
-  store i32**** @g_853, i32***** %tmp, align 8, !tbaa !1
-  store i32***** %tmp, i32****** %tmp1, align 8, !tbaa !1
+; CHECK-LABEL: @func_23()
+define dso_local void @func_23() local_unnamed_addr {
   br label %bb2
-
-bb2:                                              ; preds = %bb21, %bb
-  br label %bb3
-
-bb3:                                              ; preds = %bb7, %bb2
-  %tmp4 = load i8, i8* @g_967, align 2, !tbaa !5
-  %tmp5 = sext i8 %tmp4 to i32
-  %tmp6 = icmp sle i32 %tmp5, 5
-  br i1 %tmp6, label %bb7, label %bb8
-
-bb7:                                              ; preds = %bb3
-  call void @safe_sub_func_uint64_t_u_u()
-  br label %bb3
-
-bb8:                                              ; preds = %bb3
-  store i16 0, i16* @g_225, align 2, !tbaa !6
-  br label %bb9
-
-bb9:                                              ; preds = %bb25, %bb8
-  %tmp10 = load i16, i16* @g_225, align 2, !tbaa !6
-  %tmp11 = sext i16 %tmp10 to i32
-  %tmp12 = icmp ne i32 %tmp11, 1
-  br i1 %tmp12, label %bb13, label %bb28
-
-bb13:                                             ; preds = %bb9
-  %tmp14 = load i32*****, i32****** %tmp1, align 8, !tbaa !1
-  %tmp15 = load i32****, i32***** %tmp14, align 8, !tbaa !1
-  %tmp16 = load i32***, i32**** %tmp15, align 8, !tbaa !1
-  %tmp17 = load i32**, i32*** %tmp16, align 8, !tbaa !1
-  %tmp18 = load i32*, i32** %tmp17, align 8, !tbaa !1
-  %tmp19 = load i32, i32* %tmp18, align 4, !tbaa !8
-  %tmp20 = icmp ne i32 %tmp19, 0
-  br i1 %tmp20, label %bb28, label %bb21
-
+bb2:                                              ; preds = %bb2.loopexit, %bb
+  br label %bb7
+bb3.bb9.preheader_crit_edge:                      ; preds = %bb7
+  br label %bb9.preheader
+bb9.preheader:                                    ; preds = %bb3.bb9.preheader_crit_edge, %bb2
+  %tmp20 = icmp eq i32 0, 0
+  %tmp24 = icmp ugt i32 65536, 65535
+  br label %bb13
+bb7:                                              ; preds = %bb7.lr.ph, %bb7
+  %tmp6 = icmp slt i8 94, 6
+  br i1 %tmp6, label %bb7, label %bb3.bb9.preheader_crit_edge
+bb9:                                              ; preds = %bb21
+  store i16 %tmp27, i16* undef, align 2
+  %tmp12 = icmp eq i16 %tmp27, 1
+  br i1 %tmp12, label %bb28, label %bb13
+bb13:                                             ; preds = %bb9.preheader, %bb9
+  %storemerge3 = phi i16 [ 0, %bb9.preheader ], [ %tmp27, %bb9 ]
+  br i1 %tmp20, label %bb21, label %bb28
 bb21:                                             ; preds = %bb13
-  %tmp22 = load i32, i32* bitcast ({ i8, i8, i8, i8, i8, i8, i8, i8 }* @g_320 to i32*), align 4
-  %tmp23 = ashr i32 %tmp22, 16
-  %tmp24 = icmp ne i32 %tmp23, 0
-  br i1 %tmp24, label %bb2, label %bb25
-
-bb25:                                             ; preds = %bb21
-  %tmp26 = load i16, i16* @g_225, align 2, !tbaa !6
-  %tmp27 = add i16 %tmp26, 1
-  store i16 %tmp27, i16* @g_225, align 2, !tbaa !6
-  br label %bb9
-
+  %tmp27 = add i16 %storemerge3, 1
+  br i1 %tmp24, label %bb2, label %bb9
 bb28:                                             ; preds = %bb13, %bb9
   ret void
 }
-
-; Function Attrs: nounwind
-define dso_local void @func_33() #0 {
-bb:
-  unreachable
-}
-
-; Function Attrs: nounwind
-declare dso_local void @safe_sub_func_uint64_t_u_u() #0
-
-attributes #0 = { nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="z13" "target-features"="+transactional-execution,+vector" "unsafe-fp-math"="false" "use-soft-float"="false" }
-
-!llvm.ident = !{!0}
-
-!0 = !{!"clang version 8.0.0 (http://llvm.org/git/clang.git a674a04e68bcf09f9a0423f3f589589596bc01a6) (http://llvm.org/git/llvm.git 1fe1ffe00e034128d1c5504254fdd4742f48bb9a)"}
-!1 = !{!2, !2, i64 0}
-!2 = !{!"any pointer", !3, i64 0}
-!3 = !{!"omnipotent char", !4, i64 0}
-!4 = !{!"Simple C/C++ TBAA"}
-!5 = !{!3, !3, i64 0}
-!6 = !{!7, !7, i64 0}
-!7 = !{!"short", !3, i64 0}
-!8 = !{!9, !9, i64 0}
-!9 = !{!"int", !3, i64 0}
-