53 lines · plain
1; RUN: opt -passes=licm -S < %s | FileCheck %s2; REQUIRES: asserts3 4@global1 = external global i64, align 85@global2 = external global [3 x [8 x [8 x { i32, i64, i8, i8, i16, i32 }]]], align 86 7; CHECK-LABEL: @f0(i1 %arg)8define void @f0(i1 %arg) {9bb:10 br label %bb18.i11 12bb18.i: ; preds = %bb49.us.i.us, %bb13 tail call void @f1()14 br i1 %arg, label %.exit.loopexit, label %bb49.preheader.i15 16bb49.preheader.i: ; preds = %bb18.i17 br i1 %arg, label %bb49.us.preheader.i, label %bb78.loopexit3.i18 19bb49.us.preheader.i: ; preds = %bb49.preheader.i20 br label %bb49.us.i.us21 22bb49.us.i.preheader: ; No predecessors!23 br label %.exit24 25bb49.us.i.us: ; preds = %bb49.us.preheader.i26 br label %bb18.i27 28bb78.loopexit3.i: ; preds = %bb49.preheader.i29 store i64 0, ptr @global1, align 830 br label %.exit31 32.exit.loopexit: ; preds = %bb18.i33 br label %.exit34 35.exit: ; preds = %.exit.loopexit, %bb78.loopexit3.i, %bb49.us.i.preheader36 br i1 %arg, label %bb4.i.us.preheader, label %bb4.i37 38bb4.i.us.preheader: ; preds = %.exit39 br label %bb4.i.us40 41bb4.i.us: ; preds = %bb4.i.us, %bb4.i.us.preheader42 store i32 0, ptr undef, align 443 store i32 undef, ptr getelementptr inbounds ([3 x [8 x [8 x { i32, i64, i8, i8, i16, i32 }]]], ptr @global2, i64 0, i64 0, i64 6, i64 6, i32 0), align 844 br label %bb4.i.us45 46bb4.i: ; preds = %.exit47 ret void48}49 50declare void @f1()51 52 53