; LLVM IR from ERGO-Code/HiGHS :: src/mip/HighsDomain.ll (ZN11HighsDomain9propagateEv)

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

%"struct.std::_Deque_iterator" = type { ptr, ptr, ptr, ptr }
%"class.std::vector.3" = type { %"struct.std::_Vector_base.4" }
%"struct.std::_Vector_base.4" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.anon.362 = type { ptr }
%"class.std::unique_ptr.363" = type { %"struct.std::__uniq_ptr_data.364" }
%"struct.std::__uniq_ptr_data.364" = type { %"class.std::__uniq_ptr_impl.365" }
%"class.std::__uniq_ptr_impl.365" = type { %"class.std::tuple.366" }
%"class.std::tuple.366" = type { %"struct.std::_Tuple_impl.367" }
%"struct.std::_Tuple_impl.367" = type { %"struct.std::_Head_base.370" }
%"struct.std::_Head_base.370" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.371" = type { ptr }
%"struct.std::pair" = type { i32, i32 }
%class.anon.372 = type { ptr, ptr, ptr }
%struct.HighsDomainChange = type { double, i32, i32 }
%"struct.HighsDomain::Reason" = type { i32, i32 }
%class.anon.373 = type { ptr, ptr, ptr, ptr }
%class.HighsDomain = type { %"class.std::vector", %"class.std::vector.3", %"class.std::vector.8", %"class.std::vector.13", %"class.std::vector.18", %"class.std::vector.23", %"class.std::vector.28", %"class.std::vector.28", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector", %"class.std::vector.3", %"struct.HighsDomain::ObjectivePropagation", ptr, %"class.std::deque", %"class.std::deque.51", i8, %"struct.HighsDomain::Reason", i32, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %class.HighsHashTable, i8, %"class.std::vector.33", %"class.std::vector.33" }
%"class.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = 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.13" = type { %"struct.std::_Vector_base.14" }
%"struct.std::_Vector_base.14" = 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.18" = type { %"struct.std::_Vector_base.19" }
%"struct.std::_Vector_base.19" = 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.23" = type { %"struct.std::_Vector_base.24" }
%"struct.std::_Vector_base.24" = 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.28" = type { %"struct.std::_Vector_base.29" }
%"struct.std::_Vector_base.29" = 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 }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = 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 }
%"struct.HighsDomain::ObjectivePropagation" = type { ptr, ptr, ptr, %class.HighsCDouble, i32, double, i8, %"class.std::vector.38", %"class.std::vector.8", %"class.std::vector.33", %"class.std::vector.43" }
%class.HighsCDouble = type { double, double }
%"class.std::vector.38" = type { %"struct.std::_Vector_base.39" }
%"struct.std::_Vector_base.39" = 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.43" = type { %"struct.std::_Vector_base.44" }
%"struct.std::_Vector_base.44" = 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" }
%"class.std::deque.51" = type { %"class.std::_Deque_base.52" }
%"class.std::_Deque_base.52" = 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.56", %"struct.std::_Deque_iterator.56" }
%"struct.std::_Deque_iterator.56" = type { ptr, ptr, ptr, ptr }
%class.HighsHashTable = type { %"class.std::unique_ptr", %"class.std::unique_ptr.59", i64, i64, i64 }
%"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.58" }
%"struct.std::_Head_base.58" = type { ptr }
%"class.std::unique_ptr.59" = type { %"struct.std::__uniq_ptr_data.60" }
%"struct.std::__uniq_ptr_data.60" = type { %"class.std::__uniq_ptr_impl.61" }
%"class.std::__uniq_ptr_impl.61" = type { %"class.std::tuple.62" }
%"class.std::tuple.62" = type { %"struct.std::_Tuple_impl.63" }
%"struct.std::_Tuple_impl.63" = type { %"struct.std::_Head_base.66" }
%"struct.std::_Head_base.66" = type { ptr }
%"class.std::vector.33" = type { %"struct.std::_Vector_base.34" }
%"struct.std::_Vector_base.34" = 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.33", double, double, double, double, double, double, double, i64, i64, double, ptr, %"class.std::vector.67", i8, i32, i32, ptr, ptr, ptr, ptr, %"class.std::unique_ptr.72", %class.HighsMipAnalysis, %class.HighsTimer }
%"class.std::vector.67" = type { %"struct.std::_Vector_base.68" }
%"struct.std::_Vector_base.68" = 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.72" = type { %"struct.std::__uniq_ptr_data.73" }
%"struct.std::__uniq_ptr_data.73" = type { %"class.std::__uniq_ptr_impl.74" }
%"class.std::__uniq_ptr_impl.74" = type { %"class.std::tuple.75" }
%"class.std::tuple.75" = type { %"struct.std::_Tuple_impl.76" }
%"struct.std::_Tuple_impl.76" = type { %"struct.std::_Head_base.79" }
%"struct.std::_Head_base.79" = type { ptr }
%class.HighsMipAnalysis = type { ptr, %"class.std::__cxx11::basic_string", %struct.HighsTimerClock, i8, %"class.std::vector.33", %"class.std::vector.33" }
%"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.3" }
%class.HighsTimer = type <{ ptr, double, i32, [4 x i8], %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.80", i32, i32, i32, [4 x i8] }>
%"class.std::vector.80" = type { %"struct.std::_Vector_base.81" }
%"struct.std::_Vector_base.81" = 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.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.3", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %struct.HighsSymmetries, %"class.std::shared_ptr.324", double, double, double, i64, %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", 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.33", %class.HighsNodeQueue, %struct.HighsPrimaDualIntegral, [8 x i8] }>
%class.HighsCutPool = type { %class.HighsDynamicRowMatrix, %"class.std::vector.33", %"class.std::vector.98", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector", %"class.std::unordered_multimap", %"class.std::vector.122", %"class.std::set", double, double, double, i32, i32, i32, i32, i32, %"class.std::vector.3", %"class.std::vector.127" }
%class.HighsDynamicRowMatrix = type { %"class.std::vector.8", %"class.std::vector.3", %"class.std::vector.33", %"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::set", %"class.std::vector.3" }
%"class.std::vector.98" = type { %"struct.std::_Vector_base.99" }
%"struct.std::_Vector_base.99" = 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.103" }
%"class.std::_Hashtable.103" = 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.122" = type { %"struct.std::_Vector_base.123" }
%"struct.std::_Vector_base.123" = 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.127" = type { %"struct.std::_Vector_base.128" }
%"struct.std::_Vector_base.128" = 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.3", %"class.std::vector.98", %"class.std::vector.132", %"class.std::vector.13", %"class.std::vector.8", %"class.std::set", %"class.std::vector.3", %"class.std::vector.137" }
%"class.std::vector.132" = type { %"struct.std::_Vector_base.133" }
%"struct.std::_Vector_base.133" = 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.137" = type { %"struct.std::_Vector_base.138" }
%"struct.std::_Vector_base.138" = 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.HighsLpRelaxation = type <{ ptr, %class.Highs, %"class.std::vector.244", %"class.std::vector.127", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %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.158", %class.HighsModel, %class.HighsTimer, %struct.HighsCallback, %class.HighsOptions, %class.HighsInfo, %struct.HighsRanging, %class.HighsIis, %"class.std::vector.67", i32, i32, i8, double, %"class.std::vector.33", %"class.std::vector.33", %class.HighsSparseMatrix, %class.HEkk, %struct.HighsPresolveLog, i32, i8, i32, i8, %class.PresolveComponent }
%struct.HighsSolution = type { i8, i8, %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33" }
%struct.ICrashInfo = type { i32, double, double, double, double, double, %"class.std::vector.153", %"class.std::vector.33", double }
%"class.std::vector.153" = type { %"struct.std::_Vector_base.154" }
%"struct.std::_Vector_base.154" = 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.158" = type { %"struct.std::_Vector_base.159" }
%"struct.std::_Vector_base.159" = 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.3", %"class.std::vector.3", %"class.std::vector.33" }
%struct.HighsCallback = type { %"class.std::function", ptr, ptr, %"class.std::vector.163", %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.163" = 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.167", 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.167" = type { %"struct.std::_Vector_base.168" }
%"struct.std::_Vector_base.168" = 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.172" }
%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.172" = type { %"struct.std::_Vector_base.173" }
%"struct.std::_Vector_base.173" = 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.33", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.3" }
%class.HighsIis = type { i8, i32, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.177" }
%"class.std::vector.177" = type { %"struct.std::_Vector_base.178" }
%"struct.std::_Vector_base.178" = 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.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33" }
%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.205, %class.HighsRandom, %"class.std::vector.33", %"class.std::vector.33", i8, %class.HighsSparseMatrix, %class.HighsSparseMatrix, %class.HSimplexNla, %struct.HotStart, double, double, double, i32, i32, i32, i32, i8, i8, i32, i32, i32, %"class.std::vector.3", %"class.std::vector.33", %struct.HighsRayRecord, %struct.HighsRayRecord, i32, i32, i32, double, %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.3", double, double, double, i32, i32, i8, i32, i8, i8, i8, i8, double, %"class.std::vector.224", %"class.std::vector.33", %struct.HighsSimplexStats }
%class.HighsSimplexAnalysis = type { ptr, %"class.std::vector.182", %"class.std::vector.182", 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.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.187", %"class.std::unique_ptr.192", 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.182" = type { %"struct.std::_Vector_base.183" }
%"struct.std::_Vector_base.183" = 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.187" = type { %"struct.std::_Vector_base.188" }
%"struct.std::_Vector_base.188" = 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.192" = type { %"struct.std::__uniq_ptr_data.193" }
%"struct.std::__uniq_ptr_data.193" = type { %"class.std::__uniq_ptr_impl.194" }
%"class.std::__uniq_ptr_impl.194" = type { %"class.std::tuple.195" }
%"class.std::tuple.195" = type { %"struct.std::_Tuple_impl.196" }
%"struct.std::_Tuple_impl.196" = type { %"struct.std::_Head_base.199" }
%"struct.std::_Head_base.199" = 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.33", %"class.std::vector.3", i32, [4 x i8] }>
%struct.HighsSimplexStatus = type { i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8 }
%struct.HighsSimplexInfo = type <{ %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33", i32, i32, i8, i8, [6 x i8], %struct.SimplexBasis, i32, i32, i32, [4 x i8], %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", i32, i32, i32, i32, double, double, double, double, i32, i32, double, double, double, double, double, double, double, double, double, double, i8, [7 x i8], double, double, i32, [4 x i8], double, double, double, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i32, [4 x i8], double, double, i32, [4 x i8], double, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, i32, [4 x i8] }>
%struct.SimplexBasis = type { %"class.std::vector.3", %"class.std::vector.200", %"class.std::vector.200", i64, i32, i32, %"class.std::__cxx11::basic_string" }
%"class.std::vector.200" = type { %"struct.std::_Vector_base.201" }
%"struct.std::_Vector_base.201" = 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.205 = type { %"class.std::unique_ptr.206", %"class.std::unique_ptr.59", i64, i64, i64 }
%"class.std::unique_ptr.206" = type { %"struct.std::__uniq_ptr_data.207" }
%"struct.std::__uniq_ptr_data.207" = type { %"class.std::__uniq_ptr_impl.208" }
%"class.std::__uniq_ptr_impl.208" = type { %"class.std::tuple.209" }
%"class.std::tuple.209" = type { %"struct.std::_Tuple_impl.210" }
%"struct.std::_Tuple_impl.210" = type { %"struct.std::_Head_base.213" }
%"struct.std::_Head_base.213" = type { ptr }
%class.HighsRandom = type { i64 }
%class.HSimplexNla = type { ptr, ptr, ptr, ptr, ptr, ptr, %class.HFactor, i8, double, %struct.ProductFormUpdate, %struct.SimplexIterate }
%class.HFactor = type { double, double, i32, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %struct.RefactorInfo, i32, i32, i32, i32, i32, i32, i32, double, i8, ptr, ptr, ptr, ptr, double, double, i32, double, %"class.std::unique_ptr.214", %struct.HighsLogOptions, i8, i8, i32, i32, ptr, i32, %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33", %"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.33", %"class.std::vector.33", %"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.222", %"class.std::vector.33", %"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.33", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33", i32, i32, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33", %class.HVectorBase }
%struct.RefactorInfo = type { i8, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.200", double }
%"class.std::unique_ptr.214" = type { %"struct.std::__uniq_ptr_data.215" }
%"struct.std::__uniq_ptr_data.215" = type { %"class.std::__uniq_ptr_impl.216" }
%"class.std::__uniq_ptr_impl.216" = type { %"class.std::tuple.217" }
%"class.std::tuple.217" = type { %"struct.std::_Tuple_impl.218" }
%"struct.std::_Tuple_impl.218" = type { %"struct.std::_Head_base.221" }
%"struct.std::_Head_base.221" = type { ptr }
%"class.std::vector.222" = type { %"struct.std::_Vector_base.223" }
%"struct.std::_Vector_base.223" = 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.3", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33" }
%struct.SimplexIterate = type { i8, %struct.SimplexBasis, %struct.InvertibleRepresentation, %"class.std::vector.33" }
%struct.InvertibleRepresentation = type { %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.33" }
%struct.HotStart = type { i8, %struct.RefactorInfo, %"class.std::vector.200" }
%struct.HighsRayRecord = type { i32, i32, %"class.std::vector.33" }
%"class.std::vector.224" = type { %"struct.std::_Vector_base.225" }
%"struct.std::_Vector_base.225" = 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.229" }
%"class.std::vector.229" = type { %"struct.std::_Vector_base.230" }
%"struct.std::_Vector_base.230" = 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.244" = type { %"struct.std::_Vector_base.245" }
%"struct.std::_Vector_base.245" = 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.3", %"class.std::vector.33", double, %"class.std::vector.222", %"class.std::vector.3", ptr, i8, i32, %"class.std::vector.3", %"class.std::vector.33" }
%class.HighsSparseVectorSum = type { %"class.std::vector.28", %"class.std::vector.3" }
%"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.33", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.33", double, double, double, double, i64, i64, i64, i32, double }
%class.HighsCliqueTable = type { %"class.std::vector.249", %"class.std::vector.254", %"class.std::vector.259", %class.HighsHashTable.264, %"class.std::set", %"class.std::vector.3", %"class.std::vector.273", %"class.std::vector.3", %"class.std::vector.249", %"class.std::vector.3", %"class.std::vector.278", %"class.std::vector.3", %"class.std::vector.283", %"class.std::vector", %"class.std::vector", %"class.std::vector.132", %"class.std::vector.3", %class.HighsRandom, i32, i32, i32, i32, i8, i64 }
%"class.std::vector.254" = type { %"struct.std::_Vector_base.255" }
%"struct.std::_Vector_base.255" = 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.259" = type { %"struct.std::_Vector_base.260" }
%"struct.std::_Vector_base.260" = 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.264 = type { %"class.std::unique_ptr.265", %"class.std::unique_ptr.59", i64, i64, i64 }
%"class.std::unique_ptr.265" = type { %"struct.std::__uniq_ptr_data.266" }
%"struct.std::__uniq_ptr_data.266" = type { %"class.std::__uniq_ptr_impl.267" }
%"class.std::__uniq_ptr_impl.267" = type { %"class.std::tuple.268" }
%"class.std::tuple.268" = type { %"struct.std::_Tuple_impl.269" }
%"struct.std::_Tuple_impl.269" = type { %"struct.std::_Head_base.272" }
%"struct.std::_Head_base.272" = type { ptr }
%"class.std::vector.273" = type { %"struct.std::_Vector_base.274" }
%"struct.std::_Vector_base.274" = 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.249" = type { %"struct.std::_Vector_base.250" }
%"struct.std::_Vector_base.250" = 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.278" = type { %"struct.std::_Vector_base.279" }
%"struct.std::_Vector_base.279" = 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.283" = type { %"struct.std::_Vector_base.284" }
%"struct.std::_Vector_base.284" = 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.288", i64, %"class.std::vector.293", %"class.std::vector.293", ptr, %"class.std::vector.298", %"class.std::vector", %"class.std::function.303" }
%"class.std::vector.288" = type { %"struct.std::_Vector_base.289" }
%"struct.std::_Vector_base.289" = 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.293" = type { %"struct.std::_Vector_base.294" }
%"struct.std::_Vector_base.294" = 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.298" = type { %"struct.std::_Vector_base.299" }
%"struct.std::_Vector_base.299" = 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.303" = type { %"class.std::_Function_base", ptr }
%class.HighsPrimalHeuristics = type { ptr, i64, i64, i64, i64, double, i32, double, i32, %class.HighsRandom, %"class.std::vector.3" }
%class.HighsRedcostFixing = type { %"class.std::vector.305", %"class.std::vector.305" }
%"class.std::vector.305" = type { %"struct.std::_Vector_base.306" }
%"struct.std::_Vector_base.306" = 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.3", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.3" }
%"class.presolve::HighsPostsolveStack" = type { i64, double, double, double, double, %class.HighsDataStack, %"class.std::vector.234", %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.239", %"class.std::vector.239", i32, i32 }
%class.HighsDataStack = type { %"class.std::vector.222", i64 }
%"class.std::vector.234" = type { %"struct.std::_Vector_base.235" }
%"struct.std::_Vector_base.235" = 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.239" = type { %"struct.std::_Vector_base.240" }
%"struct.std::_Vector_base.240" = 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.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33", %class.HighsSparseMatrix, i32, double, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, i32, %"class.std::vector.80", %"class.std::vector.80", %"class.std::vector.85", %struct.HighsNameHash, %struct.HighsNameHash, i32, i32, %struct.HighsScale, i8, i8, i32, i8, %struct.HighsLpMods }
%"class.std::vector.85" = type { %"struct.std::_Vector_base.86" }
%"struct.std::_Vector_base.86" = 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.33", %"class.std::vector.33" }
%struct.HighsLpMods = type { %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.85", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.3", %"class.std::vector.33", %"class.std::vector.33", %"class.std::vector.33" }
%struct.HighsSymmetries = 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.310", %class.HighsHashTable.315, i32, i32 }
%"class.std::vector.310" = type { %"struct.std::_Vector_base.311" }
%"struct.std::_Vector_base.311" = 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.315 = type { %"class.std::unique_ptr.316", %"class.std::unique_ptr.59", i64, i64, i64 }
%"class.std::unique_ptr.316" = type { %"struct.std::__uniq_ptr_data.317" }
%"struct.std::__uniq_ptr_data.317" = type { %"class.std::__uniq_ptr_impl.318" }
%"class.std::__uniq_ptr_impl.318" = type { %"class.std::tuple.319" }
%"class.std::tuple.319" = type { %"struct.std::_Tuple_impl.320" }
%"struct.std::_Tuple_impl.320" = type { %"struct.std::_Head_base.323" }
%"struct.std::_Head_base.323" = type { ptr }
%"class.std::shared_ptr.324" = type { %"class.std::__shared_ptr.325" }
%"class.std::__shared_ptr.325" = type { ptr, %"class.std::__shared_count" }
%struct.HighsBasis = type { i8, i8, i8, i8, i32, i32, %"class.std::__cxx11::basic_string", %"class.std::vector.148", %"class.std::vector.148" }
%"class.std::vector.148" = type { %"struct.std::_Vector_base.149" }
%"struct.std::_Vector_base.149" = 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.327", %"class.std::vector.335", %"class.std::priority_queue", %"class.std::unique_ptr.345", %"class.std::unique_ptr.345", i64, i64, i64, i64, i64, i64, i64, double, i32, [4 x i8] }>
%"class.std::unique_ptr.327" = type { %"struct.std::__uniq_ptr_data.328" }
%"struct.std::__uniq_ptr_data.328" = type { %"class.std::__uniq_ptr_impl.329" }
%"class.std::__uniq_ptr_impl.329" = type { %"class.std::tuple.330" }
%"class.std::tuple.330" = type { %"struct.std::_Tuple_impl.331" }
%"struct.std::_Tuple_impl.331" = type { %"struct.std::_Head_base.334" }
%"struct.std::_Head_base.334" = type { ptr }
%"class.std::vector.335" = type { %"struct.std::_Vector_base.336" }
%"struct.std::_Vector_base.336" = 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.340", [8 x i8] }>
%"class.std::vector.340" = type { %"struct.std::_Vector_base.341" }
%"struct.std::_Vector_base.341" = 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.345" = type { %"struct.std::__uniq_ptr_data.346" }
%"struct.std::__uniq_ptr_data.346" = type { %"class.std::__uniq_ptr_impl.347" }
%"class.std::__uniq_ptr_impl.347" = type { %"class.std::tuple.348" }
%"class.std::tuple.348" = type { %"struct.std::_Tuple_impl.349" }
%"struct.std::_Tuple_impl.349" = type { %"struct.std::_Head_base.352" }
%"struct.std::_Head_base.352" = type { ptr }
%struct.HighsPrimaDualIntegral = type { double, double, double, double, double }
%"struct.HighsDomain::CutpoolPropagation" = type { i32, ptr, ptr, %"class.std::vector.28", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.33" }
%"struct.HighsDomain::ConflictPoolPropagation" = type { i32, ptr, ptr, %"class.std::vector.3", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.142" }
%"class.std::vector.142" = type { %"struct.std::_Vector_base.143" }
%"struct.std::_Vector_base.143" = type { %"struct.std::_Vector_base<HighsDomain::ConflictPoolPropagation::WatchedLiteral, std::allocator<HighsDomain::ConflictPoolPropagation::WatchedLiteral>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomain::ConflictPoolPropagation::WatchedLiteral, std::allocator<HighsDomain::ConflictPoolPropagation::WatchedLiteral>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomain::ConflictPoolPropagation::WatchedLiteral, std::allocator<HighsDomain::ConflictPoolPropagation::WatchedLiteral>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomain::ConflictPoolPropagation::WatchedLiteral, std::allocator<HighsDomain::ConflictPoolPropagation::WatchedLiteral>>::_Vector_impl_data" = type { ptr, ptr, ptr }

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

declare i32 @__gxx_personality_v0(...)

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN11HighsDomain11changeBoundE17HighsDomainChangeNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824), double, i64, i64) #3 align 2

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local i64 @_ZSt9make_pairIiiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS1_INS2_IT0_E4typeEE6__typeEEOS3_OS8_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) #3

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local i64 @_ZN11HighsDomain6Reason13modelRowUpperEi(i32 noundef) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local i64 @_ZN11HighsDomain6Reason13modelRowLowerEi(i32 noundef) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt5dequeIN11HighsDomain18CutpoolPropagationESaIS1_EE5beginEv(ptr dead_on_unwind noalias writable sret(%"struct.std::_Deque_iterator") align 8, ptr noundef nonnull align 8 dereferenceable(80)) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt5dequeIN11HighsDomain18CutpoolPropagationESaIS1_EE3endEv(ptr dead_on_unwind noalias writable sret(%"struct.std::_Deque_iterator") align 8, ptr noundef nonnull align 8 dereferenceable(80)) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZStneRKSt15_Deque_iteratorIN11HighsDomain18CutpoolPropagationERS1_PS1_ES6_(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) #1

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

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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_ZN11HighsDomain9propagateEv(ptr noundef nonnull align 8 dereferenceable(824) %0) #3 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca i1, align 1
  %3 = alloca ptr, align 8
  %4 = alloca %"class.std::vector.3", align 8
  %5 = alloca %class.anon.362, align 8
  %6 = alloca ptr, align 8
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i64, align 8
  %10 = alloca ptr, align 8
  %11 = alloca %"struct.std::_Deque_iterator", align 8
  %12 = alloca %"struct.std::_Deque_iterator", align 8
  %13 = alloca ptr, align 8
  %14 = alloca i64, align 8
  %15 = alloca %"class.std::unique_ptr.363", align 8
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca %"class.__gnu_cxx::__normal_iterator.371", align 8
  %21 = alloca %"class.__gnu_cxx::__normal_iterator.371", align 8
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca %"struct.std::pair", align 4
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca %class.anon.372, align 8
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca i32, align 4
  %33 = alloca i32, align 4
  %34 = alloca i32, align 4
  %35 = alloca i32, align 4
  %36 = alloca %struct.HighsDomainChange, align 8
  %37 = alloca %"struct.HighsDomain::Reason", align 4
  %38 = alloca i32, align 4
  %39 = alloca i32, align 4
  %40 = alloca i32, align 4
  %41 = alloca %struct.HighsDomainChange, align 8
  %42 = alloca %"struct.HighsDomain::Reason", align 4
  %43 = alloca i32, align 4
  %44 = alloca i32, align 4
  %45 = alloca ptr, align 8
  %46 = alloca i32, align 4
  %47 = alloca i32, align 4
  %48 = alloca i32, align 4
  %49 = alloca %"struct.std::pair", align 4
  %50 = alloca i32, align 4
  %51 = alloca i32, align 4
  %52 = alloca %class.anon.373, align 8
  %53 = alloca i32, align 4
  %54 = alloca i32, align 4
  %55 = alloca i32, align 4
  %56 = alloca i32, align 4
  %57 = alloca i32, align 4
  %58 = alloca i32, align 4
  %59 = alloca %struct.HighsDomainChange, align 8
  %60 = alloca %"struct.HighsDomain::Reason", align 4
  store ptr %0, ptr %3, align 8, !tbaa !5
  %61 = load ptr, ptr %3, align 8
  call void @llvm.lifetime.start.p0(i64 24, ptr %4) #8
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %4) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #8
  %62 = getelementptr inbounds %class.anon.362, ptr %5, i32 0, i32 0
  store ptr %61, ptr %62, align 8, !tbaa !9
  %63 = invoke noundef zeroext i1 @"_ZZN11HighsDomain9propagateEvENK3$_0clEv"(ptr noundef nonnull align 8 dereferenceable(8) %5)
          to label %64 unwind label %66

64:                                               ; preds = %1
  br i1 %63, label %70, label %65

65:                                               ; preds = %64
  store i1 false, ptr %2, align 1
  store i32 1, ptr %8, align 4
  br label %595

66:                                               ; preds = %1
  %67 = landingpad { ptr, i32 }
          cleanup
  %68 = extractvalue { ptr, i32 } %67, 0
  store ptr %68, ptr %6, align 8
  %69 = extractvalue { ptr, i32 } %67, 1
  store i32 %69, ptr %7, align 4
  br label %597

70:                                               ; preds = %64
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #8
  %71 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 14
  %72 = load ptr, ptr %71, align 8, !tbaa !11
  %73 = getelementptr inbounds %class.HighsMipSolver, ptr %72, i32 0, i32 25
  %74 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %73) #8
  %75 = getelementptr inbounds %struct.HighsMipSolverData, ptr %74, i32 0, i32 29
  %76 = call noundef i64 @_ZNKSt6vectorIdSaIdEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %75) #8
  %77 = mul i64 2, %76
  store i64 %77, ptr %9, align 8, !tbaa !83
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #8
  %78 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 15
  store ptr %78, ptr %10, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %11) #8
  %79 = load ptr, ptr %10, align 8, !tbaa !5
  call void @_ZNSt5dequeIN11HighsDomain18CutpoolPropagationESaIS1_EE5beginEv(ptr dead_on_unwind writable sret(%"struct.std::_Deque_iterator") align 8 %11, ptr noundef nonnull align 8 dereferenceable(80) %79) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr %12) #8
  %80 = load ptr, ptr %10, align 8, !tbaa !5
  call void @_ZNSt5dequeIN11HighsDomain18CutpoolPropagationESaIS1_EE3endEv(ptr dead_on_unwind writable sret(%"struct.std::_Deque_iterator") align 8 %12, ptr noundef nonnull align 8 dereferenceable(80) %80) #8
  br label %81

81:                                               ; preds = %96, %70
  %82 = call noundef zeroext i1 @_ZStneRKSt15_Deque_iteratorIN11HighsDomain18CutpoolPropagationERS1_PS1_ES6_(ptr noundef nonnull align 8 dereferenceable(32) %11, ptr noundef nonnull align 8 dereferenceable(32) %12) #8
  br i1 %82, label %84, label %83

83:                                               ; preds = %81
  store i32 2, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %12) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %11) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #8
  br label %102

84:                                               ; preds = %81
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #8
  %85 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZNKSt15_Deque_iteratorIN11HighsDomain18CutpoolPropagationERS1_PS1_EdeEv(ptr noundef nonnull align 8 dereferenceable(32) %11) #8
  store ptr %85, ptr %13, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #8
  %86 = load ptr, ptr %13, align 8, !tbaa !5
  %87 = getelementptr inbounds %"struct.HighsDomain::CutpoolPropagation", ptr %86, i32 0, i32 2
  %88 = load ptr, ptr %87, align 8, !tbaa !84
  %89 = invoke noundef nonnull align 8 dereferenceable(336) ptr @_ZNK12HighsCutPool9getMatrixEv(ptr noundef nonnull align 8 dereferenceable(680) %88)
          to label %90 unwind label %98

90:                                               ; preds = %84
  %91 = invoke noundef i64 @_ZNK21HighsDynamicRowMatrix15nonzeroCapacityEv(ptr noundef nonnull align 8 dereferenceable(336) %89)
          to label %92 unwind label %98

92:                                               ; preds = %90
  store i64 %91, ptr %14, align 8, !tbaa !83
  %93 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxImERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %14)
          to label %94 unwind label %98

94:                                               ; preds = %92
  %95 = load i64, ptr %93, align 8, !tbaa !83
  store i64 %95, ptr %9, align 8, !tbaa !83
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #8
  br label %96

96:                                               ; preds = %94
  %97 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt15_Deque_iteratorIN11HighsDomain18CutpoolPropagationERS1_PS1_EppEv(ptr noundef nonnull align 8 dereferenceable(32) %11) #8
  br label %81

98:                                               ; preds = %92, %90, %84
  %99 = landingpad { ptr, i32 }
          cleanup
  %100 = extractvalue { ptr, i32 } %99, 0
  store ptr %100, ptr %6, align 8
  %101 = extractvalue { ptr, i32 } %99, 1
  store i32 %101, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %12) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %11) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #8
  br label %594

102:                                              ; preds = %83
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #8
  %103 = load i64, ptr %9, align 8, !tbaa !83
  %104 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %103, i64 16)
  %105 = extractvalue { i64, i1 } %104, 1
  %106 = extractvalue { i64, i1 } %104, 0
  %107 = select i1 %105, i64 -1, i64 %106
  %108 = invoke noalias noundef nonnull ptr @_Znam(i64 noundef %107) #9
          to label %109 unwind label %120

109:                                              ; preds = %102
  call void @_ZNSt10unique_ptrIA_17HighsDomainChangeSt14default_deleteIS1_EEC2IPS0_S3_vbEET_(ptr noundef nonnull align 8 dereferenceable(8) %15, ptr noundef %108) #8
  br label %110

110:                                              ; preds = %589, %109
  %111 = invoke noundef zeroext i1 @"_ZZN11HighsDomain9propagateEvENK3$_0clEv"(ptr noundef nonnull align 8 dereferenceable(8) %5)
          to label %112 unwind label %124

112:                                              ; preds = %110
  br i1 %111, label %113, label %591

113:                                              ; preds = %112
  %114 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 13
  %115 = invoke noundef zeroext i1 @_ZNK11HighsDomain20ObjectivePropagation8isActiveEv(ptr noundef nonnull align 8 dereferenceable(160) %114)
          to label %116 unwind label %124

116:                                              ; preds = %113
  br i1 %115, label %117, label %128

117:                                              ; preds = %116
  %118 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 13
  invoke void @_ZN11HighsDomain20ObjectivePropagation9propagateEv(ptr noundef nonnull align 8 dereferenceable(160) %118)
          to label %119 unwind label %124

119:                                              ; preds = %117
  br label %128

120:                                              ; preds = %102
  %121 = landingpad { ptr, i32 }
          cleanup
  %122 = extractvalue { ptr, i32 } %121, 0
  store ptr %122, ptr %6, align 8
  %123 = extractvalue { ptr, i32 } %121, 1
  store i32 %123, ptr %7, align 4
  br label %593

124:                                              ; preds = %117, %113, %110
  %125 = landingpad { ptr, i32 }
          cleanup
  %126 = extractvalue { ptr, i32 } %125, 0
  store ptr %126, ptr %6, align 8
  %127 = extractvalue { ptr, i32 } %125, 1
  store i32 %127, ptr %7, align 4
  br label %592

128:                                              ; preds = %119, %116
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #8
  %129 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 16
  %130 = call noundef i64 @_ZNKSt5dequeIN11HighsDomain23ConflictPoolPropagationESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(80) %129) #8
  %131 = trunc i64 %130 to i32
  store i32 %131, ptr %16, align 4, !tbaa !86
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #8
  store i32 0, ptr %17, align 4, !tbaa !86
  br label %132

132:                                              ; preds = %173, %128
  %133 = load i32, ptr %17, align 4, !tbaa !86
  %134 = load i32, ptr %16, align 4, !tbaa !86
  %135 = icmp slt i32 %133, %134
  br i1 %135, label %137, label %136

136:                                              ; preds = %132
  store i32 6, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #8
  br label %176

137:                                              ; preds = %132
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #8
  %138 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 16
  %139 = load i32, ptr %17, align 4, !tbaa !86
  %140 = sext i32 %139 to i64
  %141 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZNSt5dequeIN11HighsDomain23ConflictPoolPropagationESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(80) %138, i64 noundef %140) #8
  store ptr %141, ptr %18, align 8, !tbaa !5
  br label %142

142:                                              ; preds = %171, %137
  %143 = load ptr, ptr %18, align 8, !tbaa !5
  %144 = getelementptr inbounds %"struct.HighsDomain::ConflictPoolPropagation", ptr %143, i32 0, i32 6
  %145 = call noundef zeroext i1 @_ZNKSt6vectorIiSaIiEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %144) #8
  %146 = xor i1 %145, true
  br i1 %146, label %147, label %172

147:                                              ; preds = %142
  %148 = load ptr, ptr %18, align 8, !tbaa !5
  %149 = getelementptr inbounds %"struct.HighsDomain::ConflictPoolPropagation", ptr %148, i32 0, i32 6
  call void @_ZNSt6vectorIiSaIiEE4swapERS1_(ptr noundef nonnull align 8 dereferenceable(24) %4, ptr noundef nonnull align 8 dereferenceable(24) %149) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #8
  store ptr %4, ptr %19, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #8
  %150 = load ptr, ptr %19, align 8, !tbaa !5
  %151 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %150) #8
  %152 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.371", ptr %20, i32 0, i32 0
  store ptr %151, ptr %152, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #8
  %153 = load ptr, ptr %19, align 8, !tbaa !5
  %154 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %153) #8
  %155 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.371", ptr %21, i32 0, i32 0
  store ptr %154, ptr %155, align 8
  br label %156

156:                                              ; preds = %165, %147
  %157 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %20, ptr noundef nonnull align 8 dereferenceable(8) %21) #8
  br i1 %157, label %159, label %158

158:                                              ; preds = %156
  store i32 11, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #8
  br label %171

159:                                              ; preds = %156
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #8
  %160 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %20) #8
  %161 = load i32, ptr %160, align 4, !tbaa !86
  store i32 %161, ptr %22, align 4, !tbaa !86
  %162 = load ptr, ptr %18, align 8, !tbaa !5
  %163 = load i32, ptr %22, align 4, !tbaa !86
  invoke void @_ZN11HighsDomain23ConflictPoolPropagation17propagateConflictEi(ptr noundef nonnull align 8 dereferenceable(144) %162, i32 noundef %163)
          to label %164 unwind label %167

164:                                              ; preds = %159
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #8
  br label %165

165:                                              ; preds = %164
  %166 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %20) #8
  br label %156

167:                                              ; preds = %159
  %168 = landingpad { ptr, i32 }
          cleanup
  %169 = extractvalue { ptr, i32 } %168, 0
  store ptr %169, ptr %6, align 8
  %170 = extractvalue { ptr, i32 } %168, 1
  store i32 %170, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #8
  br label %590

171:                                              ; preds = %158
  call void @_ZNSt6vectorIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %4) #8
  br label %142, !llvm.loop !87

172:                                              ; preds = %142
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #8
  br label %173

173:                                              ; preds = %172
  %174 = load i32, ptr %17, align 4, !tbaa !86
  %175 = add nsw i32 %174, 1
  store i32 %175, ptr %17, align 4, !tbaa !86
  br label %132, !llvm.loop !89

176:                                              ; preds = %136
  %177 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 12
  %178 = call noundef zeroext i1 @_ZNKSt6vectorIiSaIiEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %177) #8
  br i1 %178, label %403, label %179

179:                                              ; preds = %176
  %180 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 12
  call void @_ZNSt6vectorIiSaIiEE4swapERS1_(ptr noundef nonnull align 8 dereferenceable(24) %4, ptr noundef nonnull align 8 dereferenceable(24) %180) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #8
  %181 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %4) #8
  %182 = trunc i64 %181 to i32
  store i32 %182, ptr %23, align 4, !tbaa !86
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #8
  store i32 0, ptr %24, align 4, !tbaa !86
  br label %183

183:                                              ; preds = %197, %179
  %184 = load i32, ptr %24, align 4, !tbaa !86
  %185 = load i32, ptr %23, align 4, !tbaa !86
  %186 = icmp ne i32 %184, %185
  br i1 %186, label %188, label %187

187:                                              ; preds = %183
  store i32 13, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #8
  br label %200

188:                                              ; preds = %183
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #8
  %189 = load i32, ptr %24, align 4, !tbaa !86
  %190 = sext i32 %189 to i64
  %191 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %4, i64 noundef %190) #8
  %192 = load i32, ptr %191, align 4, !tbaa !86
  store i32 %192, ptr %25, align 4, !tbaa !86
  %193 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 11
  %194 = load i32, ptr %25, align 4, !tbaa !86
  %195 = sext i32 %194 to i64
  %196 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorIhSaIhEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %193, i64 noundef %195) #8
  store i8 0, ptr %196, align 1, !tbaa !90
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #8
  br label %197

197:                                              ; preds = %188
  %198 = load i32, ptr %24, align 4, !tbaa !86
  %199 = add nsw i32 %198, 1
  store i32 %199, ptr %24, align 4, !tbaa !86
  br label %183, !llvm.loop !91

200:                                              ; preds = %187
  %201 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 17
  %202 = load i8, ptr %201, align 8, !tbaa !92, !range !93, !noundef !94
  %203 = trunc i8 %202 to i1
  br i1 %203, label %401, label %204

204:                                              ; preds = %200
  %205 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 2
  %206 = load i32, ptr %23, align 4, !tbaa !86
  %207 = sext i32 %206 to i64
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #8
  store i32 0, ptr %27, align 4, !tbaa !86
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #8
  store i32 0, ptr %28, align 4, !tbaa !86
  %208 = invoke i64 @_ZSt9make_pairIiiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS1_INS2_IT0_E4typeEE6__typeEEOS3_OS8_(ptr noundef nonnull align 4 dereferenceable(4) %27, ptr noundef nonnull align 4 dereferenceable(4) %28)
          to label %209 unwind label %219

209:                                              ; preds = %204
  store i64 %208, ptr %26, align 4
  invoke void @_ZNSt6vectorISt4pairIiiESaIS1_EE6assignEmRKS1_(ptr noundef nonnull align 8 dereferenceable(24) %205, i64 noundef %207, ptr noundef nonnull align 4 dereferenceable(8) %26)
          to label %210 unwind label %219

210:                                              ; preds = %209
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  call void @llvm.lifetime.start.p0(i64 24, ptr %29) #8
  %211 = getelementptr inbounds %class.anon.372, ptr %29, i32 0, i32 0
  store ptr %4, ptr %211, align 8, !tbaa !5
  %212 = getelementptr inbounds %class.anon.372, ptr %29, i32 0, i32 1
  store ptr %61, ptr %212, align 8, !tbaa !95
  %213 = getelementptr inbounds %class.anon.372, ptr %29, i32 0, i32 2
  store ptr %15, ptr %213, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #8
  store i32 0, ptr %30, align 4, !tbaa !86
  br label %214

214:                                              ; preds = %226, %210
  %215 = load i32, ptr %30, align 4, !tbaa !86
  %216 = load i32, ptr %23, align 4, !tbaa !86
  %217 = icmp ne i32 %215, %216
  br i1 %217, label %223, label %218

218:                                              ; preds = %214
  store i32 16, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #8
  br label %233

219:                                              ; preds = %209, %204
  %220 = landingpad { ptr, i32 }
          cleanup
  %221 = extractvalue { ptr, i32 } %220, 0
  store ptr %221, ptr %6, align 8
  %222 = extractvalue { ptr, i32 } %220, 1
  store i32 %222, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  br label %402

223:                                              ; preds = %214
  %224 = load i32, ptr %30, align 4, !tbaa !86
  invoke void @"_ZZN11HighsDomain9propagateEvENK3$_1clEi"(ptr noundef nonnull align 8 dereferenceable(24) %29, i32 noundef %224)
          to label %225 unwind label %229

225:                                              ; preds = %223
  br label %226

226:                                              ; preds = %225
  %227 = load i32, ptr %30, align 4, !tbaa !86
  %228 = add nsw i32 %227, 1
  store i32 %228, ptr %30, align 4, !tbaa !86
  br label %214, !llvm.loop !97

229:                                              ; preds = %223
  %230 = landingpad { ptr, i32 }
          cleanup
  %231 = extractvalue { ptr, i32 } %230, 0
  store ptr %231, ptr %6, align 8
  %232 = extractvalue { ptr, i32 } %230, 1
  store i32 %232, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #8
  br label %400

233:                                              ; preds = %218
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #8
  store i32 0, ptr %31, align 4, !tbaa !86
  br label %234

234:                                              ; preds = %394, %233
  %235 = load i32, ptr %31, align 4, !tbaa !86
  %236 = load i32, ptr %23, align 4, !tbaa !86
  %237 = icmp ne i32 %235, %236
  br i1 %237, label %239, label %238

238:                                              ; preds = %234
  store i32 19, ptr %8, align 4
  br label %398

239:                                              ; preds = %234
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #8
  %240 = load i32, ptr %31, align 4, !tbaa !86
  %241 = sext i32 %240 to i64
  %242 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %4, i64 noundef %241) #8
  %243 = load i32, ptr %242, align 4, !tbaa !86
  store i32 %243, ptr %32, align 4, !tbaa !86
  %244 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 2
  %245 = load i32, ptr %31, align 4, !tbaa !86
  %246 = sext i32 %245 to i64
  %247 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorISt4pairIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %244, i64 noundef %246) #8
  %248 = getelementptr inbounds %"struct.std::pair", ptr %247, i32 0, i32 0
  %249 = load i32, ptr %248, align 4, !tbaa !98
  %250 = icmp ne i32 %249, 0
  br i1 %250, label %251, label %313

251:                                              ; preds = %239
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #8
  %252 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 14
  %253 = load ptr, ptr %252, align 8, !tbaa !11
  %254 = getelementptr inbounds %class.HighsMipSolver, ptr %253, i32 0, i32 25
  %255 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %254) #8
  %256 = getelementptr inbounds %struct.HighsMipSolverData, ptr %255, i32 0, i32 27
  %257 = load i32, ptr %32, align 4, !tbaa !86
  %258 = sext i32 %257 to i64
  %259 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %256, i64 noundef %258) #8
  %260 = load i32, ptr %259, align 4, !tbaa !86
  %261 = mul nsw i32 2, %260
  store i32 %261, ptr %33, align 4, !tbaa !86
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #8
  %262 = load i32, ptr %33, align 4, !tbaa !86
  %263 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 2
  %264 = load i32, ptr %31, align 4, !tbaa !86
  %265 = sext i32 %264 to i64
  %266 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorISt4pairIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %263, i64 noundef %265) #8
  %267 = getelementptr inbounds %"struct.std::pair", ptr %266, i32 0, i32 0
  %268 = load i32, ptr %267, align 4, !tbaa !98
  %269 = add nsw i32 %262, %268
  store i32 %269, ptr %34, align 4, !tbaa !86
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #8
  %270 = load i32, ptr %33, align 4, !tbaa !86
  store i32 %270, ptr %35, align 4, !tbaa !86
  br label %271

271:                                              ; preds = %297, %251
  %272 = load i32, ptr %35, align 4, !tbaa !86
  %273 = load i32, ptr %34, align 4, !tbaa !86
  %274 = icmp ne i32 %272, %273
  br i1 %274, label %275, label %280

275:                                              ; preds = %271
  %276 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 17
  %277 = load i8, ptr %276, align 8, !tbaa !92, !range !93, !noundef !94
  %278 = trunc i8 %277 to i1
  %279 = xor i1 %278, true
  br label %280

280:                                              ; preds = %275, %271
  %281 = phi i1 [ false, %271 ], [ %279, %275 ]
  br i1 %281, label %283, label %282

282:                                              ; preds = %280
  store i32 22, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #8
  br label %304

283:                                              ; preds = %280
  %284 = load i32, ptr %35, align 4, !tbaa !86
  %285 = sext i32 %284 to i64
  %286 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt10unique_ptrIA_17HighsDomainChangeSt14default_deleteIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(8) %15, i64 noundef %285)
          to label %287 unwind label %300

287:                                              ; preds = %283
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %36, ptr align 8 %286, i64 16, i1 false), !tbaa.struct !100
  %288 = load i32, ptr %32, align 4, !tbaa !86
  %289 = invoke i64 @_ZN11HighsDomain6Reason13modelRowUpperEi(i32 noundef %288)
          to label %290 unwind label %300

290:                                              ; preds = %287
  store i64 %289, ptr %37, align 4
  %291 = getelementptr inbounds { double, i64 }, ptr %36, i32 0, i32 0
  %292 = load double, ptr %291, align 8
  %293 = getelementptr inbounds { double, i64 }, ptr %36, i32 0, i32 1
  %294 = load i64, ptr %293, align 8
  %295 = load i64, ptr %37, align 4
  invoke void @_ZN11HighsDomain11changeBoundE17HighsDomainChangeNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %61, double %292, i64 %294, i64 %295)
          to label %296 unwind label %300

296:                                              ; preds = %290
  br label %297

297:                                              ; preds = %296
  %298 = load i32, ptr %35, align 4, !tbaa !86
  %299 = add nsw i32 %298, 1
  store i32 %299, ptr %35, align 4, !tbaa !86
  br label %271, !llvm.loop !104

300:                                              ; preds = %290, %287, %283
  %301 = landingpad { ptr, i32 }
          cleanup
  %302 = extractvalue { ptr, i32 } %301, 0
  store ptr %302, ptr %6, align 8
  %303 = extractvalue { ptr, i32 } %301, 1
  store i32 %303, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #8
  br label %397

304:                                              ; preds = %282
  %305 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 17
  %306 = load i8, ptr %305, align 8, !tbaa !92, !range !93, !noundef !94
  %307 = trunc i8 %306 to i1
  br i1 %307, label %308, label %309

308:                                              ; preds = %304
  store i32 19, ptr %8, align 4
  br label %310

309:                                              ; preds = %304
  store i32 0, ptr %8, align 4
  br label %310

310:                                              ; preds = %309, %308
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #8
  %311 = load i32, ptr %8, align 4
  switch i32 %311, label %391 [
    i32 0, label %312
  ]

312:                                              ; preds = %310
  br label %313

313:                                              ; preds = %312, %239
  %314 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 2
  %315 = load i32, ptr %31, align 4, !tbaa !86
  %316 = sext i32 %315 to i64
  %317 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorISt4pairIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %314, i64 noundef %316) #8
  %318 = getelementptr inbounds %"struct.std::pair", ptr %317, i32 0, i32 1
  %319 = load i32, ptr %318, align 4, !tbaa !105
  %320 = icmp ne i32 %319, 0
  br i1 %320, label %321, label %390

321:                                              ; preds = %313
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #8
  %322 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 14
  %323 = load ptr, ptr %322, align 8, !tbaa !11
  %324 = getelementptr inbounds %class.HighsMipSolver, ptr %323, i32 0, i32 25
  %325 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %324) #8
  %326 = getelementptr inbounds %struct.HighsMipSolverData, ptr %325, i32 0, i32 27
  %327 = load i32, ptr %32, align 4, !tbaa !86
  %328 = sext i32 %327 to i64
  %329 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %326, i64 noundef %328) #8
  %330 = load i32, ptr %329, align 4, !tbaa !86
  %331 = mul nsw i32 2, %330
  %332 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 2
  %333 = load i32, ptr %31, align 4, !tbaa !86
  %334 = sext i32 %333 to i64
  %335 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorISt4pairIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %332, i64 noundef %334) #8
  %336 = getelementptr inbounds %"struct.std::pair", ptr %335, i32 0, i32 0
  %337 = load i32, ptr %336, align 4, !tbaa !98
  %338 = add nsw i32 %331, %337
  store i32 %338, ptr %38, align 4, !tbaa !86
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #8
  %339 = load i32, ptr %38, align 4, !tbaa !86
  %340 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 2
  %341 = load i32, ptr %31, align 4, !tbaa !86
  %342 = sext i32 %341 to i64
  %343 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorISt4pairIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %340, i64 noundef %342) #8
  %344 = getelementptr inbounds %"struct.std::pair", ptr %343, i32 0, i32 1
  %345 = load i32, ptr %344, align 4, !tbaa !105
  %346 = add nsw i32 %339, %345
  store i32 %346, ptr %39, align 4, !tbaa !86
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #8
  %347 = load i32, ptr %38, align 4, !tbaa !86
  store i32 %347, ptr %40, align 4, !tbaa !86
  br label %348

348:                                              ; preds = %374, %321
  %349 = load i32, ptr %40, align 4, !tbaa !86
  %350 = load i32, ptr %39, align 4, !tbaa !86
  %351 = icmp ne i32 %349, %350
  br i1 %351, label %352, label %357

352:                                              ; preds = %348
  %353 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 17
  %354 = load i8, ptr %353, align 8, !tbaa !92, !range !93, !noundef !94
  %355 = trunc i8 %354 to i1
  %356 = xor i1 %355, true
  br label %357

357:                                              ; preds = %352, %348
  %358 = phi i1 [ false, %348 ], [ %356, %352 ]
  br i1 %358, label %360, label %359

359:                                              ; preds = %357
  store i32 25, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #8
  br label %381

360:                                              ; preds = %357
  %361 = load i32, ptr %40, align 4, !tbaa !86
  %362 = sext i32 %361 to i64
  %363 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt10unique_ptrIA_17HighsDomainChangeSt14default_deleteIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(8) %15, i64 noundef %362)
          to label %364 unwind label %377

364:                                              ; preds = %360
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %41, ptr align 8 %363, i64 16, i1 false), !tbaa.struct !100
  %365 = load i32, ptr %32, align 4, !tbaa !86
  %366 = invoke i64 @_ZN11HighsDomain6Reason13modelRowLowerEi(i32 noundef %365)
          to label %367 unwind label %377

367:                                              ; preds = %364
  store i64 %366, ptr %42, align 4
  %368 = getelementptr inbounds { double, i64 }, ptr %41, i32 0, i32 0
  %369 = load double, ptr %368, align 8
  %370 = getelementptr inbounds { double, i64 }, ptr %41, i32 0, i32 1
  %371 = load i64, ptr %370, align 8
  %372 = load i64, ptr %42, align 4
  invoke void @_ZN11HighsDomain11changeBoundE17HighsDomainChangeNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %61, double %369, i64 %371, i64 %372)
          to label %373 unwind label %377

373:                                              ; preds = %367
  br label %374

374:                                              ; preds = %373
  %375 = load i32, ptr %40, align 4, !tbaa !86
  %376 = add nsw i32 %375, 1
  store i32 %376, ptr %40, align 4, !tbaa !86
  br label %348, !llvm.loop !106

377:                                              ; preds = %367, %364, %360
  %378 = landingpad { ptr, i32 }
          cleanup
  %379 = extractvalue { ptr, i32 } %378, 0
  store ptr %379, ptr %6, align 8
  %380 = extractvalue { ptr, i32 } %378, 1
  store i32 %380, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #8
  br label %397

381:                                              ; preds = %359
  %382 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 17
  %383 = load i8, ptr %382, align 8, !tbaa !92, !range !93, !noundef !94
  %384 = trunc i8 %383 to i1
  br i1 %384, label %385, label %386

385:                                              ; preds = %381
  store i32 19, ptr %8, align 4
  br label %387

386:                                              ; preds = %381
  store i32 0, ptr %8, align 4
  br label %387

387:                                              ; preds = %386, %385
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #8
  %388 = load i32, ptr %8, align 4
  switch i32 %388, label %391 [
    i32 0, label %389
  ]

389:                                              ; preds = %387
  br label %390

390:                                              ; preds = %389, %313
  store i32 0, ptr %8, align 4
  br label %391

391:                                              ; preds = %390, %387, %310
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #8
  %392 = load i32, ptr %8, align 4
  switch i32 %392, label %398 [
    i32 0, label %393
  ]

393:                                              ; preds = %391
  br label %394

394:                                              ; preds = %393
  %395 = load i32, ptr %31, align 4, !tbaa !86
  %396 = add nsw i32 %395, 1
  store i32 %396, ptr %31, align 4, !tbaa !86
  br label %234, !llvm.loop !107

397:                                              ; preds = %377, %300
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #8
  br label %400

398:                                              ; preds = %391, %238
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #8
  br label %399

399:                                              ; preds = %398
  call void @llvm.lifetime.end.p0(i64 24, ptr %29) #8
  br label %401

400:                                              ; preds = %397, %229
  call void @llvm.lifetime.end.p0(i64 24, ptr %29) #8
  br label %402

401:                                              ; preds = %399, %200
  call void @_ZNSt6vectorIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %4) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #8
  br label %403

402:                                              ; preds = %400, %219
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #8
  br label %590

403:                                              ; preds = %401, %176
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #8
  %404 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 15
  %405 = call noundef i64 @_ZNKSt5dequeIN11HighsDomain18CutpoolPropagationESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(80) %404) #8
  %406 = trunc i64 %405 to i32
  store i32 %406, ptr %43, align 4, !tbaa !86
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #8
  store i32 0, ptr %44, align 4, !tbaa !86
  br label %407

407:                                              ; preds = %586, %403
  %408 = load i32, ptr %44, align 4, !tbaa !86
  %409 = load i32, ptr %43, align 4, !tbaa !86
  %410 = icmp ne i32 %408, %409
  br i1 %410, label %412, label %411

411:                                              ; preds = %407
  store i32 28, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #8
  br label %589

412:                                              ; preds = %407
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #8
  %413 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 15
  %414 = load i32, ptr %44, align 4, !tbaa !86
  %415 = sext i32 %414 to i64
  %416 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZNSt5dequeIN11HighsDomain18CutpoolPropagationESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(80) %413, i64 noundef %415) #8
  store ptr %416, ptr %45, align 8, !tbaa !5
  %417 = load ptr, ptr %45, align 8, !tbaa !5
  %418 = getelementptr inbounds %"struct.HighsDomain::CutpoolPropagation", ptr %417, i32 0, i32 6
  %419 = call noundef zeroext i1 @_ZNKSt6vectorIiSaIiEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %418) #8
  br i1 %419, label %585, label %420

420:                                              ; preds = %412
  %421 = load ptr, ptr %45, align 8, !tbaa !5
  %422 = getelementptr inbounds %"struct.HighsDomain::CutpoolPropagation", ptr %421, i32 0, i32 6
  call void @_ZNSt6vectorIiSaIiEE4swapERS1_(ptr noundef nonnull align 8 dereferenceable(24) %4, ptr noundef nonnull align 8 dereferenceable(24) %422) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %46) #8
  %423 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %4) #8
  %424 = trunc i64 %423 to i32
  store i32 %424, ptr %46, align 4, !tbaa !86
  call void @llvm.lifetime.start.p0(i64 4, ptr %47) #8
  store i32 0, ptr %47, align 4, !tbaa !86
  br label %425

425:                                              ; preds = %444, %420
  %426 = load i32, ptr %47, align 4, !tbaa !86
  %427 = load i32, ptr %46, align 4, !tbaa !86
  %428 = icmp ne i32 %426, %427
  br i1 %428, label %430, label %429

429:                                              ; preds = %425
  store i32 31, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %47) #8
  br label %447

430:                                              ; preds = %425
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #8
  %431 = load i32, ptr %47, align 4, !tbaa !86
  %432 = sext i32 %431 to i64
  %433 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %4, i64 noundef %432) #8
  %434 = load i32, ptr %433, align 4, !tbaa !86
  store i32 %434, ptr %48, align 4, !tbaa !86
  %435 = load ptr, ptr %45, align 8, !tbaa !5
  %436 = getelementptr inbounds %"struct.HighsDomain::CutpoolPropagation", ptr %435, i32 0, i32 5
  %437 = load i32, ptr %48, align 4, !tbaa !86
  %438 = sext i32 %437 to i64
  %439 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorIhSaIhEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %436, i64 noundef %438) #8
  %440 = load i8, ptr %439, align 1, !tbaa !90
  %441 = zext i8 %440 to i32
  %442 = and i32 %441, 2
  %443 = trunc i32 %442 to i8
  store i8 %443, ptr %439, align 1, !tbaa !90
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #8
  br label %444

444:                                              ; preds = %430
  %445 = load i32, ptr %47, align 4, !tbaa !86
  %446 = add nsw i32 %445, 1
  store i32 %446, ptr %47, align 4, !tbaa !86
  br label %425, !llvm.loop !108

447:                                              ; preds = %429
  %448 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 17
  %449 = load i8, ptr %448, align 8, !tbaa !92, !range !93, !noundef !94
  %450 = trunc i8 %449 to i1
  br i1 %450, label %583, label %451

451:                                              ; preds = %447
  %452 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 2
  %453 = load i32, ptr %46, align 4, !tbaa !86
  %454 = sext i32 %453 to i64
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %50) #8
  store i32 0, ptr %50, align 4, !tbaa !86
  call void @llvm.lifetime.start.p0(i64 4, ptr %51) #8
  store i32 0, ptr %51, align 4, !tbaa !86
  %455 = invoke i64 @_ZSt9make_pairIiiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS1_INS2_IT0_E4typeEE6__typeEEOS3_OS8_(ptr noundef nonnull align 4 dereferenceable(4) %50, ptr noundef nonnull align 4 dereferenceable(4) %51)
          to label %456 unwind label %468

456:                                              ; preds = %451
  store i64 %455, ptr %49, align 4
  invoke void @_ZNSt6vectorISt4pairIiiESaIS1_EE6assignEmRKS1_(ptr noundef nonnull align 8 dereferenceable(24) %452, i64 noundef %454, ptr noundef nonnull align 4 dereferenceable(8) %49)
          to label %457 unwind label %468

457:                                              ; preds = %456
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %50) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr %52) #8
  %458 = getelementptr inbounds %class.anon.373, ptr %52, i32 0, i32 0
  %459 = load ptr, ptr %45, align 8, !tbaa !5
  store ptr %459, ptr %458, align 8, !tbaa !5
  %460 = getelementptr inbounds %class.anon.373, ptr %52, i32 0, i32 1
  store ptr %4, ptr %460, align 8, !tbaa !5
  %461 = getelementptr inbounds %class.anon.373, ptr %52, i32 0, i32 2
  store ptr %61, ptr %461, align 8, !tbaa !109
  %462 = getelementptr inbounds %class.anon.373, ptr %52, i32 0, i32 3
  store ptr %15, ptr %462, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %53) #8
  store i32 0, ptr %53, align 4, !tbaa !86
  br label %463

463:                                              ; preds = %475, %457
  %464 = load i32, ptr %53, align 4, !tbaa !86
  %465 = load i32, ptr %46, align 4, !tbaa !86
  %466 = icmp ne i32 %464, %465
  br i1 %466, label %472, label %467

467:                                              ; preds = %463
  store i32 34, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %53) #8
  br label %482

468:                                              ; preds = %456, %451
  %469 = landingpad { ptr, i32 }
          cleanup
  %470 = extractvalue { ptr, i32 } %469, 0
  store ptr %470, ptr %6, align 8
  %471 = extractvalue { ptr, i32 } %469, 1
  store i32 %471, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %50) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #8
  br label %584

472:                                              ; preds = %463
  %473 = load i32, ptr %53, align 4, !tbaa !86
  invoke void @"_ZZN11HighsDomain9propagateEvENK3$_2clEi"(ptr noundef nonnull align 8 dereferenceable(32) %52, i32 noundef %473)
          to label %474 unwind label %478

474:                                              ; preds = %472
  br label %475

475:                                              ; preds = %474
  %476 = load i32, ptr %53, align 4, !tbaa !86
  %477 = add nsw i32 %476, 1
  store i32 %477, ptr %53, align 4, !tbaa !86
  br label %463, !llvm.loop !111

478:                                              ; preds = %472
  %479 = landingpad { ptr, i32 }
          cleanup
  %480 = extractvalue { ptr, i32 } %479, 0
  store ptr %480, ptr %6, align 8
  %481 = extractvalue { ptr, i32 } %479, 1
  store i32 %481, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %53) #8
  br label %582

482:                                              ; preds = %467
  call void @llvm.lifetime.start.p0(i64 4, ptr %54) #8
  store i32 0, ptr %54, align 4, !tbaa !86
  br label %483

483:                                              ; preds = %576, %482
  %484 = load i32, ptr %54, align 4, !tbaa !86
  %485 = load i32, ptr %46, align 4, !tbaa !86
  %486 = icmp ne i32 %484, %485
  br i1 %486, label %488, label %487

487:                                              ; preds = %483
  store i32 37, ptr %8, align 4
  br label %580

488:                                              ; preds = %483
  call void @llvm.lifetime.start.p0(i64 4, ptr %55) #8
  %489 = load i32, ptr %54, align 4, !tbaa !86
  %490 = sext i32 %489 to i64
  %491 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %4, i64 noundef %490) #8
  %492 = load i32, ptr %491, align 4, !tbaa !86
  store i32 %492, ptr %55, align 4, !tbaa !86
  %493 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 2
  %494 = load i32, ptr %54, align 4, !tbaa !86
  %495 = sext i32 %494 to i64
  %496 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorISt4pairIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %493, i64 noundef %495) #8
  %497 = getelementptr inbounds %"struct.std::pair", ptr %496, i32 0, i32 0
  %498 = load i32, ptr %497, align 4, !tbaa !98
  %499 = icmp ne i32 %498, 0
  br i1 %499, label %500, label %567

500:                                              ; preds = %488
  %501 = load ptr, ptr %45, align 8, !tbaa !5
  %502 = getelementptr inbounds %"struct.HighsDomain::CutpoolPropagation", ptr %501, i32 0, i32 2
  %503 = load ptr, ptr %502, align 8, !tbaa !84
  %504 = load i32, ptr %55, align 4, !tbaa !86
  invoke void @_ZN12HighsCutPool8resetAgeEi(ptr noundef nonnull align 8 dereferenceable(680) %503, i32 noundef %504)
          to label %505 unwind label %535

505:                                              ; preds = %500
  call void @llvm.lifetime.start.p0(i64 4, ptr %56) #8
  %506 = load ptr, ptr %45, align 8, !tbaa !5
  %507 = getelementptr inbounds %"struct.HighsDomain::CutpoolPropagation", ptr %506, i32 0, i32 2
  %508 = load ptr, ptr %507, align 8, !tbaa !84
  %509 = invoke noundef nonnull align 8 dereferenceable(336) ptr @_ZNK12HighsCutPool9getMatrixEv(ptr noundef nonnull align 8 dereferenceable(680) %508)
          to label %510 unwind label %539

510:                                              ; preds = %505
  %511 = load i32, ptr %55, align 4, !tbaa !86
  %512 = invoke noundef i32 @_ZNK21HighsDynamicRowMatrix11getRowStartEi(ptr noundef nonnull align 8 dereferenceable(336) %509, i32 noundef %511)
          to label %513 unwind label %539

513:                                              ; preds = %510
  store i32 %512, ptr %56, align 4, !tbaa !86
  call void @llvm.lifetime.start.p0(i64 4, ptr %57) #8
  %514 = load i32, ptr %56, align 4, !tbaa !86
  %515 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 2
  %516 = load i32, ptr %54, align 4, !tbaa !86
  %517 = sext i32 %516 to i64
  %518 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorISt4pairIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %515, i64 noundef %517) #8
  %519 = getelementptr inbounds %"struct.std::pair", ptr %518, i32 0, i32 0
  %520 = load i32, ptr %519, align 4, !tbaa !98
  %521 = add nsw i32 %514, %520
  store i32 %521, ptr %57, align 4, !tbaa !86
  call void @llvm.lifetime.start.p0(i64 4, ptr %58) #8
  %522 = load i32, ptr %56, align 4, !tbaa !86
  store i32 %522, ptr %58, align 4, !tbaa !86
  br label %523

523:                                              ; preds = %558, %513
  %524 = load i32, ptr %58, align 4, !tbaa !86
  %525 = load i32, ptr %57, align 4, !tbaa !86
  %526 = icmp ne i32 %524, %525
  br i1 %526, label %527, label %532

527:                                              ; preds = %523
  %528 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 17
  %529 = load i8, ptr %528, align 8, !tbaa !92, !range !93, !noundef !94
  %530 = trunc i8 %529 to i1
  %531 = xor i1 %530, true
  br label %532

532:                                              ; preds = %527, %523
  %533 = phi i1 [ false, %523 ], [ %531, %527 ]
  br i1 %533, label %543, label %534

534:                                              ; preds = %532
  store i32 40, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %58) #8
  br label %565

535:                                              ; preds = %500
  %536 = landingpad { ptr, i32 }
          cleanup
  %537 = extractvalue { ptr, i32 } %536, 0
  store ptr %537, ptr %6, align 8
  %538 = extractvalue { ptr, i32 } %536, 1
  store i32 %538, ptr %7, align 4
  br label %579

539:                                              ; preds = %510, %505
  %540 = landingpad { ptr, i32 }
          cleanup
  %541 = extractvalue { ptr, i32 } %540, 0
  store ptr %541, ptr %6, align 8
  %542 = extractvalue { ptr, i32 } %540, 1
  store i32 %542, ptr %7, align 4
  br label %566

543:                                              ; preds = %532
  %544 = load i32, ptr %58, align 4, !tbaa !86
  %545 = sext i32 %544 to i64
  %546 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt10unique_ptrIA_17HighsDomainChangeSt14default_deleteIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(8) %15, i64 noundef %545)
          to label %547 unwind label %561

547:                                              ; preds = %543
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %59, ptr align 8 %546, i64 16, i1 false), !tbaa.struct !100
  %548 = load i32, ptr %44, align 4, !tbaa !86
  %549 = load i32, ptr %55, align 4, !tbaa !86
  %550 = invoke i64 @_ZN11HighsDomain6Reason3cutEii(i32 noundef %548, i32 noundef %549)
          to label %551 unwind label %561

551:                                              ; preds = %547
  store i64 %550, ptr %60, align 4
  %552 = getelementptr inbounds { double, i64 }, ptr %59, i32 0, i32 0
  %553 = load double, ptr %552, align 8
  %554 = getelementptr inbounds { double, i64 }, ptr %59, i32 0, i32 1
  %555 = load i64, ptr %554, align 8
  %556 = load i64, ptr %60, align 4
  invoke void @_ZN11HighsDomain11changeBoundE17HighsDomainChangeNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %61, double %553, i64 %555, i64 %556)
          to label %557 unwind label %561

557:                                              ; preds = %551
  br label %558

558:                                              ; preds = %557
  %559 = load i32, ptr %58, align 4, !tbaa !86
  %560 = add nsw i32 %559, 1
  store i32 %560, ptr %58, align 4, !tbaa !86
  br label %523, !llvm.loop !112

561:                                              ; preds = %551, %547, %543
  %562 = landingpad { ptr, i32 }
          cleanup
  %563 = extractvalue { ptr, i32 } %562, 0
  store ptr %563, ptr %6, align 8
  %564 = extractvalue { ptr, i32 } %562, 1
  store i32 %564, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %58) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %57) #8
  br label %566

565:                                              ; preds = %534
  call void @llvm.lifetime.end.p0(i64 4, ptr %57) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %56) #8
  br label %567

566:                                              ; preds = %561, %539
  call void @llvm.lifetime.end.p0(i64 4, ptr %56) #8
  br label %579

567:                                              ; preds = %565, %488
  %568 = getelementptr inbounds %class.HighsDomain, ptr %61, i32 0, i32 17
  %569 = load i8, ptr %568, align 8, !tbaa !92, !range !93, !noundef !94
  %570 = trunc i8 %569 to i1
  br i1 %570, label %571, label %572

571:                                              ; preds = %567
  store i32 37, ptr %8, align 4
  br label %573

572:                                              ; preds = %567
  store i32 0, ptr %8, align 4
  br label %573

573:                                              ; preds = %572, %571
  call void @llvm.lifetime.end.p0(i64 4, ptr %55) #8
  %574 = load i32, ptr %8, align 4
  switch i32 %574, label %580 [
    i32 0, label %575
  ]

575:                                              ; preds = %573
  br label %576

576:                                              ; preds = %575
  %577 = load i32, ptr %54, align 4, !tbaa !86
  %578 = add nsw i32 %577, 1
  store i32 %578, ptr %54, align 4, !tbaa !86
  br label %483, !llvm.loop !113

579:                                              ; preds = %566, %535
  call void @llvm.lifetime.end.p0(i64 4, ptr %55) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %54) #8
  br label %582

580:                                              ; preds = %573, %487
  call void @llvm.lifetime.end.p0(i64 4, ptr %54) #8
  br label %581

581:                                              ; preds = %580
  call void @llvm.lifetime.end.p0(i64 32, ptr %52) #8
  br label %583

582:                                              ; preds = %579, %478
  call void @llvm.lifetime.end.p0(i64 32, ptr %52) #8
  br label %584

583:                                              ; preds = %581, %447
  call void @_ZNSt6vectorIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %4) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #8
  br label %585

584:                                              ; preds = %582, %468
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #8
  br label %590

585:                                              ; preds = %583, %412
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #8
  br label %586

586:                                              ; preds = %585
  %587 = load i32, ptr %44, align 4, !tbaa !86
  %588 = add nsw i32 %587, 1
  store i32 %588, ptr %44, align 4, !tbaa !86
  br label %407, !llvm.loop !114

589:                                              ; preds = %411
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #8
  br label %110, !llvm.loop !115

590:                                              ; preds = %584, %402, %167
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #8
  br label %592

591:                                              ; preds = %112
  store i1 true, ptr %2, align 1
  store i32 1, ptr %8, align 4
  call void @_ZNSt10unique_ptrIA_17HighsDomainChangeSt14default_deleteIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #8
  br label %595

592:                                              ; preds = %590, %124
  call void @_ZNSt10unique_ptrIA_17HighsDomainChangeSt14default_deleteIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %15) #8
  br label %593

593:                                              ; preds = %592, %120
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #8
  br label %594

594:                                              ; preds = %593, %98
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #8
  br label %597

595:                                              ; preds = %591, %65
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #8
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %4) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %4) #8
  %596 = load i1, ptr %2, align 1
  ret i1 %596

597:                                              ; preds = %594, %66
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #8
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %4) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %4) #8
  br label %598

598:                                              ; preds = %597
  %599 = load ptr, ptr %6, align 8
  %600 = load i32, ptr %7, align 4
  %601 = insertvalue { ptr, i32 } poison, ptr %599, 0
  %602 = insertvalue { ptr, i32 } %601, i32 %600, 1
  resume { ptr, i32 } %602
}

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef zeroext i1 @"_ZZN11HighsDomain9propagateEvENK3$_0clEv"(ptr noundef nonnull align 8 dereferenceable(8)) #4 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxImERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #5

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

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare { i64, i1 } @llvm.umul.with.overflow.i64(i64, i64) #6

; Function Attrs: nobuiltin allocsize(0)
declare noundef nonnull ptr @_Znam(i64 noundef) #7

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #5

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @"_ZZN11HighsDomain9propagateEvENK3$_1clEi"(ptr noundef nonnull align 8 dereferenceable(24), i32 noundef) #4 align 2

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @"_ZZN11HighsDomain9propagateEvENK3$_2clEi"(ptr noundef nonnull align 8 dereferenceable(32), i32 noundef) #4 align 2

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !6, i64 0}
!10 = !{!"_ZTSZN11HighsDomain9propagateEvE3$_0", !6, i64 0}
!11 = !{!12, !6, i64 472}
!12 = !{!"_ZTS11HighsDomain", !13, i64 0, !17, i64 24, !21, i64 48, !25, i64 72, !29, i64 96, !33, i64 120, !37, i64 144, !37, i64 168, !17, i64 192, !17, i64 216, !41, i64 240, !13, i64 264, !17, i64 288, !45, i64 312, !6, i64 472, !58, i64 480, !64, i64 560, !49, i64 640, !69, i64 644, !48, i64 652, !17, i64 656, !17, i64 680, !17, i64 704, !70, i64 728, !49, i64 768, !41, i64 776, !41, i64 800}
!13 = !{!"_ZTSSt6vectorIhSaIhEE", !14, i64 0}
!14 = !{!"_ZTSSt12_Vector_baseIhSaIhEE", !15, i64 0}
!15 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE12_Vector_implE", !16, i64 0}
!16 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!17 = !{!"_ZTSSt6vectorIiSaIiEE", !18, i64 0}
!18 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !19, i64 0}
!19 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!21 = !{!"_ZTSSt6vectorISt4pairIiiESaIS1_EE", !22, i64 0}
!22 = !{!"_ZTSSt12_Vector_baseISt4pairIiiESaIS1_EE", !23, i64 0}
!23 = !{!"_ZTSNSt12_Vector_baseISt4pairIiiESaIS1_EE12_Vector_implE", !24, i64 0}
!24 = !{!"_ZTSNSt12_Vector_baseISt4pairIiiESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!25 = !{!"_ZTSSt6vectorI17HighsDomainChangeSaIS0_EE", !26, i64 0}
!26 = !{!"_ZTSSt12_Vector_baseI17HighsDomainChangeSaIS0_EE", !27, i64 0}
!27 = !{!"_ZTSNSt12_Vector_baseI17HighsDomainChangeSaIS0_EE12_Vector_implE", !28, i64 0}
!28 = !{!"_ZTSNSt12_Vector_baseI17HighsDomainChangeSaIS0_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!29 = !{!"_ZTSSt6vectorIN11HighsDomain6ReasonESaIS1_EE", !30, i64 0}
!30 = !{!"_ZTSSt12_Vector_baseIN11HighsDomain6ReasonESaIS1_EE", !31, i64 0}
!31 = !{!"_ZTSNSt12_Vector_baseIN11HighsDomain6ReasonESaIS1_EE12_Vector_implE", !32, i64 0}
!32 = !{!"_ZTSNSt12_Vector_baseIN11HighsDomain6ReasonESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!33 = !{!"_ZTSSt6vectorISt4pairIdiESaIS1_EE", !34, i64 0}
!34 = !{!"_ZTSSt12_Vector_baseISt4pairIdiESaIS1_EE", !35, i64 0}
!35 = !{!"_ZTSNSt12_Vector_baseISt4pairIdiESaIS1_EE12_Vector_implE", !36, i64 0}
!36 = !{!"_ZTSNSt12_Vector_baseISt4pairIdiESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!37 = !{!"_ZTSSt6vectorI12HighsCDoubleSaIS0_EE", !38, i64 0}
!38 = !{!"_ZTSSt12_Vector_baseI12HighsCDoubleSaIS0_EE", !39, i64 0}
!39 = !{!"_ZTSNSt12_Vector_baseI12HighsCDoubleSaIS0_EE12_Vector_implE", !40, i64 0}
!40 = !{!"_ZTSNSt12_Vector_baseI12HighsCDoubleSaIS0_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!41 = !{!"_ZTSSt6vectorIdSaIdEE", !42, i64 0}
!42 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !43, i64 0}
!43 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !44, i64 0}
!44 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!45 = !{!"_ZTSN11HighsDomain20ObjectivePropagationE", !6, i64 0, !6, i64 8, !6, i64 16, !46, i64 24, !48, i64 40, !47, i64 48, !49, i64 56, !50, i64 64, !21, i64 88, !41, i64 112, !54, i64 136}
!46 = !{!"_ZTS12HighsCDouble", !47, i64 0, !47, i64 8}
!47 = !{!"double", !7, i64 0}
!48 = !{!"int", !7, i64 0}
!49 = !{!"bool", !7, i64 0}
!50 = !{!"_ZTSSt6vectorIN11HighsDomain20ObjectivePropagation21ObjectiveContributionESaIS2_EE", !51, i64 0}
!51 = !{!"_ZTSSt12_Vector_baseIN11HighsDomain20ObjectivePropagation21ObjectiveContributionESaIS2_EE", !52, i64 0}
!52 = !{!"_ZTSNSt12_Vector_baseIN11HighsDomain20ObjectivePropagation21ObjectiveContributionESaIS2_EE12_Vector_implE", !53, i64 0}
!53 = !{!"_ZTSNSt12_Vector_baseIN11HighsDomain20ObjectivePropagation21ObjectiveContributionESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!54 = !{!"_ZTSSt6vectorIN11HighsDomain20ObjectivePropagation19PartitionCliqueDataESaIS2_EE", !55, i64 0}
!55 = !{!"_ZTSSt12_Vector_baseIN11HighsDomain20ObjectivePropagation19PartitionCliqueDataESaIS2_EE", !56, i64 0}
!56 = !{!"_ZTSNSt12_Vector_baseIN11HighsDomain20ObjectivePropagation19PartitionCliqueDataESaIS2_EE12_Vector_implE", !57, i64 0}
!57 = !{!"_ZTSNSt12_Vector_baseIN11HighsDomain20ObjectivePropagation19PartitionCliqueDataESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!58 = !{!"_ZTSSt5dequeIN11HighsDomain18CutpoolPropagationESaIS1_EE", !59, i64 0}
!59 = !{!"_ZTSSt11_Deque_baseIN11HighsDomain18CutpoolPropagationESaIS1_EE", !60, i64 0}
!60 = !{!"_ZTSNSt11_Deque_baseIN11HighsDomain18CutpoolPropagationESaIS1_EE11_Deque_implE", !61, i64 0}
!61 = !{!"_ZTSNSt11_Deque_baseIN11HighsDomain18CutpoolPropagationESaIS1_EE16_Deque_impl_dataE", !6, i64 0, !62, i64 8, !63, i64 16, !63, i64 48}
!62 = !{!"long", !7, i64 0}
!63 = !{!"_ZTSSt15_Deque_iteratorIN11HighsDomain18CutpoolPropagationERS1_PS1_E", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!64 = !{!"_ZTSSt5dequeIN11HighsDomain23ConflictPoolPropagationESaIS1_EE", !65, i64 0}
!65 = !{!"_ZTSSt11_Deque_baseIN11HighsDomain23ConflictPoolPropagationESaIS1_EE", !66, i64 0}
!66 = !{!"_ZTSNSt11_Deque_baseIN11HighsDomain23ConflictPoolPropagationESaIS1_EE11_Deque_implE", !67, i64 0}
!67 = !{!"_ZTSNSt11_Deque_baseIN11HighsDomain23ConflictPoolPropagationESaIS1_EE16_Deque_impl_dataE", !6, i64 0, !62, i64 8, !68, i64 16, !68, i64 48}
!68 = !{!"_ZTSSt15_Deque_iteratorIN11HighsDomain23ConflictPoolPropagationERS1_PS1_E", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!69 = !{!"_ZTSN11HighsDomain6ReasonE", !48, i64 0, !48, i64 4}
!70 = !{!"_ZTS14HighsHashTableIivE", !71, i64 0, !77, i64 8, !62, i64 16, !62, i64 24, !62, i64 32}
!71 = !{!"_ZTSSt10unique_ptrI19HighsHashTableEntryIivEN14HighsHashTableIivE12OpNewDeleterEE", !72, i64 0}
!72 = !{!"_ZTSSt15__uniq_ptr_dataI19HighsHashTableEntryIivEN14HighsHashTableIivE12OpNewDeleterELb1ELb1EE", !73, i64 0}
!73 = !{!"_ZTSSt15__uniq_ptr_implI19HighsHashTableEntryIivEN14HighsHashTableIivE12OpNewDeleterEE", !74, i64 0}
!74 = !{!"_ZTSSt5tupleIJP19HighsHashTableEntryIivEN14HighsHashTableIivE12OpNewDeleterEEE", !75, i64 0}
!75 = !{!"_ZTSSt11_Tuple_implILm0EJP19HighsHashTableEntryIivEN14HighsHashTableIivE12OpNewDeleterEEE", !76, i64 0}
!76 = !{!"_ZTSSt10_Head_baseILm0EP19HighsHashTableEntryIivELb0EE", !6, i64 0}
!77 = !{!"_ZTSSt10unique_ptrIA_hSt14default_deleteIS0_EE", !78, i64 0}
!78 = !{!"_ZTSSt15__uniq_ptr_dataIhSt14default_deleteIA_hELb1ELb1EE", !79, i64 0}
!79 = !{!"_ZTSSt15__uniq_ptr_implIhSt14default_deleteIA_hEE", !80, i64 0}
!80 = !{!"_ZTSSt5tupleIJPhSt14default_deleteIA_hEEE", !81, i64 0}
!81 = !{!"_ZTSSt11_Tuple_implILm0EJPhSt14default_deleteIA_hEEE", !82, i64 0}
!82 = !{!"_ZTSSt10_Head_baseILm0EPhLb0EE", !6, i64 0}
!83 = !{!62, !62, i64 0}
!84 = !{!85, !6, i64 16}
!85 = !{!"_ZTSN11HighsDomain18CutpoolPropagationE", !48, i64 0, !6, i64 8, !6, i64 16, !37, i64 24, !17, i64 48, !13, i64 72, !17, i64 96, !41, i64 120}
!86 = !{!48, !48, i64 0}
!87 = distinct !{!87, !88}
!88 = !{!"llvm.loop.mustprogress"}
!89 = distinct !{!89, !88}
!90 = !{!7, !7, i64 0}
!91 = distinct !{!91, !88}
!92 = !{!12, !49, i64 640}
!93 = !{i8 0, i8 2}
!94 = !{}
!95 = !{!96, !6, i64 8}
!96 = !{!"_ZTSZN11HighsDomain9propagateEvE3$_1", !6, i64 0, !6, i64 8, !6, i64 16}
!97 = distinct !{!97, !88}
!98 = !{!99, !48, i64 0}
!99 = !{!"_ZTSSt4pairIiiE", !48, i64 0, !48, i64 4}
!100 = !{i64 0, i64 8, !101, i64 8, i64 4, !86, i64 12, i64 4, !102}
!101 = !{!47, !47, i64 0}
!102 = !{!103, !103, i64 0}
!103 = !{!"_ZTS14HighsBoundType", !7, i64 0}
!104 = distinct !{!104, !88}
!105 = !{!99, !48, i64 4}
!106 = distinct !{!106, !88}
!107 = distinct !{!107, !88}
!108 = distinct !{!108, !88}
!109 = !{!110, !6, i64 16}
!110 = !{!"_ZTSZN11HighsDomain9propagateEvE3$_2", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!111 = distinct !{!111, !88}
!112 = distinct !{!112, !88}
!113 = distinct !{!113, !88}
!114 = distinct !{!114, !88}
!115 = distinct !{!115, !88}


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

%"struct.std::_Deque_iterator" = type { ptr, ptr, ptr, ptr }
%"class.std::vector.3" = type { %"struct.std::_Vector_base.4" }
%"struct.std::_Vector_base.4" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.anon.362 = type { ptr }
%"class.std::unique_ptr.363" = type { %"struct.std::__uniq_ptr_data.364" }
%"struct.std::__uniq_ptr_data.364" = type { %"class.std::__uniq_ptr_impl.365" }
%"class.std::__uniq_ptr_impl.365" = type { %"class.std::tuple.366" }
%"class.std::tuple.366" = type { %"struct.std::_Tuple_impl.367" }
%"struct.std::_Tuple_impl.367" = type { %"struct.std::_Head_base.370" }
%"struct.std::_Head_base.370" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.371" = type { ptr }
%"struct.std::pair" = type { i32, i32 }
%class.anon.372 = type { ptr, ptr, ptr }
%class.anon.373 = type { ptr, ptr, ptr, ptr }

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

declare i32 @__gxx_personality_v0(...)

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #1 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 uwtable
declare dso_local void @_ZN11HighsDomain23ConflictPoolPropagation17propagateConflictEi(ptr noundef nonnull align 8 dereferenceable(144), i32 noundef) local_unnamed_addr #2 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 nounwind uwtable
declare dso_local i64 @_ZN11HighsDomain6Reason3cutEii(i32 noundef, i32 noundef) local_unnamed_addr #1 align 2

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local i64 @_ZSt9make_pairIiiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS1_INS2_IT0_E4typeEE6__typeEEOS3_OS8_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #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 uwtable
declare dso_local void @_ZN11HighsDomain20ObjectivePropagation9propagateEv(ptr noundef nonnull align 8 dereferenceable(160)) local_unnamed_addr #2 align 2

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local i64 @_ZN11HighsDomain6Reason13modelRowUpperEi(i32 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local i64 @_ZN11HighsDomain6Reason13modelRowLowerEi(i32 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt5dequeIN11HighsDomain18CutpoolPropagationESaIS1_EE5beginEv(ptr dead_on_unwind noalias writable sret(%"struct.std::_Deque_iterator") align 8, ptr noundef nonnull align 8 dereferenceable(80)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt5dequeIN11HighsDomain18CutpoolPropagationESaIS1_EE3endEv(ptr dead_on_unwind noalias writable sret(%"struct.std::_Deque_iterator") align 8, ptr noundef nonnull align 8 dereferenceable(80)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZStneRKSt15_Deque_iteratorIN11HighsDomain18CutpoolPropagationERS1_PS1_ES6_(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #1

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

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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_ZN11HighsDomain9propagateEv(ptr noundef nonnull align 8 dereferenceable(824) %0) local_unnamed_addr #2 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca %"class.std::vector.3", align 8
  %3 = alloca %class.anon.362, align 8
  %4 = alloca i64, align 8
  %5 = alloca %"struct.std::_Deque_iterator", align 8
  %6 = alloca %"struct.std::_Deque_iterator", align 8
  %7 = alloca i64, align 8
  %8 = alloca %"class.std::unique_ptr.363", align 8
  %9 = alloca %"class.__gnu_cxx::__normal_iterator.371", align 8
  %10 = alloca %"class.__gnu_cxx::__normal_iterator.371", align 8
  %11 = alloca %"struct.std::pair", align 8
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca %class.anon.372, align 8
  %15 = alloca %"struct.std::pair", align 8
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca %class.anon.373, align 8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %2) #6
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %2) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %3) #6
  store ptr %0, ptr %3, align 8, !tbaa !5
  %19 = invoke noundef zeroext i1 @"_ZZN11HighsDomain9propagateEvENK3$_0clEv"(ptr noundef nonnull align 8 dereferenceable(8) %3)
          to label %20 unwind label %21

20:                                               ; preds = %1
  br i1 %19, label %23, label %242

21:                                               ; preds = %1
  %22 = landingpad { ptr, i32 }
          cleanup
  br label %243

23:                                               ; preds = %20
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #6
  %24 = getelementptr inbounds i8, ptr %0, i64 472
  %25 = load ptr, ptr %24, align 8, !tbaa !10
  %26 = getelementptr inbounds i8, ptr %25, i64 224
  %27 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #6
  %28 = getelementptr inbounds i8, ptr %27, i64 25696
  %29 = call noundef i64 @_ZNKSt6vectorIdSaIdEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %28) #6
  %30 = shl i64 %29, 1
  store i64 %30, ptr %4, align 8, !tbaa !82
  %31 = getelementptr inbounds i8, ptr %0, i64 480
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %5) #6
  call void @_ZNSt5dequeIN11HighsDomain18CutpoolPropagationESaIS1_EE5beginEv(ptr dead_on_unwind nonnull writable sret(%"struct.std::_Deque_iterator") align 8 %5, ptr noundef nonnull align 8 dereferenceable(80) %31) #6
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %6) #6
  call void @_ZNSt5dequeIN11HighsDomain18CutpoolPropagationESaIS1_EE3endEv(ptr dead_on_unwind nonnull writable sret(%"struct.std::_Deque_iterator") align 8 %6, ptr noundef nonnull align 8 dereferenceable(80) %31) #6
  %32 = call noundef zeroext i1 @_ZStneRKSt15_Deque_iteratorIN11HighsDomain18CutpoolPropagationERS1_PS1_ES6_(ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef nonnull align 8 dereferenceable(32) %6) #6
  br i1 %32, label %.lr.ph, label %._crit_edge

._crit_edge:                                      ; preds = %.lr.ph, %23
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %6) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %5) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #6
  %33 = load i64, ptr %4, align 8, !tbaa !82
  %34 = icmp ugt i64 %33, 1152921504606846975
  %35 = shl i64 %33, 4
  %36 = select i1 %34, i64 -1, i64 %35
  %37 = invoke noalias noundef nonnull ptr @_Znam(i64 noundef %36) #7
          to label %47 unwind label %65

.lr.ph:                                           ; preds = %23, %.lr.ph
  %38 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZNKSt15_Deque_iteratorIN11HighsDomain18CutpoolPropagationERS1_PS1_EdeEv(ptr noundef nonnull align 8 dereferenceable(32) %5) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #6
  %39 = getelementptr inbounds i8, ptr %38, i64 16
  %40 = load ptr, ptr %39, align 8, !tbaa !83
  %41 = call noundef nonnull align 8 dereferenceable(336) ptr @_ZNK12HighsCutPool9getMatrixEv(ptr noundef nonnull align 8 dereferenceable(680) %40)
  %42 = call noundef i64 @_ZNK21HighsDynamicRowMatrix15nonzeroCapacityEv(ptr noundef nonnull align 8 dereferenceable(336) %41)
  store i64 %42, ptr %7, align 8, !tbaa !82
  %43 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxImERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(8) %7)
  %44 = load i64, ptr %43, align 8, !tbaa !82
  store i64 %44, ptr %4, align 8, !tbaa !82
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #6
  %45 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt15_Deque_iteratorIN11HighsDomain18CutpoolPropagationERS1_PS1_EppEv(ptr noundef nonnull align 8 dereferenceable(32) %5) #6
  %46 = call noundef zeroext i1 @_ZStneRKSt15_Deque_iteratorIN11HighsDomain18CutpoolPropagationERS1_PS1_ES6_(ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef nonnull align 8 dereferenceable(32) %6) #6
  br i1 %46, label %.lr.ph, label %._crit_edge

47:                                               ; preds = %._crit_edge
  call void @_ZNSt10unique_ptrIA_17HighsDomainChangeSt14default_deleteIS1_EEC2IPS0_S3_vbEET_(ptr noundef nonnull align 8 dereferenceable(8) %8, ptr noundef nonnull %37) #6
  %48 = getelementptr inbounds i8, ptr %0, i64 312
  %49 = getelementptr inbounds i8, ptr %0, i64 560
  %50 = getelementptr inbounds i8, ptr %0, i64 288
  %51 = getelementptr inbounds i8, ptr %0, i64 264
  %52 = getelementptr inbounds i8, ptr %0, i64 640
  %53 = getelementptr inbounds i8, ptr %0, i64 48
  %54 = getelementptr inbounds i8, ptr %14, i64 8
  %55 = getelementptr inbounds i8, ptr %14, i64 16
  %56 = getelementptr inbounds i8, ptr %18, i64 8
  %57 = getelementptr inbounds i8, ptr %18, i64 16
  %58 = getelementptr inbounds i8, ptr %18, i64 24
  br label %59

.loopexit:                                        ; preds = %238, %173
  br label %59, !llvm.loop !85

59:                                               ; preds = %.loopexit, %47
  %60 = invoke noundef zeroext i1 @"_ZZN11HighsDomain9propagateEvENK3$_0clEv"(ptr noundef nonnull align 8 dereferenceable(8) %3)
          to label %61 unwind label %67

61:                                               ; preds = %59
  br i1 %60, label %62, label %239

62:                                               ; preds = %61
  %63 = call noundef zeroext i1 @_ZNK11HighsDomain20ObjectivePropagation8isActiveEv(ptr noundef nonnull align 8 dereferenceable(160) %48)
  br i1 %63, label %64, label %69

64:                                               ; preds = %62
  invoke void @_ZN11HighsDomain20ObjectivePropagation9propagateEv(ptr noundef nonnull align 8 dereferenceable(160) %48)
          to label %69 unwind label %67

65:                                               ; preds = %._crit_edge
  %66 = landingpad { ptr, i32 }
          cleanup
  br label %241

67:                                               ; preds = %64, %59
  %68 = landingpad { ptr, i32 }
          cleanup
  br label %240

69:                                               ; preds = %64, %62
  %70 = call noundef i64 @_ZNKSt5dequeIN11HighsDomain23ConflictPoolPropagationESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(80) %49) #6
  %71 = trunc i64 %70 to i32
  %72 = icmp sgt i32 %71, 0
  br i1 %72, label %.lr.ph172.preheader, label %._crit_edge173

.lr.ph172.preheader:                              ; preds = %69
  %wide.trip.count = and i64 %70, 2147483647
  br label %.lr.ph172

._crit_edge173:                                   ; preds = %._crit_edge169, %69
  %73 = call noundef zeroext i1 @_ZNKSt6vectorIiSaIiEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %50) #6
  br i1 %73, label %173, label %88

.lr.ph172:                                        ; preds = %.lr.ph172.preheader, %._crit_edge169
  %indvars.iv = phi i64 [ 0, %.lr.ph172.preheader ], [ %indvars.iv.next, %._crit_edge169 ]
  %74 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZNSt5dequeIN11HighsDomain23ConflictPoolPropagationESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(80) %49, i64 noundef %indvars.iv) #6
  %75 = getelementptr inbounds i8, ptr %74, i64 96
  %76 = call noundef zeroext i1 @_ZNKSt6vectorIiSaIiEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %75) #6
  br i1 %76, label %._crit_edge169, label %.lr.ph168

.lr.ph168:                                        ; preds = %.lr.ph172, %._crit_edge166
  call void @_ZNSt6vectorIiSaIiEE4swapERS1_(ptr noundef nonnull align 8 dereferenceable(24) %2, ptr noundef nonnull align 8 dereferenceable(24) %75) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #6
  %77 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #6
  store ptr %77, ptr %9, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #6
  %78 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #6
  store ptr %78, ptr %10, align 8
  %79 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %10) #6
  br i1 %79, label %.lr.ph165, label %._crit_edge166

._crit_edge166:                                   ; preds = %83, %.lr.ph168
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #6
  call void @_ZNSt6vectorIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #6
  %80 = call noundef zeroext i1 @_ZNKSt6vectorIiSaIiEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %75) #6
  br i1 %80, label %._crit_edge169, label %.lr.ph168, !llvm.loop !87

.lr.ph165:                                        ; preds = %.lr.ph168, %83
  %81 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %9) #6
  %82 = load i32, ptr %81, align 4, !tbaa !88
  invoke void @_ZN11HighsDomain23ConflictPoolPropagation17propagateConflictEi(ptr noundef nonnull align 8 dereferenceable(144) %74, i32 noundef %82)
          to label %83 unwind label %86

83:                                               ; preds = %.lr.ph165
  %84 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %9) #6
  %85 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %10) #6
  br i1 %85, label %.lr.ph165, label %._crit_edge166

86:                                               ; preds = %.lr.ph165
  %87 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #6
  br label %240

._crit_edge169:                                   ; preds = %._crit_edge166, %.lr.ph172
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge173, label %.lr.ph172, !llvm.loop !89

88:                                               ; preds = %._crit_edge173
  call void @_ZNSt6vectorIiSaIiEE4swapERS1_(ptr noundef nonnull align 8 dereferenceable(24) %2, ptr noundef nonnull align 8 dereferenceable(24) %50) #6
  %89 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #6
  %90 = trunc i64 %89 to i32
  %.not174 = icmp eq i32 %90, 0
  br i1 %.not174, label %._crit_edge178, label %.lr.ph177.preheader

.lr.ph177.preheader:                              ; preds = %88
  %91 = and i64 %89, 4294967295
  br label %.lr.ph177

._crit_edge178:                                   ; preds = %.lr.ph177, %88
  %92 = load i8, ptr %52, align 8, !tbaa !90, !range !91, !noundef !92
  %93 = trunc nuw i8 %92 to i1
  br i1 %93, label %172, label %98

.lr.ph177:                                        ; preds = %.lr.ph177.preheader, %.lr.ph177
  %indvars.iv221 = phi i64 [ 0, %.lr.ph177.preheader ], [ %indvars.iv.next222, %.lr.ph177 ]
  %94 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %2, i64 noundef %indvars.iv221) #6
  %95 = load i32, ptr %94, align 4, !tbaa !88
  %96 = sext i32 %95 to i64
  %97 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorIhSaIhEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %51, i64 noundef %96) #6
  store i8 0, ptr %97, align 1, !tbaa !93
  %indvars.iv.next222 = add nuw nsw i64 %indvars.iv221, 1
  %.not = icmp eq i64 %indvars.iv.next222, %91
  br i1 %.not, label %._crit_edge178, label %.lr.ph177, !llvm.loop !94

98:                                               ; preds = %._crit_edge178
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %12) #6
  store i32 0, ptr %12, align 4, !tbaa !88
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %13) #6
  store i32 0, ptr %13, align 4, !tbaa !88
  %99 = invoke i64 @_ZSt9make_pairIiiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS1_INS2_IT0_E4typeEE6__typeEEOS3_OS8_(ptr noundef nonnull align 4 dereferenceable(4) %12, ptr noundef nonnull align 4 dereferenceable(4) %13)
          to label %100 unwind label %103

100:                                              ; preds = %98
  %sext = shl i64 %89, 32
  %101 = ashr exact i64 %sext, 32
  store i64 %99, ptr %11, align 8
  invoke void @_ZNSt6vectorISt4pairIiiESaIS1_EE6assignEmRKS1_(ptr noundef nonnull align 8 dereferenceable(24) %53, i64 noundef %101, ptr noundef nonnull align 4 dereferenceable(8) %11)
          to label %102 unwind label %103

102:                                              ; preds = %100
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %12) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #6
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %14) #6
  store ptr %2, ptr %14, align 8, !tbaa !95
  store ptr %0, ptr %54, align 8, !tbaa !96
  store ptr %8, ptr %55, align 8, !tbaa !95
  br i1 %.not174, label %.critedge5._crit_edge, label %.lr.ph182

103:                                              ; preds = %100, %98
  %104 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %12) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #6
  br label %240

.lr.ph182:                                        ; preds = %102, %105
  %.0125180 = phi i32 [ %106, %105 ], [ 0, %102 ]
  invoke void @"_ZZN11HighsDomain9propagateEvENK3$_1clEi"(ptr noundef nonnull align 8 dereferenceable(24) %14, i32 noundef %.0125180)
          to label %105 unwind label %107

105:                                              ; preds = %.lr.ph182
  %106 = add nuw nsw i32 %.0125180, 1
  %.not133 = icmp eq i32 %106, %90
  br i1 %.not133, label %.lr.ph195, label %.lr.ph182, !llvm.loop !98

107:                                              ; preds = %.lr.ph182
  %108 = landingpad { ptr, i32 }
          cleanup
  br label %171

.lr.ph195:                                        ; preds = %105, %.lr.ph195.backedge
  %.0127194 = phi i32 [ %.0127194.be, %.lr.ph195.backedge ], [ 0, %105 ]
  %109 = zext nneg i32 %.0127194 to i64
  %110 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %2, i64 noundef %109) #6
  %111 = load i32, ptr %110, align 4, !tbaa !88
  %112 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorISt4pairIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %53, i64 noundef %109) #6
  %113 = load i32, ptr %112, align 4, !tbaa !99
  %.not135 = icmp eq i32 %113, 0
  br i1 %.not135, label %138, label %114

114:                                              ; preds = %.lr.ph195
  %115 = load ptr, ptr %24, align 8, !tbaa !10
  %116 = getelementptr inbounds i8, ptr %115, i64 224
  %117 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %116) #6
  %118 = getelementptr inbounds i8, ptr %117, i64 25648
  %119 = sext i32 %111 to i64
  %120 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %118, i64 noundef %119) #6
  %121 = load i32, ptr %120, align 4, !tbaa !88
  %122 = shl i32 %121, 1
  %123 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorISt4pairIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %53, i64 noundef %109) #6
  %124 = load i32, ptr %123, align 4, !tbaa !99
  %125 = add nsw i32 %124, %122
  %.not136183 = icmp eq i32 %124, 0
  br i1 %.not136183, label %.critedge, label %.lr.ph186.preheader

.lr.ph186.preheader:                              ; preds = %114
  %126 = sext i32 %122 to i64
  br label %.lr.ph186

.lr.ph186:                                        ; preds = %.lr.ph186.preheader, %134
  %indvars.iv224 = phi i64 [ %126, %.lr.ph186.preheader ], [ %indvars.iv.next225, %134 ]
  %127 = load i8, ptr %52, align 8, !tbaa !90, !range !91, !noundef !92
  %128 = trunc nuw i8 %127 to i1
  br i1 %128, label %.critedge, label %131

.critedge:                                        ; preds = %.lr.ph186, %134, %114
  %129 = load i8, ptr %52, align 8, !tbaa !90, !range !91, !noundef !92
  %130 = trunc nuw i8 %129 to i1
  br i1 %130, label %.critedge5._crit_edge, label %138

131:                                              ; preds = %.lr.ph186
  %132 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt10unique_ptrIA_17HighsDomainChangeSt14default_deleteIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(8) %8, i64 noundef %indvars.iv224)
  %.sroa.053.0.copyload = load double, ptr %132, align 8, !tbaa !101
  %.sroa.254.0..sroa_idx = getelementptr inbounds i8, ptr %132, i64 8
  %.sroa.254.0.copyload = load i64, ptr %.sroa.254.0..sroa_idx, align 8
  %133 = call i64 @_ZN11HighsDomain6Reason13modelRowUpperEi(i32 noundef %111)
  invoke void @_ZN11HighsDomain11changeBoundE17HighsDomainChangeNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %0, double %.sroa.053.0.copyload, i64 %.sroa.254.0.copyload, i64 %133)
          to label %134 unwind label %136

134:                                              ; preds = %131
  %indvars.iv.next225 = add nsw i64 %indvars.iv224, 1
  %135 = trunc nsw i64 %indvars.iv.next225 to i32
  %.not136 = icmp eq i32 %125, %135
  br i1 %.not136, label %.critedge, label %.lr.ph186, !llvm.loop !102

136:                                              ; preds = %131
  %137 = landingpad { ptr, i32 }
          cleanup
  br label %171

138:                                              ; preds = %.critedge, %.lr.ph195
  %139 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorISt4pairIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %53, i64 noundef %109) #6
  %140 = getelementptr inbounds i8, ptr %139, i64 4
  %141 = load i32, ptr %140, align 4, !tbaa !103
  %.not137 = icmp eq i32 %141, 0
  br i1 %.not137, label %.thread, label %142

142:                                              ; preds = %138
  %143 = load ptr, ptr %24, align 8, !tbaa !10
  %144 = getelementptr inbounds i8, ptr %143, i64 224
  %145 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %144) #6
  %146 = getelementptr inbounds i8, ptr %145, i64 25648
  %147 = sext i32 %111 to i64
  %148 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %146, i64 noundef %147) #6
  %149 = load i32, ptr %148, align 4, !tbaa !88
  %150 = shl i32 %149, 1
  %151 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorISt4pairIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %53, i64 noundef %109) #6
  %152 = load i32, ptr %151, align 4, !tbaa !99
  %153 = add i32 %152, %150
  %154 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorISt4pairIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %53, i64 noundef %109) #6
  %155 = getelementptr inbounds i8, ptr %154, i64 4
  %156 = load i32, ptr %155, align 4, !tbaa !103
  %157 = add nsw i32 %156, %153
  %.not138188 = icmp eq i32 %156, 0
  br i1 %.not138188, label %.critedge5, label %.lr.ph191.preheader

.lr.ph191.preheader:                              ; preds = %142
  %158 = sext i32 %153 to i64
  br label %.lr.ph191

.lr.ph191:                                        ; preds = %.lr.ph191.preheader, %167
  %indvars.iv227 = phi i64 [ %158, %.lr.ph191.preheader ], [ %indvars.iv.next228, %167 ]
  %159 = load i8, ptr %52, align 8, !tbaa !90, !range !91, !noundef !92
  %160 = trunc nuw i8 %159 to i1
  br i1 %160, label %.critedge5, label %164

.critedge5:                                       ; preds = %.lr.ph191, %167, %142
  %161 = load i8, ptr %52, align 8, !tbaa !90, !range !91, !noundef !92
  %162 = trunc nuw i8 %161 to i1
  %163 = add nuw nsw i32 %.0127194, 1
  %.not134 = icmp eq i32 %163, %90
  %or.cond = select i1 %162, i1 true, i1 %.not134
  br i1 %or.cond, label %.critedge5._crit_edge, label %.lr.ph195.backedge

164:                                              ; preds = %.lr.ph191
  %165 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt10unique_ptrIA_17HighsDomainChangeSt14default_deleteIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(8) %8, i64 noundef %indvars.iv227)
  %.sroa.044.0.copyload = load double, ptr %165, align 8, !tbaa !101
  %.sroa.245.0..sroa_idx = getelementptr inbounds i8, ptr %165, i64 8
  %.sroa.245.0.copyload = load i64, ptr %.sroa.245.0..sroa_idx, align 8
  %166 = call i64 @_ZN11HighsDomain6Reason13modelRowLowerEi(i32 noundef %111)
  invoke void @_ZN11HighsDomain11changeBoundE17HighsDomainChangeNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %0, double %.sroa.044.0.copyload, i64 %.sroa.245.0.copyload, i64 %166)
          to label %167 unwind label %169

167:                                              ; preds = %164
  %indvars.iv.next228 = add nsw i64 %indvars.iv227, 1
  %168 = trunc nsw i64 %indvars.iv.next228 to i32
  %.not138 = icmp eq i32 %157, %168
  br i1 %.not138, label %.critedge5, label %.lr.ph191, !llvm.loop !104

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

.thread:                                          ; preds = %138
  %.old = add nuw nsw i32 %.0127194, 1
  %.not134.old = icmp eq i32 %.old, %90
  br i1 %.not134.old, label %.critedge5._crit_edge, label %.lr.ph195.backedge

.lr.ph195.backedge:                               ; preds = %.thread, %.critedge5
  %.0127194.be = phi i32 [ %.old, %.thread ], [ %163, %.critedge5 ]
  br label %.lr.ph195, !llvm.loop !105

.critedge5._crit_edge:                            ; preds = %.thread, %.critedge, %.critedge5, %102
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %14) #6
  br label %172

171:                                              ; preds = %136, %169, %107
  %.pn140 = phi { ptr, i32 } [ %108, %107 ], [ %137, %136 ], [ %170, %169 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %14) #6
  br label %240

172:                                              ; preds = %.critedge5._crit_edge, %._crit_edge178
  call void @_ZNSt6vectorIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #6
  br label %173

173:                                              ; preds = %172, %._crit_edge173
  %174 = call noundef i64 @_ZNKSt5dequeIN11HighsDomain18CutpoolPropagationESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(80) %31) #6
  %175 = and i64 %174, 4294967295
  %.not143215 = icmp eq i64 %175, 0
  br i1 %.not143215, label %.loopexit, label %.lr.ph218.preheader

.lr.ph218.preheader:                              ; preds = %173
  %176 = and i64 %174, 4294967295
  br label %.lr.ph218

.lr.ph218:                                        ; preds = %.lr.ph218.preheader, %238
  %indvars.iv239 = phi i64 [ 0, %.lr.ph218.preheader ], [ %indvars.iv.next240, %238 ]
  %177 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZNSt5dequeIN11HighsDomain18CutpoolPropagationESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(80) %31, i64 noundef %indvars.iv239) #6
  %178 = getelementptr inbounds i8, ptr %177, i64 96
  %179 = call noundef zeroext i1 @_ZNKSt6vectorIiSaIiEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %178) #6
  br i1 %179, label %238, label %180

180:                                              ; preds = %.lr.ph218
  call void @_ZNSt6vectorIiSaIiEE4swapERS1_(ptr noundef nonnull align 8 dereferenceable(24) %2, ptr noundef nonnull align 8 dereferenceable(24) %178) #6
  %181 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #6
  %182 = trunc i64 %181 to i32
  %.not144197 = icmp eq i32 %182, 0
  br i1 %.not144197, label %._crit_edge201, label %.lr.ph200

.lr.ph200:                                        ; preds = %180
  %183 = getelementptr inbounds i8, ptr %177, i64 72
  %184 = and i64 %181, 4294967295
  br label %187

._crit_edge201:                                   ; preds = %187, %180
  %185 = load i8, ptr %52, align 8, !tbaa !90, !range !91, !noundef !92
  %186 = trunc nuw i8 %185 to i1
  br i1 %186, label %237, label %194

187:                                              ; preds = %.lr.ph200, %187
  %indvars.iv230 = phi i64 [ 0, %.lr.ph200 ], [ %indvars.iv.next231, %187 ]
  %188 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %2, i64 noundef %indvars.iv230) #6
  %189 = load i32, ptr %188, align 4, !tbaa !88
  %190 = sext i32 %189 to i64
  %191 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorIhSaIhEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %183, i64 noundef %190) #6
  %192 = load i8, ptr %191, align 1, !tbaa !93
  %193 = and i8 %192, 2
  store i8 %193, ptr %191, align 1, !tbaa !93
  %indvars.iv.next231 = add nuw nsw i64 %indvars.iv230, 1
  %.not144 = icmp eq i64 %indvars.iv.next231, %184
  br i1 %.not144, label %._crit_edge201, label %187, !llvm.loop !106

194:                                              ; preds = %._crit_edge201
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %15) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %16) #6
  store i32 0, ptr %16, align 4, !tbaa !88
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %17) #6
  store i32 0, ptr %17, align 4, !tbaa !88
  %195 = invoke i64 @_ZSt9make_pairIiiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS1_INS2_IT0_E4typeEE6__typeEEOS3_OS8_(ptr noundef nonnull align 4 dereferenceable(4) %16, ptr noundef nonnull align 4 dereferenceable(4) %17)
          to label %196 unwind label %202

196:                                              ; preds = %194
  %sext145 = shl i64 %181, 32
  %197 = ashr exact i64 %sext145, 32
  store i64 %195, ptr %15, align 8
  invoke void @_ZNSt6vectorISt4pairIiiESaIS1_EE6assignEmRKS1_(ptr noundef nonnull align 8 dereferenceable(24) %53, i64 noundef %197, ptr noundef nonnull align 4 dereferenceable(8) %15)
          to label %198 unwind label %202

198:                                              ; preds = %196
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %17) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %16) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %15) #6
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %18) #6
  store ptr %177, ptr %18, align 8, !tbaa !95
  store ptr %2, ptr %56, align 8, !tbaa !95
  store ptr %0, ptr %57, align 8, !tbaa !107
  store ptr %8, ptr %58, align 8, !tbaa !95
  br i1 %.not144197, label %._crit_edge214, label %.lr.ph205

.lr.ph213:                                        ; preds = %204
  %199 = getelementptr inbounds i8, ptr %177, i64 16
  %200 = and i64 %181, 4294967295
  %201 = trunc nuw nsw i64 %indvars.iv239 to i32
  br label %208

202:                                              ; preds = %196, %194
  %203 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %17) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %16) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %15) #6
  br label %240

.lr.ph205:                                        ; preds = %198, %204
  %.0124203 = phi i32 [ %205, %204 ], [ 0, %198 ]
  invoke void @"_ZZN11HighsDomain9propagateEvENK3$_2clEi"(ptr noundef nonnull align 8 dereferenceable(32) %18, i32 noundef %.0124203)
          to label %204 unwind label %206

204:                                              ; preds = %.lr.ph205
  %205 = add nuw nsw i32 %.0124203, 1
  %.not146 = icmp eq i32 %205, %182
  br i1 %.not146, label %.lr.ph213, label %.lr.ph205, !llvm.loop !109

206:                                              ; preds = %.lr.ph205
  %207 = landingpad { ptr, i32 }
          cleanup
  br label %236

208:                                              ; preds = %.critedge7, %.lr.ph213
  %indvars.iv236 = phi i64 [ %indvars.iv.next237, %.critedge7 ], [ 0, %.lr.ph213 ]
  %209 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %2, i64 noundef %indvars.iv236) #6
  %210 = load i32, ptr %209, align 4, !tbaa !88
  %211 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorISt4pairIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %53, i64 noundef %indvars.iv236) #6
  %212 = load i32, ptr %211, align 4, !tbaa !99
  %.not148 = icmp eq i32 %212, 0
  br i1 %.not148, label %.critedge7, label %213

213:                                              ; preds = %208
  %214 = load ptr, ptr %199, align 8, !tbaa !83
  invoke void @_ZN12HighsCutPool8resetAgeEi(ptr noundef nonnull align 8 dereferenceable(680) %214, i32 noundef %210)
          to label %215 unwind label %225

215:                                              ; preds = %213
  %216 = load ptr, ptr %199, align 8, !tbaa !83
  %217 = call noundef nonnull align 8 dereferenceable(336) ptr @_ZNK12HighsCutPool9getMatrixEv(ptr noundef nonnull align 8 dereferenceable(680) %216)
  %218 = call noundef i32 @_ZNK21HighsDynamicRowMatrix11getRowStartEi(ptr noundef nonnull align 8 dereferenceable(336) %217, i32 noundef %210)
  %219 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorISt4pairIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %53, i64 noundef %indvars.iv236) #6
  %220 = load i32, ptr %219, align 4, !tbaa !99
  %221 = add nsw i32 %220, %218
  %.not149206 = icmp eq i32 %220, 0
  br i1 %.not149206, label %.critedge7, label %.lr.ph209.preheader

.lr.ph209.preheader:                              ; preds = %215
  %222 = sext i32 %218 to i64
  br label %.lr.ph209

.lr.ph209:                                        ; preds = %.lr.ph209.preheader, %230
  %indvars.iv233 = phi i64 [ %222, %.lr.ph209.preheader ], [ %indvars.iv.next234, %230 ]
  %223 = load i8, ptr %52, align 8, !tbaa !90, !range !91, !noundef !92
  %224 = trunc nuw i8 %223 to i1
  br i1 %224, label %.critedge7, label %227

225:                                              ; preds = %213
  %226 = landingpad { ptr, i32 }
          cleanup
  br label %236

227:                                              ; preds = %.lr.ph209
  %228 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt10unique_ptrIA_17HighsDomainChangeSt14default_deleteIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(8) %8, i64 noundef %indvars.iv233)
  %.sroa.08.0.copyload = load double, ptr %228, align 8, !tbaa !101
  %.sroa.2.0..sroa_idx = getelementptr inbounds i8, ptr %228, i64 8
  %.sroa.2.0.copyload = load i64, ptr %.sroa.2.0..sroa_idx, align 8
  %229 = call i64 @_ZN11HighsDomain6Reason3cutEii(i32 noundef %201, i32 noundef %210)
  invoke void @_ZN11HighsDomain11changeBoundE17HighsDomainChangeNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %0, double %.sroa.08.0.copyload, i64 %.sroa.2.0.copyload, i64 %229)
          to label %230 unwind label %232

230:                                              ; preds = %227
  %indvars.iv.next234 = add nsw i64 %indvars.iv233, 1
  %231 = trunc nsw i64 %indvars.iv.next234 to i32
  %.not149 = icmp eq i32 %221, %231
  br i1 %.not149, label %.critedge7, label %.lr.ph209, !llvm.loop !110

232:                                              ; preds = %227
  %233 = landingpad { ptr, i32 }
          cleanup
  br label %236

.critedge7:                                       ; preds = %230, %.lr.ph209, %215, %208
  %234 = load i8, ptr %52, align 8, !tbaa !90, !range !91, !noundef !92
  %235 = trunc nuw i8 %234 to i1
  %indvars.iv.next237 = add nuw nsw i64 %indvars.iv236, 1
  %.not147 = icmp eq i64 %indvars.iv.next237, %200
  %or.cond219 = select i1 %235, i1 true, i1 %.not147
  br i1 %or.cond219, label %._crit_edge214, label %208, !llvm.loop !111

._crit_edge214:                                   ; preds = %.critedge7, %198
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %18) #6
  br label %237

236:                                              ; preds = %225, %232, %206
  %.pn152 = phi { ptr, i32 } [ %207, %206 ], [ %233, %232 ], [ %226, %225 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %18) #6
  br label %240

237:                                              ; preds = %._crit_edge214, %._crit_edge201
  call void @_ZNSt6vectorIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #6
  br label %238

238:                                              ; preds = %237, %.lr.ph218
  %indvars.iv.next240 = add nuw nsw i64 %indvars.iv239, 1
  %.not143 = icmp eq i64 %indvars.iv.next240, %176
  br i1 %.not143, label %.loopexit, label %.lr.ph218, !llvm.loop !112

239:                                              ; preds = %61
  call void @_ZNSt10unique_ptrIA_17HighsDomainChangeSt14default_deleteIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %8) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #6
  br label %242

240:                                              ; preds = %86, %171, %103, %236, %202, %67
  %.pn155.pn = phi { ptr, i32 } [ %68, %67 ], [ %87, %86 ], [ %.pn140, %171 ], [ %104, %103 ], [ %.pn152, %236 ], [ %203, %202 ]
  call void @_ZNSt10unique_ptrIA_17HighsDomainChangeSt14default_deleteIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %8) #6
  br label %241

241:                                              ; preds = %240, %65
  %.pn155.pn.pn = phi { ptr, i32 } [ %.pn155.pn, %240 ], [ %66, %65 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #6
  br label %243

242:                                              ; preds = %20, %239
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #6
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %2) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %2) #6
  ret i1 %19

243:                                              ; preds = %241, %21
  %.pn155.pn.pn.pn = phi { ptr, i32 } [ %.pn155.pn.pn, %241 ], [ %22, %21 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #6
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %2) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %2) #6
  resume { ptr, i32 } %.pn155.pn.pn.pn
}

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef zeroext i1 @"_ZZN11HighsDomain9propagateEvENK3$_0clEv"(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxImERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4

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

; Function Attrs: nobuiltin allocsize(0)
declare noundef nonnull ptr @_Znam(i64 noundef) local_unnamed_addr #5

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @"_ZZN11HighsDomain9propagateEvENK3$_1clEi"(ptr noundef nonnull align 8 dereferenceable(24), i32 noundef) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(8) ptr @_ZNSt6vectorISt4pairIiiESaIS1_EEixEm(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(16) ptr @_ZNKSt10unique_ptrIA_17HighsDomainChangeSt14default_deleteIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(8), i64 noundef) local_unnamed_addr #1 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @"_ZZN11HighsDomain9propagateEvENK3$_2clEi"(ptr noundef nonnull align 8 dereferenceable(32), i32 noundef) local_unnamed_addr #3 align 2

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 0}
!6 = !{!"_ZTSZN11HighsDomain9propagateEvE3$_0", !7, i64 0}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!11, !7, i64 472}
!11 = !{!"_ZTS11HighsDomain", !12, i64 0, !16, i64 24, !20, i64 48, !24, i64 72, !28, i64 96, !32, i64 120, !36, i64 144, !36, i64 168, !16, i64 192, !16, i64 216, !40, i64 240, !12, i64 264, !16, i64 288, !44, i64 312, !7, i64 472, !57, i64 480, !63, i64 560, !48, i64 640, !68, i64 644, !47, i64 652, !16, i64 656, !16, i64 680, !16, i64 704, !69, i64 728, !48, i64 768, !40, i64 776, !40, i64 800}
!12 = !{!"_ZTSSt6vectorIhSaIhEE", !13, i64 0}
!13 = !{!"_ZTSSt12_Vector_baseIhSaIhEE", !14, i64 0}
!14 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE12_Vector_implE", !15, i64 0}
!15 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!16 = !{!"_ZTSSt6vectorIiSaIiEE", !17, i64 0}
!17 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !18, i64 0}
!18 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !19, i64 0}
!19 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!20 = !{!"_ZTSSt6vectorISt4pairIiiESaIS1_EE", !21, i64 0}
!21 = !{!"_ZTSSt12_Vector_baseISt4pairIiiESaIS1_EE", !22, i64 0}
!22 = !{!"_ZTSNSt12_Vector_baseISt4pairIiiESaIS1_EE12_Vector_implE", !23, i64 0}
!23 = !{!"_ZTSNSt12_Vector_baseISt4pairIiiESaIS1_EE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!24 = !{!"_ZTSSt6vectorI17HighsDomainChangeSaIS0_EE", !25, i64 0}
!25 = !{!"_ZTSSt12_Vector_baseI17HighsDomainChangeSaIS0_EE", !26, i64 0}
!26 = !{!"_ZTSNSt12_Vector_baseI17HighsDomainChangeSaIS0_EE12_Vector_implE", !27, i64 0}
!27 = !{!"_ZTSNSt12_Vector_baseI17HighsDomainChangeSaIS0_EE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!28 = !{!"_ZTSSt6vectorIN11HighsDomain6ReasonESaIS1_EE", !29, i64 0}
!29 = !{!"_ZTSSt12_Vector_baseIN11HighsDomain6ReasonESaIS1_EE", !30, i64 0}
!30 = !{!"_ZTSNSt12_Vector_baseIN11HighsDomain6ReasonESaIS1_EE12_Vector_implE", !31, i64 0}
!31 = !{!"_ZTSNSt12_Vector_baseIN11HighsDomain6ReasonESaIS1_EE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!32 = !{!"_ZTSSt6vectorISt4pairIdiESaIS1_EE", !33, i64 0}
!33 = !{!"_ZTSSt12_Vector_baseISt4pairIdiESaIS1_EE", !34, i64 0}
!34 = !{!"_ZTSNSt12_Vector_baseISt4pairIdiESaIS1_EE12_Vector_implE", !35, i64 0}
!35 = !{!"_ZTSNSt12_Vector_baseISt4pairIdiESaIS1_EE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!36 = !{!"_ZTSSt6vectorI12HighsCDoubleSaIS0_EE", !37, i64 0}
!37 = !{!"_ZTSSt12_Vector_baseI12HighsCDoubleSaIS0_EE", !38, i64 0}
!38 = !{!"_ZTSNSt12_Vector_baseI12HighsCDoubleSaIS0_EE12_Vector_implE", !39, i64 0}
!39 = !{!"_ZTSNSt12_Vector_baseI12HighsCDoubleSaIS0_EE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!40 = !{!"_ZTSSt6vectorIdSaIdEE", !41, i64 0}
!41 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !42, i64 0}
!42 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !43, i64 0}
!43 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!44 = !{!"_ZTSN11HighsDomain20ObjectivePropagationE", !7, i64 0, !7, i64 8, !7, i64 16, !45, i64 24, !47, i64 40, !46, i64 48, !48, i64 56, !49, i64 64, !20, i64 88, !40, i64 112, !53, i64 136}
!45 = !{!"_ZTS12HighsCDouble", !46, i64 0, !46, i64 8}
!46 = !{!"double", !8, i64 0}
!47 = !{!"int", !8, i64 0}
!48 = !{!"bool", !8, i64 0}
!49 = !{!"_ZTSSt6vectorIN11HighsDomain20ObjectivePropagation21ObjectiveContributionESaIS2_EE", !50, i64 0}
!50 = !{!"_ZTSSt12_Vector_baseIN11HighsDomain20ObjectivePropagation21ObjectiveContributionESaIS2_EE", !51, i64 0}
!51 = !{!"_ZTSNSt12_Vector_baseIN11HighsDomain20ObjectivePropagation21ObjectiveContributionESaIS2_EE12_Vector_implE", !52, i64 0}
!52 = !{!"_ZTSNSt12_Vector_baseIN11HighsDomain20ObjectivePropagation21ObjectiveContributionESaIS2_EE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!53 = !{!"_ZTSSt6vectorIN11HighsDomain20ObjectivePropagation19PartitionCliqueDataESaIS2_EE", !54, i64 0}
!54 = !{!"_ZTSSt12_Vector_baseIN11HighsDomain20ObjectivePropagation19PartitionCliqueDataESaIS2_EE", !55, i64 0}
!55 = !{!"_ZTSNSt12_Vector_baseIN11HighsDomain20ObjectivePropagation19PartitionCliqueDataESaIS2_EE12_Vector_implE", !56, i64 0}
!56 = !{!"_ZTSNSt12_Vector_baseIN11HighsDomain20ObjectivePropagation19PartitionCliqueDataESaIS2_EE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!57 = !{!"_ZTSSt5dequeIN11HighsDomain18CutpoolPropagationESaIS1_EE", !58, i64 0}
!58 = !{!"_ZTSSt11_Deque_baseIN11HighsDomain18CutpoolPropagationESaIS1_EE", !59, i64 0}
!59 = !{!"_ZTSNSt11_Deque_baseIN11HighsDomain18CutpoolPropagationESaIS1_EE11_Deque_implE", !60, i64 0}
!60 = !{!"_ZTSNSt11_Deque_baseIN11HighsDomain18CutpoolPropagationESaIS1_EE16_Deque_impl_dataE", !7, i64 0, !61, i64 8, !62, i64 16, !62, i64 48}
!61 = !{!"long", !8, i64 0}
!62 = !{!"_ZTSSt15_Deque_iteratorIN11HighsDomain18CutpoolPropagationERS1_PS1_E", !7, i64 0, !7, i64 8, !7, i64 16, !7, i64 24}
!63 = !{!"_ZTSSt5dequeIN11HighsDomain23ConflictPoolPropagationESaIS1_EE", !64, i64 0}
!64 = !{!"_ZTSSt11_Deque_baseIN11HighsDomain23ConflictPoolPropagationESaIS1_EE", !65, i64 0}
!65 = !{!"_ZTSNSt11_Deque_baseIN11HighsDomain23ConflictPoolPropagationESaIS1_EE11_Deque_implE", !66, i64 0}
!66 = !{!"_ZTSNSt11_Deque_baseIN11HighsDomain23ConflictPoolPropagationESaIS1_EE16_Deque_impl_dataE", !7, i64 0, !61, i64 8, !67, i64 16, !67, i64 48}
!67 = !{!"_ZTSSt15_Deque_iteratorIN11HighsDomain23ConflictPoolPropagationERS1_PS1_E", !7, i64 0, !7, i64 8, !7, i64 16, !7, i64 24}
!68 = !{!"_ZTSN11HighsDomain6ReasonE", !47, i64 0, !47, i64 4}
!69 = !{!"_ZTS14HighsHashTableIivE", !70, i64 0, !76, i64 8, !61, i64 16, !61, i64 24, !61, i64 32}
!70 = !{!"_ZTSSt10unique_ptrI19HighsHashTableEntryIivEN14HighsHashTableIivE12OpNewDeleterEE", !71, i64 0}
!71 = !{!"_ZTSSt15__uniq_ptr_dataI19HighsHashTableEntryIivEN14HighsHashTableIivE12OpNewDeleterELb1ELb1EE", !72, i64 0}
!72 = !{!"_ZTSSt15__uniq_ptr_implI19HighsHashTableEntryIivEN14HighsHashTableIivE12OpNewDeleterEE", !73, i64 0}
!73 = !{!"_ZTSSt5tupleIJP19HighsHashTableEntryIivEN14HighsHashTableIivE12OpNewDeleterEEE", !74, i64 0}
!74 = !{!"_ZTSSt11_Tuple_implILm0EJP19HighsHashTableEntryIivEN14HighsHashTableIivE12OpNewDeleterEEE", !75, i64 0}
!75 = !{!"_ZTSSt10_Head_baseILm0EP19HighsHashTableEntryIivELb0EE", !7, i64 0}
!76 = !{!"_ZTSSt10unique_ptrIA_hSt14default_deleteIS0_EE", !77, i64 0}
!77 = !{!"_ZTSSt15__uniq_ptr_dataIhSt14default_deleteIA_hELb1ELb1EE", !78, i64 0}
!78 = !{!"_ZTSSt15__uniq_ptr_implIhSt14default_deleteIA_hEE", !79, i64 0}
!79 = !{!"_ZTSSt5tupleIJPhSt14default_deleteIA_hEEE", !80, i64 0}
!80 = !{!"_ZTSSt11_Tuple_implILm0EJPhSt14default_deleteIA_hEEE", !81, i64 0}
!81 = !{!"_ZTSSt10_Head_baseILm0EPhLb0EE", !7, i64 0}
!82 = !{!61, !61, i64 0}
!83 = !{!84, !7, i64 16}
!84 = !{!"_ZTSN11HighsDomain18CutpoolPropagationE", !47, i64 0, !7, i64 8, !7, i64 16, !36, i64 24, !16, i64 48, !12, i64 72, !16, i64 96, !40, i64 120}
!85 = distinct !{!85, !86}
!86 = !{!"llvm.loop.mustprogress"}
!87 = distinct !{!87, !86}
!88 = !{!47, !47, i64 0}
!89 = distinct !{!89, !86}
!90 = !{!11, !48, i64 640}
!91 = !{i8 0, i8 2}
!92 = !{}
!93 = !{!8, !8, i64 0}
!94 = distinct !{!94, !86}
!95 = !{!7, !7, i64 0}
!96 = !{!97, !7, i64 8}
!97 = !{!"_ZTSZN11HighsDomain9propagateEvE3$_1", !7, i64 0, !7, i64 8, !7, i64 16}
!98 = distinct !{!98, !86}
!99 = !{!100, !47, i64 0}
!100 = !{!"_ZTSSt4pairIiiE", !47, i64 0, !47, i64 4}
!101 = !{!46, !46, i64 0}
!102 = distinct !{!102, !86}
!103 = !{!100, !47, i64 4}
!104 = distinct !{!104, !86}
!105 = distinct !{!105, !86}
!106 = distinct !{!106, !86}
!107 = !{!108, !7, i64 16}
!108 = !{!"_ZTSZN11HighsDomain9propagateEvE3$_2", !7, i64 0, !7, i64 8, !7, i64 16, !7, i64 24}
!109 = distinct !{!109, !86}
!110 = distinct !{!110, !86}
!111 = distinct !{!111, !86}
!112 = distinct !{!112, !86}


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