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

; 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.HEkkPrimal = type { ptr, ptr, i32, i32, i32, i32, i32, double, double, double, i32, i32, i32, i32, i32, i32, double, double, double, double, double, double, i32, %"class.std::vector", %"class.std::vector", %"class.std::vector.3", i32, i32, %"class.std::vector.8", i32, %class.HSet, i8, i8, i8, i32, i32, %"class.std::vector.8", %"class.std::vector.3", %class.HSet, double, double, i32, i8, %class.HVectorBase, %class.HVectorBase, %class.HVectorBase, %class.HVectorBase, %class.HVectorBase, %class.HVectorBase, %class.HighsRandom, double, double, double, i32, i32, double, i32, i32 }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<std::pair<double, int>, std::allocator<std::pair<double, int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<double, int>, std::allocator<std::pair<double, int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<double, int>, std::allocator<std::pair<double, int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<double, int>, std::allocator<std::pair<double, int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = 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::vector.3" = type { %"struct.std::_Vector_base.4" }
%"struct.std::_Vector_base.4" = 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.HSet = type { i32, %"class.std::vector.8", i8, i8, i8, i8, ptr, i32, %"class.std::vector.8" }
%class.HVectorBase = type { i32, i32, %"class.std::vector.8", %"class.std::vector.3", double, %"class.std::vector.13", %"class.std::vector.8", ptr, i8, i32, %"class.std::vector.8", %"class.std::vector.3" }
%"class.std::vector.13" = type { %"struct.std::_Vector_base.14" }
%"struct.std::_Vector_base.14" = 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.HighsRandom = type { i64 }
%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.3", %"class.std::vector.3", i8, %class.HighsSparseMatrix, %class.HighsSparseMatrix, %class.HSimplexNla, %struct.HotStart, double, double, double, i32, i32, i32, i32, i8, i8, i32, i32, i32, %"class.std::vector.8", %"class.std::vector.3", %struct.HighsRayRecord, %struct.HighsRayRecord, i32, i32, i32, double, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.8", double, double, double, i32, i32, i8, i32, i8, i8, i8, i8, double, %"class.std::vector.71", %"class.std::vector.3", %struct.HighsSimplexStats }
%class.HighsSimplexAnalysis = type { ptr, %"class.std::vector.15", %"class.std::vector.15", 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.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.20", %"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.15" = type { %"struct.std::_Vector_base.16" }
%"struct.std::_Vector_base.16" = type { %"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsLogOptions = type <{ ptr, ptr, ptr, ptr, ptr, ptr, %"class.std::function", ptr, i8, [7 x i8] }>
%"class.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%"class.std::vector.20" = type { %"struct.std::_Vector_base.21" }
%"struct.std::_Vector_base.21" = 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.26" }
%"struct.std::_Head_base.26" = 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.3", %"class.std::vector.8", i32, [4 x i8] }>
%class.HighsLp = type { i32, i32, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %class.HighsSparseMatrix, i32, double, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, i32, %"class.std::vector.27", %"class.std::vector.27", %"class.std::vector.32", %struct.HighsNameHash, %struct.HighsNameHash, i32, i32, %struct.HighsScale, i8, i8, i32, i8, %struct.HighsLpMods }
%"class.std::vector.27" = type { %"struct.std::_Vector_base.28" }
%"struct.std::_Vector_base.28" = 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.32" = type { %"struct.std::_Vector_base.33" }
%"struct.std::_Vector_base.33" = 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.3", %"class.std::vector.3" }
%struct.HighsLpMods = type { %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.32", %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3" }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%struct.HighsSimplexStatus = type { i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8 }
%struct.HighsSimplexInfo = type <{ %"class.std::vector.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.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3", i32, i32, i8, i8, [6 x i8], %struct.SimplexBasis, i32, i32, i32, [4 x i8], %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", 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.8", %"class.std::vector.42", %"class.std::vector.42", i64, i32, i32, %"class.std::__cxx11::basic_string" }
%"class.std::vector.42" = type { %"struct.std::_Vector_base.43" }
%"struct.std::_Vector_base.43" = 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.47", %"class.std::unique_ptr.55", i64, i64, i64 }
%"class.std::unique_ptr.47" = type { %"struct.std::__uniq_ptr_data.48" }
%"struct.std::__uniq_ptr_data.48" = type { %"class.std::__uniq_ptr_impl.49" }
%"class.std::__uniq_ptr_impl.49" = type { %"class.std::tuple.50" }
%"class.std::tuple.50" = type { %"struct.std::_Tuple_impl.51" }
%"struct.std::_Tuple_impl.51" = type { %"struct.std::_Head_base.54" }
%"struct.std::_Head_base.54" = type { ptr }
%"class.std::unique_ptr.55" = type { %"struct.std::__uniq_ptr_data.56" }
%"struct.std::__uniq_ptr_data.56" = type { %"class.std::__uniq_ptr_impl.57" }
%"class.std::__uniq_ptr_impl.57" = type { %"class.std::tuple.58" }
%"class.std::tuple.58" = type { %"struct.std::_Tuple_impl.59" }
%"struct.std::_Tuple_impl.59" = type { %"struct.std::_Head_base.62" }
%"struct.std::_Head_base.62" = type { ptr }
%class.HighsSparseMatrix = type { i32, i32, i32, %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3" }
%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.8", %"class.std::vector.8", %"class.std::vector.8", %struct.RefactorInfo, i32, i32, i32, i32, i32, i32, i32, double, i8, ptr, ptr, ptr, ptr, double, double, i32, double, %"class.std::unique_ptr.63", %struct.HighsLogOptions, i8, i8, i32, i32, ptr, i32, %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.13", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3", i32, i32, %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3", %class.HVectorBase }
%struct.RefactorInfo = type { i8, %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.42", double }
%"class.std::unique_ptr.63" = type { %"struct.std::__uniq_ptr_data.64" }
%"struct.std::__uniq_ptr_data.64" = type { %"class.std::__uniq_ptr_impl.65" }
%"class.std::__uniq_ptr_impl.65" = type { %"class.std::tuple.66" }
%"class.std::tuple.66" = type { %"struct.std::_Tuple_impl.67" }
%"struct.std::_Tuple_impl.67" = type { %"struct.std::_Head_base.70" }
%"struct.std::_Head_base.70" = type { ptr }
%struct.ProductFormUpdate = type { i8, i32, i32, %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3" }
%struct.SimplexIterate = type { i8, %struct.SimplexBasis, %struct.InvertibleRepresentation, %"class.std::vector.3" }
%struct.InvertibleRepresentation = type { %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.3" }
%struct.HotStart = type { i8, %struct.RefactorInfo, %"class.std::vector.42" }
%struct.HighsRayRecord = type { i32, i32, %"class.std::vector.3" }
%"class.std::vector.71" = type { %"struct.std::_Vector_base.72" }
%"struct.std::_Vector_base.72" = type { %"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsSimplexStats = type { i8, i32, i32, i32, i32, double, double, double, double }

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNK4HSet5countEv(ptr noundef nonnull align 8 dereferenceable(80)) #3 align 2

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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN10HEkkPrimal39hyperChooseColumnBasicFeasibilityChangeEv(ptr noundef nonnull align 8 dereferenceable(1616) %0) #4 align 2 {
  %2 = alloca ptr, align 8
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca i8, align 1
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca double, align 8
  %10 = alloca i8, align 1
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca double, align 8
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca double, align 8
  store ptr %0, ptr %2, align 8, !tbaa !5
  %20 = load ptr, ptr %2, align 8
  %21 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 31
  %22 = load i8, ptr %21, align 8, !tbaa !9, !range !35, !noundef !36
  %23 = trunc i8 %22 to i1
  br i1 %23, label %25, label %24

24:                                               ; preds = %1
  br label %195

25:                                               ; preds = %1
  %26 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 1
  %27 = load ptr, ptr %26, align 8, !tbaa !37
  call void @_ZN20HighsSimplexAnalysis17simplexTimerStartEii(ptr noundef nonnull align 8 dereferenceable(8576) %27, i32 noundef 43, i32 noundef 0)
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #5
  %28 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 0
  %29 = load ptr, ptr %28, align 8, !tbaa !38
  %30 = getelementptr inbounds %class.HEkk, ptr %29, i32 0, i32 8
  %31 = getelementptr inbounds %struct.HighsSimplexInfo, ptr %30, i32 0, i32 1
  store ptr %31, ptr %3, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #5
  %32 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 0
  %33 = load ptr, ptr %32, align 8, !tbaa !38
  %34 = getelementptr inbounds %class.HEkk, ptr %33, i32 0, i32 10
  %35 = getelementptr inbounds %struct.SimplexBasis, ptr %34, i32 0, i32 2
  store ptr %35, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #5
  call void @llvm.lifetime.start.p0(i64 1, ptr %6) #5
  %36 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 0
  %37 = load ptr, ptr %36, align 8, !tbaa !38
  %38 = getelementptr inbounds %class.HEkk, ptr %37, i32 0, i32 18
  %39 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 47
  %40 = getelementptr inbounds %class.HVectorBase, ptr %39, i32 0, i32 1
  %41 = load i32, ptr %40, align 4, !tbaa !39
  %42 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 2
  %43 = load i32, ptr %42, align 8, !tbaa !40
  %44 = call noundef zeroext i1 @_ZNK11HSimplexNla15sparseLoopStyleEiiRi(ptr noundef nonnull align 8 dereferenceable(2864) %38, i32 noundef %41, i32 noundef %43, ptr noundef nonnull align 4 dereferenceable(4) %5)
  %45 = zext i1 %44 to i8
  store i8 %45, ptr %6, align 1, !tbaa !41
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #5
  store i32 0, ptr %7, align 4, !tbaa !42
  br label %46

46:                                               ; preds = %87, %25
  %47 = load i32, ptr %7, align 4, !tbaa !42
  %48 = load i32, ptr %5, align 4, !tbaa !42
  %49 = icmp slt i32 %47, %48
  br i1 %49, label %51, label %50

50:                                               ; preds = %46
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #5
  br label %90

51:                                               ; preds = %46
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #5
  %52 = load i8, ptr %6, align 1, !tbaa !41, !range !35, !noundef !36
  %53 = trunc i8 %52 to i1
  br i1 %53, label %54, label %61

54:                                               ; preds = %51
  %55 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 47
  %56 = getelementptr inbounds %class.HVectorBase, ptr %55, i32 0, i32 2
  %57 = load i32, ptr %7, align 4, !tbaa !42
  %58 = sext i32 %57 to i64
  %59 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %56, i64 noundef %58) #5
  %60 = load i32, ptr %59, align 4, !tbaa !42
  br label %63

61:                                               ; preds = %51
  %62 = load i32, ptr %7, align 4, !tbaa !42
  br label %63

63:                                               ; preds = %61, %54
  %64 = phi i32 [ %60, %54 ], [ %62, %61 ]
  store i32 %64, ptr %8, align 4, !tbaa !42
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #5
  %65 = load ptr, ptr %4, align 8, !tbaa !5
  %66 = load i32, ptr %8, align 4, !tbaa !42
  %67 = sext i32 %66 to i64
  %68 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorIaSaIaEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %65, i64 noundef %67) #5
  %69 = load i8, ptr %68, align 1, !tbaa !43
  %70 = sext i8 %69 to i32
  %71 = sub nsw i32 0, %70
  %72 = sitofp i32 %71 to double
  %73 = load ptr, ptr %3, align 8, !tbaa !5
  %74 = load i32, ptr %8, align 4, !tbaa !42
  %75 = sext i32 %74 to i64
  %76 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %73, i64 noundef %75) #5
  %77 = load double, ptr %76, align 8, !tbaa !44
  %78 = fmul double %72, %77
  store double %78, ptr %9, align 8, !tbaa !44
  %79 = load double, ptr %9, align 8, !tbaa !44
  %80 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 8
  %81 = load double, ptr %80, align 8, !tbaa !45
  %82 = fcmp ogt double %79, %81
  br i1 %82, label %83, label %86

83:                                               ; preds = %63
  %84 = load double, ptr %9, align 8, !tbaa !44
  %85 = load i32, ptr %8, align 4, !tbaa !42
  call void @_ZN10HEkkPrimal37hyperChooseColumnChangedInfeasibilityEdi(ptr noundef nonnull align 8 dereferenceable(1616) %20, double noundef %84, i32 noundef %85)
  br label %86

86:                                               ; preds = %83, %63
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #5
  br label %87

87:                                               ; preds = %86
  %88 = load i32, ptr %7, align 4, !tbaa !42
  %89 = add nsw i32 %88, 1
  store i32 %89, ptr %7, align 4, !tbaa !42
  br label %46, !llvm.loop !46

90:                                               ; preds = %50
  call void @llvm.lifetime.start.p0(i64 1, ptr %10) #5
  %91 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 0
  %92 = load ptr, ptr %91, align 8, !tbaa !38
  %93 = getelementptr inbounds %class.HEkk, ptr %92, i32 0, i32 18
  %94 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 46
  %95 = getelementptr inbounds %class.HVectorBase, ptr %94, i32 0, i32 1
  %96 = load i32, ptr %95, align 4, !tbaa !48
  %97 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 3
  %98 = load i32, ptr %97, align 4, !tbaa !49
  %99 = call noundef zeroext i1 @_ZNK11HSimplexNla15sparseLoopStyleEiiRi(ptr noundef nonnull align 8 dereferenceable(2864) %93, i32 noundef %96, i32 noundef %98, ptr noundef nonnull align 4 dereferenceable(4) %5)
  %100 = zext i1 %99 to i8
  store i8 %100, ptr %10, align 1, !tbaa !41
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #5
  store i32 0, ptr %11, align 4, !tbaa !42
  br label %101

101:                                              ; preds = %146, %90
  %102 = load i32, ptr %11, align 4, !tbaa !42
  %103 = load i32, ptr %5, align 4, !tbaa !42
  %104 = icmp slt i32 %102, %103
  br i1 %104, label %106, label %105

105:                                              ; preds = %101
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #5
  br label %149

106:                                              ; preds = %101
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #5
  %107 = load i8, ptr %10, align 1, !tbaa !41, !range !35, !noundef !36
  %108 = trunc i8 %107 to i1
  br i1 %108, label %109, label %116

109:                                              ; preds = %106
  %110 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 46
  %111 = getelementptr inbounds %class.HVectorBase, ptr %110, i32 0, i32 2
  %112 = load i32, ptr %11, align 4, !tbaa !42
  %113 = sext i32 %112 to i64
  %114 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %111, i64 noundef %113) #5
  %115 = load i32, ptr %114, align 4, !tbaa !42
  br label %118

116:                                              ; preds = %106
  %117 = load i32, ptr %11, align 4, !tbaa !42
  br label %118

118:                                              ; preds = %116, %109
  %119 = phi i32 [ %115, %109 ], [ %117, %116 ]
  store i32 %119, ptr %12, align 4, !tbaa !42
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #5
  %120 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 2
  %121 = load i32, ptr %120, align 8, !tbaa !40
  %122 = load i32, ptr %12, align 4, !tbaa !42
  %123 = add nsw i32 %121, %122
  store i32 %123, ptr %13, align 4, !tbaa !42
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #5
  %124 = load ptr, ptr %4, align 8, !tbaa !5
  %125 = load i32, ptr %13, align 4, !tbaa !42
  %126 = sext i32 %125 to i64
  %127 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorIaSaIaEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %124, i64 noundef %126) #5
  %128 = load i8, ptr %127, align 1, !tbaa !43
  %129 = sext i8 %128 to i32
  %130 = sub nsw i32 0, %129
  %131 = sitofp i32 %130 to double
  %132 = load ptr, ptr %3, align 8, !tbaa !5
  %133 = load i32, ptr %13, align 4, !tbaa !42
  %134 = sext i32 %133 to i64
  %135 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %132, i64 noundef %134) #5
  %136 = load double, ptr %135, align 8, !tbaa !44
  %137 = fmul double %131, %136
  store double %137, ptr %14, align 8, !tbaa !44
  %138 = load double, ptr %14, align 8, !tbaa !44
  %139 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 8
  %140 = load double, ptr %139, align 8, !tbaa !45
  %141 = fcmp ogt double %138, %140
  br i1 %141, label %142, label %145

142:                                              ; preds = %118
  %143 = load double, ptr %14, align 8, !tbaa !44
  %144 = load i32, ptr %13, align 4, !tbaa !42
  call void @_ZN10HEkkPrimal37hyperChooseColumnChangedInfeasibilityEdi(ptr noundef nonnull align 8 dereferenceable(1616) %20, double noundef %143, i32 noundef %144)
  br label %145

145:                                              ; preds = %142, %118
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #5
  br label %146

146:                                              ; preds = %145
  %147 = load i32, ptr %11, align 4, !tbaa !42
  %148 = add nsw i32 %147, 1
  store i32 %148, ptr %11, align 4, !tbaa !42
  br label %101, !llvm.loop !50

149:                                              ; preds = %105
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #5
  %150 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 30
  %151 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK4HSet5countEv(ptr noundef nonnull align 8 dereferenceable(80) %150)
  store ptr %151, ptr %15, align 8, !tbaa !5
  %152 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 13
  %153 = load i32, ptr %152, align 4, !tbaa !51
  %154 = icmp slt i32 %153, 0
  br i1 %154, label %155, label %192

155:                                              ; preds = %149
  %156 = load ptr, ptr %15, align 8, !tbaa !5
  %157 = load i32, ptr %156, align 4, !tbaa !42
  %158 = icmp ne i32 %157, 0
  br i1 %158, label %159, label %192

159:                                              ; preds = %155
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #5
  %160 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 30
  %161 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK4HSet5entryEv(ptr noundef nonnull align 8 dereferenceable(80) %160)
  store ptr %161, ptr %16, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #5
  store i32 0, ptr %17, align 4, !tbaa !42
  br label %162

162:                                              ; preds = %188, %159
  %163 = load i32, ptr %17, align 4, !tbaa !42
  %164 = load ptr, ptr %15, align 8, !tbaa !5
  %165 = load i32, ptr %164, align 4, !tbaa !42
  %166 = icmp slt i32 %163, %165
  br i1 %166, label %168, label %167

167:                                              ; preds = %162
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #5
  br label %191

168:                                              ; preds = %162
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #5
  %169 = load ptr, ptr %16, align 8, !tbaa !5
  %170 = load i32, ptr %17, align 4, !tbaa !42
  %171 = sext i32 %170 to i64
  %172 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %169, i64 noundef %171) #5
  %173 = load i32, ptr %172, align 4, !tbaa !42
  store i32 %173, ptr %18, align 4, !tbaa !42
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #5
  %174 = load ptr, ptr %3, align 8, !tbaa !5
  %175 = load i32, ptr %18, align 4, !tbaa !42
  %176 = sext i32 %175 to i64
  %177 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %174, i64 noundef %176) #5
  %178 = load double, ptr %177, align 8, !tbaa !44
  %179 = call double @llvm.fabs.f64(double %178)
  store double %179, ptr %19, align 8, !tbaa !44
  %180 = load double, ptr %19, align 8, !tbaa !44
  %181 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 8
  %182 = load double, ptr %181, align 8, !tbaa !45
  %183 = fcmp ogt double %180, %182
  br i1 %183, label %184, label %187

184:                                              ; preds = %168
  %185 = load double, ptr %19, align 8, !tbaa !44
  %186 = load i32, ptr %18, align 4, !tbaa !42
  call void @_ZN10HEkkPrimal37hyperChooseColumnChangedInfeasibilityEdi(ptr noundef nonnull align 8 dereferenceable(1616) %20, double noundef %185, i32 noundef %186)
  br label %187

187:                                              ; preds = %184, %168
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #5
  br label %188

188:                                              ; preds = %187
  %189 = load i32, ptr %17, align 4, !tbaa !42
  %190 = add nsw i32 %189, 1
  store i32 %190, ptr %17, align 4, !tbaa !42
  br label %162, !llvm.loop !52

191:                                              ; preds = %167
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #5
  br label %192

192:                                              ; preds = %191, %155, %149
  %193 = getelementptr inbounds %class.HEkkPrimal, ptr %20, i32 0, i32 1
  %194 = load ptr, ptr %193, align 8, !tbaa !37
  call void @_ZN20HighsSimplexAnalysis16simplexTimerStopEii(ptr noundef nonnull align 8 dereferenceable(8576) %194, i32 noundef 43, i32 noundef 0)
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %6) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #5
  br label %195

195:                                              ; preds = %192, %24
  ret void
}

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN10HEkkPrimal37hyperChooseColumnChangedInfeasibilityEdi(ptr noundef nonnull align 8 dereferenceable(1616), double noundef, i32 noundef) #4 align 2

declare noundef zeroext i1 @_ZNK11HSimplexNla15sparseLoopStyleEiiRi(ptr noundef nonnull align 8 dereferenceable(2864), i32 noundef, i32 noundef, ptr noundef nonnull align 4 dereferenceable(4)) #1

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !27, i64 336}
!10 = !{!"_ZTS10HEkkPrimal", !6, i64 0, !6, i64 8, !11, i64 16, !11, i64 20, !11, i64 24, !11, i64 28, !12, i64 32, !13, i64 40, !13, i64 48, !13, i64 56, !11, i64 64, !11, i64 68, !11, i64 72, !11, i64 76, !11, i64 80, !11, i64 84, !13, i64 88, !13, i64 96, !13, i64 104, !13, i64 112, !13, i64 120, !13, i64 128, !11, i64 136, !14, i64 144, !14, i64 168, !18, i64 192, !11, i64 216, !11, i64 220, !22, i64 224, !11, i64 248, !26, i64 256, !27, i64 336, !27, i64 337, !27, i64 338, !11, i64 340, !11, i64 344, !22, i64 352, !18, i64 376, !26, i64 400, !13, i64 480, !13, i64 488, !11, i64 496, !27, i64 500, !28, i64 504, !28, i64 680, !28, i64 856, !28, i64 1032, !28, i64 1208, !28, i64 1384, !33, i64 1560, !13, i64 1568, !13, i64 1576, !13, i64 1584, !11, i64 1592, !11, i64 1596, !13, i64 1600, !11, i64 1608, !11, i64 1612}
!11 = !{!"int", !7, i64 0}
!12 = !{!"_ZTS14EdgeWeightMode", !7, i64 0}
!13 = !{!"double", !7, i64 0}
!14 = !{!"_ZTSSt6vectorISt4pairIdiESaIS1_EE", !15, i64 0}
!15 = !{!"_ZTSSt12_Vector_baseISt4pairIdiESaIS1_EE", !16, i64 0}
!16 = !{!"_ZTSNSt12_Vector_baseISt4pairIdiESaIS1_EE12_Vector_implE", !17, i64 0}
!17 = !{!"_ZTSNSt12_Vector_baseISt4pairIdiESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!18 = !{!"_ZTSSt6vectorIdSaIdEE", !19, i64 0}
!19 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !21, i64 0}
!21 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!22 = !{!"_ZTSSt6vectorIiSaIiEE", !23, i64 0}
!23 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !24, i64 0}
!24 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !25, i64 0}
!25 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!26 = !{!"_ZTS4HSet", !11, i64 0, !22, i64 8, !27, i64 32, !27, i64 33, !27, i64 34, !27, i64 35, !6, i64 40, !11, i64 48, !22, i64 56}
!27 = !{!"bool", !7, i64 0}
!28 = !{!"_ZTS11HVectorBaseIdE", !11, i64 0, !11, i64 4, !22, i64 8, !18, i64 32, !13, i64 56, !29, i64 64, !22, i64 88, !6, i64 112, !27, i64 120, !11, i64 124, !22, i64 128, !18, i64 152}
!29 = !{!"_ZTSSt6vectorIcSaIcEE", !30, i64 0}
!30 = !{!"_ZTSSt12_Vector_baseIcSaIcEE", !31, i64 0}
!31 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE12_Vector_implE", !32, i64 0}
!32 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!33 = !{!"_ZTS11HighsRandom", !34, i64 0}
!34 = !{!"long", !7, i64 0}
!35 = !{i8 0, i8 2}
!36 = !{}
!37 = !{!10, !6, i64 8}
!38 = !{!10, !6, i64 0}
!39 = !{!10, !11, i64 1212}
!40 = !{!10, !11, i64 16}
!41 = !{!27, !27, i64 0}
!42 = !{!11, !11, i64 0}
!43 = !{!7, !7, i64 0}
!44 = !{!13, !13, i64 0}
!45 = !{!10, !13, i64 48}
!46 = distinct !{!46, !47}
!47 = !{!"llvm.loop.mustprogress"}
!48 = !{!10, !11, i64 1036}
!49 = !{!10, !11, i64 20}
!50 = distinct !{!50, !47}
!51 = !{!10, !11, i64 76}
!52 = distinct !{!52, !47}


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

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNK4HSet5countEv(ptr noundef nonnull align 8 dereferenceable(80)) local_unnamed_addr #3 align 2

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

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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN10HEkkPrimal39hyperChooseColumnBasicFeasibilityChangeEv(ptr noundef nonnull align 8 dereferenceable(1616) %0) local_unnamed_addr #4 align 2 {
  %2 = alloca i32, align 4
  %3 = getelementptr inbounds i8, ptr %0, i64 336
  %4 = load i8, ptr %3, align 8, !tbaa !5, !range !34, !noundef !35
  %5 = trunc nuw i8 %4 to i1
  br i1 %5, label %6, label %118

6:                                                ; preds = %1
  %7 = getelementptr inbounds i8, ptr %0, i64 8
  %8 = load ptr, ptr %7, align 8, !tbaa !36
  tail call void @_ZN20HighsSimplexAnalysis17simplexTimerStartEii(ptr noundef nonnull align 8 dereferenceable(8576) %8, i32 noundef 43, i32 noundef 0)
  %9 = load ptr, ptr %0, align 8, !tbaa !37
  %10 = getelementptr inbounds i8, ptr %9, i64 9592
  %11 = getelementptr inbounds i8, ptr %9, i64 10664
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %2) #5
  %12 = getelementptr inbounds i8, ptr %9, i64 11064
  %13 = getelementptr inbounds i8, ptr %0, i64 1212
  %14 = load i32, ptr %13, align 4, !tbaa !38
  %15 = getelementptr inbounds i8, ptr %0, i64 16
  %16 = load i32, ptr %15, align 8, !tbaa !39
  %17 = call noundef zeroext i1 @_ZNK11HSimplexNla15sparseLoopStyleEiiRi(ptr noundef nonnull align 8 dereferenceable(2864) %12, i32 noundef %14, i32 noundef %16, ptr noundef nonnull align 4 dereferenceable(4) %2)
  %18 = load i32, ptr %2, align 4, !tbaa !40
  %19 = icmp sgt i32 %18, 0
  br i1 %19, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %6
  %20 = getelementptr inbounds i8, ptr %0, i64 1216
  %21 = getelementptr inbounds i8, ptr %0, i64 48
  br i1 %17, label %.lr.ph.split.us, label %.lr.ph.split

.lr.ph.split.us:                                  ; preds = %.lr.ph, %36
  %indvars.iv51 = phi i64 [ %indvars.iv.next52, %36 ], [ 0, %.lr.ph ]
  %22 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %20, i64 noundef %indvars.iv51) #5
  %23 = load i32, ptr %22, align 4, !tbaa !40
  %24 = sext i32 %23 to i64
  %25 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorIaSaIaEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %11, i64 noundef %24) #5
  %26 = load i8, ptr %25, align 1, !tbaa !41
  %27 = sext i8 %26 to i32
  %28 = sub nsw i32 0, %27
  %29 = sitofp i32 %28 to double
  %30 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %24) #5
  %31 = load double, ptr %30, align 8, !tbaa !42
  %32 = fmul double %31, %29
  %33 = load double, ptr %21, align 8, !tbaa !43
  %34 = fcmp ogt double %32, %33
  br i1 %34, label %35, label %36

35:                                               ; preds = %.lr.ph.split.us
  call void @_ZN10HEkkPrimal37hyperChooseColumnChangedInfeasibilityEdi(ptr noundef nonnull align 8 dereferenceable(1616) %0, double noundef %32, i32 noundef %23)
  br label %36

36:                                               ; preds = %35, %.lr.ph.split.us
  %indvars.iv.next52 = add nuw nsw i64 %indvars.iv51, 1
  %37 = load i32, ptr %2, align 4, !tbaa !40
  %38 = sext i32 %37 to i64
  %39 = icmp slt i64 %indvars.iv.next52, %38
  br i1 %39, label %.lr.ph.split.us, label %._crit_edge, !llvm.loop !44

._crit_edge:                                      ; preds = %63, %36, %6
  %40 = load ptr, ptr %0, align 8, !tbaa !37
  %41 = getelementptr inbounds i8, ptr %40, i64 11064
  %42 = getelementptr inbounds i8, ptr %0, i64 1036
  %43 = load i32, ptr %42, align 4, !tbaa !46
  %44 = getelementptr inbounds i8, ptr %0, i64 20
  %45 = load i32, ptr %44, align 4, !tbaa !47
  %46 = call noundef zeroext i1 @_ZNK11HSimplexNla15sparseLoopStyleEiiRi(ptr noundef nonnull align 8 dereferenceable(2864) %41, i32 noundef %43, i32 noundef %45, ptr noundef nonnull align 4 dereferenceable(4) %2)
  %47 = load i32, ptr %2, align 4, !tbaa !40
  %48 = icmp sgt i32 %47, 0
  br i1 %48, label %.lr.ph44, label %._crit_edge45

.lr.ph44:                                         ; preds = %._crit_edge
  %49 = getelementptr inbounds i8, ptr %0, i64 1040
  %50 = getelementptr inbounds i8, ptr %0, i64 48
  br label %73

.lr.ph.split:                                     ; preds = %.lr.ph, %63
  %indvars.iv = phi i64 [ %indvars.iv.next, %63 ], [ 0, %.lr.ph ]
  %51 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorIaSaIaEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %11, i64 noundef %indvars.iv) #5
  %52 = load i8, ptr %51, align 1, !tbaa !41
  %53 = sext i8 %52 to i32
  %54 = sub nsw i32 0, %53
  %55 = sitofp i32 %54 to double
  %56 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %indvars.iv) #5
  %57 = load double, ptr %56, align 8, !tbaa !42
  %58 = fmul double %57, %55
  %59 = load double, ptr %21, align 8, !tbaa !43
  %60 = fcmp ogt double %58, %59
  br i1 %60, label %61, label %63

61:                                               ; preds = %.lr.ph.split
  %62 = trunc nuw nsw i64 %indvars.iv to i32
  call void @_ZN10HEkkPrimal37hyperChooseColumnChangedInfeasibilityEdi(ptr noundef nonnull align 8 dereferenceable(1616) %0, double noundef %58, i32 noundef %62)
  br label %63

63:                                               ; preds = %61, %.lr.ph.split
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %64 = load i32, ptr %2, align 4, !tbaa !40
  %65 = sext i32 %64 to i64
  %66 = icmp slt i64 %indvars.iv.next, %65
  br i1 %66, label %.lr.ph.split, label %._crit_edge, !llvm.loop !44

._crit_edge45:                                    ; preds = %94, %._crit_edge
  %67 = getelementptr inbounds i8, ptr %0, i64 256
  %68 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK4HSet5countEv(ptr noundef nonnull align 8 dereferenceable(80) %67)
  %69 = getelementptr inbounds i8, ptr %0, i64 76
  %70 = load i32, ptr %69, align 4, !tbaa !48
  %71 = icmp sgt i32 %70, -1
  %72 = load i32, ptr %68, align 4
  %.not = icmp eq i32 %72, 0
  %or.cond = select i1 %71, i1 true, i1 %.not
  br i1 %or.cond, label %.loopexit, label %98

73:                                               ; preds = %.lr.ph44, %94
  %indvars.iv54 = phi i64 [ 0, %.lr.ph44 ], [ %indvars.iv.next55, %94 ]
  %74 = trunc nuw nsw i64 %indvars.iv54 to i32
  br i1 %46, label %75, label %78

75:                                               ; preds = %73
  %76 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %49, i64 noundef %indvars.iv54) #5
  %77 = load i32, ptr %76, align 4, !tbaa !40
  br label %78

78:                                               ; preds = %73, %75
  %79 = phi i32 [ %77, %75 ], [ %74, %73 ]
  %80 = load i32, ptr %15, align 8, !tbaa !39
  %81 = add nsw i32 %80, %79
  %82 = sext i32 %81 to i64
  %83 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorIaSaIaEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %11, i64 noundef %82) #5
  %84 = load i8, ptr %83, align 1, !tbaa !41
  %85 = sext i8 %84 to i32
  %86 = sub nsw i32 0, %85
  %87 = sitofp i32 %86 to double
  %88 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %82) #5
  %89 = load double, ptr %88, align 8, !tbaa !42
  %90 = fmul double %89, %87
  %91 = load double, ptr %50, align 8, !tbaa !43
  %92 = fcmp ogt double %90, %91
  br i1 %92, label %93, label %94

93:                                               ; preds = %78
  call void @_ZN10HEkkPrimal37hyperChooseColumnChangedInfeasibilityEdi(ptr noundef nonnull align 8 dereferenceable(1616) %0, double noundef %90, i32 noundef %81)
  br label %94

94:                                               ; preds = %93, %78
  %indvars.iv.next55 = add nuw nsw i64 %indvars.iv54, 1
  %95 = load i32, ptr %2, align 4, !tbaa !40
  %96 = sext i32 %95 to i64
  %97 = icmp slt i64 %indvars.iv.next55, %96
  br i1 %97, label %73, label %._crit_edge45, !llvm.loop !49

98:                                               ; preds = %._crit_edge45
  %99 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK4HSet5entryEv(ptr noundef nonnull align 8 dereferenceable(80) %67)
  %100 = load i32, ptr %68, align 4, !tbaa !40
  %101 = icmp sgt i32 %100, 0
  br i1 %101, label %.lr.ph48, label %.loopexit

.lr.ph48:                                         ; preds = %98
  %102 = getelementptr inbounds i8, ptr %0, i64 48
  br label %103

103:                                              ; preds = %.lr.ph48, %113
  %indvars.iv57 = phi i64 [ 0, %.lr.ph48 ], [ %indvars.iv.next58, %113 ]
  %104 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %99, i64 noundef %indvars.iv57) #5
  %105 = load i32, ptr %104, align 4, !tbaa !40
  %106 = sext i32 %105 to i64
  %107 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %106) #5
  %108 = load double, ptr %107, align 8, !tbaa !42
  %109 = call double @llvm.fabs.f64(double %108)
  %110 = load double, ptr %102, align 8, !tbaa !43
  %111 = fcmp ogt double %109, %110
  br i1 %111, label %112, label %113

112:                                              ; preds = %103
  call void @_ZN10HEkkPrimal37hyperChooseColumnChangedInfeasibilityEdi(ptr noundef nonnull align 8 dereferenceable(1616) %0, double noundef %109, i32 noundef %105)
  br label %113

113:                                              ; preds = %112, %103
  %indvars.iv.next58 = add nuw nsw i64 %indvars.iv57, 1
  %114 = load i32, ptr %68, align 4, !tbaa !40
  %115 = sext i32 %114 to i64
  %116 = icmp slt i64 %indvars.iv.next58, %115
  br i1 %116, label %103, label %.loopexit, !llvm.loop !50

.loopexit:                                        ; preds = %113, %98, %._crit_edge45
  %117 = load ptr, ptr %7, align 8, !tbaa !36
  call void @_ZN20HighsSimplexAnalysis16simplexTimerStopEii(ptr noundef nonnull align 8 dereferenceable(8576) %117, i32 noundef 43, i32 noundef 0)
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #5
  br label %118

118:                                              ; preds = %1, %.loopexit
  ret void
}

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN10HEkkPrimal37hyperChooseColumnChangedInfeasibilityEdi(ptr noundef nonnull align 8 dereferenceable(1616), double noundef, i32 noundef) local_unnamed_addr #4 align 2

declare noundef zeroext i1 @_ZNK11HSimplexNla15sparseLoopStyleEiiRi(ptr noundef nonnull align 8 dereferenceable(2864), i32 noundef, i32 noundef, ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #1

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #3 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { 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 = { 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, !26, i64 336}
!6 = !{!"_ZTS10HEkkPrimal", !7, i64 0, !7, i64 8, !10, i64 16, !10, i64 20, !10, i64 24, !10, i64 28, !11, i64 32, !12, i64 40, !12, i64 48, !12, i64 56, !10, i64 64, !10, i64 68, !10, i64 72, !10, i64 76, !10, i64 80, !10, i64 84, !12, i64 88, !12, i64 96, !12, i64 104, !12, i64 112, !12, i64 120, !12, i64 128, !10, i64 136, !13, i64 144, !13, i64 168, !17, i64 192, !10, i64 216, !10, i64 220, !21, i64 224, !10, i64 248, !25, i64 256, !26, i64 336, !26, i64 337, !26, i64 338, !10, i64 340, !10, i64 344, !21, i64 352, !17, i64 376, !25, i64 400, !12, i64 480, !12, i64 488, !10, i64 496, !26, i64 500, !27, i64 504, !27, i64 680, !27, i64 856, !27, i64 1032, !27, i64 1208, !27, i64 1384, !32, i64 1560, !12, i64 1568, !12, i64 1576, !12, i64 1584, !10, i64 1592, !10, i64 1596, !12, i64 1600, !10, i64 1608, !10, i64 1612}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"int", !8, i64 0}
!11 = !{!"_ZTS14EdgeWeightMode", !8, i64 0}
!12 = !{!"double", !8, i64 0}
!13 = !{!"_ZTSSt6vectorISt4pairIdiESaIS1_EE", !14, i64 0}
!14 = !{!"_ZTSSt12_Vector_baseISt4pairIdiESaIS1_EE", !15, i64 0}
!15 = !{!"_ZTSNSt12_Vector_baseISt4pairIdiESaIS1_EE12_Vector_implE", !16, i64 0}
!16 = !{!"_ZTSNSt12_Vector_baseISt4pairIdiESaIS1_EE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!17 = !{!"_ZTSSt6vectorIdSaIdEE", !18, i64 0}
!18 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !19, i64 0}
!19 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!21 = !{!"_ZTSSt6vectorIiSaIiEE", !22, i64 0}
!22 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !23, i64 0}
!23 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !24, i64 0}
!24 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!25 = !{!"_ZTS4HSet", !10, i64 0, !21, i64 8, !26, i64 32, !26, i64 33, !26, i64 34, !26, i64 35, !7, i64 40, !10, i64 48, !21, i64 56}
!26 = !{!"bool", !8, i64 0}
!27 = !{!"_ZTS11HVectorBaseIdE", !10, i64 0, !10, i64 4, !21, i64 8, !17, i64 32, !12, i64 56, !28, i64 64, !21, i64 88, !7, i64 112, !26, i64 120, !10, i64 124, !21, i64 128, !17, i64 152}
!28 = !{!"_ZTSSt6vectorIcSaIcEE", !29, i64 0}
!29 = !{!"_ZTSSt12_Vector_baseIcSaIcEE", !30, i64 0}
!30 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE12_Vector_implE", !31, i64 0}
!31 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!32 = !{!"_ZTS11HighsRandom", !33, i64 0}
!33 = !{!"long", !8, i64 0}
!34 = !{i8 0, i8 2}
!35 = !{}
!36 = !{!6, !7, i64 8}
!37 = !{!6, !7, i64 0}
!38 = !{!6, !10, i64 1212}
!39 = !{!6, !10, i64 16}
!40 = !{!10, !10, i64 0}
!41 = !{!8, !8, i64 0}
!42 = !{!12, !12, i64 0}
!43 = !{!6, !12, i64 48}
!44 = distinct !{!44, !45}
!45 = !{!"llvm.loop.mustprogress"}
!46 = !{!6, !10, i64 1036}
!47 = !{!6, !10, i64 20}
!48 = !{!6, !10, i64 76}
!49 = distinct !{!49, !45}
!50 = distinct !{!50, !45}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LICMPass,LoopInstSimplifyPass,LoopRotatePass,LoopSimplifyCFGPass,LoopSimplifyPass,LoopUnrollPass,SROAPass,SimplifyCFGPass,TailCallElimPass