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

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

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

@.str.53 = external hidden unnamed_addr constant [76 x i8], align 1
@.str.79 = external hidden unnamed_addr constant [28 x i8], align 1
@__PRETTY_FUNCTION__._ZN10HEkkPrimal17considerBoundSwapEv = external hidden unnamed_addr constant [37 x i8], align 1
@.str.110 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.111 = external hidden unnamed_addr constant [54 x i8], align 1
@.str.112 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.113 = external hidden unnamed_addr constant [37 x i8], align 1

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
define dso_local void @_ZN10HEkkPrimal17considerBoundSwapEv(ptr noundef nonnull align 8 dereferenceable(1616) %0) #2 align 2 {
  %2 = alloca ptr, align 8
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca i8, align 1
  %11 = alloca double, align 8
  %12 = alloca double, align 8
  %13 = alloca i8, align 1
  %14 = alloca i32, align 4
  store ptr %0, ptr %2, align 8, !tbaa !5
  %15 = load ptr, ptr %2, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #3
  %16 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 0
  %17 = load ptr, ptr %16, align 8, !tbaa !9
  %18 = getelementptr inbounds %class.HEkk, ptr %17, i32 0, i32 8
  store ptr %18, ptr %3, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #3
  %19 = load ptr, ptr %3, align 8, !tbaa !5
  %20 = getelementptr inbounds %struct.HighsSimplexInfo, ptr %19, i32 0, i32 3
  store ptr %20, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #3
  %21 = load ptr, ptr %3, align 8, !tbaa !5
  %22 = getelementptr inbounds %struct.HighsSimplexInfo, ptr %21, i32 0, i32 4
  store ptr %22, ptr %5, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #3
  %23 = load ptr, ptr %3, align 8, !tbaa !5
  %24 = getelementptr inbounds %struct.HighsSimplexInfo, ptr %23, i32 0, i32 9
  store ptr %24, ptr %6, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #3
  %25 = load ptr, ptr %3, align 8, !tbaa !5
  %26 = getelementptr inbounds %struct.HighsSimplexInfo, ptr %25, i32 0, i32 10
  store ptr %26, ptr %7, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #3
  %27 = load ptr, ptr %3, align 8, !tbaa !5
  %28 = getelementptr inbounds %struct.HighsSimplexInfo, ptr %27, i32 0, i32 6
  store ptr %28, ptr %8, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #3
  %29 = load ptr, ptr %3, align 8, !tbaa !5
  %30 = getelementptr inbounds %struct.HighsSimplexInfo, ptr %29, i32 0, i32 11
  store ptr %30, ptr %9, align 8, !tbaa !5
  %31 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 13
  %32 = load i32, ptr %31, align 4, !tbaa !35
  %33 = icmp eq i32 %32, -1
  br i1 %33, label %34, label %48

34:                                               ; preds = %1
  %35 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 5
  %36 = load i32, ptr %35, align 4, !tbaa !36
  %37 = icmp eq i32 %36, 2
  br i1 %37, label %38, label %39

38:                                               ; preds = %34
  br label %41

39:                                               ; preds = %34
  call void @__assert_fail(ptr noundef @.str.79, ptr noundef @.str.53, i32 noundef 1337, ptr noundef @__PRETTY_FUNCTION__._ZN10HEkkPrimal17considerBoundSwapEv) #4
  unreachable

40:                                               ; No predecessors!
  br label %41

41:                                               ; preds = %40, %38
  %42 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 12
  %43 = load i32, ptr %42, align 8, !tbaa !37
  %44 = sitofp i32 %43 to double
  %45 = fmul double %44, 0x7FF0000000000000
  %46 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 17
  store double %45, ptr %46, align 8, !tbaa !38
  %47 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 15
  store i32 0, ptr %47, align 4, !tbaa !39
  br label %133

48:                                               ; preds = %1
  %49 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 13
  %50 = load i32, ptr %49, align 4, !tbaa !35
  %51 = icmp sge i32 %50, 0
  br i1 %51, label %52, label %53

52:                                               ; preds = %48
  br label %55

53:                                               ; preds = %48
  call void @__assert_fail(ptr noundef @.str.110, ptr noundef @.str.53, i32 noundef 1342, ptr noundef @__PRETTY_FUNCTION__._ZN10HEkkPrimal17considerBoundSwapEv) #4
  unreachable

54:                                               ; No predecessors!
  br label %55

55:                                               ; preds = %54, %52
  %56 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 45
  %57 = getelementptr inbounds %class.HVectorBase, ptr %56, i32 0, i32 3
  %58 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 13
  %59 = load i32, ptr %58, align 4, !tbaa !35
  %60 = sext i32 %59 to i64
  %61 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %57, i64 noundef %60) #3
  %62 = load double, ptr %61, align 8, !tbaa !40
  %63 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 19
  store double %62, ptr %63, align 8, !tbaa !41
  %64 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 5
  %65 = load i32, ptr %64, align 4, !tbaa !36
  %66 = icmp eq i32 %65, 2
  br i1 %66, label %67, label %78

67:                                               ; preds = %55
  %68 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 19
  %69 = load double, ptr %68, align 8, !tbaa !41
  %70 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 12
  %71 = load i32, ptr %70, align 8, !tbaa !37
  %72 = sitofp i32 %71 to double
  %73 = fmul double %69, %72
  %74 = fcmp ogt double %73, 0.000000e+00
  %75 = zext i1 %74 to i64
  %76 = select i1 %74, i32 -1, i32 1
  %77 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 15
  store i32 %76, ptr %77, align 4, !tbaa !39
  br label %78

78:                                               ; preds = %67, %55
  %79 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 17
  store double 0.000000e+00, ptr %79, align 8, !tbaa !38
  %80 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 15
  %81 = load i32, ptr %80, align 4, !tbaa !39
  %82 = icmp eq i32 %81, 1
  br i1 %82, label %83, label %101

83:                                               ; preds = %78
  %84 = load ptr, ptr %9, align 8, !tbaa !5
  %85 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 13
  %86 = load i32, ptr %85, align 4, !tbaa !35
  %87 = sext i32 %86 to i64
  %88 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %84, i64 noundef %87) #3
  %89 = load double, ptr %88, align 8, !tbaa !40
  %90 = load ptr, ptr %7, align 8, !tbaa !5
  %91 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 13
  %92 = load i32, ptr %91, align 4, !tbaa !35
  %93 = sext i32 %92 to i64
  %94 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %90, i64 noundef %93) #3
  %95 = load double, ptr %94, align 8, !tbaa !40
  %96 = fsub double %89, %95
  %97 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 19
  %98 = load double, ptr %97, align 8, !tbaa !41
  %99 = fdiv double %96, %98
  %100 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 17
  store double %99, ptr %100, align 8, !tbaa !38
  br label %119

101:                                              ; preds = %78
  %102 = load ptr, ptr %9, align 8, !tbaa !5
  %103 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 13
  %104 = load i32, ptr %103, align 4, !tbaa !35
  %105 = sext i32 %104 to i64
  %106 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %102, i64 noundef %105) #3
  %107 = load double, ptr %106, align 8, !tbaa !40
  %108 = load ptr, ptr %6, align 8, !tbaa !5
  %109 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 13
  %110 = load i32, ptr %109, align 4, !tbaa !35
  %111 = sext i32 %110 to i64
  %112 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %108, i64 noundef %111) #3
  %113 = load double, ptr %112, align 8, !tbaa !40
  %114 = fsub double %107, %113
  %115 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 19
  %116 = load double, ptr %115, align 8, !tbaa !41
  %117 = fdiv double %114, %116
  %118 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 17
  store double %117, ptr %118, align 8, !tbaa !38
  br label %119

119:                                              ; preds = %101, %83
  %120 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 17
  %121 = load double, ptr %120, align 8, !tbaa !38
  %122 = fcmp ogt double %121, 0xFFF0000000000000
  br i1 %122, label %123, label %127

123:                                              ; preds = %119
  %124 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 17
  %125 = load double, ptr %124, align 8, !tbaa !38
  %126 = fcmp olt double %125, 0x7FF0000000000000
  br label %127

127:                                              ; preds = %123, %119
  %128 = phi i1 [ false, %119 ], [ %126, %123 ]
  br i1 %128, label %129, label %130

129:                                              ; preds = %127
  br label %132

130:                                              ; preds = %127
  call void @__assert_fail(ptr noundef @.str.111, ptr noundef @.str.53, i32 noundef 1358, ptr noundef @__PRETTY_FUNCTION__._ZN10HEkkPrimal17considerBoundSwapEv) #4
  unreachable

131:                                              ; No predecessors!
  br label %132

132:                                              ; preds = %131, %129
  br label %133

133:                                              ; preds = %132, %41
  call void @llvm.lifetime.start.p0(i64 1, ptr %10) #3
  store i8 0, ptr %10, align 1, !tbaa !42
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #3
  %134 = load ptr, ptr %4, align 8, !tbaa !5
  %135 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 11
  %136 = load i32, ptr %135, align 4, !tbaa !43
  %137 = sext i32 %136 to i64
  %138 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %134, i64 noundef %137) #3
  %139 = load double, ptr %138, align 8, !tbaa !40
  store double %139, ptr %11, align 8, !tbaa !40
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #3
  %140 = load ptr, ptr %5, align 8, !tbaa !5
  %141 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 11
  %142 = load i32, ptr %141, align 4, !tbaa !43
  %143 = sext i32 %142 to i64
  %144 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %140, i64 noundef %143) #3
  %145 = load double, ptr %144, align 8, !tbaa !40
  store double %145, ptr %12, align 8, !tbaa !40
  %146 = load ptr, ptr %8, align 8, !tbaa !5
  %147 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 11
  %148 = load i32, ptr %147, align 4, !tbaa !43
  %149 = sext i32 %148 to i64
  %150 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %146, i64 noundef %149) #3
  %151 = load double, ptr %150, align 8, !tbaa !40
  %152 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 17
  %153 = load double, ptr %152, align 8, !tbaa !38
  %154 = fadd double %151, %153
  %155 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 18
  store double %154, ptr %155, align 8, !tbaa !44
  %156 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 12
  %157 = load i32, ptr %156, align 8, !tbaa !37
  %158 = icmp sgt i32 %157, 0
  br i1 %158, label %159, label %176

159:                                              ; preds = %133
  %160 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 18
  %161 = load double, ptr %160, align 8, !tbaa !44
  %162 = load double, ptr %12, align 8, !tbaa !40
  %163 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 7
  %164 = load double, ptr %163, align 8, !tbaa !45
  %165 = fadd double %162, %164
  %166 = fcmp ogt double %161, %165
  br i1 %166, label %167, label %175

167:                                              ; preds = %159
  store i8 1, ptr %10, align 1, !tbaa !42
  %168 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 13
  store i32 -1, ptr %168, align 4, !tbaa !35
  %169 = load double, ptr %12, align 8, !tbaa !40
  %170 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 18
  store double %169, ptr %170, align 8, !tbaa !44
  %171 = load double, ptr %12, align 8, !tbaa !40
  %172 = load double, ptr %11, align 8, !tbaa !40
  %173 = fsub double %171, %172
  %174 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 17
  store double %173, ptr %174, align 8, !tbaa !38
  br label %175

175:                                              ; preds = %167, %159
  br label %193

176:                                              ; preds = %133
  %177 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 18
  %178 = load double, ptr %177, align 8, !tbaa !44
  %179 = load double, ptr %11, align 8, !tbaa !40
  %180 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 7
  %181 = load double, ptr %180, align 8, !tbaa !45
  %182 = fsub double %179, %181
  %183 = fcmp olt double %178, %182
  br i1 %183, label %184, label %192

184:                                              ; preds = %176
  store i8 1, ptr %10, align 1, !tbaa !42
  %185 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 13
  store i32 -1, ptr %185, align 4, !tbaa !35
  %186 = load double, ptr %11, align 8, !tbaa !40
  %187 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 18
  store double %186, ptr %187, align 8, !tbaa !44
  %188 = load double, ptr %11, align 8, !tbaa !40
  %189 = load double, ptr %12, align 8, !tbaa !40
  %190 = fsub double %188, %189
  %191 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 17
  store double %190, ptr %191, align 8, !tbaa !38
  br label %192

192:                                              ; preds = %184, %176
  br label %193

193:                                              ; preds = %192, %175
  call void @llvm.lifetime.start.p0(i64 1, ptr %13) #3
  %194 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 13
  %195 = load i32, ptr %194, align 4, !tbaa !35
  %196 = icmp sge i32 %195, 0
  br i1 %196, label %200, label %197

197:                                              ; preds = %193
  %198 = load i8, ptr %10, align 1, !tbaa !42, !range !46, !noundef !47
  %199 = trunc i8 %198 to i1
  br label %200

200:                                              ; preds = %197, %193
  %201 = phi i1 [ true, %193 ], [ %199, %197 ]
  %202 = zext i1 %201 to i8
  store i8 %202, ptr %13, align 1, !tbaa !42
  %203 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 5
  %204 = load i32, ptr %203, align 4, !tbaa !36
  %205 = icmp eq i32 %204, 2
  br i1 %205, label %206, label %212

206:                                              ; preds = %200
  %207 = load i8, ptr %13, align 1, !tbaa !42, !range !46, !noundef !47
  %208 = trunc i8 %207 to i1
  br i1 %208, label %211, label %209

209:                                              ; preds = %206
  %210 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 10
  store i32 5, ptr %210, align 8, !tbaa !48
  store i32 1, ptr %14, align 4
  br label %231

211:                                              ; preds = %206
  br label %212

212:                                              ; preds = %211, %200
  %213 = load i8, ptr %13, align 1, !tbaa !42, !range !46, !noundef !47
  %214 = trunc i8 %213 to i1
  br i1 %214, label %215, label %216

215:                                              ; preds = %212
  br label %218

216:                                              ; preds = %212
  call void @__assert_fail(ptr noundef @.str.112, ptr noundef @.str.53, i32 noundef 1390, ptr noundef @__PRETTY_FUNCTION__._ZN10HEkkPrimal17considerBoundSwapEv) #4
  unreachable

217:                                              ; No predecessors!
  br label %218

218:                                              ; preds = %217, %215
  %219 = load i8, ptr %10, align 1, !tbaa !42, !range !46, !noundef !47
  %220 = trunc i8 %219 to i1
  %221 = zext i1 %220 to i32
  %222 = getelementptr inbounds %class.HEkkPrimal, ptr %15, i32 0, i32 13
  %223 = load i32, ptr %222, align 4, !tbaa !35
  %224 = icmp eq i32 %223, -1
  %225 = zext i1 %224 to i32
  %226 = icmp eq i32 %221, %225
  br i1 %226, label %227, label %228

227:                                              ; preds = %218
  br label %230

228:                                              ; preds = %218
  call void @__assert_fail(ptr noundef @.str.113, ptr noundef @.str.53, i32 noundef 1391, ptr noundef @__PRETTY_FUNCTION__._ZN10HEkkPrimal17considerBoundSwapEv) #4
  unreachable

229:                                              ; No predecessors!
  br label %230

230:                                              ; preds = %229, %227
  store i32 0, ptr %14, align 4
  br label %231

231:                                              ; preds = %230, %209
  call void @llvm.lifetime.end.p0(i64 1, ptr %13) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 1, ptr %10) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #3
  %232 = load i32, ptr %14, align 4
  switch i32 %232, label %234 [
    i32 0, label %233
    i32 1, label %233
  ]

233:                                              ; preds = %231, %231
  ret void

234:                                              ; preds = %231
  unreachable
}

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

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

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

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


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

@.str.53 = external hidden unnamed_addr constant [76 x i8], align 1
@.str.79 = external hidden unnamed_addr constant [28 x i8], align 1
@__PRETTY_FUNCTION__._ZN10HEkkPrimal17considerBoundSwapEv = external hidden unnamed_addr constant [37 x i8], align 1
@.str.110 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.111 = external hidden unnamed_addr constant [54 x i8], align 1
@.str.112 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.113 = external hidden unnamed_addr constant [37 x i8], align 1

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

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

; Function Attrs: mustprogress nounwind uwtable
define dso_local void @_ZN10HEkkPrimal17considerBoundSwapEv(ptr noundef nonnull align 8 dereferenceable(1616) %0) local_unnamed_addr #1 align 2 {
  %2 = load ptr, ptr %0, align 8, !tbaa !5
  %3 = getelementptr inbounds i8, ptr %2, i64 9640
  %4 = getelementptr inbounds i8, ptr %2, i64 9664
  %5 = getelementptr inbounds i8, ptr %2, i64 9712
  %6 = getelementptr inbounds i8, ptr %2, i64 9832
  %7 = getelementptr inbounds i8, ptr %0, i64 76
  %8 = load i32, ptr %7, align 4, !tbaa !34
  %9 = icmp eq i32 %8, -1
  br i1 %9, label %10, label %22

10:                                               ; preds = %1
  %11 = getelementptr inbounds i8, ptr %0, i64 28
  %12 = load i32, ptr %11, align 4, !tbaa !35
  %13 = icmp eq i32 %12, 2
  br i1 %13, label %15, label %14

14:                                               ; preds = %10
  tail call void @__assert_fail(ptr noundef nonnull @.str.79, ptr noundef nonnull @.str.53, i32 noundef 1337, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN10HEkkPrimal17considerBoundSwapEv) #3
  unreachable

15:                                               ; preds = %10
  %16 = getelementptr inbounds i8, ptr %0, i64 72
  %17 = load i32, ptr %16, align 8, !tbaa !36
  %18 = sitofp i32 %17 to double
  %19 = fmul double %18, 0x7FF0000000000000
  %20 = getelementptr inbounds i8, ptr %0, i64 96
  store double %19, ptr %20, align 8, !tbaa !37
  %21 = getelementptr inbounds i8, ptr %0, i64 84
  store i32 0, ptr %21, align 4, !tbaa !38
  br label %58

22:                                               ; preds = %1
  %23 = icmp sgt i32 %8, -1
  br i1 %23, label %25, label %24

24:                                               ; preds = %22
  tail call void @__assert_fail(ptr noundef nonnull @.str.110, ptr noundef nonnull @.str.53, i32 noundef 1342, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN10HEkkPrimal17considerBoundSwapEv) #3
  unreachable

25:                                               ; preds = %22
  %26 = getelementptr inbounds i8, ptr %0, i64 888
  %27 = zext nneg i32 %8 to i64
  %28 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %26, i64 noundef %27) #4
  %29 = load double, ptr %28, align 8, !tbaa !39
  %30 = getelementptr inbounds i8, ptr %0, i64 112
  store double %29, ptr %30, align 8, !tbaa !40
  %31 = getelementptr inbounds i8, ptr %0, i64 28
  %32 = load i32, ptr %31, align 4, !tbaa !35
  %33 = icmp eq i32 %32, 2
  br i1 %33, label %34, label %._crit_edge

._crit_edge:                                      ; preds = %25
  %.phi.trans.insert = getelementptr inbounds i8, ptr %0, i64 84
  %.pre = load i32, ptr %.phi.trans.insert, align 4, !tbaa !38
  br label %42

34:                                               ; preds = %25
  %35 = getelementptr inbounds i8, ptr %0, i64 72
  %36 = load i32, ptr %35, align 8, !tbaa !36
  %37 = sitofp i32 %36 to double
  %38 = fmul double %29, %37
  %39 = fcmp ogt double %38, 0.000000e+00
  %40 = select i1 %39, i32 -1, i32 1
  %41 = getelementptr inbounds i8, ptr %0, i64 84
  store i32 %40, ptr %41, align 4, !tbaa !38
  br label %42

42:                                               ; preds = %._crit_edge, %34
  %43 = phi i32 [ %.pre, %._crit_edge ], [ %40, %34 ]
  %44 = getelementptr inbounds i8, ptr %0, i64 96
  store double 0.000000e+00, ptr %44, align 8, !tbaa !37
  %45 = icmp eq i32 %43, 1
  %46 = load i32, ptr %7, align 4, !tbaa !34
  %47 = sext i32 %46 to i64
  %48 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %47) #4
  %49 = load double, ptr %48, align 8, !tbaa !39
  %50 = load i32, ptr %7, align 4, !tbaa !34
  %51 = sext i32 %50 to i64
  %..v = select i1 %45, i64 9808, i64 9784
  %. = getelementptr inbounds i8, ptr %2, i64 %..v
  %52 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %., i64 noundef %51) #4
  %53 = load double, ptr %52, align 8, !tbaa !39
  %54 = fsub double %49, %53
  %55 = load double, ptr %30, align 8, !tbaa !40
  %56 = fdiv double %54, %55
  store double %56, ptr %44, align 8, !tbaa !37
  %57 = tail call double @llvm.fabs.f64(double %56)
  %or.cond = fcmp ueq double %57, 0x7FF0000000000000
  br i1 %or.cond, label %.critedge, label %58

.critedge:                                        ; preds = %42
  tail call void @__assert_fail(ptr noundef nonnull @.str.111, ptr noundef nonnull @.str.53, i32 noundef 1358, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN10HEkkPrimal17considerBoundSwapEv) #3
  unreachable

58:                                               ; preds = %42, %15
  %59 = getelementptr inbounds i8, ptr %0, i64 68
  %60 = load i32, ptr %59, align 4, !tbaa !41
  %61 = sext i32 %60 to i64
  %62 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %3, i64 noundef %61) #4
  %63 = load double, ptr %62, align 8, !tbaa !39
  %64 = load i32, ptr %59, align 4, !tbaa !41
  %65 = sext i32 %64 to i64
  %66 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %4, i64 noundef %65) #4
  %67 = load double, ptr %66, align 8, !tbaa !39
  %68 = load i32, ptr %59, align 4, !tbaa !41
  %69 = sext i32 %68 to i64
  %70 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %69) #4
  %71 = load double, ptr %70, align 8, !tbaa !39
  %72 = getelementptr inbounds i8, ptr %0, i64 96
  %73 = load double, ptr %72, align 8, !tbaa !37
  %74 = fadd double %71, %73
  %75 = getelementptr inbounds i8, ptr %0, i64 104
  store double %74, ptr %75, align 8, !tbaa !42
  %76 = getelementptr inbounds i8, ptr %0, i64 72
  %77 = load i32, ptr %76, align 8, !tbaa !36
  %78 = icmp sgt i32 %77, 0
  %79 = getelementptr inbounds i8, ptr %0, i64 40
  %80 = load double, ptr %79, align 8, !tbaa !43
  br i1 %78, label %81, label %86

81:                                               ; preds = %58
  %82 = fadd double %67, %80
  %83 = fcmp ogt double %74, %82
  br i1 %83, label %84, label %91

84:                                               ; preds = %81
  store i32 -1, ptr %7, align 4, !tbaa !34
  store double %67, ptr %75, align 8, !tbaa !42
  %85 = fsub double %67, %63
  br label %101

86:                                               ; preds = %58
  %87 = fsub double %63, %80
  %88 = fcmp olt double %74, %87
  br i1 %88, label %89, label %91

89:                                               ; preds = %86
  store i32 -1, ptr %7, align 4, !tbaa !34
  store double %63, ptr %75, align 8, !tbaa !42
  %90 = fsub double %63, %67
  br label %101

91:                                               ; preds = %86, %81
  %92 = load i32, ptr %7, align 4, !tbaa !34
  %93 = icmp sgt i32 %92, -1
  %94 = getelementptr inbounds i8, ptr %0, i64 28
  %95 = load i32, ptr %94, align 4, !tbaa !35
  %96 = icmp ne i32 %95, 2
  %brmerge = select i1 %96, i1 true, i1 %93
  br i1 %brmerge, label %99, label %97

97:                                               ; preds = %91
  %98 = getelementptr inbounds i8, ptr %0, i64 64
  store i32 5, ptr %98, align 8, !tbaa !44
  br label %._crit_edge33

99:                                               ; preds = %91
  br i1 %93, label %._crit_edge33, label %100

100:                                              ; preds = %99
  tail call void @__assert_fail(ptr noundef nonnull @.str.112, ptr noundef nonnull @.str.53, i32 noundef 1390, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN10HEkkPrimal17considerBoundSwapEv) #3
  unreachable

101:                                              ; preds = %84, %89
  %.sink = phi double [ %85, %84 ], [ %90, %89 ]
  store double %.sink, ptr %72, align 8, !tbaa !37
  %102 = load i32, ptr %7, align 4, !tbaa !34
  %.not = icmp eq i32 %102, -1
  br i1 %.not, label %._crit_edge33, label %103

103:                                              ; preds = %101
  tail call void @__assert_fail(ptr noundef nonnull @.str.113, ptr noundef nonnull @.str.53, i32 noundef 1391, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN10HEkkPrimal17considerBoundSwapEv) #3
  unreachable

._crit_edge33:                                    ; preds = %99, %101, %97
  ret void
}

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

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

attributes #0 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #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 nosync nounwind speculatable willreturn memory(none) }
attributes #3 = { noreturn nounwind }
attributes #4 = { nounwind }

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

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


; Effective O3 passes: ADCEPass,BDCEPass,CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass