1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt %s -passes=loop-deletion -S | FileCheck %s --check-prefixes=CHECK 3 4target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" 5target triple = "x86_64-unknown-linux-gnu" 6 7%class.Loc.95 = type { %class.Domain.96 } 8%class.Domain.96 = type { %class.DomainBase.97 } 9%class.DomainBase.97 = type { [3 x %struct.WrapNoInit] } 10%struct.WrapNoInit = type { %class.Loc } 11%class.Loc = type { %class.Domain.67 } 12%class.Domain.67 = type { %class.DomainBase.68 } 13%class.DomainBase.68 = type { i32 } 14 15define dso_local void @_ZSt8_DestroyIP3LocILi3EES1_EvT_S3_RSaIT0_E(%class.Loc.95* %0) #0 { 16; CHECK-LABEL: @_ZSt8_DestroyIP3LocILi3EES1_EvT_S3_RSaIT0_E( 17; CHECK-NEXT: br label [[_ZST8_DESTROYIP3LOCILI3EEEVT_S3__EXIT:%.*]] 18; CHECK: _ZSt8_DestroyIP3LocILi3EEEvT_S3_.exit: 19; CHECK-NEXT: ret void 20; 21 br label %2 22 232: ; preds = %4, %1 24 %.0.i.i = phi %class.Loc.95* [ undef, %1 ], [ %5, %4 ] 25 %3 = icmp ne %class.Loc.95* %.0.i.i, %0 26 br i1 %3, label %4, label %_ZSt8_DestroyIP3LocILi3EEEvT_S3_.exit 27 284: ; preds = %2 29 call void @llvm.assume(i1 true) [ "align"(%class.Loc.95* %.0.i.i, i64 4) ] 30 %5 = getelementptr inbounds %class.Loc.95, %class.Loc.95* %.0.i.i, i32 1 31 br label %2 32 33_ZSt8_DestroyIP3LocILi3EEEvT_S3_.exit: ; preds = %2 34 ret void 35} 36 37declare void @llvm.assume(i1) #1 38 39attributes #0 = { "target-cpu"="x86-64" } 40attributes #1 = { willreturn readnone norecurse nocapture nofree } 41