; LLVM IR from ERGO-Code/HiGHS :: src/lp_data/HighsSolution.ll (Z21accommodateAlienBasisR19HighsLpSolverObject)

; 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.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.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.73", %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.38", %"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.52", double }
%"class.std::vector.52" = type { %"struct.std::_Vector_base.53" }
%"struct.std::_Vector_base.53" = 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.std::unique_ptr.73" = type { %"struct.std::__uniq_ptr_data.74" }
%"struct.std::__uniq_ptr_data.74" = type { %"class.std::__uniq_ptr_impl.75" }
%"class.std::__uniq_ptr_impl.75" = type { %"class.std::tuple.76" }
%"class.std::tuple.76" = type { %"struct.std::_Tuple_impl.77" }
%"struct.std::_Tuple_impl.77" = type { %"struct.std::_Head_base.80" }
%"struct.std::_Head_base.80" = type { 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.38" = type { %"struct.std::_Vector_base.39" }
%"struct.std::_Vector_base.39" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.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.HVectorBase = type { i32, i32, %"class.std::vector.8", %"class.std::vector.3", double, %"class.std::vector.38", %"class.std::vector.8", ptr, i8, i32, %"class.std::vector.8", %"class.std::vector.3" }
%class.HighsLpSolverObject = type <{ ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, [4 x i8] }>
%struct.HighsBasis = type { i8, i8, i8, i8, i32, i32, %"class.std::__cxx11::basic_string", %"class.std::vector.28", %"class.std::vector.28" }
%"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] }
%"class.std::vector.28" = type { %"struct.std::_Vector_base.29" }
%"struct.std::_Vector_base.29" = 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.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.13", %"class.std::vector.13", %"class.std::vector.18", %struct.HighsNameHash, %struct.HighsNameHash, i32, i32, %struct.HighsScale, i8, i8, i32, i8, %struct.HighsLpMods }
%class.HighsSparseMatrix = type { i32, i32, i32, %"class.std::vector.8", %"class.std::vector.8", %"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<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.18" = type { %"struct.std::_Vector_base.19" }
%"struct.std::_Vector_base.19" = 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.18", %"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" }
%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 }

@.str.52 = external hidden unnamed_addr constant [79 x i8], align 1
@.str.110 = external hidden unnamed_addr constant [12 x i8], align 1
@__PRETTY_FUNCTION__._Z21accommodateAlienBasisR19HighsLpSolverObject = external hidden unnamed_addr constant [50 x i8], align 1
@.str.111 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.112 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.113 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.114 = external hidden unnamed_addr constant [31 x i8], align 1

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

declare i32 @__gxx_personality_v0(...)

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_Z21accommodateAlienBasisR19HighsLpSolverObject(ptr noundef nonnull align 8 dereferenceable(68) %0) #3 personality ptr @__gxx_personality_v0 {
  %2 = alloca ptr, align 8
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca %"class.std::vector.8", align 8
  %9 = alloca i32, align 4
  %10 = alloca ptr, align 8
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca %class.HFactor, align 8
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  store ptr %0, ptr %2, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #6
  %25 = load ptr, ptr %2, align 8, !tbaa !5
  %26 = getelementptr inbounds %class.HighsLpSolverObject, ptr %25, i32 0, i32 0
  %27 = load ptr, ptr %26, align 8, !tbaa !9
  store ptr %27, ptr %3, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #6
  %28 = load ptr, ptr %2, align 8, !tbaa !5
  %29 = getelementptr inbounds %class.HighsLpSolverObject, ptr %28, i32 0, i32 1
  %30 = load ptr, ptr %29, align 8, !tbaa !12
  store ptr %30, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #6
  %31 = load ptr, ptr %2, align 8, !tbaa !5
  %32 = getelementptr inbounds %class.HighsLpSolverObject, ptr %31, i32 0, i32 6
  %33 = load ptr, ptr %32, align 8, !tbaa !13
  store ptr %33, ptr %5, align 8, !tbaa !5
  %34 = load ptr, ptr %4, align 8, !tbaa !5
  %35 = getelementptr inbounds %struct.HighsBasis, ptr %34, i32 0, i32 1
  %36 = load i8, ptr %35, align 1, !tbaa !14, !range !25, !noundef !26
  %37 = trunc i8 %36 to i1
  br i1 %37, label %38, label %39

38:                                               ; preds = %1
  br label %41

39:                                               ; preds = %1
  call void @__assert_fail(ptr noundef @.str.110, ptr noundef @.str.52, i32 noundef 1402, ptr noundef @__PRETTY_FUNCTION__._Z21accommodateAlienBasisR19HighsLpSolverObject) #7
  unreachable

40:                                               ; No predecessors!
  br label %41

41:                                               ; preds = %40, %38
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #6
  %42 = load ptr, ptr %3, align 8, !tbaa !5
  %43 = getelementptr inbounds %class.HighsLp, ptr %42, i32 0, i32 1
  %44 = load i32, ptr %43, align 4, !tbaa !27
  store i32 %44, ptr %6, align 4, !tbaa !57
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #6
  %45 = load ptr, ptr %3, align 8, !tbaa !5
  %46 = getelementptr inbounds %class.HighsLp, ptr %45, i32 0, i32 0
  %47 = load i32, ptr %46, align 8, !tbaa !58
  store i32 %47, ptr %7, align 4, !tbaa !57
  %48 = load ptr, ptr %4, align 8, !tbaa !5
  %49 = getelementptr inbounds %struct.HighsBasis, ptr %48, i32 0, i32 7
  %50 = call noundef i64 @_ZNKSt6vectorI16HighsBasisStatusSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %49) #6
  %51 = trunc i64 %50 to i32
  %52 = load i32, ptr %7, align 4, !tbaa !57
  %53 = icmp sge i32 %51, %52
  br i1 %53, label %54, label %55

54:                                               ; preds = %41
  br label %57

55:                                               ; preds = %41
  call void @__assert_fail(ptr noundef @.str.111, ptr noundef @.str.52, i32 noundef 1405, ptr noundef @__PRETTY_FUNCTION__._Z21accommodateAlienBasisR19HighsLpSolverObject) #7
  unreachable

56:                                               ; No predecessors!
  br label %57

57:                                               ; preds = %56, %54
  %58 = load ptr, ptr %4, align 8, !tbaa !5
  %59 = getelementptr inbounds %struct.HighsBasis, ptr %58, i32 0, i32 8
  %60 = call noundef i64 @_ZNKSt6vectorI16HighsBasisStatusSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %59) #6
  %61 = trunc i64 %60 to i32
  %62 = load i32, ptr %6, align 4, !tbaa !57
  %63 = icmp sge i32 %61, %62
  br i1 %63, label %64, label %65

64:                                               ; preds = %57
  br label %67

65:                                               ; preds = %57
  call void @__assert_fail(ptr noundef @.str.112, ptr noundef @.str.52, i32 noundef 1406, ptr noundef @__PRETTY_FUNCTION__._Z21accommodateAlienBasisR19HighsLpSolverObject) #7
  unreachable

66:                                               ; No predecessors!
  br label %67

67:                                               ; preds = %66, %64
  call void @llvm.lifetime.start.p0(i64 24, ptr %8) #6
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %8) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #6
  store i32 0, ptr %9, align 4, !tbaa !57
  br label %68

68:                                               ; preds = %88, %67
  %69 = load i32, ptr %9, align 4, !tbaa !57
  %70 = load i32, ptr %7, align 4, !tbaa !57
  %71 = icmp slt i32 %69, %70
  br i1 %71, label %73, label %72

72:                                               ; preds = %68
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #6
  br label %91

73:                                               ; preds = %68
  %74 = load ptr, ptr %4, align 8, !tbaa !5
  %75 = getelementptr inbounds %struct.HighsBasis, ptr %74, i32 0, i32 7
  %76 = load i32, ptr %9, align 4, !tbaa !57
  %77 = sext i32 %76 to i64
  %78 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %75, i64 noundef %77) #6
  %79 = load i8, ptr %78, align 1, !tbaa !59
  %80 = icmp eq i8 %79, 1
  br i1 %80, label %81, label %87

81:                                               ; preds = %73
  invoke void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24) %8, ptr noundef nonnull align 4 dereferenceable(4) %9)
          to label %82 unwind label %83

82:                                               ; preds = %81
  br label %87

83:                                               ; preds = %81
  %84 = landingpad { ptr, i32 }
          cleanup
  %85 = extractvalue { ptr, i32 } %84, 0
  store ptr %85, ptr %10, align 8
  %86 = extractvalue { ptr, i32 } %84, 1
  store i32 %86, ptr %11, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #6
  br label %275

87:                                               ; preds = %82, %73
  br label %88

88:                                               ; preds = %87
  %89 = load i32, ptr %9, align 4, !tbaa !57
  %90 = add nsw i32 %89, 1
  store i32 %90, ptr %9, align 4, !tbaa !57
  br label %68, !llvm.loop !61

91:                                               ; preds = %72
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #6
  store i32 0, ptr %12, align 4, !tbaa !57
  br label %92

92:                                               ; preds = %115, %91
  %93 = load i32, ptr %12, align 4, !tbaa !57
  %94 = load i32, ptr %6, align 4, !tbaa !57
  %95 = icmp slt i32 %93, %94
  br i1 %95, label %97, label %96

96:                                               ; preds = %92
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #6
  br label %118

97:                                               ; preds = %92
  %98 = load ptr, ptr %4, align 8, !tbaa !5
  %99 = getelementptr inbounds %struct.HighsBasis, ptr %98, i32 0, i32 8
  %100 = load i32, ptr %12, align 4, !tbaa !57
  %101 = sext i32 %100 to i64
  %102 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %99, i64 noundef %101) #6
  %103 = load i8, ptr %102, align 1, !tbaa !59
  %104 = icmp eq i8 %103, 1
  br i1 %104, label %105, label %114

105:                                              ; preds = %97
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #6
  %106 = load i32, ptr %7, align 4, !tbaa !57
  %107 = load i32, ptr %12, align 4, !tbaa !57
  %108 = add nsw i32 %106, %107
  store i32 %108, ptr %13, align 4, !tbaa !57
  invoke void @_ZNSt6vectorIiSaIiEE9push_backEOi(ptr noundef nonnull align 8 dereferenceable(24) %8, ptr noundef nonnull align 4 dereferenceable(4) %13)
          to label %109 unwind label %110

109:                                              ; preds = %105
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #6
  br label %114

110:                                              ; preds = %105
  %111 = landingpad { ptr, i32 }
          cleanup
  %112 = extractvalue { ptr, i32 } %111, 0
  store ptr %112, ptr %10, align 8
  %113 = extractvalue { ptr, i32 } %111, 1
  store i32 %113, ptr %11, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #6
  br label %275

114:                                              ; preds = %109, %97
  br label %115

115:                                              ; preds = %114
  %116 = load i32, ptr %12, align 4, !tbaa !57
  %117 = add nsw i32 %116, 1
  store i32 %117, ptr %12, align 4, !tbaa !57
  br label %92, !llvm.loop !63

118:                                              ; preds = %96
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #6
  %119 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %8) #6
  %120 = trunc i64 %119 to i32
  store i32 %120, ptr %14, align 4, !tbaa !57
  call void @llvm.lifetime.start.p0(i64 1912, ptr %15) #6
  invoke void @_ZN7HFactorC2Ev(ptr noundef nonnull align 8 dereferenceable(1912) %15)
          to label %121 unwind label %135

121:                                              ; preds = %118
  %122 = load ptr, ptr %3, align 8, !tbaa !5
  %123 = getelementptr inbounds %class.HighsLp, ptr %122, i32 0, i32 7
  %124 = load i32, ptr %14, align 4, !tbaa !57
  %125 = call noundef ptr @_ZNSt6vectorIiSaIiEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %8) #6
  %126 = load ptr, ptr %5, align 8, !tbaa !5
  %127 = getelementptr inbounds %struct.HighsOptionsStruct, ptr %126, i32 0, i32 130
  invoke void @_ZN7HFactor12setupGeneralEPK17HighsSparseMatrixiPiddiPK15HighsLogOptions(ptr noundef nonnull align 8 dereferenceable(1912) %15, ptr noundef %123, i32 noundef %124, ptr noundef %125, double noundef 1.000000e-01, double noundef 1.000000e-10, i32 noundef 0, ptr noundef %127)
          to label %128 unwind label %139

128:                                              ; preds = %121
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #6
  %129 = invoke noundef i32 @_ZN7HFactor5buildEP15HighsTimerClock(ptr noundef nonnull align 8 dereferenceable(1912) %15, ptr noundef null)
          to label %130 unwind label %143

130:                                              ; preds = %128
  store i32 %129, ptr %16, align 4, !tbaa !57
  %131 = load i32, ptr %16, align 4, !tbaa !57
  %132 = icmp sge i32 %131, 0
  br i1 %132, label %133, label %134

133:                                              ; preds = %130
  br label %148

134:                                              ; preds = %130
  call void @__assert_fail(ptr noundef @.str.113, ptr noundef @.str.52, i32 noundef 1423, ptr noundef @__PRETTY_FUNCTION__._Z21accommodateAlienBasisR19HighsLpSolverObject) #7
  unreachable

135:                                              ; preds = %118
  %136 = landingpad { ptr, i32 }
          cleanup
  %137 = extractvalue { ptr, i32 } %136, 0
  store ptr %137, ptr %10, align 8
  %138 = extractvalue { ptr, i32 } %136, 1
  store i32 %138, ptr %11, align 4
  br label %274

139:                                              ; preds = %121
  %140 = landingpad { ptr, i32 }
          cleanup
  %141 = extractvalue { ptr, i32 } %140, 0
  store ptr %141, ptr %10, align 8
  %142 = extractvalue { ptr, i32 } %140, 1
  store i32 %142, ptr %11, align 4
  br label %273

143:                                              ; preds = %128
  %144 = landingpad { ptr, i32 }
          cleanup
  %145 = extractvalue { ptr, i32 } %144, 0
  store ptr %145, ptr %10, align 8
  %146 = extractvalue { ptr, i32 } %144, 1
  store i32 %146, ptr %11, align 4
  br label %272

147:                                              ; No predecessors!
  br label %148

148:                                              ; preds = %147, %133
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #6
  store i32 0, ptr %17, align 4, !tbaa !57
  br label %149

149:                                              ; preds = %169, %148
  %150 = load i32, ptr %17, align 4, !tbaa !57
  %151 = load i32, ptr %7, align 4, !tbaa !57
  %152 = icmp slt i32 %150, %151
  br i1 %152, label %154, label %153

153:                                              ; preds = %149
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #6
  br label %172

154:                                              ; preds = %149
  %155 = load ptr, ptr %4, align 8, !tbaa !5
  %156 = getelementptr inbounds %struct.HighsBasis, ptr %155, i32 0, i32 7
  %157 = load i32, ptr %17, align 4, !tbaa !57
  %158 = sext i32 %157 to i64
  %159 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %156, i64 noundef %158) #6
  %160 = load i8, ptr %159, align 1, !tbaa !59
  %161 = icmp eq i8 %160, 1
  br i1 %161, label %162, label %168

162:                                              ; preds = %154
  %163 = load ptr, ptr %4, align 8, !tbaa !5
  %164 = getelementptr inbounds %struct.HighsBasis, ptr %163, i32 0, i32 7
  %165 = load i32, ptr %17, align 4, !tbaa !57
  %166 = sext i32 %165 to i64
  %167 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %164, i64 noundef %166) #6
  store i8 4, ptr %167, align 1, !tbaa !59
  br label %168

168:                                              ; preds = %162, %154
  br label %169

169:                                              ; preds = %168
  %170 = load i32, ptr %17, align 4, !tbaa !57
  %171 = add nsw i32 %170, 1
  store i32 %171, ptr %17, align 4, !tbaa !57
  br label %149, !llvm.loop !64

172:                                              ; preds = %153
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #6
  store i32 0, ptr %18, align 4, !tbaa !57
  br label %173

173:                                              ; preds = %193, %172
  %174 = load i32, ptr %18, align 4, !tbaa !57
  %175 = load i32, ptr %6, align 4, !tbaa !57
  %176 = icmp slt i32 %174, %175
  br i1 %176, label %178, label %177

177:                                              ; preds = %173
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #6
  br label %196

178:                                              ; preds = %173
  %179 = load ptr, ptr %4, align 8, !tbaa !5
  %180 = getelementptr inbounds %struct.HighsBasis, ptr %179, i32 0, i32 8
  %181 = load i32, ptr %18, align 4, !tbaa !57
  %182 = sext i32 %181 to i64
  %183 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %180, i64 noundef %182) #6
  %184 = load i8, ptr %183, align 1, !tbaa !59
  %185 = icmp eq i8 %184, 1
  br i1 %185, label %186, label %192

186:                                              ; preds = %178
  %187 = load ptr, ptr %4, align 8, !tbaa !5
  %188 = getelementptr inbounds %struct.HighsBasis, ptr %187, i32 0, i32 8
  %189 = load i32, ptr %18, align 4, !tbaa !57
  %190 = sext i32 %189 to i64
  %191 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %188, i64 noundef %190) #6
  store i8 4, ptr %191, align 1, !tbaa !59
  br label %192

192:                                              ; preds = %186, %178
  br label %193

193:                                              ; preds = %192
  %194 = load i32, ptr %18, align 4, !tbaa !57
  %195 = add nsw i32 %194, 1
  store i32 %195, ptr %18, align 4, !tbaa !57
  br label %173, !llvm.loop !65

196:                                              ; preds = %177
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #6
  %197 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %6, ptr noundef nonnull align 4 dereferenceable(4) %14)
          to label %198 unwind label %205

198:                                              ; preds = %196
  %199 = load i32, ptr %197, align 4, !tbaa !57
  store i32 %199, ptr %19, align 4, !tbaa !57
  store i32 0, ptr %14, align 4, !tbaa !57
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #6
  store i32 0, ptr %20, align 4, !tbaa !57
  br label %200

200:                                              ; preds = %234, %198
  %201 = load i32, ptr %20, align 4, !tbaa !57
  %202 = load i32, ptr %19, align 4, !tbaa !57
  %203 = icmp slt i32 %201, %202
  br i1 %203, label %209, label %204

204:                                              ; preds = %200
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #6
  br label %237

205:                                              ; preds = %196
  %206 = landingpad { ptr, i32 }
          cleanup
  %207 = extractvalue { ptr, i32 } %206, 0
  store ptr %207, ptr %10, align 8
  %208 = extractvalue { ptr, i32 } %206, 1
  store i32 %208, ptr %11, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #6
  br label %272

209:                                              ; preds = %200
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #6
  %210 = load i32, ptr %20, align 4, !tbaa !57
  %211 = sext i32 %210 to i64
  %212 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %211) #6
  %213 = load i32, ptr %212, align 4, !tbaa !57
  store i32 %213, ptr %21, align 4, !tbaa !57
  %214 = load i32, ptr %21, align 4, !tbaa !57
  %215 = load i32, ptr %7, align 4, !tbaa !57
  %216 = icmp slt i32 %214, %215
  br i1 %216, label %217, label %223

217:                                              ; preds = %209
  %218 = load ptr, ptr %4, align 8, !tbaa !5
  %219 = getelementptr inbounds %struct.HighsBasis, ptr %218, i32 0, i32 7
  %220 = load i32, ptr %21, align 4, !tbaa !57
  %221 = sext i32 %220 to i64
  %222 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %219, i64 noundef %221) #6
  store i8 1, ptr %222, align 1, !tbaa !59
  br label %231

223:                                              ; preds = %209
  %224 = load ptr, ptr %4, align 8, !tbaa !5
  %225 = getelementptr inbounds %struct.HighsBasis, ptr %224, i32 0, i32 8
  %226 = load i32, ptr %21, align 4, !tbaa !57
  %227 = load i32, ptr %7, align 4, !tbaa !57
  %228 = sub nsw i32 %226, %227
  %229 = sext i32 %228 to i64
  %230 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %225, i64 noundef %229) #6
  store i8 1, ptr %230, align 1, !tbaa !59
  br label %231

231:                                              ; preds = %223, %217
  %232 = load i32, ptr %14, align 4, !tbaa !57
  %233 = add nsw i32 %232, 1
  store i32 %233, ptr %14, align 4, !tbaa !57
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #6
  br label %234

234:                                              ; preds = %231
  %235 = load i32, ptr %20, align 4, !tbaa !57
  %236 = add nsw i32 %235, 1
  store i32 %236, ptr %20, align 4, !tbaa !57
  br label %200, !llvm.loop !66

237:                                              ; preds = %204
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #6
  %238 = load i32, ptr %6, align 4, !tbaa !57
  %239 = load i32, ptr %14, align 4, !tbaa !57
  %240 = sub nsw i32 %238, %239
  store i32 %240, ptr %22, align 4, !tbaa !57
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #6
  store i32 0, ptr %23, align 4, !tbaa !57
  br label %241

241:                                              ; preds = %261, %237
  %242 = load i32, ptr %23, align 4, !tbaa !57
  %243 = load i32, ptr %22, align 4, !tbaa !57
  %244 = icmp slt i32 %242, %243
  br i1 %244, label %246, label %245

245:                                              ; preds = %241
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #6
  br label %264

246:                                              ; preds = %241
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #6
  %247 = getelementptr inbounds %class.HFactor, ptr %15, i32 0, i32 3
  %248 = load i32, ptr %16, align 4, !tbaa !57
  %249 = load i32, ptr %23, align 4, !tbaa !57
  %250 = add nsw i32 %248, %249
  %251 = sext i32 %250 to i64
  %252 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %247, i64 noundef %251) #6
  %253 = load i32, ptr %252, align 4, !tbaa !57
  store i32 %253, ptr %24, align 4, !tbaa !57
  %254 = load ptr, ptr %4, align 8, !tbaa !5
  %255 = getelementptr inbounds %struct.HighsBasis, ptr %254, i32 0, i32 8
  %256 = load i32, ptr %24, align 4, !tbaa !57
  %257 = sext i32 %256 to i64
  %258 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %255, i64 noundef %257) #6
  store i8 1, ptr %258, align 1, !tbaa !59
  %259 = load i32, ptr %14, align 4, !tbaa !57
  %260 = add nsw i32 %259, 1
  store i32 %260, ptr %14, align 4, !tbaa !57
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #6
  br label %261

261:                                              ; preds = %246
  %262 = load i32, ptr %23, align 4, !tbaa !57
  %263 = add nsw i32 %262, 1
  store i32 %263, ptr %23, align 4, !tbaa !57
  br label %241, !llvm.loop !67

264:                                              ; preds = %245
  %265 = load i32, ptr %14, align 4, !tbaa !57
  %266 = load i32, ptr %6, align 4, !tbaa !57
  %267 = icmp eq i32 %265, %266
  br i1 %267, label %268, label %269

268:                                              ; preds = %264
  br label %271

269:                                              ; preds = %264
  call void @__assert_fail(ptr noundef @.str.114, ptr noundef @.str.52, i32 noundef 1456, ptr noundef @__PRETTY_FUNCTION__._Z21accommodateAlienBasisR19HighsLpSolverObject) #7
  unreachable

270:                                              ; No predecessors!
  br label %271

271:                                              ; preds = %270, %268
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #6
  call void @_ZN7HFactorD2Ev(ptr noundef nonnull align 8 dereferenceable(1912) %15) #6
  call void @llvm.lifetime.end.p0(i64 1912, ptr %15) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #6
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %8) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #6
  ret void

272:                                              ; preds = %205, %143
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #6
  br label %273

273:                                              ; preds = %272, %139
  call void @_ZN7HFactorD2Ev(ptr noundef nonnull align 8 dereferenceable(1912) %15) #6
  br label %274

274:                                              ; preds = %273, %135
  call void @llvm.lifetime.end.p0(i64 1912, ptr %15) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #6
  br label %275

275:                                              ; preds = %274, %110, %83
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %8) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #6
  br label %276

276:                                              ; preds = %275
  %277 = load ptr, ptr %10, align 8
  %278 = load i32, ptr %11, align 4
  %279 = insertvalue { ptr, i32 } poison, ptr %277, 0
  %280 = insertvalue { ptr, i32 } %279, i32 %278, 1
  resume { ptr, i32 } %280
}

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

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

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

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

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

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

declare void @_ZN7HFactor12setupGeneralEPK17HighsSparseMatrixiPiddiPK15HighsLogOptions(ptr noundef nonnull align 8 dereferenceable(1912), ptr noundef, i32 noundef, ptr noundef, double noundef, double noundef, i32 noundef, ptr noundef) #4

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

declare noundef i32 @_ZN7HFactor5buildEP15HighsTimerClock(ptr noundef nonnull align 8 dereferenceable(1912), ptr noundef) #4

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

; 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) #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN7HFactorD2Ev(ptr noundef nonnull align 8 dereferenceable(1912)) unnamed_addr #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #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 = { 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 = { "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 = { nounwind }
attributes #7 = { 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 = !{!"_ZTS19HighsLpSolverObject", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !11, i64 64}
!11 = !{!"_ZTS16HighsModelStatus", !7, i64 0}
!12 = !{!10, !6, i64 8}
!13 = !{!10, !6, i64 48}
!14 = !{!15, !16, i64 1}
!15 = !{!"_ZTS10HighsBasis", !16, i64 0, !16, i64 1, !16, i64 2, !16, i64 3, !17, i64 4, !17, i64 8, !18, i64 16, !21, i64 48, !21, i64 72}
!16 = !{!"bool", !7, i64 0}
!17 = !{!"int", !7, i64 0}
!18 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !19, i64 0, !20, i64 8, !7, i64 16}
!19 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !6, i64 0}
!20 = !{!"long", !7, i64 0}
!21 = !{!"_ZTSSt6vectorI16HighsBasisStatusSaIS0_EE", !22, i64 0}
!22 = !{!"_ZTSSt12_Vector_baseI16HighsBasisStatusSaIS0_EE", !23, i64 0}
!23 = !{!"_ZTSNSt12_Vector_baseI16HighsBasisStatusSaIS0_EE12_Vector_implE", !24, i64 0}
!24 = !{!"_ZTSNSt12_Vector_baseI16HighsBasisStatusSaIS0_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!25 = !{i8 0, i8 2}
!26 = !{}
!27 = !{!28, !17, i64 4}
!28 = !{!"_ZTS7HighsLp", !17, i64 0, !17, i64 4, !29, i64 8, !29, i64 32, !29, i64 56, !29, i64 80, !29, i64 104, !33, i64 128, !39, i64 240, !40, i64 248, !18, i64 256, !18, i64 288, !17, i64 320, !17, i64 324, !41, i64 328, !41, i64 352, !45, i64 376, !49, i64 400, !49, i64 456, !17, i64 512, !17, i64 516, !55, i64 520, !16, i64 592, !16, i64 593, !17, i64 596, !16, i64 600, !56, i64 608}
!29 = !{!"_ZTSSt6vectorIdSaIdEE", !30, i64 0}
!30 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !31, i64 0}
!31 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !32, i64 0}
!32 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!33 = !{!"_ZTS17HighsSparseMatrix", !34, i64 0, !17, i64 4, !17, i64 8, !35, i64 16, !35, i64 40, !35, i64 64, !29, i64 88}
!34 = !{!"_ZTS12MatrixFormat", !7, i64 0}
!35 = !{!"_ZTSSt6vectorIiSaIiEE", !36, i64 0}
!36 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !37, i64 0}
!37 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !38, i64 0}
!38 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!39 = !{!"_ZTS8ObjSense", !7, i64 0}
!40 = !{!"double", !7, i64 0}
!41 = !{!"_ZTSSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE", !42, i64 0}
!42 = !{!"_ZTSSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE", !43, i64 0}
!43 = !{!"_ZTSNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE12_Vector_implE", !44, i64 0}
!44 = !{!"_ZTSNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!45 = !{!"_ZTSSt6vectorI12HighsVarTypeSaIS0_EE", !46, i64 0}
!46 = !{!"_ZTSSt12_Vector_baseI12HighsVarTypeSaIS0_EE", !47, i64 0}
!47 = !{!"_ZTSNSt12_Vector_baseI12HighsVarTypeSaIS0_EE12_Vector_implE", !48, i64 0}
!48 = !{!"_ZTSNSt12_Vector_baseI12HighsVarTypeSaIS0_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!49 = !{!"_ZTS13HighsNameHash", !50, i64 0}
!50 = !{!"_ZTSSt13unordered_mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEiSt4hashIS5_ESt8equal_toIS5_ESaISt4pairIKS5_iEEE", !51, i64 0}
!51 = !{!"_ZTSSt10_HashtableINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_iESaIS8_ENSt8__detail10_Select1stESt8equal_toIS5_ESt4hashIS5_ENSA_18_Mod_range_hashingENSA_20_Default_ranged_hashENSA_20_Prime_rehash_policyENSA_17_Hashtable_traitsILb1ELb0ELb1EEEE", !6, i64 0, !20, i64 8, !52, i64 16, !20, i64 24, !53, i64 32, !6, i64 48}
!52 = !{!"_ZTSNSt8__detail15_Hash_node_baseE", !6, i64 0}
!53 = !{!"_ZTSNSt8__detail20_Prime_rehash_policyE", !54, i64 0, !20, i64 8}
!54 = !{!"float", !7, i64 0}
!55 = !{!"_ZTS10HighsScale", !17, i64 0, !16, i64 4, !17, i64 8, !17, i64 12, !40, i64 16, !29, i64 24, !29, i64 48}
!56 = !{!"_ZTS11HighsLpMods", !35, i64 0, !35, i64 24, !29, i64 48, !29, i64 72, !45, i64 96, !35, i64 120, !29, i64 144, !35, i64 168, !29, i64 192, !35, i64 216, !29, i64 240, !29, i64 264, !29, i64 288}
!57 = !{!17, !17, i64 0}
!58 = !{!28, !17, i64 0}
!59 = !{!60, !60, i64 0}
!60 = !{!"_ZTS16HighsBasisStatus", !7, i64 0}
!61 = distinct !{!61, !62}
!62 = !{!"llvm.loop.mustprogress"}
!63 = distinct !{!63, !62}
!64 = distinct !{!64, !62}
!65 = distinct !{!65, !62}
!66 = distinct !{!66, !62}
!67 = distinct !{!67, !62}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"class.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.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.73", %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.38", %"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.52", double }
%"class.std::vector.52" = type { %"struct.std::_Vector_base.53" }
%"struct.std::_Vector_base.53" = 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.std::unique_ptr.73" = type { %"struct.std::__uniq_ptr_data.74" }
%"struct.std::__uniq_ptr_data.74" = type { %"class.std::__uniq_ptr_impl.75" }
%"class.std::__uniq_ptr_impl.75" = type { %"class.std::tuple.76" }
%"class.std::tuple.76" = type { %"struct.std::_Tuple_impl.77" }
%"struct.std::_Tuple_impl.77" = type { %"struct.std::_Head_base.80" }
%"struct.std::_Head_base.80" = type { 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.38" = type { %"struct.std::_Vector_base.39" }
%"struct.std::_Vector_base.39" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.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.HVectorBase = type { i32, i32, %"class.std::vector.8", %"class.std::vector.3", double, %"class.std::vector.38", %"class.std::vector.8", ptr, i8, i32, %"class.std::vector.8", %"class.std::vector.3" }

@.str.52 = external hidden unnamed_addr constant [79 x i8], align 1
@.str.110 = external hidden unnamed_addr constant [12 x i8], align 1
@__PRETTY_FUNCTION__._Z21accommodateAlienBasisR19HighsLpSolverObject = external hidden unnamed_addr constant [50 x i8], align 1
@.str.111 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.112 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.113 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.114 = external hidden unnamed_addr constant [31 x i8], align 1

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

declare i32 @__gxx_personality_v0(...)

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_Z21accommodateAlienBasisR19HighsLpSolverObject(ptr nocapture noundef nonnull readonly align 8 dereferenceable(68) %0) local_unnamed_addr #3 personality ptr @__gxx_personality_v0 {
  %2 = alloca i32, align 4
  %3 = alloca %"class.std::vector.8", align 8
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca %class.HFactor, align 8
  %8 = load ptr, ptr %0, align 8, !tbaa !5
  %9 = getelementptr inbounds i8, ptr %0, i64 8
  %10 = load ptr, ptr %9, align 8, !tbaa !11
  %11 = getelementptr inbounds i8, ptr %0, i64 48
  %12 = load ptr, ptr %11, align 8, !tbaa !12
  %13 = getelementptr inbounds i8, ptr %10, i64 1
  %14 = load i8, ptr %13, align 1, !tbaa !13, !range !24, !noundef !25
  %15 = trunc nuw i8 %14 to i1
  br i1 %15, label %17, label %16

16:                                               ; preds = %1
  tail call void @__assert_fail(ptr noundef nonnull @.str.110, ptr noundef nonnull @.str.52, i32 noundef 1402, ptr noundef nonnull @__PRETTY_FUNCTION__._Z21accommodateAlienBasisR19HighsLpSolverObject) #6
  unreachable

17:                                               ; preds = %1
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %2) #7
  %18 = getelementptr inbounds i8, ptr %8, i64 4
  %19 = load i32, ptr %18, align 4, !tbaa !26
  store i32 %19, ptr %2, align 4, !tbaa !56
  %20 = load i32, ptr %8, align 8, !tbaa !57
  %21 = getelementptr inbounds i8, ptr %10, i64 48
  %22 = tail call noundef i64 @_ZNKSt6vectorI16HighsBasisStatusSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %21) #7
  %23 = trunc i64 %22 to i32
  %.not = icmp sgt i32 %20, %23
  br i1 %.not, label %24, label %25

24:                                               ; preds = %17
  tail call void @__assert_fail(ptr noundef nonnull @.str.111, ptr noundef nonnull @.str.52, i32 noundef 1405, ptr noundef nonnull @__PRETTY_FUNCTION__._Z21accommodateAlienBasisR19HighsLpSolverObject) #6
  unreachable

25:                                               ; preds = %17
  %26 = getelementptr inbounds i8, ptr %10, i64 72
  %27 = tail call noundef i64 @_ZNKSt6vectorI16HighsBasisStatusSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %26) #7
  %28 = trunc i64 %27 to i32
  %.not65 = icmp sgt i32 %19, %28
  br i1 %.not65, label %29, label %30

29:                                               ; preds = %25
  tail call void @__assert_fail(ptr noundef nonnull @.str.112, ptr noundef nonnull @.str.52, i32 noundef 1406, ptr noundef nonnull @__PRETTY_FUNCTION__._Z21accommodateAlienBasisR19HighsLpSolverObject) #6
  unreachable

30:                                               ; preds = %25
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %3) #7
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %3) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %4) #7
  store i32 0, ptr %4, align 4, !tbaa !56
  %31 = icmp sgt i32 %20, 0
  br i1 %31, label %.lr.ph, label %._crit_edge

._crit_edge:                                      ; preds = %41, %30
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #7
  %32 = icmp sgt i32 %19, 0
  br i1 %32, label %.lr.ph74.preheader, label %._crit_edge75

.lr.ph74.preheader:                               ; preds = %._crit_edge
  %33 = zext nneg i32 %19 to i64
  br label %.lr.ph74

.lr.ph:                                           ; preds = %30, %41
  %storemerge71 = phi i32 [ %43, %41 ], [ 0, %30 ]
  %34 = sext i32 %storemerge71 to i64
  %35 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %34) #7
  %36 = load i8, ptr %35, align 1, !tbaa !58
  %37 = icmp eq i8 %36, 1
  br i1 %37, label %38, label %41

38:                                               ; preds = %.lr.ph
  invoke void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24) %3, ptr noundef nonnull align 4 dereferenceable(4) %4)
          to label %41 unwind label %39

39:                                               ; preds = %38
  %40 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #7
  br label %119

41:                                               ; preds = %.lr.ph, %38
  %42 = load i32, ptr %4, align 4, !tbaa !56
  %43 = add nsw i32 %42, 1
  store i32 %43, ptr %4, align 4, !tbaa !56
  %44 = icmp slt i32 %43, %20
  br i1 %44, label %.lr.ph, label %._crit_edge, !llvm.loop !60

._crit_edge75:                                    ; preds = %56, %._crit_edge
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %6) #7
  %45 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %3) #7
  %46 = trunc i64 %45 to i32
  store i32 %46, ptr %6, align 4, !tbaa !56
  call void @llvm.lifetime.start.p0(i64 1912, ptr nonnull %7) #7
  invoke void @_ZN7HFactorC2Ev(ptr noundef nonnull align 8 dereferenceable(1912) %7)
          to label %58 unwind label %67

.lr.ph74:                                         ; preds = %.lr.ph74.preheader, %56
  %indvars.iv = phi i64 [ 0, %.lr.ph74.preheader ], [ %indvars.iv.next, %56 ]
  %47 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %26, i64 noundef %indvars.iv) #7
  %48 = load i8, ptr %47, align 1, !tbaa !58
  %49 = icmp eq i8 %48, 1
  br i1 %49, label %50, label %56

50:                                               ; preds = %.lr.ph74
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %5) #7
  %51 = trunc i64 %indvars.iv to i32
  %52 = add i32 %20, %51
  store i32 %52, ptr %5, align 4, !tbaa !56
  invoke void @_ZNSt6vectorIiSaIiEE9push_backEOi(ptr noundef nonnull align 8 dereferenceable(24) %3, ptr noundef nonnull align 4 dereferenceable(4) %5)
          to label %53 unwind label %54

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

54:                                               ; preds = %50
  %55 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %5) #7
  br label %119

56:                                               ; preds = %.lr.ph74, %53
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %57 = icmp ult i64 %indvars.iv.next, %33
  br i1 %57, label %.lr.ph74, label %._crit_edge75, !llvm.loop !62

58:                                               ; preds = %._crit_edge75
  %59 = getelementptr inbounds i8, ptr %8, i64 128
  %60 = call noundef ptr @_ZNSt6vectorIiSaIiEE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %3) #7
  %61 = getelementptr inbounds i8, ptr %12, i64 896
  invoke void @_ZN7HFactor12setupGeneralEPK17HighsSparseMatrixiPiddiPK15HighsLogOptions(ptr noundef nonnull align 8 dereferenceable(1912) %7, ptr noundef nonnull %59, i32 noundef %46, ptr noundef %60, double noundef 1.000000e-01, double noundef 1.000000e-10, i32 noundef 0, ptr noundef nonnull %61)
          to label %62 unwind label %69

62:                                               ; preds = %58
  %63 = invoke noundef i32 @_ZN7HFactor5buildEP15HighsTimerClock(ptr noundef nonnull align 8 dereferenceable(1912) %7, ptr noundef null)
          to label %64 unwind label %71

64:                                               ; preds = %62
  %65 = icmp sgt i32 %63, -1
  br i1 %65, label %.preheader70, label %66

.preheader70:                                     ; preds = %64
  br i1 %31, label %.lr.ph77.preheader, label %.preheader

.lr.ph77.preheader:                               ; preds = %.preheader70
  %wide.trip.count = zext nneg i32 %20 to i64
  br label %.lr.ph77

66:                                               ; preds = %64
  call void @__assert_fail(ptr noundef nonnull @.str.113, ptr noundef nonnull @.str.52, i32 noundef 1423, ptr noundef nonnull @__PRETTY_FUNCTION__._Z21accommodateAlienBasisR19HighsLpSolverObject) #6
  unreachable

67:                                               ; preds = %._crit_edge75
  %68 = landingpad { ptr, i32 }
          cleanup
  br label %118

69:                                               ; preds = %58
  %70 = landingpad { ptr, i32 }
          cleanup
  br label %117

71:                                               ; preds = %62
  %72 = landingpad { ptr, i32 }
          cleanup
  br label %117

.preheader:                                       ; preds = %79, %.preheader70
  br i1 %32, label %.lr.ph79.preheader, label %._crit_edge80

.lr.ph79.preheader:                               ; preds = %.preheader
  %73 = zext nneg i32 %19 to i64
  br label %.lr.ph79

.lr.ph77:                                         ; preds = %.lr.ph77.preheader, %79
  %indvars.iv90 = phi i64 [ 0, %.lr.ph77.preheader ], [ %indvars.iv.next91, %79 ]
  %74 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv90) #7
  %75 = load i8, ptr %74, align 1, !tbaa !58
  %76 = icmp eq i8 %75, 1
  br i1 %76, label %77, label %79

77:                                               ; preds = %.lr.ph77
  %78 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv90) #7
  store i8 4, ptr %78, align 1, !tbaa !58
  br label %79

79:                                               ; preds = %.lr.ph77, %77
  %indvars.iv.next91 = add nuw nsw i64 %indvars.iv90, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next91, %wide.trip.count
  br i1 %exitcond.not, label %.preheader, label %.lr.ph77, !llvm.loop !63

._crit_edge80:                                    ; preds = %88, %.preheader
  %80 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %2, ptr noundef nonnull align 4 dereferenceable(4) %6)
  %81 = load i32, ptr %80, align 4, !tbaa !56
  store i32 0, ptr %6, align 4, !tbaa !56
  %82 = icmp sgt i32 %81, 0
  br i1 %82, label %.lr.ph83.preheader, label %._crit_edge84

.lr.ph83.preheader:                               ; preds = %._crit_edge80
  %wide.trip.count99 = zext nneg i32 %81 to i64
  br label %.lr.ph83

.lr.ph79:                                         ; preds = %.lr.ph79.preheader, %88
  %indvars.iv93 = phi i64 [ 0, %.lr.ph79.preheader ], [ %indvars.iv.next94, %88 ]
  %83 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %26, i64 noundef %indvars.iv93) #7
  %84 = load i8, ptr %83, align 1, !tbaa !58
  %85 = icmp eq i8 %84, 1
  br i1 %85, label %86, label %88

86:                                               ; preds = %.lr.ph79
  %87 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %26, i64 noundef %indvars.iv93) #7
  store i8 4, ptr %87, align 1, !tbaa !58
  br label %88

88:                                               ; preds = %.lr.ph79, %86
  %indvars.iv.next94 = add nuw nsw i64 %indvars.iv93, 1
  %89 = icmp ult i64 %indvars.iv.next94, %73
  br i1 %89, label %.lr.ph79, label %._crit_edge80, !llvm.loop !64

._crit_edge84:                                    ; preds = %.lr.ph83, %._crit_edge80
  %90 = phi i32 [ 0, %._crit_edge80 ], [ %103, %.lr.ph83 ]
  %91 = load i32, ptr %2, align 4, !tbaa !56
  %92 = sub nsw i32 %91, %90
  %93 = icmp sgt i32 %92, 0
  br i1 %93, label %.lr.ph87, label %._crit_edge88

.lr.ph87:                                         ; preds = %._crit_edge84
  %94 = getelementptr inbounds i8, ptr %7, i64 24
  %95 = zext nneg i32 %63 to i64
  %wide.trip.count104 = zext nneg i32 %92 to i64
  br label %107

.lr.ph83:                                         ; preds = %.lr.ph83.preheader, %.lr.ph83
  %indvars.iv96 = phi i64 [ 0, %.lr.ph83.preheader ], [ %indvars.iv.next97, %.lr.ph83 ]
  %96 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %3, i64 noundef %indvars.iv96) #7
  %97 = load i32, ptr %96, align 4, !tbaa !56
  %98 = icmp slt i32 %97, %20
  %99 = select i1 %98, i32 0, i32 %20
  %.sink = sub nsw i32 %97, %99
  %.sink107 = select i1 %98, ptr %21, ptr %26
  %100 = sext i32 %.sink to i64
  %101 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %.sink107, i64 noundef %100) #7
  store i8 1, ptr %101, align 1, !tbaa !58
  %102 = load i32, ptr %6, align 4, !tbaa !56
  %103 = add nsw i32 %102, 1
  store i32 %103, ptr %6, align 4, !tbaa !56
  %indvars.iv.next97 = add nuw nsw i64 %indvars.iv96, 1
  %exitcond100.not = icmp eq i64 %indvars.iv.next97, %wide.trip.count99
  br i1 %exitcond100.not, label %._crit_edge84, label %.lr.ph83, !llvm.loop !65

._crit_edge88.loopexit:                           ; preds = %107
  %.pre = load i32, ptr %2, align 4, !tbaa !56
  br label %._crit_edge88

._crit_edge88:                                    ; preds = %._crit_edge88.loopexit, %._crit_edge84
  %104 = phi i32 [ %.pre, %._crit_edge88.loopexit ], [ %91, %._crit_edge84 ]
  %105 = phi i32 [ %114, %._crit_edge88.loopexit ], [ %90, %._crit_edge84 ]
  %106 = icmp eq i32 %105, %104
  br i1 %106, label %116, label %115

107:                                              ; preds = %.lr.ph87, %107
  %indvars.iv101 = phi i64 [ 0, %.lr.ph87 ], [ %indvars.iv.next102, %107 ]
  %108 = add nuw nsw i64 %indvars.iv101, %95
  %109 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %94, i64 noundef %108) #7
  %110 = load i32, ptr %109, align 4, !tbaa !56
  %111 = sext i32 %110 to i64
  %112 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorI16HighsBasisStatusSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %26, i64 noundef %111) #7
  store i8 1, ptr %112, align 1, !tbaa !58
  %113 = load i32, ptr %6, align 4, !tbaa !56
  %114 = add nsw i32 %113, 1
  store i32 %114, ptr %6, align 4, !tbaa !56
  %indvars.iv.next102 = add nuw nsw i64 %indvars.iv101, 1
  %exitcond105.not = icmp eq i64 %indvars.iv.next102, %wide.trip.count104
  br i1 %exitcond105.not, label %._crit_edge88.loopexit, label %107, !llvm.loop !66

115:                                              ; preds = %._crit_edge88
  call void @__assert_fail(ptr noundef nonnull @.str.114, ptr noundef nonnull @.str.52, i32 noundef 1456, ptr noundef nonnull @__PRETTY_FUNCTION__._Z21accommodateAlienBasisR19HighsLpSolverObject) #6
  unreachable

116:                                              ; preds = %._crit_edge88
  call void @_ZN7HFactorD2Ev(ptr noundef nonnull align 8 dereferenceable(1912) %7) #7
  call void @llvm.lifetime.end.p0(i64 1912, ptr nonnull %7) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %6) #7
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %3) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %3) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #7
  ret void

117:                                              ; preds = %71, %69
  %.pn = phi { ptr, i32 } [ %72, %71 ], [ %70, %69 ]
  call void @_ZN7HFactorD2Ev(ptr noundef nonnull align 8 dereferenceable(1912) %7) #7
  br label %118

118:                                              ; preds = %117, %67
  %.pn.pn = phi { ptr, i32 } [ %.pn, %117 ], [ %68, %67 ]
  call void @llvm.lifetime.end.p0(i64 1912, ptr nonnull %7) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %6) #7
  br label %119

119:                                              ; preds = %118, %54, %39
  %.pn68 = phi { ptr, i32 } [ %40, %39 ], [ %55, %54 ], [ %.pn.pn, %118 ]
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %3) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %3) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #7
  resume { ptr, i32 } %.pn68
}

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

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

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

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

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

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

declare void @_ZN7HFactor12setupGeneralEPK17HighsSparseMatrixiPiddiPK15HighsLogOptions(ptr noundef nonnull align 8 dereferenceable(1912), ptr noundef, i32 noundef, ptr noundef, double noundef, double noundef, i32 noundef, ptr noundef) local_unnamed_addr #4

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

declare noundef i32 @_ZN7HFactor5buildEP15HighsTimerClock(ptr noundef nonnull align 8 dereferenceable(1912), ptr noundef) local_unnamed_addr #4

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

; 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 #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN7HFactorD2Ev(ptr noundef nonnull align 8 dereferenceable(1912)) unnamed_addr #5 align 2

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

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { 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 = { 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 = { "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 = { noreturn nounwind }
attributes #7 = { 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 = !{!"_ZTS19HighsLpSolverObject", !7, i64 0, !7, i64 8, !7, i64 16, !7, i64 24, !7, i64 32, !7, i64 40, !7, i64 48, !7, i64 56, !10, i64 64}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"_ZTS16HighsModelStatus", !8, i64 0}
!11 = !{!6, !7, i64 8}
!12 = !{!6, !7, i64 48}
!13 = !{!14, !15, i64 1}
!14 = !{!"_ZTS10HighsBasis", !15, i64 0, !15, i64 1, !15, i64 2, !15, i64 3, !16, i64 4, !16, i64 8, !17, i64 16, !20, i64 48, !20, i64 72}
!15 = !{!"bool", !8, i64 0}
!16 = !{!"int", !8, i64 0}
!17 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !18, i64 0, !19, i64 8, !8, i64 16}
!18 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !7, i64 0}
!19 = !{!"long", !8, i64 0}
!20 = !{!"_ZTSSt6vectorI16HighsBasisStatusSaIS0_EE", !21, i64 0}
!21 = !{!"_ZTSSt12_Vector_baseI16HighsBasisStatusSaIS0_EE", !22, i64 0}
!22 = !{!"_ZTSNSt12_Vector_baseI16HighsBasisStatusSaIS0_EE12_Vector_implE", !23, i64 0}
!23 = !{!"_ZTSNSt12_Vector_baseI16HighsBasisStatusSaIS0_EE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!24 = !{i8 0, i8 2}
!25 = !{}
!26 = !{!27, !16, i64 4}
!27 = !{!"_ZTS7HighsLp", !16, i64 0, !16, i64 4, !28, i64 8, !28, i64 32, !28, i64 56, !28, i64 80, !28, i64 104, !32, i64 128, !38, i64 240, !39, i64 248, !17, i64 256, !17, i64 288, !16, i64 320, !16, i64 324, !40, i64 328, !40, i64 352, !44, i64 376, !48, i64 400, !48, i64 456, !16, i64 512, !16, i64 516, !54, i64 520, !15, i64 592, !15, i64 593, !16, i64 596, !15, i64 600, !55, i64 608}
!28 = !{!"_ZTSSt6vectorIdSaIdEE", !29, i64 0}
!29 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !30, i64 0}
!30 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !31, i64 0}
!31 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!32 = !{!"_ZTS17HighsSparseMatrix", !33, i64 0, !16, i64 4, !16, i64 8, !34, i64 16, !34, i64 40, !34, i64 64, !28, i64 88}
!33 = !{!"_ZTS12MatrixFormat", !8, i64 0}
!34 = !{!"_ZTSSt6vectorIiSaIiEE", !35, i64 0}
!35 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !36, i64 0}
!36 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !37, i64 0}
!37 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!38 = !{!"_ZTS8ObjSense", !8, i64 0}
!39 = !{!"double", !8, i64 0}
!40 = !{!"_ZTSSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE", !41, i64 0}
!41 = !{!"_ZTSSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE", !42, i64 0}
!42 = !{!"_ZTSNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE12_Vector_implE", !43, i64 0}
!43 = !{!"_ZTSNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!44 = !{!"_ZTSSt6vectorI12HighsVarTypeSaIS0_EE", !45, i64 0}
!45 = !{!"_ZTSSt12_Vector_baseI12HighsVarTypeSaIS0_EE", !46, i64 0}
!46 = !{!"_ZTSNSt12_Vector_baseI12HighsVarTypeSaIS0_EE12_Vector_implE", !47, i64 0}
!47 = !{!"_ZTSNSt12_Vector_baseI12HighsVarTypeSaIS0_EE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!48 = !{!"_ZTS13HighsNameHash", !49, i64 0}
!49 = !{!"_ZTSSt13unordered_mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEiSt4hashIS5_ESt8equal_toIS5_ESaISt4pairIKS5_iEEE", !50, i64 0}
!50 = !{!"_ZTSSt10_HashtableINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_iESaIS8_ENSt8__detail10_Select1stESt8equal_toIS5_ESt4hashIS5_ENSA_18_Mod_range_hashingENSA_20_Default_ranged_hashENSA_20_Prime_rehash_policyENSA_17_Hashtable_traitsILb1ELb0ELb1EEEE", !7, i64 0, !19, i64 8, !51, i64 16, !19, i64 24, !52, i64 32, !7, i64 48}
!51 = !{!"_ZTSNSt8__detail15_Hash_node_baseE", !7, i64 0}
!52 = !{!"_ZTSNSt8__detail20_Prime_rehash_policyE", !53, i64 0, !19, i64 8}
!53 = !{!"float", !8, i64 0}
!54 = !{!"_ZTS10HighsScale", !16, i64 0, !15, i64 4, !16, i64 8, !16, i64 12, !39, i64 16, !28, i64 24, !28, i64 48}
!55 = !{!"_ZTS11HighsLpMods", !34, i64 0, !34, i64 24, !28, i64 48, !28, i64 72, !44, i64 96, !34, i64 120, !28, i64 144, !34, i64 168, !28, i64 192, !34, i64 216, !28, i64 240, !28, i64 264, !28, i64 288}
!56 = !{!16, !16, i64 0}
!57 = !{!27, !16, i64 0}
!58 = !{!59, !59, i64 0}
!59 = !{!"_ZTS16HighsBasisStatus", !8, i64 0}
!60 = distinct !{!60, !61}
!61 = !{!"llvm.loop.mustprogress"}
!62 = distinct !{!62, !61}
!63 = distinct !{!63, !61}
!64 = distinct !{!64, !61}
!65 = distinct !{!65, !61}
!66 = distinct !{!66, !61}


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