; LLVM IR from mackorone/mms :: old/v2/src/lib/polypartition (polypartition)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.TPPLPoint = type { double, double }
%"class.std::__cxx11::list.0" = type { %"class.std::__cxx11::_List_base.1" }
%"class.std::__cxx11::_List_base.1" = type { %"struct.std::__cxx11::_List_base<TPPLPartition::Diagonal, std::allocator<TPPLPartition::Diagonal>>::_List_impl" }
%"struct.std::__cxx11::_List_base<TPPLPartition::Diagonal, std::allocator<TPPLPartition::Diagonal>>::_List_impl" = type { %"struct.std::__detail::_List_node_header" }
%"struct.std::__detail::_List_node_header" = type { %"struct.std::__detail::_List_node_base", i64 }
%"struct.std::__detail::_List_node_base" = type { ptr, ptr }
%"struct.TPPLPartition::Diagonal" = type { i64, i64 }
%"struct.std::_List_iterator.5" = type { ptr }
%class.TPPLPoly = type <{ ptr, i64, i8, [7 x i8] }>
%"class.std::__cxx11::list.6" = type { %"class.std::__cxx11::_List_base.7" }
%"class.std::__cxx11::_List_base.7" = type { %"struct.std::__cxx11::_List_base<long, std::allocator<long>>::_List_impl" }
%"struct.std::__cxx11::_List_base<long, std::allocator<long>>::_List_impl" = type { %"struct.std::__detail::_List_node_header" }
%"struct.std::_List_iterator.11" = type { ptr }
%"struct.TPPLPartition::DPState2" = type { i8, i64, %"class.std::__cxx11::list.0" }
%"struct.TPPLPartition::PartitionVertex" = type { i8, i8, i8, %struct.TPPLPoint, double, ptr, ptr }

; Function Attrs: nobuiltin nounwind
declare void @_ZdaPv(ptr noundef) #0

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN8TPPLPoly4InitEl(ptr noundef nonnull align 8 dereferenceable(17), i64 noundef) #1 align 2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare { i64, i1 } @llvm.umul.with.overflow.i64(i64, i64) #2

; Function Attrs: nobuiltin allocsize(0)
declare noundef nonnull ptr @_Znam(i64 noundef) #3

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #4

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #5

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #5

; Function Attrs: mustprogress uwtable
declare dso_local noundef i32 @_ZN13TPPLPartition10IntersectsER9TPPLPointS1_S1_S1_(ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) #1 align 2

declare i32 @__gxx_personality_v0(...)

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt7__cxx114listI8TPPLPolySaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(17)) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZN8TPPLPoly12GetNumPointsEv(ptr noundef nonnull align 8 dereferenceable(17)) #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPoly8GetPointEl(ptr noundef nonnull align 8 dereferenceable(17), i64 noundef) #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPolyixEi(ptr noundef nonnull align 8 dereferenceable(17), i32 noundef) #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN13TPPLPartition6InConeEPNS_15PartitionVertexER9TPPLPoint(ptr noundef nonnull align 1 dereferenceable(1), ptr noundef, ptr noundef nonnull align 8 dereferenceable(16)) #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN13TPPLPartition21UpdateVertexReflexityEPNS_15PartitionVertexE(ptr noundef nonnull align 1 dereferenceable(1), ptr noundef) #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #6 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9push_backERKS2_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(16)) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24)) #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24)) #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9pop_frontEv(ptr noundef nonnull align 8 dereferenceable(24)) #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt7__cxx1110_List_baseIN13TPPLPartition8DiagonalESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5clearEv(ptr noundef nonnull align 8 dereferenceable(24)) #6 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE10push_frontERKS2_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(16)) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8)) #6 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN13TPPLPartition5TypeAElllPNS_15PartitionVertexEPPNS_8DPState2E(ptr noundef nonnull align 1 dereferenceable(1), i64 noundef, i64 noundef, i64 noundef, ptr noundef, ptr noundef) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt14_List_iteratorIN13TPPLPartition8DiagonalEEC2Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24)) #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt14_List_iteratorIN13TPPLPartition8DiagonalEEmmEi(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef) #6 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN13TPPLPartition5TypeBElllPNS_15PartitionVertexEPPNS_8DPState2E(ptr noundef nonnull align 1 dereferenceable(1), i64 noundef, i64 noundef, i64 noundef, ptr noundef, ptr noundef) #1 align 2

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN13TPPLPartition19ConvexPartition_OPTEP8TPPLPolyPNSt7__cxx114listIS0_SaIS0_EEE(ptr noundef nonnull align 1 dereferenceable(1) %0, ptr noundef %1, ptr noundef %2) #1 align 2 personality ptr @__gxx_personality_v0 {
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca %struct.TPPLPoint, align 8
  %9 = alloca %struct.TPPLPoint, align 8
  %10 = alloca %struct.TPPLPoint, align 8
  %11 = alloca %struct.TPPLPoint, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca i64, align 8
  %15 = alloca i64, align 8
  %16 = alloca i64, align 8
  %17 = alloca i64, align 8
  %18 = alloca i64, align 8
  %19 = alloca %"class.std::__cxx11::list.0", align 8
  %20 = alloca %"class.std::__cxx11::list.0", align 8
  %21 = alloca %"struct.TPPLPartition::Diagonal", align 8
  %22 = alloca %"struct.TPPLPartition::Diagonal", align 8
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca %"struct.std::_List_iterator.5", align 8
  %26 = alloca %"struct.std::_List_iterator.5", align 8
  %27 = alloca i32, align 4
  %28 = alloca %class.TPPLPoly, align 8
  %29 = alloca ptr, align 8
  %30 = alloca i32, align 4
  %31 = alloca %"class.std::__cxx11::list.6", align 8
  %32 = alloca %"struct.std::_List_iterator.11", align 8
  %33 = alloca i8, align 1
  %34 = alloca i8, align 1
  %35 = alloca %"struct.std::_List_iterator.5", align 8
  %36 = alloca %"struct.std::_List_iterator.5", align 8
  %37 = alloca %"struct.std::_List_iterator.5", align 8
  %38 = alloca %"struct.std::_List_iterator.5", align 8
  %39 = alloca %"struct.std::_List_iterator.5", align 8
  %40 = alloca %"struct.std::_List_iterator.5", align 8
  %41 = alloca %"struct.std::_List_iterator.5", align 8
  %42 = alloca i32, align 4
  %43 = alloca %"struct.std::_List_iterator.5", align 8
  %44 = alloca %"struct.std::_List_iterator.5", align 8
  %45 = alloca %"struct.std::_List_iterator.5", align 8
  %46 = alloca %"struct.std::_List_iterator.5", align 8
  %47 = alloca %"struct.std::_List_iterator.5", align 8
  %48 = alloca %"struct.std::_List_iterator.11", align 8
  %49 = alloca %"struct.std::_List_iterator.11", align 8
  %50 = alloca %"struct.std::_List_iterator.11", align 8
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store ptr %2, ptr %7, align 8, !tbaa !5
  %51 = load ptr, ptr %5, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr %8) #8
  call void @llvm.lifetime.start.p0(i64 16, ptr %9) #8
  call void @llvm.lifetime.start.p0(i64 16, ptr %10) #8
  call void @llvm.lifetime.start.p0(i64 16, ptr %11) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #8
  call void @llvm.lifetime.start.p0(i64 24, ptr %19) #8
  call void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %19) #8
  call void @llvm.lifetime.start.p0(i64 24, ptr %20) #8
  call void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %20) #8
  call void @llvm.lifetime.start.p0(i64 16, ptr %21) #8
  call void @llvm.lifetime.start.p0(i64 16, ptr %22) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #8
  call void @_ZNSt14_List_iteratorIN13TPPLPartition8DiagonalEEC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #8
  call void @_ZNSt14_List_iteratorIN13TPPLPartition8DiagonalEEC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #8
  call void @llvm.lifetime.start.p0(i64 24, ptr %28) #8
  invoke void @_ZN8TPPLPolyC1Ev(ptr noundef nonnull align 8 dereferenceable(17) %28)
          to label %52 unwind label %101

52:                                               ; preds = %3
  call void @llvm.lifetime.start.p0(i64 24, ptr %31) #8
  call void @_ZNSt7__cxx114listIlSaIlEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %31) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #8
  call void @_ZNSt14_List_iteratorIlEC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %32) #8
  call void @llvm.lifetime.start.p0(i64 1, ptr %33) #8
  call void @llvm.lifetime.start.p0(i64 1, ptr %34) #8
  %53 = load ptr, ptr %6, align 8, !tbaa !5
  %54 = invoke noundef i64 @_ZN8TPPLPoly12GetNumPointsEv(ptr noundef nonnull align 8 dereferenceable(17) %53)
          to label %55 unwind label %105

55:                                               ; preds = %52
  store i64 %54, ptr %17, align 8, !tbaa !9
  %56 = load i64, ptr %17, align 8, !tbaa !9
  %57 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %56, i64 48)
  %58 = extractvalue { i64, i1 } %57, 1
  %59 = extractvalue { i64, i1 } %57, 0
  %60 = select i1 %58, i64 -1, i64 %59
  %61 = invoke noalias noundef nonnull ptr @_Znam(i64 noundef %60) #9
          to label %62 unwind label %105

62:                                               ; preds = %55
  store ptr %61, ptr %12, align 8, !tbaa !5
  %63 = load i64, ptr %17, align 8, !tbaa !9
  %64 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %63, i64 8)
  %65 = extractvalue { i64, i1 } %64, 1
  %66 = extractvalue { i64, i1 } %64, 0
  %67 = select i1 %65, i64 -1, i64 %66
  %68 = invoke noalias noundef nonnull ptr @_Znam(i64 noundef %67) #9
          to label %69 unwind label %105

69:                                               ; preds = %62
  store ptr %68, ptr %13, align 8, !tbaa !5
  store i64 0, ptr %14, align 8, !tbaa !9
  br label %70

70:                                               ; preds = %98, %69
  %71 = load i64, ptr %14, align 8, !tbaa !9
  %72 = load i64, ptr %17, align 8, !tbaa !9
  %73 = icmp slt i64 %71, %72
  br i1 %73, label %74, label %109

74:                                               ; preds = %70
  %75 = load i64, ptr %17, align 8, !tbaa !9
  %76 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %75, i64 40)
  %77 = extractvalue { i64, i1 } %76, 1
  %78 = extractvalue { i64, i1 } %76, 0
  %79 = call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %78, i64 8)
  %80 = extractvalue { i64, i1 } %79, 1
  %81 = or i1 %77, %80
  %82 = extractvalue { i64, i1 } %79, 0
  %83 = select i1 %81, i64 -1, i64 %82
  %84 = invoke noalias noundef nonnull ptr @_Znam(i64 noundef %83) #9
          to label %85 unwind label %105

85:                                               ; preds = %74
  store i64 %75, ptr %84, align 16
  %86 = getelementptr inbounds i8, ptr %84, i64 8
  %87 = icmp eq i64 %75, 0
  br i1 %87, label %94, label %88

88:                                               ; preds = %85
  %89 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %86, i64 %75
  br label %90

90:                                               ; preds = %90, %88
  %91 = phi ptr [ %86, %88 ], [ %92, %90 ]
  call void @_ZN13TPPLPartition8DPState2C2Ev(ptr noundef nonnull align 8 dereferenceable(40) %91) #8
  %92 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %91, i64 1
  %93 = icmp eq ptr %92, %89
  br i1 %93, label %94, label %90

94:                                               ; preds = %90, %85
  %95 = load ptr, ptr %13, align 8, !tbaa !5
  %96 = load i64, ptr %14, align 8, !tbaa !9
  %97 = getelementptr inbounds ptr, ptr %95, i64 %96
  store ptr %86, ptr %97, align 8, !tbaa !5
  br label %98

98:                                               ; preds = %94
  %99 = load i64, ptr %14, align 8, !tbaa !9
  %100 = add nsw i64 %99, 1
  store i64 %100, ptr %14, align 8, !tbaa !9
  br label %70, !llvm.loop !11

101:                                              ; preds = %3
  %102 = landingpad { ptr, i32 }
          cleanup
  %103 = extractvalue { ptr, i32 } %102, 0
  store ptr %103, ptr %29, align 8
  %104 = extractvalue { ptr, i32 } %102, 1
  store i32 %104, ptr %30, align 4
  br label %947

105:                                              ; preds = %905, %890, %881, %880, %878, %876, %874, %864, %862, %787, %785, %783, %763, %714, %654, %646, %582, %541, %522, %500, %453, %443, %416, %333, %290, %284, %280, %271, %236, %192, %147, %114, %74, %62, %55, %52
  %106 = landingpad { ptr, i32 }
          cleanup
  %107 = extractvalue { ptr, i32 } %106, 0
  store ptr %107, ptr %29, align 8
  %108 = extractvalue { ptr, i32 } %106, 1
  store i32 %108, ptr %30, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %34) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %33) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  call void @_ZNSt7__cxx1110_List_baseIlSaIlEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %31) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %31) #8
  call void @_ZN8TPPLPolyD1Ev(ptr noundef nonnull align 8 dereferenceable(17) %28) #8
  br label %947

109:                                              ; preds = %70
  store i64 0, ptr %14, align 8, !tbaa !9
  br label %110

110:                                              ; preds = %171, %109
  %111 = load i64, ptr %14, align 8, !tbaa !9
  %112 = load i64, ptr %17, align 8, !tbaa !9
  %113 = icmp slt i64 %111, %112
  br i1 %113, label %114, label %174

114:                                              ; preds = %110
  %115 = load ptr, ptr %6, align 8, !tbaa !5
  %116 = load i64, ptr %14, align 8, !tbaa !9
  %117 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPoly8GetPointEl(ptr noundef nonnull align 8 dereferenceable(17) %115, i64 noundef %116)
          to label %118 unwind label %105

118:                                              ; preds = %114
  %119 = load ptr, ptr %12, align 8, !tbaa !5
  %120 = load i64, ptr %14, align 8, !tbaa !9
  %121 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %119, i64 %120
  %122 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %121, i32 0, i32 3
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %122, ptr align 8 %117, i64 16, i1 false), !tbaa.struct !13
  %123 = load ptr, ptr %12, align 8, !tbaa !5
  %124 = load i64, ptr %14, align 8, !tbaa !9
  %125 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %123, i64 %124
  %126 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %125, i32 0, i32 0
  store i8 1, ptr %126, align 8, !tbaa !16
  %127 = load i64, ptr %14, align 8, !tbaa !9
  %128 = icmp eq i64 %127, 0
  br i1 %128, label %129, label %138

129:                                              ; preds = %118
  %130 = load ptr, ptr %12, align 8, !tbaa !5
  %131 = load i64, ptr %17, align 8, !tbaa !9
  %132 = sub nsw i64 %131, 1
  %133 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %130, i64 %132
  %134 = load ptr, ptr %12, align 8, !tbaa !5
  %135 = load i64, ptr %14, align 8, !tbaa !9
  %136 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %134, i64 %135
  %137 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %136, i32 0, i32 5
  store ptr %133, ptr %137, align 8, !tbaa !20
  br label %147

138:                                              ; preds = %118
  %139 = load ptr, ptr %12, align 8, !tbaa !5
  %140 = load i64, ptr %14, align 8, !tbaa !9
  %141 = sub nsw i64 %140, 1
  %142 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %139, i64 %141
  %143 = load ptr, ptr %12, align 8, !tbaa !5
  %144 = load i64, ptr %14, align 8, !tbaa !9
  %145 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %143, i64 %144
  %146 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %145, i32 0, i32 5
  store ptr %142, ptr %146, align 8, !tbaa !20
  br label %147

147:                                              ; preds = %138, %129
  %148 = load i64, ptr %14, align 8, !tbaa !9
  %149 = load ptr, ptr %6, align 8, !tbaa !5
  %150 = invoke noundef i64 @_ZN8TPPLPoly12GetNumPointsEv(ptr noundef nonnull align 8 dereferenceable(17) %149)
          to label %151 unwind label %105

151:                                              ; preds = %147
  %152 = sub nsw i64 %150, 1
  %153 = icmp eq i64 %148, %152
  br i1 %153, label %154, label %161

154:                                              ; preds = %151
  %155 = load ptr, ptr %12, align 8, !tbaa !5
  %156 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %155, i64 0
  %157 = load ptr, ptr %12, align 8, !tbaa !5
  %158 = load i64, ptr %14, align 8, !tbaa !9
  %159 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %157, i64 %158
  %160 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %159, i32 0, i32 6
  store ptr %156, ptr %160, align 8, !tbaa !21
  br label %170

161:                                              ; preds = %151
  %162 = load ptr, ptr %12, align 8, !tbaa !5
  %163 = load i64, ptr %14, align 8, !tbaa !9
  %164 = add nsw i64 %163, 1
  %165 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %162, i64 %164
  %166 = load ptr, ptr %12, align 8, !tbaa !5
  %167 = load i64, ptr %14, align 8, !tbaa !9
  %168 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %166, i64 %167
  %169 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %168, i32 0, i32 6
  store ptr %165, ptr %169, align 8, !tbaa !21
  br label %170

170:                                              ; preds = %161, %154
  br label %171

171:                                              ; preds = %170
  %172 = load i64, ptr %14, align 8, !tbaa !9
  %173 = add nsw i64 %172, 1
  store i64 %173, ptr %14, align 8, !tbaa !9
  br label %110, !llvm.loop !22

174:                                              ; preds = %110
  store i64 1, ptr %14, align 8, !tbaa !9
  br label %175

175:                                              ; preds = %183, %174
  %176 = load i64, ptr %14, align 8, !tbaa !9
  %177 = load i64, ptr %17, align 8, !tbaa !9
  %178 = icmp slt i64 %176, %177
  br i1 %178, label %179, label %186

179:                                              ; preds = %175
  %180 = load ptr, ptr %12, align 8, !tbaa !5
  %181 = load i64, ptr %14, align 8, !tbaa !9
  %182 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %180, i64 %181
  call void @_ZN13TPPLPartition21UpdateVertexReflexityEPNS_15PartitionVertexE(ptr noundef nonnull align 1 dereferenceable(1) %51, ptr noundef %182)
  br label %183

183:                                              ; preds = %179
  %184 = load i64, ptr %14, align 8, !tbaa !9
  %185 = add nsw i64 %184, 1
  store i64 %185, ptr %14, align 8, !tbaa !9
  br label %175, !llvm.loop !23

186:                                              ; preds = %175
  store i64 0, ptr %14, align 8, !tbaa !9
  br label %187

187:                                              ; preds = %312, %186
  %188 = load i64, ptr %14, align 8, !tbaa !9
  %189 = load i64, ptr %17, align 8, !tbaa !9
  %190 = sub nsw i64 %189, 1
  %191 = icmp slt i64 %188, %190
  br i1 %191, label %192, label %315

192:                                              ; preds = %187
  %193 = load ptr, ptr %6, align 8, !tbaa !5
  %194 = load i64, ptr %14, align 8, !tbaa !9
  %195 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPoly8GetPointEl(ptr noundef nonnull align 8 dereferenceable(17) %193, i64 noundef %194)
          to label %196 unwind label %105

196:                                              ; preds = %192
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %8, ptr align 8 %195, i64 16, i1 false), !tbaa.struct !13
  %197 = load i64, ptr %14, align 8, !tbaa !9
  %198 = add nsw i64 %197, 1
  store i64 %198, ptr %15, align 8, !tbaa !9
  br label %199

199:                                              ; preds = %308, %196
  %200 = load i64, ptr %15, align 8, !tbaa !9
  %201 = load i64, ptr %17, align 8, !tbaa !9
  %202 = icmp slt i64 %200, %201
  br i1 %202, label %203, label %311

203:                                              ; preds = %199
  %204 = load ptr, ptr %13, align 8, !tbaa !5
  %205 = load i64, ptr %14, align 8, !tbaa !9
  %206 = getelementptr inbounds ptr, ptr %204, i64 %205
  %207 = load ptr, ptr %206, align 8, !tbaa !5
  %208 = load i64, ptr %15, align 8, !tbaa !9
  %209 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %207, i64 %208
  %210 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %209, i32 0, i32 0
  store i8 1, ptr %210, align 8, !tbaa !24
  %211 = load i64, ptr %15, align 8, !tbaa !9
  %212 = load i64, ptr %14, align 8, !tbaa !9
  %213 = add nsw i64 %212, 1
  %214 = icmp eq i64 %211, %213
  br i1 %214, label %215, label %223

215:                                              ; preds = %203
  %216 = load ptr, ptr %13, align 8, !tbaa !5
  %217 = load i64, ptr %14, align 8, !tbaa !9
  %218 = getelementptr inbounds ptr, ptr %216, i64 %217
  %219 = load ptr, ptr %218, align 8, !tbaa !5
  %220 = load i64, ptr %15, align 8, !tbaa !9
  %221 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %219, i64 %220
  %222 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %221, i32 0, i32 1
  store i64 0, ptr %222, align 8, !tbaa !31
  br label %231

223:                                              ; preds = %203
  %224 = load ptr, ptr %13, align 8, !tbaa !5
  %225 = load i64, ptr %14, align 8, !tbaa !9
  %226 = getelementptr inbounds ptr, ptr %224, i64 %225
  %227 = load ptr, ptr %226, align 8, !tbaa !5
  %228 = load i64, ptr %15, align 8, !tbaa !9
  %229 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %227, i64 %228
  %230 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %229, i32 0, i32 1
  store i64 2147483647, ptr %230, align 8, !tbaa !31
  br label %231

231:                                              ; preds = %223, %215
  %232 = load i64, ptr %15, align 8, !tbaa !9
  %233 = load i64, ptr %14, align 8, !tbaa !9
  %234 = add nsw i64 %233, 1
  %235 = icmp ne i64 %232, %234
  br i1 %235, label %236, label %307

236:                                              ; preds = %231
  %237 = load ptr, ptr %6, align 8, !tbaa !5
  %238 = load i64, ptr %15, align 8, !tbaa !9
  %239 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPoly8GetPointEl(ptr noundef nonnull align 8 dereferenceable(17) %237, i64 noundef %238)
          to label %240 unwind label %105

240:                                              ; preds = %236
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %9, ptr align 8 %239, i64 16, i1 false), !tbaa.struct !13
  %241 = load ptr, ptr %12, align 8, !tbaa !5
  %242 = load i64, ptr %14, align 8, !tbaa !9
  %243 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %241, i64 %242
  %244 = call noundef zeroext i1 @_ZN13TPPLPartition6InConeEPNS_15PartitionVertexER9TPPLPoint(ptr noundef nonnull align 1 dereferenceable(1) %51, ptr noundef %243, ptr noundef nonnull align 8 dereferenceable(16) %9)
  br i1 %244, label %253, label %245

245:                                              ; preds = %240
  %246 = load ptr, ptr %13, align 8, !tbaa !5
  %247 = load i64, ptr %14, align 8, !tbaa !9
  %248 = getelementptr inbounds ptr, ptr %246, i64 %247
  %249 = load ptr, ptr %248, align 8, !tbaa !5
  %250 = load i64, ptr %15, align 8, !tbaa !9
  %251 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %249, i64 %250
  %252 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %251, i32 0, i32 0
  store i8 0, ptr %252, align 8, !tbaa !24
  br label %308

253:                                              ; preds = %240
  %254 = load ptr, ptr %12, align 8, !tbaa !5
  %255 = load i64, ptr %15, align 8, !tbaa !9
  %256 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %254, i64 %255
  %257 = call noundef zeroext i1 @_ZN13TPPLPartition6InConeEPNS_15PartitionVertexER9TPPLPoint(ptr noundef nonnull align 1 dereferenceable(1) %51, ptr noundef %256, ptr noundef nonnull align 8 dereferenceable(16) %8)
  br i1 %257, label %266, label %258

258:                                              ; preds = %253
  %259 = load ptr, ptr %13, align 8, !tbaa !5
  %260 = load i64, ptr %14, align 8, !tbaa !9
  %261 = getelementptr inbounds ptr, ptr %259, i64 %260
  %262 = load ptr, ptr %261, align 8, !tbaa !5
  %263 = load i64, ptr %15, align 8, !tbaa !9
  %264 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %262, i64 %263
  %265 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %264, i32 0, i32 0
  store i8 0, ptr %265, align 8, !tbaa !24
  br label %308

266:                                              ; preds = %253
  store i64 0, ptr %16, align 8, !tbaa !9
  br label %267

267:                                              ; preds = %303, %266
  %268 = load i64, ptr %16, align 8, !tbaa !9
  %269 = load i64, ptr %17, align 8, !tbaa !9
  %270 = icmp slt i64 %268, %269
  br i1 %270, label %271, label %306

271:                                              ; preds = %267
  %272 = load ptr, ptr %6, align 8, !tbaa !5
  %273 = load i64, ptr %16, align 8, !tbaa !9
  %274 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPoly8GetPointEl(ptr noundef nonnull align 8 dereferenceable(17) %272, i64 noundef %273)
          to label %275 unwind label %105

275:                                              ; preds = %271
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %10, ptr align 8 %274, i64 16, i1 false), !tbaa.struct !13
  %276 = load i64, ptr %16, align 8, !tbaa !9
  %277 = load i64, ptr %17, align 8, !tbaa !9
  %278 = sub nsw i64 %277, 1
  %279 = icmp eq i64 %276, %278
  br i1 %279, label %280, label %284

280:                                              ; preds = %275
  %281 = load ptr, ptr %6, align 8, !tbaa !5
  %282 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPoly8GetPointEl(ptr noundef nonnull align 8 dereferenceable(17) %281, i64 noundef 0)
          to label %283 unwind label %105

283:                                              ; preds = %280
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %11, ptr align 8 %282, i64 16, i1 false), !tbaa.struct !13
  br label %290

284:                                              ; preds = %275
  %285 = load ptr, ptr %6, align 8, !tbaa !5
  %286 = load i64, ptr %16, align 8, !tbaa !9
  %287 = add nsw i64 %286, 1
  %288 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPoly8GetPointEl(ptr noundef nonnull align 8 dereferenceable(17) %285, i64 noundef %287)
          to label %289 unwind label %105

289:                                              ; preds = %284
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %11, ptr align 8 %288, i64 16, i1 false), !tbaa.struct !13
  br label %290

290:                                              ; preds = %289, %283
  %291 = invoke noundef i32 @_ZN13TPPLPartition10IntersectsER9TPPLPointS1_S1_S1_(ptr noundef nonnull align 1 dereferenceable(1) %51, ptr noundef nonnull align 8 dereferenceable(16) %8, ptr noundef nonnull align 8 dereferenceable(16) %9, ptr noundef nonnull align 8 dereferenceable(16) %10, ptr noundef nonnull align 8 dereferenceable(16) %11)
          to label %292 unwind label %105

292:                                              ; preds = %290
  %293 = icmp ne i32 %291, 0
  br i1 %293, label %294, label %302

294:                                              ; preds = %292
  %295 = load ptr, ptr %13, align 8, !tbaa !5
  %296 = load i64, ptr %14, align 8, !tbaa !9
  %297 = getelementptr inbounds ptr, ptr %295, i64 %296
  %298 = load ptr, ptr %297, align 8, !tbaa !5
  %299 = load i64, ptr %15, align 8, !tbaa !9
  %300 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %298, i64 %299
  %301 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %300, i32 0, i32 0
  store i8 0, ptr %301, align 8, !tbaa !24
  br label %306

302:                                              ; preds = %292
  br label %303

303:                                              ; preds = %302
  %304 = load i64, ptr %16, align 8, !tbaa !9
  %305 = add nsw i64 %304, 1
  store i64 %305, ptr %16, align 8, !tbaa !9
  br label %267, !llvm.loop !32

306:                                              ; preds = %294, %267
  br label %307

307:                                              ; preds = %306, %231
  br label %308

308:                                              ; preds = %307, %258, %245
  %309 = load i64, ptr %15, align 8, !tbaa !9
  %310 = add nsw i64 %309, 1
  store i64 %310, ptr %15, align 8, !tbaa !9
  br label %199, !llvm.loop !33

311:                                              ; preds = %199
  br label %312

312:                                              ; preds = %311
  %313 = load i64, ptr %14, align 8, !tbaa !9
  %314 = add nsw i64 %313, 1
  store i64 %314, ptr %14, align 8, !tbaa !9
  br label %187, !llvm.loop !34

315:                                              ; preds = %187
  store i64 0, ptr %14, align 8, !tbaa !9
  br label %316

316:                                              ; preds = %356, %315
  %317 = load i64, ptr %14, align 8, !tbaa !9
  %318 = load i64, ptr %17, align 8, !tbaa !9
  %319 = sub nsw i64 %318, 2
  %320 = icmp slt i64 %317, %319
  br i1 %320, label %321, label %359

321:                                              ; preds = %316
  %322 = load i64, ptr %14, align 8, !tbaa !9
  %323 = add nsw i64 %322, 2
  store i64 %323, ptr %15, align 8, !tbaa !9
  %324 = load ptr, ptr %13, align 8, !tbaa !5
  %325 = load i64, ptr %14, align 8, !tbaa !9
  %326 = getelementptr inbounds ptr, ptr %324, i64 %325
  %327 = load ptr, ptr %326, align 8, !tbaa !5
  %328 = load i64, ptr %15, align 8, !tbaa !9
  %329 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %327, i64 %328
  %330 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %329, i32 0, i32 0
  %331 = load i8, ptr %330, align 8, !tbaa !24, !range !35, !noundef !36
  %332 = trunc i8 %331 to i1
  br i1 %332, label %333, label %355

333:                                              ; preds = %321
  %334 = load ptr, ptr %13, align 8, !tbaa !5
  %335 = load i64, ptr %14, align 8, !tbaa !9
  %336 = getelementptr inbounds ptr, ptr %334, i64 %335
  %337 = load ptr, ptr %336, align 8, !tbaa !5
  %338 = load i64, ptr %15, align 8, !tbaa !9
  %339 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %337, i64 %338
  %340 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %339, i32 0, i32 1
  store i64 0, ptr %340, align 8, !tbaa !31
  %341 = load i64, ptr %14, align 8, !tbaa !9
  %342 = add nsw i64 %341, 1
  %343 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 0
  store i64 %342, ptr %343, align 8, !tbaa !37
  %344 = load i64, ptr %14, align 8, !tbaa !9
  %345 = add nsw i64 %344, 1
  %346 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 1
  store i64 %345, ptr %346, align 8, !tbaa !39
  %347 = load ptr, ptr %13, align 8, !tbaa !5
  %348 = load i64, ptr %14, align 8, !tbaa !9
  %349 = getelementptr inbounds ptr, ptr %347, i64 %348
  %350 = load ptr, ptr %349, align 8, !tbaa !5
  %351 = load i64, ptr %15, align 8, !tbaa !9
  %352 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %350, i64 %351
  %353 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %352, i32 0, i32 2
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9push_backERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %353, ptr noundef nonnull align 8 dereferenceable(16) %22)
          to label %354 unwind label %105

354:                                              ; preds = %333
  br label %355

355:                                              ; preds = %354, %321
  br label %356

356:                                              ; preds = %355
  %357 = load i64, ptr %14, align 8, !tbaa !9
  %358 = add nsw i64 %357, 1
  store i64 %358, ptr %14, align 8, !tbaa !9
  br label %316, !llvm.loop !40

359:                                              ; preds = %316
  %360 = load ptr, ptr %13, align 8, !tbaa !5
  %361 = getelementptr inbounds ptr, ptr %360, i64 0
  %362 = load ptr, ptr %361, align 8, !tbaa !5
  %363 = load i64, ptr %17, align 8, !tbaa !9
  %364 = sub nsw i64 %363, 1
  %365 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %362, i64 %364
  %366 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %365, i32 0, i32 0
  store i8 1, ptr %366, align 8, !tbaa !24
  %367 = load ptr, ptr %12, align 8, !tbaa !5
  %368 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %367, i64 0
  %369 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %368, i32 0, i32 1
  store i8 0, ptr %369, align 1, !tbaa !41
  store i64 3, ptr %18, align 8, !tbaa !9
  br label %370

370:                                              ; preds = %538, %359
  %371 = load i64, ptr %18, align 8, !tbaa !9
  %372 = load i64, ptr %17, align 8, !tbaa !9
  %373 = icmp slt i64 %371, %372
  br i1 %373, label %374, label %541

374:                                              ; preds = %370
  store i64 0, ptr %14, align 8, !tbaa !9
  br label %375

375:                                              ; preds = %463, %374
  %376 = load i64, ptr %14, align 8, !tbaa !9
  %377 = load i64, ptr %17, align 8, !tbaa !9
  %378 = load i64, ptr %18, align 8, !tbaa !9
  %379 = sub nsw i64 %377, %378
  %380 = icmp slt i64 %376, %379
  br i1 %380, label %381, label %466

381:                                              ; preds = %375
  %382 = load ptr, ptr %12, align 8, !tbaa !5
  %383 = load i64, ptr %14, align 8, !tbaa !9
  %384 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %382, i64 %383
  %385 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %384, i32 0, i32 1
  %386 = load i8, ptr %385, align 1, !tbaa !41, !range !35, !noundef !36
  %387 = trunc i8 %386 to i1
  br i1 %387, label %388, label %389

388:                                              ; preds = %381
  br label %463

389:                                              ; preds = %381
  %390 = load i64, ptr %14, align 8, !tbaa !9
  %391 = load i64, ptr %18, align 8, !tbaa !9
  %392 = add nsw i64 %390, %391
  store i64 %392, ptr %16, align 8, !tbaa !9
  %393 = load ptr, ptr %13, align 8, !tbaa !5
  %394 = load i64, ptr %14, align 8, !tbaa !9
  %395 = getelementptr inbounds ptr, ptr %393, i64 %394
  %396 = load ptr, ptr %395, align 8, !tbaa !5
  %397 = load i64, ptr %16, align 8, !tbaa !9
  %398 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %396, i64 %397
  %399 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %398, i32 0, i32 0
  %400 = load i8, ptr %399, align 8, !tbaa !24, !range !35, !noundef !36
  %401 = trunc i8 %400 to i1
  br i1 %401, label %402, label %462

402:                                              ; preds = %389
  %403 = load ptr, ptr %12, align 8, !tbaa !5
  %404 = load i64, ptr %16, align 8, !tbaa !9
  %405 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %403, i64 %404
  %406 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %405, i32 0, i32 1
  %407 = load i8, ptr %406, align 1, !tbaa !41, !range !35, !noundef !36
  %408 = trunc i8 %407 to i1
  br i1 %408, label %427, label %409

409:                                              ; preds = %402
  %410 = load i64, ptr %14, align 8, !tbaa !9
  %411 = add nsw i64 %410, 1
  store i64 %411, ptr %15, align 8, !tbaa !9
  br label %412

412:                                              ; preds = %423, %409
  %413 = load i64, ptr %15, align 8, !tbaa !9
  %414 = load i64, ptr %16, align 8, !tbaa !9
  %415 = icmp slt i64 %413, %414
  br i1 %415, label %416, label %426

416:                                              ; preds = %412
  %417 = load i64, ptr %14, align 8, !tbaa !9
  %418 = load i64, ptr %15, align 8, !tbaa !9
  %419 = load i64, ptr %16, align 8, !tbaa !9
  %420 = load ptr, ptr %12, align 8, !tbaa !5
  %421 = load ptr, ptr %13, align 8, !tbaa !5
  invoke void @_ZN13TPPLPartition5TypeAElllPNS_15PartitionVertexEPPNS_8DPState2E(ptr noundef nonnull align 1 dereferenceable(1) %51, i64 noundef %417, i64 noundef %418, i64 noundef %419, ptr noundef %420, ptr noundef %421)
          to label %422 unwind label %105

422:                                              ; preds = %416
  br label %423

423:                                              ; preds = %422
  %424 = load i64, ptr %15, align 8, !tbaa !9
  %425 = add nsw i64 %424, 1
  store i64 %425, ptr %15, align 8, !tbaa !9
  br label %412, !llvm.loop !42

426:                                              ; preds = %412
  br label %461

427:                                              ; preds = %402
  %428 = load i64, ptr %14, align 8, !tbaa !9
  %429 = add nsw i64 %428, 1
  store i64 %429, ptr %15, align 8, !tbaa !9
  br label %430

430:                                              ; preds = %450, %427
  %431 = load i64, ptr %15, align 8, !tbaa !9
  %432 = load i64, ptr %16, align 8, !tbaa !9
  %433 = sub nsw i64 %432, 1
  %434 = icmp slt i64 %431, %433
  br i1 %434, label %435, label %453

435:                                              ; preds = %430
  %436 = load ptr, ptr %12, align 8, !tbaa !5
  %437 = load i64, ptr %15, align 8, !tbaa !9
  %438 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %436, i64 %437
  %439 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %438, i32 0, i32 1
  %440 = load i8, ptr %439, align 1, !tbaa !41, !range !35, !noundef !36
  %441 = trunc i8 %440 to i1
  br i1 %441, label %442, label %443

442:                                              ; preds = %435
  br label %450

443:                                              ; preds = %435
  %444 = load i64, ptr %14, align 8, !tbaa !9
  %445 = load i64, ptr %15, align 8, !tbaa !9
  %446 = load i64, ptr %16, align 8, !tbaa !9
  %447 = load ptr, ptr %12, align 8, !tbaa !5
  %448 = load ptr, ptr %13, align 8, !tbaa !5
  invoke void @_ZN13TPPLPartition5TypeAElllPNS_15PartitionVertexEPPNS_8DPState2E(ptr noundef nonnull align 1 dereferenceable(1) %51, i64 noundef %444, i64 noundef %445, i64 noundef %446, ptr noundef %447, ptr noundef %448)
          to label %449 unwind label %105

449:                                              ; preds = %443
  br label %450

450:                                              ; preds = %449, %442
  %451 = load i64, ptr %15, align 8, !tbaa !9
  %452 = add nsw i64 %451, 1
  store i64 %452, ptr %15, align 8, !tbaa !9
  br label %430, !llvm.loop !43

453:                                              ; preds = %430
  %454 = load i64, ptr %14, align 8, !tbaa !9
  %455 = load i64, ptr %16, align 8, !tbaa !9
  %456 = sub nsw i64 %455, 1
  %457 = load i64, ptr %16, align 8, !tbaa !9
  %458 = load ptr, ptr %12, align 8, !tbaa !5
  %459 = load ptr, ptr %13, align 8, !tbaa !5
  invoke void @_ZN13TPPLPartition5TypeAElllPNS_15PartitionVertexEPPNS_8DPState2E(ptr noundef nonnull align 1 dereferenceable(1) %51, i64 noundef %454, i64 noundef %456, i64 noundef %457, ptr noundef %458, ptr noundef %459)
          to label %460 unwind label %105

460:                                              ; preds = %453
  br label %461

461:                                              ; preds = %460, %426
  br label %462

462:                                              ; preds = %461, %389
  br label %463

463:                                              ; preds = %462, %388
  %464 = load i64, ptr %14, align 8, !tbaa !9
  %465 = add nsw i64 %464, 1
  store i64 %465, ptr %14, align 8, !tbaa !9
  br label %375, !llvm.loop !44

466:                                              ; preds = %375
  %467 = load i64, ptr %18, align 8, !tbaa !9
  store i64 %467, ptr %16, align 8, !tbaa !9
  br label %468

468:                                              ; preds = %534, %466
  %469 = load i64, ptr %16, align 8, !tbaa !9
  %470 = load i64, ptr %17, align 8, !tbaa !9
  %471 = icmp slt i64 %469, %470
  br i1 %471, label %472, label %537

472:                                              ; preds = %468
  %473 = load ptr, ptr %12, align 8, !tbaa !5
  %474 = load i64, ptr %16, align 8, !tbaa !9
  %475 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %473, i64 %474
  %476 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %475, i32 0, i32 1
  %477 = load i8, ptr %476, align 1, !tbaa !41, !range !35, !noundef !36
  %478 = trunc i8 %477 to i1
  br i1 %478, label %479, label %480

479:                                              ; preds = %472
  br label %534

480:                                              ; preds = %472
  %481 = load i64, ptr %16, align 8, !tbaa !9
  %482 = load i64, ptr %18, align 8, !tbaa !9
  %483 = sub nsw i64 %481, %482
  store i64 %483, ptr %14, align 8, !tbaa !9
  %484 = load ptr, ptr %12, align 8, !tbaa !5
  %485 = load i64, ptr %14, align 8, !tbaa !9
  %486 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %484, i64 %485
  %487 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %486, i32 0, i32 1
  %488 = load i8, ptr %487, align 1, !tbaa !41, !range !35, !noundef !36
  %489 = trunc i8 %488 to i1
  br i1 %489, label %490, label %533

490:                                              ; preds = %480
  %491 = load ptr, ptr %13, align 8, !tbaa !5
  %492 = load i64, ptr %14, align 8, !tbaa !9
  %493 = getelementptr inbounds ptr, ptr %491, i64 %492
  %494 = load ptr, ptr %493, align 8, !tbaa !5
  %495 = load i64, ptr %16, align 8, !tbaa !9
  %496 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %494, i64 %495
  %497 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %496, i32 0, i32 0
  %498 = load i8, ptr %497, align 8, !tbaa !24, !range !35, !noundef !36
  %499 = trunc i8 %498 to i1
  br i1 %499, label %500, label %533

500:                                              ; preds = %490
  %501 = load i64, ptr %14, align 8, !tbaa !9
  %502 = load i64, ptr %14, align 8, !tbaa !9
  %503 = add nsw i64 %502, 1
  %504 = load i64, ptr %16, align 8, !tbaa !9
  %505 = load ptr, ptr %12, align 8, !tbaa !5
  %506 = load ptr, ptr %13, align 8, !tbaa !5
  invoke void @_ZN13TPPLPartition5TypeBElllPNS_15PartitionVertexEPPNS_8DPState2E(ptr noundef nonnull align 1 dereferenceable(1) %51, i64 noundef %501, i64 noundef %503, i64 noundef %504, ptr noundef %505, ptr noundef %506)
          to label %507 unwind label %105

507:                                              ; preds = %500
  %508 = load i64, ptr %14, align 8, !tbaa !9
  %509 = add nsw i64 %508, 2
  store i64 %509, ptr %15, align 8, !tbaa !9
  br label %510

510:                                              ; preds = %529, %507
  %511 = load i64, ptr %15, align 8, !tbaa !9
  %512 = load i64, ptr %16, align 8, !tbaa !9
  %513 = icmp slt i64 %511, %512
  br i1 %513, label %514, label %532

514:                                              ; preds = %510
  %515 = load ptr, ptr %12, align 8, !tbaa !5
  %516 = load i64, ptr %15, align 8, !tbaa !9
  %517 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %515, i64 %516
  %518 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %517, i32 0, i32 1
  %519 = load i8, ptr %518, align 1, !tbaa !41, !range !35, !noundef !36
  %520 = trunc i8 %519 to i1
  br i1 %520, label %521, label %522

521:                                              ; preds = %514
  br label %529

522:                                              ; preds = %514
  %523 = load i64, ptr %14, align 8, !tbaa !9
  %524 = load i64, ptr %15, align 8, !tbaa !9
  %525 = load i64, ptr %16, align 8, !tbaa !9
  %526 = load ptr, ptr %12, align 8, !tbaa !5
  %527 = load ptr, ptr %13, align 8, !tbaa !5
  invoke void @_ZN13TPPLPartition5TypeBElllPNS_15PartitionVertexEPPNS_8DPState2E(ptr noundef nonnull align 1 dereferenceable(1) %51, i64 noundef %523, i64 noundef %524, i64 noundef %525, ptr noundef %526, ptr noundef %527)
          to label %528 unwind label %105

528:                                              ; preds = %522
  br label %529

529:                                              ; preds = %528, %521
  %530 = load i64, ptr %15, align 8, !tbaa !9
  %531 = add nsw i64 %530, 1
  store i64 %531, ptr %15, align 8, !tbaa !9
  br label %510, !llvm.loop !45

532:                                              ; preds = %510
  br label %533

533:                                              ; preds = %532, %490, %480
  br label %534

534:                                              ; preds = %533, %479
  %535 = load i64, ptr %16, align 8, !tbaa !9
  %536 = add nsw i64 %535, 1
  store i64 %536, ptr %16, align 8, !tbaa !9
  br label %468, !llvm.loop !46

537:                                              ; preds = %468
  br label %538

538:                                              ; preds = %537
  %539 = load i64, ptr %18, align 8, !tbaa !9
  %540 = add nsw i64 %539, 1
  store i64 %540, ptr %18, align 8, !tbaa !9
  br label %370, !llvm.loop !47

541:                                              ; preds = %370
  store i32 1, ptr %27, align 4, !tbaa !48
  %542 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 0
  store i64 0, ptr %542, align 8, !tbaa !37
  %543 = load i64, ptr %17, align 8, !tbaa !9
  %544 = sub nsw i64 %543, 1
  %545 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 1
  store i64 %544, ptr %545, align 8, !tbaa !39
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE10push_frontERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %19, ptr noundef nonnull align 8 dereferenceable(16) %22)
          to label %546 unwind label %105

546:                                              ; preds = %541
  br label %547

547:                                              ; preds = %722, %560, %546
  %548 = call noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %19) #8
  %549 = xor i1 %548, true
  br i1 %549, label %550, label %723

550:                                              ; preds = %547
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #8
  %551 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %19) #8
  %552 = getelementptr inbounds %"struct.std::_List_iterator.5", ptr %35, i32 0, i32 0
  store ptr %551, ptr %552, align 8
  %553 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %35) #8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %21, ptr align 8 %553, i64 16, i1 false), !tbaa.struct !50
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #8
  call void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9pop_frontEv(ptr noundef nonnull align 8 dereferenceable(24) %19) #8
  %554 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 1
  %555 = load i64, ptr %554, align 8, !tbaa !39
  %556 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 0
  %557 = load i64, ptr %556, align 8, !tbaa !37
  %558 = sub nsw i64 %555, %557
  %559 = icmp sle i64 %558, 1
  br i1 %559, label %560, label %561

560:                                              ; preds = %550
  br label %547, !llvm.loop !51

561:                                              ; preds = %550
  %562 = load ptr, ptr %13, align 8, !tbaa !5
  %563 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 0
  %564 = load i64, ptr %563, align 8, !tbaa !37
  %565 = getelementptr inbounds ptr, ptr %562, i64 %564
  %566 = load ptr, ptr %565, align 8, !tbaa !5
  %567 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 1
  %568 = load i64, ptr %567, align 8, !tbaa !39
  %569 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %566, i64 %568
  %570 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %569, i32 0, i32 2
  store ptr %570, ptr %23, align 8, !tbaa !5
  %571 = load ptr, ptr %23, align 8, !tbaa !5
  %572 = call noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %571) #8
  br i1 %572, label %573, label %574

573:                                              ; preds = %561
  store i32 0, ptr %27, align 4, !tbaa !48
  br label %723

574:                                              ; preds = %561
  %575 = load ptr, ptr %12, align 8, !tbaa !5
  %576 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 0
  %577 = load i64, ptr %576, align 8, !tbaa !37
  %578 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %575, i64 %577
  %579 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %578, i32 0, i32 1
  %580 = load i8, ptr %579, align 1, !tbaa !41, !range !35, !noundef !36
  %581 = trunc i8 %580 to i1
  br i1 %581, label %654, label %582

582:                                              ; preds = %574
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #8
  %583 = load ptr, ptr %23, align 8, !tbaa !5
  %584 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %583) #8
  %585 = getelementptr inbounds %"struct.std::_List_iterator.5", ptr %36, i32 0, i32 0
  store ptr %584, ptr %585, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %25, ptr align 8 %36, i64 8, i1 false), !tbaa.struct !52
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #8
  %586 = call ptr @_ZNSt14_List_iteratorIN13TPPLPartition8DiagonalEEmmEi(ptr noundef nonnull align 8 dereferenceable(8) %25, i32 noundef 0) #8
  %587 = getelementptr inbounds %"struct.std::_List_iterator.5", ptr %37, i32 0, i32 0
  store ptr %586, ptr %587, align 8
  %588 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  %589 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %588, i32 0, i32 1
  %590 = load i64, ptr %589, align 8, !tbaa !39
  store i64 %590, ptr %15, align 8, !tbaa !9
  %591 = load i64, ptr %15, align 8, !tbaa !9
  %592 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 0
  store i64 %591, ptr %592, align 8, !tbaa !37
  %593 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 1
  %594 = load i64, ptr %593, align 8, !tbaa !39
  %595 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 1
  store i64 %594, ptr %595, align 8, !tbaa !39
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE10push_frontERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %19, ptr noundef nonnull align 8 dereferenceable(16) %22)
          to label %596 unwind label %105

596:                                              ; preds = %582
  %597 = load i64, ptr %15, align 8, !tbaa !9
  %598 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 0
  %599 = load i64, ptr %598, align 8, !tbaa !37
  %600 = sub nsw i64 %597, %599
  %601 = icmp sgt i64 %600, 1
  br i1 %601, label %602, label %653

602:                                              ; preds = %596
  %603 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  %604 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %603, i32 0, i32 0
  %605 = load i64, ptr %604, align 8, !tbaa !37
  %606 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  %607 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %606, i32 0, i32 1
  %608 = load i64, ptr %607, align 8, !tbaa !39
  %609 = icmp ne i64 %605, %608
  br i1 %609, label %610, label %646

610:                                              ; preds = %602
  %611 = load ptr, ptr %13, align 8, !tbaa !5
  %612 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 0
  %613 = load i64, ptr %612, align 8, !tbaa !37
  %614 = getelementptr inbounds ptr, ptr %611, i64 %613
  %615 = load ptr, ptr %614, align 8, !tbaa !5
  %616 = load i64, ptr %15, align 8, !tbaa !9
  %617 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %615, i64 %616
  %618 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %617, i32 0, i32 2
  store ptr %618, ptr %24, align 8, !tbaa !5
  br label %619

619:                                              ; preds = %640, %610
  br label %620

620:                                              ; preds = %619
  %621 = load ptr, ptr %24, align 8, !tbaa !5
  %622 = call noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %621) #8
  br i1 %622, label %623, label %624

623:                                              ; preds = %620
  store i32 0, ptr %27, align 4, !tbaa !48
  br label %641

624:                                              ; preds = %620
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #8
  %625 = load ptr, ptr %24, align 8, !tbaa !5
  %626 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %625) #8
  %627 = getelementptr inbounds %"struct.std::_List_iterator.5", ptr %38, i32 0, i32 0
  store ptr %626, ptr %627, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %26, ptr align 8 %38, i64 8, i1 false), !tbaa.struct !52
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #8
  %628 = call ptr @_ZNSt14_List_iteratorIN13TPPLPartition8DiagonalEEmmEi(ptr noundef nonnull align 8 dereferenceable(8) %26, i32 noundef 0) #8
  %629 = getelementptr inbounds %"struct.std::_List_iterator.5", ptr %39, i32 0, i32 0
  store ptr %628, ptr %629, align 8
  %630 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  %631 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %630, i32 0, i32 0
  %632 = load i64, ptr %631, align 8, !tbaa !37
  %633 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %634 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %633, i32 0, i32 0
  %635 = load i64, ptr %634, align 8, !tbaa !37
  %636 = icmp ne i64 %632, %635
  br i1 %636, label %637, label %639

637:                                              ; preds = %624
  %638 = load ptr, ptr %24, align 8, !tbaa !5
  call void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE8pop_backEv(ptr noundef nonnull align 8 dereferenceable(24) %638) #8
  br label %640

639:                                              ; preds = %624
  br label %641

640:                                              ; preds = %637
  br label %619, !llvm.loop !53

641:                                              ; preds = %639, %623
  %642 = load i32, ptr %27, align 4, !tbaa !48
  %643 = icmp eq i32 %642, 0
  br i1 %643, label %644, label %645

644:                                              ; preds = %641
  br label %723

645:                                              ; preds = %641
  br label %646

646:                                              ; preds = %645, %602
  %647 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 0
  %648 = load i64, ptr %647, align 8, !tbaa !37
  %649 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 0
  store i64 %648, ptr %649, align 8, !tbaa !37
  %650 = load i64, ptr %15, align 8, !tbaa !9
  %651 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 1
  store i64 %650, ptr %651, align 8, !tbaa !39
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE10push_frontERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %19, ptr noundef nonnull align 8 dereferenceable(16) %22)
          to label %652 unwind label %105

652:                                              ; preds = %646
  br label %653

653:                                              ; preds = %652, %596
  br label %722

654:                                              ; preds = %574
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #8
  %655 = load ptr, ptr %23, align 8, !tbaa !5
  %656 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %655) #8
  %657 = getelementptr inbounds %"struct.std::_List_iterator.5", ptr %40, i32 0, i32 0
  store ptr %656, ptr %657, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %25, ptr align 8 %40, i64 8, i1 false), !tbaa.struct !52
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #8
  %658 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  %659 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %658, i32 0, i32 0
  %660 = load i64, ptr %659, align 8, !tbaa !37
  store i64 %660, ptr %15, align 8, !tbaa !9
  %661 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 0
  %662 = load i64, ptr %661, align 8, !tbaa !37
  %663 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 0
  store i64 %662, ptr %663, align 8, !tbaa !37
  %664 = load i64, ptr %15, align 8, !tbaa !9
  %665 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 1
  store i64 %664, ptr %665, align 8, !tbaa !39
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE10push_frontERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %19, ptr noundef nonnull align 8 dereferenceable(16) %22)
          to label %666 unwind label %105

666:                                              ; preds = %654
  %667 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 1
  %668 = load i64, ptr %667, align 8, !tbaa !39
  %669 = load i64, ptr %15, align 8, !tbaa !9
  %670 = sub nsw i64 %668, %669
  %671 = icmp sgt i64 %670, 1
  br i1 %671, label %672, label %721

672:                                              ; preds = %666
  %673 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  %674 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %673, i32 0, i32 0
  %675 = load i64, ptr %674, align 8, !tbaa !37
  %676 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  %677 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %676, i32 0, i32 1
  %678 = load i64, ptr %677, align 8, !tbaa !39
  %679 = icmp ne i64 %675, %678
  br i1 %679, label %680, label %714

680:                                              ; preds = %672
  %681 = load ptr, ptr %13, align 8, !tbaa !5
  %682 = load i64, ptr %15, align 8, !tbaa !9
  %683 = getelementptr inbounds ptr, ptr %681, i64 %682
  %684 = load ptr, ptr %683, align 8, !tbaa !5
  %685 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 1
  %686 = load i64, ptr %685, align 8, !tbaa !39
  %687 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %684, i64 %686
  %688 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %687, i32 0, i32 2
  store ptr %688, ptr %24, align 8, !tbaa !5
  br label %689

689:                                              ; preds = %708, %680
  br label %690

690:                                              ; preds = %689
  %691 = load ptr, ptr %24, align 8, !tbaa !5
  %692 = call noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %691) #8
  br i1 %692, label %693, label %694

693:                                              ; preds = %690
  store i32 0, ptr %27, align 4, !tbaa !48
  br label %709

694:                                              ; preds = %690
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #8
  %695 = load ptr, ptr %24, align 8, !tbaa !5
  %696 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %695) #8
  %697 = getelementptr inbounds %"struct.std::_List_iterator.5", ptr %41, i32 0, i32 0
  store ptr %696, ptr %697, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %26, ptr align 8 %41, i64 8, i1 false), !tbaa.struct !52
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #8
  %698 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  %699 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %698, i32 0, i32 1
  %700 = load i64, ptr %699, align 8, !tbaa !39
  %701 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %702 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %701, i32 0, i32 1
  %703 = load i64, ptr %702, align 8, !tbaa !39
  %704 = icmp ne i64 %700, %703
  br i1 %704, label %705, label %707

705:                                              ; preds = %694
  %706 = load ptr, ptr %24, align 8, !tbaa !5
  call void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9pop_frontEv(ptr noundef nonnull align 8 dereferenceable(24) %706) #8
  br label %708

707:                                              ; preds = %694
  br label %709

708:                                              ; preds = %705
  br label %689, !llvm.loop !54

709:                                              ; preds = %707, %693
  %710 = load i32, ptr %27, align 4, !tbaa !48
  %711 = icmp eq i32 %710, 0
  br i1 %711, label %712, label %713

712:                                              ; preds = %709
  br label %723

713:                                              ; preds = %709
  br label %714

714:                                              ; preds = %713, %672
  %715 = load i64, ptr %15, align 8, !tbaa !9
  %716 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 0
  store i64 %715, ptr %716, align 8, !tbaa !37
  %717 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 1
  %718 = load i64, ptr %717, align 8, !tbaa !39
  %719 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 1
  store i64 %718, ptr %719, align 8, !tbaa !39
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE10push_frontERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %19, ptr noundef nonnull align 8 dereferenceable(16) %22)
          to label %720 unwind label %105

720:                                              ; preds = %714
  br label %721

721:                                              ; preds = %720, %666
  br label %722

722:                                              ; preds = %721, %653
  br label %547, !llvm.loop !51

723:                                              ; preds = %712, %644, %573, %547
  %724 = load i32, ptr %27, align 4, !tbaa !48
  %725 = icmp eq i32 %724, 0
  br i1 %725, label %726, label %763

726:                                              ; preds = %723
  store i64 0, ptr %14, align 8, !tbaa !9
  br label %727

727:                                              ; preds = %750, %726
  %728 = load i64, ptr %14, align 8, !tbaa !9
  %729 = load i64, ptr %17, align 8, !tbaa !9
  %730 = icmp slt i64 %728, %729
  br i1 %730, label %731, label %753

731:                                              ; preds = %727
  %732 = load ptr, ptr %13, align 8, !tbaa !5
  %733 = load i64, ptr %14, align 8, !tbaa !9
  %734 = getelementptr inbounds ptr, ptr %732, i64 %733
  %735 = load ptr, ptr %734, align 8, !tbaa !5
  %736 = icmp eq ptr %735, null
  br i1 %736, label %749, label %737

737:                                              ; preds = %731
  %738 = getelementptr inbounds i8, ptr %735, i64 -8
  %739 = load i64, ptr %738, align 8
  %740 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %735, i64 %739
  %741 = icmp eq ptr %735, %740
  br i1 %741, label %746, label %742

742:                                              ; preds = %742, %737
  %743 = phi ptr [ %740, %737 ], [ %744, %742 ]
  %744 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %743, i64 -1
  call void @_ZN13TPPLPartition8DPState2D2Ev(ptr noundef nonnull align 8 dereferenceable(40) %744) #8
  %745 = icmp eq ptr %744, %735
  br i1 %745, label %746, label %742

746:                                              ; preds = %742, %737
  %747 = mul i64 40, %739
  %748 = add i64 %747, 8
  call void @_ZdaPvm(ptr noundef %738, i64 noundef %748) #10
  br label %749

749:                                              ; preds = %746, %731
  br label %750

750:                                              ; preds = %749
  %751 = load i64, ptr %14, align 8, !tbaa !9
  %752 = add nsw i64 %751, 1
  store i64 %752, ptr %14, align 8, !tbaa !9
  br label %727, !llvm.loop !55

753:                                              ; preds = %727
  %754 = load ptr, ptr %13, align 8, !tbaa !5
  %755 = icmp eq ptr %754, null
  br i1 %755, label %757, label %756

756:                                              ; preds = %753
  call void @_ZdaPv(ptr noundef %754) #10
  br label %757

757:                                              ; preds = %756, %753
  %758 = load ptr, ptr %12, align 8, !tbaa !5
  %759 = icmp eq ptr %758, null
  br i1 %759, label %761, label %760

760:                                              ; preds = %757
  call void @_ZdaPv(ptr noundef %758) #10
  br label %761

761:                                              ; preds = %760, %757
  %762 = load i32, ptr %27, align 4, !tbaa !48
  store i32 %762, ptr %4, align 4
  store i32 1, ptr %42, align 4
  br label %945

763:                                              ; preds = %723
  %764 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 0
  store i64 0, ptr %764, align 8, !tbaa !37
  %765 = load i64, ptr %17, align 8, !tbaa !9
  %766 = sub nsw i64 %765, 1
  %767 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 1
  store i64 %766, ptr %767, align 8, !tbaa !39
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE10push_frontERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %19, ptr noundef nonnull align 8 dereferenceable(16) %22)
          to label %768 unwind label %105

768:                                              ; preds = %763
  br label %769

769:                                              ; preds = %907, %782, %768
  %770 = call noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %19) #8
  %771 = xor i1 %770, true
  br i1 %771, label %772, label %908

772:                                              ; preds = %769
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #8
  %773 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %19) #8
  %774 = getelementptr inbounds %"struct.std::_List_iterator.5", ptr %43, i32 0, i32 0
  store ptr %773, ptr %774, align 8
  %775 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %43) #8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %21, ptr align 8 %775, i64 16, i1 false), !tbaa.struct !50
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #8
  call void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9pop_frontEv(ptr noundef nonnull align 8 dereferenceable(24) %19) #8
  %776 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 1
  %777 = load i64, ptr %776, align 8, !tbaa !39
  %778 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 0
  %779 = load i64, ptr %778, align 8, !tbaa !37
  %780 = sub nsw i64 %777, %779
  %781 = icmp sle i64 %780, 1
  br i1 %781, label %782, label %783

782:                                              ; preds = %772
  br label %769, !llvm.loop !56

783:                                              ; preds = %772
  call void @_ZNSt7__cxx114listIlSaIlEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %31) #8
  call void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %20) #8
  %784 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 0
  invoke void @_ZNSt7__cxx114listIlSaIlEE9push_backERKl(ptr noundef nonnull align 8 dereferenceable(24) %31, ptr noundef nonnull align 8 dereferenceable(8) %784)
          to label %785 unwind label %105

785:                                              ; preds = %783
  %786 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 1
  invoke void @_ZNSt7__cxx114listIlSaIlEE9push_backERKl(ptr noundef nonnull align 8 dereferenceable(24) %31, ptr noundef nonnull align 8 dereferenceable(8) %786)
          to label %787 unwind label %105

787:                                              ; preds = %785
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE10push_frontERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %20, ptr noundef nonnull align 8 dereferenceable(16) %21)
          to label %788 unwind label %105

788:                                              ; preds = %787
  br label %789

789:                                              ; preds = %879, %802, %788
  %790 = call noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %20) #8
  %791 = xor i1 %790, true
  br i1 %791, label %792, label %880

792:                                              ; preds = %789
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #8
  %793 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %20) #8
  %794 = getelementptr inbounds %"struct.std::_List_iterator.5", ptr %44, i32 0, i32 0
  store ptr %793, ptr %794, align 8
  %795 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %44) #8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %21, ptr align 8 %795, i64 16, i1 false), !tbaa.struct !50
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #8
  call void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9pop_frontEv(ptr noundef nonnull align 8 dereferenceable(24) %20) #8
  %796 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 1
  %797 = load i64, ptr %796, align 8, !tbaa !39
  %798 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 0
  %799 = load i64, ptr %798, align 8, !tbaa !37
  %800 = sub nsw i64 %797, %799
  %801 = icmp sle i64 %800, 1
  br i1 %801, label %802, label %803

802:                                              ; preds = %792
  br label %789, !llvm.loop !57

803:                                              ; preds = %792
  store i8 1, ptr %33, align 1, !tbaa !58
  store i8 1, ptr %34, align 1, !tbaa !58
  %804 = load ptr, ptr %13, align 8, !tbaa !5
  %805 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 0
  %806 = load i64, ptr %805, align 8, !tbaa !37
  %807 = getelementptr inbounds ptr, ptr %804, i64 %806
  %808 = load ptr, ptr %807, align 8, !tbaa !5
  %809 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 1
  %810 = load i64, ptr %809, align 8, !tbaa !39
  %811 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %808, i64 %810
  %812 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %811, i32 0, i32 2
  store ptr %812, ptr %23, align 8, !tbaa !5
  %813 = load ptr, ptr %12, align 8, !tbaa !5
  %814 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 0
  %815 = load i64, ptr %814, align 8, !tbaa !37
  %816 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %813, i64 %815
  %817 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %816, i32 0, i32 1
  %818 = load i8, ptr %817, align 1, !tbaa !41, !range !35, !noundef !36
  %819 = trunc i8 %818 to i1
  br i1 %819, label %838, label %820

820:                                              ; preds = %803
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #8
  %821 = load ptr, ptr %23, align 8, !tbaa !5
  %822 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %821) #8
  %823 = getelementptr inbounds %"struct.std::_List_iterator.5", ptr %45, i32 0, i32 0
  store ptr %822, ptr %823, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %25, ptr align 8 %45, i64 8, i1 false), !tbaa.struct !52
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #8
  %824 = call ptr @_ZNSt14_List_iteratorIN13TPPLPartition8DiagonalEEmmEi(ptr noundef nonnull align 8 dereferenceable(8) %25, i32 noundef 0) #8
  %825 = getelementptr inbounds %"struct.std::_List_iterator.5", ptr %46, i32 0, i32 0
  store ptr %824, ptr %825, align 8
  %826 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  %827 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %826, i32 0, i32 1
  %828 = load i64, ptr %827, align 8, !tbaa !39
  store i64 %828, ptr %15, align 8, !tbaa !9
  %829 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  %830 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %829, i32 0, i32 0
  %831 = load i64, ptr %830, align 8, !tbaa !37
  %832 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  %833 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %832, i32 0, i32 1
  %834 = load i64, ptr %833, align 8, !tbaa !39
  %835 = icmp ne i64 %831, %834
  br i1 %835, label %836, label %837

836:                                              ; preds = %820
  store i8 0, ptr %33, align 1, !tbaa !58
  br label %837

837:                                              ; preds = %836, %820
  br label %854

838:                                              ; preds = %803
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #8
  %839 = load ptr, ptr %23, align 8, !tbaa !5
  %840 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %839) #8
  %841 = getelementptr inbounds %"struct.std::_List_iterator.5", ptr %47, i32 0, i32 0
  store ptr %840, ptr %841, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %25, ptr align 8 %47, i64 8, i1 false), !tbaa.struct !52
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #8
  %842 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  %843 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %842, i32 0, i32 0
  %844 = load i64, ptr %843, align 8, !tbaa !37
  store i64 %844, ptr %15, align 8, !tbaa !9
  %845 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  %846 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %845, i32 0, i32 0
  %847 = load i64, ptr %846, align 8, !tbaa !37
  %848 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  %849 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %848, i32 0, i32 1
  %850 = load i64, ptr %849, align 8, !tbaa !39
  %851 = icmp ne i64 %847, %850
  br i1 %851, label %852, label %853

852:                                              ; preds = %838
  store i8 0, ptr %34, align 1, !tbaa !58
  br label %853

853:                                              ; preds = %852, %838
  br label %854

854:                                              ; preds = %853, %837
  %855 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 0
  %856 = load i64, ptr %855, align 8, !tbaa !37
  %857 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 0
  store i64 %856, ptr %857, align 8, !tbaa !37
  %858 = load i64, ptr %15, align 8, !tbaa !9
  %859 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 1
  store i64 %858, ptr %859, align 8, !tbaa !39
  %860 = load i8, ptr %33, align 1, !tbaa !58, !range !35, !noundef !36
  %861 = trunc i8 %860 to i1
  br i1 %861, label %862, label %864

862:                                              ; preds = %854
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9push_backERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %19, ptr noundef nonnull align 8 dereferenceable(16) %22)
          to label %863 unwind label %105

863:                                              ; preds = %862
  br label %866

864:                                              ; preds = %854
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9push_backERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %20, ptr noundef nonnull align 8 dereferenceable(16) %22)
          to label %865 unwind label %105

865:                                              ; preds = %864
  br label %866

866:                                              ; preds = %865, %863
  %867 = load i64, ptr %15, align 8, !tbaa !9
  %868 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 0
  store i64 %867, ptr %868, align 8, !tbaa !37
  %869 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %21, i32 0, i32 1
  %870 = load i64, ptr %869, align 8, !tbaa !39
  %871 = getelementptr inbounds %"struct.TPPLPartition::Diagonal", ptr %22, i32 0, i32 1
  store i64 %870, ptr %871, align 8, !tbaa !39
  %872 = load i8, ptr %34, align 1, !tbaa !58, !range !35, !noundef !36
  %873 = trunc i8 %872 to i1
  br i1 %873, label %874, label %876

874:                                              ; preds = %866
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9push_backERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %19, ptr noundef nonnull align 8 dereferenceable(16) %22)
          to label %875 unwind label %105

875:                                              ; preds = %874
  br label %878

876:                                              ; preds = %866
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9push_backERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %20, ptr noundef nonnull align 8 dereferenceable(16) %22)
          to label %877 unwind label %105

877:                                              ; preds = %876
  br label %878

878:                                              ; preds = %877, %875
  invoke void @_ZNSt7__cxx114listIlSaIlEE9push_backERKl(ptr noundef nonnull align 8 dereferenceable(24) %31, ptr noundef nonnull align 8 dereferenceable(8) %15)
          to label %879 unwind label %105

879:                                              ; preds = %878
  br label %789, !llvm.loop !57

880:                                              ; preds = %789
  invoke void @_ZNSt7__cxx114listIlSaIlEE4sortEv(ptr noundef nonnull align 8 dereferenceable(24) %31)
          to label %881 unwind label %105

881:                                              ; preds = %880
  %882 = call noundef i64 @_ZNKSt7__cxx114listIlSaIlEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %31) #8
  invoke void @_ZN8TPPLPoly4InitEl(ptr noundef nonnull align 8 dereferenceable(17) %28, i64 noundef %882)
          to label %883 unwind label %105

883:                                              ; preds = %881
  store i64 0, ptr %16, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #8
  %884 = call ptr @_ZNSt7__cxx114listIlSaIlEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %31) #8
  %885 = getelementptr inbounds %"struct.std::_List_iterator.11", ptr %48, i32 0, i32 0
  store ptr %884, ptr %885, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %32, ptr align 8 %48, i64 8, i1 false), !tbaa.struct !52
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #8
  br label %886

886:                                              ; preds = %902, %883
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #8
  %887 = call ptr @_ZNSt7__cxx114listIlSaIlEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %31) #8
  %888 = getelementptr inbounds %"struct.std::_List_iterator.11", ptr %49, i32 0, i32 0
  store ptr %887, ptr %888, align 8
  %889 = call noundef zeroext i1 @_ZStneRKSt14_List_iteratorIlES2_(ptr noundef nonnull align 8 dereferenceable(8) %32, ptr noundef nonnull align 8 dereferenceable(8) %49) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #8
  br i1 %889, label %890, label %905

890:                                              ; preds = %886
  %891 = load ptr, ptr %12, align 8, !tbaa !5
  %892 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt14_List_iteratorIlEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %32) #8
  %893 = load i64, ptr %892, align 8, !tbaa !9
  %894 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %891, i64 %893
  %895 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %894, i32 0, i32 3
  %896 = load i64, ptr %16, align 8, !tbaa !9
  %897 = trunc i64 %896 to i32
  %898 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPolyixEi(ptr noundef nonnull align 8 dereferenceable(17) %28, i32 noundef %897)
          to label %899 unwind label %105

899:                                              ; preds = %890
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %898, ptr align 8 %895, i64 16, i1 false), !tbaa.struct !13
  %900 = load i64, ptr %16, align 8, !tbaa !9
  %901 = add nsw i64 %900, 1
  store i64 %901, ptr %16, align 8, !tbaa !9
  br label %902

902:                                              ; preds = %899
  %903 = call ptr @_ZNSt14_List_iteratorIlEppEi(ptr noundef nonnull align 8 dereferenceable(8) %32, i32 noundef 0) #8
  %904 = getelementptr inbounds %"struct.std::_List_iterator.11", ptr %50, i32 0, i32 0
  store ptr %903, ptr %904, align 8
  br label %886, !llvm.loop !59

905:                                              ; preds = %886
  %906 = load ptr, ptr %7, align 8, !tbaa !5
  invoke void @_ZNSt7__cxx114listI8TPPLPolySaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %906, ptr noundef nonnull align 8 dereferenceable(17) %28)
          to label %907 unwind label %105

907:                                              ; preds = %905
  br label %769, !llvm.loop !56

908:                                              ; preds = %769
  store i64 0, ptr %14, align 8, !tbaa !9
  br label %909

909:                                              ; preds = %932, %908
  %910 = load i64, ptr %14, align 8, !tbaa !9
  %911 = load i64, ptr %17, align 8, !tbaa !9
  %912 = icmp slt i64 %910, %911
  br i1 %912, label %913, label %935

913:                                              ; preds = %909
  %914 = load ptr, ptr %13, align 8, !tbaa !5
  %915 = load i64, ptr %14, align 8, !tbaa !9
  %916 = getelementptr inbounds ptr, ptr %914, i64 %915
  %917 = load ptr, ptr %916, align 8, !tbaa !5
  %918 = icmp eq ptr %917, null
  br i1 %918, label %931, label %919

919:                                              ; preds = %913
  %920 = getelementptr inbounds i8, ptr %917, i64 -8
  %921 = load i64, ptr %920, align 8
  %922 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %917, i64 %921
  %923 = icmp eq ptr %917, %922
  br i1 %923, label %928, label %924

924:                                              ; preds = %924, %919
  %925 = phi ptr [ %922, %919 ], [ %926, %924 ]
  %926 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %925, i64 -1
  call void @_ZN13TPPLPartition8DPState2D2Ev(ptr noundef nonnull align 8 dereferenceable(40) %926) #8
  %927 = icmp eq ptr %926, %917
  br i1 %927, label %928, label %924

928:                                              ; preds = %924, %919
  %929 = mul i64 40, %921
  %930 = add i64 %929, 8
  call void @_ZdaPvm(ptr noundef %920, i64 noundef %930) #10
  br label %931

931:                                              ; preds = %928, %913
  br label %932

932:                                              ; preds = %931
  %933 = load i64, ptr %14, align 8, !tbaa !9
  %934 = add nsw i64 %933, 1
  store i64 %934, ptr %14, align 8, !tbaa !9
  br label %909, !llvm.loop !60

935:                                              ; preds = %909
  %936 = load ptr, ptr %13, align 8, !tbaa !5
  %937 = icmp eq ptr %936, null
  br i1 %937, label %939, label %938

938:                                              ; preds = %935
  call void @_ZdaPv(ptr noundef %936) #10
  br label %939

939:                                              ; preds = %938, %935
  %940 = load ptr, ptr %12, align 8, !tbaa !5
  %941 = icmp eq ptr %940, null
  br i1 %941, label %943, label %942

942:                                              ; preds = %939
  call void @_ZdaPv(ptr noundef %940) #10
  br label %943

943:                                              ; preds = %942, %939
  %944 = load i32, ptr %27, align 4, !tbaa !48
  store i32 %944, ptr %4, align 4
  store i32 1, ptr %42, align 4
  br label %945

945:                                              ; preds = %943, %761
  call void @llvm.lifetime.end.p0(i64 1, ptr %34) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %33) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  call void @_ZNSt7__cxx1110_List_baseIlSaIlEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %31) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %31) #8
  call void @_ZN8TPPLPolyD1Ev(ptr noundef nonnull align 8 dereferenceable(17) %28) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %28) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %22) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %21) #8
  call void @_ZNSt7__cxx1110_List_baseIN13TPPLPartition8DiagonalESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %20) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %20) #8
  call void @_ZNSt7__cxx1110_List_baseIN13TPPLPartition8DiagonalESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %19) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %19) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %11) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %10) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %9) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %8) #8
  %946 = load i32, ptr %4, align 4
  ret i32 %946

947:                                              ; preds = %105, %101
  call void @llvm.lifetime.end.p0(i64 24, ptr %28) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %22) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %21) #8
  call void @_ZNSt7__cxx1110_List_baseIN13TPPLPartition8DiagonalESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %20) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %20) #8
  call void @_ZNSt7__cxx1110_List_baseIN13TPPLPartition8DiagonalESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %19) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %19) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %11) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %10) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %9) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %8) #8
  br label %948

948:                                              ; preds = %947
  %949 = load ptr, ptr %29, align 8
  %950 = load i32, ptr %30, align 4
  %951 = insertvalue { ptr, i32 } poison, ptr %949, 0
  %952 = insertvalue { ptr, i32 } %951, i32 %950, 1
  resume { ptr, i32 } %952
}

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt7__cxx114listIlSaIlEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt14_List_iteratorIlEC2Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #6 align 2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare { i64, i1 } @llvm.uadd.with.overflow.i64(i64, i64) #2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN13TPPLPartition8DPState2C2Ev(ptr noundef nonnull align 8 dereferenceable(40)) unnamed_addr #7 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE8pop_backEv(ptr noundef nonnull align 8 dereferenceable(24)) #6 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN13TPPLPartition8DPState2D2Ev(ptr noundef nonnull align 8 dereferenceable(40)) unnamed_addr #7 align 2

; Function Attrs: nobuiltin nounwind
declare void @_ZdaPvm(ptr noundef, i64 noundef) #0

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt7__cxx114listIlSaIlEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24)) #6 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt7__cxx114listIlSaIlEE9push_backERKl(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(8)) #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt7__cxx114listIlSaIlEE4sortEv(ptr noundef nonnull align 8 dereferenceable(24)) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNKSt7__cxx114listIlSaIlEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24)) #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt7__cxx114listIlSaIlEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24)) #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZStneRKSt14_List_iteratorIlES2_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #6

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt7__cxx114listIlSaIlEE3endEv(ptr noundef nonnull align 8 dereferenceable(24)) #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt14_List_iteratorIlEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt14_List_iteratorIlEppEi(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef) #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt7__cxx1110_List_baseIlSaIlEED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #6 align 2

declare void @_ZN8TPPLPolyC1Ev(ptr)

declare void @_ZN8TPPLPolyD1Ev(ptr)

attributes #0 = { nobuiltin nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #3 = { nobuiltin allocsize(0) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #5 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #6 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #8 = { nounwind }
attributes #9 = { builtin allocsize(0) }
attributes #10 = { builtin nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"long", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = !{i64 0, i64 8, !14, i64 8, i64 8, !14}
!14 = !{!15, !15, i64 0}
!15 = !{!"double", !7, i64 0}
!16 = !{!17, !18, i64 0}
!17 = !{!"_ZTSN13TPPLPartition15PartitionVertexE", !18, i64 0, !18, i64 1, !18, i64 2, !19, i64 8, !15, i64 24, !6, i64 32, !6, i64 40}
!18 = !{!"bool", !7, i64 0}
!19 = !{!"_ZTS9TPPLPoint", !15, i64 0, !15, i64 8}
!20 = !{!17, !6, i64 32}
!21 = !{!17, !6, i64 40}
!22 = distinct !{!22, !12}
!23 = distinct !{!23, !12}
!24 = !{!25, !18, i64 0}
!25 = !{!"_ZTSN13TPPLPartition8DPState2E", !18, i64 0, !10, i64 8, !26, i64 16}
!26 = !{!"_ZTSNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EEE", !27, i64 0}
!27 = !{!"_ZTSNSt7__cxx1110_List_baseIN13TPPLPartition8DiagonalESaIS2_EEE", !28, i64 0}
!28 = !{!"_ZTSNSt7__cxx1110_List_baseIN13TPPLPartition8DiagonalESaIS2_EE10_List_implE", !29, i64 0}
!29 = !{!"_ZTSNSt8__detail17_List_node_headerE", !30, i64 0, !10, i64 16}
!30 = !{!"_ZTSNSt8__detail15_List_node_baseE", !6, i64 0, !6, i64 8}
!31 = !{!25, !10, i64 8}
!32 = distinct !{!32, !12}
!33 = distinct !{!33, !12}
!34 = distinct !{!34, !12}
!35 = !{i8 0, i8 2}
!36 = !{}
!37 = !{!38, !10, i64 0}
!38 = !{!"_ZTSN13TPPLPartition8DiagonalE", !10, i64 0, !10, i64 8}
!39 = !{!38, !10, i64 8}
!40 = distinct !{!40, !12}
!41 = !{!17, !18, i64 1}
!42 = distinct !{!42, !12}
!43 = distinct !{!43, !12}
!44 = distinct !{!44, !12}
!45 = distinct !{!45, !12}
!46 = distinct !{!46, !12}
!47 = distinct !{!47, !12}
!48 = !{!49, !49, i64 0}
!49 = !{!"int", !7, i64 0}
!50 = !{i64 0, i64 8, !9, i64 8, i64 8, !9}
!51 = distinct !{!51, !12}
!52 = !{i64 0, i64 8, !5}
!53 = distinct !{!53, !12}
!54 = distinct !{!54, !12}
!55 = distinct !{!55, !12}
!56 = distinct !{!56, !12}
!57 = distinct !{!57, !12}
!58 = !{!18, !18, i64 0}
!59 = distinct !{!59, !12}
!60 = distinct !{!60, !12}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.TPPLPoint = type { double, double }
%"class.std::__cxx11::list.0" = type { %"class.std::__cxx11::_List_base.1" }
%"class.std::__cxx11::_List_base.1" = type { %"struct.std::__cxx11::_List_base<TPPLPartition::Diagonal, std::allocator<TPPLPartition::Diagonal>>::_List_impl" }
%"struct.std::__cxx11::_List_base<TPPLPartition::Diagonal, std::allocator<TPPLPartition::Diagonal>>::_List_impl" = type { %"struct.std::__detail::_List_node_header" }
%"struct.std::__detail::_List_node_header" = type { %"struct.std::__detail::_List_node_base", i64 }
%"struct.std::__detail::_List_node_base" = type { ptr, ptr }
%"struct.TPPLPartition::Diagonal" = type { i64, i64 }
%"struct.std::_List_iterator.5" = type { ptr }
%class.TPPLPoly = type <{ ptr, i64, i8, [7 x i8] }>
%"class.std::__cxx11::list.6" = type { %"class.std::__cxx11::_List_base.7" }
%"class.std::__cxx11::_List_base.7" = type { %"struct.std::__cxx11::_List_base<long, std::allocator<long>>::_List_impl" }
%"struct.std::__cxx11::_List_base<long, std::allocator<long>>::_List_impl" = type { %"struct.std::__detail::_List_node_header" }
%"struct.std::_List_iterator.11" = type { ptr }
%"struct.TPPLPartition::PartitionVertex" = type { i8, i8, i8, %struct.TPPLPoint, double, ptr, ptr }
%"struct.TPPLPartition::DPState2" = type { i8, i64, %"class.std::__cxx11::list.0" }

; Function Attrs: nobuiltin nounwind
declare void @_ZdaPv(ptr noundef) local_unnamed_addr #0

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN8TPPLPoly4InitEl(ptr noundef nonnull align 8 dereferenceable(17), i64 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare { i64, i1 } @llvm.umul.with.overflow.i64(i64, i64) #2

; Function Attrs: nobuiltin allocsize(0)
declare noundef nonnull ptr @_Znam(i64 noundef) local_unnamed_addr #3

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #4

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #5

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #5

; Function Attrs: mustprogress uwtable
declare dso_local noundef i32 @_ZN13TPPLPartition10IntersectsER9TPPLPointS1_S1_S1_(ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #1 align 2

declare i32 @__gxx_personality_v0(...)

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt7__cxx114listI8TPPLPolySaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(17)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZN8TPPLPoly12GetNumPointsEv(ptr noundef nonnull align 8 dereferenceable(17)) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPoly8GetPointEl(ptr noundef nonnull align 8 dereferenceable(17), i64 noundef) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPolyixEi(ptr noundef nonnull align 8 dereferenceable(17), i32 noundef) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN13TPPLPartition6InConeEPNS_15PartitionVertexER9TPPLPoint(ptr noundef nonnull align 1 dereferenceable(1), ptr noundef, ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN13TPPLPartition21UpdateVertexReflexityEPNS_15PartitionVertexE(ptr noundef nonnull align 1 dereferenceable(1), ptr noundef) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #6 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9push_backERKS2_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9pop_frontEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt7__cxx1110_List_baseIN13TPPLPartition8DiagonalESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5clearEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE10push_frontERKS2_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN13TPPLPartition5TypeAElllPNS_15PartitionVertexEPPNS_8DPState2E(ptr noundef nonnull align 1 dereferenceable(1), i64 noundef, i64 noundef, i64 noundef, ptr noundef, ptr noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt14_List_iteratorIN13TPPLPartition8DiagonalEEC2Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt14_List_iteratorIN13TPPLPartition8DiagonalEEmmEi(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN13TPPLPartition5TypeBElllPNS_15PartitionVertexEPPNS_8DPState2E(ptr noundef nonnull align 1 dereferenceable(1), i64 noundef, i64 noundef, i64 noundef, ptr noundef, ptr noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN13TPPLPartition19ConvexPartition_OPTEP8TPPLPolyPNSt7__cxx114listIS0_SaIS0_EEE(ptr noundef nonnull align 1 dereferenceable(1) %0, ptr noundef %1, ptr noundef %2) local_unnamed_addr #1 align 2 personality ptr @__gxx_personality_v0 {
  %4 = alloca %struct.TPPLPoint, align 8
  %5 = alloca %struct.TPPLPoint, align 8
  %6 = alloca %struct.TPPLPoint, align 8
  %7 = alloca %struct.TPPLPoint, align 8
  %8 = alloca i64, align 8
  %9 = alloca %"class.std::__cxx11::list.0", align 8
  %10 = alloca %"class.std::__cxx11::list.0", align 8
  %11 = alloca %"struct.TPPLPartition::Diagonal", align 8
  %12 = alloca %"struct.TPPLPartition::Diagonal", align 8
  %13 = alloca %"struct.std::_List_iterator.5", align 8
  %14 = alloca %"struct.std::_List_iterator.5", align 8
  %15 = alloca %class.TPPLPoly, align 8
  %16 = alloca %"class.std::__cxx11::list.6", align 8
  %17 = alloca %"struct.std::_List_iterator.11", align 8
  %18 = alloca %"struct.std::_List_iterator.5", align 8
  %19 = alloca %"struct.std::_List_iterator.5", align 8
  %20 = alloca %"struct.std::_List_iterator.5", align 8
  %21 = alloca %"struct.std::_List_iterator.11", align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %4) #8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %5) #8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %6) #8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %7) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %9) #8
  call void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %9) #8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %10) #8
  call void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %10) #8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %11) #8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %12) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #8
  call void @_ZNSt14_List_iteratorIN13TPPLPartition8DiagonalEEC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %14) #8
  call void @_ZNSt14_List_iteratorIN13TPPLPartition8DiagonalEEC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %14) #8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %15) #8
  invoke void @_ZN8TPPLPolyC1Ev(ptr noundef nonnull align 8 dereferenceable(17) %15)
          to label %22 unwind label %63

22:                                               ; preds = %3
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %16) #8
  call void @_ZNSt7__cxx114listIlSaIlEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %17) #8
  call void @_ZNSt14_List_iteratorIlEC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %17) #8
  %23 = call noundef i64 @_ZN8TPPLPoly12GetNumPointsEv(ptr noundef nonnull align 8 dereferenceable(17) %1)
  %24 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %23, i64 48)
  %25 = extractvalue { i64, i1 } %24, 1
  %26 = extractvalue { i64, i1 } %24, 0
  %27 = select i1 %25, i64 -1, i64 %26
  %28 = invoke noalias noundef nonnull ptr @_Znam(i64 noundef %27) #9
          to label %29 unwind label %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp

29:                                               ; preds = %22
  %30 = icmp ugt i64 %23, 2305843009213693951
  %31 = shl nuw i64 %23, 3
  %32 = select i1 %30, i64 -1, i64 %31
  %33 = invoke noalias noundef nonnull ptr @_Znam(i64 noundef %32) #9
          to label %.preheader312 unwind label %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp

.preheader312:                                    ; preds = %29
  %34 = icmp sgt i64 %23, 0
  br i1 %34, label %.lr.ph, label %.preheader309.thread

.lr.ph:                                           ; preds = %.preheader312
  %35 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %23, i64 40)
  %36 = extractvalue { i64, i1 } %35, 1
  %37 = extractvalue { i64, i1 } %35, 0
  %38 = call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %37, i64 8)
  %39 = extractvalue { i64, i1 } %38, 1
  %40 = or i1 %36, %39
  %41 = extractvalue { i64, i1 } %38, 0
  %42 = select i1 %40, i64 -1, i64 %41
  br label %52

.preheader310:                                    ; preds = %.loopexit311
  br i1 %34, label %43, label %.preheader309.thread

43:                                               ; preds = %.preheader310
  %44 = getelementptr %"struct.TPPLPartition::PartitionVertex", ptr %28, i64 %23
  %45 = getelementptr i8, ptr %44, i64 -48
  %46 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPoly8GetPointEl(ptr noundef nonnull align 8 dereferenceable(17) %1, i64 noundef 0)
  %47 = getelementptr inbounds i8, ptr %28, i64 8
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %47, ptr noundef nonnull align 8 dereferenceable(16) %46, i64 16, i1 false), !tbaa.struct !5
  store i8 1, ptr %28, align 8, !tbaa !10
  %48 = getelementptr inbounds i8, ptr %28, i64 32
  store ptr %45, ptr %48, align 8
  %49 = call noundef i64 @_ZN8TPPLPoly12GetNumPointsEv(ptr noundef nonnull align 8 dereferenceable(17) %1)
  %50 = icmp eq i64 %49, 1
  %spec.select.idx = select i1 %50, i64 0, i64 48
  %spec.select = getelementptr inbounds i8, ptr %28, i64 %spec.select.idx
  %51 = getelementptr inbounds i8, ptr %28, i64 40
  store ptr %spec.select, ptr %51, align 8
  %exitcond376.peel.not = icmp eq i64 %23, 1
  br i1 %exitcond376.peel.not, label %.preheader309.thread, label %.peel.next

52:                                               ; preds = %.lr.ph, %.loopexit311
  %.0207318 = phi i64 [ 0, %.lr.ph ], [ %62, %.loopexit311 ]
  %53 = invoke noalias noundef nonnull ptr @_Znam(i64 noundef %42) #9
          to label %54 unwind label %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit

54:                                               ; preds = %52
  store i64 %23, ptr %53, align 16
  %55 = getelementptr inbounds i8, ptr %53, i64 8
  %56 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %55, i64 %23
  br label %57

57:                                               ; preds = %57, %54
  %58 = phi ptr [ %55, %54 ], [ %59, %57 ]
  call void @_ZN13TPPLPartition8DPState2C2Ev(ptr noundef nonnull align 8 dereferenceable(40) %58) #8
  %59 = getelementptr inbounds i8, ptr %58, i64 40
  %60 = icmp eq ptr %59, %56
  br i1 %60, label %.loopexit311, label %57

.loopexit311:                                     ; preds = %57
  %61 = getelementptr inbounds ptr, ptr %33, i64 %.0207318
  store ptr %55, ptr %61, align 8, !tbaa !15
  %62 = add nuw nsw i64 %.0207318, 1
  %exitcond.not = icmp eq i64 %62, %23
  br i1 %exitcond.not, label %.preheader310, label %52, !llvm.loop !16

63:                                               ; preds = %3
  %64 = landingpad { ptr, i32 }
          cleanup
  br label %398

.loopexit266:                                     ; preds = %.invoke, %360, %361, %368
  %lpad.loopexit = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit.split-lp

.loopexit.split-lp.loopexit:                      ; preds = %._crit_edge366, %369, %._crit_edge362, %321, %320, %319
  %lpad.loopexit268 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit.split-lp

.loopexit.split-lp.loopexit.split-lp.loopexit:    ; preds = %.loopexit274.invoke, %224, %259
  %lpad.loopexit277 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit.split-lp

.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit: ; preds = %195
  %lpad.loopexit281 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit.split-lp

.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit: ; preds = %167
  %lpad.loopexit285 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit.split-lp

.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit: ; preds = %160
  %lpad.loopexit289 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit.split-lp

.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit: ; preds = %187
  %lpad.loopexit293 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit.split-lp

.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit: ; preds = %._crit_edge336
  %lpad.loopexit296 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit.split-lp

.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit: ; preds = %130
  %lpad.loopexit300 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit.split-lp

.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit: ; preds = %.lr.ph324
  %lpad.loopexit304 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit.split-lp

.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit: ; preds = %52
  %lpad.loopexit313 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit.split-lp

.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp: ; preds = %22, %29, %._crit_edge348, %.thread
  %lpad.loopexit.split-lp = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit.split-lp

.loopexit.split-lp:                               ; preds = %.loopexit.split-lp.loopexit, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit, %.loopexit.split-lp.loopexit.split-lp.loopexit, %.loopexit266
  %lpad.phi = phi { ptr, i32 } [ %lpad.loopexit, %.loopexit266 ], [ %lpad.loopexit268, %.loopexit.split-lp.loopexit ], [ %lpad.loopexit277, %.loopexit.split-lp.loopexit.split-lp.loopexit ], [ %lpad.loopexit281, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit ], [ %lpad.loopexit285, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit ], [ %lpad.loopexit289, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit ], [ %lpad.loopexit293, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit ], [ %lpad.loopexit296, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit ], [ %lpad.loopexit300, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit ], [ %lpad.loopexit304, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit ], [ %lpad.loopexit313, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit ], [ %lpad.loopexit.split-lp, %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #8
  call void @_ZNSt7__cxx1110_List_baseIlSaIlEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %16) #8
  call void @_ZN8TPPLPolyD1Ev(ptr noundef nonnull align 8 dereferenceable(17) %15) #8
  br label %398

.preheader309.thread:                             ; preds = %43, %.preheader310, %.preheader312
  %65 = add i64 %23, -1
  br label %._crit_edge.thread

.peel.next:                                       ; preds = %43, %.peel.next
  %.1319 = phi i64 [ %76, %.peel.next ], [ 1, %43 ]
  %66 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPoly8GetPointEl(ptr noundef nonnull align 8 dereferenceable(17) %1, i64 noundef %.1319)
  %67 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %28, i64 %.1319
  %68 = getelementptr inbounds i8, ptr %67, i64 8
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %68, ptr noundef nonnull align 8 dereferenceable(16) %66, i64 16, i1 false), !tbaa.struct !5
  store i8 1, ptr %67, align 8, !tbaa !10
  %69 = getelementptr i8, ptr %67, i64 -48
  %70 = getelementptr inbounds i8, ptr %67, i64 32
  store ptr %69, ptr %70, align 8
  %71 = call noundef i64 @_ZN8TPPLPoly12GetNumPointsEv(ptr noundef nonnull align 8 dereferenceable(17) %1)
  %72 = add nsw i64 %71, -1
  %73 = icmp eq i64 %.1319, %72
  %74 = getelementptr inbounds i8, ptr %67, i64 48
  %spec.select401 = select i1 %73, ptr %28, ptr %74
  %75 = getelementptr inbounds i8, ptr %67, i64 40
  store ptr %spec.select401, ptr %75, align 8
  %76 = add nuw nsw i64 %.1319, 1
  %exitcond376.not = icmp eq i64 %76, %23
  br i1 %exitcond376.not, label %.lr.ph322, label %.peel.next, !llvm.loop !18

.preheader308:                                    ; preds = %.lr.ph322
  %77 = add nsw i64 %23, -1
  br label %.lr.ph326

.lr.ph322:                                        ; preds = %.peel.next, %.lr.ph322
  %.2321 = phi i64 [ %79, %.lr.ph322 ], [ 1, %.peel.next ]
  %78 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %28, i64 %.2321
  call void @_ZN13TPPLPartition21UpdateVertexReflexityEPNS_15PartitionVertexE(ptr noundef nonnull align 1 dereferenceable(1) %0, ptr noundef nonnull %78)
  %79 = add nuw nsw i64 %.2321, 1
  %exitcond378.not = icmp eq i64 %79, %23
  br i1 %exitcond378.not, label %.preheader308, label %.lr.ph322, !llvm.loop !20

.loopexit307:                                     ; preds = %.loopexit303
  %exitcond380.not = icmp eq i64 %84, %77
  br i1 %exitcond380.not, label %.preheader299, label %.lr.ph326, !llvm.loop !21

.preheader299:                                    ; preds = %.loopexit307
  %80 = add nsw i64 %23, -2
  %81 = icmp sgt i64 %23, 2
  br i1 %81, label %.lr.ph330, label %._crit_edge.thread

.lr.ph330:                                        ; preds = %.preheader299
  %82 = getelementptr inbounds i8, ptr %12, i64 8
  br label %123

.lr.ph326:                                        ; preds = %.preheader308, %.loopexit307
  %.3327 = phi i64 [ %84, %.loopexit307 ], [ 0, %.preheader308 ]
  %83 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPoly8GetPointEl(ptr noundef nonnull align 8 dereferenceable(17) %1, i64 noundef %.3327)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %4, ptr noundef nonnull align 8 dereferenceable(16) %83, i64 16, i1 false), !tbaa.struct !5
  %84 = add nuw nsw i64 %.3327, 1
  store i64 %84, ptr %8, align 8, !tbaa !22
  %85 = getelementptr inbounds ptr, ptr %33, i64 %.3327
  %86 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %28, i64 %.3327
  br label %87

87:                                               ; preds = %.lr.ph326, %.loopexit303
  %storemerge246325 = phi i64 [ %84, %.lr.ph326 ], [ %121, %.loopexit303 ]
  %88 = load ptr, ptr %85, align 8, !tbaa !15
  %89 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %88, i64 %storemerge246325
  store i8 1, ptr %89, align 8, !tbaa !24
  %90 = icmp eq i64 %storemerge246325, %84
  %spec.select402 = select i1 %90, i64 0, i64 2147483647
  %91 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %88, i64 %storemerge246325, i32 1
  store i64 %spec.select402, ptr %91, align 8
  %92 = load i64, ptr %8, align 8, !tbaa !22
  %.not247 = icmp eq i64 %92, %84
  br i1 %.not247, label %.loopexit303, label %93

93:                                               ; preds = %87
  %94 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPoly8GetPointEl(ptr noundef nonnull align 8 dereferenceable(17) %1, i64 noundef %92)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %5, ptr noundef nonnull align 8 dereferenceable(16) %94, i64 16, i1 false), !tbaa.struct !5
  %95 = call noundef zeroext i1 @_ZN13TPPLPartition6InConeEPNS_15PartitionVertexER9TPPLPoint(ptr noundef nonnull align 1 dereferenceable(1) %0, ptr noundef nonnull %86, ptr noundef nonnull align 8 dereferenceable(16) %5)
  br i1 %95, label %100, label %96

96:                                               ; preds = %93
  %97 = load ptr, ptr %85, align 8, !tbaa !15
  %98 = load i64, ptr %8, align 8, !tbaa !22
  %99 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %97, i64 %98
  br label %.loopexit303.sink.split

100:                                              ; preds = %93
  %101 = load i64, ptr %8, align 8, !tbaa !22
  %102 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %28, i64 %101
  %103 = call noundef zeroext i1 @_ZN13TPPLPartition6InConeEPNS_15PartitionVertexER9TPPLPoint(ptr noundef nonnull align 1 dereferenceable(1) %0, ptr noundef nonnull %102, ptr noundef nonnull align 8 dereferenceable(16) %4)
  br i1 %103, label %.lr.ph324, label %104

104:                                              ; preds = %100
  %105 = load ptr, ptr %85, align 8, !tbaa !15
  %106 = load i64, ptr %8, align 8, !tbaa !22
  %107 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %105, i64 %106
  br label %.loopexit303.sink.split

108:                                              ; preds = %115
  %109 = add nuw nsw i64 %.0208323, 1
  %exitcond379.not = icmp eq i64 %109, %23
  br i1 %exitcond379.not, label %.loopexit303, label %.lr.ph324, !llvm.loop !31

.lr.ph324:                                        ; preds = %100, %108
  %.0208323 = phi i64 [ %109, %108 ], [ 0, %100 ]
  %110 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPoly8GetPointEl(ptr noundef nonnull align 8 dereferenceable(17) %1, i64 noundef %.0208323)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %6, ptr noundef nonnull align 8 dereferenceable(16) %110, i64 16, i1 false), !tbaa.struct !5
  %111 = icmp eq i64 %.0208323, %77
  %112 = add nuw nsw i64 %.0208323, 1
  %.sink403 = select i1 %111, i64 0, i64 %112
  %113 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPoly8GetPointEl(ptr noundef nonnull align 8 dereferenceable(17) %1, i64 noundef %.sink403)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %7, ptr noundef nonnull align 8 dereferenceable(16) %113, i64 16, i1 false)
  %114 = invoke noundef i32 @_ZN13TPPLPartition10IntersectsER9TPPLPointS1_S1_S1_(ptr noundef nonnull align 1 dereferenceable(1) %0, ptr noundef nonnull align 8 dereferenceable(16) %4, ptr noundef nonnull align 8 dereferenceable(16) %5, ptr noundef nonnull align 8 dereferenceable(16) %6, ptr noundef nonnull align 8 dereferenceable(16) %7)
          to label %115 unwind label %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit

115:                                              ; preds = %.lr.ph324
  %.not248 = icmp eq i32 %114, 0
  br i1 %.not248, label %108, label %116

116:                                              ; preds = %115
  %117 = load ptr, ptr %85, align 8, !tbaa !15
  %118 = load i64, ptr %8, align 8, !tbaa !22
  %119 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %117, i64 %118
  br label %.loopexit303.sink.split

.loopexit303.sink.split:                          ; preds = %96, %104, %116
  %.sink = phi ptr [ %119, %116 ], [ %107, %104 ], [ %99, %96 ]
  store i8 0, ptr %.sink, align 8, !tbaa !24
  br label %.loopexit303

.loopexit303:                                     ; preds = %108, %.loopexit303.sink.split, %87
  %120 = load i64, ptr %8, align 8, !tbaa !22
  %121 = add nsw i64 %120, 1
  store i64 %121, ptr %8, align 8, !tbaa !22
  %122 = icmp slt i64 %121, %23
  br i1 %122, label %87, label %.loopexit307, !llvm.loop !32

123:                                              ; preds = %.lr.ph330, %135
  %.4329 = phi i64 [ 0, %.lr.ph330 ], [ %.pre-phi, %135 ]
  %124 = add nuw nsw i64 %.4329, 2
  store i64 %124, ptr %8, align 8, !tbaa !22
  %125 = getelementptr inbounds ptr, ptr %33, i64 %.4329
  %126 = load ptr, ptr %125, align 8, !tbaa !15
  %127 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %126, i64 %124
  %128 = load i8, ptr %127, align 8, !tbaa !24, !range !33, !noundef !34
  %129 = trunc nuw i8 %128 to i1
  br i1 %129, label %130, label %._crit_edge392

._crit_edge392:                                   ; preds = %123
  %.pre393 = add nuw nsw i64 %.4329, 1
  br label %135

130:                                              ; preds = %123
  %131 = getelementptr inbounds i8, ptr %127, i64 8
  store i64 0, ptr %131, align 8, !tbaa !35
  %132 = add nuw nsw i64 %.4329, 1
  store i64 %132, ptr %12, align 8, !tbaa !36
  store i64 %132, ptr %82, align 8, !tbaa !38
  %133 = load i64, ptr %8, align 8, !tbaa !22
  %134 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %126, i64 %133, i32 2
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9push_backERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %134, ptr noundef nonnull align 8 dereferenceable(16) %12)
          to label %135 unwind label %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit

135:                                              ; preds = %._crit_edge392, %130
  %.pre-phi = phi i64 [ %.pre393, %._crit_edge392 ], [ %132, %130 ]
  %exitcond381.not = icmp eq i64 %.pre-phi, %80
  br i1 %exitcond381.not, label %._crit_edge, label %123, !llvm.loop !39

._crit_edge.thread:                               ; preds = %.preheader299, %.preheader309.thread
  %.ph395 = phi i64 [ %77, %.preheader299 ], [ %65, %.preheader309.thread ]
  %136 = load ptr, ptr %33, align 8, !tbaa !15
  %137 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %136, i64 %.ph395
  store i8 1, ptr %137, align 8, !tbaa !24
  %138 = getelementptr inbounds i8, ptr %28, i64 1
  store i8 0, ptr %138, align 1, !tbaa !40
  br label %._crit_edge348

._crit_edge:                                      ; preds = %135
  %139 = load ptr, ptr %33, align 8, !tbaa !15
  %140 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %139, i64 %77
  store i8 1, ptr %140, align 8, !tbaa !24
  %141 = getelementptr inbounds i8, ptr %28, i64 1
  store i8 0, ptr %141, align 1, !tbaa !40
  %.not407 = icmp eq i64 %23, 3
  br i1 %.not407, label %._crit_edge348, label %.preheader295

.preheader295:                                    ; preds = %._crit_edge, %._crit_edge346
  %.0211347 = phi i64 [ %202, %._crit_edge346 ], [ 3, %._crit_edge ]
  %142 = sub nsw i64 %23, %.0211347
  %143 = icmp sgt i64 %142, 0
  br i1 %143, label %.lr.ph339, label %.lr.ph345.preheader

.lr.ph339:                                        ; preds = %.preheader295, %.loopexit288
  %.5338 = phi i64 [ %171, %.loopexit288 ], [ 0, %.preheader295 ]
  %144 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %28, i64 %.5338, i32 1
  %145 = load i8, ptr %144, align 1, !tbaa !40, !range !33, !noundef !34
  %146 = trunc nuw i8 %145 to i1
  br i1 %146, label %.loopexit288, label %147

147:                                              ; preds = %.lr.ph339
  %148 = add nuw nsw i64 %.5338, %.0211347
  %149 = getelementptr inbounds ptr, ptr %33, i64 %.5338
  %150 = load ptr, ptr %149, align 8, !tbaa !15
  %151 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %150, i64 %148
  %152 = load i8, ptr %151, align 8, !tbaa !24, !range !33, !noundef !34
  %153 = trunc nuw i8 %152 to i1
  br i1 %153, label %154, label %.loopexit288

154:                                              ; preds = %147
  %155 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %28, i64 %148, i32 1
  %156 = load i8, ptr %155, align 1, !tbaa !40, !range !33, !noundef !34
  %157 = trunc nuw i8 %156 to i1
  br i1 %157, label %.preheader284, label %.preheader287

.preheader287:                                    ; preds = %154
  %storemerge244331 = add nuw nsw i64 %.5338, 1
  store i64 %storemerge244331, ptr %8, align 8, !tbaa !22
  br label %160

.preheader284:                                    ; preds = %154
  %158 = add nsw i64 %148, -1
  %storemerge245333 = add nuw nsw i64 %.5338, 1
  store i64 %storemerge245333, ptr %8, align 8, !tbaa !22
  %159 = icmp slt i64 %storemerge245333, %158
  br i1 %159, label %.lr.ph335, label %._crit_edge336

160:                                              ; preds = %.preheader287, %161
  %storemerge244332 = phi i64 [ %storemerge244331, %.preheader287 ], [ %storemerge244, %161 ]
  invoke void @_ZN13TPPLPartition5TypeAElllPNS_15PartitionVertexEPPNS_8DPState2E(ptr noundef nonnull align 1 dereferenceable(1) %0, i64 noundef %.5338, i64 noundef %storemerge244332, i64 noundef %148, ptr noundef nonnull %28, ptr noundef nonnull %33)
          to label %161 unwind label %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit

161:                                              ; preds = %160
  %162 = load i64, ptr %8, align 8, !tbaa !22
  %storemerge244 = add nsw i64 %162, 1
  store i64 %storemerge244, ptr %8, align 8, !tbaa !22
  %163 = icmp slt i64 %storemerge244, %148
  br i1 %163, label %160, label %.loopexit288, !llvm.loop !41

.lr.ph335:                                        ; preds = %.preheader284, %168
  %storemerge245334 = phi i64 [ %storemerge245, %168 ], [ %storemerge245333, %.preheader284 ]
  %164 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %28, i64 %storemerge245334, i32 1
  %165 = load i8, ptr %164, align 1, !tbaa !40, !range !33, !noundef !34
  %166 = trunc nuw i8 %165 to i1
  br i1 %166, label %168, label %167

167:                                              ; preds = %.lr.ph335
  invoke void @_ZN13TPPLPartition5TypeAElllPNS_15PartitionVertexEPPNS_8DPState2E(ptr noundef nonnull align 1 dereferenceable(1) %0, i64 noundef %.5338, i64 noundef %storemerge245334, i64 noundef %148, ptr noundef nonnull %28, ptr noundef nonnull %33)
          to label %._crit_edge389 unwind label %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit

._crit_edge389:                                   ; preds = %167
  %.pre = load i64, ptr %8, align 8, !tbaa !22
  br label %168

168:                                              ; preds = %._crit_edge389, %.lr.ph335
  %169 = phi i64 [ %.pre, %._crit_edge389 ], [ %storemerge245334, %.lr.ph335 ]
  %storemerge245 = add nsw i64 %169, 1
  store i64 %storemerge245, ptr %8, align 8, !tbaa !22
  %170 = icmp slt i64 %storemerge245, %158
  br i1 %170, label %.lr.ph335, label %._crit_edge336, !llvm.loop !42

._crit_edge336:                                   ; preds = %168, %.preheader284
  invoke void @_ZN13TPPLPartition5TypeAElllPNS_15PartitionVertexEPPNS_8DPState2E(ptr noundef nonnull align 1 dereferenceable(1) %0, i64 noundef %.5338, i64 noundef %158, i64 noundef %148, ptr noundef nonnull %28, ptr noundef nonnull %33)
          to label %.loopexit288 unwind label %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit

.loopexit288:                                     ; preds = %161, %147, %._crit_edge336, %.lr.ph339
  %171 = add nuw nsw i64 %.5338, 1
  %172 = icmp slt i64 %171, %142
  br i1 %172, label %.lr.ph339, label %.lr.ph345.preheader, !llvm.loop !43

.lr.ph345.preheader:                              ; preds = %.loopexit288, %.preheader295
  br label %.lr.ph345

.lr.ph345:                                        ; preds = %.lr.ph345.preheader, %.loopexit280
  %.1209343 = phi i64 [ %200, %.loopexit280 ], [ %.0211347, %.lr.ph345.preheader ]
  %173 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %28, i64 %.1209343, i32 1
  %174 = load i8, ptr %173, align 1, !tbaa !40, !range !33, !noundef !34
  %175 = trunc nuw i8 %174 to i1
  br i1 %175, label %.loopexit280, label %176

176:                                              ; preds = %.lr.ph345
  %177 = sub nuw nsw i64 %.1209343, %.0211347
  %178 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %28, i64 %177, i32 1
  %179 = load i8, ptr %178, align 1, !tbaa !40, !range !33, !noundef !34
  %180 = trunc nuw i8 %179 to i1
  br i1 %180, label %181, label %.loopexit280

181:                                              ; preds = %176
  %182 = getelementptr inbounds ptr, ptr %33, i64 %177
  %183 = load ptr, ptr %182, align 8, !tbaa !15
  %184 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %183, i64 %.1209343
  %185 = load i8, ptr %184, align 8, !tbaa !24, !range !33, !noundef !34
  %186 = trunc nuw i8 %185 to i1
  br i1 %186, label %187, label %.loopexit280

187:                                              ; preds = %181
  %188 = add nuw nsw i64 %177, 1
  invoke void @_ZN13TPPLPartition5TypeBElllPNS_15PartitionVertexEPPNS_8DPState2E(ptr noundef nonnull align 1 dereferenceable(1) %0, i64 noundef %177, i64 noundef %188, i64 noundef %.1209343, ptr noundef nonnull %28, ptr noundef nonnull %33)
          to label %189 unwind label %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit

189:                                              ; preds = %187
  %190 = add nuw nsw i64 %177, 2
  store i64 %190, ptr %8, align 8, !tbaa !22
  %191 = icmp ult i64 %190, %.1209343
  br i1 %191, label %.lr.ph342, label %.loopexit280

.lr.ph342:                                        ; preds = %189, %196
  %storemerge340 = phi i64 [ %198, %196 ], [ %190, %189 ]
  %192 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %28, i64 %storemerge340, i32 1
  %193 = load i8, ptr %192, align 1, !tbaa !40, !range !33, !noundef !34
  %194 = trunc nuw i8 %193 to i1
  br i1 %194, label %196, label %195

195:                                              ; preds = %.lr.ph342
  invoke void @_ZN13TPPLPartition5TypeBElllPNS_15PartitionVertexEPPNS_8DPState2E(ptr noundef nonnull align 1 dereferenceable(1) %0, i64 noundef %177, i64 noundef %storemerge340, i64 noundef %.1209343, ptr noundef nonnull %28, ptr noundef nonnull %33)
          to label %._crit_edge390 unwind label %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit

._crit_edge390:                                   ; preds = %195
  %.pre391 = load i64, ptr %8, align 8, !tbaa !22
  br label %196

196:                                              ; preds = %._crit_edge390, %.lr.ph342
  %197 = phi i64 [ %.pre391, %._crit_edge390 ], [ %storemerge340, %.lr.ph342 ]
  %198 = add nsw i64 %197, 1
  store i64 %198, ptr %8, align 8, !tbaa !22
  %199 = icmp slt i64 %198, %.1209343
  br i1 %199, label %.lr.ph342, label %.loopexit280, !llvm.loop !44

.loopexit280:                                     ; preds = %196, %189, %176, %181, %.lr.ph345
  %200 = add nuw nsw i64 %.1209343, 1
  %201 = icmp slt i64 %200, %23
  br i1 %201, label %.lr.ph345, label %._crit_edge346, !llvm.loop !45

._crit_edge346:                                   ; preds = %.loopexit280
  %202 = add nuw nsw i64 %.0211347, 1
  %exitcond382.not = icmp eq i64 %202, %23
  br i1 %exitcond382.not, label %._crit_edge348, label %.preheader295, !llvm.loop !46

._crit_edge348:                                   ; preds = %._crit_edge346, %._crit_edge.thread, %._crit_edge
  %203 = phi i64 [ %.ph395, %._crit_edge.thread ], [ %77, %._crit_edge ], [ %77, %._crit_edge346 ]
  store i64 0, ptr %12, align 8, !tbaa !36
  %204 = getelementptr inbounds i8, ptr %12, i64 8
  store i64 %203, ptr %204, align 8, !tbaa !38
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE10push_frontERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %9, ptr noundef nonnull align 8 dereferenceable(16) %12)
          to label %.preheader275 unwind label %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp

.preheader275:                                    ; preds = %._crit_edge348
  %205 = call noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %9) #8
  br i1 %205, label %.thread, label %.lr.ph355

.lr.ph355:                                        ; preds = %.preheader275
  %206 = getelementptr inbounds i8, ptr %11, i64 8
  br label %207

207:                                              ; preds = %.lr.ph355, %.backedge279
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %18) #8
  %208 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %9) #8
  store ptr %208, ptr %18, align 8
  %209 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %18) #8
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %11, ptr noundef nonnull align 8 dereferenceable(16) %209, i64 16, i1 false), !tbaa.struct !47
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #8
  call void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9pop_frontEv(ptr noundef nonnull align 8 dereferenceable(24) %9) #8
  %210 = load i64, ptr %206, align 8, !tbaa !38
  %211 = load i64, ptr %11, align 8, !tbaa !36
  %212 = sub nsw i64 %210, %211
  %213 = icmp slt i64 %212, 2
  br i1 %213, label %.backedge279, label %214

214:                                              ; preds = %207
  %215 = getelementptr inbounds ptr, ptr %33, i64 %211
  %216 = load ptr, ptr %215, align 8, !tbaa !15
  %217 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %216, i64 %210, i32 2
  %218 = call noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %217) #8
  br i1 %218, label %.preheader261, label %219

219:                                              ; preds = %214
  %220 = load i64, ptr %11, align 8, !tbaa !36
  %221 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %28, i64 %220, i32 1
  %222 = load i8, ptr %221, align 1, !tbaa !40, !range !33, !noundef !34
  %223 = trunc nuw i8 %222 to i1
  br i1 %223, label %259, label %224

224:                                              ; preds = %219
  %225 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %217) #8
  store ptr %225, ptr %13, align 8, !tbaa !15
  %226 = call ptr @_ZNSt14_List_iteratorIN13TPPLPartition8DiagonalEEmmEi(ptr noundef nonnull align 8 dereferenceable(8) %13, i32 noundef 0) #8
  %227 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  %228 = getelementptr inbounds i8, ptr %227, i64 8
  %229 = load i64, ptr %228, align 8, !tbaa !38
  store i64 %229, ptr %8, align 8, !tbaa !22
  store i64 %229, ptr %12, align 8, !tbaa !36
  %230 = load i64, ptr %206, align 8, !tbaa !38
  store i64 %230, ptr %204, align 8, !tbaa !38
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE10push_frontERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %9, ptr noundef nonnull align 8 dereferenceable(16) %12)
          to label %231 unwind label %.loopexit.split-lp.loopexit.split-lp.loopexit

231:                                              ; preds = %224
  %232 = load i64, ptr %8, align 8, !tbaa !22
  %233 = load i64, ptr %11, align 8, !tbaa !36
  %234 = sub nsw i64 %232, %233
  %235 = icmp sgt i64 %234, 1
  br i1 %235, label %236, label %.backedge279

236:                                              ; preds = %231
  %237 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  %238 = load i64, ptr %237, align 8, !tbaa !36
  %239 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  %240 = getelementptr inbounds i8, ptr %239, i64 8
  %241 = load i64, ptr %240, align 8, !tbaa !38
  %.not = icmp eq i64 %238, %241
  br i1 %.not, label %.loopexit274, label %242

242:                                              ; preds = %236
  %243 = load i64, ptr %11, align 8, !tbaa !36
  %244 = getelementptr inbounds ptr, ptr %33, i64 %243
  %245 = load ptr, ptr %244, align 8, !tbaa !15
  %246 = load i64, ptr %8, align 8, !tbaa !22
  %247 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %245, i64 %246, i32 2
  %248 = call noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %247) #8
  br i1 %248, label %.preheader261, label %.lr.ph350

.lr.ph350:                                        ; preds = %242, %255
  %249 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %247) #8
  store ptr %249, ptr %14, align 8, !tbaa !15
  %250 = call ptr @_ZNSt14_List_iteratorIN13TPPLPartition8DiagonalEEmmEi(ptr noundef nonnull align 8 dereferenceable(8) %14, i32 noundef 0) #8
  %251 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  %252 = load i64, ptr %251, align 8, !tbaa !36
  %253 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %14) #8
  %254 = load i64, ptr %253, align 8, !tbaa !36
  %.not239 = icmp eq i64 %252, %254
  br i1 %.not239, label %.loopexit274, label %255

255:                                              ; preds = %.lr.ph350
  call void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE8pop_backEv(ptr noundef nonnull align 8 dereferenceable(24) %247) #8
  %256 = call noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %247) #8
  br i1 %256, label %.preheader261, label %.lr.ph350, !llvm.loop !48

.loopexit274:                                     ; preds = %.lr.ph350, %236
  %257 = load i64, ptr %11, align 8, !tbaa !36
  store i64 %257, ptr %12, align 8, !tbaa !36
  %258 = load i64, ptr %8, align 8, !tbaa !22
  br label %.loopexit274.invoke

.loopexit274.invoke:                              ; preds = %.loopexit272, %.loopexit274
  %.sink404 = phi i64 [ %292, %.loopexit272 ], [ %258, %.loopexit274 ]
  store i64 %.sink404, ptr %204, align 8, !tbaa !38
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE10push_frontERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %9, ptr noundef nonnull align 8 dereferenceable(16) %12)
          to label %.backedge279 unwind label %.loopexit.split-lp.loopexit.split-lp.loopexit

259:                                              ; preds = %219
  %260 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %217) #8
  store ptr %260, ptr %13, align 8, !tbaa !15
  %261 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  %262 = load i64, ptr %261, align 8, !tbaa !36
  store i64 %262, ptr %8, align 8, !tbaa !22
  %263 = load i64, ptr %11, align 8, !tbaa !36
  store i64 %263, ptr %12, align 8, !tbaa !36
  store i64 %262, ptr %204, align 8, !tbaa !38
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE10push_frontERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %9, ptr noundef nonnull align 8 dereferenceable(16) %12)
          to label %264 unwind label %.loopexit.split-lp.loopexit.split-lp.loopexit

264:                                              ; preds = %259
  %265 = load i64, ptr %206, align 8, !tbaa !38
  %266 = load i64, ptr %8, align 8, !tbaa !22
  %267 = sub nsw i64 %265, %266
  %268 = icmp sgt i64 %267, 1
  br i1 %268, label %269, label %.backedge279

269:                                              ; preds = %264
  %270 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  %271 = load i64, ptr %270, align 8, !tbaa !36
  %272 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  %273 = getelementptr inbounds i8, ptr %272, i64 8
  %274 = load i64, ptr %273, align 8, !tbaa !38
  %.not240 = icmp eq i64 %271, %274
  br i1 %.not240, label %.loopexit272, label %275

275:                                              ; preds = %269
  %276 = load i64, ptr %8, align 8, !tbaa !22
  %277 = getelementptr inbounds ptr, ptr %33, i64 %276
  %278 = load ptr, ptr %277, align 8, !tbaa !15
  %279 = load i64, ptr %206, align 8, !tbaa !38
  %280 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %278, i64 %279, i32 2
  %281 = call noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %280) #8
  br i1 %281, label %.preheader261, label %.lr.ph353

.lr.ph353:                                        ; preds = %275, %289
  %282 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %280) #8
  store ptr %282, ptr %14, align 8, !tbaa !15
  %283 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  %284 = getelementptr inbounds i8, ptr %283, i64 8
  %285 = load i64, ptr %284, align 8, !tbaa !38
  %286 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %14) #8
  %287 = getelementptr inbounds i8, ptr %286, i64 8
  %288 = load i64, ptr %287, align 8, !tbaa !38
  %.not241 = icmp eq i64 %285, %288
  br i1 %.not241, label %.loopexit272, label %289

289:                                              ; preds = %.lr.ph353
  call void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9pop_frontEv(ptr noundef nonnull align 8 dereferenceable(24) %280) #8
  %290 = call noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %280) #8
  br i1 %290, label %.preheader261, label %.lr.ph353, !llvm.loop !49

.loopexit272:                                     ; preds = %.lr.ph353, %269
  %291 = load i64, ptr %8, align 8, !tbaa !22
  store i64 %291, ptr %12, align 8, !tbaa !36
  %292 = load i64, ptr %206, align 8, !tbaa !38
  br label %.loopexit274.invoke

.backedge279:                                     ; preds = %.loopexit274.invoke, %231, %264, %207
  %293 = call noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %9) #8
  br i1 %293, label %.thread, label %207, !llvm.loop !50

.preheader261:                                    ; preds = %214, %242, %275, %255, %289
  br i1 %34, label %.lr.ph372, label %._crit_edge373

.lr.ph372:                                        ; preds = %.preheader261, %307
  %.6371 = phi i64 [ %308, %307 ], [ 0, %.preheader261 ]
  %294 = getelementptr inbounds ptr, ptr %33, i64 %.6371
  %295 = load ptr, ptr %294, align 8, !tbaa !15
  %296 = icmp eq ptr %295, null
  br i1 %296, label %307, label %297

297:                                              ; preds = %.lr.ph372
  %298 = getelementptr inbounds i8, ptr %295, i64 -8
  %299 = load i64, ptr %298, align 8
  %300 = icmp eq i64 %299, 0
  br i1 %300, label %.loopexit, label %.preheader.preheader

.preheader.preheader:                             ; preds = %297
  %301 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %295, i64 %299
  br label %.preheader

.preheader:                                       ; preds = %.preheader.preheader, %.preheader
  %302 = phi ptr [ %303, %.preheader ], [ %301, %.preheader.preheader ]
  %303 = getelementptr inbounds i8, ptr %302, i64 -40
  call void @_ZN13TPPLPartition8DPState2D2Ev(ptr noundef nonnull align 8 dereferenceable(40) %303) #8
  %304 = icmp eq ptr %303, %295
  br i1 %304, label %.loopexit, label %.preheader

.loopexit:                                        ; preds = %.preheader, %297
  %305 = mul i64 %299, 40
  %306 = add i64 %305, 8
  call void @_ZdaPvm(ptr noundef nonnull %298, i64 noundef %306) #10
  br label %307

307:                                              ; preds = %.lr.ph372, %.loopexit
  %308 = add nuw nsw i64 %.6371, 1
  %exitcond384.not = icmp eq i64 %308, %23
  br i1 %exitcond384.not, label %._crit_edge373, label %.lr.ph372, !llvm.loop !51

.thread:                                          ; preds = %.backedge279, %.preheader275
  store i64 0, ptr %12, align 8, !tbaa !36
  store i64 %203, ptr %204, align 8, !tbaa !38
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE10push_frontERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %9, ptr noundef nonnull align 8 dereferenceable(16) %12)
          to label %.preheader267 unwind label %.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp.loopexit.split-lp

.preheader267:                                    ; preds = %.thread
  %309 = call noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %9) #8
  br i1 %309, label %.preheader264, label %.lr.ph367

.lr.ph367:                                        ; preds = %.preheader267
  %310 = getelementptr inbounds i8, ptr %11, i64 8
  br label %311

.preheader264:                                    ; preds = %.backedge271, %.preheader267
  br i1 %34, label %.lr.ph369, label %._crit_edge373

311:                                              ; preds = %.lr.ph367, %.backedge271
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #8
  %312 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %9) #8
  store ptr %312, ptr %19, align 8
  %313 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #8
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %11, ptr noundef nonnull align 8 dereferenceable(16) %313, i64 16, i1 false), !tbaa.struct !47
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #8
  call void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9pop_frontEv(ptr noundef nonnull align 8 dereferenceable(24) %9) #8
  %314 = load i64, ptr %310, align 8, !tbaa !38
  %315 = load i64, ptr %11, align 8, !tbaa !36
  %316 = sub nsw i64 %314, %315
  %317 = icmp slt i64 %316, 2
  br i1 %317, label %.backedge271, label %319

.backedge271:                                     ; preds = %311, %._crit_edge366
  %318 = call noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %9) #8
  br i1 %318, label %.preheader264, label %311, !llvm.loop !52

319:                                              ; preds = %311
  call void @_ZNSt7__cxx114listIlSaIlEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %16) #8
  call void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %10) #8
  invoke void @_ZNSt7__cxx114listIlSaIlEE9push_backERKl(ptr noundef nonnull align 8 dereferenceable(24) %16, ptr noundef nonnull align 8 dereferenceable(8) %11)
          to label %320 unwind label %.loopexit.split-lp.loopexit

320:                                              ; preds = %319
  invoke void @_ZNSt7__cxx114listIlSaIlEE9push_backERKl(ptr noundef nonnull align 8 dereferenceable(24) %16, ptr noundef nonnull align 8 dereferenceable(8) %310)
          to label %321 unwind label %.loopexit.split-lp.loopexit

321:                                              ; preds = %320
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE10push_frontERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %10, ptr noundef nonnull align 8 dereferenceable(16) %11)
          to label %.preheader265 unwind label %.loopexit.split-lp.loopexit

.preheader265:                                    ; preds = %321
  %322 = call noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %10) #8
  br i1 %322, label %._crit_edge362, label %.lr.ph361

.lr.ph361:                                        ; preds = %.preheader265, %.backedge
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %20) #8
  %323 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %10) #8
  store ptr %323, ptr %20, align 8
  %324 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %20) #8
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %11, ptr noundef nonnull align 8 dereferenceable(16) %324, i64 16, i1 false), !tbaa.struct !47
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #8
  call void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9pop_frontEv(ptr noundef nonnull align 8 dereferenceable(24) %10) #8
  %325 = load i64, ptr %310, align 8, !tbaa !38
  %326 = load i64, ptr %11, align 8, !tbaa !36
  %327 = sub nsw i64 %325, %326
  %328 = icmp slt i64 %327, 2
  br i1 %328, label %.backedge, label %330

.backedge:                                        ; preds = %.lr.ph361, %368
  %329 = call noundef zeroext i1 @_ZNKSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %10) #8
  br i1 %329, label %._crit_edge362, label %.lr.ph361, !llvm.loop !53

330:                                              ; preds = %.lr.ph361
  %331 = getelementptr inbounds ptr, ptr %33, i64 %326
  %332 = load ptr, ptr %331, align 8, !tbaa !15
  %333 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %332, i64 %325, i32 2
  %334 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %28, i64 %326, i32 1
  %335 = load i8, ptr %334, align 1, !tbaa !40, !range !33, !noundef !34
  %336 = trunc nuw i8 %335 to i1
  br i1 %336, label %.thread254, label %347

.thread254:                                       ; preds = %330
  %337 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %333) #8
  store ptr %337, ptr %13, align 8, !tbaa !15
  %338 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  %339 = load i64, ptr %338, align 8, !tbaa !36
  store i64 %339, ptr %8, align 8, !tbaa !22
  %340 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  %341 = load i64, ptr %340, align 8, !tbaa !36
  %342 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  %343 = getelementptr inbounds i8, ptr %342, i64 8
  %344 = load i64, ptr %343, align 8, !tbaa !38
  %.not243 = icmp eq i64 %341, %344
  %345 = load i64, ptr %11, align 8, !tbaa !36
  store i64 %345, ptr %12, align 8, !tbaa !36
  %346 = load i64, ptr %8, align 8, !tbaa !22
  store i64 %346, ptr %204, align 8, !tbaa !38
  br label %360

347:                                              ; preds = %330
  %348 = call ptr @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %333) #8
  store ptr %348, ptr %13, align 8, !tbaa !15
  %349 = call ptr @_ZNSt14_List_iteratorIN13TPPLPartition8DiagonalEEmmEi(ptr noundef nonnull align 8 dereferenceable(8) %13, i32 noundef 0) #8
  %350 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  %351 = getelementptr inbounds i8, ptr %350, i64 8
  %352 = load i64, ptr %351, align 8, !tbaa !38
  store i64 %352, ptr %8, align 8, !tbaa !22
  %353 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  %354 = load i64, ptr %353, align 8, !tbaa !36
  %355 = call noundef ptr @_ZNKSt14_List_iteratorIN13TPPLPartition8DiagonalEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  %356 = getelementptr inbounds i8, ptr %355, i64 8
  %357 = load i64, ptr %356, align 8, !tbaa !38
  %.not242 = icmp eq i64 %354, %357
  %358 = load i64, ptr %11, align 8, !tbaa !36
  store i64 %358, ptr %12, align 8, !tbaa !36
  %359 = load i64, ptr %8, align 8, !tbaa !22
  store i64 %359, ptr %204, align 8, !tbaa !38
  br i1 %.not242, label %360, label %361

360:                                              ; preds = %.thread254, %347
  %.0222258 = phi i1 [ %.not243, %.thread254 ], [ true, %347 ]
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9push_backERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %9, ptr noundef nonnull align 8 dereferenceable(16) %12)
          to label %364 unwind label %.loopexit266

361:                                              ; preds = %347
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9push_backERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %10, ptr noundef nonnull align 8 dereferenceable(16) %12)
          to label %.thread259 unwind label %.loopexit266

.thread259:                                       ; preds = %361
  %362 = load i64, ptr %8, align 8, !tbaa !22
  store i64 %362, ptr %12, align 8, !tbaa !36
  %363 = load i64, ptr %310, align 8, !tbaa !38
  store i64 %363, ptr %204, align 8, !tbaa !38
  br label %.invoke

364:                                              ; preds = %360
  %365 = load i64, ptr %8, align 8, !tbaa !22
  store i64 %365, ptr %12, align 8, !tbaa !36
  %366 = load i64, ptr %310, align 8, !tbaa !38
  store i64 %366, ptr %204, align 8, !tbaa !38
  %spec.select405 = select i1 %.0222258, ptr %9, ptr %10
  br label %.invoke

.invoke:                                          ; preds = %364, %.thread259
  %367 = phi ptr [ %9, %.thread259 ], [ %spec.select405, %364 ]
  invoke void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE9push_backERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %367, ptr noundef nonnull align 8 dereferenceable(16) %12)
          to label %368 unwind label %.loopexit266

368:                                              ; preds = %.invoke
  invoke void @_ZNSt7__cxx114listIlSaIlEE9push_backERKl(ptr noundef nonnull align 8 dereferenceable(24) %16, ptr noundef nonnull align 8 dereferenceable(8) %8)
          to label %.backedge unwind label %.loopexit266

._crit_edge362:                                   ; preds = %.backedge, %.preheader265
  invoke void @_ZNSt7__cxx114listIlSaIlEE4sortEv(ptr noundef nonnull align 8 dereferenceable(24) %16)
          to label %369 unwind label %.loopexit.split-lp.loopexit

369:                                              ; preds = %._crit_edge362
  %370 = call noundef i64 @_ZNKSt7__cxx114listIlSaIlEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %16) #8
  invoke void @_ZN8TPPLPoly4InitEl(ptr noundef nonnull align 8 dereferenceable(17) %15, i64 noundef %370)
          to label %371 unwind label %.loopexit.split-lp.loopexit

371:                                              ; preds = %369
  %372 = call ptr @_ZNSt7__cxx114listIlSaIlEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %16) #8
  store ptr %372, ptr %17, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %21) #8
  %373 = call ptr @_ZNSt7__cxx114listIlSaIlEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %16) #8
  store ptr %373, ptr %21, align 8
  %374 = call noundef zeroext i1 @_ZStneRKSt14_List_iteratorIlES2_(ptr noundef nonnull align 8 dereferenceable(8) %17, ptr noundef nonnull align 8 dereferenceable(8) %21) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #8
  br i1 %374, label %.lr.ph365, label %._crit_edge366

.lr.ph365:                                        ; preds = %371, %.lr.ph365
  %.2210363 = phi i32 [ %379, %.lr.ph365 ], [ 0, %371 ]
  %375 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt14_List_iteratorIlEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %17) #8
  %376 = load i64, ptr %375, align 8, !tbaa !22
  %377 = getelementptr inbounds %"struct.TPPLPartition::PartitionVertex", ptr %28, i64 %376, i32 3
  %378 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN8TPPLPolyixEi(ptr noundef nonnull align 8 dereferenceable(17) %15, i32 noundef %.2210363)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %378, ptr noundef nonnull align 8 dereferenceable(16) %377, i64 16, i1 false), !tbaa.struct !5
  %379 = add i32 %.2210363, 1
  %380 = call ptr @_ZNSt14_List_iteratorIlEppEi(ptr noundef nonnull align 8 dereferenceable(8) %17, i32 noundef 0) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %21) #8
  %381 = call ptr @_ZNSt7__cxx114listIlSaIlEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %16) #8
  store ptr %381, ptr %21, align 8
  %382 = call noundef zeroext i1 @_ZStneRKSt14_List_iteratorIlES2_(ptr noundef nonnull align 8 dereferenceable(8) %17, ptr noundef nonnull align 8 dereferenceable(8) %21) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #8
  br i1 %382, label %.lr.ph365, label %._crit_edge366, !llvm.loop !54

._crit_edge366:                                   ; preds = %.lr.ph365, %371
  invoke void @_ZNSt7__cxx114listI8TPPLPolySaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %2, ptr noundef nonnull align 8 dereferenceable(17) %15)
          to label %.backedge271 unwind label %.loopexit.split-lp.loopexit

.lr.ph369:                                        ; preds = %.preheader264, %396
  %.7368 = phi i64 [ %397, %396 ], [ 0, %.preheader264 ]
  %383 = getelementptr inbounds ptr, ptr %33, i64 %.7368
  %384 = load ptr, ptr %383, align 8, !tbaa !15
  %385 = icmp eq ptr %384, null
  br i1 %385, label %396, label %386

386:                                              ; preds = %.lr.ph369
  %387 = getelementptr inbounds i8, ptr %384, i64 -8
  %388 = load i64, ptr %387, align 8
  %389 = icmp eq i64 %388, 0
  br i1 %389, label %.loopexit263, label %.preheader262.preheader

.preheader262.preheader:                          ; preds = %386
  %390 = getelementptr inbounds %"struct.TPPLPartition::DPState2", ptr %384, i64 %388
  br label %.preheader262

.preheader262:                                    ; preds = %.preheader262.preheader, %.preheader262
  %391 = phi ptr [ %392, %.preheader262 ], [ %390, %.preheader262.preheader ]
  %392 = getelementptr inbounds i8, ptr %391, i64 -40
  call void @_ZN13TPPLPartition8DPState2D2Ev(ptr noundef nonnull align 8 dereferenceable(40) %392) #8
  %393 = icmp eq ptr %392, %384
  br i1 %393, label %.loopexit263, label %.preheader262

.loopexit263:                                     ; preds = %.preheader262, %386
  %394 = mul i64 %388, 40
  %395 = add i64 %394, 8
  call void @_ZdaPvm(ptr noundef nonnull %387, i64 noundef %395) #10
  br label %396

396:                                              ; preds = %.lr.ph369, %.loopexit263
  %397 = add nuw nsw i64 %.7368, 1
  %exitcond383.not = icmp eq i64 %397, %23
  br i1 %exitcond383.not, label %._crit_edge373, label %.lr.ph369, !llvm.loop !55

._crit_edge373:                                   ; preds = %307, %396, %.preheader264, %.preheader261
  %.6218397 = phi i32 [ 0, %.preheader261 ], [ 1, %.preheader264 ], [ 1, %396 ], [ 0, %307 ]
  call void @_ZdaPv(ptr noundef nonnull %33) #10
  call void @_ZdaPv(ptr noundef nonnull %28) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #8
  call void @_ZNSt7__cxx1110_List_baseIlSaIlEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %16) #8
  call void @_ZN8TPPLPolyD1Ev(ptr noundef nonnull align 8 dereferenceable(17) %15) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %12) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %11) #8
  call void @_ZNSt7__cxx1110_List_baseIN13TPPLPartition8DiagonalESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %10) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %10) #8
  call void @_ZNSt7__cxx1110_List_baseIN13TPPLPartition8DiagonalESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %9) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %9) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %7) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %6) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %5) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #8
  ret i32 %.6218397

398:                                              ; preds = %.loopexit.split-lp, %63
  %.pn = phi { ptr, i32 } [ %lpad.phi, %.loopexit.split-lp ], [ %64, %63 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %12) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %11) #8
  call void @_ZNSt7__cxx1110_List_baseIN13TPPLPartition8DiagonalESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %10) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %10) #8
  call void @_ZNSt7__cxx1110_List_baseIN13TPPLPartition8DiagonalESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %9) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %9) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %7) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %6) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %5) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #8
  resume { ptr, i32 } %.pn
}

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt7__cxx114listIlSaIlEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt14_List_iteratorIlEC2Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #6 align 2

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare { i64, i1 } @llvm.uadd.with.overflow.i64(i64, i64) #2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN13TPPLPartition8DPState2C2Ev(ptr noundef nonnull align 8 dereferenceable(40)) unnamed_addr #7 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EE8pop_backEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #6 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN13TPPLPartition8DPState2D2Ev(ptr noundef nonnull align 8 dereferenceable(40)) unnamed_addr #7 align 2

; Function Attrs: nobuiltin nounwind
declare void @_ZdaPvm(ptr noundef, i64 noundef) local_unnamed_addr #0

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt7__cxx114listIlSaIlEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt7__cxx114listIlSaIlEE9push_backERKl(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt7__cxx114listIlSaIlEE4sortEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNKSt7__cxx114listIlSaIlEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt7__cxx114listIlSaIlEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZStneRKSt14_List_iteratorIlES2_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #6

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt7__cxx114listIlSaIlEE3endEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt14_List_iteratorIlEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt14_List_iteratorIlEppEi(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt7__cxx1110_List_baseIlSaIlEED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #6 align 2

declare void @_ZN8TPPLPolyC1Ev(ptr) local_unnamed_addr

declare void @_ZN8TPPLPolyD1Ev(ptr) local_unnamed_addr

attributes #0 = { nobuiltin nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #3 = { nobuiltin allocsize(0) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #5 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #6 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #8 = { nounwind }
attributes #9 = { builtin allocsize(0) }
attributes #10 = { builtin nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{i64 0, i64 8, !6, i64 8, i64 8, !6}
!6 = !{!7, !7, i64 0}
!7 = !{!"double", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!11, !12, i64 0}
!11 = !{!"_ZTSN13TPPLPartition15PartitionVertexE", !12, i64 0, !12, i64 1, !12, i64 2, !13, i64 8, !7, i64 24, !14, i64 32, !14, i64 40}
!12 = !{!"bool", !8, i64 0}
!13 = !{!"_ZTS9TPPLPoint", !7, i64 0, !7, i64 8}
!14 = !{!"any pointer", !8, i64 0}
!15 = !{!14, !14, i64 0}
!16 = distinct !{!16, !17}
!17 = !{!"llvm.loop.mustprogress"}
!18 = distinct !{!18, !17, !19}
!19 = !{!"llvm.loop.peeled.count", i32 1}
!20 = distinct !{!20, !17}
!21 = distinct !{!21, !17}
!22 = !{!23, !23, i64 0}
!23 = !{!"long", !8, i64 0}
!24 = !{!25, !12, i64 0}
!25 = !{!"_ZTSN13TPPLPartition8DPState2E", !12, i64 0, !23, i64 8, !26, i64 16}
!26 = !{!"_ZTSNSt7__cxx114listIN13TPPLPartition8DiagonalESaIS2_EEE", !27, i64 0}
!27 = !{!"_ZTSNSt7__cxx1110_List_baseIN13TPPLPartition8DiagonalESaIS2_EEE", !28, i64 0}
!28 = !{!"_ZTSNSt7__cxx1110_List_baseIN13TPPLPartition8DiagonalESaIS2_EE10_List_implE", !29, i64 0}
!29 = !{!"_ZTSNSt8__detail17_List_node_headerE", !30, i64 0, !23, i64 16}
!30 = !{!"_ZTSNSt8__detail15_List_node_baseE", !14, i64 0, !14, i64 8}
!31 = distinct !{!31, !17}
!32 = distinct !{!32, !17}
!33 = !{i8 0, i8 2}
!34 = !{}
!35 = !{!25, !23, i64 8}
!36 = !{!37, !23, i64 0}
!37 = !{!"_ZTSN13TPPLPartition8DiagonalE", !23, i64 0, !23, i64 8}
!38 = !{!37, !23, i64 8}
!39 = distinct !{!39, !17}
!40 = !{!11, !12, i64 1}
!41 = distinct !{!41, !17}
!42 = distinct !{!42, !17}
!43 = distinct !{!43, !17}
!44 = distinct !{!44, !17}
!45 = distinct !{!45, !17}
!46 = distinct !{!46, !17}
!47 = !{i64 0, i64 8, !22, i64 8, i64 8, !22}
!48 = distinct !{!48, !17}
!49 = distinct !{!49, !17}
!50 = distinct !{!50, !17}
!51 = distinct !{!51, !17}
!52 = distinct !{!52, !17}
!53 = distinct !{!53, !17}
!54 = distinct !{!54, !17}
!55 = distinct !{!55, !17}


; Effective O3 passes: AggressiveInstCombinePass,ConstraintEliminationPass,CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LCSSAPass,LICMPass,LoopFullUnrollPass,LoopInstSimplifyPass,LoopRotatePass,LoopSimplifyCFGPass,LoopSimplifyPass,LoopUnrollPass,MergedLoadStoreMotionPass,SCCPPass,SROAPass,SimplifyCFGPass