; LLVM IR from ERGO-Code/HiGHS :: src/ipm/ipx/lp_solver.ll (ZN3ipx8LpSolver25MakeIPMStartingPointValidEv)

; 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.ipx::LpSolver" = type { %"class.ipx::Control", %"struct.ipx::Info", %"class.ipx::Model", %"class.std::unique_ptr", %"class.std::unique_ptr.18", %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", %"class.std::vector.4", %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", %"class.std::valarray" }
%"class.ipx::Control" = type { %"struct.ipx::Parameters", ptr, %"class.std::basic_ofstream", %"class.ipx::Timer", %"class.ipx::Timer", %"class.ipx::Multistream", %"class.ipx::Multistream" }
%"struct.ipx::Parameters" = type { %struct.ipx_parameters }
%struct.ipx_parameters = type { i32, ptr, double, double, i8, i32, i32, i32, double, double, double, double, double, i32, double, double, i32, i32, i32, double, i32, double, double, double, i32, i32, i32, i32, i32, i32, i32, double, double, double, i32, i8, i8, ptr }
%"class.std::basic_ofstream" = type { %"class.std::basic_ostream.base", %"class.std::basic_filebuf", %"class.std::basic_ios" }
%"class.std::basic_ostream.base" = type { ptr }
%"class.std::basic_filebuf" = type { %"class.std::basic_streambuf", %union.pthread_mutex_t, %"class.std::__basic_file", i32, %struct.__mbstate_t, %struct.__mbstate_t, %struct.__mbstate_t, ptr, i64, i8, i8, i8, i8, ptr, ptr, i8, ptr, ptr, i64, ptr, ptr }
%"class.std::basic_streambuf" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, %"class.std::locale" }
%"class.std::locale" = type { ptr }
%union.pthread_mutex_t = type { %struct.__pthread_mutex_s }
%struct.__pthread_mutex_s = type { i32, i32, i32, i32, i32, i16, i16, %struct.__pthread_internal_list }
%struct.__pthread_internal_list = type { ptr, ptr }
%"class.std::__basic_file" = type <{ ptr, i8, [7 x i8] }>
%struct.__mbstate_t = type { i32, %union.anon.0 }
%union.anon.0 = type { i32 }
%"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.ipx::Timer" = type { %"class.std::chrono::time_point" }
%"class.std::chrono::time_point" = type { %"class.std::chrono::duration" }
%"class.std::chrono::duration" = type { i64 }
%"class.ipx::Multistream" = type { %"class.std::basic_ostream.base", %"struct.ipx::Multistream::multibuffer", %"class.std::basic_ios" }
%"struct.ipx::Multistream::multibuffer" = type { %"class.std::basic_streambuf", %"class.std::vector" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<std::basic_streambuf<char> *, std::allocator<std::basic_streambuf<char> *>>::_Vector_impl" }
%"struct.std::_Vector_base<std::basic_streambuf<char> *, std::allocator<std::basic_streambuf<char> *>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::basic_streambuf<char> *, std::allocator<std::basic_streambuf<char> *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::basic_streambuf<char> *, std::allocator<std::basic_streambuf<char> *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.ipx::Info" = type { %struct.ipx_info }
%struct.ipx_info = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, double, double, double, double, double, double, double, double, double, double, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, i32, i32, i32, i32, double, double, double, double }
%"class.ipx::Model" = type { i8, i32, i32, i32, i32, %"class.ipx::SparseMatrix", %"class.ipx::SparseMatrix", %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", double, double, i32, i32, i32, i32, i32, %"class.std::vector.4", %"class.std::vector.14", double, double, double, %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", %"class.ipx::SparseMatrix", %"class.std::vector.4", %"class.std::valarray", %"class.std::valarray" }
%"class.std::vector.14" = type { %"struct.std::_Vector_base.15" }
%"struct.std::_Vector_base.15" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.ipx::SparseMatrix" = type { i32, %"class.std::vector.4", %"class.std::vector.4", %"class.std::vector.9", %"class.std::vector.4", %"class.std::vector.9" }
%"class.std::vector.9" = type { %"struct.std::_Vector_base.10" }
%"struct.std::_Vector_base.10" = type { %"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl" }
%"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl" = type { %"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl_data" }
%"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::unique_ptr" = type { %"struct.std::__uniq_ptr_data" }
%"struct.std::__uniq_ptr_data" = type { %"class.std::__uniq_ptr_impl" }
%"class.std::__uniq_ptr_impl" = type { %"class.std::tuple" }
%"class.std::tuple" = type { %"struct.std::_Tuple_impl" }
%"struct.std::_Tuple_impl" = type { %"struct.std::_Head_base.17" }
%"struct.std::_Head_base.17" = type { ptr }
%"class.std::unique_ptr.18" = type { %"struct.std::__uniq_ptr_data.19" }
%"struct.std::__uniq_ptr_data.19" = type { %"class.std::__uniq_ptr_impl.20" }
%"class.std::__uniq_ptr_impl.20" = type { %"class.std::tuple.21" }
%"class.std::tuple.21" = type { %"struct.std::_Tuple_impl.22" }
%"struct.std::_Tuple_impl.22" = type { %"struct.std::_Head_base.25" }
%"struct.std::_Head_base.25" = type { ptr }
%"class.std::vector.4" = type { %"struct.std::_Vector_base.5" }
%"struct.std::_Vector_base.5" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::valarray" = type { i64, ptr }

@.str.14 = external hidden unnamed_addr constant [74 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [37 x i8], align 1
@__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv = external hidden unnamed_addr constant [48 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [13 x i8], align 1

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3ipx5Model4rowsEv(ptr noundef nonnull align 8 dereferenceable(704)) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3ipx5Model4colsEv(ptr noundef nonnull align 8 dereferenceable(704)) #1 align 2

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN3ipx8LpSolver25MakeIPMStartingPointValidEv(ptr noundef nonnull align 8 dereferenceable(2864) %0) #2 align 2 {
  %2 = alloca ptr, align 8
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca i32, align 4
  %12 = alloca double, align 8
  %13 = alloca i32, align 4
  %14 = alloca double, align 8
  %15 = alloca i32, align 4
  store ptr %0, ptr %2, align 8, !tbaa !5
  %16 = load ptr, ptr %2, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #7
  %17 = getelementptr inbounds %"class.ipx::LpSolver", ptr %16, i32 0, i32 2
  %18 = call noundef i32 @_ZNK3ipx5Model4rowsEv(ptr noundef nonnull align 8 dereferenceable(704) %17)
  store i32 %18, ptr %3, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #7
  %19 = getelementptr inbounds %"class.ipx::LpSolver", ptr %16, i32 0, i32 2
  %20 = call noundef i32 @_ZNK3ipx5Model4colsEv(ptr noundef nonnull align 8 dereferenceable(704) %19)
  store i32 %20, ptr %4, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #7
  %21 = getelementptr inbounds %"class.ipx::LpSolver", ptr %16, i32 0, i32 2
  %22 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3ipx5Model2lbEv(ptr noundef nonnull align 8 dereferenceable(704) %21)
  store ptr %22, ptr %5, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #7
  %23 = getelementptr inbounds %"class.ipx::LpSolver", ptr %16, i32 0, i32 2
  %24 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3ipx5Model2ubEv(ptr noundef nonnull align 8 dereferenceable(704) %23)
  store ptr %24, ptr %6, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #7
  %25 = getelementptr inbounds %"class.ipx::LpSolver", ptr %16, i32 0, i32 11
  store ptr %25, ptr %7, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #7
  %26 = getelementptr inbounds %"class.ipx::LpSolver", ptr %16, i32 0, i32 12
  store ptr %26, ptr %8, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #7
  %27 = getelementptr inbounds %"class.ipx::LpSolver", ptr %16, i32 0, i32 14
  store ptr %27, ptr %9, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #7
  %28 = getelementptr inbounds %"class.ipx::LpSolver", ptr %16, i32 0, i32 15
  store ptr %28, ptr %10, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #7
  store i32 0, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #7
  store double 0.000000e+00, ptr %12, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #7
  store i32 0, ptr %13, align 4, !tbaa !9
  br label %29

29:                                               ; preds = %95, %1
  %30 = load i32, ptr %13, align 4, !tbaa !9
  %31 = load i32, ptr %4, align 4, !tbaa !9
  %32 = load i32, ptr %3, align 4, !tbaa !9
  %33 = add nsw i32 %31, %32
  %34 = icmp slt i32 %30, %33
  br i1 %34, label %36, label %35

35:                                               ; preds = %29
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #7
  br label %98

36:                                               ; preds = %29
  %37 = load ptr, ptr %7, align 8, !tbaa !5
  %38 = load i32, ptr %13, align 4, !tbaa !9
  %39 = sext i32 %38 to i64
  %40 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %37, i64 noundef %39) #7
  %41 = load double, ptr %40, align 8, !tbaa !11
  %42 = fcmp ogt double %41, 0.000000e+00
  br i1 %42, label %43, label %65

43:                                               ; preds = %36
  %44 = load ptr, ptr %9, align 8, !tbaa !5
  %45 = load i32, ptr %13, align 4, !tbaa !9
  %46 = sext i32 %45 to i64
  %47 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %44, i64 noundef %46) #7
  %48 = load double, ptr %47, align 8, !tbaa !11
  %49 = fcmp ogt double %48, 0.000000e+00
  br i1 %49, label %50, label %65

50:                                               ; preds = %43
  %51 = load ptr, ptr %7, align 8, !tbaa !5
  %52 = load i32, ptr %13, align 4, !tbaa !9
  %53 = sext i32 %52 to i64
  %54 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %51, i64 noundef %53) #7
  %55 = load double, ptr %54, align 8, !tbaa !11
  %56 = load ptr, ptr %9, align 8, !tbaa !5
  %57 = load i32, ptr %13, align 4, !tbaa !9
  %58 = sext i32 %57 to i64
  %59 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %56, i64 noundef %58) #7
  %60 = load double, ptr %59, align 8, !tbaa !11
  %61 = load double, ptr %12, align 8, !tbaa !11
  %62 = call double @llvm.fmuladd.f64(double %55, double %60, double %61)
  store double %62, ptr %12, align 8, !tbaa !11
  %63 = load i32, ptr %11, align 4, !tbaa !9
  %64 = add nsw i32 %63, 1
  store i32 %64, ptr %11, align 4, !tbaa !9
  br label %65

65:                                               ; preds = %50, %43, %36
  %66 = load ptr, ptr %8, align 8, !tbaa !5
  %67 = load i32, ptr %13, align 4, !tbaa !9
  %68 = sext i32 %67 to i64
  %69 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %66, i64 noundef %68) #7
  %70 = load double, ptr %69, align 8, !tbaa !11
  %71 = fcmp ogt double %70, 0.000000e+00
  br i1 %71, label %72, label %94

72:                                               ; preds = %65
  %73 = load ptr, ptr %10, align 8, !tbaa !5
  %74 = load i32, ptr %13, align 4, !tbaa !9
  %75 = sext i32 %74 to i64
  %76 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %73, i64 noundef %75) #7
  %77 = load double, ptr %76, align 8, !tbaa !11
  %78 = fcmp ogt double %77, 0.000000e+00
  br i1 %78, label %79, label %94

79:                                               ; preds = %72
  %80 = load ptr, ptr %8, align 8, !tbaa !5
  %81 = load i32, ptr %13, align 4, !tbaa !9
  %82 = sext i32 %81 to i64
  %83 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %80, i64 noundef %82) #7
  %84 = load double, ptr %83, align 8, !tbaa !11
  %85 = load ptr, ptr %10, align 8, !tbaa !5
  %86 = load i32, ptr %13, align 4, !tbaa !9
  %87 = sext i32 %86 to i64
  %88 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %85, i64 noundef %87) #7
  %89 = load double, ptr %88, align 8, !tbaa !11
  %90 = load double, ptr %12, align 8, !tbaa !11
  %91 = call double @llvm.fmuladd.f64(double %84, double %89, double %90)
  store double %91, ptr %12, align 8, !tbaa !11
  %92 = load i32, ptr %11, align 4, !tbaa !9
  %93 = add nsw i32 %92, 1
  store i32 %93, ptr %11, align 4, !tbaa !9
  br label %94

94:                                               ; preds = %79, %72, %65
  br label %95

95:                                               ; preds = %94
  %96 = load i32, ptr %13, align 4, !tbaa !9
  %97 = add nsw i32 %96, 1
  store i32 %97, ptr %13, align 4, !tbaa !9
  br label %29, !llvm.loop !13

98:                                               ; preds = %35
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #7
  %99 = load i32, ptr %11, align 4, !tbaa !9
  %100 = icmp ne i32 %99, 0
  br i1 %100, label %101, label %106

101:                                              ; preds = %98
  %102 = load double, ptr %12, align 8, !tbaa !11
  %103 = load i32, ptr %11, align 4, !tbaa !9
  %104 = sitofp i32 %103 to double
  %105 = fdiv double %102, %104
  br label %107

106:                                              ; preds = %98
  br label %107

107:                                              ; preds = %106, %101
  %108 = phi double [ %105, %101 ], [ 1.000000e+00, %106 ]
  store double %108, ptr %14, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #7
  store i32 0, ptr %15, align 4, !tbaa !9
  br label %109

109:                                              ; preds = %381, %107
  %110 = load i32, ptr %15, align 4, !tbaa !9
  %111 = load i32, ptr %4, align 4, !tbaa !9
  %112 = load i32, ptr %3, align 4, !tbaa !9
  %113 = add nsw i32 %111, %112
  %114 = icmp slt i32 %110, %113
  br i1 %114, label %116, label %115

115:                                              ; preds = %109
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #7
  br label %384

116:                                              ; preds = %109
  %117 = load ptr, ptr %5, align 8, !tbaa !5
  %118 = load i32, ptr %15, align 4, !tbaa !9
  %119 = sext i32 %118 to i64
  %120 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %117, i64 noundef %119) #7
  %121 = load double, ptr %120, align 8, !tbaa !11
  %122 = call noundef zeroext i1 @_ZSt8isfinited(double noundef %121)
  br i1 %122, label %123, label %227

123:                                              ; preds = %116
  %124 = load ptr, ptr %7, align 8, !tbaa !5
  %125 = load i32, ptr %15, align 4, !tbaa !9
  %126 = sext i32 %125 to i64
  %127 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %124, i64 noundef %126) #7
  %128 = load double, ptr %127, align 8, !tbaa !11
  %129 = call noundef zeroext i1 @_ZSt8isfinited(double noundef %128)
  br i1 %129, label %130, label %137

130:                                              ; preds = %123
  %131 = load ptr, ptr %7, align 8, !tbaa !5
  %132 = load i32, ptr %15, align 4, !tbaa !9
  %133 = sext i32 %132 to i64
  %134 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %131, i64 noundef %133) #7
  %135 = load double, ptr %134, align 8, !tbaa !11
  %136 = fcmp oge double %135, 0.000000e+00
  br label %137

137:                                              ; preds = %130, %123
  %138 = phi i1 [ false, %123 ], [ %136, %130 ]
  br i1 %138, label %139, label %140

139:                                              ; preds = %137
  br label %142

140:                                              ; preds = %137
  call void @__assert_fail(ptr noundef @.str.27, ptr noundef @.str.14, i32 noundef 443, ptr noundef @__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv) #8
  unreachable

141:                                              ; No predecessors!
  br label %142

142:                                              ; preds = %141, %139
  %143 = load ptr, ptr %9, align 8, !tbaa !5
  %144 = load i32, ptr %15, align 4, !tbaa !9
  %145 = sext i32 %144 to i64
  %146 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %143, i64 noundef %145) #7
  %147 = load double, ptr %146, align 8, !tbaa !11
  %148 = call noundef zeroext i1 @_ZSt8isfinited(double noundef %147)
  br i1 %148, label %149, label %156

149:                                              ; preds = %142
  %150 = load ptr, ptr %9, align 8, !tbaa !5
  %151 = load i32, ptr %15, align 4, !tbaa !9
  %152 = sext i32 %151 to i64
  %153 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %150, i64 noundef %152) #7
  %154 = load double, ptr %153, align 8, !tbaa !11
  %155 = fcmp oge double %154, 0.000000e+00
  br label %156

156:                                              ; preds = %149, %142
  %157 = phi i1 [ false, %142 ], [ %155, %149 ]
  br i1 %157, label %158, label %159

158:                                              ; preds = %156
  br label %161

159:                                              ; preds = %156
  call void @__assert_fail(ptr noundef @.str.28, ptr noundef @.str.14, i32 noundef 444, ptr noundef @__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv) #8
  unreachable

160:                                              ; No predecessors!
  br label %161

161:                                              ; preds = %160, %158
  %162 = load ptr, ptr %7, align 8, !tbaa !5
  %163 = load i32, ptr %15, align 4, !tbaa !9
  %164 = sext i32 %163 to i64
  %165 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %162, i64 noundef %164) #7
  %166 = load double, ptr %165, align 8, !tbaa !11
  %167 = fcmp oeq double %166, 0.000000e+00
  br i1 %167, label %168, label %186

168:                                              ; preds = %161
  %169 = load ptr, ptr %9, align 8, !tbaa !5
  %170 = load i32, ptr %15, align 4, !tbaa !9
  %171 = sext i32 %170 to i64
  %172 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %169, i64 noundef %171) #7
  %173 = load double, ptr %172, align 8, !tbaa !11
  %174 = fcmp oeq double %173, 0.000000e+00
  br i1 %174, label %175, label %186

175:                                              ; preds = %168
  %176 = load double, ptr %14, align 8, !tbaa !11
  %177 = call double @sqrt(double noundef %176) #7
  %178 = load ptr, ptr %9, align 8, !tbaa !5
  %179 = load i32, ptr %15, align 4, !tbaa !9
  %180 = sext i32 %179 to i64
  %181 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %178, i64 noundef %180) #7
  store double %177, ptr %181, align 8, !tbaa !11
  %182 = load ptr, ptr %7, align 8, !tbaa !5
  %183 = load i32, ptr %15, align 4, !tbaa !9
  %184 = sext i32 %183 to i64
  %185 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %182, i64 noundef %184) #7
  store double %177, ptr %185, align 8, !tbaa !11
  br label %226

186:                                              ; preds = %168, %161
  %187 = load ptr, ptr %7, align 8, !tbaa !5
  %188 = load i32, ptr %15, align 4, !tbaa !9
  %189 = sext i32 %188 to i64
  %190 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %187, i64 noundef %189) #7
  %191 = load double, ptr %190, align 8, !tbaa !11
  %192 = fcmp oeq double %191, 0.000000e+00
  br i1 %192, label %193, label %205

193:                                              ; preds = %186
  %194 = load double, ptr %14, align 8, !tbaa !11
  %195 = load ptr, ptr %9, align 8, !tbaa !5
  %196 = load i32, ptr %15, align 4, !tbaa !9
  %197 = sext i32 %196 to i64
  %198 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %195, i64 noundef %197) #7
  %199 = load double, ptr %198, align 8, !tbaa !11
  %200 = fdiv double %194, %199
  %201 = load ptr, ptr %7, align 8, !tbaa !5
  %202 = load i32, ptr %15, align 4, !tbaa !9
  %203 = sext i32 %202 to i64
  %204 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %201, i64 noundef %203) #7
  store double %200, ptr %204, align 8, !tbaa !11
  br label %225

205:                                              ; preds = %186
  %206 = load ptr, ptr %9, align 8, !tbaa !5
  %207 = load i32, ptr %15, align 4, !tbaa !9
  %208 = sext i32 %207 to i64
  %209 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %206, i64 noundef %208) #7
  %210 = load double, ptr %209, align 8, !tbaa !11
  %211 = fcmp oeq double %210, 0.000000e+00
  br i1 %211, label %212, label %224

212:                                              ; preds = %205
  %213 = load double, ptr %14, align 8, !tbaa !11
  %214 = load ptr, ptr %7, align 8, !tbaa !5
  %215 = load i32, ptr %15, align 4, !tbaa !9
  %216 = sext i32 %215 to i64
  %217 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %214, i64 noundef %216) #7
  %218 = load double, ptr %217, align 8, !tbaa !11
  %219 = fdiv double %213, %218
  %220 = load ptr, ptr %9, align 8, !tbaa !5
  %221 = load i32, ptr %15, align 4, !tbaa !9
  %222 = sext i32 %221 to i64
  %223 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %220, i64 noundef %222) #7
  store double %219, ptr %223, align 8, !tbaa !11
  br label %224

224:                                              ; preds = %212, %205
  br label %225

225:                                              ; preds = %224, %193
  br label %226

226:                                              ; preds = %225, %175
  br label %248

227:                                              ; preds = %116
  %228 = load ptr, ptr %7, align 8, !tbaa !5
  %229 = load i32, ptr %15, align 4, !tbaa !9
  %230 = sext i32 %229 to i64
  %231 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %228, i64 noundef %230) #7
  %232 = load double, ptr %231, align 8, !tbaa !11
  %233 = fcmp oeq double %232, 0x7FF0000000000000
  br i1 %233, label %234, label %235

234:                                              ; preds = %227
  br label %237

235:                                              ; preds = %227
  call void @__assert_fail(ptr noundef @.str.29, ptr noundef @.str.14, i32 noundef 452, ptr noundef @__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv) #8
  unreachable

236:                                              ; No predecessors!
  br label %237

237:                                              ; preds = %236, %234
  %238 = load ptr, ptr %9, align 8, !tbaa !5
  %239 = load i32, ptr %15, align 4, !tbaa !9
  %240 = sext i32 %239 to i64
  %241 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %238, i64 noundef %240) #7
  %242 = load double, ptr %241, align 8, !tbaa !11
  %243 = fcmp oeq double %242, 0.000000e+00
  br i1 %243, label %244, label %245

244:                                              ; preds = %237
  br label %247

245:                                              ; preds = %237
  call void @__assert_fail(ptr noundef @.str.30, ptr noundef @.str.14, i32 noundef 453, ptr noundef @__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv) #8
  unreachable

246:                                              ; No predecessors!
  br label %247

247:                                              ; preds = %246, %244
  br label %248

248:                                              ; preds = %247, %226
  %249 = load ptr, ptr %6, align 8, !tbaa !5
  %250 = load i32, ptr %15, align 4, !tbaa !9
  %251 = sext i32 %250 to i64
  %252 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %249, i64 noundef %251) #7
  %253 = load double, ptr %252, align 8, !tbaa !11
  %254 = call noundef zeroext i1 @_ZSt8isfinited(double noundef %253)
  br i1 %254, label %255, label %359

255:                                              ; preds = %248
  %256 = load ptr, ptr %8, align 8, !tbaa !5
  %257 = load i32, ptr %15, align 4, !tbaa !9
  %258 = sext i32 %257 to i64
  %259 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %256, i64 noundef %258) #7
  %260 = load double, ptr %259, align 8, !tbaa !11
  %261 = call noundef zeroext i1 @_ZSt8isfinited(double noundef %260)
  br i1 %261, label %262, label %269

262:                                              ; preds = %255
  %263 = load ptr, ptr %8, align 8, !tbaa !5
  %264 = load i32, ptr %15, align 4, !tbaa !9
  %265 = sext i32 %264 to i64
  %266 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %263, i64 noundef %265) #7
  %267 = load double, ptr %266, align 8, !tbaa !11
  %268 = fcmp oge double %267, 0.000000e+00
  br label %269

269:                                              ; preds = %262, %255
  %270 = phi i1 [ false, %255 ], [ %268, %262 ]
  br i1 %270, label %271, label %272

271:                                              ; preds = %269
  br label %274

272:                                              ; preds = %269
  call void @__assert_fail(ptr noundef @.str.31, ptr noundef @.str.14, i32 noundef 456, ptr noundef @__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv) #8
  unreachable

273:                                              ; No predecessors!
  br label %274

274:                                              ; preds = %273, %271
  %275 = load ptr, ptr %10, align 8, !tbaa !5
  %276 = load i32, ptr %15, align 4, !tbaa !9
  %277 = sext i32 %276 to i64
  %278 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %275, i64 noundef %277) #7
  %279 = load double, ptr %278, align 8, !tbaa !11
  %280 = call noundef zeroext i1 @_ZSt8isfinited(double noundef %279)
  br i1 %280, label %281, label %288

281:                                              ; preds = %274
  %282 = load ptr, ptr %10, align 8, !tbaa !5
  %283 = load i32, ptr %15, align 4, !tbaa !9
  %284 = sext i32 %283 to i64
  %285 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %282, i64 noundef %284) #7
  %286 = load double, ptr %285, align 8, !tbaa !11
  %287 = fcmp oge double %286, 0.000000e+00
  br label %288

288:                                              ; preds = %281, %274
  %289 = phi i1 [ false, %274 ], [ %287, %281 ]
  br i1 %289, label %290, label %291

290:                                              ; preds = %288
  br label %293

291:                                              ; preds = %288
  call void @__assert_fail(ptr noundef @.str.32, ptr noundef @.str.14, i32 noundef 457, ptr noundef @__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv) #8
  unreachable

292:                                              ; No predecessors!
  br label %293

293:                                              ; preds = %292, %290
  %294 = load ptr, ptr %8, align 8, !tbaa !5
  %295 = load i32, ptr %15, align 4, !tbaa !9
  %296 = sext i32 %295 to i64
  %297 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %294, i64 noundef %296) #7
  %298 = load double, ptr %297, align 8, !tbaa !11
  %299 = fcmp oeq double %298, 0.000000e+00
  br i1 %299, label %300, label %318

300:                                              ; preds = %293
  %301 = load ptr, ptr %10, align 8, !tbaa !5
  %302 = load i32, ptr %15, align 4, !tbaa !9
  %303 = sext i32 %302 to i64
  %304 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %301, i64 noundef %303) #7
  %305 = load double, ptr %304, align 8, !tbaa !11
  %306 = fcmp oeq double %305, 0.000000e+00
  br i1 %306, label %307, label %318

307:                                              ; preds = %300
  %308 = load double, ptr %14, align 8, !tbaa !11
  %309 = call double @sqrt(double noundef %308) #7
  %310 = load ptr, ptr %10, align 8, !tbaa !5
  %311 = load i32, ptr %15, align 4, !tbaa !9
  %312 = sext i32 %311 to i64
  %313 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %310, i64 noundef %312) #7
  store double %309, ptr %313, align 8, !tbaa !11
  %314 = load ptr, ptr %8, align 8, !tbaa !5
  %315 = load i32, ptr %15, align 4, !tbaa !9
  %316 = sext i32 %315 to i64
  %317 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %314, i64 noundef %316) #7
  store double %309, ptr %317, align 8, !tbaa !11
  br label %358

318:                                              ; preds = %300, %293
  %319 = load ptr, ptr %8, align 8, !tbaa !5
  %320 = load i32, ptr %15, align 4, !tbaa !9
  %321 = sext i32 %320 to i64
  %322 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %319, i64 noundef %321) #7
  %323 = load double, ptr %322, align 8, !tbaa !11
  %324 = fcmp oeq double %323, 0.000000e+00
  br i1 %324, label %325, label %337

325:                                              ; preds = %318
  %326 = load double, ptr %14, align 8, !tbaa !11
  %327 = load ptr, ptr %10, align 8, !tbaa !5
  %328 = load i32, ptr %15, align 4, !tbaa !9
  %329 = sext i32 %328 to i64
  %330 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %327, i64 noundef %329) #7
  %331 = load double, ptr %330, align 8, !tbaa !11
  %332 = fdiv double %326, %331
  %333 = load ptr, ptr %8, align 8, !tbaa !5
  %334 = load i32, ptr %15, align 4, !tbaa !9
  %335 = sext i32 %334 to i64
  %336 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %333, i64 noundef %335) #7
  store double %332, ptr %336, align 8, !tbaa !11
  br label %357

337:                                              ; preds = %318
  %338 = load ptr, ptr %10, align 8, !tbaa !5
  %339 = load i32, ptr %15, align 4, !tbaa !9
  %340 = sext i32 %339 to i64
  %341 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %338, i64 noundef %340) #7
  %342 = load double, ptr %341, align 8, !tbaa !11
  %343 = fcmp oeq double %342, 0.000000e+00
  br i1 %343, label %344, label %356

344:                                              ; preds = %337
  %345 = load double, ptr %14, align 8, !tbaa !11
  %346 = load ptr, ptr %8, align 8, !tbaa !5
  %347 = load i32, ptr %15, align 4, !tbaa !9
  %348 = sext i32 %347 to i64
  %349 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %346, i64 noundef %348) #7
  %350 = load double, ptr %349, align 8, !tbaa !11
  %351 = fdiv double %345, %350
  %352 = load ptr, ptr %10, align 8, !tbaa !5
  %353 = load i32, ptr %15, align 4, !tbaa !9
  %354 = sext i32 %353 to i64
  %355 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %352, i64 noundef %354) #7
  store double %351, ptr %355, align 8, !tbaa !11
  br label %356

356:                                              ; preds = %344, %337
  br label %357

357:                                              ; preds = %356, %325
  br label %358

358:                                              ; preds = %357, %307
  br label %380

359:                                              ; preds = %248
  %360 = load ptr, ptr %8, align 8, !tbaa !5
  %361 = load i32, ptr %15, align 4, !tbaa !9
  %362 = sext i32 %361 to i64
  %363 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %360, i64 noundef %362) #7
  %364 = load double, ptr %363, align 8, !tbaa !11
  %365 = fcmp oeq double %364, 0x7FF0000000000000
  br i1 %365, label %366, label %367

366:                                              ; preds = %359
  br label %369

367:                                              ; preds = %359
  call void @__assert_fail(ptr noundef @.str.33, ptr noundef @.str.14, i32 noundef 465, ptr noundef @__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv) #8
  unreachable

368:                                              ; No predecessors!
  br label %369

369:                                              ; preds = %368, %366
  %370 = load ptr, ptr %10, align 8, !tbaa !5
  %371 = load i32, ptr %15, align 4, !tbaa !9
  %372 = sext i32 %371 to i64
  %373 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %370, i64 noundef %372) #7
  %374 = load double, ptr %373, align 8, !tbaa !11
  %375 = fcmp oeq double %374, 0.000000e+00
  br i1 %375, label %376, label %377

376:                                              ; preds = %369
  br label %379

377:                                              ; preds = %369
  call void @__assert_fail(ptr noundef @.str.34, ptr noundef @.str.14, i32 noundef 466, ptr noundef @__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv) #8
  unreachable

378:                                              ; No predecessors!
  br label %379

379:                                              ; preds = %378, %376
  br label %380

380:                                              ; preds = %379, %358
  br label %381

381:                                              ; preds = %380
  %382 = load i32, ptr %15, align 4, !tbaa !9
  %383 = add nsw i32 %382, 1
  store i32 %383, ptr %15, align 4, !tbaa !9
  br label %109, !llvm.loop !15

384:                                              ; preds = %115
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #7
  ret void
}

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) #3

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZSt8isfinited(double noundef) #1

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #5

; Function Attrs: nounwind
declare double @sqrt(double noundef) #6

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { 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 #3 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { 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 #5 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #6 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { nounwind }
attributes #8 = { noreturn nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"double", !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = distinct !{!15, !14}


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

@.str.14 = external hidden unnamed_addr constant [74 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [37 x i8], align 1
@__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv = external hidden unnamed_addr constant [48 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [13 x i8], align 1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3ipx5Model4rowsEv(ptr noundef nonnull align 8 dereferenceable(704)) local_unnamed_addr #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3ipx5Model4colsEv(ptr noundef nonnull align 8 dereferenceable(704)) local_unnamed_addr #0 align 2

; Function Attrs: mustprogress nounwind uwtable
define dso_local void @_ZN3ipx8LpSolver25MakeIPMStartingPointValidEv(ptr noundef nonnull align 8 dereferenceable(2864) %0) local_unnamed_addr #0 align 2 {
  %2 = getelementptr inbounds i8, ptr %0, i64 1960
  %3 = tail call noundef i32 @_ZNK3ipx5Model4rowsEv(ptr noundef nonnull align 8 dereferenceable(704) %2)
  %4 = tail call noundef i32 @_ZNK3ipx5Model4colsEv(ptr noundef nonnull align 8 dereferenceable(704) %2)
  %5 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3ipx5Model2lbEv(ptr noundef nonnull align 8 dereferenceable(704) %2)
  %6 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3ipx5Model2ubEv(ptr noundef nonnull align 8 dereferenceable(704) %2)
  %7 = getelementptr inbounds i8, ptr %0, i64 2784
  %8 = getelementptr inbounds i8, ptr %0, i64 2800
  %9 = getelementptr inbounds i8, ptr %0, i64 2832
  %10 = getelementptr inbounds i8, ptr %0, i64 2848
  %11 = add nsw i32 %4, %3
  %12 = icmp sgt i32 %11, 0
  br i1 %12, label %.lr.ph.preheader, label %._crit_edge.thread

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

._crit_edge:                                      ; preds = %46
  %.not = icmp eq i32 %.2.fr, 0
  %13 = sitofp i32 %.2.fr to double
  %14 = fdiv double %.2115, %13
  br i1 %.not, label %._crit_edge.thread, label %15

._crit_edge.thread:                               ; preds = %1, %._crit_edge
  br label %15

15:                                               ; preds = %._crit_edge, %._crit_edge.thread
  %16 = phi double [ 1.000000e+00, %._crit_edge.thread ], [ %14, %._crit_edge ]
  br i1 %12, label %.lr.ph124.preheader, label %._crit_edge125

.lr.ph124.preheader:                              ; preds = %15
  %wide.trip.count130 = zext nneg i32 %11 to i64
  br label %.lr.ph124

.lr.ph:                                           ; preds = %.lr.ph.preheader, %46
  %indvars.iv = phi i64 [ 0, %.lr.ph.preheader ], [ %indvars.iv.next, %46 ]
  %.0111119 = phi i32 [ 0, %.lr.ph.preheader ], [ %.2.fr, %46 ]
  %.0113117 = phi double [ 0.000000e+00, %.lr.ph.preheader ], [ %.2115, %46 ]
  %17 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %7, i64 noundef %indvars.iv) #5
  %18 = load double, ptr %17, align 8, !tbaa !5
  %19 = fcmp ogt double %18, 0.000000e+00
  br i1 %19, label %20, label %31

20:                                               ; preds = %.lr.ph
  %21 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %9, i64 noundef %indvars.iv) #5
  %22 = load double, ptr %21, align 8, !tbaa !5
  %23 = fcmp ogt double %22, 0.000000e+00
  br i1 %23, label %24, label %31

24:                                               ; preds = %20
  %25 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %7, i64 noundef %indvars.iv) #5
  %26 = load double, ptr %25, align 8, !tbaa !5
  %27 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %9, i64 noundef %indvars.iv) #5
  %28 = load double, ptr %27, align 8, !tbaa !5
  %29 = tail call double @llvm.fmuladd.f64(double %26, double %28, double %.0113117)
  %30 = add nsw i32 %.0111119, 1
  br label %31

31:                                               ; preds = %24, %20, %.lr.ph
  %.1114 = phi double [ %29, %24 ], [ %.0113117, %20 ], [ %.0113117, %.lr.ph ]
  %.1 = phi i32 [ %30, %24 ], [ %.0111119, %20 ], [ %.0111119, %.lr.ph ]
  %32 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %8, i64 noundef %indvars.iv) #5
  %33 = load double, ptr %32, align 8, !tbaa !5
  %34 = fcmp ogt double %33, 0.000000e+00
  br i1 %34, label %35, label %46

35:                                               ; preds = %31
  %36 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %10, i64 noundef %indvars.iv) #5
  %37 = load double, ptr %36, align 8, !tbaa !5
  %38 = fcmp ogt double %37, 0.000000e+00
  br i1 %38, label %39, label %46

39:                                               ; preds = %35
  %40 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %8, i64 noundef %indvars.iv) #5
  %41 = load double, ptr %40, align 8, !tbaa !5
  %42 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %10, i64 noundef %indvars.iv) #5
  %43 = load double, ptr %42, align 8, !tbaa !5
  %44 = tail call double @llvm.fmuladd.f64(double %41, double %43, double %.1114)
  %45 = add nsw i32 %.1, 1
  br label %46

46:                                               ; preds = %31, %35, %39
  %.2115 = phi double [ %44, %39 ], [ %.1114, %35 ], [ %.1114, %31 ]
  %.2 = phi i32 [ %45, %39 ], [ %.1, %35 ], [ %.1, %31 ]
  %.2.fr = freeze i32 %.2
  %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 !9

._crit_edge125:                                   ; preds = %154, %15
  ret void

.lr.ph124:                                        ; preds = %.lr.ph124.preheader, %154
  %indvars.iv127 = phi i64 [ 0, %.lr.ph124.preheader ], [ %indvars.iv.next128, %154 ]
  %47 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %5, i64 noundef %indvars.iv127) #5
  %48 = load double, ptr %47, align 8, !tbaa !5
  %49 = tail call noundef zeroext i1 @_ZSt8isfinited(double noundef %48)
  %50 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %7, i64 noundef %indvars.iv127) #5
  %51 = load double, ptr %50, align 8, !tbaa !5
  br i1 %49, label %52, label %91

52:                                               ; preds = %.lr.ph124
  %53 = tail call noundef zeroext i1 @_ZSt8isfinited(double noundef %51)
  br i1 %53, label %54, label %.critedge

54:                                               ; preds = %52
  %55 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %7, i64 noundef %indvars.iv127) #5
  %56 = load double, ptr %55, align 8, !tbaa !5
  %57 = fcmp ult double %56, 0.000000e+00
  br i1 %57, label %.critedge, label %58

.critedge:                                        ; preds = %52, %54
  tail call void @__assert_fail(ptr noundef nonnull @.str.27, ptr noundef nonnull @.str.14, i32 noundef 443, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv) #6
  unreachable

58:                                               ; preds = %54
  %59 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %9, i64 noundef %indvars.iv127) #5
  %60 = load double, ptr %59, align 8, !tbaa !5
  %61 = tail call noundef zeroext i1 @_ZSt8isfinited(double noundef %60)
  br i1 %61, label %62, label %.critedge2

62:                                               ; preds = %58
  %63 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %9, i64 noundef %indvars.iv127) #5
  %64 = load double, ptr %63, align 8, !tbaa !5
  %65 = fcmp ult double %64, 0.000000e+00
  br i1 %65, label %.critedge2, label %66

.critedge2:                                       ; preds = %58, %62
  tail call void @__assert_fail(ptr noundef nonnull @.str.28, ptr noundef nonnull @.str.14, i32 noundef 444, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv) #6
  unreachable

66:                                               ; preds = %62
  %67 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %7, i64 noundef %indvars.iv127) #5
  %68 = load double, ptr %67, align 8, !tbaa !5
  %69 = fcmp oeq double %68, 0.000000e+00
  br i1 %69, label %70, label %77

70:                                               ; preds = %66
  %71 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %9, i64 noundef %indvars.iv127) #5
  %72 = load double, ptr %71, align 8, !tbaa !5
  %73 = fcmp oeq double %72, 0.000000e+00
  br i1 %73, label %74, label %77

74:                                               ; preds = %70
  %75 = tail call double @sqrt(double noundef %16) #5
  %76 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %9, i64 noundef %indvars.iv127) #5
  store double %75, ptr %76, align 8, !tbaa !5
  br label %.sink.split

77:                                               ; preds = %70, %66
  %78 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %7, i64 noundef %indvars.iv127) #5
  %79 = load double, ptr %78, align 8, !tbaa !5
  %80 = fcmp oeq double %79, 0.000000e+00
  %81 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %9, i64 noundef %indvars.iv127) #5
  %82 = load double, ptr %81, align 8, !tbaa !5
  br i1 %80, label %83, label %85

83:                                               ; preds = %77
  %84 = fdiv double %16, %82
  br label %.sink.split

85:                                               ; preds = %77
  %86 = fcmp oeq double %82, 0.000000e+00
  br i1 %86, label %87, label %100

87:                                               ; preds = %85
  %88 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %7, i64 noundef %indvars.iv127) #5
  %89 = load double, ptr %88, align 8, !tbaa !5
  %90 = fdiv double %16, %89
  br label %.sink.split

91:                                               ; preds = %.lr.ph124
  %92 = fcmp oeq double %51, 0x7FF0000000000000
  br i1 %92, label %94, label %93

93:                                               ; preds = %91
  tail call void @__assert_fail(ptr noundef nonnull @.str.29, ptr noundef nonnull @.str.14, i32 noundef 452, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv) #6
  unreachable

94:                                               ; preds = %91
  %95 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %9, i64 noundef %indvars.iv127) #5
  %96 = load double, ptr %95, align 8, !tbaa !5
  %97 = fcmp oeq double %96, 0.000000e+00
  br i1 %97, label %100, label %98

98:                                               ; preds = %94
  tail call void @__assert_fail(ptr noundef nonnull @.str.30, ptr noundef nonnull @.str.14, i32 noundef 453, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv) #6
  unreachable

.sink.split:                                      ; preds = %83, %87, %74
  %.sink137 = phi ptr [ %7, %74 ], [ %9, %87 ], [ %7, %83 ]
  %.sink = phi double [ %75, %74 ], [ %90, %87 ], [ %84, %83 ]
  %99 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %.sink137, i64 noundef %indvars.iv127) #5
  store double %.sink, ptr %99, align 8, !tbaa !5
  br label %100

100:                                              ; preds = %.sink.split, %94, %85
  %101 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %6, i64 noundef %indvars.iv127) #5
  %102 = load double, ptr %101, align 8, !tbaa !5
  %103 = tail call noundef zeroext i1 @_ZSt8isfinited(double noundef %102)
  %104 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %8, i64 noundef %indvars.iv127) #5
  %105 = load double, ptr %104, align 8, !tbaa !5
  br i1 %103, label %106, label %145

106:                                              ; preds = %100
  %107 = tail call noundef zeroext i1 @_ZSt8isfinited(double noundef %105)
  br i1 %107, label %108, label %.critedge4

108:                                              ; preds = %106
  %109 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %8, i64 noundef %indvars.iv127) #5
  %110 = load double, ptr %109, align 8, !tbaa !5
  %111 = fcmp ult double %110, 0.000000e+00
  br i1 %111, label %.critedge4, label %112

.critedge4:                                       ; preds = %106, %108
  tail call void @__assert_fail(ptr noundef nonnull @.str.31, ptr noundef nonnull @.str.14, i32 noundef 456, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv) #6
  unreachable

112:                                              ; preds = %108
  %113 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %10, i64 noundef %indvars.iv127) #5
  %114 = load double, ptr %113, align 8, !tbaa !5
  %115 = tail call noundef zeroext i1 @_ZSt8isfinited(double noundef %114)
  br i1 %115, label %116, label %.critedge6

116:                                              ; preds = %112
  %117 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %10, i64 noundef %indvars.iv127) #5
  %118 = load double, ptr %117, align 8, !tbaa !5
  %119 = fcmp ult double %118, 0.000000e+00
  br i1 %119, label %.critedge6, label %120

.critedge6:                                       ; preds = %112, %116
  tail call void @__assert_fail(ptr noundef nonnull @.str.32, ptr noundef nonnull @.str.14, i32 noundef 457, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv) #6
  unreachable

120:                                              ; preds = %116
  %121 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %8, i64 noundef %indvars.iv127) #5
  %122 = load double, ptr %121, align 8, !tbaa !5
  %123 = fcmp oeq double %122, 0.000000e+00
  br i1 %123, label %124, label %131

124:                                              ; preds = %120
  %125 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %10, i64 noundef %indvars.iv127) #5
  %126 = load double, ptr %125, align 8, !tbaa !5
  %127 = fcmp oeq double %126, 0.000000e+00
  br i1 %127, label %128, label %131

128:                                              ; preds = %124
  %129 = tail call double @sqrt(double noundef %16) #5
  %130 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %10, i64 noundef %indvars.iv127) #5
  store double %129, ptr %130, align 8, !tbaa !5
  br label %.sink.split138

131:                                              ; preds = %124, %120
  %132 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %8, i64 noundef %indvars.iv127) #5
  %133 = load double, ptr %132, align 8, !tbaa !5
  %134 = fcmp oeq double %133, 0.000000e+00
  %135 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %10, i64 noundef %indvars.iv127) #5
  %136 = load double, ptr %135, align 8, !tbaa !5
  br i1 %134, label %137, label %139

137:                                              ; preds = %131
  %138 = fdiv double %16, %136
  br label %.sink.split138

139:                                              ; preds = %131
  %140 = fcmp oeq double %136, 0.000000e+00
  br i1 %140, label %141, label %154

141:                                              ; preds = %139
  %142 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %8, i64 noundef %indvars.iv127) #5
  %143 = load double, ptr %142, align 8, !tbaa !5
  %144 = fdiv double %16, %143
  br label %.sink.split138

145:                                              ; preds = %100
  %146 = fcmp oeq double %105, 0x7FF0000000000000
  br i1 %146, label %148, label %147

147:                                              ; preds = %145
  tail call void @__assert_fail(ptr noundef nonnull @.str.33, ptr noundef nonnull @.str.14, i32 noundef 465, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv) #6
  unreachable

148:                                              ; preds = %145
  %149 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %10, i64 noundef %indvars.iv127) #5
  %150 = load double, ptr %149, align 8, !tbaa !5
  %151 = fcmp oeq double %150, 0.000000e+00
  br i1 %151, label %154, label %152

152:                                              ; preds = %148
  tail call void @__assert_fail(ptr noundef nonnull @.str.34, ptr noundef nonnull @.str.14, i32 noundef 466, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN3ipx8LpSolver25MakeIPMStartingPointValidEv) #6
  unreachable

.sink.split138:                                   ; preds = %128, %141, %137
  %.sink141 = phi ptr [ %8, %137 ], [ %10, %141 ], [ %8, %128 ]
  %.sink139 = phi double [ %138, %137 ], [ %144, %141 ], [ %129, %128 ]
  %153 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %.sink141, i64 noundef %indvars.iv127) #5
  store double %.sink139, ptr %153, align 8, !tbaa !5
  br label %154

154:                                              ; preds = %.sink.split138, %139, %148
  %indvars.iv.next128 = add nuw nsw i64 %indvars.iv127, 1
  %exitcond131.not = icmp eq i64 %indvars.iv.next128, %wide.trip.count130
  br i1 %exitcond131.not, label %._crit_edge125, label %.lr.ph124, !llvm.loop !11
}

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #1

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZSt8isfinited(double noundef) local_unnamed_addr #0

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #3

; Function Attrs: mustprogress nofree nounwind willreturn memory(write)
declare double @sqrt(double noundef) local_unnamed_addr #4

attributes #0 = { 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 #1 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { 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 #3 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #4 = { mustprogress nofree nounwind willreturn memory(write) "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 = { nounwind }
attributes #6 = { noreturn 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 = !{!"double", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !10}


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