56 lines · plain
1; RUN: opt -passes=licm -verify-memoryssa -S < %s | FileCheck %s2; REQUIRES: asserts3 4target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64"5target triple = "systemz-unknown"6 7@g_120 = external dso_local local_unnamed_addr global [8 x [4 x [6 x i32]]], align 48@g_185 = external dso_local local_unnamed_addr global i32, align 49@g_329 = external dso_local local_unnamed_addr global i16, align 210 11; Function Attrs: norecurse noreturn nounwind12define dso_local void @func_65() local_unnamed_addr {13; CHECK-LABEL: @func_65()14label0:15 br label %label116 17label1: ; preds = %.thread, %label018 br label %label219 20label2: ; preds = %.critedge, %label121 br label %label322 23label3: ; preds = %label5, %label224 %storemerge = phi i32 [ 0, %label2 ], [ %tmp6, %label5 ]25 store i32 %storemerge, ptr @g_185, align 426 %tmp4 = icmp ult i32 %storemerge, 227 br i1 %tmp4, label %label5, label %.thread.loopexit28 29label5: ; preds = %label330 %tmp6 = add i32 %storemerge, 131 %tmp7 = zext i32 %tmp6 to i6432 %tmp8 = getelementptr [8 x [4 x [6 x i32]]], ptr @g_120, i64 0, i64 undef, i64 %tmp7, i64 undef33 %tmp9 = load i32, ptr %tmp8, align 434 %tmp10 = icmp eq i32 %tmp9, 035 br i1 %tmp10, label %label3, label %label1136 37label11: ; preds = %label538 %storemerge.lcssa4 = phi i32 [ %storemerge, %label5 ]39 %tmp12 = icmp eq i32 %storemerge.lcssa4, 040 br i1 %tmp12, label %.critedge, label %.thread.loopexit341 42.critedge: ; preds = %label1143 store i16 0, ptr @g_329, align 244 br label %label245 46.thread.loopexit: ; preds = %label347 br label %.thread48 49.thread.loopexit3: ; preds = %label1150 br label %.thread51 52.thread: ; preds = %.thread.loopexit3, %.thread.loopexit53 br label %label154}55 56