36 lines · plain
1; RUN: opt -disable-output -passes='loop-mssa(licm),print<memoryssa>' < %s 2>&1 | FileCheck %s2@v_274 = external dso_local global i64, align 13@v_295 = external dso_local global i16, align 14@v_335 = external dso_local global i32, align 15 6; CHECK-LABEL: @main(i1 %arg)7; CHECK-NOT: 5 = MemoryPhi(8; CHECK-NOT: 6 = MemoryPhi(9; CHECK: 4 = MemoryPhi(10; CHECK-NOT: 7 = MemoryPhi(11define dso_local void @main(i1 %arg) {12entry:13 store i32 undef, ptr @v_335, align 114 br i1 %arg, label %gate, label %exit15 16nopredentry1: ; No predecessors!17 br label %preinfiniteloop18 19nopredentry2: ; No predecessors!20 br label %gate21 22gate: ; preds = %nopredentry2, %entry23 br i1 %arg, label %preinfiniteloop, label %exit24 25preinfiniteloop: ; preds = %gate, %nopredentry126 br label %infiniteloop27 28infiniteloop: ; preds = %infiniteloop, %preinfiniteloop29 store i16 undef, ptr @v_295, align 130 br label %infiniteloop31 32exit: ; preds = %gate, %entry33 store i64 undef, ptr @v_274, align 134 ret void35}36