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

; 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::Crossover" = type { ptr, i32, i32, i32, i32, double, double }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"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.36 = external hidden unnamed_addr constant [7 x i8], align 1
@__PRETTY_FUNCTION__._ZN3ipx8LpSolver12RunCrossoverEv = external hidden unnamed_addr constant [35 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.39 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [40 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

declare i32 @__gxx_personality_v0(...)

; 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 void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #1 align 2

; 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: inlinehint mustprogress uwtable
declare dso_local void @_ZNSt8valarrayIdE6resizeEmd(ptr noundef nonnull align 8 dereferenceable(16), i64 noundef, double noundef) #2 align 2

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN3ipx8LpSolver12RunCrossoverEv(ptr noundef nonnull align 8 dereferenceable(2864) %0) #4 align 2 personality ptr @__gxx_personality_v0 {
  %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 %"class.ipx::Crossover", align 8
  %9 = alloca i32, align 4
  %10 = alloca i64, align 8
  %11 = alloca %"class.std::__cxx11::basic_string", align 8
  %12 = alloca ptr, align 8
  %13 = alloca i32, align 4
  %14 = alloca %"class.std::__cxx11::basic_string", align 8
  %15 = alloca %"class.std::__cxx11::basic_string", align 8
  %16 = alloca %"class.std::__cxx11::basic_string", align 8
  %17 = alloca %"class.std::__cxx11::basic_string", align 8
  %18 = alloca %"class.std::__cxx11::basic_string", align 8
  store ptr %0, ptr %2, align 8, !tbaa !5
  %19 = load ptr, ptr %2, align 8
  %20 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 4
  %21 = call noundef zeroext i1 @_ZNKSt10unique_ptrIN3ipx5BasisESt14default_deleteIS1_EEcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %20) #7
  br i1 %21, label %22, label %23

22:                                               ; preds = %1
  br label %25

23:                                               ; preds = %1
  call void @__assert_fail(ptr noundef @.str.36, ptr noundef @.str.14, i32 noundef 585, ptr noundef @__PRETTY_FUNCTION__._ZN3ipx8LpSolver12RunCrossoverEv) #8
  unreachable

24:                                               ; No predecessors!
  br label %25

25:                                               ; preds = %24, %22
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #7
  %26 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 2
  %27 = call noundef i32 @_ZNK3ipx5Model4rowsEv(ptr noundef nonnull align 8 dereferenceable(704) %26)
  store i32 %27, ptr %3, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #7
  %28 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 2
  %29 = call noundef i32 @_ZNK3ipx5Model4colsEv(ptr noundef nonnull align 8 dereferenceable(704) %28)
  store i32 %29, ptr %4, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #7
  %30 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 2
  %31 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3ipx5Model2lbEv(ptr noundef nonnull align 8 dereferenceable(704) %30)
  store ptr %31, ptr %5, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #7
  %32 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 2
  %33 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3ipx5Model2ubEv(ptr noundef nonnull align 8 dereferenceable(704) %32)
  store ptr %33, ptr %6, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #7
  store ptr null, ptr %7, align 8, !tbaa !5
  %34 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 9
  call void @_ZNSt6vectorIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %34) #7
  %35 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 8
  %36 = call noundef i64 @_ZNKSt8valarrayIdE4sizeEv(ptr noundef nonnull align 8 dereferenceable(16) %35)
  %37 = icmp ne i64 %36, 0
  br i1 %37, label %38, label %52

38:                                               ; preds = %25
  %39 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 8
  %40 = call noundef i64 @_ZNKSt8valarrayIdE4sizeEv(ptr noundef nonnull align 8 dereferenceable(16) %39)
  %41 = trunc i64 %40 to i32
  %42 = load i32, ptr %4, align 4, !tbaa !9
  %43 = load i32, ptr %3, align 4, !tbaa !9
  %44 = add nsw i32 %42, %43
  %45 = icmp eq i32 %41, %44
  br i1 %45, label %46, label %47

46:                                               ; preds = %38
  br label %49

47:                                               ; preds = %38
  call void @__assert_fail(ptr noundef @.str.37, ptr noundef @.str.14, i32 noundef 594, ptr noundef @__PRETTY_FUNCTION__._ZN3ipx8LpSolver12RunCrossoverEv) #8
  unreachable

48:                                               ; No predecessors!
  br label %49

49:                                               ; preds = %48, %46
  %50 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 8
  %51 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %50, i64 noundef 0) #7
  store ptr %51, ptr %7, align 8, !tbaa !5
  br label %52

52:                                               ; preds = %49, %25
  call void @llvm.lifetime.start.p0(i64 40, ptr %8) #7
  %53 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 0
  call void @_ZN3ipx9CrossoverC1ERKNS_7ControlE(ptr noundef nonnull align 8 dereferenceable(40) %8, ptr noundef nonnull align 8 dereferenceable(1496) %53)
  %54 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 4
  %55 = call noundef ptr @_ZNKSt10unique_ptrIN3ipx5BasisESt14default_deleteIS1_EE3getEv(ptr noundef nonnull align 8 dereferenceable(8) %54) #7
  %56 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 5
  %57 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 6
  %58 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 7
  %59 = load ptr, ptr %7, align 8, !tbaa !5
  %60 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 1
  call void @_ZN3ipx9Crossover7PushAllEPNS_5BasisERSt8valarrayIdES5_S5_PKdPNS_4InfoE(ptr noundef nonnull align 8 dereferenceable(40) %8, ptr noundef %55, ptr noundef nonnull align 8 dereferenceable(16) %56, ptr noundef nonnull align 8 dereferenceable(16) %57, ptr noundef nonnull align 8 dereferenceable(16) %58, ptr noundef %59, ptr noundef %60)
  %61 = call noundef double @_ZNK3ipx9Crossover11time_primalEv(ptr noundef nonnull align 8 dereferenceable(40) %8)
  %62 = call noundef double @_ZNK3ipx9Crossover9time_dualEv(ptr noundef nonnull align 8 dereferenceable(40) %8)
  %63 = fadd double %61, %62
  %64 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 1
  %65 = getelementptr inbounds %struct.ipx_info, ptr %64, i32 0, i32 45
  store double %63, ptr %65, align 8, !tbaa !11
  %66 = call noundef i32 @_ZNK3ipx9Crossover13primal_pivotsEv(ptr noundef nonnull align 8 dereferenceable(40) %8)
  %67 = call noundef i32 @_ZNK3ipx9Crossover11dual_pivotsEv(ptr noundef nonnull align 8 dereferenceable(40) %8)
  %68 = add nsw i32 %66, %67
  %69 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 1
  %70 = getelementptr inbounds %struct.ipx_info, ptr %69, i32 0, i32 40
  store i32 %68, ptr %70, align 8, !tbaa !14
  %71 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 1
  %72 = getelementptr inbounds %struct.ipx_info, ptr %71, i32 0, i32 2
  %73 = load i32, ptr %72, align 8, !tbaa !15
  %74 = icmp ne i32 %73, 1
  br i1 %74, label %75, label %79

75:                                               ; preds = %52
  %76 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 5
  call void @_ZNSt8valarrayIdE6resizeEmd(ptr noundef nonnull align 8 dereferenceable(16) %76, i64 noundef 0, double noundef 0.000000e+00)
  %77 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 6
  call void @_ZNSt8valarrayIdE6resizeEmd(ptr noundef nonnull align 8 dereferenceable(16) %77, i64 noundef 0, double noundef 0.000000e+00)
  %78 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 7
  call void @_ZNSt8valarrayIdE6resizeEmd(ptr noundef nonnull align 8 dereferenceable(16) %78, i64 noundef 0, double noundef 0.000000e+00)
  store i32 1, ptr %9, align 4
  br label %277

79:                                               ; preds = %52
  %80 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 4
  %81 = call noundef ptr @_ZNKSt10unique_ptrIN3ipx5BasisESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %80) #7
  %82 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 5
  %83 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 6
  %84 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 7
  call void @_ZNK3ipx5Basis20ComputeBasicSolutionERSt8valarrayIdES3_S3_(ptr noundef nonnull align 8 dereferenceable(176) %81, ptr noundef nonnull align 8 dereferenceable(16) %82, ptr noundef nonnull align 8 dereferenceable(16) %83, ptr noundef nonnull align 8 dereferenceable(16) %84)
  %85 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 9
  %86 = load i32, ptr %4, align 4, !tbaa !9
  %87 = load i32, ptr %3, align 4, !tbaa !9
  %88 = add nsw i32 %86, %87
  %89 = sext i32 %88 to i64
  call void @_ZNSt6vectorIiSaIiEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %85, i64 noundef %89)
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #7
  store i64 0, ptr %10, align 8, !tbaa !16
  br label %90

90:                                               ; preds = %163, %79
  %91 = load i64, ptr %10, align 8, !tbaa !16
  %92 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 9
  %93 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %92) #7
  %94 = icmp ult i64 %91, %93
  br i1 %94, label %96, label %95

95:                                               ; preds = %90
  store i32 2, ptr %9, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #7
  br label %166

96:                                               ; preds = %90
  %97 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 4
  %98 = call noundef ptr @_ZNKSt10unique_ptrIN3ipx5BasisESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %97) #7
  %99 = load i64, ptr %10, align 8, !tbaa !16
  %100 = trunc i64 %99 to i32
  %101 = call noundef zeroext i1 @_ZNK3ipx5Basis7IsBasicEi(ptr noundef nonnull align 8 dereferenceable(176) %98, i32 noundef %100)
  br i1 %101, label %102, label %106

102:                                              ; preds = %96
  %103 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 9
  %104 = load i64, ptr %10, align 8, !tbaa !16
  %105 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %103, i64 noundef %104) #7
  store i32 0, ptr %105, align 4, !tbaa !9
  br label %162

106:                                              ; preds = %96
  %107 = load ptr, ptr %5, align 8, !tbaa !5
  %108 = load i64, ptr %10, align 8, !tbaa !16
  %109 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %107, i64 noundef %108) #7
  %110 = load double, ptr %109, align 8, !tbaa !18
  %111 = load ptr, ptr %6, align 8, !tbaa !5
  %112 = load i64, ptr %10, align 8, !tbaa !16
  %113 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %111, i64 noundef %112) #7
  %114 = load double, ptr %113, align 8, !tbaa !18
  %115 = fcmp oeq double %110, %114
  br i1 %115, label %116, label %127

116:                                              ; preds = %106
  %117 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 7
  %118 = load i64, ptr %10, align 8, !tbaa !16
  %119 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %117, i64 noundef %118) #7
  %120 = load double, ptr %119, align 8, !tbaa !18
  %121 = fcmp oge double %120, 0.000000e+00
  %122 = zext i1 %121 to i64
  %123 = select i1 %121, i32 -1, i32 -2
  %124 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 9
  %125 = load i64, ptr %10, align 8, !tbaa !16
  %126 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %124, i64 noundef %125) #7
  store i32 %123, ptr %126, align 4, !tbaa !9
  br label %161

127:                                              ; preds = %106
  %128 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 5
  %129 = load i64, ptr %10, align 8, !tbaa !16
  %130 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %128, i64 noundef %129) #7
  %131 = load double, ptr %130, align 8, !tbaa !18
  %132 = load ptr, ptr %5, align 8, !tbaa !5
  %133 = load i64, ptr %10, align 8, !tbaa !16
  %134 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %132, i64 noundef %133) #7
  %135 = load double, ptr %134, align 8, !tbaa !18
  %136 = fcmp oeq double %131, %135
  br i1 %136, label %137, label %141

137:                                              ; preds = %127
  %138 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 9
  %139 = load i64, ptr %10, align 8, !tbaa !16
  %140 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %138, i64 noundef %139) #7
  store i32 -1, ptr %140, align 4, !tbaa !9
  br label %160

141:                                              ; preds = %127
  %142 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 5
  %143 = load i64, ptr %10, align 8, !tbaa !16
  %144 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %142, i64 noundef %143) #7
  %145 = load double, ptr %144, align 8, !tbaa !18
  %146 = load ptr, ptr %6, align 8, !tbaa !5
  %147 = load i64, ptr %10, align 8, !tbaa !16
  %148 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %146, i64 noundef %147) #7
  %149 = load double, ptr %148, align 8, !tbaa !18
  %150 = fcmp oeq double %145, %149
  br i1 %150, label %151, label %155

151:                                              ; preds = %141
  %152 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 9
  %153 = load i64, ptr %10, align 8, !tbaa !16
  %154 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %152, i64 noundef %153) #7
  store i32 -2, ptr %154, align 4, !tbaa !9
  br label %159

155:                                              ; preds = %141
  %156 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 9
  %157 = load i64, ptr %10, align 8, !tbaa !16
  %158 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %156, i64 noundef %157) #7
  store i32 -3, ptr %158, align 4, !tbaa !9
  br label %159

159:                                              ; preds = %155, %151
  br label %160

160:                                              ; preds = %159, %137
  br label %161

161:                                              ; preds = %160, %116
  br label %162

162:                                              ; preds = %161, %102
  br label %163

163:                                              ; preds = %162
  %164 = load i64, ptr %10, align 8, !tbaa !16
  %165 = add i64 %164, 1
  store i64 %165, ptr %10, align 8, !tbaa !16
  br label %90, !llvm.loop !19

166:                                              ; preds = %95
  %167 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 0
  %168 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3ipx7Control5DebugEi(ptr noundef nonnull align 8 dereferenceable(1496) %167, i32 noundef 1)
  call void @llvm.lifetime.start.p0(i64 32, ptr %11) #7
  call void @_ZN3ipx8TextlineIA35_cEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %11, ptr noundef nonnull align 1 dereferenceable(35) @.str.38)
  %169 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8) %168, ptr noundef nonnull align 8 dereferenceable(32) %11)
          to label %170 unwind label %228

170:                                              ; preds = %166
  call void @llvm.lifetime.start.p0(i64 32, ptr %14) #7
  %171 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 2
  %172 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 5
  %173 = invoke noundef double @_ZN3ipx19PrimalInfeasibilityERKNS_5ModelERKSt8valarrayIdE(ptr noundef nonnull align 8 dereferenceable(704) %171, ptr noundef nonnull align 8 dereferenceable(16) %172)
          to label %174 unwind label %232

174:                                              ; preds = %170
  invoke void @_ZN3ipx4sci2B5cxx11Ed(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %14, double noundef %173)
          to label %175 unwind label %232

175:                                              ; preds = %174
  %176 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8) %169, ptr noundef nonnull align 8 dereferenceable(32) %14)
          to label %177 unwind label %236

177:                                              ; preds = %175
  %178 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %176, i8 noundef signext 10)
          to label %179 unwind label %236

179:                                              ; preds = %177
  call void @llvm.lifetime.start.p0(i64 32, ptr %15) #7
  invoke void @_ZN3ipx8TextlineIA39_cEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %15, ptr noundef nonnull align 1 dereferenceable(39) @.str.39)
          to label %180 unwind label %240

180:                                              ; preds = %179
  %181 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8) %178, ptr noundef nonnull align 8 dereferenceable(32) %15)
          to label %182 unwind label %244

182:                                              ; preds = %180
  call void @llvm.lifetime.start.p0(i64 32, ptr %16) #7
  %183 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 2
  %184 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 5
  %185 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 7
  %186 = invoke noundef double @_ZN3ipx17DualInfeasibilityERKNS_5ModelERKSt8valarrayIdES6_(ptr noundef nonnull align 8 dereferenceable(704) %183, ptr noundef nonnull align 8 dereferenceable(16) %184, ptr noundef nonnull align 8 dereferenceable(16) %185)
          to label %187 unwind label %248

187:                                              ; preds = %182
  invoke void @_ZN3ipx4sci2B5cxx11Ed(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %16, double noundef %186)
          to label %188 unwind label %248

188:                                              ; preds = %187
  %189 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8) %181, ptr noundef nonnull align 8 dereferenceable(32) %16)
          to label %190 unwind label %252

190:                                              ; preds = %188
  %191 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %189, i8 noundef signext 10)
          to label %192 unwind label %252

192:                                              ; preds = %190
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %15) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %14) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %11) #7
  %193 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 0
  %194 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3ipx7Control5DebugEi(ptr noundef nonnull align 8 dereferenceable(1496) %193, i32 noundef 1)
  call void @llvm.lifetime.start.p0(i64 32, ptr %17) #7
  call void @_ZN3ipx8TextlineIA40_cEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %17, ptr noundef nonnull align 1 dereferenceable(40) @.str.40)
  %195 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8) %194, ptr noundef nonnull align 8 dereferenceable(32) %17)
          to label %196 unwind label %262

196:                                              ; preds = %192
  call void @llvm.lifetime.start.p0(i64 32, ptr %18) #7
  %197 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 4
  %198 = call noundef ptr @_ZNKSt10unique_ptrIN3ipx5BasisESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %197) #7
  %199 = invoke noundef double @_ZNK3ipx5Basis16MinSingularValueEv(ptr noundef nonnull align 8 dereferenceable(176) %198)
          to label %200 unwind label %266

200:                                              ; preds = %196
  invoke void @_ZN3ipx4sci2B5cxx11Ed(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %18, double noundef %199)
          to label %201 unwind label %266

201:                                              ; preds = %200
  %202 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8) %195, ptr noundef nonnull align 8 dereferenceable(32) %18)
          to label %203 unwind label %270

203:                                              ; preds = %201
  %204 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %202, i8 noundef signext 10)
          to label %205 unwind label %270

205:                                              ; preds = %203
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %18) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %17) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %17) #7
  %206 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 2
  %207 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 5
  %208 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 6
  %209 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 7
  %210 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 9
  %211 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 1
  call void @_ZNK3ipx5Model21EvaluateBasicSolutionERKSt8valarrayIdES4_S4_RKSt6vectorIiSaIiEEPNS_4InfoE(ptr noundef nonnull align 8 dereferenceable(704) %206, ptr noundef nonnull align 8 dereferenceable(16) %207, ptr noundef nonnull align 8 dereferenceable(16) %208, ptr noundef nonnull align 8 dereferenceable(16) %209, ptr noundef nonnull align 8 dereferenceable(24) %210, ptr noundef %211)
  %212 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 1
  %213 = getelementptr inbounds %struct.ipx_info, ptr %212, i32 0, i32 32
  %214 = load double, ptr %213, align 8, !tbaa !21
  %215 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 0
  %216 = call noundef double @_ZNK3ipx7Control16pfeasibility_tolEv(ptr noundef nonnull align 8 dereferenceable(1496) %215)
  %217 = fcmp ogt double %214, %216
  br i1 %217, label %225, label %218

218:                                              ; preds = %205
  %219 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 1
  %220 = getelementptr inbounds %struct.ipx_info, ptr %219, i32 0, i32 33
  %221 = load double, ptr %220, align 8, !tbaa !22
  %222 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 0
  %223 = call noundef double @_ZNK3ipx7Control16dfeasibility_tolEv(ptr noundef nonnull align 8 dereferenceable(1496) %222)
  %224 = fcmp ogt double %221, %223
  br i1 %224, label %225, label %276

225:                                              ; preds = %218, %205
  %226 = getelementptr inbounds %"class.ipx::LpSolver", ptr %19, i32 0, i32 1
  %227 = getelementptr inbounds %struct.ipx_info, ptr %226, i32 0, i32 2
  store i32 2, ptr %227, align 8, !tbaa !15
  br label %276

228:                                              ; preds = %166
  %229 = landingpad { ptr, i32 }
          cleanup
  %230 = extractvalue { ptr, i32 } %229, 0
  store ptr %230, ptr %12, align 8
  %231 = extractvalue { ptr, i32 } %229, 1
  store i32 %231, ptr %13, align 4
  br label %261

232:                                              ; preds = %174, %170
  %233 = landingpad { ptr, i32 }
          cleanup
  %234 = extractvalue { ptr, i32 } %233, 0
  store ptr %234, ptr %12, align 8
  %235 = extractvalue { ptr, i32 } %233, 1
  store i32 %235, ptr %13, align 4
  br label %260

236:                                              ; preds = %177, %175
  %237 = landingpad { ptr, i32 }
          cleanup
  %238 = extractvalue { ptr, i32 } %237, 0
  store ptr %238, ptr %12, align 8
  %239 = extractvalue { ptr, i32 } %237, 1
  store i32 %239, ptr %13, align 4
  br label %259

240:                                              ; preds = %179
  %241 = landingpad { ptr, i32 }
          cleanup
  %242 = extractvalue { ptr, i32 } %241, 0
  store ptr %242, ptr %12, align 8
  %243 = extractvalue { ptr, i32 } %241, 1
  store i32 %243, ptr %13, align 4
  br label %258

244:                                              ; preds = %180
  %245 = landingpad { ptr, i32 }
          cleanup
  %246 = extractvalue { ptr, i32 } %245, 0
  store ptr %246, ptr %12, align 8
  %247 = extractvalue { ptr, i32 } %245, 1
  store i32 %247, ptr %13, align 4
  br label %257

248:                                              ; preds = %187, %182
  %249 = landingpad { ptr, i32 }
          cleanup
  %250 = extractvalue { ptr, i32 } %249, 0
  store ptr %250, ptr %12, align 8
  %251 = extractvalue { ptr, i32 } %249, 1
  store i32 %251, ptr %13, align 4
  br label %256

252:                                              ; preds = %190, %188
  %253 = landingpad { ptr, i32 }
          cleanup
  %254 = extractvalue { ptr, i32 } %253, 0
  store ptr %254, ptr %12, align 8
  %255 = extractvalue { ptr, i32 } %253, 1
  store i32 %255, ptr %13, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #7
  br label %256

256:                                              ; preds = %252, %248
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #7
  br label %257

257:                                              ; preds = %256, %244
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #7
  br label %258

258:                                              ; preds = %257, %240
  call void @llvm.lifetime.end.p0(i64 32, ptr %15) #7
  br label %259

259:                                              ; preds = %258, %236
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #7
  br label %260

260:                                              ; preds = %259, %232
  call void @llvm.lifetime.end.p0(i64 32, ptr %14) #7
  br label %261

261:                                              ; preds = %260, %228
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %11) #7
  br label %280

262:                                              ; preds = %192
  %263 = landingpad { ptr, i32 }
          cleanup
  %264 = extractvalue { ptr, i32 } %263, 0
  store ptr %264, ptr %12, align 8
  %265 = extractvalue { ptr, i32 } %263, 1
  store i32 %265, ptr %13, align 4
  br label %275

266:                                              ; preds = %200, %196
  %267 = landingpad { ptr, i32 }
          cleanup
  %268 = extractvalue { ptr, i32 } %267, 0
  store ptr %268, ptr %12, align 8
  %269 = extractvalue { ptr, i32 } %267, 1
  store i32 %269, ptr %13, align 4
  br label %274

270:                                              ; preds = %203, %201
  %271 = landingpad { ptr, i32 }
          cleanup
  %272 = extractvalue { ptr, i32 } %271, 0
  store ptr %272, ptr %12, align 8
  %273 = extractvalue { ptr, i32 } %271, 1
  store i32 %273, ptr %13, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #7
  br label %274

274:                                              ; preds = %270, %266
  call void @llvm.lifetime.end.p0(i64 32, ptr %18) #7
  br label %275

275:                                              ; preds = %274, %262
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %17) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %17) #7
  br label %280

276:                                              ; preds = %225, %218
  store i32 0, ptr %9, align 4
  br label %277

277:                                              ; preds = %276, %75
  call void @llvm.lifetime.end.p0(i64 40, 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
  %278 = load i32, ptr %9, align 4
  switch i32 %278, label %286 [
    i32 0, label %279
    i32 1, label %279
  ]

279:                                              ; preds = %277, %277
  ret void

280:                                              ; preds = %275, %261
  call void @llvm.lifetime.end.p0(i64 40, 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
  br label %281

281:                                              ; preds = %280
  %282 = load ptr, ptr %12, align 8
  %283 = load i32, ptr %13, align 4
  %284 = insertvalue { ptr, i32 } poison, ptr %282, 0
  %285 = insertvalue { ptr, i32 } %284, i32 %283, 1
  resume { ptr, i32 } %285

286:                                              ; preds = %277
  unreachable
}

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

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

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3ipx7Control5DebugEi(ptr noundef nonnull align 8 dereferenceable(1496), i32 noundef) #5

; 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) #6 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) #6 align 2

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

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

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

declare void @_ZN3ipx9CrossoverC1ERKNS_7ControlE(ptr noundef nonnull align 8 dereferenceable(40), ptr noundef nonnull align 8 dereferenceable(1496)) unnamed_addr #5

declare void @_ZN3ipx9Crossover7PushAllEPNS_5BasisERSt8valarrayIdES5_S5_PKdPNS_4InfoE(ptr noundef nonnull align 8 dereferenceable(40), ptr noundef, ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef, ptr noundef) #5

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef double @_ZNK3ipx9Crossover11time_primalEv(ptr noundef nonnull align 8 dereferenceable(40)) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef double @_ZNK3ipx9Crossover9time_dualEv(ptr noundef nonnull align 8 dereferenceable(40)) #1 align 2

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

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

declare void @_ZNK3ipx5Basis20ComputeBasicSolutionERSt8valarrayIdES3_S3_(ptr noundef nonnull align 8 dereferenceable(176), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) #5

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK3ipx5Basis7IsBasicEi(ptr noundef nonnull align 8 dereferenceable(176), i32 noundef) #2 align 2

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3ipx8TextlineIA35_cEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 1 dereferenceable(35)) #4

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN3ipx4sci2B5cxx11Ed(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, double noundef) #2

declare noundef double @_ZN3ipx19PrimalInfeasibilityERKNS_5ModelERKSt8valarrayIdE(ptr noundef nonnull align 8 dereferenceable(704), ptr noundef nonnull align 8 dereferenceable(16)) #5

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3ipx8TextlineIA39_cEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 1 dereferenceable(39)) #4

declare noundef double @_ZN3ipx17DualInfeasibilityERKNS_5ModelERKSt8valarrayIdES6_(ptr noundef nonnull align 8 dereferenceable(704), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) #5

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3ipx8TextlineIA40_cEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 1 dereferenceable(40)) #4

declare noundef double @_ZNK3ipx5Basis16MinSingularValueEv(ptr noundef nonnull align 8 dereferenceable(176)) #5

declare void @_ZNK3ipx5Model21EvaluateBasicSolutionERKSt8valarrayIdES4_S4_RKSt6vectorIiSaIiEEPNS_4InfoE(ptr noundef nonnull align 8 dereferenceable(704), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef) #5

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef double @_ZNK3ipx7Control16pfeasibility_tolEv(ptr noundef nonnull align 8 dereferenceable(1496)) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef double @_ZNK3ipx7Control16dfeasibility_tolEv(ptr noundef nonnull align 8 dereferenceable(1496)) #1 align 2

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 = { 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 #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 = { 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 #5 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { 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, !13, i64 256}
!12 = !{!"_ZTS8ipx_info", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !10, i64 20, !10, i64 24, !10, i64 28, !10, i64 32, !10, i64 36, !10, i64 40, !10, i64 44, !10, i64 48, !10, i64 52, !10, i64 56, !10, i64 60, !10, i64 64, !10, i64 68, !10, i64 72, !10, i64 76, !13, i64 80, !13, i64 88, !13, i64 96, !13, i64 104, !13, i64 112, !13, i64 120, !13, i64 128, !13, i64 136, !13, i64 144, !13, i64 152, !13, i64 160, !13, i64 168, !13, i64 176, !13, i64 184, !10, i64 192, !10, i64 196, !10, i64 200, !10, i64 204, !10, i64 208, !10, i64 212, !10, i64 216, !13, i64 224, !13, i64 232, !13, i64 240, !13, i64 248, !13, i64 256, !13, i64 264, !13, i64 272, !13, i64 280, !13, i64 288, !13, i64 296, !13, i64 304, !13, i64 312, !13, i64 320, !13, i64 328, !13, i64 336, !13, i64 344, !13, i64 352, !13, i64 360, !13, i64 368, !13, i64 376, !13, i64 384, !13, i64 392, !13, i64 400, !13, i64 408, !10, i64 416, !10, i64 420, !10, i64 424, !10, i64 428, !13, i64 432, !13, i64 440, !13, i64 448, !13, i64 456}
!13 = !{!"double", !7, i64 0}
!14 = !{!12, !10, i64 216}
!15 = !{!12, !10, i64 8}
!16 = !{!17, !17, i64 0}
!17 = !{!"long", !7, i64 0}
!18 = !{!13, !13, i64 0}
!19 = distinct !{!19, !20}
!20 = !{!"llvm.loop.mustprogress"}
!21 = !{!12, !13, i64 176}
!22 = !{!12, !13, i64 184}


; 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.ipx::Crossover" = type { ptr, i32, i32, i32, i32, double, double }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }

@.str.14 = external hidden unnamed_addr constant [74 x i8], align 1
@.str.36 = external hidden unnamed_addr constant [7 x i8], align 1
@__PRETTY_FUNCTION__._ZN3ipx8LpSolver12RunCrossoverEv = external hidden unnamed_addr constant [35 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.39 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [40 x i8], align 1

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

declare i32 @__gxx_personality_v0(...)

; Function Attrs: mustprogress 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 void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #1 align 2

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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN3ipx8LpSolver12RunCrossoverEv(ptr noundef nonnull align 8 dereferenceable(2864) %0) local_unnamed_addr #4 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca %"class.ipx::Crossover", align 8
  %3 = alloca %"class.std::__cxx11::basic_string", align 8
  %4 = alloca %"class.std::__cxx11::basic_string", align 8
  %5 = alloca %"class.std::__cxx11::basic_string", align 8
  %6 = alloca %"class.std::__cxx11::basic_string", align 8
  %7 = alloca %"class.std::__cxx11::basic_string", align 8
  %8 = alloca %"class.std::__cxx11::basic_string", align 8
  %9 = getelementptr inbounds i8, ptr %0, i64 2672
  %10 = tail call noundef zeroext i1 @_ZNKSt10unique_ptrIN3ipx5BasisESt14default_deleteIS1_EEcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %9) #7
  br i1 %10, label %12, label %11

11:                                               ; preds = %1
  tail call void @__assert_fail(ptr noundef nonnull @.str.36, ptr noundef nonnull @.str.14, i32 noundef 585, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN3ipx8LpSolver12RunCrossoverEv) #8
  unreachable

12:                                               ; preds = %1
  %13 = getelementptr inbounds i8, ptr %0, i64 1960
  %14 = tail call noundef i32 @_ZNK3ipx5Model4rowsEv(ptr noundef nonnull align 8 dereferenceable(704) %13)
  %15 = tail call noundef i32 @_ZNK3ipx5Model4colsEv(ptr noundef nonnull align 8 dereferenceable(704) %13)
  %16 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3ipx5Model2lbEv(ptr noundef nonnull align 8 dereferenceable(704) %13)
  %17 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK3ipx5Model2ubEv(ptr noundef nonnull align 8 dereferenceable(704) %13)
  %18 = getelementptr inbounds i8, ptr %0, i64 2744
  tail call void @_ZNSt6vectorIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %18) #7
  %19 = getelementptr inbounds i8, ptr %0, i64 2728
  %20 = tail call noundef i64 @_ZNKSt8valarrayIdE4sizeEv(ptr noundef nonnull align 8 dereferenceable(16) %19)
  %.not = icmp eq i64 %20, 0
  br i1 %.not, label %29, label %21

21:                                               ; preds = %12
  %22 = tail call noundef i64 @_ZNKSt8valarrayIdE4sizeEv(ptr noundef nonnull align 8 dereferenceable(16) %19)
  %23 = trunc i64 %22 to i32
  %24 = add nsw i32 %15, %14
  %25 = icmp eq i32 %24, %23
  br i1 %25, label %27, label %26

26:                                               ; preds = %21
  tail call void @__assert_fail(ptr noundef nonnull @.str.37, ptr noundef nonnull @.str.14, i32 noundef 594, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN3ipx8LpSolver12RunCrossoverEv) #8
  unreachable

27:                                               ; preds = %21
  %28 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %19, i64 noundef 0) #7
  br label %29

29:                                               ; preds = %27, %12
  %.036 = phi ptr [ %28, %27 ], [ null, %12 ]
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %2) #7
  call void @_ZN3ipx9CrossoverC1ERKNS_7ControlE(ptr noundef nonnull align 8 dereferenceable(40) %2, ptr noundef nonnull align 8 dereferenceable(1496) %0)
  %30 = call noundef ptr @_ZNKSt10unique_ptrIN3ipx5BasisESt14default_deleteIS1_EE3getEv(ptr noundef nonnull align 8 dereferenceable(8) %9) #7
  %31 = getelementptr inbounds i8, ptr %0, i64 2680
  %32 = getelementptr inbounds i8, ptr %0, i64 2696
  %33 = getelementptr inbounds i8, ptr %0, i64 2712
  %34 = getelementptr inbounds i8, ptr %0, i64 1496
  call void @_ZN3ipx9Crossover7PushAllEPNS_5BasisERSt8valarrayIdES5_S5_PKdPNS_4InfoE(ptr noundef nonnull align 8 dereferenceable(40) %2, ptr noundef %30, ptr noundef nonnull align 8 dereferenceable(16) %31, ptr noundef nonnull align 8 dereferenceable(16) %32, ptr noundef nonnull align 8 dereferenceable(16) %33, ptr noundef %.036, ptr noundef nonnull %34)
  %35 = call noundef double @_ZNK3ipx9Crossover11time_primalEv(ptr noundef nonnull align 8 dereferenceable(40) %2)
  %36 = call noundef double @_ZNK3ipx9Crossover9time_dualEv(ptr noundef nonnull align 8 dereferenceable(40) %2)
  %37 = fadd double %35, %36
  %38 = getelementptr inbounds i8, ptr %0, i64 1752
  store double %37, ptr %38, align 8, !tbaa !5
  %39 = call noundef i32 @_ZNK3ipx9Crossover13primal_pivotsEv(ptr noundef nonnull align 8 dereferenceable(40) %2)
  %40 = call noundef i32 @_ZNK3ipx9Crossover11dual_pivotsEv(ptr noundef nonnull align 8 dereferenceable(40) %2)
  %41 = add nsw i32 %40, %39
  %42 = getelementptr inbounds i8, ptr %0, i64 1712
  store i32 %41, ptr %42, align 8, !tbaa !11
  %43 = getelementptr inbounds i8, ptr %0, i64 1504
  %44 = load i32, ptr %43, align 8, !tbaa !12
  %.not37 = icmp eq i32 %44, 1
  br i1 %.not37, label %46, label %45

45:                                               ; preds = %29
  call void @_ZNSt8valarrayIdE6resizeEmd(ptr noundef nonnull align 8 dereferenceable(16) %31, i64 noundef 0, double noundef 0.000000e+00)
  call void @_ZNSt8valarrayIdE6resizeEmd(ptr noundef nonnull align 8 dereferenceable(16) %32, i64 noundef 0, double noundef 0.000000e+00)
  call void @_ZNSt8valarrayIdE6resizeEmd(ptr noundef nonnull align 8 dereferenceable(16) %33, i64 noundef 0, double noundef 0.000000e+00)
  br label %158

46:                                               ; preds = %29
  %47 = call noundef ptr @_ZNKSt10unique_ptrIN3ipx5BasisESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %9) #7
  call void @_ZNK3ipx5Basis20ComputeBasicSolutionERSt8valarrayIdES3_S3_(ptr noundef nonnull align 8 dereferenceable(176) %47, ptr noundef nonnull align 8 dereferenceable(16) %31, ptr noundef nonnull align 8 dereferenceable(16) %32, ptr noundef nonnull align 8 dereferenceable(16) %33)
  %48 = add nsw i32 %15, %14
  %49 = sext i32 %48 to i64
  call void @_ZNSt6vectorIiSaIiEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %49)
  %50 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %18) #7
  %.not49 = icmp eq i64 %50, 0
  br i1 %.not49, label %._crit_edge, label %.lr.ph

._crit_edge:                                      ; preds = %87, %46
  %51 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3ipx7Control5DebugEi(ptr noundef nonnull align 8 dereferenceable(1496) %0, i32 noundef 1)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %3) #7
  call void @_ZN3ipx8TextlineIA35_cEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %3, ptr noundef nonnull align 1 dereferenceable(35) @.str.38)
  %52 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8) %51, ptr noundef nonnull align 8 dereferenceable(32) %3)
          to label %91 unwind label %130

.lr.ph:                                           ; preds = %46, %87
  %.03548 = phi i64 [ %88, %87 ], [ 0, %46 ]
  %53 = call noundef ptr @_ZNKSt10unique_ptrIN3ipx5BasisESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %9) #7
  %54 = trunc i64 %.03548 to i32
  %55 = call noundef zeroext i1 @_ZNK3ipx5Basis7IsBasicEi(ptr noundef nonnull align 8 dereferenceable(176) %53, i32 noundef %54)
  br i1 %55, label %56, label %58

56:                                               ; preds = %.lr.ph
  %57 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %.03548) #7
  store i32 0, ptr %57, align 4, !tbaa !13
  br label %87

58:                                               ; preds = %.lr.ph
  %59 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %16, i64 noundef %.03548) #7
  %60 = load double, ptr %59, align 8, !tbaa !14
  %61 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %17, i64 noundef %.03548) #7
  %62 = load double, ptr %61, align 8, !tbaa !14
  %63 = fcmp oeq double %60, %62
  br i1 %63, label %64, label %70

64:                                               ; preds = %58
  %65 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %33, i64 noundef %.03548) #7
  %66 = load double, ptr %65, align 8, !tbaa !14
  %67 = fcmp oge double %66, 0.000000e+00
  %68 = select i1 %67, i32 -1, i32 -2
  %69 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %.03548) #7
  store i32 %68, ptr %69, align 4, !tbaa !13
  br label %87

70:                                               ; preds = %58
  %71 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %31, i64 noundef %.03548) #7
  %72 = load double, ptr %71, align 8, !tbaa !14
  %73 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %16, i64 noundef %.03548) #7
  %74 = load double, ptr %73, align 8, !tbaa !14
  %75 = fcmp oeq double %72, %74
  br i1 %75, label %76, label %78

76:                                               ; preds = %70
  %77 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %.03548) #7
  store i32 -1, ptr %77, align 4, !tbaa !13
  br label %87

78:                                               ; preds = %70
  %79 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %31, i64 noundef %.03548) #7
  %80 = load double, ptr %79, align 8, !tbaa !14
  %81 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %17, i64 noundef %.03548) #7
  %82 = load double, ptr %81, align 8, !tbaa !14
  %83 = fcmp oeq double %80, %82
  %84 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %.03548) #7
  br i1 %83, label %85, label %86

85:                                               ; preds = %78
  store i32 -2, ptr %84, align 4, !tbaa !13
  br label %87

86:                                               ; preds = %78
  store i32 -3, ptr %84, align 4, !tbaa !13
  br label %87

87:                                               ; preds = %56, %76, %86, %85, %64
  %88 = add nuw i64 %.03548, 1
  %89 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %18) #7
  %90 = icmp ult i64 %88, %89
  br i1 %90, label %.lr.ph, label %._crit_edge, !llvm.loop !15

91:                                               ; preds = %._crit_edge
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %4) #7
  %92 = invoke noundef double @_ZN3ipx19PrimalInfeasibilityERKNS_5ModelERKSt8valarrayIdE(ptr noundef nonnull align 8 dereferenceable(704) %13, ptr noundef nonnull align 8 dereferenceable(16) %31)
          to label %93 unwind label %132

93:                                               ; preds = %91
  invoke void @_ZN3ipx4sci2B5cxx11Ed(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %4, double noundef %92)
          to label %94 unwind label %132

94:                                               ; preds = %93
  %95 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8) %52, ptr noundef nonnull align 8 dereferenceable(32) %4)
          to label %96 unwind label %134

96:                                               ; preds = %94
  %97 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %95, i8 noundef signext 10)
          to label %98 unwind label %134

98:                                               ; preds = %96
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %5) #7
  invoke void @_ZN3ipx8TextlineIA39_cEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %5, ptr noundef nonnull align 1 dereferenceable(39) @.str.39)
          to label %99 unwind label %136

99:                                               ; preds = %98
  %100 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8) %97, ptr noundef nonnull align 8 dereferenceable(32) %5)
          to label %101 unwind label %138

101:                                              ; preds = %99
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %6) #7
  %102 = invoke noundef double @_ZN3ipx17DualInfeasibilityERKNS_5ModelERKSt8valarrayIdES6_(ptr noundef nonnull align 8 dereferenceable(704) %13, ptr noundef nonnull align 8 dereferenceable(16) %31, ptr noundef nonnull align 8 dereferenceable(16) %33)
          to label %103 unwind label %140

103:                                              ; preds = %101
  invoke void @_ZN3ipx4sci2B5cxx11Ed(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %6, double noundef %102)
          to label %104 unwind label %140

104:                                              ; preds = %103
  %105 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8) %100, ptr noundef nonnull align 8 dereferenceable(32) %6)
          to label %106 unwind label %142

106:                                              ; preds = %104
  %107 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %105, i8 noundef signext 10)
          to label %108 unwind label %142

108:                                              ; preds = %106
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %6) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %5) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %4) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %3) #7
  %109 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3ipx7Control5DebugEi(ptr noundef nonnull align 8 dereferenceable(1496) %0, i32 noundef 1)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %7) #7
  call void @_ZN3ipx8TextlineIA40_cEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %7, ptr noundef nonnull align 1 dereferenceable(40) @.str.40)
  %110 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8) %109, ptr noundef nonnull align 8 dereferenceable(32) %7)
          to label %111 unwind label %150

111:                                              ; preds = %108
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %8) #7
  %112 = call noundef ptr @_ZNKSt10unique_ptrIN3ipx5BasisESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %9) #7
  %113 = invoke noundef double @_ZNK3ipx5Basis16MinSingularValueEv(ptr noundef nonnull align 8 dereferenceable(176) %112)
          to label %114 unwind label %152

114:                                              ; preds = %111
  invoke void @_ZN3ipx4sci2B5cxx11Ed(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %8, double noundef %113)
          to label %115 unwind label %152

115:                                              ; preds = %114
  %116 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8) %110, ptr noundef nonnull align 8 dereferenceable(32) %8)
          to label %117 unwind label %154

117:                                              ; preds = %115
  %118 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %116, i8 noundef signext 10)
          to label %119 unwind label %154

119:                                              ; preds = %117
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %8) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %7) #7
  call void @_ZNK3ipx5Model21EvaluateBasicSolutionERKSt8valarrayIdES4_S4_RKSt6vectorIiSaIiEEPNS_4InfoE(ptr noundef nonnull align 8 dereferenceable(704) %13, ptr noundef nonnull align 8 dereferenceable(16) %31, ptr noundef nonnull align 8 dereferenceable(16) %32, ptr noundef nonnull align 8 dereferenceable(16) %33, ptr noundef nonnull align 8 dereferenceable(24) %18, ptr noundef nonnull %34)
  %120 = getelementptr inbounds i8, ptr %0, i64 1672
  %121 = load double, ptr %120, align 8, !tbaa !17
  %122 = call noundef double @_ZNK3ipx7Control16pfeasibility_tolEv(ptr noundef nonnull align 8 dereferenceable(1496) %0)
  %123 = fcmp ogt double %121, %122
  br i1 %123, label %129, label %124

124:                                              ; preds = %119
  %125 = getelementptr inbounds i8, ptr %0, i64 1680
  %126 = load double, ptr %125, align 8, !tbaa !18
  %127 = call noundef double @_ZNK3ipx7Control16dfeasibility_tolEv(ptr noundef nonnull align 8 dereferenceable(1496) %0)
  %128 = fcmp ogt double %126, %127
  br i1 %128, label %129, label %158

129:                                              ; preds = %124, %119
  store i32 2, ptr %43, align 8, !tbaa !12
  br label %158

130:                                              ; preds = %._crit_edge
  %131 = landingpad { ptr, i32 }
          cleanup
  br label %149

132:                                              ; preds = %93, %91
  %133 = landingpad { ptr, i32 }
          cleanup
  br label %148

134:                                              ; preds = %96, %94
  %135 = landingpad { ptr, i32 }
          cleanup
  br label %147

136:                                              ; preds = %98
  %137 = landingpad { ptr, i32 }
          cleanup
  br label %146

138:                                              ; preds = %99
  %139 = landingpad { ptr, i32 }
          cleanup
  br label %145

140:                                              ; preds = %103, %101
  %141 = landingpad { ptr, i32 }
          cleanup
  br label %144

142:                                              ; preds = %106, %104
  %143 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #7
  br label %144

144:                                              ; preds = %142, %140
  %.pn = phi { ptr, i32 } [ %143, %142 ], [ %141, %140 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %6) #7
  br label %145

145:                                              ; preds = %144, %138
  %.pn.pn = phi { ptr, i32 } [ %.pn, %144 ], [ %139, %138 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #7
  br label %146

146:                                              ; preds = %145, %136
  %.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn, %145 ], [ %137, %136 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %5) #7
  br label %147

147:                                              ; preds = %146, %134
  %.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn.pn, %146 ], [ %135, %134 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #7
  br label %148

148:                                              ; preds = %147, %132
  %.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn.pn.pn, %147 ], [ %133, %132 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %4) #7
  br label %149

149:                                              ; preds = %148, %130
  %.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn.pn.pn.pn, %148 ], [ %131, %130 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %3) #7
  br label %159

150:                                              ; preds = %108
  %151 = landingpad { ptr, i32 }
          cleanup
  br label %157

152:                                              ; preds = %114, %111
  %153 = landingpad { ptr, i32 }
          cleanup
  br label %156

154:                                              ; preds = %117, %115
  %155 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #7
  br label %156

156:                                              ; preds = %154, %152
  %.pn44 = phi { ptr, i32 } [ %155, %154 ], [ %153, %152 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %8) #7
  br label %157

157:                                              ; preds = %156, %150
  %.pn44.pn = phi { ptr, i32 } [ %.pn44, %156 ], [ %151, %150 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %7) #7
  br label %159

158:                                              ; preds = %124, %129, %45
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %2) #7
  ret void

159:                                              ; preds = %157, %149
  %.pn44.pn.pn = phi { ptr, i32 } [ %.pn44.pn, %157 ], [ %.pn.pn.pn.pn.pn.pn, %149 ]
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %2) #7
  resume { ptr, i32 } %.pn44.pn.pn
}

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

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

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3ipx7Control5DebugEi(ptr noundef nonnull align 8 dereferenceable(1496), i32 noundef) local_unnamed_addr #5

; 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 #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)) local_unnamed_addr #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) local_unnamed_addr #6 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 #6 align 2

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

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

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

declare void @_ZN3ipx9CrossoverC1ERKNS_7ControlE(ptr noundef nonnull align 8 dereferenceable(40), ptr noundef nonnull align 8 dereferenceable(1496)) unnamed_addr #5

declare void @_ZN3ipx9Crossover7PushAllEPNS_5BasisERSt8valarrayIdES5_S5_PKdPNS_4InfoE(ptr noundef nonnull align 8 dereferenceable(40), ptr noundef, ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef, ptr noundef) local_unnamed_addr #5

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef double @_ZNK3ipx9Crossover11time_primalEv(ptr noundef nonnull align 8 dereferenceable(40)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef double @_ZNK3ipx9Crossover9time_dualEv(ptr noundef nonnull align 8 dereferenceable(40)) local_unnamed_addr #1 align 2

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

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

declare void @_ZNK3ipx5Basis20ComputeBasicSolutionERSt8valarrayIdES3_S3_(ptr noundef nonnull align 8 dereferenceable(176), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #5

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK3ipx5Basis7IsBasicEi(ptr noundef nonnull align 8 dereferenceable(176), i32 noundef) local_unnamed_addr #2 align 2

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3ipx8TextlineIA35_cEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 1 dereferenceable(35)) local_unnamed_addr #4

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN3ipx4sci2B5cxx11Ed(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, double noundef) local_unnamed_addr #2

declare noundef double @_ZN3ipx19PrimalInfeasibilityERKNS_5ModelERKSt8valarrayIdE(ptr noundef nonnull align 8 dereferenceable(704), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #5

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3ipx8TextlineIA39_cEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 1 dereferenceable(39)) local_unnamed_addr #4

declare noundef double @_ZN3ipx17DualInfeasibilityERKNS_5ModelERKSt8valarrayIdES6_(ptr noundef nonnull align 8 dereferenceable(704), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #5

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3ipx8TextlineIA40_cEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 1 dereferenceable(40)) local_unnamed_addr #4

declare noundef double @_ZNK3ipx5Basis16MinSingularValueEv(ptr noundef nonnull align 8 dereferenceable(176)) local_unnamed_addr #5

declare void @_ZNK3ipx5Model21EvaluateBasicSolutionERKSt8valarrayIdES4_S4_RKSt6vectorIiSaIiEEPNS_4InfoE(ptr noundef nonnull align 8 dereferenceable(704), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef) local_unnamed_addr #5

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef double @_ZNK3ipx7Control16pfeasibility_tolEv(ptr noundef nonnull align 8 dereferenceable(1496)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef double @_ZNK3ipx7Control16dfeasibility_tolEv(ptr noundef nonnull align 8 dereferenceable(1496)) local_unnamed_addr #1 align 2

attributes #0 = { mustprogress 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 = { 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 #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 = { 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 #5 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { 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, !10, i64 256}
!6 = !{!"_ZTS8ipx_info", !7, i64 0, !7, i64 4, !7, i64 8, !7, i64 12, !7, i64 16, !7, i64 20, !7, i64 24, !7, i64 28, !7, i64 32, !7, i64 36, !7, i64 40, !7, i64 44, !7, i64 48, !7, i64 52, !7, i64 56, !7, i64 60, !7, i64 64, !7, i64 68, !7, i64 72, !7, i64 76, !10, i64 80, !10, i64 88, !10, i64 96, !10, i64 104, !10, i64 112, !10, i64 120, !10, i64 128, !10, i64 136, !10, i64 144, !10, i64 152, !10, i64 160, !10, i64 168, !10, i64 176, !10, i64 184, !7, i64 192, !7, i64 196, !7, i64 200, !7, i64 204, !7, i64 208, !7, i64 212, !7, i64 216, !10, i64 224, !10, i64 232, !10, i64 240, !10, i64 248, !10, i64 256, !10, i64 264, !10, i64 272, !10, i64 280, !10, i64 288, !10, i64 296, !10, i64 304, !10, i64 312, !10, i64 320, !10, i64 328, !10, i64 336, !10, i64 344, !10, i64 352, !10, i64 360, !10, i64 368, !10, i64 376, !10, i64 384, !10, i64 392, !10, i64 400, !10, i64 408, !7, i64 416, !7, i64 420, !7, i64 424, !7, i64 428, !10, i64 432, !10, i64 440, !10, i64 448, !10, i64 456}
!7 = !{!"int", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"double", !8, i64 0}
!11 = !{!6, !7, i64 216}
!12 = !{!6, !7, i64 8}
!13 = !{!7, !7, i64 0}
!14 = !{!10, !10, i64 0}
!15 = distinct !{!15, !16}
!16 = !{!"llvm.loop.mustprogress"}
!17 = !{!6, !10, i64 176}
!18 = !{!6, !10, i64 184}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GlobalOptPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass