; LLVM IR from ERGO-Code/HiGHS :: examples (call_highs_from_cpp)

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

%"class.std::basic_ostream" = type { ptr, %"class.std::basic_ios" }
%"class.std::basic_ios" = type { %"class.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
%"class.std::ios_base" = type { ptr, i64, i64, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"class.std::locale" }
%"struct.std::ios_base::_Words" = type { ptr, i64 }
%"class.std::locale" = type { ptr }
%class.HighsModel = type { %class.HighsLp, %class.HighsHessian }
%class.HighsLp = type { i32, i32, %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %class.HighsSparseMatrix, i32, double, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, i32, %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.13", %struct.HighsNameHash, %struct.HighsNameHash, i32, i32, %struct.HighsScale, i8, i8, i32, i8, %struct.HighsLpMods }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = 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.HighsSparseMatrix = type { i32, i32, i32, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector" }
%"class.std::vector.3" = type { %"struct.std::_Vector_base.4" }
%"struct.std::_Vector_base.4" = 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::__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.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = 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.13" = type { %"struct.std::_Vector_base.14" }
%"struct.std::_Vector_base.14" = 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", %"class.std::vector" }
%struct.HighsLpMods = type { %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector.13", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector" }
%class.HighsHessian = type { i32, i32, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector" }
%"class.std::initializer_list" = type { ptr, i64 }
%"class.std::initializer_list.23" = type { ptr, i64 }
%class.Highs = type { ptr, %struct.HighsSolution, %struct.HighsBasis, %struct.ICrashInfo, %class.HighsModel, %"class.std::vector.34", %class.HighsModel, %class.HighsTimer, %struct.HighsCallback, %class.HighsOptions, %class.HighsInfo, %struct.HighsRanging, %class.HighsIis, %"class.std::vector.58", i32, i32, i8, double, %"class.std::vector", %"class.std::vector", %class.HighsSparseMatrix, %class.HEkk, %struct.HighsPresolveLog, i32, i8, i32, i8, %class.PresolveComponent }
%struct.HighsSolution = type { i8, i8, %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector" }
%struct.HighsBasis = type { i8, i8, i8, i8, i32, i32, %"class.std::__cxx11::basic_string", %"class.std::vector.24", %"class.std::vector.24" }
%"class.std::vector.24" = type { %"struct.std::_Vector_base.25" }
%"struct.std::_Vector_base.25" = type { %"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.ICrashInfo = type { i32, double, double, double, double, double, %"class.std::vector.29", %"class.std::vector", double }
%"class.std::vector.29" = type { %"struct.std::_Vector_base.30" }
%"struct.std::_Vector_base.30" = type { %"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl" }
%"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl" = type { %"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl_data" }
%"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.34" = type { %"struct.std::_Vector_base.35" }
%"struct.std::_Vector_base.35" = type { %"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsTimer = type <{ ptr, double, i32, [4 x i8], %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector.8", i32, i32, i32, [4 x i8] }>
%struct.HighsCallback = type { %"class.std::function", ptr, ptr, %"class.std::vector.39", %struct.HighsCallbackDataOut, %struct.HighsCallbackDataIn }
%"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.39" = type { %"struct.std::_Bvector_base" }
%"struct.std::_Bvector_base" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" = type { %"struct.std::_Bit_iterator", %"struct.std::_Bit_iterator", ptr }
%"struct.std::_Bit_iterator" = type { %"struct.std::_Bit_iterator_base.base", [4 x i8] }
%"struct.std::_Bit_iterator_base.base" = type <{ ptr, i32 }>
%struct.HighsCallbackDataOut = type { i32, double, i32, i32, i32, double, i64, i64, double, double, double, ptr, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, i32 }
%struct.HighsCallbackDataIn = type { i32, ptr }
%class.HighsOptions = type <{ %struct.HighsOptionsStruct, %"class.std::vector.43", i32, [4 x i8] }>
%struct.HighsOptionsStruct = type { ptr, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", double, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, %"class.std::__cxx11::basic_string", double, double, double, double, double, double, double, double, double, double, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, %"class.std::__cxx11::basic_string", i8, i8, i8, i32, i32, %"class.std::__cxx11::basic_string", i8, i8, i8, i32, i8, i8, i32, i32, double, i32, i32, i32, i8, i32, i8, i8, i8, i8, i8, i8, i8, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i8, i8, i8, i8, double, double, double, double, double, double, double, double, double, double, double, i8, i8, i8, i8, i32, double, i8, i8, %"class.std::__cxx11::basic_string", double, i32, i32, i8, i8, i8, i8, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, double, i8, i8, %"class.std::__cxx11::basic_string", i8, i32, %struct.HighsLogOptions }
%struct.HighsLogOptions = type <{ ptr, ptr, ptr, ptr, ptr, ptr, %"class.std::function", ptr, i8, [7 x i8] }>
%"class.std::vector.43" = type { %"struct.std::_Vector_base.44" }
%"struct.std::_Vector_base.44" = type { %"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl" }
%"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl" = type { %"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsInfo = type { ptr, %struct.HighsInfoStruct, %"class.std::vector.48" }
%struct.HighsInfoStruct = type { i8, i64, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, i32, double, double, i32, double, double, double, double, double }
%"class.std::vector.48" = type { %"struct.std::_Vector_base.49" }
%"struct.std::_Vector_base.49" = type { %"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl" }
%"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl" = type { %"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsRanging = type { i8, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord }
%struct.HighsRangingRecord = type { %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3" }
%class.HighsIis = type { i8, i32, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.53" }
%"class.std::vector.53" = type { %"struct.std::_Vector_base.54" }
%"struct.std::_Vector_base.54" = type { %"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.58" = type { %"struct.std::_Vector_base.59" }
%"struct.std::_Vector_base.59" = type { %"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_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", %"class.std::vector", i8, %class.HighsSparseMatrix, %class.HighsSparseMatrix, %class.HSimplexNla, %struct.HotStart, double, double, double, i32, i32, i32, i32, i8, i8, i32, i32, i32, %"class.std::vector.3", %"class.std::vector", %struct.HighsRayRecord, %struct.HighsRayRecord, i32, i32, i32, double, %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", double, double, double, i32, i32, i8, i32, i8, i8, i8, i8, double, %"class.std::vector.106", %"class.std::vector", %struct.HighsSimplexStats }
%class.HighsSimplexAnalysis = type { ptr, %"class.std::vector.63", %"class.std::vector.63", 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", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.68", %"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.63" = type { %"struct.std::_Vector_base.64" }
%"struct.std::_Vector_base.64" = 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 }
%"class.std::vector.68" = type { %"struct.std::_Vector_base.69" }
%"struct.std::_Vector_base.69" = 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.74" }
%"struct.std::_Head_base.74" = 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", %"class.std::vector.3", i32, [4 x i8] }>
%struct.HighsSimplexStatus = type { i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8 }
%struct.HighsSimplexInfo = type <{ %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", i32, i32, i8, i8, [6 x i8], %struct.SimplexBasis, i32, i32, i32, [4 x i8], %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", 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.3", %"class.std::vector.75", %"class.std::vector.75", i64, i32, i32, %"class.std::__cxx11::basic_string" }
%"class.std::vector.75" = type { %"struct.std::_Vector_base.76" }
%"struct.std::_Vector_base.76" = 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.80", %"class.std::unique_ptr.88", i64, i64, i64 }
%"class.std::unique_ptr.80" = type { %"struct.std::__uniq_ptr_data.81" }
%"struct.std::__uniq_ptr_data.81" = type { %"class.std::__uniq_ptr_impl.82" }
%"class.std::__uniq_ptr_impl.82" = type { %"class.std::tuple.83" }
%"class.std::tuple.83" = type { %"struct.std::_Tuple_impl.84" }
%"struct.std::_Tuple_impl.84" = type { %"struct.std::_Head_base.87" }
%"struct.std::_Head_base.87" = type { ptr }
%"class.std::unique_ptr.88" = type { %"struct.std::__uniq_ptr_data.89" }
%"struct.std::__uniq_ptr_data.89" = type { %"class.std::__uniq_ptr_impl.90" }
%"class.std::__uniq_ptr_impl.90" = type { %"class.std::tuple.91" }
%"class.std::tuple.91" = type { %"struct.std::_Tuple_impl.92" }
%"struct.std::_Tuple_impl.92" = type { %"struct.std::_Head_base.95" }
%"struct.std::_Head_base.95" = type { ptr }
%class.HighsRandom = type { i64 }
%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.3", %"class.std::vector.3", %"class.std::vector.3", %struct.RefactorInfo, i32, i32, i32, i32, i32, i32, i32, double, i8, ptr, ptr, ptr, ptr, double, double, i32, double, %"class.std::unique_ptr.96", %struct.HighsLogOptions, i8, i8, i32, i32, ptr, i32, %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.104", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", i32, i32, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %class.HVectorBase }
%struct.RefactorInfo = type { i8, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.75", double }
%"class.std::unique_ptr.96" = type { %"struct.std::__uniq_ptr_data.97" }
%"struct.std::__uniq_ptr_data.97" = type { %"class.std::__uniq_ptr_impl.98" }
%"class.std::__uniq_ptr_impl.98" = type { %"class.std::tuple.99" }
%"class.std::tuple.99" = type { %"struct.std::_Tuple_impl.100" }
%"struct.std::_Tuple_impl.100" = type { %"struct.std::_Head_base.103" }
%"struct.std::_Head_base.103" = type { ptr }
%"class.std::vector.104" = type { %"struct.std::_Vector_base.105" }
%"struct.std::_Vector_base.105" = 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.HVectorBase = type { i32, i32, %"class.std::vector.3", %"class.std::vector", double, %"class.std::vector.104", %"class.std::vector.3", ptr, i8, i32, %"class.std::vector.3", %"class.std::vector" }
%struct.ProductFormUpdate = type { i8, i32, i32, %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector" }
%struct.SimplexIterate = type { i8, %struct.SimplexBasis, %struct.InvertibleRepresentation, %"class.std::vector" }
%struct.InvertibleRepresentation = type { %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector" }
%struct.HotStart = type { i8, %struct.RefactorInfo, %"class.std::vector.75" }
%struct.HighsRayRecord = type { i32, i32, %"class.std::vector" }
%"class.std::vector.106" = type { %"struct.std::_Vector_base.107" }
%"struct.std::_Vector_base.107" = 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 }
%struct.HighsPresolveLog = type { %"class.std::vector.111" }
%"class.std::vector.111" = type { %"struct.std::_Vector_base.112" }
%"struct.std::_Vector_base.112" = type { %"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.PresolveComponent = type { %class.HighsComponent.base, %struct.PresolveComponentInfo, %struct.PresolveComponentData, ptr, ptr, i32, i32 }
%class.HighsComponent.base = type <{ ptr, %struct.HighsComponentInfo, %struct.HighsComponentData, %struct.HighsComponentOptions }>
%struct.HighsComponentInfo = type { i8 }
%struct.HighsComponentData = type { i8 }
%struct.HighsComponentOptions = type { i8 }
%struct.PresolveComponentInfo = type { ptr, %struct.HighsComponentInfo, i32, i32, i32, double, double }
%struct.PresolveComponentData = type { ptr, %struct.HighsComponentData, %class.HighsLp, %"class.presolve::HighsPostsolveStack", %struct.HighsSolution, %struct.HighsBasis, %struct.HighsPresolveLog }
%"class.presolve::HighsPostsolveStack" = type { i64, double, double, double, double, %class.HighsDataStack, %"class.std::vector.116", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.121", %"class.std::vector.126", %"class.std::vector.126", i32, i32 }
%class.HighsDataStack = type { %"class.std::vector.104", i64 }
%"class.std::vector.116" = type { %"struct.std::_Vector_base.117" }
%"struct.std::_Vector_base.117" = type { %"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.121" = type { %"struct.std::_Vector_base.122" }
%"struct.std::_Vector_base.122" = type { %"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.126" = type { %"struct.std::_Vector_base.127" }
%"struct.std::_Vector_base.127" = type { %"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl" }
%"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl" = type { %"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl_data" }
%"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@constinit = external hidden constant [3 x double], align 8
@constinit.51 = external hidden constant [3 x double], align 8
@constinit.52 = external hidden constant [5 x i32], align 4
@constinit.53 = external hidden constant [5 x double], align 8
@.str.54 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [82 x i8], align 1
@__PRETTY_FUNCTION__.main = external hidden unnamed_addr constant [11 x i8], align 1
@.str.56 = external hidden unnamed_addr constant [43 x i8], align 1
@_ZSt4cout = external global %"class.std::basic_ostream", align 8
@.str.57 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.59 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.60 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.61 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.62 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.63 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.64 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.65 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.66 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.67 = external hidden unnamed_addr constant [8 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 norecurse uwtable
define dso_local noundef i32 @main() #2 personality ptr @__gxx_personality_v0 {
  %1 = alloca i32, align 4
  %2 = alloca %class.HighsModel, align 8
  %3 = alloca %"class.std::initializer_list", align 8
  %4 = alloca [2 x double], align 8
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca %"class.std::initializer_list", align 8
  %8 = alloca [2 x double], align 8
  %9 = alloca %"class.std::initializer_list", align 8
  %10 = alloca [2 x double], align 8
  %11 = alloca %"class.std::initializer_list", align 8
  %12 = alloca [3 x double], align 8
  %13 = alloca %"class.std::initializer_list", align 8
  %14 = alloca [3 x double], align 8
  %15 = alloca %"class.std::initializer_list.23", align 8
  %16 = alloca [3 x i32], align 4
  %17 = alloca %"class.std::initializer_list.23", align 8
  %18 = alloca [5 x i32], align 4
  %19 = alloca %"class.std::initializer_list", align 8
  %20 = alloca [5 x double], align 8
  %21 = alloca %class.Highs, align 8
  %22 = alloca i32, align 4
  %23 = alloca %class.HighsModel, align 8
  %24 = alloca ptr, align 8
  %25 = alloca ptr, align 8
  %26 = alloca %"class.std::__cxx11::basic_string", align 8
  %27 = alloca ptr, align 8
  %28 = alloca %"class.std::__cxx11::basic_string", align 8
  %29 = alloca %"class.std::__cxx11::basic_string", align 8
  %30 = alloca %"class.std::__cxx11::basic_string", align 8
  %31 = alloca i8, align 1
  %32 = alloca i8, align 1
  %33 = alloca i8, align 1
  %34 = alloca ptr, align 8
  %35 = alloca ptr, align 8
  %36 = alloca i32, align 4
  %37 = alloca %"class.std::__cxx11::basic_string", align 8
  %38 = alloca i32, align 4
  %39 = alloca %"class.std::__cxx11::basic_string", align 8
  %40 = alloca i32, align 4
  %41 = alloca %class.HighsModel, align 8
  %42 = alloca i32, align 4
  %43 = alloca i32, align 4
  store i32 0, ptr %1, align 4
  call void @llvm.lifetime.start.p0(i64 1000, ptr %2) #9
  call void @_ZN10HighsModelC2Ev(ptr noundef nonnull align 8 dereferenceable(1000) %2)
  %44 = getelementptr inbounds %class.HighsModel, ptr %2, i32 0, i32 0
  %45 = getelementptr inbounds %class.HighsLp, ptr %44, i32 0, i32 0
  store i32 2, ptr %45, align 8, !tbaa !5
  %46 = getelementptr inbounds %class.HighsModel, ptr %2, i32 0, i32 0
  %47 = getelementptr inbounds %class.HighsLp, ptr %46, i32 0, i32 1
  store i32 3, ptr %47, align 4, !tbaa !46
  %48 = getelementptr inbounds %class.HighsModel, ptr %2, i32 0, i32 0
  %49 = getelementptr inbounds %class.HighsLp, ptr %48, i32 0, i32 8
  store i32 1, ptr %49, align 8, !tbaa !47
  %50 = getelementptr inbounds %class.HighsModel, ptr %2, i32 0, i32 0
  %51 = getelementptr inbounds %class.HighsLp, ptr %50, i32 0, i32 9
  store double 3.000000e+00, ptr %51, align 8, !tbaa !48
  call void @llvm.lifetime.start.p0(i64 16, ptr %4) #9
  store double 1.000000e+00, ptr %4, align 8, !tbaa !49
  %52 = getelementptr inbounds double, ptr %4, i64 1
  store double 1.000000e+00, ptr %52, align 8, !tbaa !49
  %53 = getelementptr inbounds %"class.std::initializer_list", ptr %3, i32 0, i32 0
  store ptr %4, ptr %53, align 8, !tbaa !50
  %54 = getelementptr inbounds %"class.std::initializer_list", ptr %3, i32 0, i32 1
  store i64 2, ptr %54, align 8, !tbaa !52
  %55 = getelementptr inbounds %class.HighsModel, ptr %2, i32 0, i32 0
  %56 = getelementptr inbounds %class.HighsLp, ptr %55, i32 0, i32 2
  %57 = getelementptr inbounds { ptr, i64 }, ptr %3, i32 0, i32 0
  %58 = load ptr, ptr %57, align 8
  %59 = getelementptr inbounds { ptr, i64 }, ptr %3, i32 0, i32 1
  %60 = load i64, ptr %59, align 8
  %61 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIdSaIdEEaSESt16initializer_listIdE(ptr noundef nonnull align 8 dereferenceable(24) %56, ptr %58, i64 %60)
          to label %62 unwind label %151

62:                                               ; preds = %0
  call void @llvm.lifetime.end.p0(i64 16, ptr %4) #9
  call void @llvm.lifetime.start.p0(i64 16, ptr %8) #9
  store double 0.000000e+00, ptr %8, align 8, !tbaa !49
  %63 = getelementptr inbounds double, ptr %8, i64 1
  store double 1.000000e+00, ptr %63, align 8, !tbaa !49
  %64 = getelementptr inbounds %"class.std::initializer_list", ptr %7, i32 0, i32 0
  store ptr %8, ptr %64, align 8, !tbaa !50
  %65 = getelementptr inbounds %"class.std::initializer_list", ptr %7, i32 0, i32 1
  store i64 2, ptr %65, align 8, !tbaa !52
  %66 = getelementptr inbounds %class.HighsModel, ptr %2, i32 0, i32 0
  %67 = getelementptr inbounds %class.HighsLp, ptr %66, i32 0, i32 3
  %68 = getelementptr inbounds { ptr, i64 }, ptr %7, i32 0, i32 0
  %69 = load ptr, ptr %68, align 8
  %70 = getelementptr inbounds { ptr, i64 }, ptr %7, i32 0, i32 1
  %71 = load i64, ptr %70, align 8
  %72 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIdSaIdEEaSESt16initializer_listIdE(ptr noundef nonnull align 8 dereferenceable(24) %67, ptr %69, i64 %71)
          to label %73 unwind label %155

73:                                               ; preds = %62
  call void @llvm.lifetime.end.p0(i64 16, ptr %8) #9
  call void @llvm.lifetime.start.p0(i64 16, ptr %10) #9
  store double 4.000000e+00, ptr %10, align 8, !tbaa !49
  %74 = getelementptr inbounds double, ptr %10, i64 1
  store double 1.000000e+30, ptr %74, align 8, !tbaa !49
  %75 = getelementptr inbounds %"class.std::initializer_list", ptr %9, i32 0, i32 0
  store ptr %10, ptr %75, align 8, !tbaa !50
  %76 = getelementptr inbounds %"class.std::initializer_list", ptr %9, i32 0, i32 1
  store i64 2, ptr %76, align 8, !tbaa !52
  %77 = getelementptr inbounds %class.HighsModel, ptr %2, i32 0, i32 0
  %78 = getelementptr inbounds %class.HighsLp, ptr %77, i32 0, i32 4
  %79 = getelementptr inbounds { ptr, i64 }, ptr %9, i32 0, i32 0
  %80 = load ptr, ptr %79, align 8
  %81 = getelementptr inbounds { ptr, i64 }, ptr %9, i32 0, i32 1
  %82 = load i64, ptr %81, align 8
  %83 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIdSaIdEEaSESt16initializer_listIdE(ptr noundef nonnull align 8 dereferenceable(24) %78, ptr %80, i64 %82)
          to label %84 unwind label %159

84:                                               ; preds = %73
  call void @llvm.lifetime.end.p0(i64 16, ptr %10) #9
  call void @llvm.lifetime.start.p0(i64 24, ptr %12) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %12, ptr align 8 @constinit, i64 24, i1 false), !tbaa.struct !53
  %85 = getelementptr inbounds %"class.std::initializer_list", ptr %11, i32 0, i32 0
  store ptr %12, ptr %85, align 8, !tbaa !50
  %86 = getelementptr inbounds %"class.std::initializer_list", ptr %11, i32 0, i32 1
  store i64 3, ptr %86, align 8, !tbaa !52
  %87 = getelementptr inbounds %class.HighsModel, ptr %2, i32 0, i32 0
  %88 = getelementptr inbounds %class.HighsLp, ptr %87, i32 0, i32 5
  %89 = getelementptr inbounds { ptr, i64 }, ptr %11, i32 0, i32 0
  %90 = load ptr, ptr %89, align 8
  %91 = getelementptr inbounds { ptr, i64 }, ptr %11, i32 0, i32 1
  %92 = load i64, ptr %91, align 8
  %93 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIdSaIdEEaSESt16initializer_listIdE(ptr noundef nonnull align 8 dereferenceable(24) %88, ptr %90, i64 %92)
          to label %94 unwind label %163

94:                                               ; preds = %84
  call void @llvm.lifetime.end.p0(i64 24, ptr %12) #9
  call void @llvm.lifetime.start.p0(i64 24, ptr %14) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %14, ptr align 8 @constinit.51, i64 24, i1 false), !tbaa.struct !53
  %95 = getelementptr inbounds %"class.std::initializer_list", ptr %13, i32 0, i32 0
  store ptr %14, ptr %95, align 8, !tbaa !50
  %96 = getelementptr inbounds %"class.std::initializer_list", ptr %13, i32 0, i32 1
  store i64 3, ptr %96, align 8, !tbaa !52
  %97 = getelementptr inbounds %class.HighsModel, ptr %2, i32 0, i32 0
  %98 = getelementptr inbounds %class.HighsLp, ptr %97, i32 0, i32 6
  %99 = getelementptr inbounds { ptr, i64 }, ptr %13, i32 0, i32 0
  %100 = load ptr, ptr %99, align 8
  %101 = getelementptr inbounds { ptr, i64 }, ptr %13, i32 0, i32 1
  %102 = load i64, ptr %101, align 8
  %103 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIdSaIdEEaSESt16initializer_listIdE(ptr noundef nonnull align 8 dereferenceable(24) %98, ptr %100, i64 %102)
          to label %104 unwind label %167

104:                                              ; preds = %94
  call void @llvm.lifetime.end.p0(i64 24, ptr %14) #9
  %105 = getelementptr inbounds %class.HighsModel, ptr %2, i32 0, i32 0
  %106 = getelementptr inbounds %class.HighsLp, ptr %105, i32 0, i32 7
  %107 = getelementptr inbounds %class.HighsSparseMatrix, ptr %106, i32 0, i32 0
  store i32 1, ptr %107, align 8, !tbaa !55
  call void @llvm.lifetime.start.p0(i64 12, ptr %16) #9
  store i32 0, ptr %16, align 4, !tbaa !56
  %108 = getelementptr inbounds i32, ptr %16, i64 1
  store i32 2, ptr %108, align 4, !tbaa !56
  %109 = getelementptr inbounds i32, ptr %16, i64 2
  store i32 5, ptr %109, align 4, !tbaa !56
  %110 = getelementptr inbounds %"class.std::initializer_list.23", ptr %15, i32 0, i32 0
  store ptr %16, ptr %110, align 8, !tbaa !57
  %111 = getelementptr inbounds %"class.std::initializer_list.23", ptr %15, i32 0, i32 1
  store i64 3, ptr %111, align 8, !tbaa !59
  %112 = getelementptr inbounds %class.HighsModel, ptr %2, i32 0, i32 0
  %113 = getelementptr inbounds %class.HighsLp, ptr %112, i32 0, i32 7
  %114 = getelementptr inbounds %class.HighsSparseMatrix, ptr %113, i32 0, i32 3
  %115 = getelementptr inbounds { ptr, i64 }, ptr %15, i32 0, i32 0
  %116 = load ptr, ptr %115, align 8
  %117 = getelementptr inbounds { ptr, i64 }, ptr %15, i32 0, i32 1
  %118 = load i64, ptr %117, align 8
  %119 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIiSaIiEEaSESt16initializer_listIiE(ptr noundef nonnull align 8 dereferenceable(24) %114, ptr %116, i64 %118)
          to label %120 unwind label %171

120:                                              ; preds = %104
  call void @llvm.lifetime.end.p0(i64 12, ptr %16) #9
  call void @llvm.lifetime.start.p0(i64 20, ptr %18) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %18, ptr align 4 @constinit.52, i64 20, i1 false), !tbaa.struct !60
  %121 = getelementptr inbounds %"class.std::initializer_list.23", ptr %17, i32 0, i32 0
  store ptr %18, ptr %121, align 8, !tbaa !57
  %122 = getelementptr inbounds %"class.std::initializer_list.23", ptr %17, i32 0, i32 1
  store i64 5, ptr %122, align 8, !tbaa !59
  %123 = getelementptr inbounds %class.HighsModel, ptr %2, i32 0, i32 0
  %124 = getelementptr inbounds %class.HighsLp, ptr %123, i32 0, i32 7
  %125 = getelementptr inbounds %class.HighsSparseMatrix, ptr %124, i32 0, i32 5
  %126 = getelementptr inbounds { ptr, i64 }, ptr %17, i32 0, i32 0
  %127 = load ptr, ptr %126, align 8
  %128 = getelementptr inbounds { ptr, i64 }, ptr %17, i32 0, i32 1
  %129 = load i64, ptr %128, align 8
  %130 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIiSaIiEEaSESt16initializer_listIiE(ptr noundef nonnull align 8 dereferenceable(24) %125, ptr %127, i64 %129)
          to label %131 unwind label %175

131:                                              ; preds = %120
  call void @llvm.lifetime.end.p0(i64 20, ptr %18) #9
  call void @llvm.lifetime.start.p0(i64 40, ptr %20) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %20, ptr align 8 @constinit.53, i64 40, i1 false), !tbaa.struct !61
  %132 = getelementptr inbounds %"class.std::initializer_list", ptr %19, i32 0, i32 0
  store ptr %20, ptr %132, align 8, !tbaa !50
  %133 = getelementptr inbounds %"class.std::initializer_list", ptr %19, i32 0, i32 1
  store i64 5, ptr %133, align 8, !tbaa !52
  %134 = getelementptr inbounds %class.HighsModel, ptr %2, i32 0, i32 0
  %135 = getelementptr inbounds %class.HighsLp, ptr %134, i32 0, i32 7
  %136 = getelementptr inbounds %class.HighsSparseMatrix, ptr %135, i32 0, i32 6
  %137 = getelementptr inbounds { ptr, i64 }, ptr %19, i32 0, i32 0
  %138 = load ptr, ptr %137, align 8
  %139 = getelementptr inbounds { ptr, i64 }, ptr %19, i32 0, i32 1
  %140 = load i64, ptr %139, align 8
  %141 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIdSaIdEEaSESt16initializer_listIdE(ptr noundef nonnull align 8 dereferenceable(24) %136, ptr %138, i64 %140)
          to label %142 unwind label %179

142:                                              ; preds = %131
  call void @llvm.lifetime.end.p0(i64 40, ptr %20) #9
  call void @llvm.lifetime.start.p0(i64 20928, ptr %21) #9
  invoke void @_ZN5HighsC1Ev(ptr noundef nonnull align 8 dereferenceable(20928) %21)
          to label %143 unwind label %183

143:                                              ; preds = %142
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #9
  invoke void @_ZN10HighsModelC2ERKS_(ptr noundef nonnull align 8 dereferenceable(1000) %23, ptr noundef nonnull align 8 dereferenceable(1000) %2)
          to label %144 unwind label %187

144:                                              ; preds = %143
  %145 = invoke noundef i32 @_ZN5Highs9passModelE10HighsModel(ptr noundef nonnull align 8 dereferenceable(20928) %21, ptr noundef %23)
          to label %146 unwind label %191

146:                                              ; preds = %144
  store i32 %145, ptr %22, align 4, !tbaa !62
  call void @_ZN10HighsModelD2Ev(ptr noundef nonnull align 8 dereferenceable(1000) %23) #9
  %147 = load i32, ptr %22, align 4, !tbaa !62
  %148 = icmp eq i32 %147, 0
  br i1 %148, label %149, label %150

149:                                              ; preds = %146
  br label %196

150:                                              ; preds = %146
  call void @__assert_fail(ptr noundef @.str.54, ptr noundef @.str.55, i32 noundef 98, ptr noundef @__PRETTY_FUNCTION__.main) #10
  unreachable

151:                                              ; preds = %0
  %152 = landingpad { ptr, i32 }
          cleanup
  %153 = extractvalue { ptr, i32 } %152, 0
  store ptr %153, ptr %5, align 8
  %154 = extractvalue { ptr, i32 } %152, 1
  store i32 %154, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %4) #9
  br label %637

155:                                              ; preds = %62
  %156 = landingpad { ptr, i32 }
          cleanup
  %157 = extractvalue { ptr, i32 } %156, 0
  store ptr %157, ptr %5, align 8
  %158 = extractvalue { ptr, i32 } %156, 1
  store i32 %158, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %8) #9
  br label %637

159:                                              ; preds = %73
  %160 = landingpad { ptr, i32 }
          cleanup
  %161 = extractvalue { ptr, i32 } %160, 0
  store ptr %161, ptr %5, align 8
  %162 = extractvalue { ptr, i32 } %160, 1
  store i32 %162, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %10) #9
  br label %637

163:                                              ; preds = %84
  %164 = landingpad { ptr, i32 }
          cleanup
  %165 = extractvalue { ptr, i32 } %164, 0
  store ptr %165, ptr %5, align 8
  %166 = extractvalue { ptr, i32 } %164, 1
  store i32 %166, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 24, ptr %12) #9
  br label %637

167:                                              ; preds = %94
  %168 = landingpad { ptr, i32 }
          cleanup
  %169 = extractvalue { ptr, i32 } %168, 0
  store ptr %169, ptr %5, align 8
  %170 = extractvalue { ptr, i32 } %168, 1
  store i32 %170, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 24, ptr %14) #9
  br label %637

171:                                              ; preds = %104
  %172 = landingpad { ptr, i32 }
          cleanup
  %173 = extractvalue { ptr, i32 } %172, 0
  store ptr %173, ptr %5, align 8
  %174 = extractvalue { ptr, i32 } %172, 1
  store i32 %174, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 12, ptr %16) #9
  br label %637

175:                                              ; preds = %120
  %176 = landingpad { ptr, i32 }
          cleanup
  %177 = extractvalue { ptr, i32 } %176, 0
  store ptr %177, ptr %5, align 8
  %178 = extractvalue { ptr, i32 } %176, 1
  store i32 %178, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 20, ptr %18) #9
  br label %637

179:                                              ; preds = %131
  %180 = landingpad { ptr, i32 }
          cleanup
  %181 = extractvalue { ptr, i32 } %180, 0
  store ptr %181, ptr %5, align 8
  %182 = extractvalue { ptr, i32 } %180, 1
  store i32 %182, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 40, ptr %20) #9
  br label %637

183:                                              ; preds = %142
  %184 = landingpad { ptr, i32 }
          cleanup
  %185 = extractvalue { ptr, i32 } %184, 0
  store ptr %185, ptr %5, align 8
  %186 = extractvalue { ptr, i32 } %184, 1
  store i32 %186, ptr %6, align 4
  br label %636

187:                                              ; preds = %143
  %188 = landingpad { ptr, i32 }
          cleanup
  %189 = extractvalue { ptr, i32 } %188, 0
  store ptr %189, ptr %5, align 8
  %190 = extractvalue { ptr, i32 } %188, 1
  store i32 %190, ptr %6, align 4
  br label %635

191:                                              ; preds = %144
  %192 = landingpad { ptr, i32 }
          cleanup
  %193 = extractvalue { ptr, i32 } %192, 0
  store ptr %193, ptr %5, align 8
  %194 = extractvalue { ptr, i32 } %192, 1
  store i32 %194, ptr %6, align 4
  call void @_ZN10HighsModelD2Ev(ptr noundef nonnull align 8 dereferenceable(1000) %23) #9
  br label %635

195:                                              ; No predecessors!
  br label %196

196:                                              ; preds = %195, %149
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #9
  %197 = invoke noundef nonnull align 8 dereferenceable(920) ptr @_ZNK5Highs5getLpEv(ptr noundef nonnull align 8 dereferenceable(20928) %21)
          to label %198 unwind label %205

198:                                              ; preds = %196
  store ptr %197, ptr %24, align 8, !tbaa !64
  %199 = invoke noundef i32 @_ZN5Highs3runEv(ptr noundef nonnull align 8 dereferenceable(20928) %21)
          to label %200 unwind label %205

200:                                              ; preds = %198
  store i32 %199, ptr %22, align 4, !tbaa !62
  %201 = load i32, ptr %22, align 4, !tbaa !62
  %202 = icmp eq i32 %201, 0
  br i1 %202, label %203, label %204

203:                                              ; preds = %200
  br label %210

204:                                              ; preds = %200
  call void @__assert_fail(ptr noundef @.str.54, ptr noundef @.str.55, i32 noundef 110, ptr noundef @__PRETTY_FUNCTION__.main) #10
  unreachable

205:                                              ; preds = %198, %196
  %206 = landingpad { ptr, i32 }
          cleanup
  %207 = extractvalue { ptr, i32 } %206, 0
  store ptr %207, ptr %5, align 8
  %208 = extractvalue { ptr, i32 } %206, 1
  store i32 %208, ptr %6, align 4
  br label %634

209:                                              ; No predecessors!
  br label %210

210:                                              ; preds = %209, %203
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #9
  %211 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNK5Highs14getModelStatusEv(ptr noundef nonnull align 8 dereferenceable(20928) %21)
          to label %212 unwind label %218

212:                                              ; preds = %210
  store ptr %211, ptr %25, align 8, !tbaa !64
  %213 = load ptr, ptr %25, align 8, !tbaa !64
  %214 = load i32, ptr %213, align 4, !tbaa !65
  %215 = icmp eq i32 %214, 7
  br i1 %215, label %216, label %217

216:                                              ; preds = %212
  br label %223

217:                                              ; preds = %212
  call void @__assert_fail(ptr noundef @.str.56, ptr noundef @.str.55, i32 noundef 114, ptr noundef @__PRETTY_FUNCTION__.main) #10
  unreachable

218:                                              ; preds = %223, %210
  %219 = landingpad { ptr, i32 }
          cleanup
  %220 = extractvalue { ptr, i32 } %219, 0
  store ptr %220, ptr %5, align 8
  %221 = extractvalue { ptr, i32 } %219, 1
  store i32 %221, ptr %6, align 4
  br label %633

222:                                              ; No predecessors!
  br label %223

223:                                              ; preds = %222, %216
  %224 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.57)
          to label %225 unwind label %218

225:                                              ; preds = %223
  call void @llvm.lifetime.start.p0(i64 32, ptr %26) #9
  %226 = load ptr, ptr %25, align 8, !tbaa !64
  %227 = load i32, ptr %226, align 4, !tbaa !65
  invoke void @_ZNK5Highs19modelStatusToStringB5cxx11E16HighsModelStatus(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %26, ptr noundef nonnull align 8 dereferenceable(20928) %21, i32 noundef %227)
          to label %228 unwind label %317

228:                                              ; preds = %225
  %229 = 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) %224, ptr noundef nonnull align 8 dereferenceable(32) %26)
          to label %230 unwind label %321

230:                                              ; preds = %228
  %231 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %229, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %232 unwind label %321

232:                                              ; preds = %230
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %26) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %26) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #9
  %233 = invoke noundef nonnull align 8 dereferenceable(184) ptr @_ZNK5Highs7getInfoEv(ptr noundef nonnull align 8 dereferenceable(20928) %21)
          to label %234 unwind label %326

234:                                              ; preds = %232
  store ptr %233, ptr %27, align 8, !tbaa !64
  %235 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.58)
          to label %236 unwind label %326

236:                                              ; preds = %234
  %237 = load ptr, ptr %27, align 8, !tbaa !64
  %238 = getelementptr inbounds i8, ptr %237, i64 8
  %239 = getelementptr inbounds %struct.HighsInfoStruct, ptr %238, i32 0, i32 2
  %240 = load i32, ptr %239, align 8, !tbaa !67
  %241 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %235, i32 noundef %240)
          to label %242 unwind label %326

242:                                              ; preds = %236
  %243 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %241, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %244 unwind label %326

244:                                              ; preds = %242
  %245 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.59)
          to label %246 unwind label %326

246:                                              ; preds = %244
  %247 = load ptr, ptr %27, align 8, !tbaa !64
  %248 = getelementptr inbounds i8, ptr %247, i64 8
  %249 = getelementptr inbounds %struct.HighsInfoStruct, ptr %248, i32 0, i32 10
  %250 = load double, ptr %249, align 8, !tbaa !69
  %251 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) %245, double noundef %250)
          to label %252 unwind label %326

252:                                              ; preds = %246
  %253 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %251, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %254 unwind label %326

254:                                              ; preds = %252
  %255 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.60)
          to label %256 unwind label %326

256:                                              ; preds = %254
  call void @llvm.lifetime.start.p0(i64 32, ptr %28) #9
  %257 = load ptr, ptr %27, align 8, !tbaa !64
  %258 = getelementptr inbounds i8, ptr %257, i64 8
  %259 = getelementptr inbounds %struct.HighsInfoStruct, ptr %258, i32 0, i32 7
  %260 = load i32, ptr %259, align 4, !tbaa !70
  invoke void @_ZNK5Highs22solutionStatusToStringB5cxx11Ei(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %28, ptr noundef nonnull align 8 dereferenceable(20928) %21, i32 noundef %260)
          to label %261 unwind label %330

261:                                              ; preds = %256
  %262 = 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) %255, ptr noundef nonnull align 8 dereferenceable(32) %28)
          to label %263 unwind label %334

263:                                              ; preds = %261
  %264 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %262, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %265 unwind label %334

265:                                              ; preds = %263
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %28) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %28) #9
  %266 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.61)
          to label %267 unwind label %326

267:                                              ; preds = %265
  call void @llvm.lifetime.start.p0(i64 32, ptr %29) #9
  %268 = load ptr, ptr %27, align 8, !tbaa !64
  %269 = getelementptr inbounds i8, ptr %268, i64 8
  %270 = getelementptr inbounds %struct.HighsInfoStruct, ptr %269, i32 0, i32 8
  %271 = load i32, ptr %270, align 8, !tbaa !71
  invoke void @_ZNK5Highs22solutionStatusToStringB5cxx11Ei(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %29, ptr noundef nonnull align 8 dereferenceable(20928) %21, i32 noundef %271)
          to label %272 unwind label %339

272:                                              ; preds = %267
  %273 = 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) %266, ptr noundef nonnull align 8 dereferenceable(32) %29)
          to label %274 unwind label %343

274:                                              ; preds = %272
  %275 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %273, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %276 unwind label %343

276:                                              ; preds = %274
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %29) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %29) #9
  %277 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.62)
          to label %278 unwind label %326

278:                                              ; preds = %276
  call void @llvm.lifetime.start.p0(i64 32, ptr %30) #9
  %279 = load ptr, ptr %27, align 8, !tbaa !64
  %280 = getelementptr inbounds i8, ptr %279, i64 8
  %281 = getelementptr inbounds %struct.HighsInfoStruct, ptr %280, i32 0, i32 9
  %282 = load i32, ptr %281, align 4, !tbaa !72
  invoke void @_ZNK5Highs21basisValidityToStringB5cxx11Ei(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %30, ptr noundef nonnull align 8 dereferenceable(20928) %21, i32 noundef %282)
          to label %283 unwind label %348

283:                                              ; preds = %278
  %284 = 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) %277, ptr noundef nonnull align 8 dereferenceable(32) %30)
          to label %285 unwind label %352

285:                                              ; preds = %283
  %286 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %284, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %287 unwind label %352

287:                                              ; preds = %285
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %30) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %30) #9
  call void @llvm.lifetime.start.p0(i64 1, ptr %31) #9
  %288 = load ptr, ptr %27, align 8, !tbaa !64
  %289 = getelementptr inbounds i8, ptr %288, i64 8
  %290 = getelementptr inbounds %struct.HighsInfoStruct, ptr %289, i32 0, i32 7
  %291 = load i32, ptr %290, align 4, !tbaa !70
  %292 = icmp ne i32 %291, 0
  %293 = zext i1 %292 to i8
  store i8 %293, ptr %31, align 1, !tbaa !73
  call void @llvm.lifetime.start.p0(i64 1, ptr %32) #9
  %294 = load ptr, ptr %27, align 8, !tbaa !64
  %295 = getelementptr inbounds i8, ptr %294, i64 8
  %296 = getelementptr inbounds %struct.HighsInfoStruct, ptr %295, i32 0, i32 8
  %297 = load i32, ptr %296, align 8, !tbaa !71
  %298 = icmp ne i32 %297, 0
  %299 = zext i1 %298 to i8
  store i8 %299, ptr %32, align 1, !tbaa !73
  call void @llvm.lifetime.start.p0(i64 1, ptr %33) #9
  %300 = load ptr, ptr %27, align 8, !tbaa !64
  %301 = getelementptr inbounds i8, ptr %300, i64 8
  %302 = getelementptr inbounds %struct.HighsInfoStruct, ptr %301, i32 0, i32 9
  %303 = load i32, ptr %302, align 4, !tbaa !72
  %304 = icmp ne i32 %303, 0
  %305 = zext i1 %304 to i8
  store i8 %305, ptr %33, align 1, !tbaa !73
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #9
  %306 = invoke noundef nonnull align 8 dereferenceable(104) ptr @_ZNK5Highs11getSolutionEv(ptr noundef nonnull align 8 dereferenceable(20928) %21)
          to label %307 unwind label %357

307:                                              ; preds = %287
  store ptr %306, ptr %34, align 8, !tbaa !64
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #9
  %308 = invoke noundef nonnull align 8 dereferenceable(96) ptr @_ZNK5Highs8getBasisEv(ptr noundef nonnull align 8 dereferenceable(20928) %21)
          to label %309 unwind label %361

309:                                              ; preds = %307
  store ptr %308, ptr %35, align 8, !tbaa !64
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #9
  store i32 0, ptr %36, align 4, !tbaa !56
  br label %310

310:                                              ; preds = %429, %309
  %311 = load i32, ptr %36, align 4, !tbaa !56
  %312 = load ptr, ptr %24, align 8, !tbaa !64
  %313 = getelementptr inbounds %class.HighsLp, ptr %312, i32 0, i32 0
  %314 = load i32, ptr %313, align 8, !tbaa !74
  %315 = icmp slt i32 %311, %314
  br i1 %315, label %365, label %316

316:                                              ; preds = %310
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #9
  br label %433

317:                                              ; preds = %225
  %318 = landingpad { ptr, i32 }
          cleanup
  %319 = extractvalue { ptr, i32 } %318, 0
  store ptr %319, ptr %5, align 8
  %320 = extractvalue { ptr, i32 } %318, 1
  store i32 %320, ptr %6, align 4
  br label %325

321:                                              ; preds = %230, %228
  %322 = landingpad { ptr, i32 }
          cleanup
  %323 = extractvalue { ptr, i32 } %322, 0
  store ptr %323, ptr %5, align 8
  %324 = extractvalue { ptr, i32 } %322, 1
  store i32 %324, ptr %6, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %26) #9
  br label %325

325:                                              ; preds = %321, %317
  call void @llvm.lifetime.end.p0(i64 32, ptr %26) #9
  br label %633

326:                                              ; preds = %276, %265, %254, %252, %246, %244, %242, %236, %234, %232
  %327 = landingpad { ptr, i32 }
          cleanup
  %328 = extractvalue { ptr, i32 } %327, 0
  store ptr %328, ptr %5, align 8
  %329 = extractvalue { ptr, i32 } %327, 1
  store i32 %329, ptr %6, align 4
  br label %632

330:                                              ; preds = %256
  %331 = landingpad { ptr, i32 }
          cleanup
  %332 = extractvalue { ptr, i32 } %331, 0
  store ptr %332, ptr %5, align 8
  %333 = extractvalue { ptr, i32 } %331, 1
  store i32 %333, ptr %6, align 4
  br label %338

334:                                              ; preds = %263, %261
  %335 = landingpad { ptr, i32 }
          cleanup
  %336 = extractvalue { ptr, i32 } %335, 0
  store ptr %336, ptr %5, align 8
  %337 = extractvalue { ptr, i32 } %335, 1
  store i32 %337, ptr %6, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %28) #9
  br label %338

338:                                              ; preds = %334, %330
  call void @llvm.lifetime.end.p0(i64 32, ptr %28) #9
  br label %632

339:                                              ; preds = %267
  %340 = landingpad { ptr, i32 }
          cleanup
  %341 = extractvalue { ptr, i32 } %340, 0
  store ptr %341, ptr %5, align 8
  %342 = extractvalue { ptr, i32 } %340, 1
  store i32 %342, ptr %6, align 4
  br label %347

343:                                              ; preds = %274, %272
  %344 = landingpad { ptr, i32 }
          cleanup
  %345 = extractvalue { ptr, i32 } %344, 0
  store ptr %345, ptr %5, align 8
  %346 = extractvalue { ptr, i32 } %344, 1
  store i32 %346, ptr %6, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %29) #9
  br label %347

347:                                              ; preds = %343, %339
  call void @llvm.lifetime.end.p0(i64 32, ptr %29) #9
  br label %632

348:                                              ; preds = %278
  %349 = landingpad { ptr, i32 }
          cleanup
  %350 = extractvalue { ptr, i32 } %349, 0
  store ptr %350, ptr %5, align 8
  %351 = extractvalue { ptr, i32 } %349, 1
  store i32 %351, ptr %6, align 4
  br label %356

352:                                              ; preds = %285, %283
  %353 = landingpad { ptr, i32 }
          cleanup
  %354 = extractvalue { ptr, i32 } %353, 0
  store ptr %354, ptr %5, align 8
  %355 = extractvalue { ptr, i32 } %353, 1
  store i32 %355, ptr %6, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %30) #9
  br label %356

356:                                              ; preds = %352, %348
  call void @llvm.lifetime.end.p0(i64 32, ptr %30) #9
  br label %632

357:                                              ; preds = %287
  %358 = landingpad { ptr, i32 }
          cleanup
  %359 = extractvalue { ptr, i32 } %358, 0
  store ptr %359, ptr %5, align 8
  %360 = extractvalue { ptr, i32 } %358, 1
  store i32 %360, ptr %6, align 4
  br label %631

361:                                              ; preds = %536, %533, %509, %307
  %362 = landingpad { ptr, i32 }
          cleanup
  %363 = extractvalue { ptr, i32 } %362, 0
  store ptr %363, ptr %5, align 8
  %364 = extractvalue { ptr, i32 } %362, 1
  store i32 %364, ptr %6, align 4
  br label %630

365:                                              ; preds = %310
  %366 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.63)
          to label %367 unwind label %384

367:                                              ; preds = %365
  %368 = load i32, ptr %36, align 4, !tbaa !56
  %369 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %366, i32 noundef %368)
          to label %370 unwind label %384

370:                                              ; preds = %367
  %371 = load i8, ptr %31, align 1, !tbaa !73, !range !75, !noundef !76
  %372 = trunc i8 %371 to i1
  br i1 %372, label %373, label %388

373:                                              ; preds = %370
  %374 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.64)
          to label %375 unwind label %384

375:                                              ; preds = %373
  %376 = load ptr, ptr %34, align 8, !tbaa !64
  %377 = getelementptr inbounds %struct.HighsSolution, ptr %376, i32 0, i32 2
  %378 = load i32, ptr %36, align 4, !tbaa !56
  %379 = sext i32 %378 to i64
  %380 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %377, i64 noundef %379) #9
  %381 = load double, ptr %380, align 8, !tbaa !49
  %382 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) %374, double noundef %381)
          to label %383 unwind label %384

383:                                              ; preds = %375
  br label %388

384:                                              ; preds = %426, %405, %393, %391, %375, %373, %367, %365
  %385 = landingpad { ptr, i32 }
          cleanup
  %386 = extractvalue { ptr, i32 } %385, 0
  store ptr %386, ptr %5, align 8
  %387 = extractvalue { ptr, i32 } %385, 1
  store i32 %387, ptr %6, align 4
  br label %432

388:                                              ; preds = %383, %370
  %389 = load i8, ptr %32, align 1, !tbaa !73, !range !75, !noundef !76
  %390 = trunc i8 %389 to i1
  br i1 %390, label %391, label %402

391:                                              ; preds = %388
  %392 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.65)
          to label %393 unwind label %384

393:                                              ; preds = %391
  %394 = load ptr, ptr %34, align 8, !tbaa !64
  %395 = getelementptr inbounds %struct.HighsSolution, ptr %394, i32 0, i32 3
  %396 = load i32, ptr %36, align 4, !tbaa !56
  %397 = sext i32 %396 to i64
  %398 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %395, i64 noundef %397) #9
  %399 = load double, ptr %398, align 8, !tbaa !49
  %400 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) %392, double noundef %399)
          to label %401 unwind label %384

401:                                              ; preds = %393
  br label %402

402:                                              ; preds = %401, %388
  %403 = load i8, ptr %33, align 1, !tbaa !73, !range !75, !noundef !76
  %404 = trunc i8 %403 to i1
  br i1 %404, label %405, label %426

405:                                              ; preds = %402
  %406 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.66)
          to label %407 unwind label %384

407:                                              ; preds = %405
  call void @llvm.lifetime.start.p0(i64 32, ptr %37) #9
  %408 = load ptr, ptr %35, align 8, !tbaa !64
  %409 = getelementptr inbounds %struct.HighsBasis, ptr %408, i32 0, i32 7
  %410 = load i32, ptr %36, align 4, !tbaa !56
  %411 = sext i32 %410 to i64
  %412 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %409, i64 noundef %411) #9
  %413 = load i8, ptr %412, align 1, !tbaa !77
  invoke void @_ZNK5Highs19basisStatusToStringB5cxx11E16HighsBasisStatus(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %37, ptr noundef nonnull align 8 dereferenceable(20928) %21, i8 noundef zeroext %413)
          to label %414 unwind label %417

414:                                              ; preds = %407
  %415 = 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) %406, ptr noundef nonnull align 8 dereferenceable(32) %37)
          to label %416 unwind label %421

416:                                              ; preds = %414
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %37) #9
  br label %426

417:                                              ; preds = %407
  %418 = landingpad { ptr, i32 }
          cleanup
  %419 = extractvalue { ptr, i32 } %418, 0
  store ptr %419, ptr %5, align 8
  %420 = extractvalue { ptr, i32 } %418, 1
  store i32 %420, ptr %6, align 4
  br label %425

421:                                              ; preds = %414
  %422 = landingpad { ptr, i32 }
          cleanup
  %423 = extractvalue { ptr, i32 } %422, 0
  store ptr %423, ptr %5, align 8
  %424 = extractvalue { ptr, i32 } %422, 1
  store i32 %424, ptr %6, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #9
  br label %425

425:                                              ; preds = %421, %417
  call void @llvm.lifetime.end.p0(i64 32, ptr %37) #9
  br label %432

426:                                              ; preds = %416, %402
  %427 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %428 unwind label %384

428:                                              ; preds = %426
  br label %429

429:                                              ; preds = %428
  %430 = load i32, ptr %36, align 4, !tbaa !56
  %431 = add nsw i32 %430, 1
  store i32 %431, ptr %36, align 4, !tbaa !56
  br label %310, !llvm.loop !79

432:                                              ; preds = %425, %384
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #9
  br label %630

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

434:                                              ; preds = %505, %433
  %435 = load i32, ptr %38, align 4, !tbaa !56
  %436 = load ptr, ptr %24, align 8, !tbaa !64
  %437 = getelementptr inbounds %class.HighsLp, ptr %436, i32 0, i32 1
  %438 = load i32, ptr %437, align 4, !tbaa !81
  %439 = icmp slt i32 %435, %438
  br i1 %439, label %441, label %440

440:                                              ; preds = %434
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #9
  br label %509

441:                                              ; preds = %434
  %442 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.67)
          to label %443 unwind label %460

443:                                              ; preds = %441
  %444 = load i32, ptr %38, align 4, !tbaa !56
  %445 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %442, i32 noundef %444)
          to label %446 unwind label %460

446:                                              ; preds = %443
  %447 = load i8, ptr %31, align 1, !tbaa !73, !range !75, !noundef !76
  %448 = trunc i8 %447 to i1
  br i1 %448, label %449, label %464

449:                                              ; preds = %446
  %450 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.64)
          to label %451 unwind label %460

451:                                              ; preds = %449
  %452 = load ptr, ptr %34, align 8, !tbaa !64
  %453 = getelementptr inbounds %struct.HighsSolution, ptr %452, i32 0, i32 4
  %454 = load i32, ptr %38, align 4, !tbaa !56
  %455 = sext i32 %454 to i64
  %456 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %453, i64 noundef %455) #9
  %457 = load double, ptr %456, align 8, !tbaa !49
  %458 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) %450, double noundef %457)
          to label %459 unwind label %460

459:                                              ; preds = %451
  br label %464

460:                                              ; preds = %502, %481, %469, %467, %451, %449, %443, %441
  %461 = landingpad { ptr, i32 }
          cleanup
  %462 = extractvalue { ptr, i32 } %461, 0
  store ptr %462, ptr %5, align 8
  %463 = extractvalue { ptr, i32 } %461, 1
  store i32 %463, ptr %6, align 4
  br label %508

464:                                              ; preds = %459, %446
  %465 = load i8, ptr %32, align 1, !tbaa !73, !range !75, !noundef !76
  %466 = trunc i8 %465 to i1
  br i1 %466, label %467, label %478

467:                                              ; preds = %464
  %468 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.65)
          to label %469 unwind label %460

469:                                              ; preds = %467
  %470 = load ptr, ptr %34, align 8, !tbaa !64
  %471 = getelementptr inbounds %struct.HighsSolution, ptr %470, i32 0, i32 5
  %472 = load i32, ptr %38, align 4, !tbaa !56
  %473 = sext i32 %472 to i64
  %474 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %471, i64 noundef %473) #9
  %475 = load double, ptr %474, align 8, !tbaa !49
  %476 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) %468, double noundef %475)
          to label %477 unwind label %460

477:                                              ; preds = %469
  br label %478

478:                                              ; preds = %477, %464
  %479 = load i8, ptr %33, align 1, !tbaa !73, !range !75, !noundef !76
  %480 = trunc i8 %479 to i1
  br i1 %480, label %481, label %502

481:                                              ; preds = %478
  %482 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.66)
          to label %483 unwind label %460

483:                                              ; preds = %481
  call void @llvm.lifetime.start.p0(i64 32, ptr %39) #9
  %484 = load ptr, ptr %35, align 8, !tbaa !64
  %485 = getelementptr inbounds %struct.HighsBasis, ptr %484, i32 0, i32 8
  %486 = load i32, ptr %38, align 4, !tbaa !56
  %487 = sext i32 %486 to i64
  %488 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %485, i64 noundef %487) #9
  %489 = load i8, ptr %488, align 1, !tbaa !77
  invoke void @_ZNK5Highs19basisStatusToStringB5cxx11E16HighsBasisStatus(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %39, ptr noundef nonnull align 8 dereferenceable(20928) %21, i8 noundef zeroext %489)
          to label %490 unwind label %493

490:                                              ; preds = %483
  %491 = 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) %482, ptr noundef nonnull align 8 dereferenceable(32) %39)
          to label %492 unwind label %497

492:                                              ; preds = %490
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %39) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %39) #9
  br label %502

493:                                              ; preds = %483
  %494 = landingpad { ptr, i32 }
          cleanup
  %495 = extractvalue { ptr, i32 } %494, 0
  store ptr %495, ptr %5, align 8
  %496 = extractvalue { ptr, i32 } %494, 1
  store i32 %496, ptr %6, align 4
  br label %501

497:                                              ; preds = %490
  %498 = landingpad { ptr, i32 }
          cleanup
  %499 = extractvalue { ptr, i32 } %498, 0
  store ptr %499, ptr %5, align 8
  %500 = extractvalue { ptr, i32 } %498, 1
  store i32 %500, ptr %6, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %39) #9
  br label %501

501:                                              ; preds = %497, %493
  call void @llvm.lifetime.end.p0(i64 32, ptr %39) #9
  br label %508

502:                                              ; preds = %492, %478
  %503 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %504 unwind label %460

504:                                              ; preds = %502
  br label %505

505:                                              ; preds = %504
  %506 = load i32, ptr %38, align 4, !tbaa !56
  %507 = add nsw i32 %506, 1
  store i32 %507, ptr %38, align 4, !tbaa !56
  br label %434, !llvm.loop !82

508:                                              ; preds = %501, %460
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #9
  br label %630

509:                                              ; preds = %440
  %510 = getelementptr inbounds %class.HighsModel, ptr %2, i32 0, i32 0
  %511 = getelementptr inbounds %class.HighsLp, ptr %510, i32 0, i32 16
  %512 = load ptr, ptr %24, align 8, !tbaa !64
  %513 = getelementptr inbounds %class.HighsLp, ptr %512, i32 0, i32 0
  %514 = load i32, ptr %513, align 8, !tbaa !74
  %515 = sext i32 %514 to i64
  invoke void @_ZNSt6vectorI12HighsVarTypeSaIS0_EE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %511, i64 noundef %515)
          to label %516 unwind label %361

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

517:                                              ; preds = %530, %516
  %518 = load i32, ptr %40, align 4, !tbaa !56
  %519 = load ptr, ptr %24, align 8, !tbaa !64
  %520 = getelementptr inbounds %class.HighsLp, ptr %519, i32 0, i32 0
  %521 = load i32, ptr %520, align 8, !tbaa !74
  %522 = icmp slt i32 %518, %521
  br i1 %522, label %524, label %523

523:                                              ; preds = %517
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #9
  br label %533

524:                                              ; preds = %517
  %525 = getelementptr inbounds %class.HighsModel, ptr %2, i32 0, i32 0
  %526 = getelementptr inbounds %class.HighsLp, ptr %525, i32 0, i32 16
  %527 = load i32, ptr %40, align 4, !tbaa !56
  %528 = sext i32 %527 to i64
  %529 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %526, i64 noundef %528) #9
  store i8 1, ptr %529, align 1, !tbaa !83
  br label %530

530:                                              ; preds = %524
  %531 = load i32, ptr %40, align 4, !tbaa !56
  %532 = add nsw i32 %531, 1
  store i32 %532, ptr %40, align 4, !tbaa !56
  br label %517, !llvm.loop !85

533:                                              ; preds = %523
  invoke void @_ZN10HighsModelC2ERKS_(ptr noundef nonnull align 8 dereferenceable(1000) %41, ptr noundef nonnull align 8 dereferenceable(1000) %2)
          to label %534 unwind label %361

534:                                              ; preds = %533
  %535 = invoke noundef i32 @_ZN5Highs9passModelE10HighsModel(ptr noundef nonnull align 8 dereferenceable(20928) %21, ptr noundef %41)
          to label %536 unwind label %543

536:                                              ; preds = %534
  call void @_ZN10HighsModelD2Ev(ptr noundef nonnull align 8 dereferenceable(1000) %41) #9
  %537 = invoke noundef i32 @_ZN5Highs3runEv(ptr noundef nonnull align 8 dereferenceable(20928) %21)
          to label %538 unwind label %361

538:                                              ; preds = %536
  store i32 %537, ptr %22, align 4, !tbaa !62
  %539 = load i32, ptr %22, align 4, !tbaa !62
  %540 = icmp eq i32 %539, 0
  br i1 %540, label %541, label %542

541:                                              ; preds = %538
  br label %548

542:                                              ; preds = %538
  call void @__assert_fail(ptr noundef @.str.54, ptr noundef @.str.55, i32 noundef 160, ptr noundef @__PRETTY_FUNCTION__.main) #10
  unreachable

543:                                              ; preds = %534
  %544 = landingpad { ptr, i32 }
          cleanup
  %545 = extractvalue { ptr, i32 } %544, 0
  store ptr %545, ptr %5, align 8
  %546 = extractvalue { ptr, i32 } %544, 1
  store i32 %546, ptr %6, align 4
  call void @_ZN10HighsModelD2Ev(ptr noundef nonnull align 8 dereferenceable(1000) %41) #9
  br label %630

547:                                              ; No predecessors!
  br label %548

548:                                              ; preds = %547, %541
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #9
  store i32 0, ptr %42, align 4, !tbaa !56
  br label %549

549:                                              ; preds = %585, %548
  %550 = load i32, ptr %42, align 4, !tbaa !56
  %551 = load ptr, ptr %24, align 8, !tbaa !64
  %552 = getelementptr inbounds %class.HighsLp, ptr %551, i32 0, i32 0
  %553 = load i32, ptr %552, align 8, !tbaa !74
  %554 = icmp slt i32 %550, %553
  br i1 %554, label %556, label %555

555:                                              ; preds = %549
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #9
  br label %588

556:                                              ; preds = %549
  %557 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.63)
          to label %558 unwind label %578

558:                                              ; preds = %556
  %559 = load i32, ptr %42, align 4, !tbaa !56
  %560 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %557, i32 noundef %559)
          to label %561 unwind label %578

561:                                              ; preds = %558
  %562 = load ptr, ptr %27, align 8, !tbaa !64
  %563 = getelementptr inbounds i8, ptr %562, i64 8
  %564 = getelementptr inbounds %struct.HighsInfoStruct, ptr %563, i32 0, i32 7
  %565 = load i32, ptr %564, align 4, !tbaa !70
  %566 = icmp ne i32 %565, 0
  br i1 %566, label %567, label %582

567:                                              ; preds = %561
  %568 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.64)
          to label %569 unwind label %578

569:                                              ; preds = %567
  %570 = load ptr, ptr %34, align 8, !tbaa !64
  %571 = getelementptr inbounds %struct.HighsSolution, ptr %570, i32 0, i32 2
  %572 = load i32, ptr %42, align 4, !tbaa !56
  %573 = sext i32 %572 to i64
  %574 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %571, i64 noundef %573) #9
  %575 = load double, ptr %574, align 8, !tbaa !49
  %576 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) %568, double noundef %575)
          to label %577 unwind label %578

577:                                              ; preds = %569
  br label %582

578:                                              ; preds = %582, %569, %567, %558, %556
  %579 = landingpad { ptr, i32 }
          cleanup
  %580 = extractvalue { ptr, i32 } %579, 0
  store ptr %580, ptr %5, align 8
  %581 = extractvalue { ptr, i32 } %579, 1
  store i32 %581, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #9
  br label %630

582:                                              ; preds = %577, %561
  %583 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %584 unwind label %578

584:                                              ; preds = %582
  br label %585

585:                                              ; preds = %584
  %586 = load i32, ptr %42, align 4, !tbaa !56
  %587 = add nsw i32 %586, 1
  store i32 %587, ptr %42, align 4, !tbaa !56
  br label %549, !llvm.loop !86

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

589:                                              ; preds = %625, %588
  %590 = load i32, ptr %43, align 4, !tbaa !56
  %591 = load ptr, ptr %24, align 8, !tbaa !64
  %592 = getelementptr inbounds %class.HighsLp, ptr %591, i32 0, i32 1
  %593 = load i32, ptr %592, align 4, !tbaa !81
  %594 = icmp slt i32 %590, %593
  br i1 %594, label %596, label %595

595:                                              ; preds = %589
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #9
  br label %628

596:                                              ; preds = %589
  %597 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.67)
          to label %598 unwind label %618

598:                                              ; preds = %596
  %599 = load i32, ptr %43, align 4, !tbaa !56
  %600 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %597, i32 noundef %599)
          to label %601 unwind label %618

601:                                              ; preds = %598
  %602 = load ptr, ptr %27, align 8, !tbaa !64
  %603 = getelementptr inbounds i8, ptr %602, i64 8
  %604 = getelementptr inbounds %struct.HighsInfoStruct, ptr %603, i32 0, i32 7
  %605 = load i32, ptr %604, align 4, !tbaa !70
  %606 = icmp ne i32 %605, 0
  br i1 %606, label %607, label %622

607:                                              ; preds = %601
  %608 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.64)
          to label %609 unwind label %618

609:                                              ; preds = %607
  %610 = load ptr, ptr %34, align 8, !tbaa !64
  %611 = getelementptr inbounds %struct.HighsSolution, ptr %610, i32 0, i32 4
  %612 = load i32, ptr %43, align 4, !tbaa !56
  %613 = sext i32 %612 to i64
  %614 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %611, i64 noundef %613) #9
  %615 = load double, ptr %614, align 8, !tbaa !49
  %616 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) %608, double noundef %615)
          to label %617 unwind label %618

617:                                              ; preds = %609
  br label %622

618:                                              ; preds = %622, %609, %607, %598, %596
  %619 = landingpad { ptr, i32 }
          cleanup
  %620 = extractvalue { ptr, i32 } %619, 0
  store ptr %620, ptr %5, align 8
  %621 = extractvalue { ptr, i32 } %619, 1
  store i32 %621, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #9
  br label %630

622:                                              ; preds = %617, %601
  %623 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %624 unwind label %618

624:                                              ; preds = %622
  br label %625

625:                                              ; preds = %624
  %626 = load i32, ptr %43, align 4, !tbaa !56
  %627 = add nsw i32 %626, 1
  store i32 %627, ptr %43, align 4, !tbaa !56
  br label %589, !llvm.loop !87

628:                                              ; preds = %595
  store i32 0, ptr %1, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %33) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %32) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %31) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #9
  call void @_ZN5HighsD2Ev(ptr noundef nonnull align 8 dereferenceable(20928) %21) #9
  call void @llvm.lifetime.end.p0(i64 20928, ptr %21) #9
  call void @_ZN10HighsModelD2Ev(ptr noundef nonnull align 8 dereferenceable(1000) %2) #9
  call void @llvm.lifetime.end.p0(i64 1000, ptr %2) #9
  %629 = load i32, ptr %1, align 4
  ret i32 %629

630:                                              ; preds = %618, %578, %543, %508, %432, %361
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #9
  br label %631

631:                                              ; preds = %630, %357
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %33) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %32) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %31) #9
  br label %632

632:                                              ; preds = %631, %356, %347, %338, %326
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #9
  br label %633

633:                                              ; preds = %632, %325, %218
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #9
  br label %634

634:                                              ; preds = %633, %205
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #9
  br label %635

635:                                              ; preds = %634, %191, %187
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #9
  call void @_ZN5HighsD2Ev(ptr noundef nonnull align 8 dereferenceable(20928) %21) #9
  br label %636

636:                                              ; preds = %635, %183
  call void @llvm.lifetime.end.p0(i64 20928, ptr %21) #9
  br label %637

637:                                              ; preds = %636, %179, %175, %171, %167, %163, %159, %155, %151
  call void @_ZN10HighsModelD2Ev(ptr noundef nonnull align 8 dereferenceable(1000) %2) #9
  call void @llvm.lifetime.end.p0(i64 1000, ptr %2) #9
  br label %638

638:                                              ; preds = %637
  %639 = load ptr, ptr %5, align 8
  %640 = load i32, ptr %6, align 4
  %641 = insertvalue { ptr, i32 } poison, ptr %639, 0
  %642 = insertvalue { ptr, i32 } %641, i32 %640, 1
  resume { ptr, i32 } %642
}

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN10HighsModelC2Ev(ptr noundef nonnull align 8 dereferenceable(1000)) unnamed_addr #3 align 2

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #5

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

declare void @_ZN5HighsC1Ev(ptr noundef nonnull align 8 dereferenceable(20928)) unnamed_addr #6

declare noundef i32 @_ZN5Highs9passModelE10HighsModel(ptr noundef nonnull align 8 dereferenceable(20928), ptr noundef) #6

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

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

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

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

declare noundef i32 @_ZN5Highs3runEv(ptr noundef nonnull align 8 dereferenceable(20928)) #6

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNK5Highs14getModelStatusEv(ptr noundef nonnull align 8 dereferenceable(20928)) #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)) #3

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

declare void @_ZNK5Highs19modelStatusToStringB5cxx11E16HighsModelStatus(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(20928), i32 noundef) #6

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #4 align 2

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

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef) #6

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

declare void @_ZNK5Highs22solutionStatusToStringB5cxx11Ei(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(20928), i32 noundef) #6

declare void @_ZNK5Highs21basisValidityToStringB5cxx11Ei(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(20928), i32 noundef) #6

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

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

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

declare void @_ZNK5Highs19basisStatusToStringB5cxx11E16HighsBasisStatus(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(20928), i8 noundef zeroext) #6

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN5HighsD2Ev(ptr noundef nonnull align 8 dereferenceable(20928)) unnamed_addr #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 = { mustprogress norecurse uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { 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 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #6 = { "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 = { 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 #8 = { 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 #9 = { nounwind }
attributes #10 = { 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, !8, i64 0}
!6 = !{!"_ZTS10HighsModel", !7, i64 0, !44, i64 920}
!7 = !{!"_ZTS7HighsLp", !8, i64 0, !8, i64 4, !11, i64 8, !11, i64 32, !11, i64 56, !11, i64 80, !11, i64 104, !16, i64 128, !22, i64 240, !23, i64 248, !24, i64 256, !24, i64 288, !8, i64 320, !8, i64 324, !27, i64 328, !27, i64 352, !31, i64 376, !35, i64 400, !35, i64 456, !8, i64 512, !8, i64 516, !41, i64 520, !42, i64 592, !42, i64 593, !8, i64 596, !42, i64 600, !43, i64 608}
!8 = !{!"int", !9, i64 0}
!9 = !{!"omnipotent char", !10, i64 0}
!10 = !{!"Simple C++ TBAA"}
!11 = !{!"_ZTSSt6vectorIdSaIdEE", !12, i64 0}
!12 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !13, i64 0}
!13 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !14, i64 0}
!14 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!15 = !{!"any pointer", !9, i64 0}
!16 = !{!"_ZTS17HighsSparseMatrix", !17, i64 0, !8, i64 4, !8, i64 8, !18, i64 16, !18, i64 40, !18, i64 64, !11, i64 88}
!17 = !{!"_ZTS12MatrixFormat", !9, i64 0}
!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", !15, i64 0, !15, i64 8, !15, i64 16}
!22 = !{!"_ZTS8ObjSense", !9, i64 0}
!23 = !{!"double", !9, i64 0}
!24 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !25, i64 0, !26, i64 8, !9, i64 16}
!25 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !15, i64 0}
!26 = !{!"long", !9, i64 0}
!27 = !{!"_ZTSSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE", !28, i64 0}
!28 = !{!"_ZTSSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE", !29, i64 0}
!29 = !{!"_ZTSNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE12_Vector_implE", !30, i64 0}
!30 = !{!"_ZTSNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!31 = !{!"_ZTSSt6vectorI12HighsVarTypeSaIS0_EE", !32, i64 0}
!32 = !{!"_ZTSSt12_Vector_baseI12HighsVarTypeSaIS0_EE", !33, i64 0}
!33 = !{!"_ZTSNSt12_Vector_baseI12HighsVarTypeSaIS0_EE12_Vector_implE", !34, i64 0}
!34 = !{!"_ZTSNSt12_Vector_baseI12HighsVarTypeSaIS0_EE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!35 = !{!"_ZTS13HighsNameHash", !36, i64 0}
!36 = !{!"_ZTSSt13unordered_mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEiSt4hashIS5_ESt8equal_toIS5_ESaISt4pairIKS5_iEEE", !37, i64 0}
!37 = !{!"_ZTSSt10_HashtableINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_iESaIS8_ENSt8__detail10_Select1stESt8equal_toIS5_ESt4hashIS5_ENSA_18_Mod_range_hashingENSA_20_Default_ranged_hashENSA_20_Prime_rehash_policyENSA_17_Hashtable_traitsILb1ELb0ELb1EEEE", !15, i64 0, !26, i64 8, !38, i64 16, !26, i64 24, !39, i64 32, !15, i64 48}
!38 = !{!"_ZTSNSt8__detail15_Hash_node_baseE", !15, i64 0}
!39 = !{!"_ZTSNSt8__detail20_Prime_rehash_policyE", !40, i64 0, !26, i64 8}
!40 = !{!"float", !9, i64 0}
!41 = !{!"_ZTS10HighsScale", !8, i64 0, !42, i64 4, !8, i64 8, !8, i64 12, !23, i64 16, !11, i64 24, !11, i64 48}
!42 = !{!"bool", !9, i64 0}
!43 = !{!"_ZTS11HighsLpMods", !18, i64 0, !18, i64 24, !11, i64 48, !11, i64 72, !31, i64 96, !18, i64 120, !11, i64 144, !18, i64 168, !11, i64 192, !18, i64 216, !11, i64 240, !11, i64 264, !11, i64 288}
!44 = !{!"_ZTS12HighsHessian", !8, i64 0, !45, i64 4, !18, i64 8, !18, i64 32, !11, i64 56}
!45 = !{!"_ZTS13HessianFormat", !9, i64 0}
!46 = !{!6, !8, i64 4}
!47 = !{!6, !22, i64 240}
!48 = !{!6, !23, i64 248}
!49 = !{!23, !23, i64 0}
!50 = !{!51, !15, i64 0}
!51 = !{!"_ZTSSt16initializer_listIdE", !15, i64 0, !26, i64 8}
!52 = !{!51, !26, i64 8}
!53 = !{i64 0, i64 24, !54}
!54 = !{!9, !9, i64 0}
!55 = !{!6, !17, i64 128}
!56 = !{!8, !8, i64 0}
!57 = !{!58, !15, i64 0}
!58 = !{!"_ZTSSt16initializer_listIiE", !15, i64 0, !26, i64 8}
!59 = !{!58, !26, i64 8}
!60 = !{i64 0, i64 20, !54}
!61 = !{i64 0, i64 40, !54}
!62 = !{!63, !63, i64 0}
!63 = !{!"_ZTS11HighsStatus", !9, i64 0}
!64 = !{!15, !15, i64 0}
!65 = !{!66, !66, i64 0}
!66 = !{!"_ZTS16HighsModelStatus", !9, i64 0}
!67 = !{!68, !8, i64 16}
!68 = !{!"_ZTS15HighsInfoStruct", !42, i64 0, !26, i64 8, !8, i64 16, !8, i64 20, !8, i64 24, !8, i64 28, !8, i64 32, !8, i64 36, !8, i64 40, !8, i64 44, !23, i64 48, !23, i64 56, !23, i64 64, !23, i64 72, !8, i64 80, !23, i64 88, !23, i64 96, !8, i64 104, !23, i64 112, !23, i64 120, !23, i64 128, !23, i64 136, !23, i64 144}
!69 = !{!68, !23, i64 48}
!70 = !{!68, !8, i64 36}
!71 = !{!68, !8, i64 40}
!72 = !{!68, !8, i64 44}
!73 = !{!42, !42, i64 0}
!74 = !{!7, !8, i64 0}
!75 = !{i8 0, i8 2}
!76 = !{}
!77 = !{!78, !78, i64 0}
!78 = !{!"_ZTS16HighsBasisStatus", !9, i64 0}
!79 = distinct !{!79, !80}
!80 = !{!"llvm.loop.mustprogress"}
!81 = !{!7, !8, i64 4}
!82 = distinct !{!82, !80}
!83 = !{!84, !84, i64 0}
!84 = !{!"_ZTS12HighsVarType", !9, i64 0}
!85 = distinct !{!85, !80}
!86 = distinct !{!86, !80}
!87 = distinct !{!87, !80}


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

%"class.std::basic_ostream" = type { ptr, %"class.std::basic_ios" }
%"class.std::basic_ios" = type { %"class.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
%"class.std::ios_base" = type { ptr, i64, i64, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"class.std::locale" }
%"struct.std::ios_base::_Words" = type { ptr, i64 }
%"class.std::locale" = type { ptr }
%class.HighsModel = type { %class.HighsLp, %class.HighsHessian }
%class.HighsLp = type { i32, i32, %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %class.HighsSparseMatrix, i32, double, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, i32, %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.13", %struct.HighsNameHash, %struct.HighsNameHash, i32, i32, %struct.HighsScale, i8, i8, i32, i8, %struct.HighsLpMods }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = 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.HighsSparseMatrix = type { i32, i32, i32, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector" }
%"class.std::vector.3" = type { %"struct.std::_Vector_base.4" }
%"struct.std::_Vector_base.4" = 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::__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.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = 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.13" = type { %"struct.std::_Vector_base.14" }
%"struct.std::_Vector_base.14" = 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", %"class.std::vector" }
%struct.HighsLpMods = type { %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector.13", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector" }
%class.HighsHessian = type { i32, i32, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector" }
%class.Highs = type { ptr, %struct.HighsSolution, %struct.HighsBasis, %struct.ICrashInfo, %class.HighsModel, %"class.std::vector.34", %class.HighsModel, %class.HighsTimer, %struct.HighsCallback, %class.HighsOptions, %class.HighsInfo, %struct.HighsRanging, %class.HighsIis, %"class.std::vector.58", i32, i32, i8, double, %"class.std::vector", %"class.std::vector", %class.HighsSparseMatrix, %class.HEkk, %struct.HighsPresolveLog, i32, i8, i32, i8, %class.PresolveComponent }
%struct.HighsSolution = type { i8, i8, %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector" }
%struct.HighsBasis = type { i8, i8, i8, i8, i32, i32, %"class.std::__cxx11::basic_string", %"class.std::vector.24", %"class.std::vector.24" }
%"class.std::vector.24" = type { %"struct.std::_Vector_base.25" }
%"struct.std::_Vector_base.25" = type { %"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.ICrashInfo = type { i32, double, double, double, double, double, %"class.std::vector.29", %"class.std::vector", double }
%"class.std::vector.29" = type { %"struct.std::_Vector_base.30" }
%"struct.std::_Vector_base.30" = type { %"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl" }
%"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl" = type { %"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl_data" }
%"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.34" = type { %"struct.std::_Vector_base.35" }
%"struct.std::_Vector_base.35" = type { %"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsTimer = type <{ ptr, double, i32, [4 x i8], %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector.8", i32, i32, i32, [4 x i8] }>
%struct.HighsCallback = type { %"class.std::function", ptr, ptr, %"class.std::vector.39", %struct.HighsCallbackDataOut, %struct.HighsCallbackDataIn }
%"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.39" = type { %"struct.std::_Bvector_base" }
%"struct.std::_Bvector_base" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" = type { %"struct.std::_Bit_iterator", %"struct.std::_Bit_iterator", ptr }
%"struct.std::_Bit_iterator" = type { %"struct.std::_Bit_iterator_base.base", [4 x i8] }
%"struct.std::_Bit_iterator_base.base" = type <{ ptr, i32 }>
%struct.HighsCallbackDataOut = type { i32, double, i32, i32, i32, double, i64, i64, double, double, double, ptr, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, i32 }
%struct.HighsCallbackDataIn = type { i32, ptr }
%class.HighsOptions = type <{ %struct.HighsOptionsStruct, %"class.std::vector.43", i32, [4 x i8] }>
%struct.HighsOptionsStruct = type { ptr, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", double, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, %"class.std::__cxx11::basic_string", double, double, double, double, double, double, double, double, double, double, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, %"class.std::__cxx11::basic_string", i8, i8, i8, i32, i32, %"class.std::__cxx11::basic_string", i8, i8, i8, i32, i8, i8, i32, i32, double, i32, i32, i32, i8, i32, i8, i8, i8, i8, i8, i8, i8, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i8, i8, i8, i8, double, double, double, double, double, double, double, double, double, double, double, i8, i8, i8, i8, i32, double, i8, i8, %"class.std::__cxx11::basic_string", double, i32, i32, i8, i8, i8, i8, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, double, i8, i8, %"class.std::__cxx11::basic_string", i8, i32, %struct.HighsLogOptions }
%struct.HighsLogOptions = type <{ ptr, ptr, ptr, ptr, ptr, ptr, %"class.std::function", ptr, i8, [7 x i8] }>
%"class.std::vector.43" = type { %"struct.std::_Vector_base.44" }
%"struct.std::_Vector_base.44" = type { %"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl" }
%"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl" = type { %"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsInfo = type { ptr, %struct.HighsInfoStruct, %"class.std::vector.48" }
%struct.HighsInfoStruct = type { i8, i64, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, i32, double, double, i32, double, double, double, double, double }
%"class.std::vector.48" = type { %"struct.std::_Vector_base.49" }
%"struct.std::_Vector_base.49" = type { %"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl" }
%"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl" = type { %"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsRanging = type { i8, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord }
%struct.HighsRangingRecord = type { %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3" }
%class.HighsIis = type { i8, i32, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.53" }
%"class.std::vector.53" = type { %"struct.std::_Vector_base.54" }
%"struct.std::_Vector_base.54" = type { %"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.58" = type { %"struct.std::_Vector_base.59" }
%"struct.std::_Vector_base.59" = type { %"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_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", %"class.std::vector", i8, %class.HighsSparseMatrix, %class.HighsSparseMatrix, %class.HSimplexNla, %struct.HotStart, double, double, double, i32, i32, i32, i32, i8, i8, i32, i32, i32, %"class.std::vector.3", %"class.std::vector", %struct.HighsRayRecord, %struct.HighsRayRecord, i32, i32, i32, double, %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", double, double, double, i32, i32, i8, i32, i8, i8, i8, i8, double, %"class.std::vector.106", %"class.std::vector", %struct.HighsSimplexStats }
%class.HighsSimplexAnalysis = type { ptr, %"class.std::vector.63", %"class.std::vector.63", 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", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.68", %"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.63" = type { %"struct.std::_Vector_base.64" }
%"struct.std::_Vector_base.64" = 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 }
%"class.std::vector.68" = type { %"struct.std::_Vector_base.69" }
%"struct.std::_Vector_base.69" = 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.74" }
%"struct.std::_Head_base.74" = 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", %"class.std::vector.3", i32, [4 x i8] }>
%struct.HighsSimplexStatus = type { i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8 }
%struct.HighsSimplexInfo = type <{ %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", i32, i32, i8, i8, [6 x i8], %struct.SimplexBasis, i32, i32, i32, [4 x i8], %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", 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.3", %"class.std::vector.75", %"class.std::vector.75", i64, i32, i32, %"class.std::__cxx11::basic_string" }
%"class.std::vector.75" = type { %"struct.std::_Vector_base.76" }
%"struct.std::_Vector_base.76" = 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.80", %"class.std::unique_ptr.88", i64, i64, i64 }
%"class.std::unique_ptr.80" = type { %"struct.std::__uniq_ptr_data.81" }
%"struct.std::__uniq_ptr_data.81" = type { %"class.std::__uniq_ptr_impl.82" }
%"class.std::__uniq_ptr_impl.82" = type { %"class.std::tuple.83" }
%"class.std::tuple.83" = type { %"struct.std::_Tuple_impl.84" }
%"struct.std::_Tuple_impl.84" = type { %"struct.std::_Head_base.87" }
%"struct.std::_Head_base.87" = type { ptr }
%"class.std::unique_ptr.88" = type { %"struct.std::__uniq_ptr_data.89" }
%"struct.std::__uniq_ptr_data.89" = type { %"class.std::__uniq_ptr_impl.90" }
%"class.std::__uniq_ptr_impl.90" = type { %"class.std::tuple.91" }
%"class.std::tuple.91" = type { %"struct.std::_Tuple_impl.92" }
%"struct.std::_Tuple_impl.92" = type { %"struct.std::_Head_base.95" }
%"struct.std::_Head_base.95" = type { ptr }
%class.HighsRandom = type { i64 }
%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.3", %"class.std::vector.3", %"class.std::vector.3", %struct.RefactorInfo, i32, i32, i32, i32, i32, i32, i32, double, i8, ptr, ptr, ptr, ptr, double, double, i32, double, %"class.std::unique_ptr.96", %struct.HighsLogOptions, i8, i8, i32, i32, ptr, i32, %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.104", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", i32, i32, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %class.HVectorBase }
%struct.RefactorInfo = type { i8, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.75", double }
%"class.std::unique_ptr.96" = type { %"struct.std::__uniq_ptr_data.97" }
%"struct.std::__uniq_ptr_data.97" = type { %"class.std::__uniq_ptr_impl.98" }
%"class.std::__uniq_ptr_impl.98" = type { %"class.std::tuple.99" }
%"class.std::tuple.99" = type { %"struct.std::_Tuple_impl.100" }
%"struct.std::_Tuple_impl.100" = type { %"struct.std::_Head_base.103" }
%"struct.std::_Head_base.103" = type { ptr }
%"class.std::vector.104" = type { %"struct.std::_Vector_base.105" }
%"struct.std::_Vector_base.105" = 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.HVectorBase = type { i32, i32, %"class.std::vector.3", %"class.std::vector", double, %"class.std::vector.104", %"class.std::vector.3", ptr, i8, i32, %"class.std::vector.3", %"class.std::vector" }
%struct.ProductFormUpdate = type { i8, i32, i32, %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector" }
%struct.SimplexIterate = type { i8, %struct.SimplexBasis, %struct.InvertibleRepresentation, %"class.std::vector" }
%struct.InvertibleRepresentation = type { %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector" }
%struct.HotStart = type { i8, %struct.RefactorInfo, %"class.std::vector.75" }
%struct.HighsRayRecord = type { i32, i32, %"class.std::vector" }
%"class.std::vector.106" = type { %"struct.std::_Vector_base.107" }
%"struct.std::_Vector_base.107" = 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 }
%struct.HighsPresolveLog = type { %"class.std::vector.111" }
%"class.std::vector.111" = type { %"struct.std::_Vector_base.112" }
%"struct.std::_Vector_base.112" = type { %"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.PresolveComponent = type { %class.HighsComponent.base, %struct.PresolveComponentInfo, %struct.PresolveComponentData, ptr, ptr, i32, i32 }
%class.HighsComponent.base = type <{ ptr, %struct.HighsComponentInfo, %struct.HighsComponentData, %struct.HighsComponentOptions }>
%struct.HighsComponentInfo = type { i8 }
%struct.HighsComponentData = type { i8 }
%struct.HighsComponentOptions = type { i8 }
%struct.PresolveComponentInfo = type { ptr, %struct.HighsComponentInfo, i32, i32, i32, double, double }
%struct.PresolveComponentData = type { ptr, %struct.HighsComponentData, %class.HighsLp, %"class.presolve::HighsPostsolveStack", %struct.HighsSolution, %struct.HighsBasis, %struct.HighsPresolveLog }
%"class.presolve::HighsPostsolveStack" = type { i64, double, double, double, double, %class.HighsDataStack, %"class.std::vector.116", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.121", %"class.std::vector.126", %"class.std::vector.126", i32, i32 }
%class.HighsDataStack = type { %"class.std::vector.104", i64 }
%"class.std::vector.116" = type { %"struct.std::_Vector_base.117" }
%"struct.std::_Vector_base.117" = type { %"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.121" = type { %"struct.std::_Vector_base.122" }
%"struct.std::_Vector_base.122" = type { %"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.126" = type { %"struct.std::_Vector_base.127" }
%"struct.std::_Vector_base.127" = type { %"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl" }
%"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl" = type { %"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl_data" }
%"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@constinit = external hidden local_unnamed_addr constant [3 x double], align 8
@constinit.51 = external hidden local_unnamed_addr constant [3 x double], align 8
@constinit.52 = external hidden local_unnamed_addr constant [5 x i32], align 4
@constinit.53 = external hidden local_unnamed_addr constant [5 x double], align 8
@.str.54 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [82 x i8], align 1
@__PRETTY_FUNCTION__.main = external hidden unnamed_addr constant [11 x i8], align 1
@.str.56 = external hidden unnamed_addr constant [43 x i8], align 1
@_ZSt4cout = external global %"class.std::basic_ostream", align 8
@.str.57 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.59 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.60 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.61 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.62 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.63 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.64 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.65 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.66 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.67 = external hidden unnamed_addr constant [8 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 norecurse uwtable
define dso_local noundef i32 @main() local_unnamed_addr #2 personality ptr @__gxx_personality_v0 {
  %1 = alloca %class.HighsModel, align 8
  %2 = alloca [2 x double], align 16
  %3 = alloca [2 x double], align 16
  %4 = alloca [2 x double], align 16
  %5 = alloca [3 x double], align 8
  %6 = alloca [3 x double], align 8
  %7 = alloca [3 x i32], align 4
  %8 = alloca [5 x i32], align 4
  %9 = alloca [5 x double], align 8
  %10 = alloca %class.Highs, align 8
  %11 = alloca %class.HighsModel, align 8
  %12 = alloca %"class.std::__cxx11::basic_string", align 8
  %13 = alloca %"class.std::__cxx11::basic_string", align 8
  %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.HighsModel, align 8
  call void @llvm.lifetime.start.p0(i64 1000, ptr nonnull %1) #9
  call void @_ZN10HighsModelC2Ev(ptr noundef nonnull align 8 dereferenceable(1000) %1)
  store i32 2, ptr %1, align 8, !tbaa !5
  %19 = getelementptr inbounds i8, ptr %1, i64 4
  store i32 3, ptr %19, align 4, !tbaa !46
  %20 = getelementptr inbounds i8, ptr %1, i64 240
  store i32 1, ptr %20, align 8, !tbaa !47
  %21 = getelementptr inbounds i8, ptr %1, i64 248
  store double 3.000000e+00, ptr %21, align 8, !tbaa !48
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %2) #9
  store <2 x double> <double 1.000000e+00, double 1.000000e+00>, ptr %2, align 16, !tbaa !49
  %22 = getelementptr inbounds i8, ptr %1, i64 8
  %23 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIdSaIdEEaSESt16initializer_listIdE(ptr noundef nonnull align 8 dereferenceable(24) %22, ptr nonnull %2, i64 2)
          to label %24 unwind label %55

24:                                               ; preds = %0
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %2) #9
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %3) #9
  store <2 x double> <double 0.000000e+00, double 1.000000e+00>, ptr %3, align 16, !tbaa !49
  %25 = getelementptr inbounds i8, ptr %1, i64 32
  %26 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIdSaIdEEaSESt16initializer_listIdE(ptr noundef nonnull align 8 dereferenceable(24) %25, ptr nonnull %3, i64 2)
          to label %27 unwind label %57

27:                                               ; preds = %24
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %3) #9
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %4) #9
  store <2 x double> <double 4.000000e+00, double 1.000000e+30>, ptr %4, align 16, !tbaa !49
  %28 = getelementptr inbounds i8, ptr %1, i64 56
  %29 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIdSaIdEEaSESt16initializer_listIdE(ptr noundef nonnull align 8 dereferenceable(24) %28, ptr nonnull %4, i64 2)
          to label %30 unwind label %59

30:                                               ; preds = %27
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #9
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %5) #9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %5, ptr noundef nonnull align 8 dereferenceable(24) @constinit, i64 24, i1 false), !tbaa.struct !50
  %31 = getelementptr inbounds i8, ptr %1, i64 80
  %32 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIdSaIdEEaSESt16initializer_listIdE(ptr noundef nonnull align 8 dereferenceable(24) %31, ptr nonnull %5, i64 3)
          to label %33 unwind label %61

33:                                               ; preds = %30
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %5) #9
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %6) #9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %6, ptr noundef nonnull align 8 dereferenceable(24) @constinit.51, i64 24, i1 false), !tbaa.struct !50
  %34 = getelementptr inbounds i8, ptr %1, i64 104
  %35 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIdSaIdEEaSESt16initializer_listIdE(ptr noundef nonnull align 8 dereferenceable(24) %34, ptr nonnull %6, i64 3)
          to label %36 unwind label %63

36:                                               ; preds = %33
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %6) #9
  %37 = getelementptr inbounds i8, ptr %1, i64 128
  store i32 1, ptr %37, align 8, !tbaa !52
  call void @llvm.lifetime.start.p0(i64 12, ptr nonnull %7) #9
  store i32 0, ptr %7, align 4, !tbaa !53
  %38 = getelementptr inbounds i8, ptr %7, i64 4
  store i32 2, ptr %38, align 4, !tbaa !53
  %39 = getelementptr inbounds i8, ptr %7, i64 8
  store i32 5, ptr %39, align 4, !tbaa !53
  %40 = getelementptr inbounds i8, ptr %1, i64 144
  %41 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIiSaIiEEaSESt16initializer_listIiE(ptr noundef nonnull align 8 dereferenceable(24) %40, ptr nonnull %7, i64 3)
          to label %42 unwind label %65

42:                                               ; preds = %36
  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %7) #9
  call void @llvm.lifetime.start.p0(i64 20, ptr nonnull %8) #9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(20) %8, ptr noundef nonnull align 4 dereferenceable(20) @constinit.52, i64 20, i1 false), !tbaa.struct !54
  %43 = getelementptr inbounds i8, ptr %1, i64 192
  %44 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIiSaIiEEaSESt16initializer_listIiE(ptr noundef nonnull align 8 dereferenceable(24) %43, ptr nonnull %8, i64 5)
          to label %45 unwind label %67

45:                                               ; preds = %42
  call void @llvm.lifetime.end.p0(i64 20, ptr nonnull %8) #9
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %9) #9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(40) %9, ptr noundef nonnull align 8 dereferenceable(40) @constinit.53, i64 40, i1 false), !tbaa.struct !55
  %46 = getelementptr inbounds i8, ptr %1, i64 216
  %47 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIdSaIdEEaSESt16initializer_listIdE(ptr noundef nonnull align 8 dereferenceable(24) %46, ptr nonnull %9, i64 5)
          to label %48 unwind label %69

48:                                               ; preds = %45
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %9) #9
  call void @llvm.lifetime.start.p0(i64 20928, ptr nonnull %10) #9
  invoke void @_ZN5HighsC1Ev(ptr noundef nonnull align 8 dereferenceable(20928) %10)
          to label %49 unwind label %71

49:                                               ; preds = %48
  invoke void @_ZN10HighsModelC2ERKS_(ptr noundef nonnull align 8 dereferenceable(1000) %11, ptr noundef nonnull align 8 dereferenceable(1000) %1)
          to label %50 unwind label %73

50:                                               ; preds = %49
  %51 = invoke noundef i32 @_ZN5Highs9passModelE10HighsModel(ptr noundef nonnull align 8 dereferenceable(20928) %10, ptr noundef nonnull %11)
          to label %52 unwind label %75

52:                                               ; preds = %50
  call void @_ZN10HighsModelD2Ev(ptr noundef nonnull align 8 dereferenceable(1000) %11) #9
  %53 = icmp eq i32 %51, 0
  br i1 %53, label %77, label %54

54:                                               ; preds = %52
  call void @__assert_fail(ptr noundef nonnull @.str.54, ptr noundef nonnull @.str.55, i32 noundef 98, ptr noundef nonnull @__PRETTY_FUNCTION__.main) #10
  unreachable

55:                                               ; preds = %0
  %56 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %2) #9
  br label %336

57:                                               ; preds = %24
  %58 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %3) #9
  br label %336

59:                                               ; preds = %27
  %60 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #9
  br label %336

61:                                               ; preds = %30
  %62 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %5) #9
  br label %336

63:                                               ; preds = %33
  %64 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %6) #9
  br label %336

65:                                               ; preds = %36
  %66 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %7) #9
  br label %336

67:                                               ; preds = %42
  %68 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 20, ptr nonnull %8) #9
  br label %336

69:                                               ; preds = %45
  %70 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %9) #9
  br label %336

71:                                               ; preds = %48
  %72 = landingpad { ptr, i32 }
          cleanup
  br label %335

73:                                               ; preds = %49
  %74 = landingpad { ptr, i32 }
          cleanup
  br label %334

75:                                               ; preds = %50
  %76 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN10HighsModelD2Ev(ptr noundef nonnull align 8 dereferenceable(1000) %11) #9
  br label %334

77:                                               ; preds = %52
  %78 = call noundef nonnull align 8 dereferenceable(920) ptr @_ZNK5Highs5getLpEv(ptr noundef nonnull align 8 dereferenceable(20928) %10)
  %79 = invoke noundef i32 @_ZN5Highs3runEv(ptr noundef nonnull align 8 dereferenceable(20928) %10)
          to label %80 unwind label %83

80:                                               ; preds = %77
  %81 = icmp eq i32 %79, 0
  br i1 %81, label %85, label %82

82:                                               ; preds = %80
  call void @__assert_fail(ptr noundef nonnull @.str.54, ptr noundef nonnull @.str.55, i32 noundef 110, ptr noundef nonnull @__PRETTY_FUNCTION__.main) #10
  unreachable

83:                                               ; preds = %77
  %84 = landingpad { ptr, i32 }
          cleanup
  br label %334

85:                                               ; preds = %80
  %86 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK5Highs14getModelStatusEv(ptr noundef nonnull align 8 dereferenceable(20928) %10)
  %87 = load i32, ptr %86, align 4, !tbaa !56
  %88 = icmp eq i32 %87, 7
  br i1 %88, label %92, label %89

89:                                               ; preds = %85
  call void @__assert_fail(ptr noundef nonnull @.str.56, ptr noundef nonnull @.str.55, i32 noundef 114, ptr noundef nonnull @__PRETTY_FUNCTION__.main) #10
  unreachable

90:                                               ; preds = %92
  %91 = landingpad { ptr, i32 }
          cleanup
  br label %334

92:                                               ; preds = %85
  %93 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.57)
          to label %94 unwind label %90

94:                                               ; preds = %92
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %12) #9
  %95 = load i32, ptr %86, align 4, !tbaa !56
  invoke void @_ZNK5Highs19modelStatusToStringB5cxx11E16HighsModelStatus(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %12, ptr noundef nonnull align 8 dereferenceable(20928) %10, i32 noundef %95)
          to label %96 unwind label %162

96:                                               ; preds = %94
  %97 = 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) %93, ptr noundef nonnull align 8 dereferenceable(32) %12)
          to label %98 unwind label %164

98:                                               ; preds = %96
  %99 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %97, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %100 unwind label %164

100:                                              ; preds = %98
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #9
  %101 = call noundef nonnull align 8 dereferenceable(184) ptr @_ZNK5Highs7getInfoEv(ptr noundef nonnull align 8 dereferenceable(20928) %10)
  %102 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.58)
          to label %103 unwind label %167

103:                                              ; preds = %100
  %104 = getelementptr inbounds i8, ptr %101, i64 24
  %105 = load i32, ptr %104, align 8, !tbaa !58
  %106 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %102, i32 noundef %105)
          to label %107 unwind label %167

107:                                              ; preds = %103
  %108 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %106, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %109 unwind label %167

109:                                              ; preds = %107
  %110 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.59)
          to label %111 unwind label %167

111:                                              ; preds = %109
  %112 = getelementptr inbounds i8, ptr %101, i64 56
  %113 = load double, ptr %112, align 8, !tbaa !60
  %114 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) %110, double noundef %113)
          to label %115 unwind label %167

115:                                              ; preds = %111
  %116 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %114, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %117 unwind label %167

117:                                              ; preds = %115
  %118 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.60)
          to label %119 unwind label %167

119:                                              ; preds = %117
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %13) #9
  %120 = getelementptr inbounds i8, ptr %101, i64 44
  %121 = load i32, ptr %120, align 4, !tbaa !61
  invoke void @_ZNK5Highs22solutionStatusToStringB5cxx11Ei(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %13, ptr noundef nonnull align 8 dereferenceable(20928) %10, i32 noundef %121)
          to label %122 unwind label %169

122:                                              ; preds = %119
  %123 = 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) %118, ptr noundef nonnull align 8 dereferenceable(32) %13)
          to label %124 unwind label %171

124:                                              ; preds = %122
  %125 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %123, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %126 unwind label %171

126:                                              ; preds = %124
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %13) #9
  %127 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.61)
          to label %128 unwind label %167

128:                                              ; preds = %126
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %14) #9
  %129 = getelementptr inbounds i8, ptr %101, i64 48
  %130 = load i32, ptr %129, align 8, !tbaa !62
  invoke void @_ZNK5Highs22solutionStatusToStringB5cxx11Ei(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %14, ptr noundef nonnull align 8 dereferenceable(20928) %10, i32 noundef %130)
          to label %131 unwind label %174

131:                                              ; preds = %128
  %132 = 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) %127, ptr noundef nonnull align 8 dereferenceable(32) %14)
          to label %133 unwind label %176

133:                                              ; preds = %131
  %134 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %132, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %135 unwind label %176

135:                                              ; preds = %133
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %14) #9
  %136 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.62)
          to label %137 unwind label %167

137:                                              ; preds = %135
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %15) #9
  %138 = getelementptr inbounds i8, ptr %101, i64 52
  %139 = load i32, ptr %138, align 4, !tbaa !63
  invoke void @_ZNK5Highs21basisValidityToStringB5cxx11Ei(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %15, ptr noundef nonnull align 8 dereferenceable(20928) %10, i32 noundef %139)
          to label %140 unwind label %179

140:                                              ; preds = %137
  %141 = 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) %136, ptr noundef nonnull align 8 dereferenceable(32) %15)
          to label %142 unwind label %181

142:                                              ; preds = %140
  %143 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %141, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %144 unwind label %181

144:                                              ; preds = %142
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %15) #9
  %145 = load i32, ptr %120, align 4, !tbaa !61
  %.not = icmp eq i32 %145, 0
  %146 = load i32, ptr %129, align 8, !tbaa !62
  %.not101 = icmp eq i32 %146, 0
  %147 = load i32, ptr %138, align 4, !tbaa !63
  %.not102 = icmp eq i32 %147, 0
  %148 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNK5Highs11getSolutionEv(ptr noundef nonnull align 8 dereferenceable(20928) %10)
  %149 = call noundef nonnull align 8 dereferenceable(96) ptr @_ZNK5Highs8getBasisEv(ptr noundef nonnull align 8 dereferenceable(20928) %10)
  %150 = load i32, ptr %78, align 8, !tbaa !64
  %151 = icmp sgt i32 %150, 0
  br i1 %151, label %.lr.ph, label %.preheader122

.lr.ph:                                           ; preds = %144
  %152 = getelementptr inbounds i8, ptr %148, i64 8
  %153 = getelementptr inbounds i8, ptr %148, i64 32
  %154 = getelementptr inbounds i8, ptr %149, i64 48
  br label %186

.preheader122:                                    ; preds = %223, %144
  %155 = phi i32 [ %150, %144 ], [ %224, %223 ]
  %156 = getelementptr inbounds i8, ptr %78, i64 4
  %157 = load i32, ptr %156, align 4, !tbaa !65
  %158 = icmp sgt i32 %157, 0
  br i1 %158, label %.lr.ph128, label %._crit_edge

.lr.ph128:                                        ; preds = %.preheader122
  %159 = getelementptr inbounds i8, ptr %148, i64 56
  %160 = getelementptr inbounds i8, ptr %148, i64 80
  %161 = getelementptr inbounds i8, ptr %149, i64 72
  br label %232

162:                                              ; preds = %94
  %163 = landingpad { ptr, i32 }
          cleanup
  br label %166

164:                                              ; preds = %98, %96
  %165 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #9
  br label %166

166:                                              ; preds = %164, %162
  %.pn = phi { ptr, i32 } [ %165, %164 ], [ %163, %162 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #9
  br label %334

167:                                              ; preds = %135, %126, %117, %115, %111, %109, %107, %103, %100
  %168 = landingpad { ptr, i32 }
          cleanup
  br label %334

169:                                              ; preds = %119
  %170 = landingpad { ptr, i32 }
          cleanup
  br label %173

171:                                              ; preds = %124, %122
  %172 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #9
  br label %173

173:                                              ; preds = %171, %169
  %.pn95 = phi { ptr, i32 } [ %172, %171 ], [ %170, %169 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %13) #9
  br label %334

174:                                              ; preds = %128
  %175 = landingpad { ptr, i32 }
          cleanup
  br label %178

176:                                              ; preds = %133, %131
  %177 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #9
  br label %178

178:                                              ; preds = %176, %174
  %.pn97 = phi { ptr, i32 } [ %177, %176 ], [ %175, %174 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %14) #9
  br label %334

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

181:                                              ; preds = %142, %140
  %182 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #9
  br label %183

183:                                              ; preds = %181, %179
  %.pn99 = phi { ptr, i32 } [ %182, %181 ], [ %180, %179 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %15) #9
  br label %334

184:                                              ; preds = %279, %._crit_edge131, %._crit_edge
  %185 = landingpad { ptr, i32 }
          cleanup
  br label %334

186:                                              ; preds = %.lr.ph, %223
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %223 ]
  %187 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.63)
          to label %188 unwind label %198

188:                                              ; preds = %186
  %189 = trunc nuw nsw i64 %indvars.iv to i32
  %190 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %187, i32 noundef %189)
          to label %191 unwind label %198

191:                                              ; preds = %188
  br i1 %.not, label %200, label %192

192:                                              ; preds = %191
  %193 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.64)
          to label %194 unwind label %198

194:                                              ; preds = %192
  %195 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %152, i64 noundef %indvars.iv) #9
  %196 = load double, ptr %195, align 8, !tbaa !49
  %197 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) %193, double noundef %196)
          to label %200 unwind label %198

198:                                              ; preds = %221, %208, %203, %201, %194, %192, %188, %186
  %199 = landingpad { ptr, i32 }
          cleanup
  br label %334

200:                                              ; preds = %194, %191
  br i1 %.not101, label %207, label %201

201:                                              ; preds = %200
  %202 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.65)
          to label %203 unwind label %198

203:                                              ; preds = %201
  %204 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %153, i64 noundef %indvars.iv) #9
  %205 = load double, ptr %204, align 8, !tbaa !49
  %206 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) %202, double noundef %205)
          to label %207 unwind label %198

207:                                              ; preds = %203, %200
  br i1 %.not102, label %221, label %208

208:                                              ; preds = %207
  %209 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.66)
          to label %210 unwind label %198

210:                                              ; preds = %208
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %16) #9
  %211 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %154, i64 noundef %indvars.iv) #9
  %212 = load i8, ptr %211, align 1, !tbaa !66
  invoke void @_ZNK5Highs19basisStatusToStringB5cxx11E16HighsBasisStatus(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %16, ptr noundef nonnull align 8 dereferenceable(20928) %10, i8 noundef zeroext %212)
          to label %213 unwind label %216

213:                                              ; preds = %210
  %214 = 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) %209, ptr noundef nonnull align 8 dereferenceable(32) %16)
          to label %215 unwind label %218

215:                                              ; preds = %213
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %16) #9
  br label %221

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

218:                                              ; preds = %213
  %219 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #9
  br label %220

220:                                              ; preds = %218, %216
  %.pn109 = phi { ptr, i32 } [ %219, %218 ], [ %217, %216 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %16) #9
  br label %334

221:                                              ; preds = %215, %207
  %222 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %223 unwind label %198

223:                                              ; preds = %221
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %224 = load i32, ptr %78, align 8, !tbaa !64
  %225 = sext i32 %224 to i64
  %226 = icmp slt i64 %indvars.iv.next, %225
  br i1 %226, label %186, label %.preheader122, !llvm.loop !68

._crit_edge.loopexit:                             ; preds = %269
  %.pre = load i32, ptr %78, align 8, !tbaa !64
  br label %._crit_edge

._crit_edge:                                      ; preds = %._crit_edge.loopexit, %.preheader122
  %227 = phi i32 [ %.pre, %._crit_edge.loopexit ], [ %155, %.preheader122 ]
  %228 = getelementptr inbounds i8, ptr %1, i64 376
  %229 = sext i32 %227 to i64
  invoke void @_ZNSt6vectorI12HighsVarTypeSaIS0_EE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %228, i64 noundef %229)
          to label %.preheader121 unwind label %184

.preheader121:                                    ; preds = %._crit_edge
  %230 = load i32, ptr %78, align 8, !tbaa !64
  %231 = icmp sgt i32 %230, 0
  br i1 %231, label %.lr.ph130, label %._crit_edge131

232:                                              ; preds = %.lr.ph128, %269
  %indvars.iv138 = phi i64 [ 0, %.lr.ph128 ], [ %indvars.iv.next139, %269 ]
  %233 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.67)
          to label %234 unwind label %244

234:                                              ; preds = %232
  %235 = trunc nuw nsw i64 %indvars.iv138 to i32
  %236 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %233, i32 noundef %235)
          to label %237 unwind label %244

237:                                              ; preds = %234
  br i1 %.not, label %246, label %238

238:                                              ; preds = %237
  %239 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.64)
          to label %240 unwind label %244

240:                                              ; preds = %238
  %241 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %159, i64 noundef %indvars.iv138) #9
  %242 = load double, ptr %241, align 8, !tbaa !49
  %243 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) %239, double noundef %242)
          to label %246 unwind label %244

244:                                              ; preds = %267, %254, %249, %247, %240, %238, %234, %232
  %245 = landingpad { ptr, i32 }
          cleanup
  br label %334

246:                                              ; preds = %240, %237
  br i1 %.not101, label %253, label %247

247:                                              ; preds = %246
  %248 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.65)
          to label %249 unwind label %244

249:                                              ; preds = %247
  %250 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %160, i64 noundef %indvars.iv138) #9
  %251 = load double, ptr %250, align 8, !tbaa !49
  %252 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) %248, double noundef %251)
          to label %253 unwind label %244

253:                                              ; preds = %249, %246
  br i1 %.not102, label %267, label %254

254:                                              ; preds = %253
  %255 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.66)
          to label %256 unwind label %244

256:                                              ; preds = %254
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %17) #9
  %257 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %161, i64 noundef %indvars.iv138) #9
  %258 = load i8, ptr %257, align 1, !tbaa !66
  invoke void @_ZNK5Highs19basisStatusToStringB5cxx11E16HighsBasisStatus(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %17, ptr noundef nonnull align 8 dereferenceable(20928) %10, i8 noundef zeroext %258)
          to label %259 unwind label %262

259:                                              ; preds = %256
  %260 = 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) %255, ptr noundef nonnull align 8 dereferenceable(32) %17)
          to label %261 unwind label %264

261:                                              ; preds = %259
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %17) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %17) #9
  br label %267

262:                                              ; preds = %256
  %263 = landingpad { ptr, i32 }
          cleanup
  br label %266

264:                                              ; preds = %259
  %265 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %17) #9
  br label %266

266:                                              ; preds = %264, %262
  %.pn105 = phi { ptr, i32 } [ %265, %264 ], [ %263, %262 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %17) #9
  br label %334

267:                                              ; preds = %261, %253
  %268 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %269 unwind label %244

269:                                              ; preds = %267
  %indvars.iv.next139 = add nuw nsw i64 %indvars.iv138, 1
  %270 = load i32, ptr %156, align 4, !tbaa !65
  %271 = sext i32 %270 to i64
  %272 = icmp slt i64 %indvars.iv.next139, %271
  br i1 %272, label %232, label %._crit_edge.loopexit, !llvm.loop !70

._crit_edge131:                                   ; preds = %.lr.ph130, %.preheader121
  invoke void @_ZN10HighsModelC2ERKS_(ptr noundef nonnull align 8 dereferenceable(1000) %18, ptr noundef nonnull align 8 dereferenceable(1000) %1)
          to label %277 unwind label %184

.lr.ph130:                                        ; preds = %.preheader121, %.lr.ph130
  %indvars.iv141 = phi i64 [ %indvars.iv.next142, %.lr.ph130 ], [ 0, %.preheader121 ]
  %273 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %228, i64 noundef %indvars.iv141) #9
  store i8 1, ptr %273, align 1, !tbaa !71
  %indvars.iv.next142 = add nuw nsw i64 %indvars.iv141, 1
  %274 = load i32, ptr %78, align 8, !tbaa !64
  %275 = sext i32 %274 to i64
  %276 = icmp slt i64 %indvars.iv.next142, %275
  br i1 %276, label %.lr.ph130, label %._crit_edge131, !llvm.loop !73

277:                                              ; preds = %._crit_edge131
  %278 = invoke noundef i32 @_ZN5Highs9passModelE10HighsModel(ptr noundef nonnull align 8 dereferenceable(20928) %10, ptr noundef nonnull %18)
          to label %279 unwind label %287

279:                                              ; preds = %277
  call void @_ZN10HighsModelD2Ev(ptr noundef nonnull align 8 dereferenceable(1000) %18) #9
  %280 = invoke noundef i32 @_ZN5Highs3runEv(ptr noundef nonnull align 8 dereferenceable(20928) %10)
          to label %281 unwind label %184

281:                                              ; preds = %279
  %282 = icmp eq i32 %280, 0
  br i1 %282, label %.preheader120, label %286

.preheader120:                                    ; preds = %281
  %283 = load i32, ptr %78, align 8, !tbaa !64
  %284 = icmp sgt i32 %283, 0
  br i1 %284, label %.lr.ph133, label %.preheader

.lr.ph133:                                        ; preds = %.preheader120
  %285 = getelementptr inbounds i8, ptr %148, i64 8
  br label %292

286:                                              ; preds = %281
  call void @__assert_fail(ptr noundef nonnull @.str.54, ptr noundef nonnull @.str.55, i32 noundef 160, ptr noundef nonnull @__PRETTY_FUNCTION__.main) #10
  unreachable

287:                                              ; preds = %277
  %288 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN10HighsModelD2Ev(ptr noundef nonnull align 8 dereferenceable(1000) %18) #9
  br label %334

.preheader:                                       ; preds = %309, %.preheader120
  %289 = load i32, ptr %156, align 4, !tbaa !65
  %290 = icmp sgt i32 %289, 0
  br i1 %290, label %.lr.ph135, label %._crit_edge136

.lr.ph135:                                        ; preds = %.preheader
  %291 = getelementptr inbounds i8, ptr %148, i64 56
  br label %313

292:                                              ; preds = %.lr.ph133, %309
  %indvars.iv144 = phi i64 [ 0, %.lr.ph133 ], [ %indvars.iv.next145, %309 ]
  %293 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.63)
          to label %294 unwind label %305

294:                                              ; preds = %292
  %295 = trunc nuw nsw i64 %indvars.iv144 to i32
  %296 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %293, i32 noundef %295)
          to label %297 unwind label %305

297:                                              ; preds = %294
  %298 = load i32, ptr %120, align 4, !tbaa !61
  %.not104 = icmp eq i32 %298, 0
  br i1 %.not104, label %307, label %299

299:                                              ; preds = %297
  %300 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.64)
          to label %301 unwind label %305

301:                                              ; preds = %299
  %302 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %285, i64 noundef %indvars.iv144) #9
  %303 = load double, ptr %302, align 8, !tbaa !49
  %304 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) %300, double noundef %303)
          to label %307 unwind label %305

305:                                              ; preds = %307, %301, %299, %294, %292
  %306 = landingpad { ptr, i32 }
          cleanup
  br label %334

307:                                              ; preds = %301, %297
  %308 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %309 unwind label %305

309:                                              ; preds = %307
  %indvars.iv.next145 = add nuw nsw i64 %indvars.iv144, 1
  %310 = load i32, ptr %78, align 8, !tbaa !64
  %311 = sext i32 %310 to i64
  %312 = icmp slt i64 %indvars.iv.next145, %311
  br i1 %312, label %292, label %.preheader, !llvm.loop !74

._crit_edge136:                                   ; preds = %330, %.preheader
  call void @_ZN5HighsD2Ev(ptr noundef nonnull align 8 dereferenceable(20928) %10) #9
  call void @llvm.lifetime.end.p0(i64 20928, ptr nonnull %10) #9
  call void @_ZN10HighsModelD2Ev(ptr noundef nonnull align 8 dereferenceable(1000) %1) #9
  call void @llvm.lifetime.end.p0(i64 1000, ptr nonnull %1) #9
  ret i32 0

313:                                              ; preds = %.lr.ph135, %330
  %indvars.iv147 = phi i64 [ 0, %.lr.ph135 ], [ %indvars.iv.next148, %330 ]
  %314 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.67)
          to label %315 unwind label %326

315:                                              ; preds = %313
  %316 = trunc nuw nsw i64 %indvars.iv147 to i32
  %317 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %314, i32 noundef %316)
          to label %318 unwind label %326

318:                                              ; preds = %315
  %319 = load i32, ptr %120, align 4, !tbaa !61
  %.not103 = icmp eq i32 %319, 0
  br i1 %.not103, label %328, label %320

320:                                              ; preds = %318
  %321 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.64)
          to label %322 unwind label %326

322:                                              ; preds = %320
  %323 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %291, i64 noundef %indvars.iv147) #9
  %324 = load double, ptr %323, align 8, !tbaa !49
  %325 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) %321, double noundef %324)
          to label %328 unwind label %326

326:                                              ; preds = %328, %322, %320, %315, %313
  %327 = landingpad { ptr, i32 }
          cleanup
  br label %334

328:                                              ; preds = %322, %318
  %329 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %330 unwind label %326

330:                                              ; preds = %328
  %indvars.iv.next148 = add nuw nsw i64 %indvars.iv147, 1
  %331 = load i32, ptr %156, align 4, !tbaa !65
  %332 = sext i32 %331 to i64
  %333 = icmp slt i64 %indvars.iv.next148, %332
  br i1 %333, label %313, label %._crit_edge136, !llvm.loop !75

334:                                              ; preds = %83, %167, %173, %178, %183, %244, %266, %198, %220, %326, %305, %287, %184, %166, %90, %75, %73
  %.pn111.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %76, %75 ], [ %74, %73 ], [ %84, %83 ], [ %.pn, %166 ], [ %91, %90 ], [ %.pn99, %183 ], [ %168, %167 ], [ %.pn97, %178 ], [ %.pn95, %173 ], [ %306, %305 ], [ %327, %326 ], [ %185, %184 ], [ %288, %287 ], [ %199, %198 ], [ %.pn109, %220 ], [ %245, %244 ], [ %.pn105, %266 ]
  call void @_ZN5HighsD2Ev(ptr noundef nonnull align 8 dereferenceable(20928) %10) #9
  br label %335

335:                                              ; preds = %334, %71
  %.pn111.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn111.pn.pn.pn.pn.pn, %334 ], [ %72, %71 ]
  call void @llvm.lifetime.end.p0(i64 20928, ptr nonnull %10) #9
  br label %336

336:                                              ; preds = %335, %69, %67, %65, %63, %61, %59, %57, %55
  %.pn111.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn111.pn.pn.pn.pn.pn.pn, %335 ], [ %70, %69 ], [ %68, %67 ], [ %66, %65 ], [ %64, %63 ], [ %62, %61 ], [ %60, %59 ], [ %58, %57 ], [ %56, %55 ]
  call void @_ZN10HighsModelD2Ev(ptr noundef nonnull align 8 dereferenceable(1000) %1) #9
  call void @llvm.lifetime.end.p0(i64 1000, ptr nonnull %1) #9
  resume { ptr, i32 } %.pn111.pn.pn.pn.pn.pn.pn.pn
}

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN10HighsModelC2Ev(ptr noundef nonnull align 8 dereferenceable(1000)) unnamed_addr #3 align 2

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

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #5

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

declare void @_ZN5HighsC1Ev(ptr noundef nonnull align 8 dereferenceable(20928)) unnamed_addr #6

declare noundef i32 @_ZN5Highs9passModelE10HighsModel(ptr noundef nonnull align 8 dereferenceable(20928), ptr noundef) local_unnamed_addr #6

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

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

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

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

declare noundef i32 @_ZN5Highs3runEv(ptr noundef nonnull align 8 dereferenceable(20928)) local_unnamed_addr #6

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNK5Highs14getModelStatusEv(ptr noundef nonnull align 8 dereferenceable(20928)) 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 #3

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

declare void @_ZNK5Highs19modelStatusToStringB5cxx11E16HighsModelStatus(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(20928), i32 noundef) local_unnamed_addr #6

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

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

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef) local_unnamed_addr #6

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

declare void @_ZNK5Highs22solutionStatusToStringB5cxx11Ei(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(20928), i32 noundef) local_unnamed_addr #6

declare void @_ZNK5Highs21basisValidityToStringB5cxx11Ei(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(20928), i32 noundef) local_unnamed_addr #6

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

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

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

declare void @_ZNK5Highs19basisStatusToStringB5cxx11E16HighsBasisStatus(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(20928), i8 noundef zeroext) local_unnamed_addr #6

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN5HighsD2Ev(ptr noundef nonnull align 8 dereferenceable(20928)) 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 = { mustprogress norecurse uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { 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 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #6 = { "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 = { 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 #8 = { 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 #9 = { nounwind }
attributes #10 = { 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, !8, i64 0}
!6 = !{!"_ZTS10HighsModel", !7, i64 0, !44, i64 920}
!7 = !{!"_ZTS7HighsLp", !8, i64 0, !8, i64 4, !11, i64 8, !11, i64 32, !11, i64 56, !11, i64 80, !11, i64 104, !16, i64 128, !22, i64 240, !23, i64 248, !24, i64 256, !24, i64 288, !8, i64 320, !8, i64 324, !27, i64 328, !27, i64 352, !31, i64 376, !35, i64 400, !35, i64 456, !8, i64 512, !8, i64 516, !41, i64 520, !42, i64 592, !42, i64 593, !8, i64 596, !42, i64 600, !43, i64 608}
!8 = !{!"int", !9, i64 0}
!9 = !{!"omnipotent char", !10, i64 0}
!10 = !{!"Simple C++ TBAA"}
!11 = !{!"_ZTSSt6vectorIdSaIdEE", !12, i64 0}
!12 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !13, i64 0}
!13 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !14, i64 0}
!14 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!15 = !{!"any pointer", !9, i64 0}
!16 = !{!"_ZTS17HighsSparseMatrix", !17, i64 0, !8, i64 4, !8, i64 8, !18, i64 16, !18, i64 40, !18, i64 64, !11, i64 88}
!17 = !{!"_ZTS12MatrixFormat", !9, i64 0}
!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", !15, i64 0, !15, i64 8, !15, i64 16}
!22 = !{!"_ZTS8ObjSense", !9, i64 0}
!23 = !{!"double", !9, i64 0}
!24 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !25, i64 0, !26, i64 8, !9, i64 16}
!25 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !15, i64 0}
!26 = !{!"long", !9, i64 0}
!27 = !{!"_ZTSSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE", !28, i64 0}
!28 = !{!"_ZTSSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE", !29, i64 0}
!29 = !{!"_ZTSNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE12_Vector_implE", !30, i64 0}
!30 = !{!"_ZTSNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!31 = !{!"_ZTSSt6vectorI12HighsVarTypeSaIS0_EE", !32, i64 0}
!32 = !{!"_ZTSSt12_Vector_baseI12HighsVarTypeSaIS0_EE", !33, i64 0}
!33 = !{!"_ZTSNSt12_Vector_baseI12HighsVarTypeSaIS0_EE12_Vector_implE", !34, i64 0}
!34 = !{!"_ZTSNSt12_Vector_baseI12HighsVarTypeSaIS0_EE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!35 = !{!"_ZTS13HighsNameHash", !36, i64 0}
!36 = !{!"_ZTSSt13unordered_mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEiSt4hashIS5_ESt8equal_toIS5_ESaISt4pairIKS5_iEEE", !37, i64 0}
!37 = !{!"_ZTSSt10_HashtableINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_iESaIS8_ENSt8__detail10_Select1stESt8equal_toIS5_ESt4hashIS5_ENSA_18_Mod_range_hashingENSA_20_Default_ranged_hashENSA_20_Prime_rehash_policyENSA_17_Hashtable_traitsILb1ELb0ELb1EEEE", !15, i64 0, !26, i64 8, !38, i64 16, !26, i64 24, !39, i64 32, !15, i64 48}
!38 = !{!"_ZTSNSt8__detail15_Hash_node_baseE", !15, i64 0}
!39 = !{!"_ZTSNSt8__detail20_Prime_rehash_policyE", !40, i64 0, !26, i64 8}
!40 = !{!"float", !9, i64 0}
!41 = !{!"_ZTS10HighsScale", !8, i64 0, !42, i64 4, !8, i64 8, !8, i64 12, !23, i64 16, !11, i64 24, !11, i64 48}
!42 = !{!"bool", !9, i64 0}
!43 = !{!"_ZTS11HighsLpMods", !18, i64 0, !18, i64 24, !11, i64 48, !11, i64 72, !31, i64 96, !18, i64 120, !11, i64 144, !18, i64 168, !11, i64 192, !18, i64 216, !11, i64 240, !11, i64 264, !11, i64 288}
!44 = !{!"_ZTS12HighsHessian", !8, i64 0, !45, i64 4, !18, i64 8, !18, i64 32, !11, i64 56}
!45 = !{!"_ZTS13HessianFormat", !9, i64 0}
!46 = !{!6, !8, i64 4}
!47 = !{!6, !22, i64 240}
!48 = !{!6, !23, i64 248}
!49 = !{!23, !23, i64 0}
!50 = !{i64 0, i64 24, !51}
!51 = !{!9, !9, i64 0}
!52 = !{!6, !17, i64 128}
!53 = !{!8, !8, i64 0}
!54 = !{i64 0, i64 20, !51}
!55 = !{i64 0, i64 40, !51}
!56 = !{!57, !57, i64 0}
!57 = !{!"_ZTS16HighsModelStatus", !9, i64 0}
!58 = !{!59, !8, i64 16}
!59 = !{!"_ZTS15HighsInfoStruct", !42, i64 0, !26, i64 8, !8, i64 16, !8, i64 20, !8, i64 24, !8, i64 28, !8, i64 32, !8, i64 36, !8, i64 40, !8, i64 44, !23, i64 48, !23, i64 56, !23, i64 64, !23, i64 72, !8, i64 80, !23, i64 88, !23, i64 96, !8, i64 104, !23, i64 112, !23, i64 120, !23, i64 128, !23, i64 136, !23, i64 144}
!60 = !{!59, !23, i64 48}
!61 = !{!59, !8, i64 36}
!62 = !{!59, !8, i64 40}
!63 = !{!59, !8, i64 44}
!64 = !{!7, !8, i64 0}
!65 = !{!7, !8, i64 4}
!66 = !{!67, !67, i64 0}
!67 = !{!"_ZTS16HighsBasisStatus", !9, i64 0}
!68 = distinct !{!68, !69}
!69 = !{!"llvm.loop.mustprogress"}
!70 = distinct !{!70, !69}
!71 = !{!72, !72, i64 0}
!72 = !{!"_ZTS12HighsVarType", !9, i64 0}
!73 = distinct !{!73, !69}
!74 = distinct !{!74, !69}
!75 = distinct !{!75, !69}


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