1; RUN: opt %s -passes=loop-deletion -S | FileCheck %s --check-prefixes=CHECK 2 3%class.Loc.95 = type { %class.Domain.96 } 4%class.Domain.96 = type { %class.DomainBase.97 } 5%class.DomainBase.97 = type { [3 x %struct.WrapNoInit] } 6%struct.WrapNoInit = type { %class.Loc } 7%class.Loc = type { %class.Domain.67 } 8%class.Domain.67 = type { %class.DomainBase.68 } 9%class.DomainBase.68 = type { i32 } 10 11define dso_local void @foo(ptr %0) { 12; CHECK-LABEL: @foo( 13; CHECK-NEXT: br label [[foo:%.*]] 14; CHECK: foo.exit: 15; CHECK-NEXT: ret void 16; 17 br label %2 18 192: ; preds = %4, %1 20 %.0.i.i = phi ptr [ undef, %1 ], [ %5, %4 ] 21 %3 = icmp ne ptr %.0.i.i, %0 22 br i1 %3, label %4, label %foo.exit 23 244: ; preds = %2 25 call void @llvm.pseudoprobe(i64 6878943695821059507, i64 9, i32 0, i64 -1) 26 %5 = getelementptr inbounds %class.Loc.95, ptr %.0.i.i, i32 1 27 br label %2 28 29foo.exit: ; preds = %2 30 ret void 31} 32 33declare void @llvm.pseudoprobe(i64, i64, i32, i64) #1 34 35attributes #1 = { willreturn readnone norecurse nofree } 36