test/Analysis/MemorySSA/pr40754.ll

   1 ; RUN: opt -licm -enable-mssa-loop-dependency -verify-memoryssa -S < %s | FileCheck %s
   2 ; REQUIRES: asserts
   3
   4 target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64"
   5 target triple = "systemz-unknown"
   6
   7 @g_120 = external dso_local local_unnamed_addr global [8 x [4 x [6 x i32]]], align 4
   8 @g_185 = external dso_local local_unnamed_addr global i32, align 4
   9 @g_329 = external dso_local local_unnamed_addr global i16, align 2
  10
  11 ; Function Attrs: norecurse noreturn nounwind
  12 define dso_local void @func_65() local_unnamed_addr {
  13 ; CHECK-LABEL: @func_65()
  14   br label %1
  15
  16 ; <label>:1:                                      ; preds = %.thread, %0
  17   br label %2
  18
  19 ; <label>:2:                                      ; preds = %.critedge, %1
  20   br label %3
  21
  22 ; <label>:3:                                      ; preds = %5, %2
  23   %storemerge = phi i32 [ 0, %2 ], [ %6, %5 ]
  24   store i32 %storemerge, i32* @g_185, align 4
  25   %4 = icmp ult i32 %storemerge, 2
  26   br i1 %4, label %5, label %.thread.loopexit
  27
  28 ; <label>:5:                                      ; preds = %3
  29   %6 = add i32 %storemerge, 1
  30   %7 = zext i32 %6 to i64
  31   %8 = getelementptr [8 x [4 x [6 x i32]]], [8 x [4 x [6 x i32]]]* @g_120, i64 0, i64 undef, i64 %7, i64 undef
  32   %9 = load i32, i32* %8, align 4
  33   %10 = icmp eq i32 %9, 0
  34   br i1 %10, label %3, label %11
  35
  36 ; <label>:11:                                     ; preds = %5
  37   %storemerge.lcssa4 = phi i32 [ %storemerge, %5 ]
  38   %12 = icmp eq i32 %storemerge.lcssa4, 0
  39   br i1 %12, label %.critedge, label %.thread.loopexit3
  40
  41 .critedge:                                        ; preds = %11
  42   store i16 0, i16* @g_329, align 2
  43   br label %2
  44
  45 .thread.loopexit:                                 ; preds = %3
  46   br label %.thread
  47
  48 .thread.loopexit3:                                ; preds = %11
  49   br label %.thread
  50
  51 .thread:                                          ; preds = %.thread.loopexit3, %.thread.loopexit
  52   br label %1
  53 }
  54