1; RUN: opt -S -passes='loop-mssa(loop-deletion,loop-simplifycfg)' -verify-memoryssa < %s | FileCheck %s 2; REQUIRES: asserts 3 4; CHECK-LABEL: @foo() 5define void @foo() { 6entry: 7 br i1 false, label %for.body.lr.ph, label %for.end 8 9for.body.lr.ph: ; preds = %entry 10 br label %for.body 11 12for.body: ; preds = %for.body, %for.body.lr.ph 13 call void @foo() 14 call void @foo() 15 br i1 false, label %for.body, label %for.cond.for.end_crit_edge 16 17for.cond.for.end_crit_edge: ; preds = %for.body 18 unreachable 19 20for.end: ; preds = %entry 21 ret void 22} 23 24