; LLVM IR from tommasocerruti/algolab-2024 :: src/week13/suez/solution.ll (Z5solvev)

; 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"

%"class.std::basic_istream" = type { ptr, i64, %"class.std::basic_ios" }
%"class.std::basic_ios" = type { %"class.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
%"class.std::ios_base" = type { ptr, i64, i64, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"class.std::locale" }
%"struct.std::ios_base::_Words" = type { ptr, i64 }
%"class.std::locale" = type { ptr }
%"class.std::basic_ostream" = type { ptr, %"class.std::basic_ios" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<P, std::allocator<P>>::_Vector_impl" }
%"struct.std::_Vector_base<P, std::allocator<P>>::_Vector_impl" = type { %"struct.std::_Vector_base<P, std::allocator<P>>::_Vector_impl_data" }
%"struct.std::_Vector_base<P, std::allocator<P>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.CGAL::Quadratic_program" = type { i32, i32, %"class.std::vector.108", %"class.std::map", %"class.std::map.116", %"class.std::map.121", %"class.std::map", %"class.std::map.121", %"class.std::map", %"class.std::map", %"class.std::vector.108", %"class.CGAL::Gmpq", i32, i8, %"class.CGAL::Gmpq", i8, %"class.CGAL::Gmpq", i8, %"class.std::__cxx11::basic_string" }
%"class.std::map.116" = type { %"class.std::_Rb_tree.117" }
%"class.std::_Rb_tree.117" = type { %"struct.std::_Rb_tree<unsigned long, std::pair<const unsigned long, CGAL::Sign>, std::_Select1st<std::pair<const unsigned long, CGAL::Sign>>, std::less<unsigned long>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<unsigned long, std::pair<const unsigned long, CGAL::Sign>, std::_Select1st<std::pair<const unsigned long, CGAL::Sign>>, std::less<unsigned long>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%"class.std::map.121" = type { %"class.std::_Rb_tree.122" }
%"class.std::_Rb_tree.122" = type { %"struct.std::_Rb_tree<unsigned long, std::pair<const unsigned long, bool>, std::_Select1st<std::pair<const unsigned long, bool>>, std::less<unsigned long>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<unsigned long, std::pair<const unsigned long, bool>, std::_Select1st<std::pair<const unsigned long, bool>>, std::less<unsigned long>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.std::map" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<unsigned long, std::pair<const unsigned long, CGAL::Gmpq>, std::_Select1st<std::pair<const unsigned long, CGAL::Gmpq>>, std::less<unsigned long>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<unsigned long, std::pair<const unsigned long, CGAL::Gmpq>, std::_Select1st<std::pair<const unsigned long, CGAL::Gmpq>>, std::less<unsigned long>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.std::vector.108" = type { %"struct.std::_Vector_base.109" }
%"struct.std::_Vector_base.109" = type { %"struct.std::_Vector_base<std::map<unsigned long, CGAL::Gmpq>, std::allocator<std::map<unsigned long, CGAL::Gmpq>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::map<unsigned long, CGAL::Gmpq>, std::allocator<std::map<unsigned long, CGAL::Gmpq>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::map<unsigned long, CGAL::Gmpq>, std::allocator<std::map<unsigned long, CGAL::Gmpq>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::map<unsigned long, CGAL::Gmpq>, std::allocator<std::map<unsigned long, CGAL::Gmpq>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.CGAL::Gmpq" = type { %"class.CGAL::Handle_for" }
%"class.CGAL::Handle_for" = type { ptr }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%struct.P = type { i32, i32 }
%"class.CGAL::Quadratic_program_solution" = type { %"class.CGAL::Handle_for.129", %"class.CGAL::Gmpq", %"class.std::__cxx11::basic_string" }
%"class.CGAL::Handle_for.129" = type { ptr }
%"class.CGAL::Quadratic_program_options" = type <{ i32, i32, i8, [3 x i8] }>
%"class.CGAL::Quotient" = type { %"class.CGAL::Gmpq", %"class.CGAL::Gmpq" }

@_ZSt3cin = external global %"class.std::basic_istream", align 8
@_ZSt4cout = external global %"class.std::basic_ostream", align 8

declare i32 @__gxx_personality_v0(...)

; Function Attrs: mustprogress uwtable
declare dso_local noundef double @_Z13floor_to_longRKN4CGAL8QuotientINS_4GmpqEEE(ptr noundef nonnull align 8 dereferenceable(16)) #0

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_Z5solvev() #0 personality ptr @__gxx_personality_v0 {
  %1 = alloca i64, align 8
  %2 = alloca i64, align 8
  %3 = alloca i64, align 8
  %4 = alloca i64, align 8
  %5 = alloca %"class.std::vector", align 8
  %6 = alloca %"class.std::vector", align 8
  %7 = alloca %"class.CGAL::Quadratic_program", align 8
  %8 = alloca %"class.CGAL::Gmpq", align 8
  %9 = alloca ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca %"class.CGAL::Gmpq", align 8
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca %struct.P, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca %struct.P, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i64, align 8
  %25 = alloca i64, align 8
  %26 = alloca %"class.CGAL::Gmpq", align 8
  %27 = alloca %"class.CGAL::Gmpq", align 8
  %28 = alloca %"class.CGAL::Gmpq", align 8
  %29 = alloca %"class.CGAL::Gmpq", align 8
  %30 = alloca i32, align 4
  %31 = alloca %"class.CGAL::Gmpq", align 8
  %32 = alloca i32, align 4
  %33 = alloca i64, align 8
  %34 = alloca i64, align 8
  %35 = alloca %"class.CGAL::Gmpq", align 8
  %36 = alloca %"class.CGAL::Gmpq", align 8
  %37 = alloca i32, align 4
  %38 = alloca %"class.CGAL::Gmpq", align 8
  %39 = alloca %"class.CGAL::Quadratic_program_solution", align 8
  %40 = alloca %"class.CGAL::Gmpq", align 8
  %41 = alloca %"class.CGAL::Quadratic_program_options", align 4
  %42 = alloca %"class.CGAL::Quotient", align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %1) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %2) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #7
  %43 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 8 dereferenceable(8) %1)
  %44 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %43, ptr noundef nonnull align 8 dereferenceable(8) %2)
  %45 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %44, ptr noundef nonnull align 8 dereferenceable(8) %3)
  %46 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %45, ptr noundef nonnull align 8 dereferenceable(8) %4)
  call void @llvm.lifetime.start.p0(i64 24, ptr %5) #7
  call void @_ZNSt6vectorI1PSaIS0_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %5) #7
  call void @llvm.lifetime.start.p0(i64 24, ptr %6) #7
  call void @_ZNSt6vectorI1PSaIS0_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %6) #7
  call void @llvm.lifetime.start.p0(i64 472, ptr %7) #7
  invoke void @_ZN4CGAL4GmpqC2Ei(ptr noundef nonnull align 8 dereferenceable(8) %8, i32 noundef 1)
          to label %47 unwind label %56

47:                                               ; preds = %0
  invoke void @_ZN4CGAL4GmpqC2Ei(ptr noundef nonnull align 8 dereferenceable(8) %11, i32 noundef 0)
          to label %48 unwind label %60

48:                                               ; preds = %47
  invoke void @_ZN4CGAL17Quadratic_programINS_4GmpqEEC2ENS_4SignEbS1_bS1_(ptr noundef nonnull align 8 dereferenceable(472) %7, i32 noundef -1, i1 noundef zeroext true, ptr noundef %8, i1 noundef zeroext false, ptr noundef %11)
          to label %49 unwind label %64

49:                                               ; preds = %48
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %11) #7
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %8) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #7
  store i32 0, ptr %12, align 4, !tbaa !5
  br label %50

50:                                               ; preds = %79, %49
  %51 = load i32, ptr %12, align 4, !tbaa !5
  %52 = sext i32 %51 to i64
  %53 = load i64, ptr %1, align 8, !tbaa !9
  %54 = icmp slt i64 %52, %53
  br i1 %54, label %69, label %55

55:                                               ; preds = %50
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #7
  br label %91

56:                                               ; preds = %0
  %57 = landingpad { ptr, i32 }
          cleanup
  %58 = extractvalue { ptr, i32 } %57, 0
  store ptr %58, ptr %9, align 8
  %59 = extractvalue { ptr, i32 } %57, 1
  store i32 %59, ptr %10, align 4
  br label %378

60:                                               ; preds = %47
  %61 = landingpad { ptr, i32 }
          cleanup
  %62 = extractvalue { ptr, i32 } %61, 0
  store ptr %62, ptr %9, align 8
  %63 = extractvalue { ptr, i32 } %61, 1
  store i32 %63, ptr %10, align 4
  br label %68

64:                                               ; preds = %48
  %65 = landingpad { ptr, i32 }
          cleanup
  %66 = extractvalue { ptr, i32 } %65, 0
  store ptr %66, ptr %9, align 8
  %67 = extractvalue { ptr, i32 } %65, 1
  store i32 %67, ptr %10, align 4
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %11) #7
  br label %68

68:                                               ; preds = %64, %60
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %8) #7
  br label %378

69:                                               ; preds = %50
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #7
  %70 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 4 dereferenceable(4) %13)
          to label %71 unwind label %82

71:                                               ; preds = %69
  %72 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) %70, ptr noundef nonnull align 4 dereferenceable(4) %14)
          to label %73 unwind label %82

73:                                               ; preds = %71
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #7
  %74 = getelementptr inbounds %struct.P, ptr %15, i32 0, i32 0
  %75 = load i32, ptr %13, align 4, !tbaa !5
  store i32 %75, ptr %74, align 4, !tbaa !11
  %76 = getelementptr inbounds %struct.P, ptr %15, i32 0, i32 1
  %77 = load i32, ptr %14, align 4, !tbaa !5
  store i32 %77, ptr %76, align 4, !tbaa !13
  invoke void @_ZNSt6vectorI1PSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %5, ptr noundef nonnull align 4 dereferenceable(8) %15)
          to label %78 unwind label %86

78:                                               ; preds = %73
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #7
  br label %79

79:                                               ; preds = %78
  %80 = load i32, ptr %12, align 4, !tbaa !5
  %81 = add nsw i32 %80, 1
  store i32 %81, ptr %12, align 4, !tbaa !5
  br label %50, !llvm.loop !14

82:                                               ; preds = %71, %69
  %83 = landingpad { ptr, i32 }
          cleanup
  %84 = extractvalue { ptr, i32 } %83, 0
  store ptr %84, ptr %9, align 8
  %85 = extractvalue { ptr, i32 } %83, 1
  store i32 %85, ptr %10, align 4
  br label %90

86:                                               ; preds = %73
  %87 = landingpad { ptr, i32 }
          cleanup
  %88 = extractvalue { ptr, i32 } %87, 0
  store ptr %88, ptr %9, align 8
  %89 = extractvalue { ptr, i32 } %87, 1
  store i32 %89, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #7
  br label %90

90:                                               ; preds = %86, %82
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #7
  br label %377

91:                                               ; preds = %55
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #7
  store i32 0, ptr %16, align 4, !tbaa !5
  br label %92

92:                                               ; preds = %108, %91
  %93 = load i32, ptr %16, align 4, !tbaa !5
  %94 = sext i32 %93 to i64
  %95 = load i64, ptr %2, align 8, !tbaa !9
  %96 = icmp slt i64 %94, %95
  br i1 %96, label %98, label %97

97:                                               ; preds = %92
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #7
  br label %120

98:                                               ; preds = %92
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #7
  %99 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 4 dereferenceable(4) %17)
          to label %100 unwind label %111

100:                                              ; preds = %98
  %101 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) %99, ptr noundef nonnull align 4 dereferenceable(4) %18)
          to label %102 unwind label %111

102:                                              ; preds = %100
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #7
  %103 = getelementptr inbounds %struct.P, ptr %19, i32 0, i32 0
  %104 = load i32, ptr %17, align 4, !tbaa !5
  store i32 %104, ptr %103, align 4, !tbaa !11
  %105 = getelementptr inbounds %struct.P, ptr %19, i32 0, i32 1
  %106 = load i32, ptr %18, align 4, !tbaa !5
  store i32 %106, ptr %105, align 4, !tbaa !13
  invoke void @_ZNSt6vectorI1PSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %6, ptr noundef nonnull align 4 dereferenceable(8) %19)
          to label %107 unwind label %115

107:                                              ; preds = %102
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #7
  br label %108

108:                                              ; preds = %107
  %109 = load i32, ptr %16, align 4, !tbaa !5
  %110 = add nsw i32 %109, 1
  store i32 %110, ptr %16, align 4, !tbaa !5
  br label %92, !llvm.loop !16

111:                                              ; preds = %100, %98
  %112 = landingpad { ptr, i32 }
          cleanup
  %113 = extractvalue { ptr, i32 } %112, 0
  store ptr %113, ptr %9, align 8
  %114 = extractvalue { ptr, i32 } %112, 1
  store i32 %114, ptr %10, align 4
  br label %119

115:                                              ; preds = %102
  %116 = landingpad { ptr, i32 }
          cleanup
  %117 = extractvalue { ptr, i32 } %116, 0
  store ptr %117, ptr %9, align 8
  %118 = extractvalue { ptr, i32 } %116, 1
  store i32 %118, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #7
  br label %119

119:                                              ; preds = %115, %111
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #7
  br label %377

120:                                              ; preds = %97
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #7
  store i32 0, ptr %20, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #7
  store i32 0, ptr %21, align 4, !tbaa !5
  br label %121

121:                                              ; preds = %222, %120
  %122 = load i32, ptr %21, align 4, !tbaa !5
  %123 = sext i32 %122 to i64
  %124 = load i64, ptr %1, align 8, !tbaa !9
  %125 = sub nsw i64 %124, 1
  %126 = icmp slt i64 %123, %125
  br i1 %126, label %128, label %127

127:                                              ; preds = %121
  store i32 8, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #7
  br label %225

128:                                              ; preds = %121
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #7
  %129 = load i32, ptr %21, align 4, !tbaa !5
  %130 = add nsw i32 %129, 1
  store i32 %130, ptr %23, align 4, !tbaa !5
  br label %131

131:                                              ; preds = %185, %128
  %132 = load i32, ptr %23, align 4, !tbaa !5
  %133 = sext i32 %132 to i64
  %134 = load i64, ptr %1, align 8, !tbaa !9
  %135 = icmp slt i64 %133, %134
  br i1 %135, label %137, label %136

136:                                              ; preds = %131
  store i32 11, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #7
  br label %221

137:                                              ; preds = %131
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #7
  %138 = load i32, ptr %21, align 4, !tbaa !5
  %139 = sext i32 %138 to i64
  %140 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorI1PSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %139) #7
  %141 = getelementptr inbounds %struct.P, ptr %140, i32 0, i32 0
  %142 = load i32, ptr %141, align 4, !tbaa !11
  %143 = load i32, ptr %23, align 4, !tbaa !5
  %144 = sext i32 %143 to i64
  %145 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorI1PSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %144) #7
  %146 = getelementptr inbounds %struct.P, ptr %145, i32 0, i32 0
  %147 = load i32, ptr %146, align 4, !tbaa !11
  %148 = sub nsw i32 %142, %147
  %149 = call i32 @llvm.abs.i32(i32 %148, i1 true)
  %150 = mul nsw i32 2, %149
  %151 = sext i32 %150 to i64
  store i64 %151, ptr %24, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #7
  %152 = load i32, ptr %21, align 4, !tbaa !5
  %153 = sext i32 %152 to i64
  %154 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorI1PSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %153) #7
  %155 = getelementptr inbounds %struct.P, ptr %154, i32 0, i32 1
  %156 = load i32, ptr %155, align 4, !tbaa !13
  %157 = load i32, ptr %23, align 4, !tbaa !5
  %158 = sext i32 %157 to i64
  %159 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorI1PSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %158) #7
  %160 = getelementptr inbounds %struct.P, ptr %159, i32 0, i32 1
  %161 = load i32, ptr %160, align 4, !tbaa !13
  %162 = sub nsw i32 %156, %161
  %163 = call i32 @llvm.abs.i32(i32 %162, i1 true)
  %164 = mul nsw i32 2, %163
  %165 = sext i32 %164 to i64
  store i64 %165, ptr %25, align 8, !tbaa !9
  %166 = load i32, ptr %21, align 4, !tbaa !5
  %167 = load i32, ptr %20, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #7
  invoke void @_ZN4CGAL4GmpqC2Ei(ptr noundef nonnull align 8 dereferenceable(8) %26, i32 noundef 1)
          to label %168 unwind label %188

168:                                              ; preds = %137
  invoke void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_aEiiRKS1_(ptr noundef nonnull align 8 dereferenceable(472) %7, i32 noundef %166, i32 noundef %167, ptr noundef nonnull align 8 dereferenceable(8) %26)
          to label %169 unwind label %192

169:                                              ; preds = %168
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %26) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #7
  %170 = load i32, ptr %23, align 4, !tbaa !5
  %171 = load i32, ptr %20, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #7
  invoke void @_ZN4CGAL4GmpqC2Ei(ptr noundef nonnull align 8 dereferenceable(8) %27, i32 noundef 1)
          to label %172 unwind label %197

172:                                              ; preds = %169
  invoke void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_aEiiRKS1_(ptr noundef nonnull align 8 dereferenceable(472) %7, i32 noundef %170, i32 noundef %171, ptr noundef nonnull align 8 dereferenceable(8) %27)
          to label %173 unwind label %201

173:                                              ; preds = %172
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %27) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #7
  %174 = load i32, ptr %20, align 4, !tbaa !5
  %175 = add nsw i32 %174, 1
  store i32 %175, ptr %20, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #7
  %176 = load i64, ptr %24, align 8, !tbaa !9
  %177 = load i64, ptr %4, align 8, !tbaa !9
  invoke void @_ZN4CGAL4GmpqC2Elm(ptr noundef nonnull align 8 dereferenceable(8) %28, i64 noundef %176, i64 noundef %177)
          to label %178 unwind label %206

178:                                              ; preds = %173
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #7
  %179 = load i64, ptr %25, align 8, !tbaa !9
  %180 = load i64, ptr %3, align 8, !tbaa !9
  invoke void @_ZN4CGAL4GmpqC2Elm(ptr noundef nonnull align 8 dereferenceable(8) %29, i64 noundef %179, i64 noundef %180)
          to label %181 unwind label %210

181:                                              ; preds = %178
  %182 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIN4CGAL4GmpqEERKT_S4_S4_(ptr noundef nonnull align 8 dereferenceable(8) %28, ptr noundef nonnull align 8 dereferenceable(8) %29)
          to label %183 unwind label %214

183:                                              ; preds = %181
  invoke void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_bEiRKS1_(ptr noundef nonnull align 8 dereferenceable(472) %7, i32 noundef %174, ptr noundef nonnull align 8 dereferenceable(8) %182)
          to label %184 unwind label %214

184:                                              ; preds = %183
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %29) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #7
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %28) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #7
  br label %185

185:                                              ; preds = %184
  %186 = load i32, ptr %23, align 4, !tbaa !5
  %187 = add nsw i32 %186, 1
  store i32 %187, ptr %23, align 4, !tbaa !5
  br label %131, !llvm.loop !17

188:                                              ; preds = %137
  %189 = landingpad { ptr, i32 }
          cleanup
  %190 = extractvalue { ptr, i32 } %189, 0
  store ptr %190, ptr %9, align 8
  %191 = extractvalue { ptr, i32 } %189, 1
  store i32 %191, ptr %10, align 4
  br label %196

192:                                              ; preds = %168
  %193 = landingpad { ptr, i32 }
          cleanup
  %194 = extractvalue { ptr, i32 } %193, 0
  store ptr %194, ptr %9, align 8
  %195 = extractvalue { ptr, i32 } %193, 1
  store i32 %195, ptr %10, align 4
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %26) #7
  br label %196

196:                                              ; preds = %192, %188
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #7
  br label %220

197:                                              ; preds = %169
  %198 = landingpad { ptr, i32 }
          cleanup
  %199 = extractvalue { ptr, i32 } %198, 0
  store ptr %199, ptr %9, align 8
  %200 = extractvalue { ptr, i32 } %198, 1
  store i32 %200, ptr %10, align 4
  br label %205

201:                                              ; preds = %172
  %202 = landingpad { ptr, i32 }
          cleanup
  %203 = extractvalue { ptr, i32 } %202, 0
  store ptr %203, ptr %9, align 8
  %204 = extractvalue { ptr, i32 } %202, 1
  store i32 %204, ptr %10, align 4
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %27) #7
  br label %205

205:                                              ; preds = %201, %197
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #7
  br label %220

206:                                              ; preds = %173
  %207 = landingpad { ptr, i32 }
          cleanup
  %208 = extractvalue { ptr, i32 } %207, 0
  store ptr %208, ptr %9, align 8
  %209 = extractvalue { ptr, i32 } %207, 1
  store i32 %209, ptr %10, align 4
  br label %219

210:                                              ; preds = %178
  %211 = landingpad { ptr, i32 }
          cleanup
  %212 = extractvalue { ptr, i32 } %211, 0
  store ptr %212, ptr %9, align 8
  %213 = extractvalue { ptr, i32 } %211, 1
  store i32 %213, ptr %10, align 4
  br label %218

214:                                              ; preds = %183, %181
  %215 = landingpad { ptr, i32 }
          cleanup
  %216 = extractvalue { ptr, i32 } %215, 0
  store ptr %216, ptr %9, align 8
  %217 = extractvalue { ptr, i32 } %215, 1
  store i32 %217, ptr %10, align 4
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %29) #7
  br label %218

218:                                              ; preds = %214, %210
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #7
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %28) #7
  br label %219

219:                                              ; preds = %218, %206
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #7
  br label %220

220:                                              ; preds = %219, %205, %196
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #7
  br label %376

221:                                              ; preds = %136
  br label %222

222:                                              ; preds = %221
  %223 = load i32, ptr %21, align 4, !tbaa !5
  %224 = add nsw i32 %223, 1
  store i32 %224, ptr %21, align 4, !tbaa !5
  br label %121, !llvm.loop !18

225:                                              ; preds = %127
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #7
  store i32 0, ptr %30, align 4, !tbaa !5
  br label %226

226:                                              ; preds = %309, %225
  %227 = load i32, ptr %30, align 4, !tbaa !5
  %228 = sext i32 %227 to i64
  %229 = load i64, ptr %1, align 8, !tbaa !9
  %230 = icmp slt i64 %228, %229
  br i1 %230, label %232, label %231

231:                                              ; preds = %226
  store i32 14, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #7
  br label %318

232:                                              ; preds = %226
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #7
  invoke void @_ZN4CGAL4GmpqC2Eii(ptr noundef nonnull align 8 dereferenceable(8) %31, i32 noundef 2147483647, i32 noundef 1)
          to label %233 unwind label %240

233:                                              ; preds = %232
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #7
  store i32 0, ptr %32, align 4, !tbaa !5
  br label %234

234:                                              ; preds = %289, %233
  %235 = load i32, ptr %32, align 4, !tbaa !5
  %236 = sext i32 %235 to i64
  %237 = load i64, ptr %2, align 8, !tbaa !9
  %238 = icmp slt i64 %236, %237
  br i1 %238, label %244, label %239

239:                                              ; preds = %234
  store i32 17, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #7
  br label %306

240:                                              ; preds = %232
  %241 = landingpad { ptr, i32 }
          cleanup
  %242 = extractvalue { ptr, i32 } %241, 0
  store ptr %242, ptr %9, align 8
  %243 = extractvalue { ptr, i32 } %241, 1
  store i32 %243, ptr %10, align 4
  br label %317

244:                                              ; preds = %234
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #7
  %245 = load i32, ptr %30, align 4, !tbaa !5
  %246 = sext i32 %245 to i64
  %247 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorI1PSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %246) #7
  %248 = getelementptr inbounds %struct.P, ptr %247, i32 0, i32 0
  %249 = load i32, ptr %248, align 4, !tbaa !11
  %250 = load i32, ptr %32, align 4, !tbaa !5
  %251 = sext i32 %250 to i64
  %252 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorI1PSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %251) #7
  %253 = getelementptr inbounds %struct.P, ptr %252, i32 0, i32 0
  %254 = load i32, ptr %253, align 4, !tbaa !11
  %255 = sub nsw i32 %249, %254
  %256 = call i32 @llvm.abs.i32(i32 %255, i1 true)
  %257 = mul nsw i32 2, %256
  %258 = sext i32 %257 to i64
  %259 = load i64, ptr %4, align 8, !tbaa !9
  %260 = sub nsw i64 %258, %259
  store i64 %260, ptr %33, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #7
  %261 = load i32, ptr %30, align 4, !tbaa !5
  %262 = sext i32 %261 to i64
  %263 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorI1PSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %262) #7
  %264 = getelementptr inbounds %struct.P, ptr %263, i32 0, i32 1
  %265 = load i32, ptr %264, align 4, !tbaa !13
  %266 = load i32, ptr %32, align 4, !tbaa !5
  %267 = sext i32 %266 to i64
  %268 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorI1PSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %267) #7
  %269 = getelementptr inbounds %struct.P, ptr %268, i32 0, i32 1
  %270 = load i32, ptr %269, align 4, !tbaa !13
  %271 = sub nsw i32 %265, %270
  %272 = call i32 @llvm.abs.i32(i32 %271, i1 true)
  %273 = mul nsw i32 2, %272
  %274 = sext i32 %273 to i64
  %275 = load i64, ptr %3, align 8, !tbaa !9
  %276 = sub nsw i64 %274, %275
  store i64 %276, ptr %34, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #7
  %277 = load i64, ptr %33, align 8, !tbaa !9
  %278 = load i64, ptr %4, align 8, !tbaa !9
  invoke void @_ZN4CGAL4GmpqC2Elm(ptr noundef nonnull align 8 dereferenceable(8) %35, i64 noundef %277, i64 noundef %278)
          to label %279 unwind label %292

279:                                              ; preds = %244
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #7
  %280 = load i64, ptr %34, align 8, !tbaa !9
  %281 = load i64, ptr %3, align 8, !tbaa !9
  invoke void @_ZN4CGAL4GmpqC2Elm(ptr noundef nonnull align 8 dereferenceable(8) %36, i64 noundef %280, i64 noundef %281)
          to label %282 unwind label %296

282:                                              ; preds = %279
  %283 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIN4CGAL4GmpqEERKT_S4_S4_(ptr noundef nonnull align 8 dereferenceable(8) %35, ptr noundef nonnull align 8 dereferenceable(8) %36)
          to label %284 unwind label %300

284:                                              ; preds = %282
  %285 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIN4CGAL4GmpqEERKT_S4_S4_(ptr noundef nonnull align 8 dereferenceable(8) %31, ptr noundef nonnull align 8 dereferenceable(8) %283)
          to label %286 unwind label %300

286:                                              ; preds = %284
  %287 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN4CGAL4GmpqaSERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %31, ptr noundef nonnull align 8 dereferenceable(8) %285)
          to label %288 unwind label %300

288:                                              ; preds = %286
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %36) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #7
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %35) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #7
  br label %289

289:                                              ; preds = %288
  %290 = load i32, ptr %32, align 4, !tbaa !5
  %291 = add nsw i32 %290, 1
  store i32 %291, ptr %32, align 4, !tbaa !5
  br label %234, !llvm.loop !19

292:                                              ; preds = %244
  %293 = landingpad { ptr, i32 }
          cleanup
  %294 = extractvalue { ptr, i32 } %293, 0
  store ptr %294, ptr %9, align 8
  %295 = extractvalue { ptr, i32 } %293, 1
  store i32 %295, ptr %10, align 4
  br label %305

296:                                              ; preds = %279
  %297 = landingpad { ptr, i32 }
          cleanup
  %298 = extractvalue { ptr, i32 } %297, 0
  store ptr %298, ptr %9, align 8
  %299 = extractvalue { ptr, i32 } %297, 1
  store i32 %299, ptr %10, align 4
  br label %304

300:                                              ; preds = %286, %284, %282
  %301 = landingpad { ptr, i32 }
          cleanup
  %302 = extractvalue { ptr, i32 } %301, 0
  store ptr %302, ptr %9, align 8
  %303 = extractvalue { ptr, i32 } %301, 1
  store i32 %303, ptr %10, align 4
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %36) #7
  br label %304

304:                                              ; preds = %300, %296
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #7
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %35) #7
  br label %305

305:                                              ; preds = %304, %292
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #7
  br label %316

306:                                              ; preds = %239
  %307 = load i32, ptr %30, align 4, !tbaa !5
  invoke void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_uEibRKS1_(ptr noundef nonnull align 8 dereferenceable(472) %7, i32 noundef %307, i1 noundef zeroext true, ptr noundef nonnull align 8 dereferenceable(8) %31)
          to label %308 unwind label %312

308:                                              ; preds = %306
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %31) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #7
  br label %309

309:                                              ; preds = %308
  %310 = load i32, ptr %30, align 4, !tbaa !5
  %311 = add nsw i32 %310, 1
  store i32 %311, ptr %30, align 4, !tbaa !5
  br label %226, !llvm.loop !20

312:                                              ; preds = %306
  %313 = landingpad { ptr, i32 }
          cleanup
  %314 = extractvalue { ptr, i32 } %313, 0
  store ptr %314, ptr %9, align 8
  %315 = extractvalue { ptr, i32 } %313, 1
  store i32 %315, ptr %10, align 4
  br label %316

316:                                              ; preds = %312, %305
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %31) #7
  br label %317

317:                                              ; preds = %316, %240
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #7
  br label %376

318:                                              ; preds = %231
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #7
  store i32 0, ptr %37, align 4, !tbaa !5
  br label %319

319:                                              ; preds = %333, %318
  %320 = load i32, ptr %37, align 4, !tbaa !5
  %321 = sext i32 %320 to i64
  %322 = load i64, ptr %1, align 8, !tbaa !9
  %323 = icmp slt i64 %321, %322
  br i1 %323, label %325, label %324

324:                                              ; preds = %319
  store i32 20, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #7
  br label %345

325:                                              ; preds = %319
  %326 = load i32, ptr %37, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #7
  %327 = load i64, ptr %3, align 8, !tbaa !9
  %328 = load i64, ptr %4, align 8, !tbaa !9
  %329 = add nsw i64 %327, %328
  %330 = mul nsw i64 -2, %329
  invoke void @_ZN4CGAL4GmpqC2El(ptr noundef nonnull align 8 dereferenceable(8) %38, i64 noundef %330)
          to label %331 unwind label %336

331:                                              ; preds = %325
  invoke void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_cEiRKS1_(ptr noundef nonnull align 8 dereferenceable(472) %7, i32 noundef %326, ptr noundef nonnull align 8 dereferenceable(8) %38)
          to label %332 unwind label %340

332:                                              ; preds = %331
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %38) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #7
  br label %333

333:                                              ; preds = %332
  %334 = load i32, ptr %37, align 4, !tbaa !5
  %335 = add nsw i32 %334, 1
  store i32 %335, ptr %37, align 4, !tbaa !5
  br label %319, !llvm.loop !21

336:                                              ; preds = %325
  %337 = landingpad { ptr, i32 }
          cleanup
  %338 = extractvalue { ptr, i32 } %337, 0
  store ptr %338, ptr %9, align 8
  %339 = extractvalue { ptr, i32 } %337, 1
  store i32 %339, ptr %10, align 4
  br label %344

340:                                              ; preds = %331
  %341 = landingpad { ptr, i32 }
          cleanup
  %342 = extractvalue { ptr, i32 } %341, 0
  store ptr %342, ptr %9, align 8
  %343 = extractvalue { ptr, i32 } %341, 1
  store i32 %343, ptr %10, align 4
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %38) #7
  br label %344

344:                                              ; preds = %340, %336
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #7
  br label %376

345:                                              ; preds = %324
  call void @llvm.lifetime.start.p0(i64 48, ptr %39) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #7
  invoke void @_ZN4CGAL4GmpqC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %40)
          to label %346 unwind label %357

346:                                              ; preds = %345
  call void @llvm.lifetime.start.p0(i64 12, ptr %41) #7
  invoke void @_ZN4CGAL25Quadratic_program_optionsC2Ev(ptr noundef nonnull align 4 dereferenceable(9) %41)
          to label %347 unwind label %361

347:                                              ; preds = %346
  invoke void @_ZN4CGAL20solve_linear_programINS_17Quadratic_programINS_4GmpqEEES2_EENS_26Quadratic_program_solutionIT0_EERKT_RKS5_RKNS_25Quadratic_program_optionsE(ptr dead_on_unwind writable sret(%"class.CGAL::Quadratic_program_solution") align 8 %39, ptr noundef nonnull align 8 dereferenceable(472) %7, ptr noundef nonnull align 8 dereferenceable(8) %40, ptr noundef nonnull align 4 dereferenceable(9) %41)
          to label %348 unwind label %361

348:                                              ; preds = %347
  call void @llvm.lifetime.end.p0(i64 12, ptr %41) #7
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %40) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #7
  call void @llvm.lifetime.start.p0(i64 16, ptr %42) #7
  invoke void @_ZNK4CGAL26Quadratic_program_solutionINS_4GmpqEE15objective_valueEv(ptr dead_on_unwind writable sret(%"class.CGAL::Quotient") align 8 %42, ptr noundef nonnull align 8 dereferenceable(48) %39)
          to label %349 unwind label %366

349:                                              ; preds = %348
  %350 = invoke noundef double @_Z13floor_to_longRKN4CGAL8QuotientINS_4GmpqEEE(ptr noundef nonnull align 8 dereferenceable(16) %42)
          to label %351 unwind label %370

351:                                              ; preds = %349
  %352 = fneg double %350
  %353 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, double noundef %352)
          to label %354 unwind label %370

354:                                              ; preds = %351
  %355 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %353, i8 noundef signext 10)
          to label %356 unwind label %370

356:                                              ; preds = %354
  call void @_ZN4CGAL8QuotientINS_4GmpqEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %42) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %42) #7
  call void @_ZN4CGAL26Quadratic_program_solutionINS_4GmpqEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %39) #7
  call void @llvm.lifetime.end.p0(i64 48, ptr %39) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #7
  call void @_ZN4CGAL17Quadratic_programINS_4GmpqEED2Ev(ptr noundef nonnull align 8 dereferenceable(472) %7) #7
  call void @llvm.lifetime.end.p0(i64 472, ptr %7) #7
  call void @_ZNSt6vectorI1PSaIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %6) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %6) #7
  call void @_ZNSt6vectorI1PSaIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %5) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %5) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %2) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %1) #7
  ret void

357:                                              ; preds = %345
  %358 = landingpad { ptr, i32 }
          cleanup
  %359 = extractvalue { ptr, i32 } %358, 0
  store ptr %359, ptr %9, align 8
  %360 = extractvalue { ptr, i32 } %358, 1
  store i32 %360, ptr %10, align 4
  br label %365

361:                                              ; preds = %347, %346
  %362 = landingpad { ptr, i32 }
          cleanup
  %363 = extractvalue { ptr, i32 } %362, 0
  store ptr %363, ptr %9, align 8
  %364 = extractvalue { ptr, i32 } %362, 1
  store i32 %364, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 12, ptr %41) #7
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %40) #7
  br label %365

365:                                              ; preds = %361, %357
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #7
  br label %375

366:                                              ; preds = %348
  %367 = landingpad { ptr, i32 }
          cleanup
  %368 = extractvalue { ptr, i32 } %367, 0
  store ptr %368, ptr %9, align 8
  %369 = extractvalue { ptr, i32 } %367, 1
  store i32 %369, ptr %10, align 4
  br label %374

370:                                              ; preds = %354, %351, %349
  %371 = landingpad { ptr, i32 }
          cleanup
  %372 = extractvalue { ptr, i32 } %371, 0
  store ptr %372, ptr %9, align 8
  %373 = extractvalue { ptr, i32 } %371, 1
  store i32 %373, ptr %10, align 4
  call void @_ZN4CGAL8QuotientINS_4GmpqEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %42) #7
  br label %374

374:                                              ; preds = %370, %366
  call void @llvm.lifetime.end.p0(i64 16, ptr %42) #7
  call void @_ZN4CGAL26Quadratic_program_solutionINS_4GmpqEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %39) #7
  br label %375

375:                                              ; preds = %374, %365
  call void @llvm.lifetime.end.p0(i64 48, ptr %39) #7
  br label %376

376:                                              ; preds = %375, %344, %317, %220
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #7
  br label %377

377:                                              ; preds = %376, %119, %90
  call void @_ZN4CGAL17Quadratic_programINS_4GmpqEED2Ev(ptr noundef nonnull align 8 dereferenceable(472) %7) #7
  br label %378

378:                                              ; preds = %377, %68, %56
  call void @llvm.lifetime.end.p0(i64 472, ptr %7) #7
  call void @_ZNSt6vectorI1PSaIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %6) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %6) #7
  call void @_ZNSt6vectorI1PSaIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %5) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %5) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %2) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %1) #7
  br label %379

379:                                              ; preds = %378
  %380 = load ptr, ptr %9, align 8
  %381 = load i32, ptr %10, align 4
  %382 = insertvalue { ptr, i32 } poison, ptr %380, 0
  %383 = insertvalue { ptr, i32 } %382, i32 %381, 1
  resume { ptr, i32 } %383
}

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(8)) #0 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL4GmpqC2Ei(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL17Quadratic_programINS_4GmpqEEC2ENS_4SignEbS1_bS1_(ptr noundef nonnull align 8 dereferenceable(472), i32 noundef, i1 noundef zeroext, ptr noundef, i1 noundef zeroext, ptr noundef) unnamed_addr #0 align 2

declare noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 4 dereferenceable(4)) #3

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

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

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.abs.i32(i32, i1 immarg) #4

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_aEiiRKS1_(ptr noundef nonnull align 8 dereferenceable(472), i32 noundef, i32 noundef, ptr noundef nonnull align 8 dereferenceable(8)) #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_bEiRKS1_(ptr noundef nonnull align 8 dereferenceable(472), i32 noundef, ptr noundef nonnull align 8 dereferenceable(8)) #0 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIN4CGAL4GmpqEERKT_S4_S4_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #5

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL4GmpqC2Elm(ptr noundef nonnull align 8 dereferenceable(8), i64 noundef, i64 noundef) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL4GmpqC2Eii(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef, i32 noundef) unnamed_addr #0 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIN4CGAL4GmpqEERKT_S4_S4_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #5

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_uEibRKS1_(ptr noundef nonnull align 8 dereferenceable(472), i32 noundef, i1 noundef zeroext, ptr noundef nonnull align 8 dereferenceable(8)) #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_cEiRKS1_(ptr noundef nonnull align 8 dereferenceable(472), i32 noundef, ptr noundef nonnull align 8 dereferenceable(8)) #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL4GmpqC2El(ptr noundef nonnull align 8 dereferenceable(8), i64 noundef) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL20solve_linear_programINS_17Quadratic_programINS_4GmpqEEES2_EENS_26Quadratic_program_solutionIT0_EERKT_RKS5_RKNS_25Quadratic_program_optionsE(ptr dead_on_unwind noalias writable sret(%"class.CGAL::Quadratic_program_solution") align 8, ptr noundef nonnull align 8 dereferenceable(472), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(9)) #0

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN4CGAL25Quadratic_program_optionsC2Ev(ptr noundef nonnull align 4 dereferenceable(9)) unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8), i8 noundef signext) #6

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8), double noundef) #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK4CGAL26Quadratic_program_solutionINS_4GmpqEE15objective_valueEv(ptr dead_on_unwind noalias writable sret(%"class.CGAL::Quotient") align 8, ptr noundef nonnull align 8 dereferenceable(48)) #0 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN4CGAL8QuotientINS_4GmpqEED2Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #5 align 2

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN4CGAL17Quadratic_programINS_4GmpqEED2Ev(ptr noundef nonnull align 8 dereferenceable(472)) unnamed_addr #5 align 2

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

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

attributes #0 = { 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 #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { 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 #3 = { "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 nosync nounwind speculatable willreturn memory(none) }
attributes #5 = { 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 #6 = { inlinehint 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 #7 = { 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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"long", !7, i64 0}
!11 = !{!12, !6, i64 0}
!12 = !{!"_ZTS1P", !6, i64 0, !6, i64 4}
!13 = !{!12, !6, i64 4}
!14 = distinct !{!14, !15}
!15 = !{!"llvm.loop.mustprogress"}
!16 = distinct !{!16, !15}
!17 = distinct !{!17, !15}
!18 = distinct !{!18, !15}
!19 = distinct !{!19, !15}
!20 = distinct !{!20, !15}
!21 = distinct !{!21, !15}


; 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"

%"class.std::basic_istream" = type { ptr, i64, %"class.std::basic_ios" }
%"class.std::basic_ios" = type { %"class.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
%"class.std::ios_base" = type { ptr, i64, i64, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"class.std::locale" }
%"struct.std::ios_base::_Words" = type { ptr, i64 }
%"class.std::locale" = type { ptr }
%"class.std::basic_ostream" = type { ptr, %"class.std::basic_ios" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<P, std::allocator<P>>::_Vector_impl" }
%"struct.std::_Vector_base<P, std::allocator<P>>::_Vector_impl" = type { %"struct.std::_Vector_base<P, std::allocator<P>>::_Vector_impl_data" }
%"struct.std::_Vector_base<P, std::allocator<P>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.CGAL::Quadratic_program" = type { i32, i32, %"class.std::vector.108", %"class.std::map", %"class.std::map.116", %"class.std::map.121", %"class.std::map", %"class.std::map.121", %"class.std::map", %"class.std::map", %"class.std::vector.108", %"class.CGAL::Gmpq", i32, i8, %"class.CGAL::Gmpq", i8, %"class.CGAL::Gmpq", i8, %"class.std::__cxx11::basic_string" }
%"class.std::map.116" = type { %"class.std::_Rb_tree.117" }
%"class.std::_Rb_tree.117" = type { %"struct.std::_Rb_tree<unsigned long, std::pair<const unsigned long, CGAL::Sign>, std::_Select1st<std::pair<const unsigned long, CGAL::Sign>>, std::less<unsigned long>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<unsigned long, std::pair<const unsigned long, CGAL::Sign>, std::_Select1st<std::pair<const unsigned long, CGAL::Sign>>, std::less<unsigned long>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%"class.std::map.121" = type { %"class.std::_Rb_tree.122" }
%"class.std::_Rb_tree.122" = type { %"struct.std::_Rb_tree<unsigned long, std::pair<const unsigned long, bool>, std::_Select1st<std::pair<const unsigned long, bool>>, std::less<unsigned long>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<unsigned long, std::pair<const unsigned long, bool>, std::_Select1st<std::pair<const unsigned long, bool>>, std::less<unsigned long>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.std::map" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<unsigned long, std::pair<const unsigned long, CGAL::Gmpq>, std::_Select1st<std::pair<const unsigned long, CGAL::Gmpq>>, std::less<unsigned long>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<unsigned long, std::pair<const unsigned long, CGAL::Gmpq>, std::_Select1st<std::pair<const unsigned long, CGAL::Gmpq>>, std::less<unsigned long>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.std::vector.108" = type { %"struct.std::_Vector_base.109" }
%"struct.std::_Vector_base.109" = type { %"struct.std::_Vector_base<std::map<unsigned long, CGAL::Gmpq>, std::allocator<std::map<unsigned long, CGAL::Gmpq>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::map<unsigned long, CGAL::Gmpq>, std::allocator<std::map<unsigned long, CGAL::Gmpq>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::map<unsigned long, CGAL::Gmpq>, std::allocator<std::map<unsigned long, CGAL::Gmpq>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::map<unsigned long, CGAL::Gmpq>, std::allocator<std::map<unsigned long, CGAL::Gmpq>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.CGAL::Gmpq" = type { %"class.CGAL::Handle_for" }
%"class.CGAL::Handle_for" = type { ptr }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%struct.P = type { i32, i32 }
%"class.CGAL::Quadratic_program_solution" = type { %"class.CGAL::Handle_for.129", %"class.CGAL::Gmpq", %"class.std::__cxx11::basic_string" }
%"class.CGAL::Handle_for.129" = type { ptr }
%"class.CGAL::Quadratic_program_options" = type <{ i32, i32, i8, [3 x i8] }>
%"class.CGAL::Quotient" = type { %"class.CGAL::Gmpq", %"class.CGAL::Gmpq" }

@_ZSt3cin = external global %"class.std::basic_istream", align 8
@_ZSt4cout = external global %"class.std::basic_ostream", align 8

declare i32 @__gxx_personality_v0(...)

; Function Attrs: mustprogress uwtable
declare dso_local noundef double @_Z13floor_to_longRKN4CGAL8QuotientINS_4GmpqEEE(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #0

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_Z5solvev() local_unnamed_addr #0 personality ptr @__gxx_personality_v0 {
  %1 = alloca i64, align 8
  %2 = alloca i64, align 8
  %3 = alloca i64, align 8
  %4 = alloca i64, align 8
  %5 = alloca %"class.std::vector", align 8
  %6 = alloca %"class.std::vector", align 8
  %7 = alloca %"class.CGAL::Quadratic_program", align 8
  %8 = alloca %"class.CGAL::Gmpq", align 8
  %9 = alloca %"class.CGAL::Gmpq", align 8
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca %struct.P, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca %struct.P, align 4
  %16 = alloca %"class.CGAL::Gmpq", align 8
  %17 = alloca %"class.CGAL::Gmpq", align 8
  %18 = alloca %"class.CGAL::Gmpq", align 8
  %19 = alloca %"class.CGAL::Gmpq", align 8
  %20 = alloca %"class.CGAL::Gmpq", align 8
  %21 = alloca %"class.CGAL::Gmpq", align 8
  %22 = alloca %"class.CGAL::Gmpq", align 8
  %23 = alloca %"class.CGAL::Gmpq", align 8
  %24 = alloca %"class.CGAL::Quadratic_program_solution", align 8
  %25 = alloca %"class.CGAL::Gmpq", align 8
  %26 = alloca %"class.CGAL::Quadratic_program_options", align 4
  %27 = alloca %"class.CGAL::Quotient", align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %1) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %2) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %3) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #7
  %28 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 8 dereferenceable(8) %1)
  %29 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %28, ptr noundef nonnull align 8 dereferenceable(8) %2)
  %30 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %29, ptr noundef nonnull align 8 dereferenceable(8) %3)
  %31 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %30, ptr noundef nonnull align 8 dereferenceable(8) %4)
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %5) #7
  call void @_ZNSt6vectorI1PSaIS0_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %5) #7
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %6) #7
  call void @_ZNSt6vectorI1PSaIS0_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %6) #7
  call void @llvm.lifetime.start.p0(i64 472, ptr nonnull %7) #7
  invoke void @_ZN4CGAL4GmpqC2Ei(ptr noundef nonnull align 8 dereferenceable(8) %8, i32 noundef 1)
          to label %32 unwind label %42

32:                                               ; preds = %0
  invoke void @_ZN4CGAL4GmpqC2Ei(ptr noundef nonnull align 8 dereferenceable(8) %9, i32 noundef 0)
          to label %33 unwind label %44

33:                                               ; preds = %32
  invoke void @_ZN4CGAL17Quadratic_programINS_4GmpqEEC2ENS_4SignEbS1_bS1_(ptr noundef nonnull align 8 dereferenceable(472) %7, i32 noundef -1, i1 noundef zeroext true, ptr noundef nonnull %8, i1 noundef zeroext false, ptr noundef nonnull %9)
          to label %34 unwind label %46

34:                                               ; preds = %33
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #7
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %8) #7
  %35 = load i64, ptr %1, align 8, !tbaa !5
  %36 = icmp sgt i64 %35, 0
  br i1 %36, label %.lr.ph, label %.preheader98

.lr.ph:                                           ; preds = %34
  %37 = getelementptr inbounds i8, ptr %12, i64 4
  br label %49

.preheader98:                                     ; preds = %56, %34
  %38 = phi i64 [ %35, %34 ], [ %57, %56 ]
  %39 = load i64, ptr %2, align 8, !tbaa !5
  %40 = icmp sgt i64 %39, 0
  br i1 %40, label %.lr.ph108, label %.preheader97

.lr.ph108:                                        ; preds = %.preheader98
  %41 = getelementptr inbounds i8, ptr %15, i64 4
  br label %66

42:                                               ; preds = %0
  %43 = landingpad { ptr, i32 }
          cleanup
  br label %228

44:                                               ; preds = %32
  %45 = landingpad { ptr, i32 }
          cleanup
  br label %48

46:                                               ; preds = %33
  %47 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #7
  br label %48

48:                                               ; preds = %46, %44
  %.pn = phi { ptr, i32 } [ %47, %46 ], [ %45, %44 ]
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %8) #7
  br label %228

49:                                               ; preds = %.lr.ph, %56
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %56 ]
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %10) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %11) #7
  %50 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 4 dereferenceable(4) %10)
          to label %51 unwind label %59

51:                                               ; preds = %49
  %52 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) %50, ptr noundef nonnull align 4 dereferenceable(4) %11)
          to label %53 unwind label %59

53:                                               ; preds = %51
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #7
  %54 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %54, ptr %12, align 4, !tbaa !11
  %55 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %55, ptr %37, align 4, !tbaa !13
  invoke void @_ZNSt6vectorI1PSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %5, ptr noundef nonnull align 4 dereferenceable(8) %12)
          to label %56 unwind label %61

56:                                               ; preds = %53
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %11) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %10) #7
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %57 = load i64, ptr %1, align 8, !tbaa !5
  %58 = icmp sgt i64 %57, %indvars.iv.next
  br i1 %58, label %49, label %.preheader98, !llvm.loop !14

59:                                               ; preds = %51, %49
  %60 = landingpad { ptr, i32 }
          cleanup
  br label %63

61:                                               ; preds = %53
  %62 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #7
  br label %63

63:                                               ; preds = %61, %59
  %.pn91 = phi { ptr, i32 } [ %62, %61 ], [ %60, %59 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %11) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %10) #7
  br label %227

.preheader97.loopexit:                            ; preds = %73
  %.pre = load i64, ptr %1, align 8, !tbaa !5
  br label %.preheader97

.preheader97:                                     ; preds = %.preheader97.loopexit, %.preheader98
  %64 = phi i64 [ %.pre, %.preheader97.loopexit ], [ %38, %.preheader98 ]
  %65 = icmp sgt i64 %64, 1
  br i1 %65, label %.lr.ph114, label %.preheader96

66:                                               ; preds = %.lr.ph108, %73
  %indvars.iv126 = phi i64 [ 0, %.lr.ph108 ], [ %indvars.iv.next127, %73 ]
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %13) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %14) #7
  %67 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 4 dereferenceable(4) %13)
          to label %68 unwind label %76

68:                                               ; preds = %66
  %69 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) %67, ptr noundef nonnull align 4 dereferenceable(4) %14)
          to label %70 unwind label %76

70:                                               ; preds = %68
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %15) #7
  %71 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %71, ptr %15, align 4, !tbaa !11
  %72 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %72, ptr %41, align 4, !tbaa !13
  invoke void @_ZNSt6vectorI1PSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %6, ptr noundef nonnull align 4 dereferenceable(8) %15)
          to label %73 unwind label %78

73:                                               ; preds = %70
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %15) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %14) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #7
  %indvars.iv.next127 = add nuw nsw i64 %indvars.iv126, 1
  %74 = load i64, ptr %2, align 8, !tbaa !5
  %75 = icmp sgt i64 %74, %indvars.iv.next127
  br i1 %75, label %66, label %.preheader97.loopexit, !llvm.loop !16

76:                                               ; preds = %68, %66
  %77 = landingpad { ptr, i32 }
          cleanup
  br label %80

78:                                               ; preds = %70
  %79 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %15) #7
  br label %80

80:                                               ; preds = %78, %76
  %.pn89 = phi { ptr, i32 } [ %79, %78 ], [ %77, %76 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %14) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #7
  br label %227

.loopexit:                                        ; preds = %118, %.lr.ph114
  %81 = phi i64 [ %86, %.lr.ph114 ], [ %119, %118 ]
  %.162.lcssa = phi i32 [ %.061112, %.lr.ph114 ], [ %112, %118 ]
  %82 = add nsw i64 %81, -1
  %83 = icmp sgt i64 %82, %indvars.iv.next135
  %indvars.iv.next130 = add nuw nsw i64 %indvars.iv129, 1
  br i1 %83, label %.lr.ph114, label %.preheader96, !llvm.loop !17

.preheader96:                                     ; preds = %.loopexit, %.preheader97
  %84 = phi i64 [ %64, %.preheader97 ], [ %81, %.loopexit ]
  %85 = icmp sgt i64 %84, 0
  br i1 %85, label %.lr.ph118, label %._crit_edge121

.lr.ph114:                                        ; preds = %.preheader97, %.loopexit
  %86 = phi i64 [ %81, %.loopexit ], [ %64, %.preheader97 ]
  %indvars.iv134 = phi i64 [ %indvars.iv.next135, %.loopexit ], [ 0, %.preheader97 ]
  %indvars.iv129 = phi i64 [ %indvars.iv.next130, %.loopexit ], [ 1, %.preheader97 ]
  %.061112 = phi i32 [ %.162.lcssa, %.loopexit ], [ 0, %.preheader97 ]
  %indvars.iv.next135 = add nuw nsw i64 %indvars.iv134, 1
  %87 = icmp sgt i64 %86, %indvars.iv.next135
  br i1 %87, label %.lr.ph111.preheader, label %.loopexit

.lr.ph111.preheader:                              ; preds = %.lr.ph114
  %88 = trunc nuw nsw i64 %indvars.iv134 to i32
  br label %.lr.ph111

.lr.ph111:                                        ; preds = %.lr.ph111.preheader, %118
  %indvars.iv131 = phi i64 [ %indvars.iv129, %.lr.ph111.preheader ], [ %indvars.iv.next132, %118 ]
  %.162109 = phi i32 [ %.061112, %.lr.ph111.preheader ], [ %112, %118 ]
  %89 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorI1PSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %indvars.iv134) #7
  %90 = load i32, ptr %89, align 4, !tbaa !11
  %91 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorI1PSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %indvars.iv131) #7
  %92 = load i32, ptr %91, align 4, !tbaa !11
  %93 = sub nsw i32 %90, %92
  %94 = call i32 @llvm.abs.i32(i32 %93, i1 true)
  %95 = shl nuw nsw i32 %94, 1
  %96 = zext nneg i32 %95 to i64
  %97 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorI1PSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %indvars.iv134) #7
  %98 = getelementptr inbounds i8, ptr %97, i64 4
  %99 = load i32, ptr %98, align 4, !tbaa !13
  %100 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorI1PSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %indvars.iv131) #7
  %101 = getelementptr inbounds i8, ptr %100, i64 4
  %102 = load i32, ptr %101, align 4, !tbaa !13
  %103 = sub nsw i32 %99, %102
  %104 = call i32 @llvm.abs.i32(i32 %103, i1 true)
  %105 = shl nuw nsw i32 %104, 1
  %106 = zext nneg i32 %105 to i64
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %16) #7
  invoke void @_ZN4CGAL4GmpqC2Ei(ptr noundef nonnull align 8 dereferenceable(8) %16, i32 noundef 1)
          to label %107 unwind label %121

107:                                              ; preds = %.lr.ph111
  invoke void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_aEiiRKS1_(ptr noundef nonnull align 8 dereferenceable(472) %7, i32 noundef %88, i32 noundef %.162109, ptr noundef nonnull align 8 dereferenceable(8) %16)
          to label %108 unwind label %123

108:                                              ; preds = %107
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %16) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %17) #7
  invoke void @_ZN4CGAL4GmpqC2Ei(ptr noundef nonnull align 8 dereferenceable(8) %17, i32 noundef 1)
          to label %109 unwind label %126

109:                                              ; preds = %108
  %110 = trunc nuw nsw i64 %indvars.iv131 to i32
  invoke void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_aEiiRKS1_(ptr noundef nonnull align 8 dereferenceable(472) %7, i32 noundef %110, i32 noundef %.162109, ptr noundef nonnull align 8 dereferenceable(8) %17)
          to label %111 unwind label %128

111:                                              ; preds = %109
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %17) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #7
  %112 = add nsw i32 %.162109, 1
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %18) #7
  %113 = load i64, ptr %4, align 8, !tbaa !5
  invoke void @_ZN4CGAL4GmpqC2Elm(ptr noundef nonnull align 8 dereferenceable(8) %18, i64 noundef %96, i64 noundef %113)
          to label %114 unwind label %131

114:                                              ; preds = %111
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #7
  %115 = load i64, ptr %3, align 8, !tbaa !5
  invoke void @_ZN4CGAL4GmpqC2Elm(ptr noundef nonnull align 8 dereferenceable(8) %19, i64 noundef %106, i64 noundef %115)
          to label %116 unwind label %133

116:                                              ; preds = %114
  %117 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIN4CGAL4GmpqEERKT_S4_S4_(ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull align 8 dereferenceable(8) %19)
  invoke void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_bEiRKS1_(ptr noundef nonnull align 8 dereferenceable(472) %7, i32 noundef %.162109, ptr noundef nonnull align 8 dereferenceable(8) %117)
          to label %118 unwind label %135

118:                                              ; preds = %116
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %19) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #7
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %18) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #7
  %indvars.iv.next132 = add nuw nsw i64 %indvars.iv131, 1
  %119 = load i64, ptr %1, align 8, !tbaa !5
  %120 = icmp sgt i64 %119, %indvars.iv.next132
  br i1 %120, label %.lr.ph111, label %.loopexit, !llvm.loop !18

121:                                              ; preds = %.lr.ph111
  %122 = landingpad { ptr, i32 }
          cleanup
  br label %125

123:                                              ; preds = %107
  %124 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %16) #7
  br label %125

125:                                              ; preds = %123, %121
  %.pn80 = phi { ptr, i32 } [ %124, %123 ], [ %122, %121 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #7
  br label %227

126:                                              ; preds = %108
  %127 = landingpad { ptr, i32 }
          cleanup
  br label %130

128:                                              ; preds = %109
  %129 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %17) #7
  br label %130

130:                                              ; preds = %128, %126
  %.pn82 = phi { ptr, i32 } [ %129, %128 ], [ %127, %126 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #7
  br label %227

131:                                              ; preds = %111
  %132 = landingpad { ptr, i32 }
          cleanup
  br label %138

133:                                              ; preds = %114
  %134 = landingpad { ptr, i32 }
          cleanup
  br label %137

135:                                              ; preds = %116
  %136 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %19) #7
  br label %137

137:                                              ; preds = %135, %133
  %.pn84 = phi { ptr, i32 } [ %136, %135 ], [ %134, %133 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #7
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %18) #7
  br label %138

138:                                              ; preds = %137, %131
  %.pn84.pn = phi { ptr, i32 } [ %.pn84, %137 ], [ %132, %131 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #7
  br label %227

.preheader:                                       ; preds = %185
  %139 = icmp sgt i64 %186, 0
  br i1 %139, label %.lr.ph120, label %._crit_edge121

.lr.ph118:                                        ; preds = %.preheader96, %185
  %indvars.iv140 = phi i64 [ %indvars.iv.next141, %185 ], [ 0, %.preheader96 ]
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %20) #7
  invoke void @_ZN4CGAL4GmpqC2Eii(ptr noundef nonnull align 8 dereferenceable(8) %20, i32 noundef 2147483647, i32 noundef 1)
          to label %.preheader95 unwind label %143

.preheader95:                                     ; preds = %.lr.ph118
  %140 = load i64, ptr %2, align 8, !tbaa !5
  %141 = icmp sgt i64 %140, 0
  br i1 %141, label %.lr.ph116, label %._crit_edge

._crit_edge:                                      ; preds = %174, %.preheader95
  %142 = trunc nuw nsw i64 %indvars.iv140 to i32
  invoke void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_uEibRKS1_(ptr noundef nonnull align 8 dereferenceable(472) %7, i32 noundef %142, i1 noundef zeroext true, ptr noundef nonnull align 8 dereferenceable(8) %20)
          to label %185 unwind label %188

143:                                              ; preds = %.lr.ph118
  %144 = landingpad { ptr, i32 }
          cleanup
  br label %191

.lr.ph116:                                        ; preds = %.preheader95, %174
  %indvars.iv137 = phi i64 [ %indvars.iv.next138, %174 ], [ 0, %.preheader95 ]
  %145 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorI1PSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %indvars.iv140) #7
  %146 = load i32, ptr %145, align 4, !tbaa !11
  %147 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorI1PSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %indvars.iv137) #7
  %148 = load i32, ptr %147, align 4, !tbaa !11
  %149 = sub nsw i32 %146, %148
  %150 = call i32 @llvm.abs.i32(i32 %149, i1 true)
  %151 = shl nuw nsw i32 %150, 1
  %152 = zext nneg i32 %151 to i64
  %153 = load i64, ptr %4, align 8, !tbaa !5
  %154 = sub nsw i64 %152, %153
  %155 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorI1PSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %indvars.iv140) #7
  %156 = getelementptr inbounds i8, ptr %155, i64 4
  %157 = load i32, ptr %156, align 4, !tbaa !13
  %158 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorI1PSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %indvars.iv137) #7
  %159 = getelementptr inbounds i8, ptr %158, i64 4
  %160 = load i32, ptr %159, align 4, !tbaa !13
  %161 = load i64, ptr %3, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %21) #7
  %162 = load i64, ptr %4, align 8, !tbaa !5
  invoke void @_ZN4CGAL4GmpqC2Elm(ptr noundef nonnull align 8 dereferenceable(8) %21, i64 noundef %154, i64 noundef %162)
          to label %163 unwind label %177

163:                                              ; preds = %.lr.ph116
  %164 = sub nsw i32 %157, %160
  %165 = call i32 @llvm.abs.i32(i32 %164, i1 true)
  %166 = shl nuw nsw i32 %165, 1
  %167 = zext nneg i32 %166 to i64
  %168 = sub nsw i64 %167, %161
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %22) #7
  %169 = load i64, ptr %3, align 8, !tbaa !5
  invoke void @_ZN4CGAL4GmpqC2Elm(ptr noundef nonnull align 8 dereferenceable(8) %22, i64 noundef %168, i64 noundef %169)
          to label %170 unwind label %179

170:                                              ; preds = %163
  %171 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIN4CGAL4GmpqEERKT_S4_S4_(ptr noundef nonnull align 8 dereferenceable(8) %21, ptr noundef nonnull align 8 dereferenceable(8) %22)
  %172 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIN4CGAL4GmpqEERKT_S4_S4_(ptr noundef nonnull align 8 dereferenceable(8) %20, ptr noundef nonnull align 8 dereferenceable(8) %171)
  %173 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN4CGAL4GmpqaSERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %20, ptr noundef nonnull align 8 dereferenceable(8) %172)
          to label %174 unwind label %181

174:                                              ; preds = %170
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %22) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #7
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %21) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #7
  %indvars.iv.next138 = add nuw nsw i64 %indvars.iv137, 1
  %175 = load i64, ptr %2, align 8, !tbaa !5
  %176 = icmp sgt i64 %175, %indvars.iv.next138
  br i1 %176, label %.lr.ph116, label %._crit_edge, !llvm.loop !19

177:                                              ; preds = %.lr.ph116
  %178 = landingpad { ptr, i32 }
          cleanup
  br label %184

179:                                              ; preds = %163
  %180 = landingpad { ptr, i32 }
          cleanup
  br label %183

181:                                              ; preds = %170
  %182 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %22) #7
  br label %183

183:                                              ; preds = %181, %179
  %.pn75 = phi { ptr, i32 } [ %182, %181 ], [ %180, %179 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #7
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %21) #7
  br label %184

184:                                              ; preds = %183, %177
  %.pn75.pn = phi { ptr, i32 } [ %.pn75, %183 ], [ %178, %177 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #7
  br label %190

185:                                              ; preds = %._crit_edge
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %20) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #7
  %indvars.iv.next141 = add nuw nsw i64 %indvars.iv140, 1
  %186 = load i64, ptr %1, align 8, !tbaa !5
  %187 = icmp sgt i64 %186, %indvars.iv.next141
  br i1 %187, label %.lr.ph118, label %.preheader, !llvm.loop !20

188:                                              ; preds = %._crit_edge
  %189 = landingpad { ptr, i32 }
          cleanup
  br label %190

190:                                              ; preds = %188, %184
  %.pn75.pn.pn = phi { ptr, i32 } [ %.pn75.pn, %184 ], [ %189, %188 ]
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %20) #7
  br label %191

191:                                              ; preds = %190, %143
  %.pn75.pn.pn.pn = phi { ptr, i32 } [ %.pn75.pn.pn, %190 ], [ %144, %143 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #7
  br label %227

._crit_edge121:                                   ; preds = %198, %.preheader96, %.preheader
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %24) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %25) #7
  invoke void @_ZN4CGAL4GmpqC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %25)
          to label %206 unwind label %216

.lr.ph120:                                        ; preds = %.preheader, %198
  %indvars.iv143 = phi i64 [ %indvars.iv.next144, %198 ], [ 0, %.preheader ]
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %23) #7
  %192 = load i64, ptr %3, align 8, !tbaa !5
  %193 = load i64, ptr %4, align 8, !tbaa !5
  %194 = add nsw i64 %193, %192
  %195 = mul nsw i64 %194, -2
  invoke void @_ZN4CGAL4GmpqC2El(ptr noundef nonnull align 8 dereferenceable(8) %23, i64 noundef %195)
          to label %196 unwind label %201

196:                                              ; preds = %.lr.ph120
  %197 = trunc nuw nsw i64 %indvars.iv143 to i32
  invoke void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_cEiRKS1_(ptr noundef nonnull align 8 dereferenceable(472) %7, i32 noundef %197, ptr noundef nonnull align 8 dereferenceable(8) %23)
          to label %198 unwind label %203

198:                                              ; preds = %196
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %23) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #7
  %indvars.iv.next144 = add nuw nsw i64 %indvars.iv143, 1
  %199 = load i64, ptr %1, align 8, !tbaa !5
  %200 = icmp sgt i64 %199, %indvars.iv.next144
  br i1 %200, label %.lr.ph120, label %._crit_edge121, !llvm.loop !21

201:                                              ; preds = %.lr.ph120
  %202 = landingpad { ptr, i32 }
          cleanup
  br label %205

203:                                              ; preds = %196
  %204 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %23) #7
  br label %205

205:                                              ; preds = %203, %201
  %.pn73 = phi { ptr, i32 } [ %204, %203 ], [ %202, %201 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #7
  br label %227

206:                                              ; preds = %._crit_edge121
  call void @llvm.lifetime.start.p0(i64 12, ptr nonnull %26) #7
  call void @_ZN4CGAL25Quadratic_program_optionsC2Ev(ptr noundef nonnull align 4 dereferenceable(9) %26)
  invoke void @_ZN4CGAL20solve_linear_programINS_17Quadratic_programINS_4GmpqEEES2_EENS_26Quadratic_program_solutionIT0_EERKT_RKS5_RKNS_25Quadratic_program_optionsE(ptr dead_on_unwind nonnull writable sret(%"class.CGAL::Quadratic_program_solution") align 8 %24, ptr noundef nonnull align 8 dereferenceable(472) %7, ptr noundef nonnull align 8 dereferenceable(8) %25, ptr noundef nonnull align 4 dereferenceable(9) %26)
          to label %207 unwind label %218

207:                                              ; preds = %206
  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %26) #7
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %25) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #7
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %27) #7
  invoke void @_ZNK4CGAL26Quadratic_program_solutionINS_4GmpqEE15objective_valueEv(ptr dead_on_unwind nonnull writable sret(%"class.CGAL::Quotient") align 8 %27, ptr noundef nonnull align 8 dereferenceable(48) %24)
          to label %208 unwind label %221

208:                                              ; preds = %207
  %209 = invoke noundef double @_Z13floor_to_longRKN4CGAL8QuotientINS_4GmpqEEE(ptr noundef nonnull align 8 dereferenceable(16) %27)
          to label %210 unwind label %223

210:                                              ; preds = %208
  %211 = fneg double %209
  %212 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, double noundef %211)
          to label %213 unwind label %223

213:                                              ; preds = %210
  %214 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %212, i8 noundef signext 10)
          to label %215 unwind label %223

215:                                              ; preds = %213
  call void @_ZN4CGAL8QuotientINS_4GmpqEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %27) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %27) #7
  call void @_ZN4CGAL26Quadratic_program_solutionINS_4GmpqEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %24) #7
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %24) #7
  call void @_ZN4CGAL17Quadratic_programINS_4GmpqEED2Ev(ptr noundef nonnull align 8 dereferenceable(472) %7) #7
  call void @llvm.lifetime.end.p0(i64 472, ptr nonnull %7) #7
  call void @_ZNSt6vectorI1PSaIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %6) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %6) #7
  call void @_ZNSt6vectorI1PSaIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %5) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %5) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %2) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #7
  ret void

216:                                              ; preds = %._crit_edge121
  %217 = landingpad { ptr, i32 }
          cleanup
  br label %220

218:                                              ; preds = %206
  %219 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %26) #7
  call void @_ZN4CGAL10Handle_forINS_8Gmpq_repESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %25) #7
  br label %220

220:                                              ; preds = %218, %216
  %.pn68 = phi { ptr, i32 } [ %219, %218 ], [ %217, %216 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #7
  br label %226

221:                                              ; preds = %207
  %222 = landingpad { ptr, i32 }
          cleanup
  br label %225

223:                                              ; preds = %213, %210, %208
  %224 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4CGAL8QuotientINS_4GmpqEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %27) #7
  br label %225

225:                                              ; preds = %223, %221
  %.pn70 = phi { ptr, i32 } [ %224, %223 ], [ %222, %221 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %27) #7
  call void @_ZN4CGAL26Quadratic_program_solutionINS_4GmpqEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %24) #7
  br label %226

226:                                              ; preds = %225, %220
  %.pn70.pn = phi { ptr, i32 } [ %.pn70, %225 ], [ %.pn68, %220 ]
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %24) #7
  br label %227

227:                                              ; preds = %191, %205, %226, %138, %130, %125, %80, %63
  %.pn91.pn = phi { ptr, i32 } [ %.pn91, %63 ], [ %.pn89, %80 ], [ %.pn75.pn.pn.pn, %191 ], [ %.pn73, %205 ], [ %.pn70.pn, %226 ], [ %.pn84.pn, %138 ], [ %.pn82, %130 ], [ %.pn80, %125 ]
  call void @_ZN4CGAL17Quadratic_programINS_4GmpqEED2Ev(ptr noundef nonnull align 8 dereferenceable(472) %7) #7
  br label %228

228:                                              ; preds = %227, %48, %42
  %.pn91.pn.pn = phi { ptr, i32 } [ %.pn91.pn, %227 ], [ %.pn, %48 ], [ %43, %42 ]
  call void @llvm.lifetime.end.p0(i64 472, ptr nonnull %7) #7
  call void @_ZNSt6vectorI1PSaIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %6) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %6) #7
  call void @_ZNSt6vectorI1PSaIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %5) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %5) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %2) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #7
  resume { ptr, i32 } %.pn91.pn.pn
}

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #0 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL4GmpqC2Ei(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL17Quadratic_programINS_4GmpqEEC2ENS_4SignEbS1_bS1_(ptr noundef nonnull align 8 dereferenceable(472), i32 noundef, i1 noundef zeroext, ptr noundef, i1 noundef zeroext, ptr noundef) unnamed_addr #0 align 2

declare noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #3

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

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

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.abs.i32(i32, i1 immarg) #4

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_aEiiRKS1_(ptr noundef nonnull align 8 dereferenceable(472), i32 noundef, i32 noundef, ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_bEiRKS1_(ptr noundef nonnull align 8 dereferenceable(472), i32 noundef, ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #0 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIN4CGAL4GmpqEERKT_S4_S4_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #5

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL4GmpqC2Elm(ptr noundef nonnull align 8 dereferenceable(8), i64 noundef, i64 noundef) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL4GmpqC2Eii(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef, i32 noundef) unnamed_addr #0 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIN4CGAL4GmpqEERKT_S4_S4_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #5

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_uEibRKS1_(ptr noundef nonnull align 8 dereferenceable(472), i32 noundef, i1 noundef zeroext, ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL17Quadratic_programINS_4GmpqEE5set_cEiRKS1_(ptr noundef nonnull align 8 dereferenceable(472), i32 noundef, ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL4GmpqC2El(ptr noundef nonnull align 8 dereferenceable(8), i64 noundef) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN4CGAL20solve_linear_programINS_17Quadratic_programINS_4GmpqEEES2_EENS_26Quadratic_program_solutionIT0_EERKT_RKS5_RKNS_25Quadratic_program_optionsE(ptr dead_on_unwind noalias writable sret(%"class.CGAL::Quadratic_program_solution") align 8, ptr noundef nonnull align 8 dereferenceable(472), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(9)) local_unnamed_addr #0

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN4CGAL25Quadratic_program_optionsC2Ev(ptr noundef nonnull align 4 dereferenceable(9)) unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8), i8 noundef signext) local_unnamed_addr #6

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8), double noundef) local_unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK4CGAL26Quadratic_program_solutionINS_4GmpqEE15objective_valueEv(ptr dead_on_unwind noalias writable sret(%"class.CGAL::Quotient") align 8, ptr noundef nonnull align 8 dereferenceable(48)) local_unnamed_addr #0 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN4CGAL8QuotientINS_4GmpqEED2Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #5 align 2

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN4CGAL17Quadratic_programINS_4GmpqEED2Ev(ptr noundef nonnull align 8 dereferenceable(472)) unnamed_addr #5 align 2

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

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

attributes #0 = { 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 #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { 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 #3 = { "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 nosync nounwind speculatable willreturn memory(none) }
attributes #5 = { 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 #6 = { inlinehint 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 #7 = { 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 = !{!"long", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !10, i64 0}
!12 = !{!"_ZTS1P", !10, i64 0, !10, i64 4}
!13 = !{!12, !10, i64 4}
!14 = distinct !{!14, !15}
!15 = !{!"llvm.loop.mustprogress"}
!16 = distinct !{!16, !15}
!17 = distinct !{!17, !15}
!18 = distinct !{!18, !15}
!19 = distinct !{!19, !15}
!20 = distinct !{!20, !15}
!21 = distinct !{!21, !15}


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,ReassociatePass,SROAPass,SimplifyCFGPass