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

; 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.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.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.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.HSet = type { i32, %"class.std::vector.8", i8, i8, i8, i8, ptr, i32, %"class.std::vector.8" }
%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 }

@.str.53 = external hidden unnamed_addr constant [76 x i8], align 1
@.str.129 = external hidden unnamed_addr constant [17 x i8], align 1
@__PRETTY_FUNCTION__._ZN10HEkkPrimal17phase1ComputeDualEv = external hidden unnamed_addr constant [37 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: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) #1

declare void @_ZN11HVectorBaseIdE5setupEi(ptr noundef nonnull align 8 dereferenceable(176), i32 noundef) #2

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN10HEkkPrimal17phase1ComputeDualEv(ptr noundef nonnull align 8 dereferenceable(1616) %0) #4 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca ptr, align 8
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca %class.HVectorBase, align 8
  %6 = alloca ptr, align 8
  %7 = alloca i32, align 4
  %8 = alloca double, align 8
  %9 = alloca double, align 8
  %10 = alloca double, align 8
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca double, align 8
  %14 = alloca double, align 8
  %15 = alloca double, align 8
  %16 = alloca i32, align 4
  %17 = alloca double, align 8
  %18 = alloca i32, align 4
  %19 = alloca %class.HVectorBase, align 8
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  store ptr %0, ptr %2, align 8, !tbaa !5
  %23 = load ptr, ptr %2, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #7
  %24 = getelementptr inbounds %class.HEkkPrimal, ptr %23, i32 0, i32 0
  %25 = load ptr, ptr %24, align 8, !tbaa !9
  %26 = getelementptr inbounds %class.HEkk, ptr %25, i32 0, i32 8
  store ptr %26, ptr %3, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #7
  %27 = getelementptr inbounds %class.HEkkPrimal, ptr %23, i32 0, i32 0
  %28 = load ptr, ptr %27, align 8, !tbaa !9
  %29 = getelementptr inbounds %class.HEkk, ptr %28, i32 0, i32 10
  %30 = getelementptr inbounds %struct.SimplexBasis, ptr %29, i32 0, i32 1
  store ptr %30, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 176, ptr %5) #7
  call void @_ZN11HVectorBaseIdEC2Ev(ptr noundef nonnull align 8 dereferenceable(176) %5) #7
  %31 = getelementptr inbounds %class.HEkkPrimal, ptr %23, i32 0, i32 3
  %32 = load i32, ptr %31, align 4, !tbaa !35
  invoke void @_ZN11HVectorBaseIdE5setupEi(ptr noundef nonnull align 8 dereferenceable(176) %5, i32 noundef %32)
          to label %33 unwind label %58

33:                                               ; preds = %1
  invoke void @_ZN11HVectorBaseIdE5clearEv(ptr noundef nonnull align 8 dereferenceable(176) %5)
          to label %34 unwind label %58

34:                                               ; preds = %33
  %35 = getelementptr inbounds %class.HVectorBase, ptr %5, i32 0, i32 1
  store i32 0, ptr %35, align 4, !tbaa !36
  %36 = load ptr, ptr %3, align 8, !tbaa !5
  %37 = getelementptr inbounds %struct.HighsSimplexInfo, ptr %36, i32 0, i32 0
  %38 = getelementptr inbounds %class.HEkkPrimal, ptr %23, i32 0, i32 4
  %39 = load i32, ptr %38, align 8, !tbaa !37
  %40 = sext i32 %39 to i64
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #7
  store double 0.000000e+00, ptr %8, align 8, !tbaa !38
  invoke void @_ZNSt6vectorIdSaIdEE6assignEmRKd(ptr noundef nonnull align 8 dereferenceable(24) %37, i64 noundef %40, ptr noundef nonnull align 8 dereferenceable(8) %8)
          to label %41 unwind label %62

41:                                               ; preds = %34
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #7
  %42 = load ptr, ptr %3, align 8, !tbaa !5
  %43 = getelementptr inbounds %struct.HighsSimplexInfo, ptr %42, i32 0, i32 1
  %44 = getelementptr inbounds %class.HEkkPrimal, ptr %23, i32 0, i32 4
  %45 = load i32, ptr %44, align 8, !tbaa !37
  %46 = sext i32 %45 to i64
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #7
  store double 0.000000e+00, ptr %9, align 8, !tbaa !38
  invoke void @_ZNSt6vectorIdSaIdEE6assignEmRKd(ptr noundef nonnull align 8 dereferenceable(24) %43, i64 noundef %46, ptr noundef nonnull align 8 dereferenceable(8) %9)
          to label %47 unwind label %66

47:                                               ; preds = %41
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #7
  %48 = load ptr, ptr %3, align 8, !tbaa !5
  %49 = getelementptr inbounds %struct.HighsSimplexInfo, ptr %48, i32 0, i32 37
  %50 = load double, ptr %49, align 8, !tbaa !39
  %51 = fmul double %50, 5.000000e-07
  store double %51, ptr %10, align 8, !tbaa !38
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #7
  store i32 0, ptr %11, align 4, !tbaa !48
  br label %52

52:                                               ; preds = %141, %47
  %53 = load i32, ptr %11, align 4, !tbaa !48
  %54 = getelementptr inbounds %class.HEkkPrimal, ptr %23, i32 0, i32 3
  %55 = load i32, ptr %54, align 4, !tbaa !35
  %56 = icmp slt i32 %53, %55
  br i1 %56, label %70, label %57

57:                                               ; preds = %52
  store i32 2, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #7
  br label %144

58:                                               ; preds = %33, %1
  %59 = landingpad { ptr, i32 }
          cleanup
  %60 = extractvalue { ptr, i32 } %59, 0
  store ptr %60, ptr %6, align 8
  %61 = extractvalue { ptr, i32 } %59, 1
  store i32 %61, ptr %7, align 4
  br label %270

62:                                               ; preds = %34
  %63 = landingpad { ptr, i32 }
          cleanup
  %64 = extractvalue { ptr, i32 } %63, 0
  store ptr %64, ptr %6, align 8
  %65 = extractvalue { ptr, i32 } %63, 1
  store i32 %65, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #7
  br label %270

66:                                               ; preds = %41
  %67 = landingpad { ptr, i32 }
          cleanup
  %68 = extractvalue { ptr, i32 } %67, 0
  store ptr %68, ptr %6, align 8
  %69 = extractvalue { ptr, i32 } %67, 1
  store i32 %69, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #7
  br label %270

70:                                               ; preds = %52
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #7
  %71 = load ptr, ptr %3, align 8, !tbaa !5
  %72 = getelementptr inbounds %struct.HighsSimplexInfo, ptr %71, i32 0, i32 11
  %73 = load i32, ptr %11, align 4, !tbaa !48
  %74 = sext i32 %73 to i64
  %75 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %72, i64 noundef %74) #7
  %76 = load double, ptr %75, align 8, !tbaa !38
  store double %76, ptr %13, align 8, !tbaa !38
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #7
  %77 = load ptr, ptr %3, align 8, !tbaa !5
  %78 = getelementptr inbounds %struct.HighsSimplexInfo, ptr %77, i32 0, i32 9
  %79 = load i32, ptr %11, align 4, !tbaa !48
  %80 = sext i32 %79 to i64
  %81 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %78, i64 noundef %80) #7
  %82 = load double, ptr %81, align 8, !tbaa !38
  store double %82, ptr %14, align 8, !tbaa !38
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #7
  %83 = load ptr, ptr %3, align 8, !tbaa !5
  %84 = getelementptr inbounds %struct.HighsSimplexInfo, ptr %83, i32 0, i32 10
  %85 = load i32, ptr %11, align 4, !tbaa !48
  %86 = sext i32 %85 to i64
  %87 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %84, i64 noundef %86) #7
  %88 = load double, ptr %87, align 8, !tbaa !38
  store double %88, ptr %15, align 8, !tbaa !38
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #7
  store i32 0, ptr %16, align 4, !tbaa !48
  %89 = load double, ptr %13, align 8, !tbaa !38
  %90 = load double, ptr %14, align 8, !tbaa !38
  %91 = getelementptr inbounds %class.HEkkPrimal, ptr %23, i32 0, i32 7
  %92 = load double, ptr %91, align 8, !tbaa !49
  %93 = fsub double %90, %92
  %94 = fcmp olt double %89, %93
  br i1 %94, label %95, label %96

95:                                               ; preds = %70
  store i32 -1, ptr %16, align 4, !tbaa !48
  br label %105

96:                                               ; preds = %70
  %97 = load double, ptr %13, align 8, !tbaa !38
  %98 = load double, ptr %15, align 8, !tbaa !38
  %99 = getelementptr inbounds %class.HEkkPrimal, ptr %23, i32 0, i32 7
  %100 = load double, ptr %99, align 8, !tbaa !49
  %101 = fadd double %98, %100
  %102 = fcmp ogt double %97, %101
  br i1 %102, label %103, label %104

103:                                              ; preds = %96
  store i32 1, ptr %16, align 4, !tbaa !48
  br label %104

104:                                              ; preds = %103, %96
  br label %105

105:                                              ; preds = %104, %95
  %106 = load i32, ptr %16, align 4, !tbaa !48
  %107 = icmp ne i32 %106, 0
  br i1 %107, label %109, label %108

108:                                              ; preds = %105
  store i32 4, ptr %12, align 4
  br label %138

109:                                              ; preds = %105
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #7
  %110 = load i32, ptr %16, align 4, !tbaa !48
  %111 = sitofp i32 %110 to double
  store double %111, ptr %17, align 8, !tbaa !38
  %112 = load double, ptr %10, align 8, !tbaa !38
  %113 = fcmp une double %112, 0.000000e+00
  br i1 %113, label %114, label %125

114:                                              ; preds = %109
  %115 = load double, ptr %10, align 8, !tbaa !38
  %116 = load ptr, ptr %3, align 8, !tbaa !5
  %117 = getelementptr inbounds %struct.HighsSimplexInfo, ptr %116, i32 0, i32 12
  %118 = load i32, ptr %11, align 4, !tbaa !48
  %119 = sext i32 %118 to i64
  %120 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %117, i64 noundef %119) #7
  %121 = load double, ptr %120, align 8, !tbaa !38
  %122 = call double @llvm.fmuladd.f64(double %115, double %121, double 1.000000e+00)
  %123 = load double, ptr %17, align 8, !tbaa !38
  %124 = fmul double %123, %122
  store double %124, ptr %17, align 8, !tbaa !38
  br label %125

125:                                              ; preds = %114, %109
  %126 = load double, ptr %17, align 8, !tbaa !38
  %127 = getelementptr inbounds %class.HVectorBase, ptr %5, i32 0, i32 3
  %128 = load i32, ptr %11, align 4, !tbaa !48
  %129 = sext i32 %128 to i64
  %130 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %127, i64 noundef %129) #7
  store double %126, ptr %130, align 8, !tbaa !38
  %131 = load i32, ptr %11, align 4, !tbaa !48
  %132 = getelementptr inbounds %class.HVectorBase, ptr %5, i32 0, i32 2
  %133 = getelementptr inbounds %class.HVectorBase, ptr %5, i32 0, i32 1
  %134 = load i32, ptr %133, align 4, !tbaa !36
  %135 = add nsw i32 %134, 1
  store i32 %135, ptr %133, align 4, !tbaa !36
  %136 = sext i32 %134 to i64
  %137 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %132, i64 noundef %136) #7
  store i32 %131, ptr %137, align 4, !tbaa !48
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #7
  store i32 0, ptr %12, align 4
  br label %138

138:                                              ; preds = %125, %108
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #7
  %139 = load i32, ptr %12, align 4
  switch i32 %139, label %276 [
    i32 0, label %140
    i32 4, label %141
  ]

140:                                              ; preds = %138
  br label %141

141:                                              ; preds = %140, %138
  %142 = load i32, ptr %11, align 4, !tbaa !48
  %143 = add nsw i32 %142, 1
  store i32 %143, ptr %11, align 4, !tbaa !48
  br label %52, !llvm.loop !50

144:                                              ; preds = %57
  %145 = getelementptr inbounds %class.HVectorBase, ptr %5, i32 0, i32 1
  %146 = load i32, ptr %145, align 4, !tbaa !36
  %147 = icmp sle i32 %146, 0
  br i1 %147, label %148, label %156

148:                                              ; preds = %144
  %149 = getelementptr inbounds %class.HVectorBase, ptr %5, i32 0, i32 1
  %150 = load i32, ptr %149, align 4, !tbaa !36
  %151 = icmp sgt i32 %150, 0
  br i1 %151, label %152, label %153

152:                                              ; preds = %148
  br label %155

153:                                              ; preds = %148
  call void @__assert_fail(ptr noundef @.str.129, ptr noundef @.str.53, i32 noundef 1820, ptr noundef @__PRETTY_FUNCTION__._ZN10HEkkPrimal17phase1ComputeDualEv) #8
  unreachable

154:                                              ; No predecessors!
  br label %155

155:                                              ; preds = %154, %152
  store i32 1, ptr %12, align 4
  br label %266

156:                                              ; preds = %144
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #7
  store i32 0, ptr %18, align 4, !tbaa !48
  br label %157

157:                                              ; preds = %181, %156
  %158 = load i32, ptr %18, align 4, !tbaa !48
  %159 = getelementptr inbounds %class.HEkkPrimal, ptr %23, i32 0, i32 3
  %160 = load i32, ptr %159, align 4, !tbaa !35
  %161 = icmp slt i32 %158, %160
  br i1 %161, label %163, label %162

162:                                              ; preds = %157
  store i32 5, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #7
  br label %184

163:                                              ; preds = %157
  %164 = getelementptr inbounds %class.HVectorBase, ptr %5, i32 0, i32 3
  %165 = load i32, ptr %18, align 4, !tbaa !48
  %166 = sext i32 %165 to i64
  %167 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %164, i64 noundef %166) #7
  %168 = load double, ptr %167, align 8, !tbaa !38
  %169 = load ptr, ptr %3, align 8, !tbaa !5
  %170 = getelementptr inbounds %struct.HighsSimplexInfo, ptr %169, i32 0, i32 0
  %171 = getelementptr inbounds %class.HEkkPrimal, ptr %23, i32 0, i32 0
  %172 = load ptr, ptr %171, align 8, !tbaa !9
  %173 = getelementptr inbounds %class.HEkk, ptr %172, i32 0, i32 10
  %174 = getelementptr inbounds %struct.SimplexBasis, ptr %173, i32 0, i32 0
  %175 = load i32, ptr %18, align 4, !tbaa !48
  %176 = sext i32 %175 to i64
  %177 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %174, i64 noundef %176) #7
  %178 = load i32, ptr %177, align 4, !tbaa !48
  %179 = sext i32 %178 to i64
  %180 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %170, i64 noundef %179) #7
  store double %168, ptr %180, align 8, !tbaa !38
  br label %181

181:                                              ; preds = %163
  %182 = load i32, ptr %18, align 4, !tbaa !48
  %183 = add nsw i32 %182, 1
  store i32 %183, ptr %18, align 4, !tbaa !48
  br label %157, !llvm.loop !52

184:                                              ; preds = %162
  %185 = getelementptr inbounds %class.HEkkPrimal, ptr %23, i32 0, i32 0
  %186 = load ptr, ptr %185, align 8, !tbaa !9
  invoke void @_ZN4HEkk9fullBtranER11HVectorBaseIdE(ptr noundef nonnull align 8 dereferenceable(14568) %186, ptr noundef nonnull align 8 dereferenceable(176) %5)
          to label %187 unwind label %200

187:                                              ; preds = %184
  call void @llvm.lifetime.start.p0(i64 176, ptr %19) #7
  call void @_ZN11HVectorBaseIdEC2Ev(ptr noundef nonnull align 8 dereferenceable(176) %19) #7
  %188 = getelementptr inbounds %class.HEkkPrimal, ptr %23, i32 0, i32 2
  %189 = load i32, ptr %188, align 8, !tbaa !53
  invoke void @_ZN11HVectorBaseIdE5setupEi(ptr noundef nonnull align 8 dereferenceable(176) %19, i32 noundef %189)
          to label %190 unwind label %204

190:                                              ; preds = %187
  %191 = getelementptr inbounds %class.HEkkPrimal, ptr %23, i32 0, i32 0
  %192 = load ptr, ptr %191, align 8, !tbaa !9
  invoke void @_ZN4HEkk9fullPriceERK11HVectorBaseIdERS1_(ptr noundef nonnull align 8 dereferenceable(14568) %192, ptr noundef nonnull align 8 dereferenceable(176) %5, ptr noundef nonnull align 8 dereferenceable(176) %19)
          to label %193 unwind label %204

193:                                              ; preds = %190
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #7
  store i32 0, ptr %20, align 4, !tbaa !48
  br label %194

194:                                              ; preds = %228, %193
  %195 = load i32, ptr %20, align 4, !tbaa !48
  %196 = getelementptr inbounds %class.HEkkPrimal, ptr %23, i32 0, i32 2
  %197 = load i32, ptr %196, align 8, !tbaa !53
  %198 = icmp slt i32 %195, %197
  br i1 %198, label %208, label %199

199:                                              ; preds = %194
  store i32 8, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #7
  br label %231

200:                                              ; preds = %184
  %201 = landingpad { ptr, i32 }
          cleanup
  %202 = extractvalue { ptr, i32 } %201, 0
  store ptr %202, ptr %6, align 8
  %203 = extractvalue { ptr, i32 } %201, 1
  store i32 %203, ptr %7, align 4
  br label %269

204:                                              ; preds = %190, %187
  %205 = landingpad { ptr, i32 }
          cleanup
  %206 = extractvalue { ptr, i32 } %205, 0
  store ptr %206, ptr %6, align 8
  %207 = extractvalue { ptr, i32 } %205, 1
  store i32 %207, ptr %7, align 4
  call void @_ZN11HVectorBaseIdED2Ev(ptr noundef nonnull align 8 dereferenceable(176) %19) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr %19) #7
  br label %269

208:                                              ; preds = %194
  %209 = load ptr, ptr %4, align 8, !tbaa !5
  %210 = load i32, ptr %20, align 4, !tbaa !48
  %211 = sext i32 %210 to i64
  %212 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorIaSaIaEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %209, i64 noundef %211) #7
  %213 = load i8, ptr %212, align 1, !tbaa !54
  %214 = sext i8 %213 to i32
  %215 = sub nsw i32 0, %214
  %216 = sitofp i32 %215 to double
  %217 = getelementptr inbounds %class.HVectorBase, ptr %19, i32 0, i32 3
  %218 = load i32, ptr %20, align 4, !tbaa !48
  %219 = sext i32 %218 to i64
  %220 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %217, i64 noundef %219) #7
  %221 = load double, ptr %220, align 8, !tbaa !38
  %222 = fmul double %216, %221
  %223 = load ptr, ptr %3, align 8, !tbaa !5
  %224 = getelementptr inbounds %struct.HighsSimplexInfo, ptr %223, i32 0, i32 1
  %225 = load i32, ptr %20, align 4, !tbaa !48
  %226 = sext i32 %225 to i64
  %227 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %224, i64 noundef %226) #7
  store double %222, ptr %227, align 8, !tbaa !38
  br label %228

228:                                              ; preds = %208
  %229 = load i32, ptr %20, align 4, !tbaa !48
  %230 = add nsw i32 %229, 1
  store i32 %230, ptr %20, align 4, !tbaa !48
  br label %194, !llvm.loop !55

231:                                              ; preds = %199
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #7
  store i32 0, ptr %21, align 4, !tbaa !48
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #7
  %232 = getelementptr inbounds %class.HEkkPrimal, ptr %23, i32 0, i32 2
  %233 = load i32, ptr %232, align 8, !tbaa !53
  store i32 %233, ptr %22, align 4, !tbaa !48
  br label %234

234:                                              ; preds = %260, %231
  %235 = load i32, ptr %21, align 4, !tbaa !48
  %236 = getelementptr inbounds %class.HEkkPrimal, ptr %23, i32 0, i32 3
  %237 = load i32, ptr %236, align 4, !tbaa !35
  %238 = icmp slt i32 %235, %237
  br i1 %238, label %240, label %239

239:                                              ; preds = %234
  store i32 11, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #7
  br label %265

240:                                              ; preds = %234
  %241 = load ptr, ptr %4, align 8, !tbaa !5
  %242 = load i32, ptr %22, align 4, !tbaa !48
  %243 = sext i32 %242 to i64
  %244 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorIaSaIaEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %241, i64 noundef %243) #7
  %245 = load i8, ptr %244, align 1, !tbaa !54
  %246 = sext i8 %245 to i32
  %247 = sub nsw i32 0, %246
  %248 = sitofp i32 %247 to double
  %249 = getelementptr inbounds %class.HVectorBase, ptr %5, i32 0, i32 3
  %250 = load i32, ptr %21, align 4, !tbaa !48
  %251 = sext i32 %250 to i64
  %252 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %249, i64 noundef %251) #7
  %253 = load double, ptr %252, align 8, !tbaa !38
  %254 = fmul double %248, %253
  %255 = load ptr, ptr %3, align 8, !tbaa !5
  %256 = getelementptr inbounds %struct.HighsSimplexInfo, ptr %255, i32 0, i32 1
  %257 = load i32, ptr %22, align 4, !tbaa !48
  %258 = sext i32 %257 to i64
  %259 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %256, i64 noundef %258) #7
  store double %254, ptr %259, align 8, !tbaa !38
  br label %260

260:                                              ; preds = %240
  %261 = load i32, ptr %21, align 4, !tbaa !48
  %262 = add nsw i32 %261, 1
  store i32 %262, ptr %21, align 4, !tbaa !48
  %263 = load i32, ptr %22, align 4, !tbaa !48
  %264 = add nsw i32 %263, 1
  store i32 %264, ptr %22, align 4, !tbaa !48
  br label %234, !llvm.loop !56

265:                                              ; preds = %239
  call void @_ZN11HVectorBaseIdED2Ev(ptr noundef nonnull align 8 dereferenceable(176) %19) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr %19) #7
  store i32 0, ptr %12, align 4
  br label %266

266:                                              ; preds = %265, %155
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #7
  call void @_ZN11HVectorBaseIdED2Ev(ptr noundef nonnull align 8 dereferenceable(176) %5) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr %5) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #7
  %267 = load i32, ptr %12, align 4
  switch i32 %267, label %276 [
    i32 0, label %268
    i32 1, label %268
  ]

268:                                              ; preds = %266, %266
  ret void

269:                                              ; preds = %204, %200
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #7
  br label %270

270:                                              ; preds = %269, %66, %62, %58
  call void @_ZN11HVectorBaseIdED2Ev(ptr noundef nonnull align 8 dereferenceable(176) %5) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr %5) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #7
  br label %271

271:                                              ; preds = %270
  %272 = load ptr, ptr %6, align 8
  %273 = load i32, ptr %7, align 4
  %274 = insertvalue { ptr, i32 } poison, ptr %272, 0
  %275 = insertvalue { ptr, i32 } %274, i32 %273, 1
  resume { ptr, i32 } %275

276:                                              ; preds = %266, %138
  unreachable
}

; 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: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #5

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN11HVectorBaseIdEC2Ev(ptr noundef nonnull align 8 dereferenceable(176)) unnamed_addr #6 align 2

declare void @_ZN11HVectorBaseIdE5clearEv(ptr noundef nonnull align 8 dereferenceable(176)) #2

declare void @_ZN4HEkk9fullBtranER11HVectorBaseIdE(ptr noundef nonnull align 8 dereferenceable(14568), ptr noundef nonnull align 8 dereferenceable(176)) #2

declare void @_ZN4HEkk9fullPriceERK11HVectorBaseIdERS1_(ptr noundef nonnull align 8 dereferenceable(14568), ptr noundef nonnull align 8 dereferenceable(176), ptr noundef nonnull align 8 dereferenceable(176)) #2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN11HVectorBaseIdED2Ev(ptr noundef nonnull align 8 dereferenceable(176)) unnamed_addr #6 align 2

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !6, i64 0}
!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 = !{!10, !11, i64 20}
!36 = !{!28, !11, i64 4}
!37 = !{!10, !11, i64 24}
!38 = !{!13, !13, i64 0}
!39 = !{!40, !13, i64 704}
!40 = !{!"_ZTS16HighsSimplexInfo", !18, i64 0, !18, i64 24, !18, i64 48, !18, i64 72, !18, i64 96, !18, i64 120, !18, i64 144, !18, i64 168, !18, i64 192, !18, i64 216, !18, i64 240, !18, i64 264, !18, i64 288, !22, i64 312, !22, i64 336, !22, i64 360, !22, i64 384, !18, i64 408, !11, i64 432, !11, i64 436, !27, i64 440, !27, i64 441, !41, i64 448, !11, i64 568, !11, i64 572, !11, i64 576, !18, i64 584, !18, i64 608, !18, i64 632, !18, i64 656, !11, i64 680, !11, i64 684, !11, i64 688, !11, i64 692, !13, i64 696, !13, i64 704, !13, i64 712, !13, i64 720, !11, i64 728, !11, i64 732, !13, i64 736, !13, i64 744, !13, i64 752, !13, i64 760, !13, i64 768, !13, i64 776, !13, i64 784, !13, i64 792, !13, i64 800, !13, i64 808, !27, i64 816, !13, i64 824, !13, i64 832, !11, i64 840, !13, i64 848, !13, i64 856, !13, i64 864, !27, i64 872, !27, i64 873, !27, i64 874, !27, i64 875, !27, i64 876, !27, i64 877, !27, i64 878, !27, i64 879, !27, i64 880, !27, i64 881, !27, i64 882, !27, i64 883, !27, i64 884, !27, i64 885, !27, i64 886, !11, i64 888, !13, i64 896, !13, i64 904, !11, i64 912, !13, i64 920, !13, i64 928, !11, i64 936, !11, i64 940, !11, i64 944, !11, i64 948, !11, i64 952, !11, i64 956, !11, i64 960, !11, i64 964, !11, i64 968, !11, i64 972, !11, i64 976, !11, i64 980, !11, i64 984, !11, i64 988, !11, i64 992, !11, i64 996, !13, i64 1000, !13, i64 1008, !13, i64 1016, !13, i64 1024, !11, i64 1032}
!41 = !{!"_ZTS12SimplexBasis", !22, i64 0, !42, i64 24, !42, i64 48, !34, i64 72, !11, i64 80, !11, i64 84, !46, i64 88}
!42 = !{!"_ZTSSt6vectorIaSaIaEE", !43, i64 0}
!43 = !{!"_ZTSSt12_Vector_baseIaSaIaEE", !44, i64 0}
!44 = !{!"_ZTSNSt12_Vector_baseIaSaIaEE12_Vector_implE", !45, i64 0}
!45 = !{!"_ZTSNSt12_Vector_baseIaSaIaEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!46 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !47, i64 0, !34, i64 8, !7, i64 16}
!47 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !6, i64 0}
!48 = !{!11, !11, i64 0}
!49 = !{!10, !13, i64 40}
!50 = distinct !{!50, !51}
!51 = !{!"llvm.loop.mustprogress"}
!52 = distinct !{!52, !51}
!53 = !{!10, !11, i64 16}
!54 = !{!7, !7, i64 0}
!55 = distinct !{!55, !51}
!56 = distinct !{!56, !51}


; 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.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.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 }

@.str.53 = external hidden unnamed_addr constant [76 x i8], align 1
@.str.129 = external hidden unnamed_addr constant [17 x i8], align 1
@__PRETTY_FUNCTION__._ZN10HEkkPrimal17phase1ComputeDualEv = external hidden unnamed_addr constant [37 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: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #1

declare void @_ZN11HVectorBaseIdE5setupEi(ptr noundef nonnull align 8 dereferenceable(176), i32 noundef) local_unnamed_addr #2

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN10HEkkPrimal17phase1ComputeDualEv(ptr nocapture noundef nonnull readonly align 8 dereferenceable(1616) %0) local_unnamed_addr #4 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca %class.HVectorBase, align 8
  %3 = alloca double, align 8
  %4 = alloca double, align 8
  %5 = alloca %class.HVectorBase, align 8
  %6 = load ptr, ptr %0, align 8, !tbaa !5
  %7 = getelementptr inbounds i8, ptr %6, i64 9568
  %8 = getelementptr inbounds i8, ptr %6, i64 10640
  call void @llvm.lifetime.start.p0(i64 176, ptr nonnull %2) #7
  call void @_ZN11HVectorBaseIdEC2Ev(ptr noundef nonnull align 8 dereferenceable(176) %2) #7
  %9 = getelementptr inbounds i8, ptr %0, i64 20
  %10 = load i32, ptr %9, align 4, !tbaa !34
  invoke void @_ZN11HVectorBaseIdE5setupEi(ptr noundef nonnull align 8 dereferenceable(176) %2, i32 noundef %10)
          to label %11 unwind label %41

11:                                               ; preds = %1
  invoke void @_ZN11HVectorBaseIdE5clearEv(ptr noundef nonnull align 8 dereferenceable(176) %2)
          to label %12 unwind label %41

12:                                               ; preds = %11
  %13 = getelementptr inbounds i8, ptr %2, i64 4
  store i32 0, ptr %13, align 4, !tbaa !35
  %14 = getelementptr inbounds i8, ptr %0, i64 24
  %15 = load i32, ptr %14, align 8, !tbaa !36
  %16 = sext i32 %15 to i64
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %3) #7
  store double 0.000000e+00, ptr %3, align 8, !tbaa !37
  invoke void @_ZNSt6vectorIdSaIdEE6assignEmRKd(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %16, ptr noundef nonnull align 8 dereferenceable(8) %3)
          to label %17 unwind label %43

17:                                               ; preds = %12
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #7
  %18 = getelementptr inbounds i8, ptr %6, i64 9592
  %19 = load i32, ptr %14, align 8, !tbaa !36
  %20 = sext i32 %19 to i64
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #7
  store double 0.000000e+00, ptr %4, align 8, !tbaa !37
  invoke void @_ZNSt6vectorIdSaIdEE6assignEmRKd(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %20, ptr noundef nonnull align 8 dereferenceable(8) %4)
          to label %21 unwind label %45

21:                                               ; preds = %17
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #7
  %22 = getelementptr inbounds i8, ptr %6, i64 10272
  %23 = load double, ptr %22, align 8, !tbaa !38
  %24 = fmul double %23, 5.000000e-07
  %25 = load i32, ptr %9, align 4, !tbaa !34
  %26 = icmp sgt i32 %25, 0
  br i1 %26, label %.lr.ph, label %._crit_edge.thread

.lr.ph:                                           ; preds = %21
  %27 = getelementptr inbounds i8, ptr %6, i64 9832
  %28 = getelementptr inbounds i8, ptr %6, i64 9784
  %29 = getelementptr inbounds i8, ptr %6, i64 9808
  %30 = getelementptr inbounds i8, ptr %0, i64 40
  %31 = fcmp une double %24, 0.000000e+00
  %32 = getelementptr inbounds i8, ptr %6, i64 9856
  %33 = getelementptr inbounds i8, ptr %2, i64 32
  %34 = getelementptr inbounds i8, ptr %2, i64 8
  br label %47

._crit_edge:                                      ; preds = %73
  %35 = load i32, ptr %13, align 4, !tbaa !35
  %36 = icmp slt i32 %35, 1
  br i1 %36, label %77, label %.preheader65

._crit_edge.thread:                               ; preds = %21
  %37 = load i32, ptr %13, align 4, !tbaa !35
  %38 = icmp slt i32 %37, 1
  br i1 %38, label %77, label %._crit_edge69

.preheader65:                                     ; preds = %._crit_edge
  %39 = icmp sgt i32 %74, 0
  br i1 %39, label %.lr.ph68, label %._crit_edge69

.lr.ph68:                                         ; preds = %.preheader65
  %40 = getelementptr inbounds i8, ptr %2, i64 32
  br label %79

41:                                               ; preds = %11, %1
  %42 = landingpad { ptr, i32 }
          cleanup
  br label %133

43:                                               ; preds = %12
  %44 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #7
  br label %133

45:                                               ; preds = %17
  %46 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #7
  br label %133

47:                                               ; preds = %.lr.ph, %73
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %73 ]
  %48 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %27, i64 noundef %indvars.iv) #7
  %49 = load double, ptr %48, align 8, !tbaa !37
  %50 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %indvars.iv) #7
  %51 = load double, ptr %50, align 8, !tbaa !37
  %52 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %29, i64 noundef %indvars.iv) #7
  %53 = load double, ptr %30, align 8, !tbaa !47
  %54 = fsub double %51, %53
  %55 = fcmp olt double %49, %54
  br i1 %55, label %60, label %56

56:                                               ; preds = %47
  %57 = load double, ptr %52, align 8, !tbaa !37
  %58 = fadd double %53, %57
  %59 = fcmp ogt double %49, %58
  br i1 %59, label %60, label %73

60:                                               ; preds = %56, %47
  %.051.ph = phi double [ -1.000000e+00, %47 ], [ 1.000000e+00, %56 ]
  br i1 %31, label %61, label %66

61:                                               ; preds = %60
  %62 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %32, i64 noundef %indvars.iv) #7
  %63 = load double, ptr %62, align 8, !tbaa !37
  %64 = call double @llvm.fmuladd.f64(double %24, double %63, double 1.000000e+00)
  %65 = fmul double %.051.ph, %64
  br label %66

66:                                               ; preds = %61, %60
  %.050 = phi double [ %65, %61 ], [ %.051.ph, %60 ]
  %67 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %33, i64 noundef %indvars.iv) #7
  store double %.050, ptr %67, align 8, !tbaa !37
  %68 = load i32, ptr %13, align 4, !tbaa !35
  %69 = add nsw i32 %68, 1
  store i32 %69, ptr %13, align 4, !tbaa !35
  %70 = sext i32 %68 to i64
  %71 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %34, i64 noundef %70) #7
  %72 = trunc nuw nsw i64 %indvars.iv to i32
  store i32 %72, ptr %71, align 4, !tbaa !48
  br label %73

73:                                               ; preds = %56, %66
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %74 = load i32, ptr %9, align 4, !tbaa !34
  %75 = sext i32 %74 to i64
  %76 = icmp slt i64 %indvars.iv.next, %75
  br i1 %76, label %47, label %._crit_edge, !llvm.loop !49

77:                                               ; preds = %._crit_edge.thread, %._crit_edge
  call void @__assert_fail(ptr noundef nonnull @.str.129, ptr noundef nonnull @.str.53, i32 noundef 1820, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN10HEkkPrimal17phase1ComputeDualEv) #8
  unreachable

._crit_edge69:                                    ; preds = %79, %._crit_edge.thread, %.preheader65
  %78 = load ptr, ptr %0, align 8, !tbaa !5
  invoke void @_ZN4HEkk9fullBtranER11HVectorBaseIdE(ptr noundef nonnull align 8 dereferenceable(14568) %78, ptr noundef nonnull align 8 dereferenceable(176) %2)
          to label %91 unwind label %103

79:                                               ; preds = %.lr.ph68, %79
  %indvars.iv78 = phi i64 [ 0, %.lr.ph68 ], [ %indvars.iv.next79, %79 ]
  %80 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %40, i64 noundef %indvars.iv78) #7
  %81 = load double, ptr %80, align 8, !tbaa !37
  %82 = load ptr, ptr %0, align 8, !tbaa !5
  %83 = getelementptr inbounds i8, ptr %82, i64 10616
  %84 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %83, i64 noundef %indvars.iv78) #7
  %85 = load i32, ptr %84, align 4, !tbaa !48
  %86 = sext i32 %85 to i64
  %87 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %86) #7
  store double %81, ptr %87, align 8, !tbaa !37
  %indvars.iv.next79 = add nuw nsw i64 %indvars.iv78, 1
  %88 = load i32, ptr %9, align 4, !tbaa !34
  %89 = sext i32 %88 to i64
  %90 = icmp slt i64 %indvars.iv.next79, %89
  br i1 %90, label %79, label %._crit_edge69, !llvm.loop !51

91:                                               ; preds = %._crit_edge69
  call void @llvm.lifetime.start.p0(i64 176, ptr nonnull %5) #7
  call void @_ZN11HVectorBaseIdEC2Ev(ptr noundef nonnull align 8 dereferenceable(176) %5) #7
  %92 = getelementptr inbounds i8, ptr %0, i64 16
  %93 = load i32, ptr %92, align 8, !tbaa !52
  invoke void @_ZN11HVectorBaseIdE5setupEi(ptr noundef nonnull align 8 dereferenceable(176) %5, i32 noundef %93)
          to label %94 unwind label %105

94:                                               ; preds = %91
  %95 = load ptr, ptr %0, align 8, !tbaa !5
  invoke void @_ZN4HEkk9fullPriceERK11HVectorBaseIdERS1_(ptr noundef nonnull align 8 dereferenceable(14568) %95, ptr noundef nonnull align 8 dereferenceable(176) %2, ptr noundef nonnull align 8 dereferenceable(176) %5)
          to label %.preheader64 unwind label %105

.preheader64:                                     ; preds = %94
  %96 = load i32, ptr %92, align 8, !tbaa !52
  %97 = icmp sgt i32 %96, 0
  br i1 %97, label %.lr.ph71, label %.preheader

.lr.ph71:                                         ; preds = %.preheader64
  %98 = getelementptr inbounds i8, ptr %5, i64 32
  br label %107

.preheader:                                       ; preds = %107, %.preheader64
  %.lcssa = phi i32 [ %96, %.preheader64 ], [ %117, %107 ]
  %99 = load i32, ptr %9, align 4, !tbaa !34
  %100 = icmp sgt i32 %99, 0
  br i1 %100, label %.lr.ph74, label %._crit_edge75

.lr.ph74:                                         ; preds = %.preheader
  %101 = getelementptr inbounds i8, ptr %2, i64 32
  %102 = sext i32 %.lcssa to i64
  br label %120

103:                                              ; preds = %._crit_edge69
  %104 = landingpad { ptr, i32 }
          cleanup
  br label %133

105:                                              ; preds = %94, %91
  %106 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN11HVectorBaseIdED2Ev(ptr noundef nonnull align 8 dereferenceable(176) %5) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr nonnull %5) #7
  br label %133

107:                                              ; preds = %.lr.ph71, %107
  %indvars.iv81 = phi i64 [ 0, %.lr.ph71 ], [ %indvars.iv.next82, %107 ]
  %108 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorIaSaIaEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %indvars.iv81) #7
  %109 = load i8, ptr %108, align 1, !tbaa !53
  %110 = sext i8 %109 to i32
  %111 = sub nsw i32 0, %110
  %112 = sitofp i32 %111 to double
  %113 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %98, i64 noundef %indvars.iv81) #7
  %114 = load double, ptr %113, align 8, !tbaa !37
  %115 = fmul double %114, %112
  %116 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %indvars.iv81) #7
  store double %115, ptr %116, align 8, !tbaa !37
  %indvars.iv.next82 = add nuw nsw i64 %indvars.iv81, 1
  %117 = load i32, ptr %92, align 8, !tbaa !52
  %118 = sext i32 %117 to i64
  %119 = icmp slt i64 %indvars.iv.next82, %118
  br i1 %119, label %107, label %.preheader, !llvm.loop !54

._crit_edge75:                                    ; preds = %120, %.preheader
  call void @_ZN11HVectorBaseIdED2Ev(ptr noundef nonnull align 8 dereferenceable(176) %5) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr nonnull %5) #7
  call void @_ZN11HVectorBaseIdED2Ev(ptr noundef nonnull align 8 dereferenceable(176) %2) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr nonnull %2) #7
  ret void

120:                                              ; preds = %.lr.ph74, %120
  %indvars.iv86 = phi i64 [ 0, %.lr.ph74 ], [ %indvars.iv.next87, %120 ]
  %indvars.iv84 = phi i64 [ %102, %.lr.ph74 ], [ %indvars.iv.next85, %120 ]
  %121 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorIaSaIaEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %indvars.iv84) #7
  %122 = load i8, ptr %121, align 1, !tbaa !53
  %123 = sext i8 %122 to i32
  %124 = sub nsw i32 0, %123
  %125 = sitofp i32 %124 to double
  %126 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %101, i64 noundef %indvars.iv86) #7
  %127 = load double, ptr %126, align 8, !tbaa !37
  %128 = fmul double %127, %125
  %129 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %indvars.iv84) #7
  store double %128, ptr %129, align 8, !tbaa !37
  %indvars.iv.next87 = add nuw nsw i64 %indvars.iv86, 1
  %indvars.iv.next85 = add nsw i64 %indvars.iv84, 1
  %130 = load i32, ptr %9, align 4, !tbaa !34
  %131 = sext i32 %130 to i64
  %132 = icmp slt i64 %indvars.iv.next87, %131
  br i1 %132, label %120, label %._crit_edge75, !llvm.loop !55

133:                                              ; preds = %103, %105, %45, %43, %41
  %.pn.pn = phi { ptr, i32 } [ %46, %45 ], [ %44, %43 ], [ %42, %41 ], [ %106, %105 ], [ %104, %103 ]
  call void @_ZN11HVectorBaseIdED2Ev(ptr noundef nonnull align 8 dereferenceable(176) %2) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr nonnull %2) #7
  resume { ptr, i32 } %.pn.pn
}

; 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 nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #5

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN11HVectorBaseIdEC2Ev(ptr noundef nonnull align 8 dereferenceable(176)) unnamed_addr #6 align 2

declare void @_ZN11HVectorBaseIdE5clearEv(ptr noundef nonnull align 8 dereferenceable(176)) local_unnamed_addr #2

declare void @_ZN4HEkk9fullBtranER11HVectorBaseIdE(ptr noundef nonnull align 8 dereferenceable(14568), ptr noundef nonnull align 8 dereferenceable(176)) local_unnamed_addr #2

declare void @_ZN4HEkk9fullPriceERK11HVectorBaseIdERS1_(ptr noundef nonnull align 8 dereferenceable(14568), ptr noundef nonnull align 8 dereferenceable(176), ptr noundef nonnull align 8 dereferenceable(176)) local_unnamed_addr #2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN11HVectorBaseIdED2Ev(ptr noundef nonnull align 8 dereferenceable(176)) unnamed_addr #6 align 2

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 0}
!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 = !{!6, !10, i64 20}
!35 = !{!27, !10, i64 4}
!36 = !{!6, !10, i64 24}
!37 = !{!12, !12, i64 0}
!38 = !{!39, !12, i64 704}
!39 = !{!"_ZTS16HighsSimplexInfo", !17, i64 0, !17, i64 24, !17, i64 48, !17, i64 72, !17, i64 96, !17, i64 120, !17, i64 144, !17, i64 168, !17, i64 192, !17, i64 216, !17, i64 240, !17, i64 264, !17, i64 288, !21, i64 312, !21, i64 336, !21, i64 360, !21, i64 384, !17, i64 408, !10, i64 432, !10, i64 436, !26, i64 440, !26, i64 441, !40, i64 448, !10, i64 568, !10, i64 572, !10, i64 576, !17, i64 584, !17, i64 608, !17, i64 632, !17, i64 656, !10, i64 680, !10, i64 684, !10, i64 688, !10, i64 692, !12, i64 696, !12, i64 704, !12, i64 712, !12, i64 720, !10, i64 728, !10, i64 732, !12, i64 736, !12, i64 744, !12, i64 752, !12, i64 760, !12, i64 768, !12, i64 776, !12, i64 784, !12, i64 792, !12, i64 800, !12, i64 808, !26, i64 816, !12, i64 824, !12, i64 832, !10, i64 840, !12, i64 848, !12, i64 856, !12, i64 864, !26, i64 872, !26, i64 873, !26, i64 874, !26, i64 875, !26, i64 876, !26, i64 877, !26, i64 878, !26, i64 879, !26, i64 880, !26, i64 881, !26, i64 882, !26, i64 883, !26, i64 884, !26, i64 885, !26, i64 886, !10, i64 888, !12, i64 896, !12, i64 904, !10, i64 912, !12, i64 920, !12, i64 928, !10, i64 936, !10, i64 940, !10, i64 944, !10, i64 948, !10, i64 952, !10, i64 956, !10, i64 960, !10, i64 964, !10, i64 968, !10, i64 972, !10, i64 976, !10, i64 980, !10, i64 984, !10, i64 988, !10, i64 992, !10, i64 996, !12, i64 1000, !12, i64 1008, !12, i64 1016, !12, i64 1024, !10, i64 1032}
!40 = !{!"_ZTS12SimplexBasis", !21, i64 0, !41, i64 24, !41, i64 48, !33, i64 72, !10, i64 80, !10, i64 84, !45, i64 88}
!41 = !{!"_ZTSSt6vectorIaSaIaEE", !42, i64 0}
!42 = !{!"_ZTSSt12_Vector_baseIaSaIaEE", !43, i64 0}
!43 = !{!"_ZTSNSt12_Vector_baseIaSaIaEE12_Vector_implE", !44, i64 0}
!44 = !{!"_ZTSNSt12_Vector_baseIaSaIaEE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!45 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !46, i64 0, !33, i64 8, !8, i64 16}
!46 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !7, i64 0}
!47 = !{!6, !12, i64 40}
!48 = !{!10, !10, i64 0}
!49 = distinct !{!49, !50}
!50 = !{!"llvm.loop.mustprogress"}
!51 = distinct !{!51, !50}
!52 = !{!6, !10, i64 16}
!53 = !{!8, !8, i64 0}
!54 = distinct !{!54, !50}
!55 = distinct !{!55, !50}


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