24 lines · plain
1; RUN: opt -S -passes='loop-mssa(loop-deletion,loop-simplifycfg)' -verify-memoryssa < %s | FileCheck %s2; REQUIRES: asserts3 4; CHECK-LABEL: @foo()5define void @foo() {6entry:7 br i1 false, label %for.body.lr.ph, label %for.end8 9for.body.lr.ph: ; preds = %entry10 br label %for.body11 12for.body: ; preds = %for.body, %for.body.lr.ph13 call void @foo()14 call void @foo()15 br i1 false, label %for.body, label %for.cond.for.end_crit_edge16 17for.cond.for.end_crit_edge: ; preds = %for.body18 unreachable19 20for.end: ; preds = %entry21 ret void22}23 24