1; RUN: opt -disable-output -passes='loop-mssa(licm),print<memoryssa>' < %s 2>&1 | FileCheck %s 2target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64" 3target triple = "s390x-ibm-linux" 4 5@g_248 = external dso_local local_unnamed_addr global i32, align 4 6@g_976 = external dso_local global i64, align 8 7@g_1087 = external dso_local global ptr, align 8 8 9; CHECK-LABEL: @f1(i1 %arg) 10; CHECK: 5 = MemoryPhi( 11; CHECK-NOT: 7 = MemoryPhi( 12define dso_local fastcc void @f1(i1 %arg) unnamed_addr #0 { 13label0: 14 br i1 %arg, label %thread-pre-split.i.preheader, label %label5 15 16thread-pre-split.i.preheader: ; preds = %label0 17 br label %thread-pre-split.i 18 19thread-pre-split.i.us: ; preds = %.critedge1.i.us 20 br i1 %arg, label %.preheader.i.us.preheader, label %label2 21 22.preheader.i.us.preheader: ; preds = %thread-pre-split.i.us 23 br label %.preheader.i.us 24 25.preheader.i.us: ; preds = %._crit_edge.i.us, %.preheader.i.us.preheader 26 br i1 %arg, label %.lr.ph.i.us, label %._crit_edge.i.us 27 28.lr.ph.i.us: ; preds = %.preheader.i.us 29 br label %label1 30 31label1: ; preds = %label1, %.lr.ph.i.us 32 br i1 %arg, label %label1, label %._crit_edge.i.us 33 34._crit_edge.i.us: ; preds = %label1, %.preheader.i.us 35 br i1 %arg, label %.preheader.i.us, label %._crit_edge5.i.us 36 37._crit_edge5.i.us: ; preds = %._crit_edge.i.us 38 br label %label2 39 40label2: ; preds = %._crit_edge5.i.us, %thread-pre-split.i.us 41 tail call void @foo16() 42 br i1 %arg, label %.lr.ph8.i.us.preheader, label %label4 43 44.lr.ph8.i.us.preheader: ; preds = %label2 45 br label %.lr.ph8.i.us 46 47.lr.ph8.i.us: ; preds = %.lr.ph8.i.us, %.lr.ph8.i.us.preheader 48 %tmp3 = load volatile i64, ptr @g_976, align 8 49 br i1 %arg, label %.lr.ph8.i.us, label %._crit_edge9.i.us 50 51._crit_edge9.i.us: ; preds = %.lr.ph8.i.us 52 br label %label4 53 54label4: ; preds = %._crit_edge9.i.us, %label2 55 br i1 true, label %f9.exit, label %.critedge1.i.us 56 57.critedge1.i.us: ; preds = %label4 58 br i1 %arg, label %thread-pre-split.i.us, label %f9.exit 59 60label5: ; preds = %label0 61 unreachable 62 63thread-pre-split.i: ; preds = %.critedge1.i, %thread-pre-split.i.preheader 64 br i1 %arg, label %.preheader.i.preheader, label %.critedge1.i 65 66.preheader.i.preheader: ; preds = %thread-pre-split.i 67 br label %.preheader.i 68 69.preheader.i: ; preds = %._crit_edge.i, %.preheader.i.preheader 70 br i1 %arg, label %.lr.ph.i, label %._crit_edge.i 71 72.lr.ph.i: ; preds = %.preheader.i 73 br label %label6 74 75label6: ; preds = %label6, %.lr.ph.i 76 br i1 %arg, label %label6, label %._crit_edge.i.loopexit 77 78._crit_edge.i.loopexit: ; preds = %label6 79 br label %._crit_edge.i 80 81._crit_edge.i: ; preds = %._crit_edge.i.loopexit, %.preheader.i 82 br i1 %arg, label %.preheader.i, label %._crit_edge5.i 83 84._crit_edge5.i: ; preds = %._crit_edge.i 85 br label %.critedge1.i 86 87.critedge1.i: ; preds = %._crit_edge5.i, %thread-pre-split.i 88 %tmp7 = load i32, ptr @g_248, align 4 89 %tmp8 = xor i32 %tmp7, 55987 90 store i32 %tmp8, ptr @g_248, align 4 91 br i1 %arg, label %thread-pre-split.i, label %f9.exit.loopexit 92 93f9.exit.loopexit: ; preds = %.critedge1.i 94 br label %f9.exit 95 96f9.exit: ; preds = %f9.exit.loopexit, %.critedge1.i.us, %label4 97 %tmp9 = load volatile ptr, ptr @g_1087, align 8 98 ret void 99} 100 101declare dso_local void @foo16() local_unnamed_addr #1 102 103attributes #0 = { "target-features"="+transactional-execution,+vector" } 104attributes #1 = { "use-soft-float"="false" } 105