; LLVM IR from ERGO-Code/HiGHS :: src/mip (HighsCutGeneration)

; 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.HighsCDouble = type { double, double }
%class.HighsCutGeneration = type { ptr, ptr, %class.HighsRandom, %"class.std::vector", %class.HighsCDouble, %class.HighsCDouble, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.8", double, double, ptr, ptr, %class.HighsCDouble, i8, i8, i32, double, %"class.std::vector", %"class.std::vector.3" }
%class.HighsRandom = type { i64 }
%"class.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = type { %"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = 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.HighsMipSolver = type { ptr, ptr, ptr, ptr, i32, %"class.std::vector.3", double, double, double, double, double, double, double, i64, i64, double, ptr, %"class.std::vector.62", i8, i32, i32, ptr, ptr, ptr, ptr, %"class.std::unique_ptr.182", %class.HighsMipAnalysis, %class.HighsTimer }
%"class.std::vector.62" = type { %"struct.std::_Vector_base.63" }
%"struct.std::_Vector_base.63" = type { %"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::unique_ptr.182" = type { %"struct.std::__uniq_ptr_data.183" }
%"struct.std::__uniq_ptr_data.183" = type { %"class.std::__uniq_ptr_impl.184" }
%"class.std::__uniq_ptr_impl.184" = type { %"class.std::tuple.185" }
%"class.std::tuple.185" = type { %"struct.std::_Tuple_impl.186" }
%"struct.std::_Tuple_impl.186" = type { %"struct.std::_Head_base.189" }
%"struct.std::_Head_base.189" = type { ptr }
%class.HighsMipAnalysis = type { ptr, %"class.std::__cxx11::basic_string", %struct.HighsTimerClock, i8, %"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.HighsTimerClock = type { ptr, %"class.std::vector" }
%class.HighsTimer = type <{ ptr, double, i32, [4 x i8], %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.23", i32, i32, i32, [4 x i8] }>
%"class.std::vector.23" = type { %"struct.std::_Vector_base.24" }
%"struct.std::_Vector_base.24" = 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 }
%struct.HighsSolution = type { i8, i8, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3" }
%struct.HighsMipSolverData = type <{ ptr, %class.HighsCutPool, %class.HighsConflictPool, %class.HighsDomain, %class.HighsLpRelaxation, %class.HighsPseudocost, %class.HighsCliqueTable, %class.HighsImplications, %class.HighsPrimalHeuristics, %class.HighsRedcostFixing, %class.HighsObjectiveFunction, %"class.presolve::HighsPostsolveStack", i32, [4 x i8], %class.HighsLp, i8, i8, i8, i8, i32, i8, [3 x i8], i32, i32, i32, i32, [4 x i8], %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %struct.HighsSymmetries, %"class.std::shared_ptr.318", double, double, double, i64, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", double, %struct.HighsBasis, double, i32, i32, %class.HighsCDouble, double, double, double, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i32, [4 x i8], double, double, double, double, %"class.std::vector.3", %class.HighsNodeQueue, %struct.HighsPrimaDualIntegral, [8 x i8] }>
%class.HighsCutPool = type { %class.HighsDynamicRowMatrix, %"class.std::vector.3", %"class.std::vector.153", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.8", %"class.std::unordered_multimap", %"class.std::vector.177", %"class.std::set", double, double, double, i32, i32, i32, i32, i32, %"class.std::vector", %"class.std::vector.135" }
%class.HighsDynamicRowMatrix = type { %"class.std::vector.145", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.8", %"class.std::set", %"class.std::vector" }
%"class.std::vector.145" = type { %"struct.std::_Vector_base.146" }
%"struct.std::_Vector_base.146" = type { %"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.153" = type { %"struct.std::_Vector_base.154" }
%"struct.std::_Vector_base.154" = type { %"struct.std::_Vector_base<short, std::allocator<short>>::_Vector_impl" }
%"struct.std::_Vector_base<short, std::allocator<short>>::_Vector_impl" = type { %"struct.std::_Vector_base<short, std::allocator<short>>::_Vector_impl_data" }
%"struct.std::_Vector_base<short, std::allocator<short>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::unordered_multimap" = type { %"class.std::_Hashtable.158" }
%"class.std::_Hashtable.158" = 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 }
%"class.std::vector.177" = type { %"struct.std::_Vector_base.178" }
%"struct.std::_Vector_base.178" = type { %"struct.std::_Vector_base<HighsDomain::CutpoolPropagation *, std::allocator<HighsDomain::CutpoolPropagation *>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomain::CutpoolPropagation *, std::allocator<HighsDomain::CutpoolPropagation *>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomain::CutpoolPropagation *, std::allocator<HighsDomain::CutpoolPropagation *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomain::CutpoolPropagation *, std::allocator<HighsDomain::CutpoolPropagation *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::set" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<std::pair<int, int>, std::pair<int, int>, std::_Identity<std::pair<int, int>>, std::less<std::pair<int, int>>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<std::pair<int, int>, std::pair<int, int>, std::_Identity<std::pair<int, int>>, std::less<std::pair<int, int>>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%"class.std::vector.135" = type { %"struct.std::_Vector_base.136" }
%"struct.std::_Vector_base.136" = type { %"struct.std::_Vector_base<std::pair<int, double>, std::allocator<std::pair<int, double>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<int, double>, std::allocator<std::pair<int, double>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<int, double>, std::allocator<std::pair<int, double>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<int, double>, std::allocator<std::pair<int, double>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsConflictPool = type { i32, i32, %"class.std::vector", %"class.std::vector.153", %"class.std::vector.190", %"class.std::vector.195", %"class.std::vector.145", %"class.std::set", %"class.std::vector", %"class.std::vector.200" }
%"class.std::vector.190" = type { %"struct.std::_Vector_base.191" }
%"struct.std::_Vector_base.191" = type { %"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.195" = type { %"struct.std::_Vector_base.196" }
%"struct.std::_Vector_base.196" = type { %"struct.std::_Vector_base<HighsDomainChange, std::allocator<HighsDomainChange>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomainChange, std::allocator<HighsDomainChange>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomainChange, std::allocator<HighsDomainChange>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomainChange, std::allocator<HighsDomainChange>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.200" = type { %"struct.std::_Vector_base.201" }
%"struct.std::_Vector_base.201" = type { %"struct.std::_Vector_base<HighsDomain::ConflictPoolPropagation *, std::allocator<HighsDomain::ConflictPoolPropagation *>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomain::ConflictPoolPropagation *, std::allocator<HighsDomain::ConflictPoolPropagation *>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomain::ConflictPoolPropagation *, std::allocator<HighsDomain::ConflictPoolPropagation *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomain::ConflictPoolPropagation *, std::allocator<HighsDomain::ConflictPoolPropagation *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsDomain = type { %"class.std::vector.8", %"class.std::vector", %"class.std::vector.145", %"class.std::vector.195", %"class.std::vector.205", %"class.std::vector.210", %"class.std::vector.140", %"class.std::vector.140", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector", %"struct.HighsDomain::ObjectivePropagation", ptr, %"class.std::deque", %"class.std::deque.228", i8, %"struct.HighsDomain::Reason", i32, %"class.std::vector", %"class.std::vector", %"class.std::vector", %class.HighsHashTable.234, i8, %"class.std::vector.3", %"class.std::vector.3" }
%"class.std::vector.205" = type { %"struct.std::_Vector_base.206" }
%"struct.std::_Vector_base.206" = type { %"struct.std::_Vector_base<HighsDomain::Reason, std::allocator<HighsDomain::Reason>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomain::Reason, std::allocator<HighsDomain::Reason>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomain::Reason, std::allocator<HighsDomain::Reason>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomain::Reason, std::allocator<HighsDomain::Reason>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.210" = type { %"struct.std::_Vector_base.211" }
%"struct.std::_Vector_base.211" = 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.140" = type { %"struct.std::_Vector_base.141" }
%"struct.std::_Vector_base.141" = type { %"struct.std::_Vector_base<HighsCDouble, std::allocator<HighsCDouble>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsCDouble, std::allocator<HighsCDouble>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsCDouble, std::allocator<HighsCDouble>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsCDouble, std::allocator<HighsCDouble>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HighsDomain::ObjectivePropagation" = type { ptr, ptr, ptr, %class.HighsCDouble, i32, double, i8, %"class.std::vector.215", %"class.std::vector.145", %"class.std::vector.3", %"class.std::vector.220" }
%"class.std::vector.215" = type { %"struct.std::_Vector_base.216" }
%"struct.std::_Vector_base.216" = type { %"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::ObjectiveContribution, std::allocator<HighsDomain::ObjectivePropagation::ObjectiveContribution>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::ObjectiveContribution, std::allocator<HighsDomain::ObjectivePropagation::ObjectiveContribution>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::ObjectiveContribution, std::allocator<HighsDomain::ObjectivePropagation::ObjectiveContribution>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::ObjectiveContribution, std::allocator<HighsDomain::ObjectivePropagation::ObjectiveContribution>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.220" = type { %"struct.std::_Vector_base.221" }
%"struct.std::_Vector_base.221" = type { %"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::PartitionCliqueData, std::allocator<HighsDomain::ObjectivePropagation::PartitionCliqueData>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::PartitionCliqueData, std::allocator<HighsDomain::ObjectivePropagation::PartitionCliqueData>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::PartitionCliqueData, std::allocator<HighsDomain::ObjectivePropagation::PartitionCliqueData>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::PartitionCliqueData, std::allocator<HighsDomain::ObjectivePropagation::PartitionCliqueData>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::deque" = type { %"class.std::_Deque_base" }
%"class.std::_Deque_base" = type { %"struct.std::_Deque_base<HighsDomain::CutpoolPropagation, std::allocator<HighsDomain::CutpoolPropagation>>::_Deque_impl" }
%"struct.std::_Deque_base<HighsDomain::CutpoolPropagation, std::allocator<HighsDomain::CutpoolPropagation>>::_Deque_impl" = type { %"struct.std::_Deque_base<HighsDomain::CutpoolPropagation, std::allocator<HighsDomain::CutpoolPropagation>>::_Deque_impl_data" }
%"struct.std::_Deque_base<HighsDomain::CutpoolPropagation, std::allocator<HighsDomain::CutpoolPropagation>>::_Deque_impl_data" = type { ptr, i64, %"struct.std::_Deque_iterator", %"struct.std::_Deque_iterator" }
%"struct.std::_Deque_iterator" = type { ptr, ptr, ptr, ptr }
%"class.std::deque.228" = type { %"class.std::_Deque_base.229" }
%"class.std::_Deque_base.229" = type { %"struct.std::_Deque_base<HighsDomain::ConflictPoolPropagation, std::allocator<HighsDomain::ConflictPoolPropagation>>::_Deque_impl" }
%"struct.std::_Deque_base<HighsDomain::ConflictPoolPropagation, std::allocator<HighsDomain::ConflictPoolPropagation>>::_Deque_impl" = type { %"struct.std::_Deque_base<HighsDomain::ConflictPoolPropagation, std::allocator<HighsDomain::ConflictPoolPropagation>>::_Deque_impl_data" }
%"struct.std::_Deque_base<HighsDomain::ConflictPoolPropagation, std::allocator<HighsDomain::ConflictPoolPropagation>>::_Deque_impl_data" = type { ptr, i64, %"struct.std::_Deque_iterator.233", %"struct.std::_Deque_iterator.233" }
%"struct.std::_Deque_iterator.233" = type { ptr, ptr, ptr, ptr }
%"struct.HighsDomain::Reason" = type { i32, i32 }
%class.HighsHashTable.234 = type { %"class.std::unique_ptr.235", %"class.std::unique_ptr.92", i64, i64, i64 }
%"class.std::unique_ptr.235" = type { %"struct.std::__uniq_ptr_data.236" }
%"struct.std::__uniq_ptr_data.236" = type { %"class.std::__uniq_ptr_impl.237" }
%"class.std::__uniq_ptr_impl.237" = type { %"class.std::tuple.238" }
%"class.std::tuple.238" = type { %"struct.std::_Tuple_impl.239" }
%"struct.std::_Tuple_impl.239" = type { %"struct.std::_Head_base.242" }
%"struct.std::_Head_base.242" = type { ptr }
%"class.std::unique_ptr.92" = type { %"struct.std::__uniq_ptr_data.93" }
%"struct.std::__uniq_ptr_data.93" = type { %"class.std::__uniq_ptr_impl.94" }
%"class.std::__uniq_ptr_impl.94" = type { %"class.std::tuple.95" }
%"class.std::tuple.95" = type { %"struct.std::_Tuple_impl.96" }
%"struct.std::_Tuple_impl.96" = type { %"struct.std::_Head_base.99" }
%"struct.std::_Head_base.99" = type { ptr }
%class.HighsLpRelaxation = type <{ ptr, %class.Highs, %"class.std::vector.130", %"class.std::vector.135", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %class.HVectorBase, %class.HighsSparseVectorSum, double, i8, [7 x i8], double, %"class.std::shared_ptr", i8, [7 x i8], i64, i64, double, i64, i64, i32, i32, i8, [7 x i8] }>
%class.Highs = type { ptr, %struct.HighsSolution, %struct.HighsBasis, %struct.ICrashInfo, %class.HighsModel, %"class.std::vector.38", %class.HighsModel, %class.HighsTimer, %struct.HighsCallback, %class.HighsOptions, %class.HighsInfo, %struct.HighsRanging, %class.HighsIis, %"class.std::vector.62", i32, i32, i8, double, %"class.std::vector.3", %"class.std::vector.3", %class.HighsSparseMatrix, %class.HEkk, %struct.HighsPresolveLog, i32, i8, i32, i8, %class.PresolveComponent }
%struct.ICrashInfo = type { i32, double, double, double, double, double, %"class.std::vector.18", %"class.std::vector.3", double }
%"class.std::vector.18" = type { %"struct.std::_Vector_base.19" }
%"struct.std::_Vector_base.19" = type { %"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl" }
%"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl" = type { %"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl_data" }
%"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.38" = type { %"struct.std::_Vector_base.39" }
%"struct.std::_Vector_base.39" = type { %"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsModel = type { %class.HighsLp, %class.HighsHessian }
%class.HighsHessian = type { i32, i32, %"class.std::vector", %"class.std::vector", %"class.std::vector.3" }
%struct.HighsCallback = type { %"class.std::function", ptr, ptr, %"class.std::vector.43", %struct.HighsCallbackDataOut, %struct.HighsCallbackDataIn }
%"class.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%"class.std::vector.43" = type { %"struct.std::_Bvector_base" }
%"struct.std::_Bvector_base" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" = type { %"struct.std::_Bit_iterator", %"struct.std::_Bit_iterator", ptr }
%"struct.std::_Bit_iterator" = type { %"struct.std::_Bit_iterator_base.base", [4 x i8] }
%"struct.std::_Bit_iterator_base.base" = type <{ ptr, i32 }>
%struct.HighsCallbackDataOut = type { i32, double, i32, i32, i32, double, i64, i64, double, double, double, ptr, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, i32 }
%struct.HighsCallbackDataIn = type { i32, ptr }
%class.HighsOptions = type <{ %struct.HighsOptionsStruct, %"class.std::vector.47", i32, [4 x i8] }>
%struct.HighsOptionsStruct = type { ptr, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", double, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, %"class.std::__cxx11::basic_string", double, double, double, double, double, double, double, double, double, double, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, %"class.std::__cxx11::basic_string", i8, i8, i8, i32, i32, %"class.std::__cxx11::basic_string", i8, i8, i8, i32, i8, i8, i32, i32, double, i32, i32, i32, i8, i32, i8, i8, i8, i8, i8, i8, i8, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i8, i8, i8, i8, double, double, double, double, double, double, double, double, double, double, double, i8, i8, i8, i8, i32, double, i8, i8, %"class.std::__cxx11::basic_string", double, i32, i32, i8, i8, i8, i8, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, double, i8, i8, %"class.std::__cxx11::basic_string", i8, i32, %struct.HighsLogOptions }
%struct.HighsLogOptions = type <{ ptr, ptr, ptr, ptr, ptr, ptr, %"class.std::function", ptr, i8, [7 x i8] }>
%"class.std::vector.47" = type { %"struct.std::_Vector_base.48" }
%"struct.std::_Vector_base.48" = type { %"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl" }
%"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl" = type { %"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsInfo = type { ptr, %struct.HighsInfoStruct, %"class.std::vector.52" }
%struct.HighsInfoStruct = type { i8, i64, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, i32, double, double, i32, double, double, double, double, double }
%"class.std::vector.52" = type { %"struct.std::_Vector_base.53" }
%"struct.std::_Vector_base.53" = type { %"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl" }
%"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl" = type { %"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsRanging = type { i8, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord }
%struct.HighsRangingRecord = type { %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector" }
%class.HighsIis = type { i8, i32, %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.57" }
%"class.std::vector.57" = type { %"struct.std::_Vector_base.58" }
%"struct.std::_Vector_base.58" = type { %"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsSparseMatrix = type { i32, i32, i32, %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.3" }
%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", %"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", %"class.std::vector", double, double, double, i32, i32, i8, i32, i8, i8, i8, i8, double, %"class.std::vector.110", %"class.std::vector.3", %struct.HighsSimplexStats }
%class.HighsSimplexAnalysis = type { ptr, %"class.std::vector.67", %"class.std::vector.67", 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.72", %"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.67" = type { %"struct.std::_Vector_base.68" }
%"struct.std::_Vector_base.68" = type { %"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.72" = type { %"struct.std::_Vector_base.73" }
%"struct.std::_Vector_base.73" = 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.78" }
%"struct.std::_Head_base.78" = 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", i32, [4 x i8] }>
%struct.HighsSimplexStatus = type { i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8 }
%struct.HighsSimplexInfo = type <{ %"class.std::vector.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", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"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", %"class.std::vector.79", %"class.std::vector.79", i64, i32, i32, %"class.std::__cxx11::basic_string" }
%"class.std::vector.79" = type { %"struct.std::_Vector_base.80" }
%"struct.std::_Vector_base.80" = 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.84", %"class.std::unique_ptr.92", i64, i64, i64 }
%"class.std::unique_ptr.84" = type { %"struct.std::__uniq_ptr_data.85" }
%"struct.std::__uniq_ptr_data.85" = type { %"class.std::__uniq_ptr_impl.86" }
%"class.std::__uniq_ptr_impl.86" = type { %"class.std::tuple.87" }
%"class.std::tuple.87" = type { %"struct.std::_Tuple_impl.88" }
%"struct.std::_Tuple_impl.88" = type { %"struct.std::_Head_base.91" }
%"struct.std::_Head_base.91" = type { ptr }
%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", %"class.std::vector", %"class.std::vector", %struct.RefactorInfo, i32, i32, i32, i32, i32, i32, i32, double, i8, ptr, ptr, ptr, ptr, double, double, i32, double, %"class.std::unique_ptr.100", %struct.HighsLogOptions, i8, i8, i32, i32, ptr, i32, %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.108", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", i32, i32, %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %class.HVectorBase }
%struct.RefactorInfo = type { i8, %"class.std::vector", %"class.std::vector", %"class.std::vector.79", double }
%"class.std::unique_ptr.100" = type { %"struct.std::__uniq_ptr_data.101" }
%"struct.std::__uniq_ptr_data.101" = type { %"class.std::__uniq_ptr_impl.102" }
%"class.std::__uniq_ptr_impl.102" = type { %"class.std::tuple.103" }
%"class.std::tuple.103" = type { %"struct.std::_Tuple_impl.104" }
%"struct.std::_Tuple_impl.104" = type { %"struct.std::_Head_base.107" }
%"struct.std::_Head_base.107" = type { ptr }
%"class.std::vector.108" = type { %"struct.std::_Vector_base.109" }
%"struct.std::_Vector_base.109" = 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 }
%struct.ProductFormUpdate = type { i8, i32, i32, %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector.3" }
%struct.SimplexIterate = type { i8, %struct.SimplexBasis, %struct.InvertibleRepresentation, %"class.std::vector.3" }
%struct.InvertibleRepresentation = type { %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3" }
%struct.HotStart = type { i8, %struct.RefactorInfo, %"class.std::vector.79" }
%struct.HighsRayRecord = type { i32, i32, %"class.std::vector.3" }
%"class.std::vector.110" = type { %"struct.std::_Vector_base.111" }
%"struct.std::_Vector_base.111" = type { %"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsSimplexStats = type { i8, i32, i32, i32, i32, double, double, double, double }
%struct.HighsPresolveLog = type { %"class.std::vector.115" }
%"class.std::vector.115" = type { %"struct.std::_Vector_base.116" }
%"struct.std::_Vector_base.116" = type { %"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.PresolveComponent = type { %class.HighsComponent.base, %struct.PresolveComponentInfo, %struct.PresolveComponentData, ptr, ptr, i32, i32 }
%class.HighsComponent.base = type <{ ptr, %struct.HighsComponentInfo, %struct.HighsComponentData, %struct.HighsComponentOptions }>
%struct.HighsComponentInfo = type { i8 }
%struct.HighsComponentData = type { i8 }
%struct.HighsComponentOptions = type { i8 }
%struct.PresolveComponentInfo = type { ptr, %struct.HighsComponentInfo, i32, i32, i32, double, double }
%struct.PresolveComponentData = type { ptr, %struct.HighsComponentData, %class.HighsLp, %"class.presolve::HighsPostsolveStack", %struct.HighsSolution, %struct.HighsBasis, %struct.HighsPresolveLog }
%"class.std::vector.130" = type { %"struct.std::_Vector_base.131" }
%"struct.std::_Vector_base.131" = type { %"struct.std::_Vector_base<HighsLpRelaxation::LpRow, std::allocator<HighsLpRelaxation::LpRow>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsLpRelaxation::LpRow, std::allocator<HighsLpRelaxation::LpRow>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsLpRelaxation::LpRow, std::allocator<HighsLpRelaxation::LpRow>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsLpRelaxation::LpRow, std::allocator<HighsLpRelaxation::LpRow>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HVectorBase = type { i32, i32, %"class.std::vector", %"class.std::vector.3", double, %"class.std::vector.108", %"class.std::vector", ptr, i8, i32, %"class.std::vector", %"class.std::vector.3" }
%class.HighsSparseVectorSum = type { %"class.std::vector.140", %"class.std::vector" }
%"class.std::shared_ptr" = type { %"class.std::__shared_ptr" }
%"class.std::__shared_ptr" = type { ptr, %"class.std::__shared_count" }
%"class.std::__shared_count" = type { ptr }
%class.HighsPseudocost = type { %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", double, double, double, double, i64, i64, i64, i32, double }
%class.HighsCliqueTable = type { %"class.std::vector.243", %"class.std::vector.248", %"class.std::vector.253", %class.HighsHashTable.258, %"class.std::set", %"class.std::vector", %"class.std::vector.267", %"class.std::vector", %"class.std::vector.243", %"class.std::vector", %"class.std::vector.272", %"class.std::vector", %"class.std::vector.277", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.190", %"class.std::vector", %class.HighsRandom, i32, i32, i32, i32, i8, i64 }
%"class.std::vector.248" = type { %"struct.std::_Vector_base.249" }
%"struct.std::_Vector_base.249" = type { %"struct.std::_Vector_base<HighsHashTree<int, int>, std::allocator<HighsHashTree<int, int>>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsHashTree<int, int>, std::allocator<HighsHashTree<int, int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsHashTree<int, int>, std::allocator<HighsHashTree<int, int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsHashTree<int, int>, std::allocator<HighsHashTree<int, int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.253" = type { %"struct.std::_Vector_base.254" }
%"struct.std::_Vector_base.254" = type { %"struct.std::_Vector_base<HighsHashTree<int>, std::allocator<HighsHashTree<int>>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsHashTree<int>, std::allocator<HighsHashTree<int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsHashTree<int>, std::allocator<HighsHashTree<int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsHashTree<int>, std::allocator<HighsHashTree<int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsHashTable.258 = type { %"class.std::unique_ptr.259", %"class.std::unique_ptr.92", i64, i64, i64 }
%"class.std::unique_ptr.259" = type { %"struct.std::__uniq_ptr_data.260" }
%"struct.std::__uniq_ptr_data.260" = type { %"class.std::__uniq_ptr_impl.261" }
%"class.std::__uniq_ptr_impl.261" = type { %"class.std::tuple.262" }
%"class.std::tuple.262" = type { %"struct.std::_Tuple_impl.263" }
%"struct.std::_Tuple_impl.263" = type { %"struct.std::_Head_base.266" }
%"struct.std::_Head_base.266" = type { ptr }
%"class.std::vector.267" = type { %"struct.std::_Vector_base.268" }
%"struct.std::_Vector_base.268" = type { %"struct.std::_Vector_base<HighsCliqueTable::Clique, std::allocator<HighsCliqueTable::Clique>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsCliqueTable::Clique, std::allocator<HighsCliqueTable::Clique>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsCliqueTable::Clique, std::allocator<HighsCliqueTable::Clique>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsCliqueTable::Clique, std::allocator<HighsCliqueTable::Clique>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.243" = type { %"struct.std::_Vector_base.244" }
%"struct.std::_Vector_base.244" = type { %"struct.std::_Vector_base<HighsCliqueTable::CliqueVar, std::allocator<HighsCliqueTable::CliqueVar>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsCliqueTable::CliqueVar, std::allocator<HighsCliqueTable::CliqueVar>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsCliqueTable::CliqueVar, std::allocator<HighsCliqueTable::CliqueVar>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsCliqueTable::CliqueVar, std::allocator<HighsCliqueTable::CliqueVar>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.272" = type { %"struct.std::_Vector_base.273" }
%"struct.std::_Vector_base.273" = type { %"struct.std::_Vector_base<HighsCliqueTable::Substitution, std::allocator<HighsCliqueTable::Substitution>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsCliqueTable::Substitution, std::allocator<HighsCliqueTable::Substitution>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsCliqueTable::Substitution, std::allocator<HighsCliqueTable::Substitution>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsCliqueTable::Substitution, std::allocator<HighsCliqueTable::Substitution>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.277" = type { %"struct.std::_Vector_base.278" }
%"struct.std::_Vector_base.278" = type { %"struct.std::_Vector_base<std::pair<int, HighsCliqueTable::CliqueVar>, std::allocator<std::pair<int, HighsCliqueTable::CliqueVar>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<int, HighsCliqueTable::CliqueVar>, std::allocator<std::pair<int, HighsCliqueTable::CliqueVar>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<int, HighsCliqueTable::CliqueVar>, std::allocator<std::pair<int, HighsCliqueTable::CliqueVar>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<int, HighsCliqueTable::CliqueVar>, std::allocator<std::pair<int, HighsCliqueTable::CliqueVar>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsImplications = type { i32, %"class.std::vector.282", i64, %"class.std::vector.287", %"class.std::vector.287", ptr, %"class.std::vector.292", %"class.std::vector.8", %"class.std::function.297" }
%"class.std::vector.282" = type { %"struct.std::_Vector_base.283" }
%"struct.std::_Vector_base.283" = type { %"struct.std::_Vector_base<HighsImplications::Implics, std::allocator<HighsImplications::Implics>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsImplications::Implics, std::allocator<HighsImplications::Implics>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsImplications::Implics, std::allocator<HighsImplications::Implics>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsImplications::Implics, std::allocator<HighsImplications::Implics>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.287" = type { %"struct.std::_Vector_base.288" }
%"struct.std::_Vector_base.288" = type { %"struct.std::_Vector_base<HighsHashTree<int, HighsImplications::VarBound>, std::allocator<HighsHashTree<int, HighsImplications::VarBound>>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsHashTree<int, HighsImplications::VarBound>, std::allocator<HighsHashTree<int, HighsImplications::VarBound>>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsHashTree<int, HighsImplications::VarBound>, std::allocator<HighsHashTree<int, HighsImplications::VarBound>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsHashTree<int, HighsImplications::VarBound>, std::allocator<HighsHashTree<int, HighsImplications::VarBound>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.292" = type { %"struct.std::_Vector_base.293" }
%"struct.std::_Vector_base.293" = type { %"struct.std::_Vector_base<HighsSubstitution, std::allocator<HighsSubstitution>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsSubstitution, std::allocator<HighsSubstitution>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsSubstitution, std::allocator<HighsSubstitution>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsSubstitution, std::allocator<HighsSubstitution>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::function.297" = type { %"class.std::_Function_base", ptr }
%class.HighsPrimalHeuristics = type { ptr, i64, i64, i64, i64, double, i32, double, i32, %class.HighsRandom, %"class.std::vector" }
%class.HighsRedcostFixing = type { %"class.std::vector.299", %"class.std::vector.299" }
%"class.std::vector.299" = type { %"struct.std::_Vector_base.300" }
%"struct.std::_Vector_base.300" = type { %"struct.std::_Vector_base<std::multimap<double, int>, std::allocator<std::multimap<double, int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::multimap<double, int>, std::allocator<std::multimap<double, int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::multimap<double, int>, std::allocator<std::multimap<double, int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::multimap<double, int>, std::allocator<std::multimap<double, int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsObjectiveFunction = type { ptr, double, i32, i32, %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector" }
%"class.presolve::HighsPostsolveStack" = type { i64, double, double, double, double, %class.HighsDataStack, %"class.std::vector.120", %"class.std::vector", %"class.std::vector", %"class.std::vector.8", %"class.std::vector.125", %"class.std::vector.125", i32, i32 }
%class.HighsDataStack = type { %"class.std::vector.108", i64 }
%"class.std::vector.120" = type { %"struct.std::_Vector_base.121" }
%"struct.std::_Vector_base.121" = type { %"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.125" = type { %"struct.std::_Vector_base.126" }
%"struct.std::_Vector_base.126" = type { %"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl" }
%"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl" = type { %"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl_data" }
%"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%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.23", %"class.std::vector.23", %"class.std::vector.28", %struct.HighsNameHash, %struct.HighsNameHash, i32, i32, %struct.HighsScale, i8, i8, i32, i8, %struct.HighsLpMods }
%"class.std::vector.28" = type { %"struct.std::_Vector_base.29" }
%"struct.std::_Vector_base.29" = 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.HighsScale = type { i32, i8, i32, i32, double, %"class.std::vector.3", %"class.std::vector.3" }
%struct.HighsLpMods = type { %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.28", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3" }
%struct.HighsSymmetries = type { %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.304", %class.HighsHashTable.309, i32, i32 }
%"class.std::vector.304" = type { %"struct.std::_Vector_base.305" }
%"struct.std::_Vector_base.305" = type { %"struct.std::_Vector_base<HighsOrbitopeMatrix, std::allocator<HighsOrbitopeMatrix>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsOrbitopeMatrix, std::allocator<HighsOrbitopeMatrix>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsOrbitopeMatrix, std::allocator<HighsOrbitopeMatrix>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsOrbitopeMatrix, std::allocator<HighsOrbitopeMatrix>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsHashTable.309 = type { %"class.std::unique_ptr.310", %"class.std::unique_ptr.92", i64, i64, i64 }
%"class.std::unique_ptr.310" = type { %"struct.std::__uniq_ptr_data.311" }
%"struct.std::__uniq_ptr_data.311" = type { %"class.std::__uniq_ptr_impl.312" }
%"class.std::__uniq_ptr_impl.312" = type { %"class.std::tuple.313" }
%"class.std::tuple.313" = type { %"struct.std::_Tuple_impl.314" }
%"struct.std::_Tuple_impl.314" = type { %"struct.std::_Head_base.317" }
%"struct.std::_Head_base.317" = type { ptr }
%"class.std::shared_ptr.318" = type { %"class.std::__shared_ptr.319" }
%"class.std::__shared_ptr.319" = type { ptr, %"class.std::__shared_count" }
%struct.HighsBasis = type { i8, i8, i8, i8, i32, i32, %"class.std::__cxx11::basic_string", %"class.std::vector.13", %"class.std::vector.13" }
%"class.std::vector.13" = type { %"struct.std::_Vector_base.14" }
%"struct.std::_Vector_base.14" = type { %"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsNodeQueue = type <{ %"class.std::unique_ptr.321", %"class.std::vector.329", %"class.std::priority_queue", %"class.std::unique_ptr.339", %"class.std::unique_ptr.339", i64, i64, i64, i64, i64, i64, i64, double, i32, [4 x i8] }>
%"class.std::unique_ptr.321" = type { %"struct.std::__uniq_ptr_data.322" }
%"struct.std::__uniq_ptr_data.322" = type { %"class.std::__uniq_ptr_impl.323" }
%"class.std::__uniq_ptr_impl.323" = type { %"class.std::tuple.324" }
%"class.std::tuple.324" = type { %"struct.std::_Tuple_impl.325" }
%"struct.std::_Tuple_impl.325" = type { %"struct.std::_Head_base.328" }
%"struct.std::_Head_base.328" = type { ptr }
%"class.std::vector.329" = type { %"struct.std::_Vector_base.330" }
%"struct.std::_Vector_base.330" = type { %"struct.std::_Vector_base<HighsNodeQueue::OpenNode, std::allocator<HighsNodeQueue::OpenNode>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsNodeQueue::OpenNode, std::allocator<HighsNodeQueue::OpenNode>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsNodeQueue::OpenNode, std::allocator<HighsNodeQueue::OpenNode>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsNodeQueue::OpenNode, std::allocator<HighsNodeQueue::OpenNode>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::priority_queue" = type <{ %"class.std::vector.334", [8 x i8] }>
%"class.std::vector.334" = type { %"struct.std::_Vector_base.335" }
%"struct.std::_Vector_base.335" = type { %"struct.std::_Vector_base<long, std::allocator<long>>::_Vector_impl" }
%"struct.std::_Vector_base<long, std::allocator<long>>::_Vector_impl" = type { %"struct.std::_Vector_base<long, std::allocator<long>>::_Vector_impl_data" }
%"struct.std::_Vector_base<long, std::allocator<long>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::unique_ptr.339" = type { %"struct.std::__uniq_ptr_data.340" }
%"struct.std::__uniq_ptr_data.340" = type { %"class.std::__uniq_ptr_impl.341" }
%"class.std::__uniq_ptr_impl.341" = type { %"class.std::tuple.342" }
%"class.std::tuple.342" = type { %"struct.std::_Tuple_impl.343" }
%"struct.std::_Tuple_impl.343" = type { %"struct.std::_Head_base.346" }
%"struct.std::_Head_base.346" = type { ptr }
%struct.HighsPrimaDualIntegral = type { double, 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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK12HighsCDoubleleEd(ptr noundef nonnull align 8 dereferenceable(16), double noundef) #2 align 2

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN12HighsCDoubleC2Ed(ptr noundef nonnull align 8 dereferenceable(16), double noundef) unnamed_addr #1 align 2

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_ZN18HighsCutGeneration11generateCutER18HighsTransformedLpRSt6vectorIiSaIiEERS2_IdSaIdEERdb(ptr noundef nonnull align 8 dereferenceable(288) %0, ptr noundef nonnull align 8 dereferenceable(248) %1, ptr noundef nonnull align 8 dereferenceable(24) %2, ptr noundef nonnull align 8 dereferenceable(24) %3, ptr noundef nonnull align 8 dereferenceable(8) %4, i1 noundef zeroext %5) #2 align 2 {
  %7 = alloca i1, align 1
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca i8, align 1
  %14 = alloca i8, align 1
  %15 = alloca i32, align 4
  %16 = alloca %class.HighsCDouble, align 8
  %17 = alloca i8, align 1
  %18 = alloca i8, align 1
  %19 = alloca i8, align 1
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca %class.HighsCDouble, align 8
  %23 = alloca %class.HighsCDouble, align 8
  %24 = alloca ptr, align 8
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  store ptr %0, ptr %8, align 8, !tbaa !5
  store ptr %1, ptr %9, align 8, !tbaa !5
  store ptr %2, ptr %10, align 8, !tbaa !5
  store ptr %3, ptr %11, align 8, !tbaa !5
  store ptr %4, ptr %12, align 8, !tbaa !5
  %27 = zext i1 %5 to i8
  store i8 %27, ptr %13, align 1, !tbaa !9
  %28 = load ptr, ptr %8, align 8
  call void @llvm.lifetime.start.p0(i64 1, ptr %14) #5
  store i8 1, ptr %14, align 1, !tbaa !9
  %29 = load ptr, ptr %9, align 8, !tbaa !5
  %30 = load ptr, ptr %11, align 8, !tbaa !5
  %31 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 6
  %32 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 7
  %33 = load ptr, ptr %10, align 8, !tbaa !5
  %34 = load ptr, ptr %12, align 8, !tbaa !5
  %35 = call noundef zeroext i1 @_ZN18HighsTransformedLp9transformERSt6vectorIdSaIdEES3_S3_RS0_IiSaIiEERdRbb(ptr noundef nonnull align 8 dereferenceable(248) %29, ptr noundef nonnull align 8 dereferenceable(24) %30, ptr noundef nonnull align 8 dereferenceable(24) %31, ptr noundef nonnull align 8 dereferenceable(24) %32, ptr noundef nonnull align 8 dereferenceable(24) %33, ptr noundef nonnull align 8 dereferenceable(8) %34, ptr noundef nonnull align 1 dereferenceable(1) %14, i1 noundef zeroext false)
  br i1 %35, label %37, label %36

36:                                               ; preds = %6
  store i1 false, ptr %7, align 1
  store i32 1, ptr %15, align 4
  br label %313

37:                                               ; preds = %6
  %38 = load ptr, ptr %10, align 8, !tbaa !5
  %39 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %38) #5
  %40 = trunc i64 %39 to i32
  %41 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 17
  store i32 %40, ptr %41, align 4, !tbaa !11
  %42 = load ptr, ptr %10, align 8, !tbaa !5
  %43 = call noundef ptr @_ZNSt6vectorIiSaIiEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %42) #5
  %44 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 13
  store ptr %43, ptr %44, align 8, !tbaa !30
  %45 = load ptr, ptr %11, align 8, !tbaa !5
  %46 = call noundef ptr @_ZNSt6vectorIdSaIdEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %45) #5
  %47 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 12
  store ptr %46, ptr %47, align 8, !tbaa !31
  call void @llvm.lifetime.start.p0(i64 16, ptr %16) #5
  %48 = load ptr, ptr %12, align 8, !tbaa !5
  %49 = load double, ptr %48, align 8, !tbaa !32
  call void @_ZN12HighsCDoubleC2Ed(ptr noundef nonnull align 8 dereferenceable(16) %16, double noundef %49)
  %50 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 14
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %50, ptr align 8 %16, i64 16, i1 false), !tbaa.struct !33
  call void @llvm.lifetime.end.p0(i64 16, ptr %16) #5
  %51 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 8
  call void @_ZNSt6vectorIhSaIhEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #5
  call void @llvm.lifetime.start.p0(i64 1, ptr %17) #5
  store i8 0, ptr %17, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %18) #5
  store i8 0, ptr %18, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %19) #5
  store i8 0, ptr %19, align 1, !tbaa !9
  %52 = call noundef zeroext i1 @_ZN18HighsCutGeneration24preprocessBaseInequalityERbS0_S0_(ptr noundef nonnull align 8 dereferenceable(288) %28, ptr noundef nonnull align 1 dereferenceable(1) %17, ptr noundef nonnull align 1 dereferenceable(1) %18, ptr noundef nonnull align 1 dereferenceable(1) %19)
  br i1 %52, label %54, label %53

53:                                               ; preds = %37
  store i1 false, ptr %7, align 1
  store i32 1, ptr %15, align 4
  br label %312

54:                                               ; preds = %37
  %55 = load i8, ptr %17, align 1, !tbaa !9, !range !34, !noundef !35
  %56 = trunc i8 %55 to i1
  br i1 %56, label %93, label %57

57:                                               ; preds = %54
  %58 = load i8, ptr %14, align 1, !tbaa !9, !range !34, !noundef !35
  %59 = trunc i8 %58 to i1
  br i1 %59, label %93, label %60

60:                                               ; preds = %57
  %61 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 8
  %62 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 17
  %63 = load i32, ptr %62, align 4, !tbaa !11
  %64 = sext i32 %63 to i64
  call void @_ZNSt6vectorIhSaIhEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %61, i64 noundef %64)
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #5
  store i32 0, ptr %20, align 4, !tbaa !36
  br label %65

65:                                               ; preds = %89, %60
  %66 = load i32, ptr %20, align 4, !tbaa !36
  %67 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 17
  %68 = load i32, ptr %67, align 4, !tbaa !11
  %69 = icmp ne i32 %66, %68
  br i1 %69, label %71, label %70

70:                                               ; preds = %65
  store i32 2, ptr %15, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #5
  br label %92

71:                                               ; preds = %65
  %72 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 12
  %73 = load ptr, ptr %72, align 8, !tbaa !31
  %74 = load i32, ptr %20, align 4, !tbaa !36
  %75 = sext i32 %74 to i64
  %76 = getelementptr inbounds double, ptr %73, i64 %75
  %77 = load double, ptr %76, align 8, !tbaa !32
  %78 = fcmp ogt double %77, 0.000000e+00
  br i1 %78, label %86, label %79

79:                                               ; preds = %71
  %80 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 9
  %81 = load i32, ptr %20, align 4, !tbaa !36
  %82 = sext i32 %81 to i64
  %83 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorIhSaIhEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %80, i64 noundef %82) #5
  %84 = load i8, ptr %83, align 1, !tbaa !37
  %85 = icmp ne i8 %84, 0
  br i1 %85, label %87, label %86

86:                                               ; preds = %79, %71
  br label %89

87:                                               ; preds = %79
  %88 = load i32, ptr %20, align 4, !tbaa !36
  call void @_ZN18HighsCutGeneration19flipComplementationEi(ptr noundef nonnull align 8 dereferenceable(288) %28, i32 noundef %88)
  br label %89

89:                                               ; preds = %87, %86
  %90 = load i32, ptr %20, align 4, !tbaa !36
  %91 = add nsw i32 %90, 1
  store i32 %91, ptr %20, align 4, !tbaa !36
  br label %65, !llvm.loop !38

92:                                               ; preds = %70
  br label %93

93:                                               ; preds = %92, %57, %54
  %94 = load ptr, ptr %10, align 8, !tbaa !5
  %95 = load ptr, ptr %11, align 8, !tbaa !5
  %96 = load i8, ptr %17, align 1, !tbaa !9, !range !34, !noundef !35
  %97 = trunc i8 %96 to i1
  %98 = load i8, ptr %18, align 1, !tbaa !9, !range !34, !noundef !35
  %99 = trunc i8 %98 to i1
  %100 = load i8, ptr %19, align 1, !tbaa !9, !range !34, !noundef !35
  %101 = trunc i8 %100 to i1
  %102 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 10
  %103 = load double, ptr %102, align 8, !tbaa !40
  %104 = fmul double 1.000000e+01, %103
  %105 = load i8, ptr %13, align 1, !tbaa !9, !range !34, !noundef !35
  %106 = trunc i8 %105 to i1
  %107 = call noundef zeroext i1 @_ZN18HighsCutGeneration14tryGenerateCutERSt6vectorIiSaIiEERS0_IdSaIdEEbbbdbbb(ptr noundef nonnull align 8 dereferenceable(288) %28, ptr noundef nonnull align 8 dereferenceable(24) %94, ptr noundef nonnull align 8 dereferenceable(24) %95, i1 noundef zeroext %97, i1 noundef zeroext %99, i1 noundef zeroext %101, double noundef %104, i1 noundef zeroext %106, i1 noundef zeroext true, i1 noundef zeroext true)
  br i1 %107, label %109, label %108

108:                                              ; preds = %93
  store i1 false, ptr %7, align 1
  store i32 1, ptr %15, align 4
  br label %312

109:                                              ; preds = %93
  call void @_ZN18HighsCutGeneration21removeComplementationEv(ptr noundef nonnull align 8 dereferenceable(288) %28)
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #5
  %110 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 17
  %111 = load i32, ptr %110, align 4, !tbaa !11
  %112 = sub nsw i32 %111, 1
  store i32 %112, ptr %21, align 4, !tbaa !36
  br label %113

113:                                              ; preds = %154, %109
  %114 = load i32, ptr %21, align 4, !tbaa !36
  %115 = icmp sge i32 %114, 0
  br i1 %115, label %117, label %116

116:                                              ; preds = %113
  store i32 5, ptr %15, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #5
  br label %157

117:                                              ; preds = %113
  %118 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 12
  %119 = load ptr, ptr %118, align 8, !tbaa !31
  %120 = load i32, ptr %21, align 4, !tbaa !36
  %121 = sext i32 %120 to i64
  %122 = getelementptr inbounds double, ptr %119, i64 %121
  %123 = load double, ptr %122, align 8, !tbaa !32
  %124 = fcmp oeq double %123, 0.000000e+00
  br i1 %124, label %125, label %153

125:                                              ; preds = %117
  %126 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 17
  %127 = load i32, ptr %126, align 4, !tbaa !11
  %128 = add nsw i32 %127, -1
  store i32 %128, ptr %126, align 4, !tbaa !11
  %129 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 13
  %130 = load ptr, ptr %129, align 8, !tbaa !30
  %131 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 17
  %132 = load i32, ptr %131, align 4, !tbaa !11
  %133 = sext i32 %132 to i64
  %134 = getelementptr inbounds i32, ptr %130, i64 %133
  %135 = load i32, ptr %134, align 4, !tbaa !36
  %136 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 13
  %137 = load ptr, ptr %136, align 8, !tbaa !30
  %138 = load i32, ptr %21, align 4, !tbaa !36
  %139 = sext i32 %138 to i64
  %140 = getelementptr inbounds i32, ptr %137, i64 %139
  store i32 %135, ptr %140, align 4, !tbaa !36
  %141 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 12
  %142 = load ptr, ptr %141, align 8, !tbaa !31
  %143 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 17
  %144 = load i32, ptr %143, align 4, !tbaa !11
  %145 = sext i32 %144 to i64
  %146 = getelementptr inbounds double, ptr %142, i64 %145
  %147 = load double, ptr %146, align 8, !tbaa !32
  %148 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 12
  %149 = load ptr, ptr %148, align 8, !tbaa !31
  %150 = load i32, ptr %21, align 4, !tbaa !36
  %151 = sext i32 %150 to i64
  %152 = getelementptr inbounds double, ptr %149, i64 %151
  store double %147, ptr %152, align 8, !tbaa !32
  br label %153

153:                                              ; preds = %125, %117
  br label %154

154:                                              ; preds = %153
  %155 = load i32, ptr %21, align 4, !tbaa !36
  %156 = add nsw i32 %155, -1
  store i32 %156, ptr %21, align 4, !tbaa !36
  br label %113, !llvm.loop !41

157:                                              ; preds = %116
  %158 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 14
  %159 = call noundef double @_ZNK12HighsCDoublecvdEv(ptr noundef nonnull align 8 dereferenceable(16) %158)
  %160 = load ptr, ptr %12, align 8, !tbaa !5
  store double %159, ptr %160, align 8, !tbaa !32
  %161 = load ptr, ptr %11, align 8, !tbaa !5
  %162 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 17
  %163 = load i32, ptr %162, align 4, !tbaa !11
  %164 = sext i32 %163 to i64
  call void @_ZNSt6vectorIdSaIdEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %161, i64 noundef %164)
  %165 = load ptr, ptr %10, align 8, !tbaa !5
  %166 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 17
  %167 = load i32, ptr %166, align 4, !tbaa !11
  %168 = sext i32 %167 to i64
  call void @_ZNSt6vectorIiSaIiEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %165, i64 noundef %168)
  %169 = load ptr, ptr %9, align 8, !tbaa !5
  %170 = load ptr, ptr %11, align 8, !tbaa !5
  %171 = load ptr, ptr %10, align 8, !tbaa !5
  %172 = load ptr, ptr %12, align 8, !tbaa !5
  %173 = call noundef zeroext i1 @_ZN18HighsTransformedLp11untransformERSt6vectorIdSaIdEERS0_IiSaIiEERdb(ptr noundef nonnull align 8 dereferenceable(248) %169, ptr noundef nonnull align 8 dereferenceable(24) %170, ptr noundef nonnull align 8 dereferenceable(24) %171, ptr noundef nonnull align 8 dereferenceable(8) %172, i1 noundef zeroext false)
  br i1 %173, label %175, label %174

174:                                              ; preds = %157
  store i1 false, ptr %7, align 1
  store i32 1, ptr %15, align 4
  br label %312

175:                                              ; preds = %157
  %176 = load ptr, ptr %10, align 8, !tbaa !5
  %177 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %176) #5
  %178 = trunc i64 %177 to i32
  %179 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 17
  store i32 %178, ptr %179, align 4, !tbaa !11
  %180 = load ptr, ptr %10, align 8, !tbaa !5
  %181 = call noundef ptr @_ZNSt6vectorIiSaIiEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %180) #5
  %182 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 13
  store ptr %181, ptr %182, align 8, !tbaa !30
  %183 = load ptr, ptr %11, align 8, !tbaa !5
  %184 = call noundef ptr @_ZNSt6vectorIdSaIdEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %183) #5
  %185 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 12
  store ptr %184, ptr %185, align 8, !tbaa !31
  call void @llvm.lifetime.start.p0(i64 16, ptr %22) #5
  %186 = load ptr, ptr %12, align 8, !tbaa !5
  %187 = load double, ptr %186, align 8, !tbaa !32
  call void @_ZN12HighsCDoubleC2Ed(ptr noundef nonnull align 8 dereferenceable(16) %22, double noundef %187)
  %188 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 14
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %188, ptr align 8 %22, i64 16, i1 false), !tbaa.struct !33
  call void @llvm.lifetime.end.p0(i64 16, ptr %22) #5
  %189 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 0
  %190 = load ptr, ptr %189, align 8, !tbaa !42
  %191 = call noundef nonnull align 8 dereferenceable(496) ptr @_ZNK17HighsLpRelaxation12getMipSolverEv(ptr noundef nonnull align 8 dereferenceable(21425) %190)
  %192 = getelementptr inbounds %class.HighsMipSolver, ptr %191, i32 0, i32 25
  %193 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %192) #5
  %194 = getelementptr inbounds i8, ptr %193, i64 26800
  %195 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 13
  %196 = load ptr, ptr %195, align 8, !tbaa !30
  %197 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 12
  %198 = load ptr, ptr %197, align 8, !tbaa !31
  %199 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 17
  %200 = load i32, ptr %199, align 4, !tbaa !11
  %201 = load ptr, ptr %12, align 8, !tbaa !5
  %202 = load double, ptr %201, align 8, !tbaa !32
  call void @_ZNK13HighsDebugSol8checkCutEPKiPKdid(ptr noundef nonnull align 1 dereferenceable(1) %194, ptr noundef %196, ptr noundef %198, i32 noundef %200, double noundef %202)
  %203 = call noundef zeroext i1 @_ZN18HighsCutGeneration14postprocessCutEv(ptr noundef nonnull align 8 dereferenceable(288) %28)
  br i1 %203, label %205, label %204

204:                                              ; preds = %175
  store i1 false, ptr %7, align 1
  store i32 1, ptr %15, align 4
  br label %312

205:                                              ; preds = %175
  %206 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 14
  %207 = call noundef double @_ZNK12HighsCDoublecvdEv(ptr noundef nonnull align 8 dereferenceable(16) %206)
  %208 = load ptr, ptr %12, align 8, !tbaa !5
  store double %207, ptr %208, align 8, !tbaa !32
  %209 = load ptr, ptr %11, align 8, !tbaa !5
  %210 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 17
  %211 = load i32, ptr %210, align 4, !tbaa !11
  %212 = sext i32 %211 to i64
  call void @_ZNSt6vectorIdSaIdEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %209, i64 noundef %212)
  %213 = load ptr, ptr %10, align 8, !tbaa !5
  %214 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 17
  %215 = load i32, ptr %214, align 4, !tbaa !11
  %216 = sext i32 %215 to i64
  call void @_ZNSt6vectorIiSaIiEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %213, i64 noundef %216)
  %217 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 0
  %218 = load ptr, ptr %217, align 8, !tbaa !42
  %219 = call noundef nonnull align 8 dereferenceable(496) ptr @_ZNK17HighsLpRelaxation12getMipSolverEv(ptr noundef nonnull align 8 dereferenceable(21425) %218)
  %220 = getelementptr inbounds %class.HighsMipSolver, ptr %219, i32 0, i32 25
  %221 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %220) #5
  %222 = getelementptr inbounds i8, ptr %221, i64 26800
  %223 = load ptr, ptr %10, align 8, !tbaa !5
  %224 = call noundef ptr @_ZNSt6vectorIiSaIiEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %223) #5
  %225 = load ptr, ptr %11, align 8, !tbaa !5
  %226 = call noundef ptr @_ZNSt6vectorIdSaIdEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %225) #5
  %227 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 17
  %228 = load i32, ptr %227, align 4, !tbaa !11
  %229 = load ptr, ptr %12, align 8, !tbaa !5
  %230 = load double, ptr %229, align 8, !tbaa !32
  call void @_ZNK13HighsDebugSol8checkCutEPKiPKdid(ptr noundef nonnull align 1 dereferenceable(1) %222, ptr noundef %224, ptr noundef %226, i32 noundef %228, double noundef %230)
  call void @llvm.lifetime.start.p0(i64 16, ptr %23) #5
  %231 = load ptr, ptr %12, align 8, !tbaa !5
  %232 = load double, ptr %231, align 8, !tbaa !32
  %233 = fneg double %232
  call void @_ZN12HighsCDoubleC2Ed(ptr noundef nonnull align 8 dereferenceable(16) %23, double noundef %233)
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #5
  %234 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 0
  %235 = load ptr, ptr %234, align 8, !tbaa !42
  %236 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNK17HighsLpRelaxation11getSolutionEv(ptr noundef nonnull align 8 dereferenceable(21425) %235)
  %237 = getelementptr inbounds %struct.HighsSolution, ptr %236, i32 0, i32 2
  store ptr %237, ptr %24, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #5
  store i32 0, ptr %25, align 4, !tbaa !36
  br label %238

238:                                              ; preds = %262, %205
  %239 = load i32, ptr %25, align 4, !tbaa !36
  %240 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 17
  %241 = load i32, ptr %240, align 4, !tbaa !11
  %242 = icmp ne i32 %239, %241
  br i1 %242, label %244, label %243

243:                                              ; preds = %238
  store i32 8, ptr %15, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #5
  br label %265

244:                                              ; preds = %238
  %245 = load ptr, ptr %24, align 8, !tbaa !5
  %246 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 13
  %247 = load ptr, ptr %246, align 8, !tbaa !30
  %248 = load i32, ptr %25, align 4, !tbaa !36
  %249 = sext i32 %248 to i64
  %250 = getelementptr inbounds i32, ptr %247, i64 %249
  %251 = load i32, ptr %250, align 4, !tbaa !36
  %252 = sext i32 %251 to i64
  %253 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %245, i64 noundef %252) #5
  %254 = load double, ptr %253, align 8, !tbaa !32
  %255 = load ptr, ptr %11, align 8, !tbaa !5
  %256 = load i32, ptr %25, align 4, !tbaa !36
  %257 = sext i32 %256 to i64
  %258 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %255, i64 noundef %257) #5
  %259 = load double, ptr %258, align 8, !tbaa !32
  %260 = fmul double %254, %259
  %261 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN12HighsCDoublepLEd(ptr noundef nonnull align 8 dereferenceable(16) %23, double noundef %260)
  br label %262

262:                                              ; preds = %244
  %263 = load i32, ptr %25, align 4, !tbaa !36
  %264 = add nsw i32 %263, 1
  store i32 %264, ptr %25, align 4, !tbaa !36
  br label %238, !llvm.loop !43

265:                                              ; preds = %243
  %266 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 10
  %267 = load double, ptr %266, align 8, !tbaa !40
  %268 = fmul double 1.000000e+01, %267
  %269 = call noundef zeroext i1 @_ZNK12HighsCDoubleleEd(ptr noundef nonnull align 8 dereferenceable(16) %23, double noundef %268)
  br i1 %269, label %270, label %271

270:                                              ; preds = %265
  store i1 false, ptr %7, align 1
  store i32 1, ptr %15, align 4
  br label %311

271:                                              ; preds = %265
  %272 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 0
  %273 = load ptr, ptr %272, align 8, !tbaa !42
  %274 = call noundef nonnull align 8 dereferenceable(496) ptr @_ZNK17HighsLpRelaxation12getMipSolverEv(ptr noundef nonnull align 8 dereferenceable(21425) %273)
  %275 = getelementptr inbounds %class.HighsMipSolver, ptr %274, i32 0, i32 25
  %276 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %275) #5
  %277 = getelementptr inbounds %struct.HighsMipSolverData, ptr %276, i32 0, i32 3
  %278 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 13
  %279 = load ptr, ptr %278, align 8, !tbaa !30
  %280 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 12
  %281 = load ptr, ptr %280, align 8, !tbaa !31
  %282 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 17
  %283 = load i32, ptr %282, align 4, !tbaa !11
  %284 = load ptr, ptr %12, align 8, !tbaa !5
  call void @_ZNK11HighsDomain19tightenCoefficientsEPiPdiRd(ptr noundef nonnull align 8 dereferenceable(824) %277, ptr noundef %279, ptr noundef %281, i32 noundef %283, ptr noundef nonnull align 8 dereferenceable(8) %284)
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #5
  %285 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 1
  %286 = load ptr, ptr %285, align 8, !tbaa !44
  %287 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 0
  %288 = load ptr, ptr %287, align 8, !tbaa !42
  %289 = call noundef nonnull align 8 dereferenceable(496) ptr @_ZNK17HighsLpRelaxation12getMipSolverEv(ptr noundef nonnull align 8 dereferenceable(21425) %288)
  %290 = load ptr, ptr %10, align 8, !tbaa !5
  %291 = call noundef ptr @_ZNSt6vectorIiSaIiEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %290) #5
  %292 = load ptr, ptr %11, align 8, !tbaa !5
  %293 = call noundef ptr @_ZNSt6vectorIdSaIdEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %292) #5
  %294 = load ptr, ptr %10, align 8, !tbaa !5
  %295 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %294) #5
  %296 = trunc i64 %295 to i32
  %297 = load ptr, ptr %12, align 8, !tbaa !5
  %298 = load double, ptr %297, align 8, !tbaa !32
  %299 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 15
  %300 = load i8, ptr %299, align 8, !tbaa !45, !range !34, !noundef !35
  %301 = trunc i8 %300 to i1
  br i1 %301, label %302, label %306

302:                                              ; preds = %271
  %303 = getelementptr inbounds %class.HighsCutGeneration, ptr %28, i32 0, i32 16
  %304 = load i8, ptr %303, align 1, !tbaa !46, !range !34, !noundef !35
  %305 = trunc i8 %304 to i1
  br label %306

306:                                              ; preds = %302, %271
  %307 = phi i1 [ false, %271 ], [ %305, %302 ]
  %308 = call noundef i32 @_ZN12HighsCutPool6addCutERK14HighsMipSolverPiPdidbbbb(ptr noundef nonnull align 8 dereferenceable(680) %286, ptr noundef nonnull align 8 dereferenceable(496) %289, ptr noundef %291, ptr noundef %293, i32 noundef %296, double noundef %298, i1 noundef zeroext %307, i1 noundef zeroext true, i1 noundef zeroext true, i1 noundef zeroext false)
  store i32 %308, ptr %26, align 4, !tbaa !36
  %309 = load i32, ptr %26, align 4, !tbaa !36
  %310 = icmp ne i32 %309, -1
  store i1 %310, ptr %7, align 1
  store i32 1, ptr %15, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #5
  br label %311

311:                                              ; preds = %306, %270
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %23) #5
  br label %312

312:                                              ; preds = %311, %204, %174, %108, %53
  call void @llvm.lifetime.end.p0(i64 1, ptr %19) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %18) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %17) #5
  br label %313

313:                                              ; preds = %312, %36
  call void @llvm.lifetime.end.p0(i64 1, ptr %14) #5
  %314 = load i1, ptr %7, align 1
  ret i1 %314
}

declare noundef zeroext i1 @_ZN18HighsTransformedLp9transformERSt6vectorIdSaIdEES3_S3_RS0_IiSaIiEERdRbb(ptr noundef nonnull align 8 dereferenceable(248), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 1 dereferenceable(1), i1 noundef zeroext) #4

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN18HighsCutGeneration14tryGenerateCutERSt6vectorIiSaIiEERS0_IdSaIdEEbbbdbbb(ptr noundef nonnull align 8 dereferenceable(288), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24), i1 noundef zeroext, i1 noundef zeroext, i1 noundef zeroext, double noundef, i1 noundef zeroext, i1 noundef zeroext, i1 noundef zeroext) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN18HighsCutGeneration21removeComplementationEv(ptr noundef nonnull align 8 dereferenceable(288)) #2 align 2

declare noundef zeroext i1 @_ZN18HighsTransformedLp11untransformERSt6vectorIdSaIdEERS0_IiSaIiEERdb(ptr noundef nonnull align 8 dereferenceable(248), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(8), i1 noundef zeroext) #4

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNK13HighsDebugSol8checkCutEPKiPKdid(ptr noundef nonnull align 1 dereferenceable(1), ptr noundef, ptr noundef, i32 noundef, double noundef) #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(104) ptr @_ZNK17HighsLpRelaxation11getSolutionEv(ptr noundef nonnull align 8 dereferenceable(21425)) #2 align 2

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

declare void @_ZNK11HighsDomain19tightenCoefficientsEPiPdiRd(ptr noundef nonnull align 8 dereferenceable(824), ptr noundef, ptr noundef, i32 noundef, ptr noundef nonnull align 8 dereferenceable(8)) #4

declare noundef i32 @_ZN12HighsCutPool6addCutERK14HighsMipSolverPiPdidbbbb(ptr noundef nonnull align 8 dereferenceable(680), ptr noundef nonnull align 8 dereferenceable(496), ptr noundef, ptr noundef, i32 noundef, double noundef, i1 noundef zeroext, i1 noundef zeroext, i1 noundef zeroext, i1 noundef zeroext) #4

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { "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, !10, i64 0}
!10 = !{!"bool", !7, i64 0}
!11 = !{!12, !29, i64 228}
!12 = !{!"_ZTS18HighsCutGeneration", !6, i64 0, !6, i64 8, !13, i64 16, !15, i64 24, !19, i64 48, !19, i64 64, !21, i64 80, !21, i64 104, !25, i64 128, !25, i64 152, !20, i64 176, !20, i64 184, !6, i64 192, !6, i64 200, !19, i64 208, !10, i64 224, !10, i64 225, !29, i64 228, !20, i64 232, !15, i64 240, !21, i64 264}
!13 = !{!"_ZTS11HighsRandom", !14, i64 0}
!14 = !{!"long", !7, i64 0}
!15 = !{!"_ZTSSt6vectorIiSaIiEE", !16, i64 0}
!16 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !17, i64 0}
!17 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !18, i64 0}
!18 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!19 = !{!"_ZTS12HighsCDouble", !20, i64 0, !20, i64 8}
!20 = !{!"double", !7, i64 0}
!21 = !{!"_ZTSSt6vectorIdSaIdEE", !22, i64 0}
!22 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !23, i64 0}
!23 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !24, i64 0}
!24 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!25 = !{!"_ZTSSt6vectorIhSaIhEE", !26, i64 0}
!26 = !{!"_ZTSSt12_Vector_baseIhSaIhEE", !27, i64 0}
!27 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE12_Vector_implE", !28, i64 0}
!28 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!29 = !{!"int", !7, i64 0}
!30 = !{!12, !6, i64 200}
!31 = !{!12, !6, i64 192}
!32 = !{!20, !20, i64 0}
!33 = !{i64 0, i64 8, !32, i64 8, i64 8, !32}
!34 = !{i8 0, i8 2}
!35 = !{}
!36 = !{!29, !29, i64 0}
!37 = !{!7, !7, i64 0}
!38 = distinct !{!38, !39}
!39 = !{!"llvm.loop.mustprogress"}
!40 = !{!12, !20, i64 176}
!41 = distinct !{!41, !39}
!42 = !{!12, !6, i64 0}
!43 = distinct !{!43, !39}
!44 = !{!12, !6, i64 8}
!45 = !{!12, !10, i64 224}
!46 = !{!12, !10, i64 225}


; 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.HighsCDouble = type { double, double }

; 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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK12HighsCDoubleleEd(ptr noundef nonnull align 8 dereferenceable(16), double noundef) local_unnamed_addr #2 align 2

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN12HighsCDoubleC2Ed(ptr noundef nonnull align 8 dereferenceable(16), double noundef) unnamed_addr #1 align 2

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_ZN18HighsCutGeneration11generateCutER18HighsTransformedLpRSt6vectorIiSaIiEERS2_IdSaIdEERdb(ptr noundef nonnull align 8 dereferenceable(288) %0, ptr noundef nonnull align 8 dereferenceable(248) %1, ptr noundef nonnull align 8 dereferenceable(24) %2, ptr noundef nonnull align 8 dereferenceable(24) %3, ptr noundef nonnull align 8 dereferenceable(8) %4, i1 noundef zeroext %5) local_unnamed_addr #2 align 2 {
  %7 = alloca i8, align 1
  %8 = alloca %class.HighsCDouble, align 8
  %9 = alloca i8, align 1
  %10 = alloca i8, align 1
  %11 = alloca i8, align 1
  %12 = alloca %class.HighsCDouble, align 8
  %13 = alloca %class.HighsCDouble, align 8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %7) #5
  store i8 1, ptr %7, align 1, !tbaa !5
  %14 = getelementptr inbounds i8, ptr %0, i64 80
  %15 = getelementptr inbounds i8, ptr %0, i64 104
  %16 = call noundef zeroext i1 @_ZN18HighsTransformedLp9transformERSt6vectorIdSaIdEES3_S3_RS0_IiSaIiEERdRbb(ptr noundef nonnull align 8 dereferenceable(248) %1, ptr noundef nonnull align 8 dereferenceable(24) %3, ptr noundef nonnull align 8 dereferenceable(24) %14, ptr noundef nonnull align 8 dereferenceable(24) %15, ptr noundef nonnull align 8 dereferenceable(24) %2, ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 1 dereferenceable(1) %7, i1 noundef zeroext false)
  br i1 %16, label %17, label %174

17:                                               ; preds = %6
  %18 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  %19 = trunc i64 %18 to i32
  %20 = getelementptr inbounds i8, ptr %0, i64 228
  store i32 %19, ptr %20, align 4, !tbaa !9
  %21 = call noundef ptr @_ZNSt6vectorIiSaIiEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  %22 = getelementptr inbounds i8, ptr %0, i64 200
  store ptr %21, ptr %22, align 8, !tbaa !29
  %23 = call noundef ptr @_ZNSt6vectorIdSaIdEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %3) #5
  %24 = getelementptr inbounds i8, ptr %0, i64 192
  store ptr %23, ptr %24, align 8, !tbaa !30
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %8) #5
  %25 = load double, ptr %4, align 8, !tbaa !31
  call void @_ZN12HighsCDoubleC2Ed(ptr noundef nonnull align 8 dereferenceable(16) %8, double noundef %25)
  %26 = getelementptr inbounds i8, ptr %0, i64 208
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %26, ptr noundef nonnull align 8 dereferenceable(16) %8, i64 16, i1 false), !tbaa.struct !32
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %8) #5
  %27 = getelementptr inbounds i8, ptr %0, i64 128
  call void @_ZNSt6vectorIhSaIhEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %27) #5
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %9) #5
  store i8 0, ptr %9, align 1, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %10) #5
  store i8 0, ptr %10, align 1, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %11) #5
  store i8 0, ptr %11, align 1, !tbaa !5
  %28 = call noundef zeroext i1 @_ZN18HighsCutGeneration24preprocessBaseInequalityERbS0_S0_(ptr noundef nonnull align 8 dereferenceable(288) %0, ptr noundef nonnull align 1 dereferenceable(1) %9, ptr noundef nonnull align 1 dereferenceable(1) %10, ptr noundef nonnull align 1 dereferenceable(1) %11)
  br i1 %28, label %29, label %173

29:                                               ; preds = %17
  %30 = load i8, ptr %9, align 1, !tbaa !5, !range !33, !noundef !34
  %31 = trunc nuw i8 %30 to i1
  br i1 %31, label %.loopexit, label %32

32:                                               ; preds = %29
  %33 = load i8, ptr %7, align 1, !tbaa !5, !range !33, !noundef !34
  %34 = trunc nuw i8 %33 to i1
  br i1 %34, label %.loopexit, label %35

35:                                               ; preds = %32
  %36 = load i32, ptr %20, align 4, !tbaa !9
  %37 = sext i32 %36 to i64
  call void @_ZNSt6vectorIhSaIhEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %27, i64 noundef %37)
  %38 = load i32, ptr %20, align 4, !tbaa !9
  %.not58 = icmp eq i32 %38, 0
  br i1 %.not58, label %.loopexit, label %.lr.ph

.lr.ph:                                           ; preds = %35
  %39 = getelementptr inbounds i8, ptr %0, i64 152
  br label %40

40:                                               ; preds = %.lr.ph, %50
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %50 ]
  %41 = load ptr, ptr %24, align 8, !tbaa !30
  %42 = getelementptr inbounds double, ptr %41, i64 %indvars.iv
  %43 = load double, ptr %42, align 8, !tbaa !31
  %44 = fcmp ogt double %43, 0.000000e+00
  br i1 %44, label %50, label %45

45:                                               ; preds = %40
  %46 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorIhSaIhEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %39, i64 noundef %indvars.iv) #5
  %47 = load i8, ptr %46, align 1, !tbaa !35
  %.not56 = icmp eq i8 %47, 0
  br i1 %.not56, label %50, label %48

48:                                               ; preds = %45
  %49 = trunc nuw nsw i64 %indvars.iv to i32
  call void @_ZN18HighsCutGeneration19flipComplementationEi(ptr noundef nonnull align 8 dereferenceable(288) %0, i32 noundef %49)
  br label %50

50:                                               ; preds = %40, %45, %48
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %51 = load i32, ptr %20, align 4, !tbaa !9
  %52 = zext i32 %51 to i64
  %.not = icmp eq i64 %indvars.iv.next, %52
  br i1 %.not, label %.loopexit, label %40, !llvm.loop !36

.loopexit:                                        ; preds = %50, %35, %32, %29
  %53 = load i8, ptr %9, align 1, !tbaa !5, !range !33, !noundef !34
  %54 = trunc nuw i8 %53 to i1
  %55 = load i8, ptr %10, align 1, !tbaa !5, !range !33, !noundef !34
  %56 = trunc nuw i8 %55 to i1
  %57 = load i8, ptr %11, align 1, !tbaa !5, !range !33, !noundef !34
  %58 = trunc nuw i8 %57 to i1
  %59 = getelementptr inbounds i8, ptr %0, i64 176
  %60 = load double, ptr %59, align 8, !tbaa !38
  %61 = fmul double %60, 1.000000e+01
  %62 = call noundef zeroext i1 @_ZN18HighsCutGeneration14tryGenerateCutERSt6vectorIiSaIiEERS0_IdSaIdEEbbbdbbb(ptr noundef nonnull align 8 dereferenceable(288) %0, ptr noundef nonnull align 8 dereferenceable(24) %2, ptr noundef nonnull align 8 dereferenceable(24) %3, i1 noundef zeroext %54, i1 noundef zeroext %56, i1 noundef zeroext %58, double noundef %61, i1 noundef zeroext %5, i1 noundef zeroext true, i1 noundef zeroext true)
  br i1 %62, label %63, label %173

63:                                               ; preds = %.loopexit
  call void @_ZN18HighsCutGeneration21removeComplementationEv(ptr noundef nonnull align 8 dereferenceable(288) %0)
  %64 = load i32, ptr %20, align 4, !tbaa !9
  %65 = icmp sgt i32 %64, 0
  br i1 %65, label %.lr.ph62, label %._crit_edge

.lr.ph62:                                         ; preds = %63
  %66 = load ptr, ptr %24, align 8, !tbaa !30
  %67 = load ptr, ptr %22, align 8
  %68 = zext nneg i32 %64 to i64
  br label %75

._crit_edge:                                      ; preds = %90, %63
  %69 = call noundef double @_ZNK12HighsCDoublecvdEv(ptr noundef nonnull align 8 dereferenceable(16) %26)
  store double %69, ptr %4, align 8, !tbaa !31
  %70 = load i32, ptr %20, align 4, !tbaa !9
  %71 = sext i32 %70 to i64
  call void @_ZNSt6vectorIdSaIdEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %3, i64 noundef %71)
  %72 = load i32, ptr %20, align 4, !tbaa !9
  %73 = sext i32 %72 to i64
  call void @_ZNSt6vectorIiSaIiEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %2, i64 noundef %73)
  %74 = call noundef zeroext i1 @_ZN18HighsTransformedLp11untransformERSt6vectorIdSaIdEERS0_IiSaIiEERdb(ptr noundef nonnull align 8 dereferenceable(248) %1, ptr noundef nonnull align 8 dereferenceable(24) %3, ptr noundef nonnull align 8 dereferenceable(24) %2, ptr noundef nonnull align 8 dereferenceable(8) %4, i1 noundef zeroext false)
  br i1 %74, label %93, label %173

75:                                               ; preds = %.lr.ph62, %90
  %76 = phi i32 [ %64, %.lr.ph62 ], [ %91, %90 ]
  %indvars.iv69 = phi i64 [ %68, %.lr.ph62 ], [ %indvars.iv.next70, %90 ]
  %indvars.iv.next70 = add nsw i64 %indvars.iv69, -1
  %77 = getelementptr inbounds double, ptr %66, i64 %indvars.iv.next70
  %78 = load double, ptr %77, align 8, !tbaa !31
  %79 = fcmp oeq double %78, 0.000000e+00
  br i1 %79, label %80, label %90

80:                                               ; preds = %75
  %81 = add nsw i32 %76, -1
  store i32 %81, ptr %20, align 4, !tbaa !9
  %82 = sext i32 %81 to i64
  %83 = getelementptr inbounds i32, ptr %67, i64 %82
  %84 = load i32, ptr %83, align 4, !tbaa !39
  %85 = getelementptr inbounds i32, ptr %67, i64 %indvars.iv.next70
  store i32 %84, ptr %85, align 4, !tbaa !39
  %86 = load i32, ptr %20, align 4, !tbaa !9
  %87 = sext i32 %86 to i64
  %88 = getelementptr inbounds double, ptr %66, i64 %87
  %89 = load double, ptr %88, align 8, !tbaa !31
  store double %89, ptr %77, align 8, !tbaa !31
  br label %90

90:                                               ; preds = %75, %80
  %91 = phi i32 [ %76, %75 ], [ %86, %80 ]
  %92 = icmp ugt i64 %indvars.iv69, 1
  br i1 %92, label %75, label %._crit_edge, !llvm.loop !40

93:                                               ; preds = %._crit_edge
  %94 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  %95 = trunc i64 %94 to i32
  store i32 %95, ptr %20, align 4, !tbaa !9
  %96 = call noundef ptr @_ZNSt6vectorIiSaIiEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  store ptr %96, ptr %22, align 8, !tbaa !29
  %97 = call noundef ptr @_ZNSt6vectorIdSaIdEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %3) #5
  store ptr %97, ptr %24, align 8, !tbaa !30
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %12) #5
  %98 = load double, ptr %4, align 8, !tbaa !31
  call void @_ZN12HighsCDoubleC2Ed(ptr noundef nonnull align 8 dereferenceable(16) %12, double noundef %98)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %26, ptr noundef nonnull align 8 dereferenceable(16) %12, i64 16, i1 false), !tbaa.struct !32
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %12) #5
  %99 = load ptr, ptr %0, align 8, !tbaa !41
  %100 = call noundef nonnull align 8 dereferenceable(496) ptr @_ZNK17HighsLpRelaxation12getMipSolverEv(ptr noundef nonnull align 8 dereferenceable(21425) %99)
  %101 = getelementptr inbounds i8, ptr %100, i64 224
  %102 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %101) #5
  %103 = getelementptr inbounds i8, ptr %102, i64 26800
  %104 = load ptr, ptr %22, align 8, !tbaa !29
  %105 = load ptr, ptr %24, align 8, !tbaa !30
  %106 = load i32, ptr %20, align 4, !tbaa !9
  %107 = load double, ptr %4, align 8, !tbaa !31
  call void @_ZNK13HighsDebugSol8checkCutEPKiPKdid(ptr noundef nonnull align 1 dereferenceable(1) %103, ptr noundef %104, ptr noundef %105, i32 noundef %106, double noundef %107)
  %108 = call noundef zeroext i1 @_ZN18HighsCutGeneration14postprocessCutEv(ptr noundef nonnull align 8 dereferenceable(288) %0)
  br i1 %108, label %109, label %173

109:                                              ; preds = %93
  %110 = call noundef double @_ZNK12HighsCDoublecvdEv(ptr noundef nonnull align 8 dereferenceable(16) %26)
  store double %110, ptr %4, align 8, !tbaa !31
  %111 = load i32, ptr %20, align 4, !tbaa !9
  %112 = sext i32 %111 to i64
  call void @_ZNSt6vectorIdSaIdEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %3, i64 noundef %112)
  %113 = load i32, ptr %20, align 4, !tbaa !9
  %114 = sext i32 %113 to i64
  call void @_ZNSt6vectorIiSaIiEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %2, i64 noundef %114)
  %115 = load ptr, ptr %0, align 8, !tbaa !41
  %116 = call noundef nonnull align 8 dereferenceable(496) ptr @_ZNK17HighsLpRelaxation12getMipSolverEv(ptr noundef nonnull align 8 dereferenceable(21425) %115)
  %117 = getelementptr inbounds i8, ptr %116, i64 224
  %118 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %117) #5
  %119 = getelementptr inbounds i8, ptr %118, i64 26800
  %120 = call noundef ptr @_ZNSt6vectorIiSaIiEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  %121 = call noundef ptr @_ZNSt6vectorIdSaIdEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %3) #5
  %122 = load i32, ptr %20, align 4, !tbaa !9
  %123 = load double, ptr %4, align 8, !tbaa !31
  call void @_ZNK13HighsDebugSol8checkCutEPKiPKdid(ptr noundef nonnull align 1 dereferenceable(1) %119, ptr noundef %120, ptr noundef %121, i32 noundef %122, double noundef %123)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %13) #5
  %124 = load double, ptr %4, align 8, !tbaa !31
  %125 = fneg double %124
  call void @_ZN12HighsCDoubleC2Ed(ptr noundef nonnull align 8 dereferenceable(16) %13, double noundef %125)
  %126 = load ptr, ptr %0, align 8, !tbaa !41
  %127 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNK17HighsLpRelaxation11getSolutionEv(ptr noundef nonnull align 8 dereferenceable(21425) %126)
  %128 = getelementptr inbounds i8, ptr %127, i64 8
  %129 = load i32, ptr %20, align 4, !tbaa !9
  %.not5763 = icmp eq i32 %129, 0
  br i1 %.not5763, label %._crit_edge67, label %.lr.ph66

._crit_edge67:                                    ; preds = %.lr.ph66, %109
  %130 = load double, ptr %59, align 8, !tbaa !38
  %131 = fmul double %130, 1.000000e+01
  %132 = call noundef zeroext i1 @_ZNK12HighsCDoubleleEd(ptr noundef nonnull align 8 dereferenceable(16) %13, double noundef %131)
  br i1 %132, label %172, label %145

.lr.ph66:                                         ; preds = %109, %.lr.ph66
  %indvars.iv72 = phi i64 [ %indvars.iv.next73, %.lr.ph66 ], [ 0, %109 ]
  %133 = load ptr, ptr %22, align 8, !tbaa !29
  %134 = getelementptr inbounds i32, ptr %133, i64 %indvars.iv72
  %135 = load i32, ptr %134, align 4, !tbaa !39
  %136 = sext i32 %135 to i64
  %137 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %128, i64 noundef %136) #5
  %138 = load double, ptr %137, align 8, !tbaa !31
  %139 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %3, i64 noundef %indvars.iv72) #5
  %140 = load double, ptr %139, align 8, !tbaa !31
  %141 = fmul double %138, %140
  %142 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN12HighsCDoublepLEd(ptr noundef nonnull align 8 dereferenceable(16) %13, double noundef %141)
  %indvars.iv.next73 = add nuw nsw i64 %indvars.iv72, 1
  %143 = load i32, ptr %20, align 4, !tbaa !9
  %144 = zext i32 %143 to i64
  %.not57 = icmp eq i64 %indvars.iv.next73, %144
  br i1 %.not57, label %._crit_edge67, label %.lr.ph66, !llvm.loop !42

145:                                              ; preds = %._crit_edge67
  %146 = load ptr, ptr %0, align 8, !tbaa !41
  %147 = call noundef nonnull align 8 dereferenceable(496) ptr @_ZNK17HighsLpRelaxation12getMipSolverEv(ptr noundef nonnull align 8 dereferenceable(21425) %146)
  %148 = getelementptr inbounds i8, ptr %147, i64 224
  %149 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %148) #5
  %150 = getelementptr inbounds i8, ptr %149, i64 912
  %151 = load ptr, ptr %22, align 8, !tbaa !29
  %152 = load ptr, ptr %24, align 8, !tbaa !30
  %153 = load i32, ptr %20, align 4, !tbaa !9
  call void @_ZNK11HighsDomain19tightenCoefficientsEPiPdiRd(ptr noundef nonnull align 8 dereferenceable(824) %150, ptr noundef %151, ptr noundef %152, i32 noundef %153, ptr noundef nonnull align 8 dereferenceable(8) %4)
  %154 = getelementptr inbounds i8, ptr %0, i64 8
  %155 = load ptr, ptr %154, align 8, !tbaa !43
  %156 = load ptr, ptr %0, align 8, !tbaa !41
  %157 = call noundef nonnull align 8 dereferenceable(496) ptr @_ZNK17HighsLpRelaxation12getMipSolverEv(ptr noundef nonnull align 8 dereferenceable(21425) %156)
  %158 = call noundef ptr @_ZNSt6vectorIiSaIiEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  %159 = call noundef ptr @_ZNSt6vectorIdSaIdEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %3) #5
  %160 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  %161 = trunc i64 %160 to i32
  %162 = load double, ptr %4, align 8, !tbaa !31
  %163 = getelementptr inbounds i8, ptr %0, i64 224
  %164 = load i8, ptr %163, align 8, !tbaa !44, !range !33, !noundef !34
  %165 = trunc nuw i8 %164 to i1
  %166 = getelementptr inbounds i8, ptr %0, i64 225
  %167 = load i8, ptr %166, align 1, !range !33
  %168 = trunc nuw i8 %167 to i1
  %169 = select i1 %165, i1 %168, i1 false
  %170 = call noundef i32 @_ZN12HighsCutPool6addCutERK14HighsMipSolverPiPdidbbbb(ptr noundef nonnull align 8 dereferenceable(680) %155, ptr noundef nonnull align 8 dereferenceable(496) %157, ptr noundef %158, ptr noundef %159, i32 noundef %161, double noundef %162, i1 noundef zeroext %169, i1 noundef zeroext true, i1 noundef zeroext true, i1 noundef zeroext false)
  %171 = icmp ne i32 %170, -1
  br label %172

172:                                              ; preds = %._crit_edge67, %145
  %.0 = phi i1 [ %171, %145 ], [ false, %._crit_edge67 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %13) #5
  br label %173

173:                                              ; preds = %93, %._crit_edge, %.loopexit, %17, %172
  %.1 = phi i1 [ %.0, %172 ], [ false, %17 ], [ false, %.loopexit ], [ false, %._crit_edge ], [ false, %93 ]
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %11) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %10) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %9) #5
  br label %174

174:                                              ; preds = %6, %173
  %.2 = phi i1 [ %.1, %173 ], [ false, %6 ]
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %7) #5
  ret i1 %.2
}

declare noundef zeroext i1 @_ZN18HighsTransformedLp9transformERSt6vectorIdSaIdEES3_S3_RS0_IiSaIiEERdRbb(ptr noundef nonnull align 8 dereferenceable(248), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 1 dereferenceable(1), i1 noundef zeroext) local_unnamed_addr #4

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN18HighsCutGeneration14tryGenerateCutERSt6vectorIiSaIiEERS0_IdSaIdEEbbbdbbb(ptr noundef nonnull align 8 dereferenceable(288), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24), i1 noundef zeroext, i1 noundef zeroext, i1 noundef zeroext, double noundef, i1 noundef zeroext, i1 noundef zeroext, i1 noundef zeroext) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN18HighsCutGeneration21removeComplementationEv(ptr noundef nonnull align 8 dereferenceable(288)) local_unnamed_addr #2 align 2

declare noundef zeroext i1 @_ZN18HighsTransformedLp11untransformERSt6vectorIdSaIdEERS0_IiSaIiEERdb(ptr noundef nonnull align 8 dereferenceable(248), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(8), i1 noundef zeroext) local_unnamed_addr #4

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNK13HighsDebugSol8checkCutEPKiPKdid(ptr noundef nonnull align 1 dereferenceable(1), ptr noundef, ptr noundef, i32 noundef, double noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(104) ptr @_ZNK17HighsLpRelaxation11getSolutionEv(ptr noundef nonnull align 8 dereferenceable(21425)) local_unnamed_addr #2 align 2

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

declare void @_ZNK11HighsDomain19tightenCoefficientsEPiPdiRd(ptr noundef nonnull align 8 dereferenceable(824), ptr noundef, ptr noundef, i32 noundef, ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4

declare noundef i32 @_ZN12HighsCutPool6addCutERK14HighsMipSolverPiPdidbbbb(ptr noundef nonnull align 8 dereferenceable(680), ptr noundef nonnull align 8 dereferenceable(496), ptr noundef, ptr noundef, i32 noundef, double noundef, i1 noundef zeroext, i1 noundef zeroext, i1 noundef zeroext, i1 noundef zeroext) local_unnamed_addr #4

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { "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 = !{!"bool", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !28, i64 228}
!10 = !{!"_ZTS18HighsCutGeneration", !11, i64 0, !11, i64 8, !12, i64 16, !14, i64 24, !18, i64 48, !18, i64 64, !20, i64 80, !20, i64 104, !24, i64 128, !24, i64 152, !19, i64 176, !19, i64 184, !11, i64 192, !11, i64 200, !18, i64 208, !6, i64 224, !6, i64 225, !28, i64 228, !19, i64 232, !14, i64 240, !20, i64 264}
!11 = !{!"any pointer", !7, i64 0}
!12 = !{!"_ZTS11HighsRandom", !13, i64 0}
!13 = !{!"long", !7, i64 0}
!14 = !{!"_ZTSSt6vectorIiSaIiEE", !15, i64 0}
!15 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !16, i64 0}
!16 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !17, i64 0}
!17 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!18 = !{!"_ZTS12HighsCDouble", !19, i64 0, !19, i64 8}
!19 = !{!"double", !7, i64 0}
!20 = !{!"_ZTSSt6vectorIdSaIdEE", !21, i64 0}
!21 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !22, i64 0}
!22 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !23, i64 0}
!23 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!24 = !{!"_ZTSSt6vectorIhSaIhEE", !25, i64 0}
!25 = !{!"_ZTSSt12_Vector_baseIhSaIhEE", !26, i64 0}
!26 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE12_Vector_implE", !27, i64 0}
!27 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!28 = !{!"int", !7, i64 0}
!29 = !{!10, !11, i64 200}
!30 = !{!10, !11, i64 192}
!31 = !{!19, !19, i64 0}
!32 = !{i64 0, i64 8, !31, i64 8, i64 8, !31}
!33 = !{i8 0, i8 2}
!34 = !{}
!35 = !{!7, !7, i64 0}
!36 = distinct !{!36, !37}
!37 = !{!"llvm.loop.mustprogress"}
!38 = !{!10, !19, i64 176}
!39 = !{!28, !28, i64 0}
!40 = distinct !{!40, !37}
!41 = !{!10, !11, i64 0}
!42 = distinct !{!42, !37}
!43 = !{!10, !11, i64 8}
!44 = !{!10, !6, i64 224}


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