; LLVM IR from tommasocerruti/algolab-2024 :: src/week04/first_hit/solution.ll (Z5solvei)

; 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.CGAL::Ray_2" = type { %"class.CGAL::Lazy.15" }
%"class.CGAL::Lazy.15" = type { %"class.CGAL::Handle" }
%"class.CGAL::Handle" = type { ptr }
%"class.CGAL::Point_2" = type { %"class.CGAL::Lazy.16" }
%"class.CGAL::Lazy.16" = type { %"class.CGAL::Handle" }
%"class.CGAL::Segment_2" = type { %"class.CGAL::Lazy.17" }
%"class.CGAL::Lazy.17" = type { %"class.CGAL::Handle" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<CGAL::Segment_2<CGAL::Epeck>, std::allocator<CGAL::Segment_2<CGAL::Epeck>>>::_Vector_impl" }
%"struct.std::_Vector_base<CGAL::Segment_2<CGAL::Epeck>, std::allocator<CGAL::Segment_2<CGAL::Epeck>>>::_Vector_impl" = type { %"struct.std::_Vector_base<CGAL::Segment_2<CGAL::Epeck>, std::allocator<CGAL::Segment_2<CGAL::Epeck>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<CGAL::Segment_2<CGAL::Epeck>, std::allocator<CGAL::Segment_2<CGAL::Epeck>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::allocator" = type { i8 }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"class.boost::optional" = type { %"class.boost::optional_detail::optional_base" }
%"class.boost::optional_detail::optional_base" = type { i8, [7 x i8], %"class.boost::optional_detail::aligned_storage" }
%"class.boost::optional_detail::aligned_storage" = type { %"union.boost::optional_detail::aligned_storage<boost::variant<CGAL::Point_2<CGAL::Epeck>, CGAL::Segment_2<CGAL::Epeck>>>::dummy_u" }
%"union.boost::optional_detail::aligned_storage<boost::variant<CGAL::Point_2<CGAL::Epeck>, CGAL::Segment_2<CGAL::Epeck>>>::dummy_u" = type { [16 x i8] }
%"class.CGAL::Lazy_exact_nt" = type <{ %"class.CGAL::Lazy", [8 x i8] }>
%"class.CGAL::Lazy" = type { %"class.CGAL::Handle" }

@_ZSt3cin = external global %"class.std::basic_istream", align 8
@_ZSt4cout = external global %"class.std::basic_ostream", align 8
@.str = external hidden unnamed_addr constant [4 x i8], align 1

declare i32 @__gxx_personality_v0(...)

; Function Attrs: mustprogress uwtable
declare dso_local noundef double @_Z15floor_to_doubleRKN4CGAL13Lazy_exact_ntIN5boost14multiprecision6numberINS2_8backends12gmp_rationalELNS2_26expression_template_optionE1EEEEE(ptr noundef nonnull align 8 dereferenceable(9)) #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 @_Z5solvei(i32 noundef %0) #0 personality ptr @__gxx_personality_v0 {
  %2 = alloca i32, align 4
  %3 = alloca i64, align 8
  %4 = alloca i64, align 8
  %5 = alloca i64, align 8
  %6 = alloca i64, align 8
  %7 = alloca %"class.CGAL::Ray_2", align 8
  %8 = alloca %"class.CGAL::Point_2", align 8
  %9 = alloca %"class.CGAL::Point_2", align 8
  %10 = alloca ptr, align 8
  %11 = alloca i32, align 4
  %12 = alloca %"class.CGAL::Segment_2", align 8
  %13 = alloca i8, align 1
  %14 = alloca %"class.std::vector", align 8
  %15 = alloca %"class.std::allocator", align 1
  %16 = alloca i32, align 4
  %17 = alloca %"class.CGAL::Segment_2", align 8
  %18 = alloca %"class.CGAL::Point_2", align 8
  %19 = alloca %"class.CGAL::Point_2", align 8
  %20 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %21 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %22 = alloca i32, align 4
  %23 = alloca %"class.boost::optional", align 8
  %24 = alloca ptr, align 8
  %25 = alloca %"class.CGAL::Segment_2", align 8
  %26 = alloca %"class.CGAL::Point_2", align 8
  %27 = alloca ptr, align 8
  %28 = alloca %"class.CGAL::Segment_2", align 8
  %29 = alloca %"class.CGAL::Point_2", align 8
  %30 = alloca %"class.CGAL::Point_2", align 8
  %31 = alloca %"class.CGAL::Lazy_exact_nt", align 8
  %32 = alloca %"class.CGAL::Point_2", align 8
  %33 = alloca %"class.CGAL::Lazy_exact_nt", align 8
  %34 = alloca %"class.CGAL::Point_2", align 8
  store i32 %0, ptr %2, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #6
  %35 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 8 dereferenceable(8) %3)
  %36 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %35, ptr noundef nonnull align 8 dereferenceable(8) %4)
  %37 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %36, ptr noundef nonnull align 8 dereferenceable(8) %5)
  %38 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %37, ptr noundef nonnull align 8 dereferenceable(8) %6)
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #6
  call void @_ZN4CGAL7Point_2INS_5EpeckEEC2IllEERKT_RKT0_(ptr noundef nonnull align 8 dereferenceable(8) %8, ptr noundef nonnull align 8 dereferenceable(8) %3, ptr noundef nonnull align 8 dereferenceable(8) %4)
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #6
  invoke void @_ZN4CGAL7Point_2INS_5EpeckEEC2IllEERKT_RKT0_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %6)
          to label %39 unwind label %50

39:                                               ; preds = %1
  invoke void @_ZN4CGAL5Ray_2INS_5EpeckEEC2ERKNS_7Point_2IS1_EES6_(ptr noundef nonnull align 8 dereferenceable(8) %7, ptr noundef nonnull align 8 dereferenceable(8) %8, ptr noundef nonnull align 8 dereferenceable(8) %9)
          to label %40 unwind label %54

40:                                               ; preds = %39
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %8) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #6
  invoke void @_ZN4CGAL9Segment_2INS_5EpeckEEC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %12)
          to label %41 unwind label %59

41:                                               ; preds = %40
  call void @llvm.lifetime.start.p0(i64 1, ptr %13) #6
  store i8 0, ptr %13, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 24, ptr %14) #6
  %42 = load i32, ptr %2, align 4, !tbaa !5
  %43 = sext i32 %42 to i64
  call void @llvm.lifetime.start.p0(i64 1, ptr %15) #6
  call void @_ZNSaIN4CGAL9Segment_2INS_5EpeckEEEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %15) #6
  invoke void @_ZNSt6vectorIN4CGAL9Segment_2INS0_5EpeckEEESaIS3_EEC2EmRKS4_(ptr noundef nonnull align 8 dereferenceable(24) %14, i64 noundef %43, ptr noundef nonnull align 1 dereferenceable(1) %15)
          to label %44 unwind label %63

44:                                               ; preds = %41
  call void @_ZNSt15__new_allocatorIN4CGAL9Segment_2INS0_5EpeckEEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %15) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %15) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #6
  store i32 0, ptr %16, align 4, !tbaa !5
  br label %45

45:                                               ; preds = %84, %44
  %46 = load i32, ptr %16, align 4, !tbaa !5
  %47 = load i32, ptr %2, align 4, !tbaa !5
  %48 = icmp slt i32 %46, %47
  br i1 %48, label %67, label %49

49:                                               ; preds = %45
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #6
  br label %111

50:                                               ; preds = %1
  %51 = landingpad { ptr, i32 }
          cleanup
  %52 = extractvalue { ptr, i32 } %51, 0
  store ptr %52, ptr %10, align 8
  %53 = extractvalue { ptr, i32 } %51, 1
  store i32 %53, ptr %11, align 4
  br label %58

54:                                               ; preds = %39
  %55 = landingpad { ptr, i32 }
          cleanup
  %56 = extractvalue { ptr, i32 } %55, 0
  store ptr %56, ptr %10, align 8
  %57 = extractvalue { ptr, i32 } %55, 1
  store i32 %57, ptr %11, align 4
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #6
  br label %58

58:                                               ; preds = %54, %50
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %8) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #6
  br label %270

59:                                               ; preds = %40
  %60 = landingpad { ptr, i32 }
          cleanup
  %61 = extractvalue { ptr, i32 } %60, 0
  store ptr %61, ptr %10, align 8
  %62 = extractvalue { ptr, i32 } %60, 1
  store i32 %62, ptr %11, align 4
  br label %269

63:                                               ; preds = %41
  %64 = landingpad { ptr, i32 }
          cleanup
  %65 = extractvalue { ptr, i32 } %64, 0
  store ptr %65, ptr %10, align 8
  %66 = extractvalue { ptr, i32 } %64, 1
  store i32 %66, ptr %11, align 4
  call void @_ZNSt15__new_allocatorIN4CGAL9Segment_2INS0_5EpeckEEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %15) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %15) #6
  br label %268

67:                                               ; preds = %45
  %68 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 8 dereferenceable(8) %3)
          to label %69 unwind label %87

69:                                               ; preds = %67
  %70 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %68, ptr noundef nonnull align 8 dereferenceable(8) %4)
          to label %71 unwind label %87

71:                                               ; preds = %69
  %72 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %70, ptr noundef nonnull align 8 dereferenceable(8) %5)
          to label %73 unwind label %87

73:                                               ; preds = %71
  %74 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %72, ptr noundef nonnull align 8 dereferenceable(8) %6)
          to label %75 unwind label %87

75:                                               ; preds = %73
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #6
  invoke void @_ZN4CGAL7Point_2INS_5EpeckEEC2IllEERKT_RKT0_(ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull align 8 dereferenceable(8) %3, ptr noundef nonnull align 8 dereferenceable(8) %4)
          to label %76 unwind label %91

76:                                               ; preds = %75
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #6
  invoke void @_ZN4CGAL7Point_2INS_5EpeckEEC2IllEERKT_RKT0_(ptr noundef nonnull align 8 dereferenceable(8) %19, ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %6)
          to label %77 unwind label %95

77:                                               ; preds = %76
  invoke void @_ZN4CGAL9Segment_2INS_5EpeckEEC2ERKNS_7Point_2IS1_EES6_(ptr noundef nonnull align 8 dereferenceable(8) %17, ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull align 8 dereferenceable(8) %19)
          to label %78 unwind label %99

78:                                               ; preds = %77
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %19) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %18) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #6
  %79 = load i32, ptr %16, align 4, !tbaa !5
  %80 = sext i32 %79 to i64
  %81 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIN4CGAL9Segment_2INS0_5EpeckEEESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %14, i64 noundef %80) #6
  %82 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN4CGAL9Segment_2INS_5EpeckEEaSERKS2_(ptr noundef nonnull align 8 dereferenceable(8) %81, ptr noundef nonnull align 8 dereferenceable(8) %17)
          to label %83 unwind label %105

83:                                               ; preds = %78
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %17) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #6
  br label %84

84:                                               ; preds = %83
  %85 = load i32, ptr %16, align 4, !tbaa !5
  %86 = add nsw i32 %85, 1
  store i32 %86, ptr %16, align 4, !tbaa !5
  br label %45, !llvm.loop !11

87:                                               ; preds = %73, %71, %69, %67
  %88 = landingpad { ptr, i32 }
          cleanup
  %89 = extractvalue { ptr, i32 } %88, 0
  store ptr %89, ptr %10, align 8
  %90 = extractvalue { ptr, i32 } %88, 1
  store i32 %90, ptr %11, align 4
  br label %110

91:                                               ; preds = %75
  %92 = landingpad { ptr, i32 }
          cleanup
  %93 = extractvalue { ptr, i32 } %92, 0
  store ptr %93, ptr %10, align 8
  %94 = extractvalue { ptr, i32 } %92, 1
  store i32 %94, ptr %11, align 4
  br label %104

95:                                               ; preds = %76
  %96 = landingpad { ptr, i32 }
          cleanup
  %97 = extractvalue { ptr, i32 } %96, 0
  store ptr %97, ptr %10, align 8
  %98 = extractvalue { ptr, i32 } %96, 1
  store i32 %98, ptr %11, align 4
  br label %103

99:                                               ; preds = %77
  %100 = landingpad { ptr, i32 }
          cleanup
  %101 = extractvalue { ptr, i32 } %100, 0
  store ptr %101, ptr %10, align 8
  %102 = extractvalue { ptr, i32 } %100, 1
  store i32 %102, ptr %11, align 4
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %19) #6
  br label %103

103:                                              ; preds = %99, %95
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %18) #6
  br label %104

104:                                              ; preds = %103, %91
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #6
  br label %109

105:                                              ; preds = %78
  %106 = landingpad { ptr, i32 }
          cleanup
  %107 = extractvalue { ptr, i32 } %106, 0
  store ptr %107, ptr %10, align 8
  %108 = extractvalue { ptr, i32 } %106, 1
  store i32 %108, ptr %11, align 4
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %17) #6
  br label %109

109:                                              ; preds = %105, %104
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #6
  br label %110

110:                                              ; preds = %109, %87
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #6
  br label %267

111:                                              ; preds = %49
  %112 = call ptr @_ZNSt6vectorIN4CGAL9Segment_2INS0_5EpeckEEESaIS3_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %14) #6
  %113 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %20, i32 0, i32 0
  store ptr %112, ptr %113, align 8
  %114 = call ptr @_ZNSt6vectorIN4CGAL9Segment_2INS0_5EpeckEEESaIS3_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %14) #6
  %115 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %21, i32 0, i32 0
  store ptr %114, ptr %115, align 8
  %116 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %20, i32 0, i32 0
  %117 = load ptr, ptr %116, align 8
  %118 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %21, i32 0, i32 0
  %119 = load ptr, ptr %118, align 8
  invoke void @_ZSt14random_shuffleIN9__gnu_cxx17__normal_iteratorIPN4CGAL9Segment_2INS2_5EpeckEEESt6vectorIS5_SaIS5_EEEEEvT_SB_(ptr %117, ptr %119)
          to label %120 unwind label %126

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

121:                                              ; preds = %208, %120
  %122 = load i32, ptr %22, align 4, !tbaa !5
  %123 = load i32, ptr %2, align 4, !tbaa !5
  %124 = icmp slt i32 %122, %123
  br i1 %124, label %130, label %125

125:                                              ; preds = %121
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #6
  br label %212

126:                                              ; preds = %215, %111
  %127 = landingpad { ptr, i32 }
          cleanup
  %128 = extractvalue { ptr, i32 } %127, 0
  store ptr %128, ptr %10, align 8
  %129 = extractvalue { ptr, i32 } %127, 1
  store i32 %129, ptr %11, align 4
  br label %267

130:                                              ; preds = %121
  call void @llvm.lifetime.start.p0(i64 24, ptr %23) #6
  %131 = load i8, ptr %13, align 1, !tbaa !9, !range !13, !noundef !14
  %132 = trunc i8 %131 to i1
  br i1 %132, label %133, label %138

133:                                              ; preds = %130
  %134 = load i32, ptr %22, align 4, !tbaa !5
  %135 = sext i32 %134 to i64
  %136 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIN4CGAL9Segment_2INS0_5EpeckEEESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %14, i64 noundef %135) #6
  invoke void @_ZN4CGAL12intersectionINS_5EpeckEEEDcRKNS_9Segment_2IT_EES6_(ptr dead_on_unwind writable sret(%"class.boost::optional") align 8 %23, ptr noundef nonnull align 8 dereferenceable(8) %136, ptr noundef nonnull align 8 dereferenceable(8) %12)
          to label %137 unwind label %156

137:                                              ; preds = %133
  br label %143

138:                                              ; preds = %130
  %139 = load i32, ptr %22, align 4, !tbaa !5
  %140 = sext i32 %139 to i64
  %141 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIN4CGAL9Segment_2INS0_5EpeckEEESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %14, i64 noundef %140) #6
  invoke void @_ZN4CGAL12intersectionINS_5EpeckEEEDcRKNS_9Segment_2IT_EERKNS_5Ray_2IS3_EE(ptr dead_on_unwind writable sret(%"class.boost::optional") align 8 %23, ptr noundef nonnull align 8 dereferenceable(8) %141, ptr noundef nonnull align 8 dereferenceable(8) %7)
          to label %142 unwind label %156

142:                                              ; preds = %138
  br label %143

143:                                              ; preds = %142, %137
  %144 = call noundef zeroext i1 @_ZNK5boost8optionalINS_7variantIN4CGAL7Point_2INS2_5EpeckEEEJNS2_9Segment_2IS4_EEEEEEcvbEv(ptr noundef nonnull align 8 dereferenceable(24) %23) #6
  br i1 %144, label %145, label %207

145:                                              ; preds = %143
  store i8 1, ptr %13, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #6
  %146 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNR5boost8optionalINS_7variantIN4CGAL7Point_2INS2_5EpeckEEEJNS2_9Segment_2IS4_EEEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(24) %23)
          to label %147 unwind label %160

147:                                              ; preds = %145
  %148 = call noundef ptr @_ZN5boost3getIN4CGAL7Point_2INS1_5EpeckEEES4_JNS1_9Segment_2IS3_EEEEENS_11add_pointerIT_E4typeEPNS_7variantIT0_JDpT1_EEE(ptr noundef %146) #6
  store ptr %148, ptr %24, align 8, !tbaa !15
  %149 = load ptr, ptr %24, align 8, !tbaa !15
  %150 = icmp ne ptr %149, null
  br i1 %150, label %151, label %173

151:                                              ; preds = %147
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #6
  invoke void @_ZNK4CGAL5Ray_2INS_5EpeckEE6sourceEv(ptr dead_on_unwind writable sret(%"class.CGAL::Point_2") align 8 %26, ptr noundef nonnull align 8 dereferenceable(8) %7)
          to label %152 unwind label %164

152:                                              ; preds = %151
  %153 = load ptr, ptr %24, align 8, !tbaa !15
  invoke void @_ZN4CGAL9Segment_2INS_5EpeckEEC2ERKNS_7Point_2IS1_EES6_(ptr noundef nonnull align 8 dereferenceable(8) %25, ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef nonnull align 8 dereferenceable(8) %153)
          to label %154 unwind label %168

154:                                              ; preds = %152
  %155 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN4CGAL9Segment_2INS_5EpeckEEaSEOS2_(ptr noundef nonnull align 8 dereferenceable(8) %12, ptr noundef nonnull align 8 dereferenceable(8) %25) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %25) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %26) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #6
  br label %205

156:                                              ; preds = %138, %133
  %157 = landingpad { ptr, i32 }
          cleanup
  %158 = extractvalue { ptr, i32 } %157, 0
  store ptr %158, ptr %10, align 8
  %159 = extractvalue { ptr, i32 } %157, 1
  store i32 %159, ptr %11, align 4
  br label %211

160:                                              ; preds = %145
  %161 = landingpad { ptr, i32 }
          cleanup
  %162 = extractvalue { ptr, i32 } %161, 0
  store ptr %162, ptr %10, align 8
  %163 = extractvalue { ptr, i32 } %161, 1
  store i32 %163, ptr %11, align 4
  br label %206

164:                                              ; preds = %151
  %165 = landingpad { ptr, i32 }
          cleanup
  %166 = extractvalue { ptr, i32 } %165, 0
  store ptr %166, ptr %10, align 8
  %167 = extractvalue { ptr, i32 } %165, 1
  store i32 %167, ptr %11, align 4
  br label %172

168:                                              ; preds = %152
  %169 = landingpad { ptr, i32 }
          cleanup
  %170 = extractvalue { ptr, i32 } %169, 0
  store ptr %170, ptr %10, align 8
  %171 = extractvalue { ptr, i32 } %169, 1
  store i32 %171, ptr %11, align 4
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %26) #6
  br label %172

172:                                              ; preds = %168, %164
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #6
  br label %206

173:                                              ; preds = %147
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #6
  %174 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNR5boost8optionalINS_7variantIN4CGAL7Point_2INS2_5EpeckEEEJNS2_9Segment_2IS4_EEEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(24) %23)
          to label %175 unwind label %185

175:                                              ; preds = %173
  %176 = call noundef ptr @_ZN5boost3getIN4CGAL9Segment_2INS1_5EpeckEEENS1_7Point_2IS3_EEJS4_EEENS_11add_pointerIT_E4typeEPNS_7variantIT0_JDpT1_EEE(ptr noundef %174) #6
  store ptr %176, ptr %27, align 8, !tbaa !15
  %177 = load ptr, ptr %27, align 8, !tbaa !15
  %178 = icmp ne ptr %177, null
  br i1 %178, label %179, label %203

179:                                              ; preds = %175
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #6
  invoke void @_ZNK4CGAL5Ray_2INS_5EpeckEE6sourceEv(ptr dead_on_unwind writable sret(%"class.CGAL::Point_2") align 8 %29, ptr noundef nonnull align 8 dereferenceable(8) %7)
          to label %180 unwind label %189

180:                                              ; preds = %179
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #6
  %181 = load ptr, ptr %27, align 8, !tbaa !15
  invoke void @_ZNK4CGAL9Segment_2INS_5EpeckEE6sourceEv(ptr dead_on_unwind writable sret(%"class.CGAL::Point_2") align 8 %30, ptr noundef nonnull align 8 dereferenceable(8) %181)
          to label %182 unwind label %193

182:                                              ; preds = %180
  invoke void @_ZN4CGAL9Segment_2INS_5EpeckEEC2ERKNS_7Point_2IS1_EES6_(ptr noundef nonnull align 8 dereferenceable(8) %28, ptr noundef nonnull align 8 dereferenceable(8) %29, ptr noundef nonnull align 8 dereferenceable(8) %30)
          to label %183 unwind label %197

183:                                              ; preds = %182
  %184 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN4CGAL9Segment_2INS_5EpeckEEaSEOS2_(ptr noundef nonnull align 8 dereferenceable(8) %12, ptr noundef nonnull align 8 dereferenceable(8) %28) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %28) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %30) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %29) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #6
  br label %203

185:                                              ; preds = %173
  %186 = landingpad { ptr, i32 }
          cleanup
  %187 = extractvalue { ptr, i32 } %186, 0
  store ptr %187, ptr %10, align 8
  %188 = extractvalue { ptr, i32 } %186, 1
  store i32 %188, ptr %11, align 4
  br label %204

189:                                              ; preds = %179
  %190 = landingpad { ptr, i32 }
          cleanup
  %191 = extractvalue { ptr, i32 } %190, 0
  store ptr %191, ptr %10, align 8
  %192 = extractvalue { ptr, i32 } %190, 1
  store i32 %192, ptr %11, align 4
  br label %202

193:                                              ; preds = %180
  %194 = landingpad { ptr, i32 }
          cleanup
  %195 = extractvalue { ptr, i32 } %194, 0
  store ptr %195, ptr %10, align 8
  %196 = extractvalue { ptr, i32 } %194, 1
  store i32 %196, ptr %11, align 4
  br label %201

197:                                              ; preds = %182
  %198 = landingpad { ptr, i32 }
          cleanup
  %199 = extractvalue { ptr, i32 } %198, 0
  store ptr %199, ptr %10, align 8
  %200 = extractvalue { ptr, i32 } %198, 1
  store i32 %200, ptr %11, align 4
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %30) #6
  br label %201

201:                                              ; preds = %197, %193
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %29) #6
  br label %202

202:                                              ; preds = %201, %189
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #6
  br label %204

203:                                              ; preds = %183, %175
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #6
  br label %205

204:                                              ; preds = %202, %185
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #6
  br label %206

205:                                              ; preds = %203, %154
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #6
  br label %207

206:                                              ; preds = %204, %172, %160
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #6
  call void @_ZN5boost15optional_detail13optional_baseINS_7variantIN4CGAL7Point_2INS3_5EpeckEEEJNS3_9Segment_2IS5_EEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %23) #6
  br label %211

207:                                              ; preds = %205, %143
  call void @_ZN5boost15optional_detail13optional_baseINS_7variantIN4CGAL7Point_2INS3_5EpeckEEEJNS3_9Segment_2IS5_EEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %23) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %23) #6
  br label %208

208:                                              ; preds = %207
  %209 = load i32, ptr %22, align 4, !tbaa !5
  %210 = add nsw i32 %209, 1
  store i32 %210, ptr %22, align 4, !tbaa !5
  br label %121, !llvm.loop !17

211:                                              ; preds = %206, %156
  call void @llvm.lifetime.end.p0(i64 24, ptr %23) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #6
  br label %267

212:                                              ; preds = %125
  %213 = load i8, ptr %13, align 1, !tbaa !9, !range !13, !noundef !14
  %214 = trunc i8 %213 to i1
  br i1 %214, label %218, label %215

215:                                              ; preds = %212
  %216 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str)
          to label %217 unwind label %126

217:                                              ; preds = %215
  br label %266

218:                                              ; preds = %212
  call void @llvm.lifetime.start.p0(i64 16, ptr %31) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #6
  invoke void @_ZNK4CGAL9Segment_2INS_5EpeckEE3endEv(ptr dead_on_unwind writable sret(%"class.CGAL::Point_2") align 8 %32, ptr noundef nonnull align 8 dereferenceable(8) %12)
          to label %219 unwind label %237

219:                                              ; preds = %218
  invoke void @_ZNK4CGAL7Point_2INS_5EpeckEE1xEv(ptr dead_on_unwind writable sret(%"class.CGAL::Lazy_exact_nt") align 8 %31, ptr noundef nonnull align 8 dereferenceable(8) %32)
          to label %220 unwind label %241

220:                                              ; preds = %219
  %221 = invoke noundef double @_Z15floor_to_doubleRKN4CGAL13Lazy_exact_ntIN5boost14multiprecision6numberINS2_8backends12gmp_rationalELNS2_26expression_template_optionE1EEEEE(ptr noundef nonnull align 8 dereferenceable(9) %31)
          to label %222 unwind label %245

222:                                              ; preds = %220
  %223 = fptosi double %221 to i64
  %224 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEl(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, i64 noundef %223)
          to label %225 unwind label %245

225:                                              ; preds = %222
  %226 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %224, i8 noundef signext 32)
          to label %227 unwind label %245

227:                                              ; preds = %225
  call void @llvm.lifetime.start.p0(i64 16, ptr %33) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #6
  invoke void @_ZNK4CGAL9Segment_2INS_5EpeckEE3endEv(ptr dead_on_unwind writable sret(%"class.CGAL::Point_2") align 8 %34, ptr noundef nonnull align 8 dereferenceable(8) %12)
          to label %228 unwind label %249

228:                                              ; preds = %227
  invoke void @_ZNK4CGAL7Point_2INS_5EpeckEE1yEv(ptr dead_on_unwind writable sret(%"class.CGAL::Lazy_exact_nt") align 8 %33, ptr noundef nonnull align 8 dereferenceable(8) %34)
          to label %229 unwind label %253

229:                                              ; preds = %228
  %230 = invoke noundef double @_Z15floor_to_doubleRKN4CGAL13Lazy_exact_ntIN5boost14multiprecision6numberINS2_8backends12gmp_rationalELNS2_26expression_template_optionE1EEEEE(ptr noundef nonnull align 8 dereferenceable(9) %33)
          to label %231 unwind label %257

231:                                              ; preds = %229
  %232 = fptosi double %230 to i64
  %233 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEl(ptr noundef nonnull align 8 dereferenceable(8) %226, i64 noundef %232)
          to label %234 unwind label %257

234:                                              ; preds = %231
  %235 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %233, i8 noundef signext 10)
          to label %236 unwind label %257

236:                                              ; preds = %234
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(9) %33) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %34) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %33) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(9) %31) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %32) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %31) #6
  br label %266

237:                                              ; preds = %218
  %238 = landingpad { ptr, i32 }
          cleanup
  %239 = extractvalue { ptr, i32 } %238, 0
  store ptr %239, ptr %10, align 8
  %240 = extractvalue { ptr, i32 } %238, 1
  store i32 %240, ptr %11, align 4
  br label %265

241:                                              ; preds = %219
  %242 = landingpad { ptr, i32 }
          cleanup
  %243 = extractvalue { ptr, i32 } %242, 0
  store ptr %243, ptr %10, align 8
  %244 = extractvalue { ptr, i32 } %242, 1
  store i32 %244, ptr %11, align 4
  br label %264

245:                                              ; preds = %225, %222, %220
  %246 = landingpad { ptr, i32 }
          cleanup
  %247 = extractvalue { ptr, i32 } %246, 0
  store ptr %247, ptr %10, align 8
  %248 = extractvalue { ptr, i32 } %246, 1
  store i32 %248, ptr %11, align 4
  br label %263

249:                                              ; preds = %227
  %250 = landingpad { ptr, i32 }
          cleanup
  %251 = extractvalue { ptr, i32 } %250, 0
  store ptr %251, ptr %10, align 8
  %252 = extractvalue { ptr, i32 } %250, 1
  store i32 %252, ptr %11, align 4
  br label %262

253:                                              ; preds = %228
  %254 = landingpad { ptr, i32 }
          cleanup
  %255 = extractvalue { ptr, i32 } %254, 0
  store ptr %255, ptr %10, align 8
  %256 = extractvalue { ptr, i32 } %254, 1
  store i32 %256, ptr %11, align 4
  br label %261

257:                                              ; preds = %234, %231, %229
  %258 = landingpad { ptr, i32 }
          cleanup
  %259 = extractvalue { ptr, i32 } %258, 0
  store ptr %259, ptr %10, align 8
  %260 = extractvalue { ptr, i32 } %258, 1
  store i32 %260, ptr %11, align 4
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(9) %33) #6
  br label %261

261:                                              ; preds = %257, %253
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %34) #6
  br label %262

262:                                              ; preds = %261, %249
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %33) #6
  br label %263

263:                                              ; preds = %262, %245
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(9) %31) #6
  br label %264

264:                                              ; preds = %263, %241
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %32) #6
  br label %265

265:                                              ; preds = %264, %237
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %31) #6
  br label %267

266:                                              ; preds = %236, %217
  call void @_ZNSt6vectorIN4CGAL9Segment_2INS0_5EpeckEEESaIS3_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %14) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %14) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %13) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %12) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %7) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #6
  ret void

267:                                              ; preds = %265, %211, %126, %110
  call void @_ZNSt6vectorIN4CGAL9Segment_2INS0_5EpeckEEESaIS3_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %14) #6
  br label %268

268:                                              ; preds = %267, %63
  call void @llvm.lifetime.end.p0(i64 24, ptr %14) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %13) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %12) #6
  br label %269

269:                                              ; preds = %268, %59
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %7) #6
  br label %270

270:                                              ; preds = %269, %58
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #6
  br label %271

271:                                              ; preds = %270
  %272 = load ptr, ptr %10, align 8
  %273 = load i32, ptr %11, align 4
  %274 = insertvalue { ptr, i32 } poison, ptr %272, 0
  %275 = insertvalue { ptr, i32 } %274, i32 %273, 1
  resume { ptr, i32 } %275
}

; 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 uwtable
declare dso_local void @_ZN4CGAL7Point_2INS_5EpeckEEC2IllEERKT_RKT0_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #0 align 2

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

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

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

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZSt14random_shuffleIN9__gnu_cxx17__normal_iteratorIPN4CGAL9Segment_2INS2_5EpeckEEESt6vectorIS5_SaIS5_EEEEEvT_SB_(ptr, ptr) #3

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN4CGAL12intersectionINS_5EpeckEEEDcRKNS_9Segment_2IT_EES6_(ptr dead_on_unwind noalias writable sret(%"class.boost::optional") align 8, ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #3

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN4CGAL12intersectionINS_5EpeckEEEDcRKNS_9Segment_2IT_EERKNS_5Ray_2IS3_EE(ptr dead_on_unwind noalias writable sret(%"class.boost::optional") align 8, ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #3

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZN5boost3getIN4CGAL7Point_2INS1_5EpeckEEES4_JNS1_9Segment_2IS3_EEEEENS_11add_pointerIT_E4typeEPNS_7variantIT0_JDpT1_EEE(ptr noundef) #5

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK4CGAL5Ray_2INS_5EpeckEE6sourceEv(ptr dead_on_unwind noalias writable sret(%"class.CGAL::Point_2") align 8, 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 @_ZN4CGAL9Segment_2INS_5EpeckEEaSEOS2_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #5 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZN5boost3getIN4CGAL9Segment_2INS1_5EpeckEEENS1_7Point_2IS3_EEJS4_EEENS_11add_pointerIT_E4typeEPNS_7variantIT0_JDpT1_EEE(ptr noundef) #5

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #3

; 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) #3

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

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt15__new_allocatorIN4CGAL9Segment_2INS0_5EpeckEEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) 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 = { 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 #4 = { alwaysinline 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 #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 = { 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 = !{!"bool", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = !{i8 0, i8 2}
!14 = !{}
!15 = !{!16, !16, i64 0}
!16 = !{!"any pointer", !7, i64 0}
!17 = distinct !{!17, !12}


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

%"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.CGAL::Ray_2" = type { %"class.CGAL::Lazy.15" }
%"class.CGAL::Lazy.15" = type { %"class.CGAL::Handle" }
%"class.CGAL::Handle" = type { ptr }
%"class.CGAL::Point_2" = type { %"class.CGAL::Lazy.16" }
%"class.CGAL::Lazy.16" = type { %"class.CGAL::Handle" }
%"class.CGAL::Segment_2" = type { %"class.CGAL::Lazy.17" }
%"class.CGAL::Lazy.17" = type { %"class.CGAL::Handle" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<CGAL::Segment_2<CGAL::Epeck>, std::allocator<CGAL::Segment_2<CGAL::Epeck>>>::_Vector_impl" }
%"struct.std::_Vector_base<CGAL::Segment_2<CGAL::Epeck>, std::allocator<CGAL::Segment_2<CGAL::Epeck>>>::_Vector_impl" = type { %"struct.std::_Vector_base<CGAL::Segment_2<CGAL::Epeck>, std::allocator<CGAL::Segment_2<CGAL::Epeck>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<CGAL::Segment_2<CGAL::Epeck>, std::allocator<CGAL::Segment_2<CGAL::Epeck>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::allocator" = type { i8 }
%"class.boost::optional" = type { %"class.boost::optional_detail::optional_base" }
%"class.boost::optional_detail::optional_base" = type { i8, [7 x i8], %"class.boost::optional_detail::aligned_storage" }
%"class.boost::optional_detail::aligned_storage" = type { %"union.boost::optional_detail::aligned_storage<boost::variant<CGAL::Point_2<CGAL::Epeck>, CGAL::Segment_2<CGAL::Epeck>>>::dummy_u" }
%"union.boost::optional_detail::aligned_storage<boost::variant<CGAL::Point_2<CGAL::Epeck>, CGAL::Segment_2<CGAL::Epeck>>>::dummy_u" = type { [16 x i8] }
%"class.CGAL::Lazy_exact_nt" = type <{ %"class.CGAL::Lazy", [8 x i8] }>
%"class.CGAL::Lazy" = type { %"class.CGAL::Handle" }

@_ZSt3cin = external global %"class.std::basic_istream", align 8
@_ZSt4cout = external global %"class.std::basic_ostream", align 8
@.str = external hidden unnamed_addr constant [4 x i8], align 1

declare i32 @__gxx_personality_v0(...)

; Function Attrs: mustprogress uwtable
declare dso_local noundef double @_Z15floor_to_doubleRKN4CGAL13Lazy_exact_ntIN5boost14multiprecision6numberINS2_8backends12gmp_rationalELNS2_26expression_template_optionE1EEEEE(ptr noundef nonnull align 8 dereferenceable(9)) 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 @_Z5solvei(i32 noundef %0) local_unnamed_addr #0 personality ptr @__gxx_personality_v0 {
  %2 = alloca i64, align 8
  %3 = alloca i64, align 8
  %4 = alloca i64, align 8
  %5 = alloca i64, align 8
  %6 = alloca %"class.CGAL::Ray_2", align 8
  %7 = alloca %"class.CGAL::Point_2", align 8
  %8 = alloca %"class.CGAL::Point_2", align 8
  %9 = alloca %"class.CGAL::Segment_2", align 8
  %10 = alloca %"class.std::vector", align 8
  %11 = alloca %"class.std::allocator", align 1
  %12 = alloca %"class.CGAL::Segment_2", align 8
  %13 = alloca %"class.CGAL::Point_2", align 8
  %14 = alloca %"class.CGAL::Point_2", align 8
  %15 = alloca %"class.boost::optional", align 8
  %16 = alloca %"class.CGAL::Segment_2", align 8
  %17 = alloca %"class.CGAL::Point_2", align 8
  %18 = alloca %"class.CGAL::Segment_2", align 8
  %19 = alloca %"class.CGAL::Point_2", align 8
  %20 = alloca %"class.CGAL::Point_2", align 8
  %21 = alloca %"class.CGAL::Lazy_exact_nt", align 8
  %22 = alloca %"class.CGAL::Point_2", align 8
  %23 = alloca %"class.CGAL::Lazy_exact_nt", align 8
  %24 = alloca %"class.CGAL::Point_2", align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %2) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %3) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #6
  %25 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 8 dereferenceable(8) %2)
  %26 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %25, ptr noundef nonnull align 8 dereferenceable(8) %3)
  %27 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %26, ptr noundef nonnull align 8 dereferenceable(8) %4)
  %28 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %27, ptr noundef nonnull align 8 dereferenceable(8) %5)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #6
  call void @_ZN4CGAL7Point_2INS_5EpeckEEC2IllEERKT_RKT0_(ptr noundef nonnull align 8 dereferenceable(8) %7, ptr noundef nonnull align 8 dereferenceable(8) %2, ptr noundef nonnull align 8 dereferenceable(8) %3)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #6
  invoke void @_ZN4CGAL7Point_2INS_5EpeckEEC2IllEERKT_RKT0_(ptr noundef nonnull align 8 dereferenceable(8) %8, ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(8) %5)
          to label %29 unwind label %37

29:                                               ; preds = %1
  invoke void @_ZN4CGAL5Ray_2INS_5EpeckEEC2ERKNS_7Point_2IS1_EES6_(ptr noundef nonnull align 8 dereferenceable(8) %6, ptr noundef nonnull align 8 dereferenceable(8) %7, ptr noundef nonnull align 8 dereferenceable(8) %8)
          to label %30 unwind label %39

30:                                               ; preds = %29
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %8) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %7) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #6
  invoke void @_ZN4CGAL9Segment_2INS_5EpeckEEC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9)
          to label %31 unwind label %42

31:                                               ; preds = %30
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %10) #6
  %32 = sext i32 %0 to i64
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %11) #6
  call void @_ZNSaIN4CGAL9Segment_2INS_5EpeckEEEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %11) #6
  invoke void @_ZNSt6vectorIN4CGAL9Segment_2INS0_5EpeckEEESaIS3_EEC2EmRKS4_(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %32, ptr noundef nonnull align 1 dereferenceable(1) %11)
          to label %33 unwind label %44

33:                                               ; preds = %31
  call void @_ZNSt15__new_allocatorIN4CGAL9Segment_2INS0_5EpeckEEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %11) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %11) #6
  %34 = icmp sgt i32 %0, 0
  br i1 %34, label %.lr.ph.preheader, label %._crit_edge

.lr.ph.preheader:                                 ; preds = %33
  %wide.trip.count = zext nneg i32 %0 to i64
  br label %.lr.ph

._crit_edge:                                      ; preds = %59, %33
  %35 = call ptr @_ZNSt6vectorIN4CGAL9Segment_2INS0_5EpeckEEESaIS3_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %10) #6
  %36 = call ptr @_ZNSt6vectorIN4CGAL9Segment_2INS0_5EpeckEEESaIS3_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %10) #6
  invoke void @_ZSt14random_shuffleIN9__gnu_cxx17__normal_iteratorIPN4CGAL9Segment_2INS2_5EpeckEEESt6vectorIS5_SaIS5_EEEEEvT_SB_(ptr %35, ptr %36)
          to label %.preheader unwind label %74

.preheader:                                       ; preds = %._crit_edge
  br i1 %34, label %.lr.ph82.preheader, label %._crit_edge83.thread

.lr.ph82.preheader:                               ; preds = %.preheader
  %wide.trip.count87 = zext nneg i32 %0 to i64
  br label %.lr.ph82

37:                                               ; preds = %1
  %38 = landingpad { ptr, i32 }
          cleanup
  br label %41

39:                                               ; preds = %29
  %40 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %8) #6
  br label %41

41:                                               ; preds = %39, %37
  %.pn = phi { ptr, i32 } [ %40, %39 ], [ %38, %37 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %7) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #6
  br label %162

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

44:                                               ; preds = %31
  %45 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIN4CGAL9Segment_2INS0_5EpeckEEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %11) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %11) #6
  br label %160

.lr.ph:                                           ; preds = %.lr.ph.preheader, %59
  %indvars.iv = phi i64 [ 0, %.lr.ph.preheader ], [ %indvars.iv.next, %59 ]
  %46 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 8 dereferenceable(8) %2)
          to label %47 unwind label %60

47:                                               ; preds = %.lr.ph
  %48 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %46, ptr noundef nonnull align 8 dereferenceable(8) %3)
          to label %49 unwind label %60

49:                                               ; preds = %47
  %50 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %48, ptr noundef nonnull align 8 dereferenceable(8) %4)
          to label %51 unwind label %60

51:                                               ; preds = %49
  %52 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERl(ptr noundef nonnull align 8 dereferenceable(16) %50, ptr noundef nonnull align 8 dereferenceable(8) %5)
          to label %53 unwind label %60

53:                                               ; preds = %51
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #6
  invoke void @_ZN4CGAL7Point_2INS_5EpeckEEC2IllEERKT_RKT0_(ptr noundef nonnull align 8 dereferenceable(8) %13, ptr noundef nonnull align 8 dereferenceable(8) %2, ptr noundef nonnull align 8 dereferenceable(8) %3)
          to label %54 unwind label %62

54:                                               ; preds = %53
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %14) #6
  invoke void @_ZN4CGAL7Point_2INS_5EpeckEEC2IllEERKT_RKT0_(ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(8) %5)
          to label %55 unwind label %64

55:                                               ; preds = %54
  invoke void @_ZN4CGAL9Segment_2INS_5EpeckEEC2ERKNS_7Point_2IS1_EES6_(ptr noundef nonnull align 8 dereferenceable(8) %12, ptr noundef nonnull align 8 dereferenceable(8) %13, ptr noundef nonnull align 8 dereferenceable(8) %14)
          to label %56 unwind label %66

56:                                               ; preds = %55
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %14) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %13) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #6
  %57 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIN4CGAL9Segment_2INS0_5EpeckEEESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %indvars.iv) #6
  %58 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN4CGAL9Segment_2INS_5EpeckEEaSERKS2_(ptr noundef nonnull align 8 dereferenceable(8) %57, ptr noundef nonnull align 8 dereferenceable(8) %12)
          to label %59 unwind label %70

59:                                               ; preds = %56
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %12) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #6
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge, label %.lr.ph, !llvm.loop !5

60:                                               ; preds = %51, %49, %47, %.lr.ph
  %61 = landingpad { ptr, i32 }
          cleanup
  br label %159

62:                                               ; preds = %53
  %63 = landingpad { ptr, i32 }
          cleanup
  br label %69

64:                                               ; preds = %54
  %65 = landingpad { ptr, i32 }
          cleanup
  br label %68

66:                                               ; preds = %55
  %67 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %14) #6
  br label %68

68:                                               ; preds = %66, %64
  %.pn61 = phi { ptr, i32 } [ %67, %66 ], [ %65, %64 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %13) #6
  br label %69

69:                                               ; preds = %68, %62
  %.pn61.pn = phi { ptr, i32 } [ %.pn61, %68 ], [ %63, %62 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #6
  br label %72

70:                                               ; preds = %56
  %71 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %12) #6
  br label %72

72:                                               ; preds = %70, %69
  %.pn64 = phi { ptr, i32 } [ %71, %70 ], [ %.pn61.pn, %69 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #6
  br label %159

._crit_edge83:                                    ; preds = %119
  %73 = trunc nuw i8 %.140 to i1
  br i1 %73, label %122, label %._crit_edge83.thread

74:                                               ; preds = %._crit_edge83.thread, %._crit_edge
  %75 = landingpad { ptr, i32 }
          cleanup
  br label %159

.lr.ph82:                                         ; preds = %.lr.ph82.preheader, %119
  %indvars.iv85 = phi i64 [ 0, %.lr.ph82.preheader ], [ %indvars.iv.next86, %119 ]
  %.03980 = phi i8 [ 0, %.lr.ph82.preheader ], [ %.140, %119 ]
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %15) #6
  %76 = trunc nuw i8 %.03980 to i1
  %77 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIN4CGAL9Segment_2INS0_5EpeckEEESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %indvars.iv85) #6
  br i1 %76, label %78, label %79

78:                                               ; preds = %.lr.ph82
  invoke void @_ZN4CGAL12intersectionINS_5EpeckEEEDcRKNS_9Segment_2IT_EES6_(ptr dead_on_unwind nonnull writable sret(%"class.boost::optional") align 8 %15, ptr noundef nonnull align 8 dereferenceable(8) %77, ptr noundef nonnull align 8 dereferenceable(8) %9)
          to label %80 unwind label %90

79:                                               ; preds = %.lr.ph82
  invoke void @_ZN4CGAL12intersectionINS_5EpeckEEEDcRKNS_9Segment_2IT_EERKNS_5Ray_2IS3_EE(ptr dead_on_unwind nonnull writable sret(%"class.boost::optional") align 8 %15, ptr noundef nonnull align 8 dereferenceable(8) %77, ptr noundef nonnull align 8 dereferenceable(8) %6)
          to label %80 unwind label %90

80:                                               ; preds = %79, %78
  %81 = call noundef zeroext i1 @_ZNK5boost8optionalINS_7variantIN4CGAL7Point_2INS2_5EpeckEEEJNS2_9Segment_2IS4_EEEEEEcvbEv(ptr noundef nonnull align 8 dereferenceable(24) %15) #6
  br i1 %81, label %82, label %119

82:                                               ; preds = %80
  %83 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNR5boost8optionalINS_7variantIN4CGAL7Point_2INS2_5EpeckEEEJNS2_9Segment_2IS4_EEEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(24) %15)
          to label %84 unwind label %92

84:                                               ; preds = %82
  %85 = call noundef ptr @_ZN5boost3getIN4CGAL7Point_2INS1_5EpeckEEES4_JNS1_9Segment_2IS3_EEEEENS_11add_pointerIT_E4typeEPNS_7variantIT0_JDpT1_EEE(ptr noundef nonnull %83) #6
  %.not = icmp eq ptr %85, null
  br i1 %.not, label %99, label %86

86:                                               ; preds = %84
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %16) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %17) #6
  invoke void @_ZNK4CGAL5Ray_2INS_5EpeckEE6sourceEv(ptr dead_on_unwind nonnull writable sret(%"class.CGAL::Point_2") align 8 %17, ptr noundef nonnull align 8 dereferenceable(8) %6)
          to label %87 unwind label %94

87:                                               ; preds = %86
  invoke void @_ZN4CGAL9Segment_2INS_5EpeckEEC2ERKNS_7Point_2IS1_EES6_(ptr noundef nonnull align 8 dereferenceable(8) %16, ptr noundef nonnull align 8 dereferenceable(8) %17, ptr noundef nonnull align 8 dereferenceable(8) %85)
          to label %88 unwind label %96

88:                                               ; preds = %87
  %89 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN4CGAL9Segment_2INS_5EpeckEEaSEOS2_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %16) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %16) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %17) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #6
  br label %119

90:                                               ; preds = %79, %78
  %91 = landingpad { ptr, i32 }
          cleanup
  br label %120

92:                                               ; preds = %82
  %93 = landingpad { ptr, i32 }
          cleanup
  br label %118

94:                                               ; preds = %86
  %95 = landingpad { ptr, i32 }
          cleanup
  br label %98

96:                                               ; preds = %87
  %97 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %17) #6
  br label %98

98:                                               ; preds = %96, %94
  %.pn57 = phi { ptr, i32 } [ %97, %96 ], [ %95, %94 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #6
  br label %118

99:                                               ; preds = %84
  %100 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNR5boost8optionalINS_7variantIN4CGAL7Point_2INS2_5EpeckEEEJNS2_9Segment_2IS4_EEEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(24) %15)
          to label %101 unwind label %108

101:                                              ; preds = %99
  %102 = call noundef ptr @_ZN5boost3getIN4CGAL9Segment_2INS1_5EpeckEEENS1_7Point_2IS3_EEJS4_EEENS_11add_pointerIT_E4typeEPNS_7variantIT0_JDpT1_EEE(ptr noundef nonnull %100) #6
  %.not52 = icmp eq ptr %102, null
  br i1 %.not52, label %119, label %103

103:                                              ; preds = %101
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %18) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #6
  invoke void @_ZNK4CGAL5Ray_2INS_5EpeckEE6sourceEv(ptr dead_on_unwind nonnull writable sret(%"class.CGAL::Point_2") align 8 %19, ptr noundef nonnull align 8 dereferenceable(8) %6)
          to label %104 unwind label %110

104:                                              ; preds = %103
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %20) #6
  invoke void @_ZNK4CGAL9Segment_2INS_5EpeckEE6sourceEv(ptr dead_on_unwind nonnull writable sret(%"class.CGAL::Point_2") align 8 %20, ptr noundef nonnull align 8 dereferenceable(8) %102)
          to label %105 unwind label %112

105:                                              ; preds = %104
  invoke void @_ZN4CGAL9Segment_2INS_5EpeckEEC2ERKNS_7Point_2IS1_EES6_(ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull align 8 dereferenceable(8) %19, ptr noundef nonnull align 8 dereferenceable(8) %20)
          to label %106 unwind label %114

106:                                              ; preds = %105
  %107 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN4CGAL9Segment_2INS_5EpeckEEaSEOS2_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %18) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %18) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %20) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %19) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #6
  br label %119

108:                                              ; preds = %99
  %109 = landingpad { ptr, i32 }
          cleanup
  br label %118

110:                                              ; preds = %103
  %111 = landingpad { ptr, i32 }
          cleanup
  br label %117

112:                                              ; preds = %104
  %113 = landingpad { ptr, i32 }
          cleanup
  br label %116

114:                                              ; preds = %105
  %115 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %20) #6
  br label %116

116:                                              ; preds = %114, %112
  %.pn53 = phi { ptr, i32 } [ %115, %114 ], [ %113, %112 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %19) #6
  br label %117

117:                                              ; preds = %116, %110
  %.pn53.pn = phi { ptr, i32 } [ %.pn53, %116 ], [ %111, %110 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #6
  br label %118

118:                                              ; preds = %108, %117, %98, %92
  %.pn57.pn = phi { ptr, i32 } [ %.pn57, %98 ], [ %93, %92 ], [ %.pn53.pn, %117 ], [ %109, %108 ]
  call void @_ZN5boost15optional_detail13optional_baseINS_7variantIN4CGAL7Point_2INS3_5EpeckEEEJNS3_9Segment_2IS5_EEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %15) #6
  br label %120

119:                                              ; preds = %88, %106, %101, %80
  %.140 = phi i8 [ %.03980, %80 ], [ 1, %101 ], [ 1, %106 ], [ 1, %88 ]
  call void @_ZN5boost15optional_detail13optional_baseINS_7variantIN4CGAL7Point_2INS3_5EpeckEEEJNS3_9Segment_2IS5_EEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %15) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %15) #6
  %indvars.iv.next86 = add nuw nsw i64 %indvars.iv85, 1
  %exitcond88.not = icmp eq i64 %indvars.iv.next86, %wide.trip.count87
  br i1 %exitcond88.not, label %._crit_edge83, label %.lr.ph82, !llvm.loop !7

120:                                              ; preds = %118, %90
  %.pn57.pn.pn = phi { ptr, i32 } [ %.pn57.pn, %118 ], [ %91, %90 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %15) #6
  br label %159

._crit_edge83.thread:                             ; preds = %.preheader, %._crit_edge83
  %121 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str)
          to label %158 unwind label %74

122:                                              ; preds = %._crit_edge83
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %21) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %22) #6
  invoke void @_ZNK4CGAL9Segment_2INS_5EpeckEE3endEv(ptr dead_on_unwind nonnull writable sret(%"class.CGAL::Point_2") align 8 %22, ptr noundef nonnull align 8 dereferenceable(8) %9)
          to label %123 unwind label %141

123:                                              ; preds = %122
  invoke void @_ZNK4CGAL7Point_2INS_5EpeckEE1xEv(ptr dead_on_unwind nonnull writable sret(%"class.CGAL::Lazy_exact_nt") align 8 %21, ptr noundef nonnull align 8 dereferenceable(8) %22)
          to label %124 unwind label %143

124:                                              ; preds = %123
  %125 = invoke noundef double @_Z15floor_to_doubleRKN4CGAL13Lazy_exact_ntIN5boost14multiprecision6numberINS2_8backends12gmp_rationalELNS2_26expression_template_optionE1EEEEE(ptr noundef nonnull align 8 dereferenceable(9) %21)
          to label %126 unwind label %145

126:                                              ; preds = %124
  %127 = fptosi double %125 to i64
  %128 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEl(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, i64 noundef %127)
          to label %129 unwind label %145

129:                                              ; preds = %126
  %130 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %128, i8 noundef signext 32)
          to label %131 unwind label %145

131:                                              ; preds = %129
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %23) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %24) #6
  invoke void @_ZNK4CGAL9Segment_2INS_5EpeckEE3endEv(ptr dead_on_unwind nonnull writable sret(%"class.CGAL::Point_2") align 8 %24, ptr noundef nonnull align 8 dereferenceable(8) %9)
          to label %132 unwind label %147

132:                                              ; preds = %131
  invoke void @_ZNK4CGAL7Point_2INS_5EpeckEE1yEv(ptr dead_on_unwind nonnull writable sret(%"class.CGAL::Lazy_exact_nt") align 8 %23, ptr noundef nonnull align 8 dereferenceable(8) %24)
          to label %133 unwind label %149

133:                                              ; preds = %132
  %134 = invoke noundef double @_Z15floor_to_doubleRKN4CGAL13Lazy_exact_ntIN5boost14multiprecision6numberINS2_8backends12gmp_rationalELNS2_26expression_template_optionE1EEEEE(ptr noundef nonnull align 8 dereferenceable(9) %23)
          to label %135 unwind label %151

135:                                              ; preds = %133
  %136 = fptosi double %134 to i64
  %137 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEl(ptr noundef nonnull align 8 dereferenceable(8) %130, i64 noundef %136)
          to label %138 unwind label %151

138:                                              ; preds = %135
  %139 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %137, i8 noundef signext 10)
          to label %140 unwind label %151

140:                                              ; preds = %138
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(9) %23) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %24) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %23) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(9) %21) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %22) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %21) #6
  br label %158

141:                                              ; preds = %122
  %142 = landingpad { ptr, i32 }
          cleanup
  br label %157

143:                                              ; preds = %123
  %144 = landingpad { ptr, i32 }
          cleanup
  br label %156

145:                                              ; preds = %129, %126, %124
  %146 = landingpad { ptr, i32 }
          cleanup
  br label %155

147:                                              ; preds = %131
  %148 = landingpad { ptr, i32 }
          cleanup
  br label %154

149:                                              ; preds = %132
  %150 = landingpad { ptr, i32 }
          cleanup
  br label %153

151:                                              ; preds = %138, %135, %133
  %152 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(9) %23) #6
  br label %153

153:                                              ; preds = %151, %149
  %.pn46 = phi { ptr, i32 } [ %152, %151 ], [ %150, %149 ]
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %24) #6
  br label %154

154:                                              ; preds = %153, %147
  %.pn46.pn = phi { ptr, i32 } [ %.pn46, %153 ], [ %148, %147 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %23) #6
  br label %155

155:                                              ; preds = %154, %145
  %.pn46.pn.pn = phi { ptr, i32 } [ %.pn46.pn, %154 ], [ %146, %145 ]
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(9) %21) #6
  br label %156

156:                                              ; preds = %155, %143
  %.pn46.pn.pn.pn = phi { ptr, i32 } [ %.pn46.pn.pn, %155 ], [ %144, %143 ]
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %22) #6
  br label %157

157:                                              ; preds = %156, %141
  %.pn46.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn46.pn.pn.pn, %156 ], [ %142, %141 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %21) #6
  br label %159

158:                                              ; preds = %._crit_edge83.thread, %140
  call void @_ZNSt6vectorIN4CGAL9Segment_2INS0_5EpeckEEESaIS3_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %10) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %10) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %6) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %2) #6
  ret void

159:                                              ; preds = %60, %72, %157, %120, %74
  %.pn64.pn.pn = phi { ptr, i32 } [ %.pn57.pn.pn, %120 ], [ %.pn46.pn.pn.pn.pn, %157 ], [ %75, %74 ], [ %.pn64, %72 ], [ %61, %60 ]
  call void @_ZNSt6vectorIN4CGAL9Segment_2INS0_5EpeckEEESaIS3_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %10) #6
  br label %160

160:                                              ; preds = %159, %44
  %.pn64.pn.pn.pn = phi { ptr, i32 } [ %.pn64.pn.pn, %159 ], [ %45, %44 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %10) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #6
  br label %161

161:                                              ; preds = %160, %42
  %.pn64.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn64.pn.pn.pn, %160 ], [ %43, %42 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #6
  call void @_ZN4CGAL6HandleD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %6) #6
  br label %162

162:                                              ; preds = %161, %41
  %.pn64.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn64.pn.pn.pn.pn, %161 ], [ %.pn, %41 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %2) #6
  resume { ptr, i32 } %.pn64.pn.pn.pn.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 uwtable
declare dso_local void @_ZN4CGAL7Point_2INS_5EpeckEEC2IllEERKT_RKT0_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #0 align 2

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

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

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

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZSt14random_shuffleIN9__gnu_cxx17__normal_iteratorIPN4CGAL9Segment_2INS2_5EpeckEEESt6vectorIS5_SaIS5_EEEEEvT_SB_(ptr, ptr) local_unnamed_addr #3

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN4CGAL12intersectionINS_5EpeckEEEDcRKNS_9Segment_2IT_EES6_(ptr dead_on_unwind noalias writable sret(%"class.boost::optional") align 8, ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #3

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN4CGAL12intersectionINS_5EpeckEEEDcRKNS_9Segment_2IT_EERKNS_5Ray_2IS3_EE(ptr dead_on_unwind noalias writable sret(%"class.boost::optional") align 8, ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #3

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZN5boost3getIN4CGAL7Point_2INS1_5EpeckEEES4_JNS1_9Segment_2IS3_EEEEENS_11add_pointerIT_E4typeEPNS_7variantIT0_JDpT1_EEE(ptr noundef) local_unnamed_addr #5

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK4CGAL5Ray_2INS_5EpeckEE6sourceEv(ptr dead_on_unwind noalias writable sret(%"class.CGAL::Point_2") align 8, 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 @_ZN4CGAL9Segment_2INS_5EpeckEEaSEOS2_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #5 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZN5boost3getIN4CGAL9Segment_2INS1_5EpeckEEENS1_7Point_2IS3_EEJS4_EEENS_11add_pointerIT_E4typeEPNS_7variantIT0_JDpT1_EEE(ptr noundef) local_unnamed_addr #5

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) local_unnamed_addr #3

; 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 #3

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

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt15__new_allocatorIN4CGAL9Segment_2INS0_5EpeckEEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) 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 = { 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 #4 = { alwaysinline 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 #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 = { 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 = distinct !{!5, !6}
!6 = !{!"llvm.loop.mustprogress"}
!7 = distinct !{!7, !6}


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