; LLVM IR from ERGO-Code/HiGHS :: src/lp_data (HighsIis)

; 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" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsLp = type { i32, i32, %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %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.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = 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.HighsSparseMatrix = type { i32, i32, i32, %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.8" }
%"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.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.8", %"class.std::vector.8" }
%struct.HighsLpMods = type { %"class.std::vector", %"class.std::vector", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.18", %"class.std::vector", %"class.std::vector.8", %"class.std::vector", %"class.std::vector.8", %"class.std::vector", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8" }
%class.HighsIis = type { i8, i32, %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.3" }
%"class.std::vector.3" = type { %"struct.std::_Vector_base.4" }
%"struct.std::_Vector_base.4" = type { %"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@.str.70 = external hidden unnamed_addr constant [74 x i8], align 1
@.str.74 = external hidden unnamed_addr constant [28 x i8], align 1
@__PRETTY_FUNCTION__._ZN8HighsIis7getDataERK7HighsLpRK12HighsOptionsRK10HighsBasisRKSt6vectorIiSaIiEE = external hidden unnamed_addr constant [120 x i8], align 1
@.str.75 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.76 = external hidden unnamed_addr constant [25 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: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24)) #1 align 2

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN8HighsIis7trivialERK7HighsLpRK12HighsOptions(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef nonnull align 8 dereferenceable(920), ptr noundef nonnull align 8 dereferenceable(1020)) #2 align 2

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN8HighsIis7getDataERK7HighsLpRK12HighsOptionsRK10HighsBasisRKSt6vectorIiSaIiEE(ptr noundef nonnull align 8 dereferenceable(128) %0, ptr noundef nonnull align 8 dereferenceable(920) %1, ptr noundef nonnull align 8 dereferenceable(1020) %2, ptr noundef nonnull align 8 dereferenceable(96) %3, ptr noundef nonnull align 8 dereferenceable(24) %4) #2 align 2 personality ptr @__gxx_personality_v0 {
  %6 = alloca i32, align 4
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca %"class.std::vector", align 8
  %13 = alloca %"class.std::vector", align 8
  %14 = alloca %"class.std::vector", align 8
  %15 = alloca i32, align 4
  %16 = alloca ptr, align 8
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i8, align 1
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca %class.HighsLp, align 8
  %26 = alloca i8, align 1
  %27 = alloca i32, align 4
  %28 = alloca double, align 8
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca i8, align 1
  %33 = alloca i32, align 4
  %34 = alloca i32, align 4
  %35 = alloca i32, align 4
  store ptr %0, ptr %7, align 8, !tbaa !5
  store ptr %1, ptr %8, align 8, !tbaa !5
  store ptr %2, ptr %9, align 8, !tbaa !5
  store ptr %3, ptr %10, align 8, !tbaa !5
  store ptr %4, ptr %11, align 8, !tbaa !5
  %36 = load ptr, ptr %7, align 8
  %37 = load ptr, ptr %8, align 8, !tbaa !5
  %38 = load ptr, ptr %9, align 8, !tbaa !5
  %39 = call noundef zeroext i1 @_ZN8HighsIis7trivialERK7HighsLpRK12HighsOptions(ptr noundef nonnull align 8 dereferenceable(128) %36, ptr noundef nonnull align 8 dereferenceable(920) %37, ptr noundef nonnull align 8 dereferenceable(1020) %38)
  %40 = xor i1 %39, true
  br i1 %40, label %41, label %42

41:                                               ; preds = %5
  br label %44

42:                                               ; preds = %5
  call void @__assert_fail(ptr noundef @.str.74, ptr noundef @.str.70, i32 noundef 151, ptr noundef @__PRETTY_FUNCTION__._ZN8HighsIis7getDataERK7HighsLpRK12HighsOptionsRK10HighsBasisRKSt6vectorIiSaIiEE) #6
  unreachable

43:                                               ; No predecessors!
  br label %44

44:                                               ; preds = %43, %41
  %45 = load ptr, ptr %11, align 8, !tbaa !5
  %46 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %45) #7
  %47 = icmp ugt i64 %46, 0
  br i1 %47, label %48, label %49

48:                                               ; preds = %44
  br label %51

49:                                               ; preds = %44
  call void @__assert_fail(ptr noundef @.str.75, ptr noundef @.str.70, i32 noundef 153, ptr noundef @__PRETTY_FUNCTION__._ZN8HighsIis7getDataERK7HighsLpRK12HighsOptionsRK10HighsBasisRKSt6vectorIiSaIiEE) #6
  unreachable

50:                                               ; No predecessors!
  br label %51

51:                                               ; preds = %50, %48
  call void @llvm.lifetime.start.p0(i64 24, ptr %12) #7
  %52 = load ptr, ptr %11, align 8, !tbaa !5
  call void @_ZNSt6vectorIiSaIiEEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %12, ptr noundef nonnull align 8 dereferenceable(24) %52)
  call void @llvm.lifetime.start.p0(i64 24, ptr %13) #7
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %13) #7
  call void @llvm.lifetime.start.p0(i64 24, ptr %14) #7
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %14) #7
  %53 = load ptr, ptr %8, align 8, !tbaa !5
  %54 = getelementptr inbounds %class.HighsLp, ptr %53, i32 0, i32 1
  %55 = load i32, ptr %54, align 4, !tbaa !9
  %56 = sext i32 %55 to i64
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #7
  store i32 -1, ptr %15, align 4, !tbaa !44
  invoke void @_ZNSt6vectorIiSaIiEE6assignEmRKi(ptr noundef nonnull align 8 dereferenceable(24) %14, i64 noundef %56, ptr noundef nonnull align 4 dereferenceable(4) %15)
          to label %57 unwind label %64

57:                                               ; preds = %51
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #7
  %58 = load ptr, ptr %8, align 8, !tbaa !5
  %59 = getelementptr inbounds %class.HighsLp, ptr %58, i32 0, i32 7
  %60 = invoke noundef zeroext i1 @_ZNK17HighsSparseMatrix9isColwiseEv(ptr noundef nonnull align 8 dereferenceable(112) %59)
          to label %61 unwind label %68

61:                                               ; preds = %57
  br i1 %60, label %62, label %63

62:                                               ; preds = %61
  br label %73

63:                                               ; preds = %61
  call void @__assert_fail(ptr noundef @.str.76, ptr noundef @.str.70, i32 noundef 159, ptr noundef @__PRETTY_FUNCTION__._ZN8HighsIis7getDataERK7HighsLpRK12HighsOptionsRK10HighsBasisRKSt6vectorIiSaIiEE) #6
  unreachable

64:                                               ; preds = %51
  %65 = landingpad { ptr, i32 }
          cleanup
  %66 = extractvalue { ptr, i32 } %65, 0
  store ptr %66, ptr %16, align 8
  %67 = extractvalue { ptr, i32 } %65, 1
  store i32 %67, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #7
  br label %427

68:                                               ; preds = %57
  %69 = landingpad { ptr, i32 }
          cleanup
  %70 = extractvalue { ptr, i32 } %69, 0
  store ptr %70, ptr %16, align 8
  %71 = extractvalue { ptr, i32 } %69, 1
  store i32 %71, ptr %17, align 4
  br label %427

72:                                               ; No predecessors!
  br label %73

73:                                               ; preds = %72, %62
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #7
  store i32 0, ptr %18, align 4, !tbaa !44
  br label %74

74:                                               ; preds = %90, %73
  %75 = load i32, ptr %18, align 4, !tbaa !44
  %76 = load ptr, ptr %11, align 8, !tbaa !5
  %77 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %76) #7
  %78 = trunc i64 %77 to i32
  %79 = icmp slt i32 %75, %78
  br i1 %79, label %81, label %80

80:                                               ; preds = %74
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #7
  br label %93

81:                                               ; preds = %74
  %82 = load i32, ptr %18, align 4, !tbaa !44
  %83 = load ptr, ptr %11, align 8, !tbaa !5
  %84 = load i32, ptr %18, align 4, !tbaa !44
  %85 = sext i32 %84 to i64
  %86 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %83, i64 noundef %85) #7
  %87 = load i32, ptr %86, align 4, !tbaa !44
  %88 = sext i32 %87 to i64
  %89 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %14, i64 noundef %88) #7
  store i32 %82, ptr %89, align 4, !tbaa !44
  br label %90

90:                                               ; preds = %81
  %91 = load i32, ptr %18, align 4, !tbaa !44
  %92 = add nsw i32 %91, 1
  store i32 %92, ptr %18, align 4, !tbaa !44
  br label %74, !llvm.loop !45

93:                                               ; preds = %80
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #7
  store i32 0, ptr %19, align 4, !tbaa !44
  br label %94

94:                                               ; preds = %152, %93
  %95 = load i32, ptr %19, align 4, !tbaa !44
  %96 = load ptr, ptr %8, align 8, !tbaa !5
  %97 = getelementptr inbounds %class.HighsLp, ptr %96, i32 0, i32 0
  %98 = load i32, ptr %97, align 8, !tbaa !47
  %99 = icmp slt i32 %95, %98
  br i1 %99, label %101, label %100

100:                                              ; preds = %94
  store i32 5, ptr %20, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #7
  br label %155

101:                                              ; preds = %94
  call void @llvm.lifetime.start.p0(i64 1, ptr %21) #7
  store i8 0, ptr %21, align 1, !tbaa !48
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #7
  %102 = load ptr, ptr %8, align 8, !tbaa !5
  %103 = getelementptr inbounds %class.HighsLp, ptr %102, i32 0, i32 7
  %104 = getelementptr inbounds %class.HighsSparseMatrix, ptr %103, i32 0, i32 3
  %105 = load i32, ptr %19, align 4, !tbaa !44
  %106 = sext i32 %105 to i64
  %107 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %104, i64 noundef %106) #7
  %108 = load i32, ptr %107, align 4, !tbaa !44
  store i32 %108, ptr %22, align 4, !tbaa !44
  br label %109

109:                                              ; preds = %139, %101
  %110 = load i32, ptr %22, align 4, !tbaa !44
  %111 = load ptr, ptr %8, align 8, !tbaa !5
  %112 = getelementptr inbounds %class.HighsLp, ptr %111, i32 0, i32 7
  %113 = getelementptr inbounds %class.HighsSparseMatrix, ptr %112, i32 0, i32 3
  %114 = load i32, ptr %19, align 4, !tbaa !44
  %115 = add nsw i32 %114, 1
  %116 = sext i32 %115 to i64
  %117 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %113, i64 noundef %116) #7
  %118 = load i32, ptr %117, align 4, !tbaa !44
  %119 = icmp slt i32 %110, %118
  br i1 %119, label %121, label %120

120:                                              ; preds = %109
  store i32 8, ptr %20, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #7
  br label %142

121:                                              ; preds = %109
  %122 = load i8, ptr %21, align 1, !tbaa !48, !range !49, !noundef !50
  %123 = trunc i8 %122 to i1
  br i1 %123, label %136, label %124

124:                                              ; preds = %121
  %125 = load ptr, ptr %8, align 8, !tbaa !5
  %126 = getelementptr inbounds %class.HighsLp, ptr %125, i32 0, i32 7
  %127 = getelementptr inbounds %class.HighsSparseMatrix, ptr %126, i32 0, i32 5
  %128 = load i32, ptr %22, align 4, !tbaa !44
  %129 = sext i32 %128 to i64
  %130 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %127, i64 noundef %129) #7
  %131 = load i32, ptr %130, align 4, !tbaa !44
  %132 = sext i32 %131 to i64
  %133 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %14, i64 noundef %132) #7
  %134 = load i32, ptr %133, align 4, !tbaa !44
  %135 = icmp sge i32 %134, 0
  br label %136

136:                                              ; preds = %124, %121
  %137 = phi i1 [ true, %121 ], [ %135, %124 ]
  %138 = zext i1 %137 to i8
  store i8 %138, ptr %21, align 1, !tbaa !48
  br label %139

139:                                              ; preds = %136
  %140 = load i32, ptr %22, align 4, !tbaa !44
  %141 = add nsw i32 %140, 1
  store i32 %141, ptr %22, align 4, !tbaa !44
  br label %109, !llvm.loop !51

142:                                              ; preds = %120
  %143 = load i8, ptr %21, align 1, !tbaa !48, !range !49, !noundef !50
  %144 = trunc i8 %143 to i1
  br i1 %144, label %145, label %151

145:                                              ; preds = %142
  invoke void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24) %13, ptr noundef nonnull align 4 dereferenceable(4) %19)
          to label %146 unwind label %147

146:                                              ; preds = %145
  br label %151

147:                                              ; preds = %145
  %148 = landingpad { ptr, i32 }
          cleanup
  %149 = extractvalue { ptr, i32 } %148, 0
  store ptr %149, ptr %16, align 8
  %150 = extractvalue { ptr, i32 } %148, 1
  store i32 %150, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #7
  br label %427

151:                                              ; preds = %146, %142
  call void @llvm.lifetime.end.p0(i64 1, ptr %21) #7
  br label %152

152:                                              ; preds = %151
  %153 = load i32, ptr %19, align 4, !tbaa !44
  %154 = add nsw i32 %153, 1
  store i32 %154, ptr %19, align 4, !tbaa !44
  br label %94, !llvm.loop !52

155:                                              ; preds = %100
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #7
  %156 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %13) #7
  %157 = trunc i64 %156 to i32
  store i32 %157, ptr %23, align 4, !tbaa !44
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #7
  %158 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %12) #7
  %159 = trunc i64 %158 to i32
  store i32 %159, ptr %24, align 4, !tbaa !44
  call void @llvm.lifetime.start.p0(i64 920, ptr %25) #7
  invoke void @_ZN7HighsLpC2Ev(ptr noundef nonnull align 8 dereferenceable(920) %25)
          to label %160 unwind label %183

160:                                              ; preds = %155
  %161 = load i32, ptr %23, align 4, !tbaa !44
  %162 = getelementptr inbounds %class.HighsLp, ptr %25, i32 0, i32 0
  store i32 %161, ptr %162, align 8, !tbaa !47
  %163 = load i32, ptr %24, align 4, !tbaa !44
  %164 = getelementptr inbounds %class.HighsLp, ptr %25, i32 0, i32 1
  store i32 %163, ptr %164, align 4, !tbaa !9
  %165 = getelementptr inbounds %class.HighsLp, ptr %25, i32 0, i32 0
  %166 = load i32, ptr %165, align 8, !tbaa !47
  %167 = getelementptr inbounds %class.HighsLp, ptr %25, i32 0, i32 7
  %168 = getelementptr inbounds %class.HighsSparseMatrix, ptr %167, i32 0, i32 1
  store i32 %166, ptr %168, align 4, !tbaa !53
  %169 = getelementptr inbounds %class.HighsLp, ptr %25, i32 0, i32 1
  %170 = load i32, ptr %169, align 4, !tbaa !9
  %171 = getelementptr inbounds %class.HighsLp, ptr %25, i32 0, i32 7
  %172 = getelementptr inbounds %class.HighsSparseMatrix, ptr %171, i32 0, i32 2
  store i32 %170, ptr %172, align 8, !tbaa !54
  call void @llvm.lifetime.start.p0(i64 1, ptr %26) #7
  %173 = load ptr, ptr %8, align 8, !tbaa !5
  %174 = getelementptr inbounds %class.HighsLp, ptr %173, i32 0, i32 14
  %175 = call noundef i64 @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %174) #7
  %176 = icmp ugt i64 %175, 0
  %177 = zext i1 %176 to i8
  store i8 %177, ptr %26, align 1, !tbaa !48
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #7
  store i32 0, ptr %27, align 4, !tbaa !44
  br label %178

178:                                              ; preds = %302, %160
  %179 = load i32, ptr %27, align 4, !tbaa !44
  %180 = load i32, ptr %23, align 4, !tbaa !44
  %181 = icmp slt i32 %179, %180
  br i1 %181, label %187, label %182

182:                                              ; preds = %178
  store i32 11, ptr %20, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #7
  br label %310

183:                                              ; preds = %155
  %184 = landingpad { ptr, i32 }
          cleanup
  %185 = extractvalue { ptr, i32 } %184, 0
  store ptr %185, ptr %16, align 8
  %186 = extractvalue { ptr, i32 } %184, 1
  store i32 %186, ptr %17, align 4
  br label %426

187:                                              ; preds = %178
  %188 = getelementptr inbounds %class.HighsLp, ptr %25, i32 0, i32 2
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #7
  store double 0.000000e+00, ptr %28, align 8, !tbaa !55
  invoke void @_ZNSt6vectorIdSaIdEE9push_backEOd(ptr noundef nonnull align 8 dereferenceable(24) %188, ptr noundef nonnull align 8 dereferenceable(8) %28)
          to label %189 unwind label %223

189:                                              ; preds = %187
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #7
  %190 = getelementptr inbounds %class.HighsLp, ptr %25, i32 0, i32 3
  %191 = load ptr, ptr %8, align 8, !tbaa !5
  %192 = getelementptr inbounds %class.HighsLp, ptr %191, i32 0, i32 3
  %193 = load i32, ptr %27, align 4, !tbaa !44
  %194 = sext i32 %193 to i64
  %195 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %194) #7
  %196 = load i32, ptr %195, align 4, !tbaa !44
  %197 = sext i32 %196 to i64
  %198 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %192, i64 noundef %197) #7
  invoke void @_ZNSt6vectorIdSaIdEE9push_backERKd(ptr noundef nonnull align 8 dereferenceable(24) %190, ptr noundef nonnull align 8 dereferenceable(8) %198)
          to label %199 unwind label %227

199:                                              ; preds = %189
  %200 = getelementptr inbounds %class.HighsLp, ptr %25, i32 0, i32 4
  %201 = load ptr, ptr %8, align 8, !tbaa !5
  %202 = getelementptr inbounds %class.HighsLp, ptr %201, i32 0, i32 4
  %203 = load i32, ptr %27, align 4, !tbaa !44
  %204 = sext i32 %203 to i64
  %205 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %204) #7
  %206 = load i32, ptr %205, align 4, !tbaa !44
  %207 = sext i32 %206 to i64
  %208 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %202, i64 noundef %207) #7
  invoke void @_ZNSt6vectorIdSaIdEE9push_backERKd(ptr noundef nonnull align 8 dereferenceable(24) %200, ptr noundef nonnull align 8 dereferenceable(8) %208)
          to label %209 unwind label %227

209:                                              ; preds = %199
  %210 = load i8, ptr %26, align 1, !tbaa !48, !range !49, !noundef !50
  %211 = trunc i8 %210 to i1
  br i1 %211, label %212, label %231

212:                                              ; preds = %209
  %213 = getelementptr inbounds %class.HighsLp, ptr %25, i32 0, i32 14
  %214 = load ptr, ptr %8, align 8, !tbaa !5
  %215 = getelementptr inbounds %class.HighsLp, ptr %214, i32 0, i32 14
  %216 = load i32, ptr %27, align 4, !tbaa !44
  %217 = sext i32 %216 to i64
  %218 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %217) #7
  %219 = load i32, ptr %218, align 4, !tbaa !44
  %220 = sext i32 %219 to i64
  %221 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %215, i64 noundef %220) #7
  invoke void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE9push_backERKS5_(ptr noundef nonnull align 8 dereferenceable(24) %213, ptr noundef nonnull align 8 dereferenceable(32) %221)
          to label %222 unwind label %227

222:                                              ; preds = %212
  br label %231

223:                                              ; preds = %187
  %224 = landingpad { ptr, i32 }
          cleanup
  %225 = extractvalue { ptr, i32 } %224, 0
  store ptr %225, ptr %16, align 8
  %226 = extractvalue { ptr, i32 } %224, 1
  store i32 %226, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #7
  br label %309

227:                                              ; preds = %212, %199, %189
  %228 = landingpad { ptr, i32 }
          cleanup
  %229 = extractvalue { ptr, i32 } %228, 0
  store ptr %229, ptr %16, align 8
  %230 = extractvalue { ptr, i32 } %228, 1
  store i32 %230, ptr %17, align 4
  br label %309

231:                                              ; preds = %222, %209
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #7
  %232 = load ptr, ptr %8, align 8, !tbaa !5
  %233 = getelementptr inbounds %class.HighsLp, ptr %232, i32 0, i32 7
  %234 = getelementptr inbounds %class.HighsSparseMatrix, ptr %233, i32 0, i32 3
  %235 = load i32, ptr %27, align 4, !tbaa !44
  %236 = sext i32 %235 to i64
  %237 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %236) #7
  %238 = load i32, ptr %237, align 4, !tbaa !44
  %239 = sext i32 %238 to i64
  %240 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %234, i64 noundef %239) #7
  %241 = load i32, ptr %240, align 4, !tbaa !44
  store i32 %241, ptr %29, align 4, !tbaa !44
  br label %242

242:                                              ; preds = %291, %231
  %243 = load i32, ptr %29, align 4, !tbaa !44
  %244 = load ptr, ptr %8, align 8, !tbaa !5
  %245 = getelementptr inbounds %class.HighsLp, ptr %244, i32 0, i32 7
  %246 = getelementptr inbounds %class.HighsSparseMatrix, ptr %245, i32 0, i32 3
  %247 = load i32, ptr %27, align 4, !tbaa !44
  %248 = sext i32 %247 to i64
  %249 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %248) #7
  %250 = load i32, ptr %249, align 4, !tbaa !44
  %251 = add nsw i32 %250, 1
  %252 = sext i32 %251 to i64
  %253 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %246, i64 noundef %252) #7
  %254 = load i32, ptr %253, align 4, !tbaa !44
  %255 = icmp slt i32 %243, %254
  br i1 %255, label %257, label %256

256:                                              ; preds = %242
  store i32 14, ptr %20, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #7
  br label %294

257:                                              ; preds = %242
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #7
  %258 = load ptr, ptr %8, align 8, !tbaa !5
  %259 = getelementptr inbounds %class.HighsLp, ptr %258, i32 0, i32 7
  %260 = getelementptr inbounds %class.HighsSparseMatrix, ptr %259, i32 0, i32 5
  %261 = load i32, ptr %29, align 4, !tbaa !44
  %262 = sext i32 %261 to i64
  %263 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %260, i64 noundef %262) #7
  %264 = load i32, ptr %263, align 4, !tbaa !44
  store i32 %264, ptr %30, align 4, !tbaa !44
  %265 = load i32, ptr %30, align 4, !tbaa !44
  %266 = sext i32 %265 to i64
  %267 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %14, i64 noundef %266) #7
  %268 = load i32, ptr %267, align 4, !tbaa !44
  %269 = icmp sge i32 %268, 0
  br i1 %269, label %270, label %290

270:                                              ; preds = %257
  %271 = getelementptr inbounds %class.HighsLp, ptr %25, i32 0, i32 7
  %272 = getelementptr inbounds %class.HighsSparseMatrix, ptr %271, i32 0, i32 5
  %273 = load i32, ptr %30, align 4, !tbaa !44
  %274 = sext i32 %273 to i64
  %275 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %14, i64 noundef %274) #7
  invoke void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24) %272, ptr noundef nonnull align 4 dereferenceable(4) %275)
          to label %276 unwind label %286

276:                                              ; preds = %270
  %277 = getelementptr inbounds %class.HighsLp, ptr %25, i32 0, i32 7
  %278 = getelementptr inbounds %class.HighsSparseMatrix, ptr %277, i32 0, i32 6
  %279 = load ptr, ptr %8, align 8, !tbaa !5
  %280 = getelementptr inbounds %class.HighsLp, ptr %279, i32 0, i32 7
  %281 = getelementptr inbounds %class.HighsSparseMatrix, ptr %280, i32 0, i32 6
  %282 = load i32, ptr %29, align 4, !tbaa !44
  %283 = sext i32 %282 to i64
  %284 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %281, i64 noundef %283) #7
  invoke void @_ZNSt6vectorIdSaIdEE9push_backERKd(ptr noundef nonnull align 8 dereferenceable(24) %278, ptr noundef nonnull align 8 dereferenceable(8) %284)
          to label %285 unwind label %286

285:                                              ; preds = %276
  br label %290

286:                                              ; preds = %276, %270
  %287 = landingpad { ptr, i32 }
          cleanup
  %288 = extractvalue { ptr, i32 } %287, 0
  store ptr %288, ptr %16, align 8
  %289 = extractvalue { ptr, i32 } %287, 1
  store i32 %289, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #7
  br label %309

290:                                              ; preds = %285, %257
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #7
  br label %291

291:                                              ; preds = %290
  %292 = load i32, ptr %29, align 4, !tbaa !44
  %293 = add nsw i32 %292, 1
  store i32 %293, ptr %29, align 4, !tbaa !44
  br label %242, !llvm.loop !56

294:                                              ; preds = %256
  %295 = getelementptr inbounds %class.HighsLp, ptr %25, i32 0, i32 7
  %296 = getelementptr inbounds %class.HighsSparseMatrix, ptr %295, i32 0, i32 3
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #7
  %297 = getelementptr inbounds %class.HighsLp, ptr %25, i32 0, i32 7
  %298 = getelementptr inbounds %class.HighsSparseMatrix, ptr %297, i32 0, i32 5
  %299 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %298) #7
  %300 = trunc i64 %299 to i32
  store i32 %300, ptr %31, align 4, !tbaa !44
  invoke void @_ZNSt6vectorIiSaIiEE9push_backEOi(ptr noundef nonnull align 8 dereferenceable(24) %296, ptr noundef nonnull align 4 dereferenceable(4) %31)
          to label %301 unwind label %305

301:                                              ; preds = %294
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #7
  br label %302

302:                                              ; preds = %301
  %303 = load i32, ptr %27, align 4, !tbaa !44
  %304 = add nsw i32 %303, 1
  store i32 %304, ptr %27, align 4, !tbaa !44
  br label %178, !llvm.loop !57

305:                                              ; preds = %294
  %306 = landingpad { ptr, i32 }
          cleanup
  %307 = extractvalue { ptr, i32 } %306, 0
  store ptr %307, ptr %16, align 8
  %308 = extractvalue { ptr, i32 } %306, 1
  store i32 %308, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #7
  br label %309

309:                                              ; preds = %305, %286, %227, %223
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #7
  br label %425

310:                                              ; preds = %182
  call void @llvm.lifetime.start.p0(i64 1, ptr %32) #7
  %311 = load ptr, ptr %8, align 8, !tbaa !5
  %312 = getelementptr inbounds %class.HighsLp, ptr %311, i32 0, i32 15
  %313 = call noundef i64 @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %312) #7
  %314 = icmp ugt i64 %313, 0
  %315 = zext i1 %314 to i8
  store i8 %315, ptr %32, align 1, !tbaa !48
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #7
  store i32 0, ptr %33, align 4, !tbaa !44
  br label %316

316:                                              ; preds = %360, %310
  %317 = load i32, ptr %33, align 4, !tbaa !44
  %318 = load i32, ptr %24, align 4, !tbaa !44
  %319 = icmp slt i32 %317, %318
  br i1 %319, label %321, label %320

320:                                              ; preds = %316
  store i32 17, ptr %20, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #7
  br label %363

321:                                              ; preds = %316
  %322 = getelementptr inbounds %class.HighsLp, ptr %25, i32 0, i32 5
  %323 = load ptr, ptr %8, align 8, !tbaa !5
  %324 = getelementptr inbounds %class.HighsLp, ptr %323, i32 0, i32 5
  %325 = load i32, ptr %33, align 4, !tbaa !44
  %326 = sext i32 %325 to i64
  %327 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %326) #7
  %328 = load i32, ptr %327, align 4, !tbaa !44
  %329 = sext i32 %328 to i64
  %330 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %324, i64 noundef %329) #7
  invoke void @_ZNSt6vectorIdSaIdEE9push_backERKd(ptr noundef nonnull align 8 dereferenceable(24) %322, ptr noundef nonnull align 8 dereferenceable(8) %330)
          to label %331 unwind label %355

331:                                              ; preds = %321
  %332 = getelementptr inbounds %class.HighsLp, ptr %25, i32 0, i32 6
  %333 = load ptr, ptr %8, align 8, !tbaa !5
  %334 = getelementptr inbounds %class.HighsLp, ptr %333, i32 0, i32 6
  %335 = load i32, ptr %33, align 4, !tbaa !44
  %336 = sext i32 %335 to i64
  %337 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %336) #7
  %338 = load i32, ptr %337, align 4, !tbaa !44
  %339 = sext i32 %338 to i64
  %340 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %334, i64 noundef %339) #7
  invoke void @_ZNSt6vectorIdSaIdEE9push_backERKd(ptr noundef nonnull align 8 dereferenceable(24) %332, ptr noundef nonnull align 8 dereferenceable(8) %340)
          to label %341 unwind label %355

341:                                              ; preds = %331
  %342 = load i8, ptr %32, align 1, !tbaa !48, !range !49, !noundef !50
  %343 = trunc i8 %342 to i1
  br i1 %343, label %344, label %359

344:                                              ; preds = %341
  %345 = getelementptr inbounds %class.HighsLp, ptr %25, i32 0, i32 15
  %346 = load ptr, ptr %8, align 8, !tbaa !5
  %347 = getelementptr inbounds %class.HighsLp, ptr %346, i32 0, i32 15
  %348 = load i32, ptr %33, align 4, !tbaa !44
  %349 = sext i32 %348 to i64
  %350 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %349) #7
  %351 = load i32, ptr %350, align 4, !tbaa !44
  %352 = sext i32 %351 to i64
  %353 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %347, i64 noundef %352) #7
  invoke void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE9push_backERKS5_(ptr noundef nonnull align 8 dereferenceable(24) %345, ptr noundef nonnull align 8 dereferenceable(32) %353)
          to label %354 unwind label %355

354:                                              ; preds = %344
  br label %359

355:                                              ; preds = %344, %331, %321
  %356 = landingpad { ptr, i32 }
          cleanup
  %357 = extractvalue { ptr, i32 } %356, 0
  store ptr %357, ptr %16, align 8
  %358 = extractvalue { ptr, i32 } %356, 1
  store i32 %358, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #7
  br label %424

359:                                              ; preds = %354, %341
  br label %360

360:                                              ; preds = %359
  %361 = load i32, ptr %33, align 4, !tbaa !44
  %362 = add nsw i32 %361, 1
  store i32 %362, ptr %33, align 4, !tbaa !44
  br label %316, !llvm.loop !58

363:                                              ; preds = %320
  %364 = load ptr, ptr %9, align 8, !tbaa !5
  %365 = invoke noundef i32 @_ZN8HighsIis7computeERK7HighsLpRK12HighsOptionsPK10HighsBasis(ptr noundef nonnull align 8 dereferenceable(128) %36, ptr noundef nonnull align 8 dereferenceable(920) %25, ptr noundef nonnull align 8 dereferenceable(1020) %364, ptr noundef null)
          to label %366 unwind label %369

366:                                              ; preds = %363
  %367 = icmp ne i32 %365, 0
  br i1 %367, label %368, label %373

368:                                              ; preds = %366
  store i32 -1, ptr %6, align 4
  store i32 1, ptr %20, align 4
  br label %422

369:                                              ; preds = %363
  %370 = landingpad { ptr, i32 }
          cleanup
  %371 = extractvalue { ptr, i32 } %370, 0
  store ptr %371, ptr %16, align 8
  %372 = extractvalue { ptr, i32 } %370, 1
  store i32 %372, ptr %17, align 4
  br label %424

373:                                              ; preds = %366
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #7
  store i32 0, ptr %34, align 4, !tbaa !44
  br label %374

374:                                              ; preds = %394, %373
  %375 = load i32, ptr %34, align 4, !tbaa !44
  %376 = getelementptr inbounds %class.HighsIis, ptr %36, i32 0, i32 2
  %377 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %376) #7
  %378 = trunc i64 %377 to i32
  %379 = icmp slt i32 %375, %378
  br i1 %379, label %381, label %380

380:                                              ; preds = %374
  store i32 20, ptr %20, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #7
  br label %397

381:                                              ; preds = %374
  %382 = getelementptr inbounds %class.HighsIis, ptr %36, i32 0, i32 2
  %383 = load i32, ptr %34, align 4, !tbaa !44
  %384 = sext i32 %383 to i64
  %385 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %382, i64 noundef %384) #7
  %386 = load i32, ptr %385, align 4, !tbaa !44
  %387 = sext i32 %386 to i64
  %388 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %387) #7
  %389 = load i32, ptr %388, align 4, !tbaa !44
  %390 = getelementptr inbounds %class.HighsIis, ptr %36, i32 0, i32 2
  %391 = load i32, ptr %34, align 4, !tbaa !44
  %392 = sext i32 %391 to i64
  %393 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %390, i64 noundef %392) #7
  store i32 %389, ptr %393, align 4, !tbaa !44
  br label %394

394:                                              ; preds = %381
  %395 = load i32, ptr %34, align 4, !tbaa !44
  %396 = add nsw i32 %395, 1
  store i32 %396, ptr %34, align 4, !tbaa !44
  br label %374, !llvm.loop !59

397:                                              ; preds = %380
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #7
  store i32 0, ptr %35, align 4, !tbaa !44
  br label %398

398:                                              ; preds = %418, %397
  %399 = load i32, ptr %35, align 4, !tbaa !44
  %400 = getelementptr inbounds %class.HighsIis, ptr %36, i32 0, i32 3
  %401 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %400) #7
  %402 = trunc i64 %401 to i32
  %403 = icmp slt i32 %399, %402
  br i1 %403, label %405, label %404

404:                                              ; preds = %398
  store i32 23, ptr %20, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #7
  br label %421

405:                                              ; preds = %398
  %406 = getelementptr inbounds %class.HighsIis, ptr %36, i32 0, i32 3
  %407 = load i32, ptr %35, align 4, !tbaa !44
  %408 = sext i32 %407 to i64
  %409 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %406, i64 noundef %408) #7
  %410 = load i32, ptr %409, align 4, !tbaa !44
  %411 = sext i32 %410 to i64
  %412 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %411) #7
  %413 = load i32, ptr %412, align 4, !tbaa !44
  %414 = getelementptr inbounds %class.HighsIis, ptr %36, i32 0, i32 3
  %415 = load i32, ptr %35, align 4, !tbaa !44
  %416 = sext i32 %415 to i64
  %417 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %414, i64 noundef %416) #7
  store i32 %413, ptr %417, align 4, !tbaa !44
  br label %418

418:                                              ; preds = %405
  %419 = load i32, ptr %35, align 4, !tbaa !44
  %420 = add nsw i32 %419, 1
  store i32 %420, ptr %35, align 4, !tbaa !44
  br label %398, !llvm.loop !60

421:                                              ; preds = %404
  store i32 0, ptr %6, align 4
  store i32 1, ptr %20, align 4
  br label %422

422:                                              ; preds = %421, %368
  call void @llvm.lifetime.end.p0(i64 1, ptr %32) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %26) #7
  call void @_ZN7HighsLpD2Ev(ptr noundef nonnull align 8 dereferenceable(920) %25) #7
  call void @llvm.lifetime.end.p0(i64 920, ptr %25) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #7
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %14) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %14) #7
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %13) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %13) #7
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %12) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %12) #7
  %423 = load i32, ptr %6, align 4
  ret i32 %423

424:                                              ; preds = %369, %355
  call void @llvm.lifetime.end.p0(i64 1, ptr %32) #7
  br label %425

425:                                              ; preds = %424, %309
  call void @llvm.lifetime.end.p0(i64 1, ptr %26) #7
  call void @_ZN7HighsLpD2Ev(ptr noundef nonnull align 8 dereferenceable(920) %25) #7
  br label %426

426:                                              ; preds = %425, %183
  call void @llvm.lifetime.end.p0(i64 920, ptr %25) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #7
  br label %427

427:                                              ; preds = %426, %147, %68, %64
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %14) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %14) #7
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %13) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %13) #7
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %12) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %12) #7
  br label %428

428:                                              ; preds = %427
  %429 = load ptr, ptr %16, align 8
  %430 = load i32, ptr %17, align 4
  %431 = insertvalue { ptr, i32 } poison, ptr %429, 0
  %432 = insertvalue { ptr, i32 } %431, i32 %430, 1
  resume { ptr, i32 } %432
}

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

declare noundef zeroext i1 @_ZNK17HighsSparseMatrix9isColwiseEv(ptr noundef nonnull align 8 dereferenceable(112)) #4

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef i32 @_ZN8HighsIis7computeERK7HighsLpRK12HighsOptionsPK10HighsBasis(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef nonnull align 8 dereferenceable(920), ptr noundef nonnull align 8 dereferenceable(1020), ptr noundef) #2 align 2

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

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


; 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" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsLp = type { i32, i32, %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %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.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = 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.HighsSparseMatrix = type { i32, i32, i32, %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.8" }
%"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.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.8", %"class.std::vector.8" }
%struct.HighsLpMods = type { %"class.std::vector", %"class.std::vector", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.18", %"class.std::vector", %"class.std::vector.8", %"class.std::vector", %"class.std::vector.8", %"class.std::vector", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8" }

@.str.70 = external hidden unnamed_addr constant [74 x i8], align 1
@.str.74 = external hidden unnamed_addr constant [28 x i8], align 1
@__PRETTY_FUNCTION__._ZN8HighsIis7getDataERK7HighsLpRK12HighsOptionsRK10HighsBasisRKSt6vectorIiSaIiEE = external hidden unnamed_addr constant [120 x i8], align 1
@.str.75 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.76 = external hidden unnamed_addr constant [25 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: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #1 align 2

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN8HighsIis7trivialERK7HighsLpRK12HighsOptions(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef nonnull align 8 dereferenceable(920), ptr noundef nonnull align 8 dereferenceable(1020)) 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 #1 align 2

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

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

; Function Attrs: mustprogress uwtable
define dso_local noundef range(i32 -1, 1) i32 @_ZN8HighsIis7getDataERK7HighsLpRK12HighsOptionsRK10HighsBasisRKSt6vectorIiSaIiEE(ptr noundef nonnull align 8 dereferenceable(128) %0, ptr noundef nonnull align 8 dereferenceable(920) %1, ptr noundef nonnull align 8 dereferenceable(1020) %2, ptr nocapture noundef nonnull readnone align 8 dereferenceable(96) %3, ptr noundef nonnull align 8 dereferenceable(24) %4) local_unnamed_addr #2 align 2 personality ptr @__gxx_personality_v0 {
  %6 = alloca %"class.std::vector", align 8
  %7 = alloca %"class.std::vector", align 8
  %8 = alloca %"class.std::vector", align 8
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca %class.HighsLp, align 8
  %12 = alloca double, align 8
  %13 = alloca i32, align 4
  %14 = tail call noundef zeroext i1 @_ZN8HighsIis7trivialERK7HighsLpRK12HighsOptions(ptr noundef nonnull align 8 dereferenceable(128) %0, ptr noundef nonnull align 8 dereferenceable(920) %1, ptr noundef nonnull align 8 dereferenceable(1020) %2)
  br i1 %14, label %15, label %16

15:                                               ; preds = %5
  tail call void @__assert_fail(ptr noundef nonnull @.str.74, ptr noundef nonnull @.str.70, i32 noundef 151, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN8HighsIis7getDataERK7HighsLpRK12HighsOptionsRK10HighsBasisRKSt6vectorIiSaIiEE) #6
  unreachable

16:                                               ; preds = %5
  %17 = tail call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %4) #7
  %.not = icmp eq i64 %17, 0
  br i1 %.not, label %18, label %19

18:                                               ; preds = %16
  tail call void @__assert_fail(ptr noundef nonnull @.str.75, ptr noundef nonnull @.str.70, i32 noundef 153, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN8HighsIis7getDataERK7HighsLpRK12HighsOptionsRK10HighsBasisRKSt6vectorIiSaIiEE) #6
  unreachable

19:                                               ; preds = %16
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %6) #7
  call void @_ZNSt6vectorIiSaIiEEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %6, ptr noundef nonnull align 8 dereferenceable(24) %4)
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %7) #7
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %7) #7
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %8) #7
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %8) #7
  %20 = getelementptr inbounds i8, ptr %1, i64 4
  %21 = load i32, ptr %20, align 4, !tbaa !5
  %22 = sext i32 %21 to i64
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %9) #7
  store i32 -1, ptr %9, align 4, !tbaa !43
  invoke void @_ZNSt6vectorIiSaIiEE6assignEmRKi(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %22, ptr noundef nonnull align 4 dereferenceable(4) %9)
          to label %23 unwind label %31

23:                                               ; preds = %19
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %9) #7
  %24 = getelementptr inbounds i8, ptr %1, i64 128
  %25 = invoke noundef zeroext i1 @_ZNK17HighsSparseMatrix9isColwiseEv(ptr noundef nonnull align 8 dereferenceable(112) %24)
          to label %26 unwind label %33

26:                                               ; preds = %23
  br i1 %25, label %.preheader95, label %30

.preheader95:                                     ; preds = %26
  %27 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %4) #7
  %28 = trunc i64 %27 to i32
  %29 = icmp sgt i32 %28, 0
  br i1 %29, label %.lr.ph, label %._crit_edge

30:                                               ; preds = %26
  call void @__assert_fail(ptr noundef nonnull @.str.76, ptr noundef nonnull @.str.70, i32 noundef 159, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN8HighsIis7getDataERK7HighsLpRK12HighsOptionsRK10HighsBasisRKSt6vectorIiSaIiEE) #6
  unreachable

31:                                               ; preds = %19
  %32 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %9) #7
  br label %226

33:                                               ; preds = %23
  %34 = landingpad { ptr, i32 }
          cleanup
  br label %226

._crit_edge:                                      ; preds = %.lr.ph, %.preheader95
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %10) #7
  store i32 0, ptr %10, align 4, !tbaa !43
  %35 = load i32, ptr %1, align 8, !tbaa !44
  %36 = icmp sgt i32 %35, 0
  br i1 %36, label %.lr.ph104, label %._crit_edge105

.lr.ph104:                                        ; preds = %._crit_edge
  %37 = getelementptr inbounds i8, ptr %1, i64 144
  %38 = getelementptr inbounds i8, ptr %1, i64 192
  br label %50

.lr.ph:                                           ; preds = %.preheader95, %.lr.ph
  %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph ], [ 0, %.preheader95 ]
  %39 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %4, i64 noundef %indvars.iv) #7
  %40 = load i32, ptr %39, align 4, !tbaa !43
  %41 = sext i32 %40 to i64
  %42 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %41) #7
  %43 = trunc nuw nsw i64 %indvars.iv to i32
  store i32 %43, ptr %42, align 4, !tbaa !43
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %44 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %4) #7
  %sext = shl i64 %44, 32
  %45 = ashr exact i64 %sext, 32
  %46 = icmp slt i64 %indvars.iv.next, %45
  br i1 %46, label %.lr.ph, label %._crit_edge, !llvm.loop !45

._crit_edge105:                                   ; preds = %.critedge, %._crit_edge
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %10) #7
  %47 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %7) #7
  %48 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %6) #7
  %49 = trunc i64 %48 to i32
  call void @llvm.lifetime.start.p0(i64 920, ptr nonnull %11) #7
  invoke void @_ZN7HighsLpC2Ev(ptr noundef nonnull align 8 dereferenceable(920) %11)
          to label %84 unwind label %112

50:                                               ; preds = %.lr.ph104, %.critedge
  %storemerge102 = phi i32 [ 0, %.lr.ph104 ], [ %81, %.critedge ]
  %51 = sext i32 %storemerge102 to i64
  %52 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %37, i64 noundef %51) #7
  %53 = load i32, ptr %52, align 4, !tbaa !43
  %54 = load i32, ptr %10, align 4, !tbaa !43
  %55 = add nsw i32 %54, 1
  %56 = sext i32 %55 to i64
  %57 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %37, i64 noundef %56) #7
  %58 = load i32, ptr %57, align 4, !tbaa !43
  %59 = icmp slt i32 %53, %58
  br i1 %59, label %.lr.ph100.preheader, label %.critedge

.lr.ph100.preheader:                              ; preds = %50
  %60 = sext i32 %53 to i64
  br label %.lr.ph100

._crit_edge101:                                   ; preds = %68
  br i1 %69, label %77, label %.critedge

.lr.ph100:                                        ; preds = %.lr.ph100.preheader, %68
  %indvars.iv123 = phi i64 [ %60, %.lr.ph100.preheader ], [ %indvars.iv.next124, %68 ]
  %.08297 = phi i1 [ false, %.lr.ph100.preheader ], [ %69, %68 ]
  br i1 %.08297, label %68, label %61

61:                                               ; preds = %.lr.ph100
  %62 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %38, i64 noundef %indvars.iv123) #7
  %63 = load i32, ptr %62, align 4, !tbaa !43
  %64 = sext i32 %63 to i64
  %65 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %64) #7
  %66 = load i32, ptr %65, align 4, !tbaa !43
  %67 = icmp sgt i32 %66, -1
  br label %68

68:                                               ; preds = %61, %.lr.ph100
  %69 = phi i1 [ true, %.lr.ph100 ], [ %67, %61 ]
  %indvars.iv.next124 = add nsw i64 %indvars.iv123, 1
  %70 = load i32, ptr %10, align 4, !tbaa !43
  %71 = add nsw i32 %70, 1
  %72 = sext i32 %71 to i64
  %73 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %37, i64 noundef %72) #7
  %74 = load i32, ptr %73, align 4, !tbaa !43
  %75 = sext i32 %74 to i64
  %76 = icmp slt i64 %indvars.iv.next124, %75
  br i1 %76, label %.lr.ph100, label %._crit_edge101, !llvm.loop !47

77:                                               ; preds = %._crit_edge101
  invoke void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24) %7, ptr noundef nonnull align 4 dereferenceable(4) %10)
          to label %.critedge unwind label %78

78:                                               ; preds = %77
  %79 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %10) #7
  br label %226

.critedge:                                        ; preds = %50, %77, %._crit_edge101
  %80 = load i32, ptr %10, align 4, !tbaa !43
  %81 = add nsw i32 %80, 1
  store i32 %81, ptr %10, align 4, !tbaa !43
  %82 = load i32, ptr %1, align 8, !tbaa !44
  %83 = icmp slt i32 %81, %82
  br i1 %83, label %50, label %._crit_edge105, !llvm.loop !48

84:                                               ; preds = %._crit_edge105
  %85 = trunc i64 %47 to i32
  store i32 %85, ptr %11, align 8, !tbaa !44
  %86 = getelementptr inbounds i8, ptr %11, i64 4
  store i32 %49, ptr %86, align 4, !tbaa !5
  %87 = getelementptr inbounds i8, ptr %11, i64 132
  store i32 %85, ptr %87, align 4, !tbaa !49
  %88 = getelementptr inbounds i8, ptr %11, i64 136
  store i32 %49, ptr %88, align 8, !tbaa !50
  %89 = getelementptr inbounds i8, ptr %1, i64 328
  %90 = call noundef i64 @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %89) #7
  %.not84 = icmp eq i64 %90, 0
  %91 = icmp sgt i32 %85, 0
  br i1 %91, label %.lr.ph112, label %._crit_edge113

.lr.ph112:                                        ; preds = %84
  %92 = getelementptr inbounds i8, ptr %11, i64 8
  %93 = getelementptr inbounds i8, ptr %11, i64 32
  %94 = getelementptr inbounds i8, ptr %1, i64 32
  %95 = getelementptr inbounds i8, ptr %11, i64 56
  %96 = getelementptr inbounds i8, ptr %1, i64 56
  %97 = getelementptr inbounds i8, ptr %11, i64 328
  %98 = getelementptr inbounds i8, ptr %1, i64 144
  %99 = getelementptr inbounds i8, ptr %1, i64 192
  %100 = getelementptr inbounds i8, ptr %11, i64 192
  %101 = getelementptr inbounds i8, ptr %11, i64 216
  %102 = getelementptr inbounds i8, ptr %1, i64 216
  %103 = getelementptr inbounds i8, ptr %11, i64 144
  %wide.trip.count = and i64 %47, 2147483647
  br label %114

._crit_edge113:                                   ; preds = %172, %84
  %104 = getelementptr inbounds i8, ptr %1, i64 352
  %105 = call noundef i64 @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %104) #7
  %.not85 = icmp eq i64 %105, 0
  %106 = icmp sgt i32 %49, 0
  br i1 %106, label %.lr.ph116, label %._crit_edge117

.lr.ph116:                                        ; preds = %._crit_edge113
  %107 = getelementptr inbounds i8, ptr %11, i64 80
  %108 = getelementptr inbounds i8, ptr %1, i64 80
  %109 = getelementptr inbounds i8, ptr %11, i64 104
  %110 = getelementptr inbounds i8, ptr %1, i64 104
  %111 = getelementptr inbounds i8, ptr %11, i64 352
  %wide.trip.count134 = and i64 %48, 2147483647
  br label %176

112:                                              ; preds = %._crit_edge105
  %113 = landingpad { ptr, i32 }
          cleanup
  br label %225

114:                                              ; preds = %.lr.ph112, %172
  %indvars.iv128 = phi i64 [ 0, %.lr.ph112 ], [ %indvars.iv.next129, %172 ]
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #7
  store double 0.000000e+00, ptr %12, align 8, !tbaa !51
  invoke void @_ZNSt6vectorIdSaIdEE9push_backEOd(ptr noundef nonnull align 8 dereferenceable(24) %92, ptr noundef nonnull align 8 dereferenceable(8) %12)
          to label %115 unwind label %131

115:                                              ; preds = %114
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #7
  %116 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %indvars.iv128) #7
  %117 = load i32, ptr %116, align 4, !tbaa !43
  %118 = sext i32 %117 to i64
  %119 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %94, i64 noundef %118) #7
  invoke void @_ZNSt6vectorIdSaIdEE9push_backERKd(ptr noundef nonnull align 8 dereferenceable(24) %93, ptr noundef nonnull align 8 dereferenceable(8) %119)
          to label %120 unwind label %133

120:                                              ; preds = %115
  %121 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %indvars.iv128) #7
  %122 = load i32, ptr %121, align 4, !tbaa !43
  %123 = sext i32 %122 to i64
  %124 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %96, i64 noundef %123) #7
  invoke void @_ZNSt6vectorIdSaIdEE9push_backERKd(ptr noundef nonnull align 8 dereferenceable(24) %95, ptr noundef nonnull align 8 dereferenceable(8) %124)
          to label %125 unwind label %133

125:                                              ; preds = %120
  br i1 %.not84, label %135, label %126

126:                                              ; preds = %125
  %127 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %indvars.iv128) #7
  %128 = load i32, ptr %127, align 4, !tbaa !43
  %129 = sext i32 %128 to i64
  %130 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %89, i64 noundef %129) #7
  invoke void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE9push_backERKS5_(ptr noundef nonnull align 8 dereferenceable(24) %97, ptr noundef nonnull align 8 dereferenceable(32) %130)
          to label %135 unwind label %133

131:                                              ; preds = %114
  %132 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #7
  br label %224

133:                                              ; preds = %126, %120, %115
  %134 = landingpad { ptr, i32 }
          cleanup
  br label %224

135:                                              ; preds = %126, %125
  %136 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %indvars.iv128) #7
  %137 = load i32, ptr %136, align 4, !tbaa !43
  %138 = sext i32 %137 to i64
  %139 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %98, i64 noundef %138) #7
  %140 = load i32, ptr %139, align 4, !tbaa !43
  %141 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %indvars.iv128) #7
  %142 = load i32, ptr %141, align 4, !tbaa !43
  %143 = add nsw i32 %142, 1
  %144 = sext i32 %143 to i64
  %145 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %98, i64 noundef %144) #7
  %146 = load i32, ptr %145, align 4, !tbaa !43
  %147 = icmp slt i32 %140, %146
  br i1 %147, label %.lr.ph108.preheader, label %._crit_edge109

.lr.ph108.preheader:                              ; preds = %135
  %148 = sext i32 %140 to i64
  br label %.lr.ph108

._crit_edge109:                                   ; preds = %163, %135
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %13) #7
  %149 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %100) #7
  %150 = trunc i64 %149 to i32
  store i32 %150, ptr %13, align 4, !tbaa !43
  invoke void @_ZNSt6vectorIiSaIiEE9push_backEOi(ptr noundef nonnull align 8 dereferenceable(24) %103, ptr noundef nonnull align 4 dereferenceable(4) %13)
          to label %172 unwind label %173

.lr.ph108:                                        ; preds = %.lr.ph108.preheader, %163
  %indvars.iv125 = phi i64 [ %148, %.lr.ph108.preheader ], [ %indvars.iv.next126, %163 ]
  %151 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %99, i64 noundef %indvars.iv125) #7
  %152 = load i32, ptr %151, align 4, !tbaa !43
  %153 = sext i32 %152 to i64
  %154 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %153) #7
  %155 = load i32, ptr %154, align 4, !tbaa !43
  %156 = icmp sgt i32 %155, -1
  br i1 %156, label %157, label %163

157:                                              ; preds = %.lr.ph108
  %158 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %153) #7
  invoke void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24) %100, ptr noundef nonnull align 4 dereferenceable(4) %158)
          to label %159 unwind label %161

159:                                              ; preds = %157
  %160 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %102, i64 noundef %indvars.iv125) #7
  invoke void @_ZNSt6vectorIdSaIdEE9push_backERKd(ptr noundef nonnull align 8 dereferenceable(24) %101, ptr noundef nonnull align 8 dereferenceable(8) %160)
          to label %163 unwind label %161

161:                                              ; preds = %159, %157
  %162 = landingpad { ptr, i32 }
          cleanup
  br label %224

163:                                              ; preds = %159, %.lr.ph108
  %indvars.iv.next126 = add nsw i64 %indvars.iv125, 1
  %164 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %indvars.iv128) #7
  %165 = load i32, ptr %164, align 4, !tbaa !43
  %166 = add nsw i32 %165, 1
  %167 = sext i32 %166 to i64
  %168 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %98, i64 noundef %167) #7
  %169 = load i32, ptr %168, align 4, !tbaa !43
  %170 = sext i32 %169 to i64
  %171 = icmp slt i64 %indvars.iv.next126, %170
  br i1 %171, label %.lr.ph108, label %._crit_edge109, !llvm.loop !52

172:                                              ; preds = %._crit_edge109
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #7
  %indvars.iv.next129 = add nuw nsw i64 %indvars.iv128, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next129, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge113, label %114, !llvm.loop !53

173:                                              ; preds = %._crit_edge109
  %174 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #7
  br label %224

._crit_edge117:                                   ; preds = %194, %._crit_edge113
  %175 = invoke noundef i32 @_ZN8HighsIis7computeERK7HighsLpRK12HighsOptionsPK10HighsBasis(ptr noundef nonnull align 8 dereferenceable(128) %0, ptr noundef nonnull align 8 dereferenceable(920) %11, ptr noundef nonnull align 8 dereferenceable(1020) %2, ptr noundef null)
          to label %195 unwind label %200

176:                                              ; preds = %.lr.ph116, %194
  %indvars.iv131 = phi i64 [ 0, %.lr.ph116 ], [ %indvars.iv.next132, %194 ]
  %177 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %indvars.iv131) #7
  %178 = load i32, ptr %177, align 4, !tbaa !43
  %179 = sext i32 %178 to i64
  %180 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %108, i64 noundef %179) #7
  invoke void @_ZNSt6vectorIdSaIdEE9push_backERKd(ptr noundef nonnull align 8 dereferenceable(24) %107, ptr noundef nonnull align 8 dereferenceable(8) %180)
          to label %181 unwind label %192

181:                                              ; preds = %176
  %182 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %indvars.iv131) #7
  %183 = load i32, ptr %182, align 4, !tbaa !43
  %184 = sext i32 %183 to i64
  %185 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %110, i64 noundef %184) #7
  invoke void @_ZNSt6vectorIdSaIdEE9push_backERKd(ptr noundef nonnull align 8 dereferenceable(24) %109, ptr noundef nonnull align 8 dereferenceable(8) %185)
          to label %186 unwind label %192

186:                                              ; preds = %181
  br i1 %.not85, label %194, label %187

187:                                              ; preds = %186
  %188 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %indvars.iv131) #7
  %189 = load i32, ptr %188, align 4, !tbaa !43
  %190 = sext i32 %189 to i64
  %191 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %104, i64 noundef %190) #7
  invoke void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE9push_backERKS5_(ptr noundef nonnull align 8 dereferenceable(24) %111, ptr noundef nonnull align 8 dereferenceable(32) %191)
          to label %194 unwind label %192

192:                                              ; preds = %187, %181, %176
  %193 = landingpad { ptr, i32 }
          cleanup
  br label %224

194:                                              ; preds = %186, %187
  %indvars.iv.next132 = add nuw nsw i64 %indvars.iv131, 1
  %exitcond135.not = icmp eq i64 %indvars.iv.next132, %wide.trip.count134
  br i1 %exitcond135.not, label %._crit_edge117, label %176, !llvm.loop !54

195:                                              ; preds = %._crit_edge117
  %.not86 = icmp eq i32 %175, 0
  br i1 %.not86, label %.preheader94, label %.loopexit

.preheader94:                                     ; preds = %195
  %196 = getelementptr inbounds i8, ptr %0, i64 8
  %197 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %196) #7
  %198 = trunc i64 %197 to i32
  %199 = icmp sgt i32 %198, 0
  br i1 %199, label %.lr.ph119, label %.preheader

200:                                              ; preds = %._crit_edge117
  %201 = landingpad { ptr, i32 }
          cleanup
  br label %224

.preheader:                                       ; preds = %.lr.ph119, %.preheader94
  %202 = getelementptr inbounds i8, ptr %0, i64 32
  %203 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %202) #7
  %204 = trunc i64 %203 to i32
  %205 = icmp sgt i32 %204, 0
  br i1 %205, label %.lr.ph121, label %.loopexit

.lr.ph119:                                        ; preds = %.preheader94, %.lr.ph119
  %indvars.iv136 = phi i64 [ %indvars.iv.next137, %.lr.ph119 ], [ 0, %.preheader94 ]
  %206 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %196, i64 noundef %indvars.iv136) #7
  %207 = load i32, ptr %206, align 4, !tbaa !43
  %208 = sext i32 %207 to i64
  %209 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %208) #7
  %210 = load i32, ptr %209, align 4, !tbaa !43
  %211 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %196, i64 noundef %indvars.iv136) #7
  store i32 %210, ptr %211, align 4, !tbaa !43
  %indvars.iv.next137 = add nuw nsw i64 %indvars.iv136, 1
  %212 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %196) #7
  %sext142 = shl i64 %212, 32
  %213 = ashr exact i64 %sext142, 32
  %214 = icmp slt i64 %indvars.iv.next137, %213
  br i1 %214, label %.lr.ph119, label %.preheader, !llvm.loop !55

.lr.ph121:                                        ; preds = %.preheader, %.lr.ph121
  %indvars.iv139 = phi i64 [ %indvars.iv.next140, %.lr.ph121 ], [ 0, %.preheader ]
  %215 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %202, i64 noundef %indvars.iv139) #7
  %216 = load i32, ptr %215, align 4, !tbaa !43
  %217 = sext i32 %216 to i64
  %218 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %217) #7
  %219 = load i32, ptr %218, align 4, !tbaa !43
  %220 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %202, i64 noundef %indvars.iv139) #7
  store i32 %219, ptr %220, align 4, !tbaa !43
  %indvars.iv.next140 = add nuw nsw i64 %indvars.iv139, 1
  %221 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %202) #7
  %sext143 = shl i64 %221, 32
  %222 = ashr exact i64 %sext143, 32
  %223 = icmp slt i64 %indvars.iv.next140, %222
  br i1 %223, label %.lr.ph121, label %.loopexit, !llvm.loop !56

.loopexit:                                        ; preds = %.lr.ph121, %.preheader, %195
  %.071 = phi i32 [ -1, %195 ], [ 0, %.preheader ], [ 0, %.lr.ph121 ]
  call void @_ZN7HighsLpD2Ev(ptr noundef nonnull align 8 dereferenceable(920) %11) #7
  call void @llvm.lifetime.end.p0(i64 920, ptr nonnull %11) #7
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %8) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %8) #7
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %7) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %7) #7
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %6) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %6) #7
  ret i32 %.071

224:                                              ; preds = %192, %200, %131, %133, %161, %173
  %.pn88.pn = phi { ptr, i32 } [ %162, %161 ], [ %174, %173 ], [ %134, %133 ], [ %132, %131 ], [ %193, %192 ], [ %201, %200 ]
  call void @_ZN7HighsLpD2Ev(ptr noundef nonnull align 8 dereferenceable(920) %11) #7
  br label %225

225:                                              ; preds = %224, %112
  %.pn88.pn.pn = phi { ptr, i32 } [ %.pn88.pn, %224 ], [ %113, %112 ]
  call void @llvm.lifetime.end.p0(i64 920, ptr nonnull %11) #7
  br label %226

226:                                              ; preds = %225, %78, %33, %31
  %.pn92 = phi { ptr, i32 } [ %79, %78 ], [ %.pn88.pn.pn, %225 ], [ %34, %33 ], [ %32, %31 ]
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %8) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %8) #7
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %7) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %7) #7
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %6) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %6) #7
  resume { ptr, i32 } %.pn92
}

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

declare noundef zeroext i1 @_ZNK17HighsSparseMatrix9isColwiseEv(ptr noundef nonnull align 8 dereferenceable(112)) local_unnamed_addr #4

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef i32 @_ZN8HighsIis7computeERK7HighsLpRK12HighsOptionsPK10HighsBasis(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef nonnull align 8 dereferenceable(920), ptr noundef nonnull align 8 dereferenceable(1020), ptr noundef) local_unnamed_addr #2 align 2

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

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


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