; LLVM IR from ERGO-Code/HiGHS :: src/simplex/HEkkDualRHS.ll (ZN11HEkkDualRHS25chooseMultiHyperGraphPartEPiS0_i)

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

%"class.std::vector.5" = type { %"struct.std::_Vector_base.6" }
%"struct.std::_Vector_base.6" = 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::allocator.7" = type { i8 }
%"class.std::vector.0" = type { %"struct.std::_Vector_base.1" }
%"struct.std::_Vector_base.1" = 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::allocator.2" = type { i8 }
%class.HEkkDualRHS = type { ptr, double, i32, %"class.std::vector", %"class.std::vector.0", %"class.std::vector.5", i32, i32, i32, i32, i32, %"class.std::vector.0", ptr }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = 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.HEkk = type { ptr, ptr, ptr, %class.HighsSimplexAnalysis, %class.HighsLp, %"class.std::__cxx11::basic_string", %struct.HighsSimplexStatus, [3 x i8], %struct.HighsSimplexInfo, i32, %struct.SimplexBasis, %class.HighsHashTable, %class.HighsRandom, %"class.std::vector.5", %"class.std::vector.5", i8, %class.HighsSparseMatrix, %class.HighsSparseMatrix, %class.HSimplexNla, %struct.HotStart, double, double, double, i32, i32, i32, i32, i8, i8, i32, i32, i32, %"class.std::vector.0", %"class.std::vector.5", %struct.HighsRayRecord, %struct.HighsRayRecord, i32, i32, i32, double, %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.0", double, double, double, i32, i32, i8, i32, i8, i8, i8, i8, double, %"class.std::vector.66", %"class.std::vector.5", %struct.HighsSimplexStats }
%class.HighsSimplexAnalysis = type { ptr, %"class.std::vector.10", %"class.std::vector.10", ptr, i32, i32, i32, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %struct.HighsLogOptions, i8, i8, i8, i8, i8, i8, i8, i32, i32, i32, i32, i32, i32, i32, i32, i32, %"class.std::__cxx11::basic_string", double, double, double, double, double, double, double, double, double, double, double, double, i32, i32, double, double, i32, double, double, i32, double, double, double, double, double, double, double, double, double, double, i32, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, [4 x i8], %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, i32, i32, i32, i32, double, double, i32, i32, i32, i32, i32, double, double, i32, double, double, i32, i32, double, double, %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.15", %"class.std::unique_ptr", i32, i32, i32, i32, double, double, double, double, double, double, double, double, double, double, i32, i32, double, double, double, i8, double, double, i32, i32, i32, i32, i32, double, double, double, double, double, double, double, double, double, i32, i32, [10 x %"struct.HighsSimplexAnalysis::AnIterOpRec"], i32, i32, [22 x %"struct.HighsSimplexAnalysis::AnIterTraceRec"], [12 x i32], [3 x i32], [4 x i8], %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution }
%"class.std::vector.10" = type { %"struct.std::_Vector_base.11" }
%"struct.std::_Vector_base.11" = type { %"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsLogOptions = type <{ ptr, ptr, ptr, ptr, ptr, ptr, %"class.std::function", ptr, i8, [7 x i8] }>
%"class.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%"class.std::vector.15" = type { %"struct.std::_Vector_base.16" }
%"struct.std::_Vector_base.16" = type { %"struct.std::_Vector_base<TranStageAnalysis, std::allocator<TranStageAnalysis>>::_Vector_impl" }
%"struct.std::_Vector_base<TranStageAnalysis, std::allocator<TranStageAnalysis>>::_Vector_impl" = type { %"struct.std::_Vector_base<TranStageAnalysis, std::allocator<TranStageAnalysis>>::_Vector_impl_data" }
%"struct.std::_Vector_base<TranStageAnalysis, std::allocator<TranStageAnalysis>>::_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.21" }
%"struct.std::_Head_base.21" = type { ptr }
%"struct.HighsSimplexAnalysis::AnIterOpRec" = type { double, double, i32, i32, i32, i32, double, i32, %"class.std::__cxx11::basic_string", %struct.HighsValueDistribution }
%"struct.HighsSimplexAnalysis::AnIterTraceRec" = type { double, double, [10 x double], double, i32, i32, i32 }
%struct.HighsValueDistribution = type <{ %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, i32, i32, [4 x i8], double, double, %"class.std::vector.5", %"class.std::vector.0", i32, [4 x i8] }>
%class.HighsLp = type { i32, i32, %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %class.HighsSparseMatrix, i32, double, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, i32, %"class.std::vector.22", %"class.std::vector.22", %"class.std::vector.27", %struct.HighsNameHash, %struct.HighsNameHash, i32, i32, %struct.HighsScale, i8, i8, i32, i8, %struct.HighsLpMods }
%"class.std::vector.22" = type { %"struct.std::_Vector_base.23" }
%"struct.std::_Vector_base.23" = type { %"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.27" = type { %"struct.std::_Vector_base.28" }
%"struct.std::_Vector_base.28" = type { %"struct.std::_Vector_base<HighsVarType, std::allocator<HighsVarType>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsVarType, std::allocator<HighsVarType>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsVarType, std::allocator<HighsVarType>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsVarType, std::allocator<HighsVarType>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsNameHash = type { %"class.std::unordered_map" }
%"class.std::unordered_map" = type { %"class.std::_Hashtable" }
%"class.std::_Hashtable" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"struct.std::__detail::_Hash_node_base" = type { ptr }
%"struct.std::__detail::_Prime_rehash_policy" = type { float, i64 }
%struct.HighsScale = type { i32, i8, i32, i32, double, %"class.std::vector.5", %"class.std::vector.5" }
%struct.HighsLpMods = type { %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.27", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5" }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%struct.HighsSimplexStatus = type { i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8 }
%struct.HighsSimplexInfo = type <{ %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", i32, i32, i8, i8, [6 x i8], %struct.SimplexBasis, i32, i32, i32, [4 x i8], %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.5", i32, i32, i32, i32, double, double, double, double, i32, i32, double, double, double, double, double, double, double, double, double, double, i8, [7 x i8], double, double, i32, [4 x i8], double, double, double, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i32, [4 x i8], double, double, i32, [4 x i8], double, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, i32, [4 x i8] }>
%struct.SimplexBasis = type { %"class.std::vector.0", %"class.std::vector.37", %"class.std::vector.37", i64, i32, i32, %"class.std::__cxx11::basic_string" }
%"class.std::vector.37" = type { %"struct.std::_Vector_base.38" }
%"struct.std::_Vector_base.38" = type { %"struct.std::_Vector_base<signed char, std::allocator<signed char>>::_Vector_impl" }
%"struct.std::_Vector_base<signed char, std::allocator<signed char>>::_Vector_impl" = type { %"struct.std::_Vector_base<signed char, std::allocator<signed char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<signed char, std::allocator<signed char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsHashTable = type { %"class.std::unique_ptr.42", %"class.std::unique_ptr.50", i64, i64, i64 }
%"class.std::unique_ptr.42" = type { %"struct.std::__uniq_ptr_data.43" }
%"struct.std::__uniq_ptr_data.43" = type { %"class.std::__uniq_ptr_impl.44" }
%"class.std::__uniq_ptr_impl.44" = type { %"class.std::tuple.45" }
%"class.std::tuple.45" = type { %"struct.std::_Tuple_impl.46" }
%"struct.std::_Tuple_impl.46" = type { %"struct.std::_Head_base.49" }
%"struct.std::_Head_base.49" = type { ptr }
%"class.std::unique_ptr.50" = type { %"struct.std::__uniq_ptr_data.51" }
%"struct.std::__uniq_ptr_data.51" = type { %"class.std::__uniq_ptr_impl.52" }
%"class.std::__uniq_ptr_impl.52" = type { %"class.std::tuple.53" }
%"class.std::tuple.53" = type { %"struct.std::_Tuple_impl.54" }
%"struct.std::_Tuple_impl.54" = type { %"struct.std::_Head_base.57" }
%"struct.std::_Head_base.57" = type { ptr }
%class.HighsRandom = type { i64 }
%class.HighsSparseMatrix = type { i32, i32, i32, %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5" }
%class.HSimplexNla = type { ptr, ptr, ptr, ptr, ptr, ptr, %class.HFactor, i8, double, %struct.ProductFormUpdate, %struct.SimplexIterate }
%class.HFactor = type { double, double, i32, %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %struct.RefactorInfo, i32, i32, i32, i32, i32, i32, i32, double, i8, ptr, ptr, ptr, ptr, double, double, i32, double, %"class.std::unique_ptr.58", %struct.HighsLogOptions, i8, i8, i32, i32, ptr, i32, %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", i32, i32, %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", %class.HVectorBase }
%struct.RefactorInfo = type { i8, %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.37", double }
%"class.std::unique_ptr.58" = type { %"struct.std::__uniq_ptr_data.59" }
%"struct.std::__uniq_ptr_data.59" = type { %"class.std::__uniq_ptr_impl.60" }
%"class.std::__uniq_ptr_impl.60" = type { %"class.std::tuple.61" }
%"class.std::tuple.61" = type { %"struct.std::_Tuple_impl.62" }
%"struct.std::_Tuple_impl.62" = type { %"struct.std::_Head_base.65" }
%"struct.std::_Head_base.65" = type { ptr }
%class.HVectorBase = type { i32, i32, %"class.std::vector.0", %"class.std::vector.5", double, %"class.std::vector", %"class.std::vector.0", ptr, i8, i32, %"class.std::vector.0", %"class.std::vector.5" }
%struct.ProductFormUpdate = type { i8, i32, i32, %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5" }
%struct.SimplexIterate = type { i8, %struct.SimplexBasis, %struct.InvertibleRepresentation, %"class.std::vector.5" }
%struct.InvertibleRepresentation = type { %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector.0", %"class.std::vector.5" }
%struct.HotStart = type { i8, %struct.RefactorInfo, %"class.std::vector.37" }
%struct.HighsRayRecord = type { i32, i32, %"class.std::vector.5" }
%"class.std::vector.66" = type { %"struct.std::_Vector_base.67" }
%"struct.std::_Vector_base.67" = type { %"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsSimplexStats = type { i8, i32, i32, i32, i32, double, double, double, double }

; 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

declare void @_ZN20HighsSimplexAnalysis17simplexTimerStartEii(ptr noundef nonnull align 8 dereferenceable(8576), i32 noundef, i32 noundef) #1

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #3 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) #3 align 2

declare void @_ZN20HighsSimplexAnalysis16simplexTimerStopEii(ptr noundef nonnull align 8 dereferenceable(8576), i32 noundef, i32 noundef) #1

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN11HEkkDualRHS25chooseMultiHyperGraphPartEPiS0_i(ptr noundef nonnull align 8 dereferenceable(152) %0, ptr noundef %1, ptr noundef %2, i32 noundef %3) #2 align 2 personality ptr @__gxx_personality_v0 {
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca ptr, align 8
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca %"class.std::vector.5", align 8
  %14 = alloca double, align 8
  %15 = alloca %"class.std::allocator.7", align 1
  %16 = alloca ptr, align 8
  %17 = alloca i32, align 4
  %18 = alloca %"class.std::vector.0", align 8
  %19 = alloca i32, align 4
  %20 = alloca %"class.std::allocator.2", align 1
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca double, align 8
  %28 = alloca double, align 8
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca %"class.std::vector.5", align 8
  %33 = alloca double, align 8
  %34 = alloca %"class.std::allocator.7", align 1
  %35 = alloca %"class.std::vector.0", align 8
  %36 = alloca i32, align 4
  %37 = alloca %"class.std::allocator.2", align 1
  %38 = alloca i32, align 4
  %39 = alloca i32, align 4
  %40 = alloca i32, align 4
  %41 = alloca i32, align 4
  %42 = alloca i32, align 4
  %43 = alloca i32, align 4
  %44 = alloca double, align 8
  %45 = alloca double, align 8
  %46 = alloca i32, align 4
  %47 = alloca i32, align 4
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store ptr %2, ptr %7, align 8, !tbaa !5
  store i32 %3, ptr %8, align 4, !tbaa !9
  %48 = load ptr, ptr %5, align 8
  %49 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 12
  %50 = load ptr, ptr %49, align 8, !tbaa !11
  call void @_ZN20HighsSimplexAnalysis17simplexTimerStartEii(ptr noundef nonnull align 8 dereferenceable(8576) %50, i32 noundef 38, i32 noundef 0)
  %51 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 6
  %52 = load i32, ptr %51, align 8, !tbaa !26
  %53 = load i32, ptr %8, align 4, !tbaa !9
  %54 = icmp ne i32 %52, %53
  br i1 %54, label %55, label %62

55:                                               ; preds = %4
  %56 = load ptr, ptr %6, align 8, !tbaa !5
  %57 = load ptr, ptr %7, align 8, !tbaa !5
  %58 = load i32, ptr %8, align 4, !tbaa !9
  call void @_ZN11HEkkDualRHS17chooseMultiGlobalEPiS0_i(ptr noundef nonnull align 8 dereferenceable(152) %48, ptr noundef %56, ptr noundef %57, i32 noundef %58)
  %59 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 10
  store i32 0, ptr %59, align 8, !tbaa !27
  %60 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 12
  %61 = load ptr, ptr %60, align 8, !tbaa !11
  call void @_ZN20HighsSimplexAnalysis16simplexTimerStopEii(ptr noundef nonnull align 8 dereferenceable(8576) %61, i32 noundef 38, i32 noundef 0)
  br label %360

62:                                               ; preds = %4
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #4
  store i32 0, ptr %9, align 4, !tbaa !9
  br label %63

63:                                               ; preds = %73, %62
  %64 = load i32, ptr %9, align 4, !tbaa !9
  %65 = load i32, ptr %8, align 4, !tbaa !9
  %66 = icmp slt i32 %64, %65
  br i1 %66, label %68, label %67

67:                                               ; preds = %63
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #4
  br label %76

68:                                               ; preds = %63
  %69 = load ptr, ptr %6, align 8, !tbaa !5
  %70 = load i32, ptr %9, align 4, !tbaa !9
  %71 = sext i32 %70 to i64
  %72 = getelementptr inbounds i32, ptr %69, i64 %71
  store i32 -1, ptr %72, align 4, !tbaa !9
  br label %73

73:                                               ; preds = %68
  %74 = load i32, ptr %9, align 4, !tbaa !9
  %75 = add nsw i32 %74, 1
  store i32 %75, ptr %9, align 4, !tbaa !9
  br label %63, !llvm.loop !28

76:                                               ; preds = %67
  %77 = load ptr, ptr %7, align 8, !tbaa !5
  store i32 0, ptr %77, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #4
  %78 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 0
  %79 = load ptr, ptr %78, align 8, !tbaa !30
  %80 = getelementptr inbounds %class.HEkk, ptr %79, i32 0, i32 13
  store ptr %80, ptr %10, align 8, !tbaa !5
  %81 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 2
  %82 = load i32, ptr %81, align 8, !tbaa !31
  %83 = icmp slt i32 %82, 0
  br i1 %83, label %84, label %214

84:                                               ; preds = %76
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #4
  %85 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 2
  %86 = load i32, ptr %85, align 8, !tbaa !31
  %87 = sub nsw i32 0, %86
  store i32 %87, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #4
  %88 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 0
  %89 = load ptr, ptr %88, align 8, !tbaa !30
  %90 = getelementptr inbounds %class.HEkk, ptr %89, i32 0, i32 12
  %91 = load i32, ptr %11, align 4, !tbaa !9
  %92 = call noundef i32 @_ZN11HighsRandom7integerEi(ptr noundef nonnull align 8 dereferenceable(8) %90, i32 noundef %91)
  store i32 %92, ptr %12, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 24, ptr %13) #4
  %93 = load i32, ptr %8, align 4, !tbaa !9
  %94 = sext i32 %93 to i64
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #4
  store double 0.000000e+00, ptr %14, align 8, !tbaa !32
  call void @llvm.lifetime.start.p0(i64 1, ptr %15) #4
  call void @_ZNSaIdEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %15) #4
  invoke void @_ZNSt6vectorIdSaIdEEC2EmRKdRKS0_(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %94, ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 1 dereferenceable(1) %15)
          to label %95 unwind label %103

95:                                               ; preds = %84
  call void @_ZNSt15__new_allocatorIdED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %15) #4
  call void @llvm.lifetime.end.p0(i64 1, ptr %15) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #4
  call void @llvm.lifetime.start.p0(i64 24, ptr %18) #4
  %96 = load i32, ptr %8, align 4, !tbaa !9
  %97 = sext i32 %96 to i64
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #4
  store i32 -1, ptr %19, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %20) #4
  call void @_ZNSaIiEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #4
  invoke void @_ZNSt6vectorIiSaIiEEC2EmRKiRKS0_(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %97, ptr noundef nonnull align 4 dereferenceable(4) %19, ptr noundef nonnull align 1 dereferenceable(1) %20)
          to label %98 unwind label %107

98:                                               ; preds = %95
  call void @_ZNSt15__new_allocatorIiED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #4
  call void @llvm.lifetime.end.p0(i64 1, ptr %20) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #4
  store i32 0, ptr %21, align 4, !tbaa !9
  br label %99

99:                                               ; preds = %181, %98
  %100 = load i32, ptr %21, align 4, !tbaa !9
  %101 = icmp slt i32 %100, 2
  br i1 %101, label %111, label %102

102:                                              ; preds = %99
  store i32 5, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #4
  br label %184

103:                                              ; preds = %84
  %104 = landingpad { ptr, i32 }
          cleanup
  %105 = extractvalue { ptr, i32 } %104, 0
  store ptr %105, ptr %16, align 8
  %106 = extractvalue { ptr, i32 } %104, 1
  store i32 %106, ptr %17, align 4
  call void @_ZNSt15__new_allocatorIdED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %15) #4
  call void @llvm.lifetime.end.p0(i64 1, ptr %15) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #4
  br label %213

107:                                              ; preds = %95
  %108 = landingpad { ptr, i32 }
          cleanup
  %109 = extractvalue { ptr, i32 } %108, 0
  store ptr %109, ptr %16, align 8
  %110 = extractvalue { ptr, i32 } %108, 1
  store i32 %110, ptr %17, align 4
  call void @_ZNSt15__new_allocatorIiED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #4
  call void @llvm.lifetime.end.p0(i64 1, ptr %20) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #4
  call void @llvm.lifetime.end.p0(i64 24, ptr %18) #4
  call void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %13) #4
  br label %213

111:                                              ; preds = %99
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #4
  %112 = load i32, ptr %21, align 4, !tbaa !9
  %113 = icmp eq i32 %112, 0
  br i1 %113, label %114, label %116

114:                                              ; preds = %111
  %115 = load i32, ptr %12, align 4, !tbaa !9
  br label %117

116:                                              ; preds = %111
  br label %117

117:                                              ; preds = %116, %114
  %118 = phi i32 [ %115, %114 ], [ 0, %116 ]
  store i32 %118, ptr %23, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #4
  %119 = load i32, ptr %21, align 4, !tbaa !9
  %120 = icmp eq i32 %119, 0
  br i1 %120, label %121, label %123

121:                                              ; preds = %117
  %122 = load i32, ptr %11, align 4, !tbaa !9
  br label %125

123:                                              ; preds = %117
  %124 = load i32, ptr %12, align 4, !tbaa !9
  br label %125

125:                                              ; preds = %123, %121
  %126 = phi i32 [ %122, %121 ], [ %124, %123 ]
  store i32 %126, ptr %24, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #4
  %127 = load i32, ptr %23, align 4, !tbaa !9
  store i32 %127, ptr %25, align 4, !tbaa !9
  br label %128

128:                                              ; preds = %177, %125
  %129 = load i32, ptr %25, align 4, !tbaa !9
  %130 = load i32, ptr %24, align 4, !tbaa !9
  %131 = icmp slt i32 %129, %130
  br i1 %131, label %133, label %132

132:                                              ; preds = %128
  store i32 8, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #4
  br label %180

133:                                              ; preds = %128
  %134 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 5
  %135 = load i32, ptr %25, align 4, !tbaa !9
  %136 = sext i32 %135 to i64
  %137 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %134, i64 noundef %136) #4
  %138 = load double, ptr %137, align 8, !tbaa !32
  %139 = fcmp ogt double %138, 1.000000e-50
  br i1 %139, label %140, label %176

140:                                              ; preds = %133
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #4
  %141 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 11
  %142 = load i32, ptr %25, align 4, !tbaa !9
  %143 = sext i32 %142 to i64
  %144 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %141, i64 noundef %143) #4
  %145 = load i32, ptr %144, align 4, !tbaa !9
  store i32 %145, ptr %26, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #4
  %146 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 5
  %147 = load i32, ptr %25, align 4, !tbaa !9
  %148 = sext i32 %147 to i64
  %149 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %146, i64 noundef %148) #4
  %150 = load double, ptr %149, align 8, !tbaa !32
  store double %150, ptr %27, align 8, !tbaa !32
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #4
  %151 = load ptr, ptr %10, align 8, !tbaa !5
  %152 = load i32, ptr %25, align 4, !tbaa !9
  %153 = sext i32 %152 to i64
  %154 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %151, i64 noundef %153) #4
  %155 = load double, ptr %154, align 8, !tbaa !32
  store double %155, ptr %28, align 8, !tbaa !32
  %156 = load i32, ptr %26, align 4, !tbaa !9
  %157 = sext i32 %156 to i64
  %158 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %157) #4
  %159 = load double, ptr %158, align 8, !tbaa !32
  %160 = load double, ptr %28, align 8, !tbaa !32
  %161 = fmul double %159, %160
  %162 = load double, ptr %27, align 8, !tbaa !32
  %163 = fcmp olt double %161, %162
  br i1 %163, label %164, label %175

164:                                              ; preds = %140
  %165 = load double, ptr %27, align 8, !tbaa !32
  %166 = load double, ptr %28, align 8, !tbaa !32
  %167 = fdiv double %165, %166
  %168 = load i32, ptr %26, align 4, !tbaa !9
  %169 = sext i32 %168 to i64
  %170 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %169) #4
  store double %167, ptr %170, align 8, !tbaa !32
  %171 = load i32, ptr %25, align 4, !tbaa !9
  %172 = load i32, ptr %26, align 4, !tbaa !9
  %173 = sext i32 %172 to i64
  %174 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %173) #4
  store i32 %171, ptr %174, align 4, !tbaa !9
  br label %175

175:                                              ; preds = %164, %140
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #4
  br label %176

176:                                              ; preds = %175, %133
  br label %177

177:                                              ; preds = %176
  %178 = load i32, ptr %25, align 4, !tbaa !9
  %179 = add nsw i32 %178, 1
  store i32 %179, ptr %25, align 4, !tbaa !9
  br label %128, !llvm.loop !33

180:                                              ; preds = %132
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #4
  br label %181

181:                                              ; preds = %180
  %182 = load i32, ptr %21, align 4, !tbaa !9
  %183 = add nsw i32 %182, 1
  store i32 %183, ptr %21, align 4, !tbaa !9
  br label %99, !llvm.loop !34

184:                                              ; preds = %102
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #4
  store i32 0, ptr %29, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #4
  store i32 0, ptr %30, align 4, !tbaa !9
  br label %185

185:                                              ; preds = %207, %184
  %186 = load i32, ptr %30, align 4, !tbaa !9
  %187 = load i32, ptr %8, align 4, !tbaa !9
  %188 = icmp slt i32 %186, %187
  br i1 %188, label %190, label %189

189:                                              ; preds = %185
  store i32 11, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #4
  br label %210

190:                                              ; preds = %185
  %191 = load i32, ptr %30, align 4, !tbaa !9
  %192 = sext i32 %191 to i64
  %193 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %192) #4
  %194 = load i32, ptr %193, align 4, !tbaa !9
  %195 = icmp ne i32 %194, -1
  br i1 %195, label %196, label %206

196:                                              ; preds = %190
  %197 = load i32, ptr %30, align 4, !tbaa !9
  %198 = sext i32 %197 to i64
  %199 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %198) #4
  %200 = load i32, ptr %199, align 4, !tbaa !9
  %201 = load ptr, ptr %6, align 8, !tbaa !5
  %202 = load i32, ptr %29, align 4, !tbaa !9
  %203 = add nsw i32 %202, 1
  store i32 %203, ptr %29, align 4, !tbaa !9
  %204 = sext i32 %202 to i64
  %205 = getelementptr inbounds i32, ptr %201, i64 %204
  store i32 %200, ptr %205, align 4, !tbaa !9
  br label %206

206:                                              ; preds = %196, %190
  br label %207

207:                                              ; preds = %206
  %208 = load i32, ptr %30, align 4, !tbaa !9
  %209 = add nsw i32 %208, 1
  store i32 %209, ptr %30, align 4, !tbaa !9
  br label %185, !llvm.loop !35

210:                                              ; preds = %189
  %211 = load i32, ptr %29, align 4, !tbaa !9
  %212 = load ptr, ptr %7, align 8, !tbaa !5
  store i32 %211, ptr %212, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #4
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %18) #4
  call void @llvm.lifetime.end.p0(i64 24, ptr %18) #4
  call void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %13) #4
  call void @llvm.lifetime.end.p0(i64 24, ptr %13) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #4
  br label %355

213:                                              ; preds = %107, %103
  call void @llvm.lifetime.end.p0(i64 24, ptr %13) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #4
  br label %361

214:                                              ; preds = %76
  %215 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 2
  %216 = load i32, ptr %215, align 8, !tbaa !31
  %217 = icmp eq i32 %216, 0
  br i1 %217, label %218, label %221

218:                                              ; preds = %214
  %219 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 12
  %220 = load ptr, ptr %219, align 8, !tbaa !11
  call void @_ZN20HighsSimplexAnalysis16simplexTimerStopEii(ptr noundef nonnull align 8 dereferenceable(8576) %220, i32 noundef 38, i32 noundef 0)
  store i32 1, ptr %22, align 4
  br label %358

221:                                              ; preds = %214
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #4
  %222 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 0
  %223 = load ptr, ptr %222, align 8, !tbaa !30
  %224 = getelementptr inbounds %class.HEkk, ptr %223, i32 0, i32 12
  %225 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 2
  %226 = load i32, ptr %225, align 8, !tbaa !31
  %227 = call noundef i32 @_ZN11HighsRandom7integerEi(ptr noundef nonnull align 8 dereferenceable(8) %224, i32 noundef %226)
  store i32 %227, ptr %31, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 24, ptr %32) #4
  %228 = load i32, ptr %8, align 4, !tbaa !9
  %229 = sext i32 %228 to i64
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #4
  store double 0.000000e+00, ptr %33, align 8, !tbaa !32
  call void @llvm.lifetime.start.p0(i64 1, ptr %34) #4
  call void @_ZNSaIdEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %34) #4
  invoke void @_ZNSt6vectorIdSaIdEEC2EmRKdRKS0_(ptr noundef nonnull align 8 dereferenceable(24) %32, i64 noundef %229, ptr noundef nonnull align 8 dereferenceable(8) %33, ptr noundef nonnull align 1 dereferenceable(1) %34)
          to label %230 unwind label %238

230:                                              ; preds = %221
  call void @_ZNSt15__new_allocatorIdED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %34) #4
  call void @llvm.lifetime.end.p0(i64 1, ptr %34) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #4
  call void @llvm.lifetime.start.p0(i64 24, ptr %35) #4
  %231 = load i32, ptr %8, align 4, !tbaa !9
  %232 = sext i32 %231 to i64
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #4
  store i32 -1, ptr %36, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %37) #4
  call void @_ZNSaIiEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %37) #4
  invoke void @_ZNSt6vectorIiSaIiEEC2EmRKiRKS0_(ptr noundef nonnull align 8 dereferenceable(24) %35, i64 noundef %232, ptr noundef nonnull align 4 dereferenceable(4) %36, ptr noundef nonnull align 1 dereferenceable(1) %37)
          to label %233 unwind label %242

233:                                              ; preds = %230
  call void @_ZNSt15__new_allocatorIiED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %37) #4
  call void @llvm.lifetime.end.p0(i64 1, ptr %37) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #4
  store i32 0, ptr %38, align 4, !tbaa !9
  br label %234

234:                                              ; preds = %322, %233
  %235 = load i32, ptr %38, align 4, !tbaa !9
  %236 = icmp slt i32 %235, 2
  br i1 %236, label %246, label %237

237:                                              ; preds = %234
  store i32 14, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #4
  br label %325

238:                                              ; preds = %221
  %239 = landingpad { ptr, i32 }
          cleanup
  %240 = extractvalue { ptr, i32 } %239, 0
  store ptr %240, ptr %16, align 8
  %241 = extractvalue { ptr, i32 } %239, 1
  store i32 %241, ptr %17, align 4
  call void @_ZNSt15__new_allocatorIdED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %34) #4
  call void @llvm.lifetime.end.p0(i64 1, ptr %34) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #4
  br label %354

242:                                              ; preds = %230
  %243 = landingpad { ptr, i32 }
          cleanup
  %244 = extractvalue { ptr, i32 } %243, 0
  store ptr %244, ptr %16, align 8
  %245 = extractvalue { ptr, i32 } %243, 1
  store i32 %245, ptr %17, align 4
  call void @_ZNSt15__new_allocatorIiED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %37) #4
  call void @llvm.lifetime.end.p0(i64 1, ptr %37) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #4
  call void @llvm.lifetime.end.p0(i64 24, ptr %35) #4
  call void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %32) #4
  br label %354

246:                                              ; preds = %234
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #4
  %247 = load i32, ptr %38, align 4, !tbaa !9
  %248 = icmp eq i32 %247, 0
  br i1 %248, label %249, label %251

249:                                              ; preds = %246
  %250 = load i32, ptr %31, align 4, !tbaa !9
  br label %252

251:                                              ; preds = %246
  br label %252

252:                                              ; preds = %251, %249
  %253 = phi i32 [ %250, %249 ], [ 0, %251 ]
  store i32 %253, ptr %39, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #4
  %254 = load i32, ptr %38, align 4, !tbaa !9
  %255 = icmp eq i32 %254, 0
  br i1 %255, label %256, label %259

256:                                              ; preds = %252
  %257 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 2
  %258 = load i32, ptr %257, align 8, !tbaa !31
  br label %261

259:                                              ; preds = %252
  %260 = load i32, ptr %31, align 4, !tbaa !9
  br label %261

261:                                              ; preds = %259, %256
  %262 = phi i32 [ %258, %256 ], [ %260, %259 ]
  store i32 %262, ptr %40, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #4
  %263 = load i32, ptr %39, align 4, !tbaa !9
  store i32 %263, ptr %41, align 4, !tbaa !9
  br label %264

264:                                              ; preds = %318, %261
  %265 = load i32, ptr %41, align 4, !tbaa !9
  %266 = load i32, ptr %40, align 4, !tbaa !9
  %267 = icmp slt i32 %265, %266
  br i1 %267, label %269, label %268

268:                                              ; preds = %264
  store i32 17, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #4
  br label %321

269:                                              ; preds = %264
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #4
  %270 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 4
  %271 = load i32, ptr %41, align 4, !tbaa !9
  %272 = sext i32 %271 to i64
  %273 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %270, i64 noundef %272) #4
  %274 = load i32, ptr %273, align 4, !tbaa !9
  store i32 %274, ptr %42, align 4, !tbaa !9
  %275 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 5
  %276 = load i32, ptr %42, align 4, !tbaa !9
  %277 = sext i32 %276 to i64
  %278 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %275, i64 noundef %277) #4
  %279 = load double, ptr %278, align 8, !tbaa !32
  %280 = fcmp ogt double %279, 1.000000e-50
  br i1 %280, label %281, label %317

281:                                              ; preds = %269
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #4
  %282 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 11
  %283 = load i32, ptr %42, align 4, !tbaa !9
  %284 = sext i32 %283 to i64
  %285 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %282, i64 noundef %284) #4
  %286 = load i32, ptr %285, align 4, !tbaa !9
  store i32 %286, ptr %43, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #4
  %287 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 5
  %288 = load i32, ptr %42, align 4, !tbaa !9
  %289 = sext i32 %288 to i64
  %290 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %287, i64 noundef %289) #4
  %291 = load double, ptr %290, align 8, !tbaa !32
  store double %291, ptr %44, align 8, !tbaa !32
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #4
  %292 = load ptr, ptr %10, align 8, !tbaa !5
  %293 = load i32, ptr %42, align 4, !tbaa !9
  %294 = sext i32 %293 to i64
  %295 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %292, i64 noundef %294) #4
  %296 = load double, ptr %295, align 8, !tbaa !32
  store double %296, ptr %45, align 8, !tbaa !32
  %297 = load i32, ptr %43, align 4, !tbaa !9
  %298 = sext i32 %297 to i64
  %299 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %32, i64 noundef %298) #4
  %300 = load double, ptr %299, align 8, !tbaa !32
  %301 = load double, ptr %45, align 8, !tbaa !32
  %302 = fmul double %300, %301
  %303 = load double, ptr %44, align 8, !tbaa !32
  %304 = fcmp olt double %302, %303
  br i1 %304, label %305, label %316

305:                                              ; preds = %281
  %306 = load double, ptr %44, align 8, !tbaa !32
  %307 = load double, ptr %45, align 8, !tbaa !32
  %308 = fdiv double %306, %307
  %309 = load i32, ptr %43, align 4, !tbaa !9
  %310 = sext i32 %309 to i64
  %311 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %32, i64 noundef %310) #4
  store double %308, ptr %311, align 8, !tbaa !32
  %312 = load i32, ptr %42, align 4, !tbaa !9
  %313 = load i32, ptr %43, align 4, !tbaa !9
  %314 = sext i32 %313 to i64
  %315 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %35, i64 noundef %314) #4
  store i32 %312, ptr %315, align 4, !tbaa !9
  br label %316

316:                                              ; preds = %305, %281
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #4
  br label %317

317:                                              ; preds = %316, %269
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #4
  br label %318

318:                                              ; preds = %317
  %319 = load i32, ptr %41, align 4, !tbaa !9
  %320 = add nsw i32 %319, 1
  store i32 %320, ptr %41, align 4, !tbaa !9
  br label %264, !llvm.loop !36

321:                                              ; preds = %268
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #4
  br label %322

322:                                              ; preds = %321
  %323 = load i32, ptr %38, align 4, !tbaa !9
  %324 = add nsw i32 %323, 1
  store i32 %324, ptr %38, align 4, !tbaa !9
  br label %234, !llvm.loop !37

325:                                              ; preds = %237
  call void @llvm.lifetime.start.p0(i64 4, ptr %46) #4
  store i32 0, ptr %46, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %47) #4
  store i32 0, ptr %47, align 4, !tbaa !9
  br label %326

326:                                              ; preds = %348, %325
  %327 = load i32, ptr %47, align 4, !tbaa !9
  %328 = load i32, ptr %8, align 4, !tbaa !9
  %329 = icmp slt i32 %327, %328
  br i1 %329, label %331, label %330

330:                                              ; preds = %326
  store i32 20, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %47) #4
  br label %351

331:                                              ; preds = %326
  %332 = load i32, ptr %47, align 4, !tbaa !9
  %333 = sext i32 %332 to i64
  %334 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %35, i64 noundef %333) #4
  %335 = load i32, ptr %334, align 4, !tbaa !9
  %336 = icmp ne i32 %335, -1
  br i1 %336, label %337, label %347

337:                                              ; preds = %331
  %338 = load i32, ptr %47, align 4, !tbaa !9
  %339 = sext i32 %338 to i64
  %340 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %35, i64 noundef %339) #4
  %341 = load i32, ptr %340, align 4, !tbaa !9
  %342 = load ptr, ptr %6, align 8, !tbaa !5
  %343 = load i32, ptr %46, align 4, !tbaa !9
  %344 = add nsw i32 %343, 1
  store i32 %344, ptr %46, align 4, !tbaa !9
  %345 = sext i32 %343 to i64
  %346 = getelementptr inbounds i32, ptr %342, i64 %345
  store i32 %341, ptr %346, align 4, !tbaa !9
  br label %347

347:                                              ; preds = %337, %331
  br label %348

348:                                              ; preds = %347
  %349 = load i32, ptr %47, align 4, !tbaa !9
  %350 = add nsw i32 %349, 1
  store i32 %350, ptr %47, align 4, !tbaa !9
  br label %326, !llvm.loop !38

351:                                              ; preds = %330
  %352 = load i32, ptr %46, align 4, !tbaa !9
  %353 = load ptr, ptr %7, align 8, !tbaa !5
  store i32 %352, ptr %353, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #4
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %35) #4
  call void @llvm.lifetime.end.p0(i64 24, ptr %35) #4
  call void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %32) #4
  call void @llvm.lifetime.end.p0(i64 24, ptr %32) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #4
  br label %355

354:                                              ; preds = %242, %238
  call void @llvm.lifetime.end.p0(i64 24, ptr %32) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #4
  br label %361

355:                                              ; preds = %351, %210
  %356 = getelementptr inbounds %class.HEkkDualRHS, ptr %48, i32 0, i32 12
  %357 = load ptr, ptr %356, align 8, !tbaa !11
  call void @_ZN20HighsSimplexAnalysis16simplexTimerStopEii(ptr noundef nonnull align 8 dereferenceable(8576) %357, i32 noundef 38, i32 noundef 0)
  store i32 0, ptr %22, align 4
  br label %358

358:                                              ; preds = %355, %218
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #4
  %359 = load i32, ptr %22, align 4
  switch i32 %359, label %367 [
    i32 0, label %360
    i32 1, label %360
  ]

360:                                              ; preds = %358, %358, %55
  ret void

361:                                              ; preds = %354, %213
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #4
  br label %362

362:                                              ; preds = %361
  %363 = load ptr, ptr %16, align 8
  %364 = load i32, ptr %17, align 4
  %365 = insertvalue { ptr, i32 } poison, ptr %363, 0
  %366 = insertvalue { ptr, i32 } %365, i32 %364, 1
  resume { ptr, i32 } %366

367:                                              ; preds = %358
  unreachable
}

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

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

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

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

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

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

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

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

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "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 = { 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 #4 = { 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, !6, i64 144}
!12 = !{!"_ZTS11HEkkDualRHS", !6, i64 0, !13, i64 8, !10, i64 16, !14, i64 24, !18, i64 48, !22, i64 72, !10, i64 96, !10, i64 100, !10, i64 104, !10, i64 108, !10, i64 112, !18, i64 120, !6, i64 144}
!13 = !{!"double", !7, i64 0}
!14 = !{!"_ZTSSt6vectorIcSaIcEE", !15, i64 0}
!15 = !{!"_ZTSSt12_Vector_baseIcSaIcEE", !16, i64 0}
!16 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE12_Vector_implE", !17, i64 0}
!17 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!18 = !{!"_ZTSSt6vectorIiSaIiEE", !19, i64 0}
!19 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !21, i64 0}
!21 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!22 = !{!"_ZTSSt6vectorIdSaIdEE", !23, i64 0}
!23 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !24, i64 0}
!24 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !25, i64 0}
!25 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!26 = !{!12, !10, i64 96}
!27 = !{!12, !10, i64 112}
!28 = distinct !{!28, !29}
!29 = !{!"llvm.loop.mustprogress"}
!30 = !{!12, !6, i64 0}
!31 = !{!12, !10, i64 16}
!32 = !{!13, !13, i64 0}
!33 = distinct !{!33, !29}
!34 = distinct !{!34, !29}
!35 = distinct !{!35, !29}
!36 = distinct !{!36, !29}
!37 = distinct !{!37, !29}
!38 = distinct !{!38, !29}


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

%"class.std::vector.5" = type { %"struct.std::_Vector_base.6" }
%"struct.std::_Vector_base.6" = 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::allocator.7" = type { i8 }
%"class.std::vector.0" = type { %"struct.std::_Vector_base.1" }
%"struct.std::_Vector_base.1" = 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::allocator.2" = type { i8 }

; 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

declare void @_ZN20HighsSimplexAnalysis17simplexTimerStartEii(ptr noundef nonnull align 8 dereferenceable(8576), i32 noundef, i32 noundef) local_unnamed_addr #1

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #3 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 #3 align 2

declare void @_ZN20HighsSimplexAnalysis16simplexTimerStopEii(ptr noundef nonnull align 8 dereferenceable(8576), i32 noundef, i32 noundef) local_unnamed_addr #1

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN11HEkkDualRHS25chooseMultiHyperGraphPartEPiS0_i(ptr noundef nonnull align 8 dereferenceable(152) %0, ptr noundef %1, ptr noundef %2, i32 noundef %3) local_unnamed_addr #2 align 2 personality ptr @__gxx_personality_v0 {
  %5 = alloca %"class.std::vector.5", align 8
  %6 = alloca double, align 8
  %7 = alloca %"class.std::allocator.7", align 1
  %8 = alloca %"class.std::vector.0", align 8
  %9 = alloca i32, align 4
  %10 = alloca %"class.std::allocator.2", align 1
  %11 = alloca %"class.std::vector.5", align 8
  %12 = alloca double, align 8
  %13 = alloca %"class.std::allocator.7", align 1
  %14 = alloca %"class.std::vector.0", align 8
  %15 = alloca i32, align 4
  %16 = alloca %"class.std::allocator.2", align 1
  %17 = getelementptr inbounds i8, ptr %0, i64 144
  %18 = load ptr, ptr %17, align 8, !tbaa !5
  tail call void @_ZN20HighsSimplexAnalysis17simplexTimerStartEii(ptr noundef nonnull align 8 dereferenceable(8576) %18, i32 noundef 38, i32 noundef 0)
  %19 = getelementptr inbounds i8, ptr %0, i64 96
  %20 = load i32, ptr %19, align 8, !tbaa !24
  %.not = icmp eq i32 %20, %3
  br i1 %.not, label %.preheader110, label %24

.preheader110:                                    ; preds = %4
  %21 = icmp sgt i32 %3, 0
  br i1 %21, label %.lr.ph.preheader, label %._crit_edge

.lr.ph.preheader:                                 ; preds = %.preheader110
  %22 = zext nneg i32 %3 to i64
  %23 = shl nuw nsw i64 %22, 2
  tail call void @llvm.memset.p0.i64(ptr align 4 %1, i8 -1, i64 %23, i1 false), !tbaa !25
  br label %._crit_edge

24:                                               ; preds = %4
  tail call void @_ZN11HEkkDualRHS17chooseMultiGlobalEPiS0_i(ptr noundef nonnull align 8 dereferenceable(152) %0, ptr noundef %1, ptr noundef %2, i32 noundef %3)
  %25 = getelementptr inbounds i8, ptr %0, i64 112
  store i32 0, ptr %25, align 8, !tbaa !26
  %26 = load ptr, ptr %17, align 8, !tbaa !5
  tail call void @_ZN20HighsSimplexAnalysis16simplexTimerStopEii(ptr noundef nonnull align 8 dereferenceable(8576) %26, i32 noundef 38, i32 noundef 0)
  br label %179

._crit_edge:                                      ; preds = %.lr.ph.preheader, %.preheader110
  store i32 0, ptr %2, align 4, !tbaa !25
  %27 = load ptr, ptr %0, align 8, !tbaa !27
  %28 = getelementptr inbounds i8, ptr %27, i64 10784
  %29 = getelementptr inbounds i8, ptr %0, i64 16
  %30 = load i32, ptr %29, align 8, !tbaa !28
  %31 = icmp slt i32 %30, 0
  br i1 %31, label %32, label %100

32:                                               ; preds = %._crit_edge
  %33 = sub nsw i32 0, %30
  %34 = getelementptr inbounds i8, ptr %27, i64 10776
  %35 = tail call noundef i32 @_ZN11HighsRandom7integerEi(ptr noundef nonnull align 8 dereferenceable(8) %34, i32 noundef %33)
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %5) #5
  %36 = sext i32 %3 to i64
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #5
  store double 0.000000e+00, ptr %6, align 8, !tbaa !29
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %7) #5
  call void @_ZNSaIdEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %7) #5
  invoke void @_ZNSt6vectorIdSaIdEEC2EmRKdRKS0_(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %36, ptr noundef nonnull align 8 dereferenceable(8) %6, ptr noundef nonnull align 1 dereferenceable(1) %7)
          to label %37 unwind label %42

37:                                               ; preds = %32
  call void @_ZNSt15__new_allocatorIdED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %7) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %7) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #5
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %8) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %9) #5
  store i32 -1, ptr %9, align 4, !tbaa !25
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %10) #5
  call void @_ZNSaIiEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %10) #5
  invoke void @_ZNSt6vectorIiSaIiEEC2EmRKiRKS0_(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %36, ptr noundef nonnull align 4 dereferenceable(4) %9, ptr noundef nonnull align 1 dereferenceable(1) %10)
          to label %38 unwind label %44

38:                                               ; preds = %37
  call void @_ZNSt15__new_allocatorIiED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %10) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %10) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %9) #5
  %39 = getelementptr inbounds i8, ptr %0, i64 72
  %40 = getelementptr inbounds i8, ptr %0, i64 120
  %41 = icmp slt i32 %35, %33
  br i1 %41, label %.lr.ph123.preheader, label %.lr.ph123.preheader.1

.lr.ph128.preheader:                              ; preds = %._crit_edge124.1
  %wide.trip.count146 = zext nneg i32 %3 to i64
  br label %.lr.ph128

42:                                               ; preds = %32
  %43 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIdED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %7) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %7) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #5
  br label %99

44:                                               ; preds = %37
  %45 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIiED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %10) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %10) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %9) #5
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %8) #5
  call void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %5) #5
  br label %99

.lr.ph123.preheader:                              ; preds = %38
  %46 = sext i32 %35 to i64
  br label %.lr.ph123

._crit_edge124:                                   ; preds = %89
  %47 = icmp sgt i32 %35, 0
  br i1 %47, label %.lr.ph123.preheader.1, label %._crit_edge124.1

.lr.ph123.preheader.1:                            ; preds = %38, %._crit_edge124
  %zext142 = zext nneg i32 %35 to i64
  br label %.lr.ph123.1

.lr.ph123.1:                                      ; preds = %68, %.lr.ph123.preheader.1
  %indvars.iv137.1 = phi i64 [ 0, %.lr.ph123.preheader.1 ], [ %indvars.iv.next138.1, %68 ]
  %48 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %39, i64 noundef %indvars.iv137.1) #5
  %49 = load double, ptr %48, align 8, !tbaa !29
  %50 = fcmp ogt double %49, 1.000000e-50
  br i1 %50, label %51, label %68

51:                                               ; preds = %.lr.ph123.1
  %52 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %40, i64 noundef %indvars.iv137.1) #5
  %53 = load i32, ptr %52, align 4, !tbaa !25
  %54 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %39, i64 noundef %indvars.iv137.1) #5
  %55 = load double, ptr %54, align 8, !tbaa !29
  %56 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %indvars.iv137.1) #5
  %57 = load double, ptr %56, align 8, !tbaa !29
  %58 = sext i32 %53 to i64
  %59 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %58) #5
  %60 = load double, ptr %59, align 8, !tbaa !29
  %61 = fmul double %57, %60
  %62 = fcmp olt double %61, %55
  br i1 %62, label %63, label %68

63:                                               ; preds = %51
  %64 = fdiv double %55, %57
  %65 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %58) #5
  store double %64, ptr %65, align 8, !tbaa !29
  %66 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %58) #5
  %67 = trunc nsw i64 %indvars.iv137.1 to i32
  store i32 %67, ptr %66, align 4, !tbaa !25
  br label %68

68:                                               ; preds = %63, %51, %.lr.ph123.1
  %indvars.iv.next138.1 = add nuw nsw i64 %indvars.iv137.1, 1
  %.not149 = icmp eq i64 %indvars.iv.next138.1, %zext142
  br i1 %.not149, label %._crit_edge124.1, label %.lr.ph123.1, !llvm.loop !30

._crit_edge124.1:                                 ; preds = %68, %._crit_edge124
  br i1 %21, label %.lr.ph128.preheader, label %._crit_edge129

.lr.ph123:                                        ; preds = %.lr.ph123.preheader, %89
  %indvars.iv137 = phi i64 [ %46, %.lr.ph123.preheader ], [ %indvars.iv.next138, %89 ]
  %69 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %39, i64 noundef %indvars.iv137) #5
  %70 = load double, ptr %69, align 8, !tbaa !29
  %71 = fcmp ogt double %70, 1.000000e-50
  br i1 %71, label %72, label %89

72:                                               ; preds = %.lr.ph123
  %73 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %40, i64 noundef %indvars.iv137) #5
  %74 = load i32, ptr %73, align 4, !tbaa !25
  %75 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %39, i64 noundef %indvars.iv137) #5
  %76 = load double, ptr %75, align 8, !tbaa !29
  %77 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %indvars.iv137) #5
  %78 = load double, ptr %77, align 8, !tbaa !29
  %79 = sext i32 %74 to i64
  %80 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %79) #5
  %81 = load double, ptr %80, align 8, !tbaa !29
  %82 = fmul double %78, %81
  %83 = fcmp olt double %82, %76
  br i1 %83, label %84, label %89

84:                                               ; preds = %72
  %85 = fdiv double %76, %78
  %86 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %79) #5
  store double %85, ptr %86, align 8, !tbaa !29
  %87 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %79) #5
  %88 = trunc nsw i64 %indvars.iv137 to i32
  store i32 %88, ptr %87, align 4, !tbaa !25
  br label %89

89:                                               ; preds = %72, %84, %.lr.ph123
  %indvars.iv.next138 = add nsw i64 %indvars.iv137, 1
  %lftr.wideiv140 = trunc i64 %indvars.iv.next138 to i32
  %exitcond141.not = icmp eq i32 %lftr.wideiv140, %33
  br i1 %exitcond141.not, label %._crit_edge124, label %.lr.ph123, !llvm.loop !30

._crit_edge129:                                   ; preds = %98, %._crit_edge124.1
  %.094.lcssa = phi i32 [ 0, %._crit_edge124.1 ], [ %.195, %98 ]
  store i32 %.094.lcssa, ptr %2, align 4, !tbaa !25
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %8) #5
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %8) #5
  call void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %5) #5
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %5) #5
  br label %177

.lr.ph128:                                        ; preds = %.lr.ph128.preheader, %98
  %indvars.iv143 = phi i64 [ 0, %.lr.ph128.preheader ], [ %indvars.iv.next144, %98 ]
  %.094127 = phi i32 [ 0, %.lr.ph128.preheader ], [ %.195, %98 ]
  %90 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %indvars.iv143) #5
  %91 = load i32, ptr %90, align 4, !tbaa !25
  %.not108 = icmp eq i32 %91, -1
  br i1 %.not108, label %98, label %92

92:                                               ; preds = %.lr.ph128
  %93 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %indvars.iv143) #5
  %94 = load i32, ptr %93, align 4, !tbaa !25
  %95 = add nsw i32 %.094127, 1
  %96 = sext i32 %.094127 to i64
  %97 = getelementptr inbounds i32, ptr %1, i64 %96
  store i32 %94, ptr %97, align 4, !tbaa !25
  br label %98

98:                                               ; preds = %.lr.ph128, %92
  %.195 = phi i32 [ %95, %92 ], [ %.094127, %.lr.ph128 ]
  %indvars.iv.next144 = add nuw nsw i64 %indvars.iv143, 1
  %exitcond147.not = icmp eq i64 %indvars.iv.next144, %wide.trip.count146
  br i1 %exitcond147.not, label %._crit_edge129, label %.lr.ph128, !llvm.loop !32

99:                                               ; preds = %44, %42
  %.pn105 = phi { ptr, i32 } [ %45, %44 ], [ %43, %42 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %5) #5
  br label %180

100:                                              ; preds = %._crit_edge
  %101 = icmp eq i32 %30, 0
  br i1 %101, label %102, label %104

102:                                              ; preds = %100
  %103 = load ptr, ptr %17, align 8, !tbaa !5
  tail call void @_ZN20HighsSimplexAnalysis16simplexTimerStopEii(ptr noundef nonnull align 8 dereferenceable(8576) %103, i32 noundef 38, i32 noundef 0)
  br label %179

104:                                              ; preds = %100
  %105 = getelementptr inbounds i8, ptr %27, i64 10776
  %106 = tail call noundef i32 @_ZN11HighsRandom7integerEi(ptr noundef nonnull align 8 dereferenceable(8) %105, i32 noundef %30)
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %11) #5
  %107 = sext i32 %3 to i64
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #5
  store double 0.000000e+00, ptr %12, align 8, !tbaa !29
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %13) #5
  call void @_ZNSaIdEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %13) #5
  invoke void @_ZNSt6vectorIdSaIdEEC2EmRKdRKS0_(ptr noundef nonnull align 8 dereferenceable(24) %11, i64 noundef %107, ptr noundef nonnull align 8 dereferenceable(8) %12, ptr noundef nonnull align 1 dereferenceable(1) %13)
          to label %108 unwind label %115

108:                                              ; preds = %104
  call void @_ZNSt15__new_allocatorIdED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %13) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %13) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #5
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %14) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %15) #5
  store i32 -1, ptr %15, align 4, !tbaa !25
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %16) #5
  call void @_ZNSaIiEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %16) #5
  invoke void @_ZNSt6vectorIiSaIiEEC2EmRKiRKS0_(ptr noundef nonnull align 8 dereferenceable(24) %14, i64 noundef %107, ptr noundef nonnull align 4 dereferenceable(4) %15, ptr noundef nonnull align 1 dereferenceable(1) %16)
          to label %109 unwind label %117

109:                                              ; preds = %108
  call void @_ZNSt15__new_allocatorIiED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %16) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %16) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %15) #5
  %110 = getelementptr inbounds i8, ptr %0, i64 48
  %111 = getelementptr inbounds i8, ptr %0, i64 72
  %112 = getelementptr inbounds i8, ptr %0, i64 120
  %113 = load i32, ptr %29, align 8
  %114 = icmp slt i32 %106, %113
  br i1 %114, label %.lr.ph114.preheader, label %._crit_edge115

.lr.ph119.preheader:                              ; preds = %._crit_edge115.1
  %wide.trip.count = zext nneg i32 %3 to i64
  br label %.lr.ph119

115:                                              ; preds = %104
  %116 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIdED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %13) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %13) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #5
  br label %176

117:                                              ; preds = %108
  %118 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIiED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %16) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %16) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %15) #5
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %14) #5
  call void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %11) #5
  br label %176

.lr.ph114.preheader:                              ; preds = %109
  %119 = sext i32 %106 to i64
  br label %.lr.ph114

._crit_edge115:                                   ; preds = %166, %109
  %120 = icmp sgt i32 %106, 0
  br i1 %120, label %.lr.ph114.preheader.1, label %._crit_edge115.1

.lr.ph114.preheader.1:                            ; preds = %._crit_edge115
  %zext = zext nneg i32 %106 to i64
  br label %.lr.ph114.1

.lr.ph114.1:                                      ; preds = %143, %.lr.ph114.preheader.1
  %indvars.iv.1 = phi i64 [ 0, %.lr.ph114.preheader.1 ], [ %indvars.iv.next.1, %143 ]
  %121 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %110, i64 noundef %indvars.iv.1) #5
  %122 = load i32, ptr %121, align 4, !tbaa !25
  %123 = sext i32 %122 to i64
  %124 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %111, i64 noundef %123) #5
  %125 = load double, ptr %124, align 8, !tbaa !29
  %126 = fcmp ogt double %125, 1.000000e-50
  br i1 %126, label %127, label %143

127:                                              ; preds = %.lr.ph114.1
  %128 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %112, i64 noundef %123) #5
  %129 = load i32, ptr %128, align 4, !tbaa !25
  %130 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %111, i64 noundef %123) #5
  %131 = load double, ptr %130, align 8, !tbaa !29
  %132 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %123) #5
  %133 = load double, ptr %132, align 8, !tbaa !29
  %134 = sext i32 %129 to i64
  %135 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %11, i64 noundef %134) #5
  %136 = load double, ptr %135, align 8, !tbaa !29
  %137 = fmul double %133, %136
  %138 = fcmp olt double %137, %131
  br i1 %138, label %139, label %143

139:                                              ; preds = %127
  %140 = fdiv double %131, %133
  %141 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %11, i64 noundef %134) #5
  store double %140, ptr %141, align 8, !tbaa !29
  %142 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %14, i64 noundef %134) #5
  store i32 %122, ptr %142, align 4, !tbaa !25
  br label %143

143:                                              ; preds = %139, %127, %.lr.ph114.1
  %indvars.iv.next.1 = add nuw nsw i64 %indvars.iv.1, 1
  %.not148 = icmp eq i64 %indvars.iv.next.1, %zext
  br i1 %.not148, label %._crit_edge115.1, label %.lr.ph114.1, !llvm.loop !33

._crit_edge115.1:                                 ; preds = %143, %._crit_edge115
  br i1 %21, label %.lr.ph119.preheader, label %._crit_edge120

.lr.ph114:                                        ; preds = %.lr.ph114.preheader, %166
  %indvars.iv = phi i64 [ %119, %.lr.ph114.preheader ], [ %indvars.iv.next, %166 ]
  %144 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %110, i64 noundef %indvars.iv) #5
  %145 = load i32, ptr %144, align 4, !tbaa !25
  %146 = sext i32 %145 to i64
  %147 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %111, i64 noundef %146) #5
  %148 = load double, ptr %147, align 8, !tbaa !29
  %149 = fcmp ogt double %148, 1.000000e-50
  br i1 %149, label %150, label %166

150:                                              ; preds = %.lr.ph114
  %151 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %112, i64 noundef %146) #5
  %152 = load i32, ptr %151, align 4, !tbaa !25
  %153 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %111, i64 noundef %146) #5
  %154 = load double, ptr %153, align 8, !tbaa !29
  %155 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %146) #5
  %156 = load double, ptr %155, align 8, !tbaa !29
  %157 = sext i32 %152 to i64
  %158 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %11, i64 noundef %157) #5
  %159 = load double, ptr %158, align 8, !tbaa !29
  %160 = fmul double %156, %159
  %161 = fcmp olt double %160, %154
  br i1 %161, label %162, label %166

162:                                              ; preds = %150
  %163 = fdiv double %154, %156
  %164 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %11, i64 noundef %157) #5
  store double %163, ptr %164, align 8, !tbaa !29
  %165 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %14, i64 noundef %157) #5
  store i32 %145, ptr %165, align 4, !tbaa !25
  br label %166

166:                                              ; preds = %150, %162, %.lr.ph114
  %indvars.iv.next = add nsw i64 %indvars.iv, 1
  %lftr.wideiv = trunc i64 %indvars.iv.next to i32
  %exitcond.not = icmp eq i32 %113, %lftr.wideiv
  br i1 %exitcond.not, label %._crit_edge115, label %.lr.ph114, !llvm.loop !33

._crit_edge120:                                   ; preds = %175, %._crit_edge115.1
  %.083.lcssa = phi i32 [ 0, %._crit_edge115.1 ], [ %.1, %175 ]
  store i32 %.083.lcssa, ptr %2, align 4, !tbaa !25
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %14) #5
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %14) #5
  call void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %11) #5
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %11) #5
  br label %177

.lr.ph119:                                        ; preds = %.lr.ph119.preheader, %175
  %indvars.iv133 = phi i64 [ 0, %.lr.ph119.preheader ], [ %indvars.iv.next134, %175 ]
  %.083117 = phi i32 [ 0, %.lr.ph119.preheader ], [ %.1, %175 ]
  %167 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %14, i64 noundef %indvars.iv133) #5
  %168 = load i32, ptr %167, align 4, !tbaa !25
  %.not104 = icmp eq i32 %168, -1
  br i1 %.not104, label %175, label %169

169:                                              ; preds = %.lr.ph119
  %170 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %14, i64 noundef %indvars.iv133) #5
  %171 = load i32, ptr %170, align 4, !tbaa !25
  %172 = add nsw i32 %.083117, 1
  %173 = sext i32 %.083117 to i64
  %174 = getelementptr inbounds i32, ptr %1, i64 %173
  store i32 %171, ptr %174, align 4, !tbaa !25
  br label %175

175:                                              ; preds = %.lr.ph119, %169
  %.1 = phi i32 [ %172, %169 ], [ %.083117, %.lr.ph119 ]
  %indvars.iv.next134 = add nuw nsw i64 %indvars.iv133, 1
  %exitcond136.not = icmp eq i64 %indvars.iv.next134, %wide.trip.count
  br i1 %exitcond136.not, label %._crit_edge120, label %.lr.ph119, !llvm.loop !34

176:                                              ; preds = %117, %115
  %.pn = phi { ptr, i32 } [ %118, %117 ], [ %116, %115 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %11) #5
  br label %180

177:                                              ; preds = %._crit_edge120, %._crit_edge129
  %178 = load ptr, ptr %17, align 8, !tbaa !5
  call void @_ZN20HighsSimplexAnalysis16simplexTimerStopEii(ptr noundef nonnull align 8 dereferenceable(8576) %178, i32 noundef 38, i32 noundef 0)
  br label %179

179:                                              ; preds = %102, %177, %24
  ret void

180:                                              ; preds = %176, %99
  %.pn105.pn = phi { ptr, i32 } [ %.pn105, %99 ], [ %.pn, %176 ]
  resume { ptr, i32 } %.pn105.pn
}

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

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

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

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

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

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

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

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #4

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "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 = { 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 #4 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #5 = { 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, !7, i64 144}
!6 = !{!"_ZTS11HEkkDualRHS", !7, i64 0, !10, i64 8, !11, i64 16, !12, i64 24, !16, i64 48, !20, i64 72, !11, i64 96, !11, i64 100, !11, i64 104, !11, i64 108, !11, i64 112, !16, i64 120, !7, i64 144}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"double", !8, i64 0}
!11 = !{!"int", !8, i64 0}
!12 = !{!"_ZTSSt6vectorIcSaIcEE", !13, i64 0}
!13 = !{!"_ZTSSt12_Vector_baseIcSaIcEE", !14, i64 0}
!14 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE12_Vector_implE", !15, i64 0}
!15 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!16 = !{!"_ZTSSt6vectorIiSaIiEE", !17, i64 0}
!17 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !18, i64 0}
!18 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !19, i64 0}
!19 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!20 = !{!"_ZTSSt6vectorIdSaIdEE", !21, i64 0}
!21 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !22, i64 0}
!22 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !23, i64 0}
!23 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!24 = !{!6, !11, i64 96}
!25 = !{!11, !11, i64 0}
!26 = !{!6, !11, i64 112}
!27 = !{!6, !7, i64 0}
!28 = !{!6, !11, i64 16}
!29 = !{!10, !10, i64 0}
!30 = distinct !{!30, !31}
!31 = !{!"llvm.loop.mustprogress"}
!32 = distinct !{!32, !31}
!33 = distinct !{!33, !31}
!34 = distinct !{!34, !31}


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