; LLVM IR from ERGO-Code/HiGHS :: src/model/HighsHessian.ll (ZN12HighsHessian10deleteColsERK20HighsIndexCollection)

; 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.HighsHessian = type { i32, i32, %"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<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 }

@.str.51 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.52 = external hidden unnamed_addr constant [76 x i8], align 1
@__PRETTY_FUNCTION__._ZN12HighsHessian10deleteColsERK20HighsIndexCollection = external hidden unnamed_addr constant [60 x i8], align 1
@.str.53 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.54 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.56 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.57 = 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 uwtable
declare dso_local void @_ZN12HighsHessian5clearEv(ptr noundef nonnull align 8 dereferenceable(80)) #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)) #1 align 2

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN12HighsHessian10deleteColsERK20HighsIndexCollection(ptr noundef nonnull align 8 dereferenceable(80) %0, ptr noundef nonnull align 8 dereferenceable(80) %1) #1 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca %"class.std::vector", align 8
  %14 = alloca i32, align 4
  %15 = alloca ptr, align 8
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca %"class.std::vector", align 8
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  %32 = load ptr, ptr %3, align 8
  %33 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 0
  %34 = load i32, ptr %33, align 8, !tbaa !9
  %35 = icmp eq i32 %34, 0
  br i1 %35, label %36, label %37

36:                                               ; preds = %2
  br label %371

37:                                               ; preds = %2
  %38 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 1
  %39 = load i32, ptr %38, align 4, !tbaa !21
  %40 = icmp eq i32 %39, 1
  br i1 %40, label %41, label %42

41:                                               ; preds = %37
  br label %44

42:                                               ; preds = %37
  call void @__assert_fail(ptr noundef @.str.51, ptr noundef @.str.52, i32 noundef 46, ptr noundef @__PRETTY_FUNCTION__._ZN12HighsHessian10deleteColsERK20HighsIndexCollection) #5
  unreachable

43:                                               ; No predecessors!
  br label %44

44:                                               ; preds = %43, %41
  %45 = load ptr, ptr %4, align 8, !tbaa !5
  %46 = call noundef zeroext i1 @_Z2okRK20HighsIndexCollection(ptr noundef nonnull align 8 dereferenceable(80) %45)
  br i1 %46, label %47, label %48

47:                                               ; preds = %44
  br label %50

48:                                               ; preds = %44
  call void @__assert_fail(ptr noundef @.str.53, ptr noundef @.str.52, i32 noundef 47, ptr noundef @__PRETTY_FUNCTION__._ZN12HighsHessian10deleteColsERK20HighsIndexCollection) #5
  unreachable

49:                                               ; No predecessors!
  br label %50

50:                                               ; preds = %49, %47
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #6
  %51 = load ptr, ptr %4, align 8, !tbaa !5
  call void @_Z6limitsRK20HighsIndexCollectionRiS2_(ptr noundef nonnull align 8 dereferenceable(80) %51, ptr noundef nonnull align 4 dereferenceable(4) %5, ptr noundef nonnull align 4 dereferenceable(4) %6)
  %52 = load i32, ptr %5, align 4, !tbaa !22
  %53 = load i32, ptr %6, align 4, !tbaa !22
  %54 = icmp sgt i32 %52, %53
  br i1 %54, label %55, label %56

55:                                               ; preds = %50
  store i32 1, ptr %7, align 4
  br label %369

56:                                               ; preds = %50
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #6
  store i32 -1, ptr %11, align 4, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #6
  store i32 0, ptr %12, align 4, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 24, ptr %13) #6
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %13) #6
  %57 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 0
  %58 = load i32, ptr %57, align 8, !tbaa !9
  %59 = sext i32 %58 to i64
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #6
  store i32 -1, ptr %14, align 4, !tbaa !22
  invoke void @_ZNSt6vectorIiSaIiEE6assignEmRKi(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %59, ptr noundef nonnull align 4 dereferenceable(4) %14)
          to label %60 unwind label %67

60:                                               ; preds = %56
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #6
  store i32 0, ptr %17, align 4, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #6
  %61 = load i32, ptr %5, align 4, !tbaa !22
  store i32 %61, ptr %18, align 4, !tbaa !22
  br label %62

62:                                               ; preds = %121, %60
  %63 = load i32, ptr %18, align 4, !tbaa !22
  %64 = load i32, ptr %6, align 4, !tbaa !22
  %65 = icmp sle i32 %63, %64
  br i1 %65, label %71, label %66

66:                                               ; preds = %62
  store i32 2, ptr %7, align 4
  br label %124

67:                                               ; preds = %56
  %68 = landingpad { ptr, i32 }
          cleanup
  %69 = extractvalue { ptr, i32 } %68, 0
  store ptr %69, ptr %15, align 8
  %70 = extractvalue { ptr, i32 } %68, 1
  store i32 %70, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #6
  br label %375

71:                                               ; preds = %62
  %72 = load ptr, ptr %4, align 8, !tbaa !5
  invoke void @_Z16updateOutInIndexRK20HighsIndexCollectionRiS2_S2_S2_S2_(ptr noundef nonnull align 8 dereferenceable(80) %72, ptr noundef nonnull align 4 dereferenceable(4) %8, ptr noundef nonnull align 4 dereferenceable(4) %9, ptr noundef nonnull align 4 dereferenceable(4) %10, ptr noundef nonnull align 4 dereferenceable(4) %11, ptr noundef nonnull align 4 dereferenceable(4) %12)
          to label %73 unwind label %83

73:                                               ; preds = %71
  %74 = load i32, ptr %18, align 4, !tbaa !22
  %75 = load i32, ptr %5, align 4, !tbaa !22
  %76 = icmp eq i32 %74, %75
  br i1 %76, label %77, label %97

77:                                               ; preds = %73
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #6
  store i32 0, ptr %19, align 4, !tbaa !22
  br label %78

78:                                               ; preds = %93, %77
  %79 = load i32, ptr %19, align 4, !tbaa !22
  %80 = load i32, ptr %8, align 4, !tbaa !22
  %81 = icmp slt i32 %79, %80
  br i1 %81, label %87, label %82

82:                                               ; preds = %78
  store i32 5, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #6
  br label %96

83:                                               ; preds = %71
  %84 = landingpad { ptr, i32 }
          cleanup
  %85 = extractvalue { ptr, i32 } %84, 0
  store ptr %85, ptr %15, align 8
  %86 = extractvalue { ptr, i32 } %84, 1
  store i32 %86, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #6
  br label %374

87:                                               ; preds = %78
  %88 = load i32, ptr %17, align 4, !tbaa !22
  %89 = add nsw i32 %88, 1
  store i32 %89, ptr %17, align 4, !tbaa !22
  %90 = load i32, ptr %19, align 4, !tbaa !22
  %91 = sext i32 %90 to i64
  %92 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %91) #6
  store i32 %88, ptr %92, align 4, !tbaa !22
  br label %93

93:                                               ; preds = %87
  %94 = load i32, ptr %19, align 4, !tbaa !22
  %95 = add nsw i32 %94, 1
  store i32 %95, ptr %19, align 4, !tbaa !22
  br label %78, !llvm.loop !23

96:                                               ; preds = %82
  br label %97

97:                                               ; preds = %96, %73
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #6
  %98 = load i32, ptr %10, align 4, !tbaa !22
  store i32 %98, ptr %20, align 4, !tbaa !22
  br label %99

99:                                               ; preds = %110, %97
  %100 = load i32, ptr %20, align 4, !tbaa !22
  %101 = load i32, ptr %11, align 4, !tbaa !22
  %102 = icmp sle i32 %100, %101
  br i1 %102, label %104, label %103

103:                                              ; preds = %99
  store i32 8, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #6
  br label %113

104:                                              ; preds = %99
  %105 = load i32, ptr %17, align 4, !tbaa !22
  %106 = add nsw i32 %105, 1
  store i32 %106, ptr %17, align 4, !tbaa !22
  %107 = load i32, ptr %20, align 4, !tbaa !22
  %108 = sext i32 %107 to i64
  %109 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %108) #6
  store i32 %105, ptr %109, align 4, !tbaa !22
  br label %110

110:                                              ; preds = %104
  %111 = load i32, ptr %20, align 4, !tbaa !22
  %112 = add nsw i32 %111, 1
  store i32 %112, ptr %20, align 4, !tbaa !22
  br label %99, !llvm.loop !25

113:                                              ; preds = %103
  %114 = load i32, ptr %11, align 4, !tbaa !22
  %115 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 0
  %116 = load i32, ptr %115, align 8, !tbaa !9
  %117 = sub nsw i32 %116, 1
  %118 = icmp sge i32 %114, %117
  br i1 %118, label %119, label %120

119:                                              ; preds = %113
  store i32 2, ptr %7, align 4
  br label %124

120:                                              ; preds = %113
  br label %121

121:                                              ; preds = %120
  %122 = load i32, ptr %18, align 4, !tbaa !22
  %123 = add nsw i32 %122, 1
  store i32 %123, ptr %18, align 4, !tbaa !22
  br label %62, !llvm.loop !26

124:                                              ; preds = %119, %66
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #6
  br label %125

125:                                              ; preds = %124
  %126 = load i32, ptr %17, align 4, !tbaa !22
  %127 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 0
  %128 = load i32, ptr %127, align 8, !tbaa !9
  %129 = icmp slt i32 %126, %128
  br i1 %129, label %130, label %131

130:                                              ; preds = %125
  br label %133

131:                                              ; preds = %125
  call void @__assert_fail(ptr noundef @.str.54, ptr noundef @.str.52, i32 noundef 77, ptr noundef @__PRETTY_FUNCTION__._ZN12HighsHessian10deleteColsERK20HighsIndexCollection) #5
  unreachable

132:                                              ; No predecessors!
  br label %133

133:                                              ; preds = %132, %130
  store i32 -1, ptr %11, align 4, !tbaa !22
  store i32 0, ptr %12, align 4, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #6
  %134 = load i32, ptr %17, align 4, !tbaa !22
  store i32 %134, ptr %21, align 4, !tbaa !22
  store i32 0, ptr %17, align 4, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #6
  store i32 0, ptr %22, align 4, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #6
  store i32 0, ptr %23, align 4, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 24, ptr %24) #6
  %135 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 2
  invoke void @_ZNSt6vectorIiSaIiEEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %24, ptr noundef nonnull align 8 dereferenceable(24) %135)
          to label %136 unwind label %143

136:                                              ; preds = %133
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #6
  %137 = load i32, ptr %5, align 4, !tbaa !22
  store i32 %137, ptr %25, align 4, !tbaa !22
  br label %138

138:                                              ; preds = %344, %136
  %139 = load i32, ptr %25, align 4, !tbaa !22
  %140 = load i32, ptr %6, align 4, !tbaa !22
  %141 = icmp sle i32 %139, %140
  br i1 %141, label %147, label %142

142:                                              ; preds = %138
  store i32 11, ptr %7, align 4
  br label %347

143:                                              ; preds = %133
  %144 = landingpad { ptr, i32 }
          cleanup
  %145 = extractvalue { ptr, i32 } %144, 0
  store ptr %145, ptr %15, align 8
  %146 = extractvalue { ptr, i32 } %144, 1
  store i32 %146, ptr %16, align 4
  br label %373

147:                                              ; preds = %138
  %148 = load ptr, ptr %4, align 8, !tbaa !5
  invoke void @_Z16updateOutInIndexRK20HighsIndexCollectionRiS2_S2_S2_S2_(ptr noundef nonnull align 8 dereferenceable(80) %148, ptr noundef nonnull align 4 dereferenceable(4) %8, ptr noundef nonnull align 4 dereferenceable(4) %9, ptr noundef nonnull align 4 dereferenceable(4) %10, ptr noundef nonnull align 4 dereferenceable(4) %11, ptr noundef nonnull align 4 dereferenceable(4) %12)
          to label %149 unwind label %159

149:                                              ; preds = %147
  %150 = load i32, ptr %25, align 4, !tbaa !22
  %151 = load i32, ptr %5, align 4, !tbaa !22
  %152 = icmp eq i32 %150, %151
  br i1 %152, label %153, label %250

153:                                              ; preds = %149
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #6
  store i32 0, ptr %26, align 4, !tbaa !22
  br label %154

154:                                              ; preds = %239, %153
  %155 = load i32, ptr %26, align 4, !tbaa !22
  %156 = load i32, ptr %8, align 4, !tbaa !22
  %157 = icmp slt i32 %155, %156
  br i1 %157, label %163, label %158

158:                                              ; preds = %154
  store i32 14, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #6
  br label %242

159:                                              ; preds = %147
  %160 = landingpad { ptr, i32 }
          cleanup
  %161 = extractvalue { ptr, i32 } %160, 0
  store ptr %161, ptr %15, align 8
  %162 = extractvalue { ptr, i32 } %160, 1
  store i32 %162, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #6
  br label %372

163:                                              ; preds = %154
  %164 = load i32, ptr %26, align 4, !tbaa !22
  %165 = sext i32 %164 to i64
  %166 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %165) #6
  %167 = load i32, ptr %166, align 4, !tbaa !22
  %168 = icmp sge i32 %167, 0
  br i1 %168, label %169, label %170

169:                                              ; preds = %163
  br label %172

170:                                              ; preds = %163
  call void @__assert_fail(ptr noundef @.str.55, ptr noundef @.str.52, i32 noundef 95, ptr noundef @__PRETTY_FUNCTION__._ZN12HighsHessian10deleteColsERK20HighsIndexCollection) #5
  unreachable

171:                                              ; No predecessors!
  br label %172

172:                                              ; preds = %171, %169
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #6
  %173 = load i32, ptr %26, align 4, !tbaa !22
  %174 = sext i32 %173 to i64
  %175 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %24, i64 noundef %174) #6
  %176 = load i32, ptr %175, align 4, !tbaa !22
  store i32 %176, ptr %27, align 4, !tbaa !22
  br label %177

177:                                              ; preds = %228, %172
  %178 = load i32, ptr %27, align 4, !tbaa !22
  %179 = load i32, ptr %26, align 4, !tbaa !22
  %180 = add nsw i32 %179, 1
  %181 = sext i32 %180 to i64
  %182 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %24, i64 noundef %181) #6
  %183 = load i32, ptr %182, align 4, !tbaa !22
  %184 = icmp slt i32 %178, %183
  br i1 %184, label %186, label %185

185:                                              ; preds = %177
  store i32 17, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #6
  br label %231

186:                                              ; preds = %177
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #6
  %187 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 3
  %188 = load i32, ptr %27, align 4, !tbaa !22
  %189 = sext i32 %188 to i64
  %190 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %187, i64 noundef %189) #6
  %191 = load i32, ptr %190, align 4, !tbaa !22
  %192 = sext i32 %191 to i64
  %193 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %192) #6
  %194 = load i32, ptr %193, align 4, !tbaa !22
  store i32 %194, ptr %28, align 4, !tbaa !22
  %195 = load i32, ptr %28, align 4, !tbaa !22
  %196 = icmp slt i32 %195, 0
  br i1 %196, label %197, label %198

197:                                              ; preds = %186
  store i32 19, ptr %7, align 4
  br label %225

198:                                              ; preds = %186
  %199 = load i32, ptr %28, align 4, !tbaa !22
  %200 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 3
  %201 = load i32, ptr %23, align 4, !tbaa !22
  %202 = sext i32 %201 to i64
  %203 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %200, i64 noundef %202) #6
  store i32 %199, ptr %203, align 4, !tbaa !22
  %204 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 4
  %205 = load i32, ptr %27, align 4, !tbaa !22
  %206 = sext i32 %205 to i64
  %207 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %204, i64 noundef %206) #6
  %208 = load double, ptr %207, align 8, !tbaa !27
  %209 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 4
  %210 = load i32, ptr %23, align 4, !tbaa !22
  %211 = sext i32 %210 to i64
  %212 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %209, i64 noundef %211) #6
  store double %208, ptr %212, align 8, !tbaa !27
  %213 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 4
  %214 = load i32, ptr %23, align 4, !tbaa !22
  %215 = sext i32 %214 to i64
  %216 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %213, i64 noundef %215) #6
  %217 = load double, ptr %216, align 8, !tbaa !27
  %218 = fcmp une double %217, 0.000000e+00
  br i1 %218, label %219, label %222

219:                                              ; preds = %198
  %220 = load i32, ptr %22, align 4, !tbaa !22
  %221 = add nsw i32 %220, 1
  store i32 %221, ptr %22, align 4, !tbaa !22
  br label %222

222:                                              ; preds = %219, %198
  %223 = load i32, ptr %23, align 4, !tbaa !22
  %224 = add nsw i32 %223, 1
  store i32 %224, ptr %23, align 4, !tbaa !22
  store i32 0, ptr %7, align 4
  br label %225

225:                                              ; preds = %222, %197
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #6
  %226 = load i32, ptr %7, align 4
  switch i32 %226, label %381 [
    i32 0, label %227
    i32 19, label %228
  ]

227:                                              ; preds = %225
  br label %228

228:                                              ; preds = %227, %225
  %229 = load i32, ptr %27, align 4, !tbaa !22
  %230 = add nsw i32 %229, 1
  store i32 %230, ptr %27, align 4, !tbaa !22
  br label %177, !llvm.loop !29

231:                                              ; preds = %185
  %232 = load i32, ptr %17, align 4, !tbaa !22
  %233 = add nsw i32 %232, 1
  store i32 %233, ptr %17, align 4, !tbaa !22
  %234 = load i32, ptr %23, align 4, !tbaa !22
  %235 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 2
  %236 = load i32, ptr %17, align 4, !tbaa !22
  %237 = sext i32 %236 to i64
  %238 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %235, i64 noundef %237) #6
  store i32 %234, ptr %238, align 4, !tbaa !22
  br label %239

239:                                              ; preds = %231
  %240 = load i32, ptr %26, align 4, !tbaa !22
  %241 = add nsw i32 %240, 1
  store i32 %241, ptr %26, align 4, !tbaa !22
  br label %154, !llvm.loop !30

242:                                              ; preds = %158
  %243 = load i32, ptr %17, align 4, !tbaa !22
  %244 = load i32, ptr %8, align 4, !tbaa !22
  %245 = icmp eq i32 %243, %244
  br i1 %245, label %246, label %247

246:                                              ; preds = %242
  br label %249

247:                                              ; preds = %242
  call void @__assert_fail(ptr noundef @.str.56, ptr noundef @.str.52, i32 noundef 108, ptr noundef @__PRETTY_FUNCTION__._ZN12HighsHessian10deleteColsERK20HighsIndexCollection) #5
  unreachable

248:                                              ; No predecessors!
  br label %249

249:                                              ; preds = %248, %246
  br label %250

250:                                              ; preds = %249, %149
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #6
  %251 = load i32, ptr %10, align 4, !tbaa !22
  store i32 %251, ptr %29, align 4, !tbaa !22
  br label %252

252:                                              ; preds = %333, %250
  %253 = load i32, ptr %29, align 4, !tbaa !22
  %254 = load i32, ptr %11, align 4, !tbaa !22
  %255 = icmp sle i32 %253, %254
  br i1 %255, label %257, label %256

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

257:                                              ; preds = %252
  %258 = load i32, ptr %29, align 4, !tbaa !22
  %259 = sext i32 %258 to i64
  %260 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %259) #6
  %261 = load i32, ptr %260, align 4, !tbaa !22
  %262 = icmp sge i32 %261, 0
  br i1 %262, label %263, label %264

263:                                              ; preds = %257
  br label %266

264:                                              ; preds = %257
  call void @__assert_fail(ptr noundef @.str.55, ptr noundef @.str.52, i32 noundef 111, ptr noundef @__PRETTY_FUNCTION__._ZN12HighsHessian10deleteColsERK20HighsIndexCollection) #5
  unreachable

265:                                              ; No predecessors!
  br label %266

266:                                              ; preds = %265, %263
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #6
  %267 = load i32, ptr %29, align 4, !tbaa !22
  %268 = sext i32 %267 to i64
  %269 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %24, i64 noundef %268) #6
  %270 = load i32, ptr %269, align 4, !tbaa !22
  store i32 %270, ptr %30, align 4, !tbaa !22
  br label %271

271:                                              ; preds = %322, %266
  %272 = load i32, ptr %30, align 4, !tbaa !22
  %273 = load i32, ptr %29, align 4, !tbaa !22
  %274 = add nsw i32 %273, 1
  %275 = sext i32 %274 to i64
  %276 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %24, i64 noundef %275) #6
  %277 = load i32, ptr %276, align 4, !tbaa !22
  %278 = icmp slt i32 %272, %277
  br i1 %278, label %280, label %279

279:                                              ; preds = %271
  store i32 23, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #6
  br label %325

280:                                              ; preds = %271
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #6
  %281 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 3
  %282 = load i32, ptr %30, align 4, !tbaa !22
  %283 = sext i32 %282 to i64
  %284 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %281, i64 noundef %283) #6
  %285 = load i32, ptr %284, align 4, !tbaa !22
  %286 = sext i32 %285 to i64
  %287 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %286) #6
  %288 = load i32, ptr %287, align 4, !tbaa !22
  store i32 %288, ptr %31, align 4, !tbaa !22
  %289 = load i32, ptr %31, align 4, !tbaa !22
  %290 = icmp slt i32 %289, 0
  br i1 %290, label %291, label %292

291:                                              ; preds = %280
  store i32 25, ptr %7, align 4
  br label %319

292:                                              ; preds = %280
  %293 = load i32, ptr %31, align 4, !tbaa !22
  %294 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 3
  %295 = load i32, ptr %23, align 4, !tbaa !22
  %296 = sext i32 %295 to i64
  %297 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %294, i64 noundef %296) #6
  store i32 %293, ptr %297, align 4, !tbaa !22
  %298 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 4
  %299 = load i32, ptr %30, align 4, !tbaa !22
  %300 = sext i32 %299 to i64
  %301 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %298, i64 noundef %300) #6
  %302 = load double, ptr %301, align 8, !tbaa !27
  %303 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 4
  %304 = load i32, ptr %23, align 4, !tbaa !22
  %305 = sext i32 %304 to i64
  %306 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %303, i64 noundef %305) #6
  store double %302, ptr %306, align 8, !tbaa !27
  %307 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 4
  %308 = load i32, ptr %23, align 4, !tbaa !22
  %309 = sext i32 %308 to i64
  %310 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %307, i64 noundef %309) #6
  %311 = load double, ptr %310, align 8, !tbaa !27
  %312 = fcmp une double %311, 0.000000e+00
  br i1 %312, label %313, label %316

313:                                              ; preds = %292
  %314 = load i32, ptr %22, align 4, !tbaa !22
  %315 = add nsw i32 %314, 1
  store i32 %315, ptr %22, align 4, !tbaa !22
  br label %316

316:                                              ; preds = %313, %292
  %317 = load i32, ptr %23, align 4, !tbaa !22
  %318 = add nsw i32 %317, 1
  store i32 %318, ptr %23, align 4, !tbaa !22
  store i32 0, ptr %7, align 4
  br label %319

319:                                              ; preds = %316, %291
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #6
  %320 = load i32, ptr %7, align 4
  switch i32 %320, label %381 [
    i32 0, label %321
    i32 25, label %322
  ]

321:                                              ; preds = %319
  br label %322

322:                                              ; preds = %321, %319
  %323 = load i32, ptr %30, align 4, !tbaa !22
  %324 = add nsw i32 %323, 1
  store i32 %324, ptr %30, align 4, !tbaa !22
  br label %271, !llvm.loop !31

325:                                              ; preds = %279
  %326 = load i32, ptr %17, align 4, !tbaa !22
  %327 = add nsw i32 %326, 1
  store i32 %327, ptr %17, align 4, !tbaa !22
  %328 = load i32, ptr %23, align 4, !tbaa !22
  %329 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 2
  %330 = load i32, ptr %17, align 4, !tbaa !22
  %331 = sext i32 %330 to i64
  %332 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %329, i64 noundef %331) #6
  store i32 %328, ptr %332, align 4, !tbaa !22
  br label %333

333:                                              ; preds = %325
  %334 = load i32, ptr %29, align 4, !tbaa !22
  %335 = add nsw i32 %334, 1
  store i32 %335, ptr %29, align 4, !tbaa !22
  br label %252, !llvm.loop !32

336:                                              ; preds = %256
  %337 = load i32, ptr %11, align 4, !tbaa !22
  %338 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 0
  %339 = load i32, ptr %338, align 8, !tbaa !9
  %340 = sub nsw i32 %339, 1
  %341 = icmp sge i32 %337, %340
  br i1 %341, label %342, label %343

342:                                              ; preds = %336
  store i32 11, ptr %7, align 4
  br label %347

343:                                              ; preds = %336
  br label %344

344:                                              ; preds = %343
  %345 = load i32, ptr %25, align 4, !tbaa !22
  %346 = add nsw i32 %345, 1
  store i32 %346, ptr %25, align 4, !tbaa !22
  br label %138, !llvm.loop !33

347:                                              ; preds = %342, %142
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #6
  br label %348

348:                                              ; preds = %347
  %349 = load i32, ptr %17, align 4, !tbaa !22
  %350 = load i32, ptr %21, align 4, !tbaa !22
  %351 = icmp eq i32 %349, %350
  br i1 %351, label %352, label %353

352:                                              ; preds = %348
  br label %355

353:                                              ; preds = %348
  call void @__assert_fail(ptr noundef @.str.57, ptr noundef @.str.52, i32 noundef 125, ptr noundef @__PRETTY_FUNCTION__._ZN12HighsHessian10deleteColsERK20HighsIndexCollection) #5
  unreachable

354:                                              ; No predecessors!
  br label %355

355:                                              ; preds = %354, %352
  %356 = load i32, ptr %17, align 4, !tbaa !22
  %357 = getelementptr inbounds %class.HighsHessian, ptr %32, i32 0, i32 0
  store i32 %356, ptr %357, align 8, !tbaa !9
  %358 = load i32, ptr %22, align 4, !tbaa !22
  %359 = icmp ne i32 %358, 0
  br i1 %359, label %366, label %360

360:                                              ; preds = %355
  invoke void @_ZN12HighsHessian5clearEv(ptr noundef nonnull align 8 dereferenceable(80) %32)
          to label %361 unwind label %362

361:                                              ; preds = %360
  br label %368

362:                                              ; preds = %366, %360
  %363 = landingpad { ptr, i32 }
          cleanup
  %364 = extractvalue { ptr, i32 } %363, 0
  store ptr %364, ptr %15, align 8
  %365 = extractvalue { ptr, i32 } %363, 1
  store i32 %365, ptr %16, align 4
  br label %372

366:                                              ; preds = %355
  invoke void @_ZN12HighsHessian11exactResizeEv(ptr noundef nonnull align 8 dereferenceable(80) %32)
          to label %367 unwind label %362

367:                                              ; preds = %366
  br label %368

368:                                              ; preds = %367, %361
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %24) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %24) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #6
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %13) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %13) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #6
  store i32 0, ptr %7, align 4
  br label %369

369:                                              ; preds = %368, %55
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #6
  %370 = load i32, ptr %7, align 4
  switch i32 %370, label %381 [
    i32 0, label %371
    i32 1, label %371
  ]

371:                                              ; preds = %369, %369, %36
  ret void

372:                                              ; preds = %362, %159
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %24) #6
  br label %373

373:                                              ; preds = %372, %143
  call void @llvm.lifetime.end.p0(i64 24, ptr %24) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #6
  br label %374

374:                                              ; preds = %373, %83
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #6
  br label %375

375:                                              ; preds = %374, %67
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %13) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %13) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #6
  br label %376

376:                                              ; preds = %375
  %377 = load ptr, ptr %15, align 8
  %378 = load i32, ptr %16, align 4
  %379 = insertvalue { ptr, i32 } poison, ptr %377, 0
  %380 = insertvalue { ptr, i32 } %379, i32 %378, 1
  resume { ptr, i32 } %380

381:                                              ; preds = %369, %319, %225
  unreachable
}

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

declare noundef zeroext i1 @_Z2okRK20HighsIndexCollection(ptr noundef nonnull align 8 dereferenceable(80)) #4

declare void @_Z6limitsRK20HighsIndexCollectionRiS2_(ptr noundef nonnull align 8 dereferenceable(80), ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) #4

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

declare void @_Z16updateOutInIndexRK20HighsIndexCollectionRiS2_S2_S2_S2_(ptr noundef nonnull align 8 dereferenceable(80), ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) #4

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

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

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

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { 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 = { noreturn nounwind }
attributes #6 = { 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 0}
!10 = !{!"_ZTS12HighsHessian", !11, i64 0, !12, i64 4, !13, i64 8, !13, i64 32, !17, i64 56}
!11 = !{!"int", !7, i64 0}
!12 = !{!"_ZTS13HessianFormat", !7, i64 0}
!13 = !{!"_ZTSSt6vectorIiSaIiEE", !14, i64 0}
!14 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !15, i64 0}
!15 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !16, i64 0}
!16 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!17 = !{!"_ZTSSt6vectorIdSaIdEE", !18, i64 0}
!18 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !19, i64 0}
!19 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!21 = !{!10, !12, i64 4}
!22 = !{!11, !11, i64 0}
!23 = distinct !{!23, !24}
!24 = !{!"llvm.loop.mustprogress"}
!25 = distinct !{!25, !24}
!26 = distinct !{!26, !24}
!27 = !{!28, !28, i64 0}
!28 = !{!"double", !7, i64 0}
!29 = distinct !{!29, !24}
!30 = distinct !{!30, !24}
!31 = distinct !{!31, !24}
!32 = distinct !{!32, !24}
!33 = distinct !{!33, !24}


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

@.str.51 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.52 = external hidden unnamed_addr constant [76 x i8], align 1
@__PRETTY_FUNCTION__._ZN12HighsHessian10deleteColsERK20HighsIndexCollection = external hidden unnamed_addr constant [60 x i8], align 1
@.str.53 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.54 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.56 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.57 = 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 uwtable
declare dso_local void @_ZN12HighsHessian5clearEv(ptr noundef nonnull align 8 dereferenceable(80)) local_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 #1 align 2

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN12HighsHessian10deleteColsERK20HighsIndexCollection(ptr noundef nonnull align 8 dereferenceable(80) %0, ptr noundef nonnull align 8 dereferenceable(80) %1) local_unnamed_addr #1 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca %"class.std::vector", align 8
  %11 = alloca i32, align 4
  %12 = alloca %"class.std::vector", align 8
  %13 = load i32, ptr %0, align 8, !tbaa !5
  %14 = icmp eq i32 %13, 0
  br i1 %14, label %178, label %15

15:                                               ; preds = %2
  %16 = getelementptr inbounds i8, ptr %0, i64 4
  %17 = load i32, ptr %16, align 4, !tbaa !20
  %18 = icmp eq i32 %17, 1
  br i1 %18, label %20, label %19

19:                                               ; preds = %15
  tail call void @__assert_fail(ptr noundef nonnull @.str.51, ptr noundef nonnull @.str.52, i32 noundef 46, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN12HighsHessian10deleteColsERK20HighsIndexCollection) #5
  unreachable

20:                                               ; preds = %15
  %21 = tail call noundef zeroext i1 @_Z2okRK20HighsIndexCollection(ptr noundef nonnull align 8 dereferenceable(80) %1)
  br i1 %21, label %23, label %22

22:                                               ; preds = %20
  tail call void @__assert_fail(ptr noundef nonnull @.str.53, ptr noundef nonnull @.str.52, i32 noundef 47, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN12HighsHessian10deleteColsERK20HighsIndexCollection) #5
  unreachable

23:                                               ; preds = %20
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %3) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %4) #6
  call void @_Z6limitsRK20HighsIndexCollectionRiS2_(ptr noundef nonnull align 8 dereferenceable(80) %1, ptr noundef nonnull align 4 dereferenceable(4) %3, ptr noundef nonnull align 4 dereferenceable(4) %4)
  %24 = load i32, ptr %3, align 4, !tbaa !21
  %25 = load i32, ptr %4, align 4, !tbaa !21
  %26 = icmp sgt i32 %24, %25
  br i1 %26, label %177, label %27

27:                                               ; preds = %23
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %5) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %6) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %7) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %8) #6
  store i32 -1, ptr %8, align 4, !tbaa !21
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %9) #6
  store i32 0, ptr %9, align 4, !tbaa !21
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %10) #6
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %10) #6
  %28 = load i32, ptr %0, align 8, !tbaa !5
  %29 = sext i32 %28 to i64
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %11) #6
  store i32 -1, ptr %11, align 4, !tbaa !21
  invoke void @_ZNSt6vectorIiSaIiEE6assignEmRKi(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %29, ptr noundef nonnull align 4 dereferenceable(4) %11)
          to label %30 unwind label %36

30:                                               ; preds = %27
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %11) #6
  %31 = load i32, ptr %3, align 4, !tbaa !21
  %32 = load i32, ptr %4, align 4, !tbaa !21
  %.not135 = icmp sgt i32 %31, %32
  br i1 %.not135, label %.._crit_edge140_crit_edge, label %.lr.ph139

.._crit_edge140_crit_edge:                        ; preds = %30
  %.pre = load i32, ptr %0, align 8, !tbaa !5
  br label %._crit_edge140

33:                                               ; preds = %._crit_edge
  %34 = add nsw i32 %.088137, 1
  %35 = load i32, ptr %4, align 4, !tbaa !21
  %.not.not = icmp slt i32 %.088137, %35
  br i1 %.not.not, label %.lr.ph139, label %._crit_edge140, !llvm.loop !22

36:                                               ; preds = %27
  %37 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %11) #6
  br label %181

.lr.ph139:                                        ; preds = %30, %33
  %.088137 = phi i32 [ %34, %33 ], [ %31, %30 ]
  %.089136 = phi i32 [ %.392.lcssa, %33 ], [ 0, %30 ]
  invoke void @_Z16updateOutInIndexRK20HighsIndexCollectionRiS2_S2_S2_S2_(ptr noundef nonnull align 8 dereferenceable(80) %1, ptr noundef nonnull align 4 dereferenceable(4) %5, ptr noundef nonnull align 4 dereferenceable(4) %6, ptr noundef nonnull align 4 dereferenceable(4) %7, ptr noundef nonnull align 4 dereferenceable(4) %8, ptr noundef nonnull align 4 dereferenceable(4) %9)
          to label %38 unwind label %43

38:                                               ; preds = %.lr.ph139
  %39 = load i32, ptr %3, align 4, !tbaa !21
  %40 = icmp eq i32 %.088137, %39
  %41 = load i32, ptr %5, align 4
  %42 = icmp sgt i32 %41, 0
  %or.cond = select i1 %40, i1 %42, i1 false
  br i1 %or.cond, label %.lr.ph, label %.loopexit

43:                                               ; preds = %.lr.ph139
  %44 = landingpad { ptr, i32 }
          cleanup
  br label %181

.lr.ph:                                           ; preds = %38, %.lr.ph
  %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph ], [ 0, %38 ]
  %.190127 = phi i32 [ %45, %.lr.ph ], [ %.089136, %38 ]
  %45 = add nsw i32 %.190127, 1
  %46 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %indvars.iv) #6
  store i32 %.190127, ptr %46, align 4, !tbaa !21
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %47 = load i32, ptr %5, align 4, !tbaa !21
  %48 = sext i32 %47 to i64
  %49 = icmp slt i64 %indvars.iv.next, %48
  br i1 %49, label %.lr.ph, label %.loopexit, !llvm.loop !24

.loopexit:                                        ; preds = %.lr.ph, %38
  %.291 = phi i32 [ %.089136, %38 ], [ %45, %.lr.ph ]
  %50 = load i32, ptr %7, align 4, !tbaa !21
  %51 = load i32, ptr %8, align 4, !tbaa !21
  %.not104129 = icmp sgt i32 %50, %51
  br i1 %.not104129, label %._crit_edge, label %.lr.ph132.preheader

.lr.ph132.preheader:                              ; preds = %.loopexit
  %52 = sext i32 %50 to i64
  br label %.lr.ph132

._crit_edge:                                      ; preds = %.lr.ph132, %.loopexit
  %.392.lcssa = phi i32 [ %.291, %.loopexit ], [ %55, %.lr.ph132 ]
  %.lcssa126 = phi i32 [ %51, %.loopexit ], [ %57, %.lr.ph132 ]
  %53 = load i32, ptr %0, align 8, !tbaa !5
  %54 = add nsw i32 %53, -1
  %.not105 = icmp slt i32 %.lcssa126, %54
  br i1 %.not105, label %33, label %._crit_edge140

.lr.ph132:                                        ; preds = %.lr.ph132.preheader, %.lr.ph132
  %indvars.iv205 = phi i64 [ %52, %.lr.ph132.preheader ], [ %indvars.iv.next206, %.lr.ph132 ]
  %.392130 = phi i32 [ %.291, %.lr.ph132.preheader ], [ %55, %.lr.ph132 ]
  %55 = add nsw i32 %.392130, 1
  %56 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %indvars.iv205) #6
  store i32 %.392130, ptr %56, align 4, !tbaa !21
  %indvars.iv.next206 = add nsw i64 %indvars.iv205, 1
  %57 = load i32, ptr %8, align 4, !tbaa !21
  %58 = sext i32 %57 to i64
  %.not104.not = icmp slt i64 %indvars.iv205, %58
  br i1 %.not104.not, label %.lr.ph132, label %._crit_edge, !llvm.loop !25

._crit_edge140:                                   ; preds = %33, %._crit_edge, %.._crit_edge140_crit_edge
  %59 = phi i32 [ %.pre, %.._crit_edge140_crit_edge ], [ %53, %._crit_edge ], [ %53, %33 ]
  %.493 = phi i32 [ 0, %.._crit_edge140_crit_edge ], [ %.392.lcssa, %._crit_edge ], [ %.392.lcssa, %33 ]
  %60 = icmp slt i32 %.493, %59
  br i1 %60, label %62, label %61

61:                                               ; preds = %._crit_edge140
  call void @__assert_fail(ptr noundef nonnull @.str.54, ptr noundef nonnull @.str.52, i32 noundef 77, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN12HighsHessian10deleteColsERK20HighsIndexCollection) #5
  unreachable

62:                                               ; preds = %._crit_edge140
  store i32 -1, ptr %8, align 4, !tbaa !21
  store i32 0, ptr %9, align 4, !tbaa !21
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %12) #6
  %63 = getelementptr inbounds i8, ptr %0, i64 8
  invoke void @_ZNSt6vectorIiSaIiEEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %12, ptr noundef nonnull align 8 dereferenceable(24) %63)
          to label %64 unwind label %72

64:                                               ; preds = %62
  %65 = load i32, ptr %3, align 4, !tbaa !21
  %66 = load i32, ptr %4, align 4, !tbaa !21
  %.not106184 = icmp sgt i32 %65, %66
  br i1 %.not106184, label %._crit_edge191.thread, label %.lr.ph190

.lr.ph190:                                        ; preds = %64
  %67 = getelementptr inbounds i8, ptr %0, i64 32
  %68 = getelementptr inbounds i8, ptr %0, i64 56
  br label %74

69:                                               ; preds = %._crit_edge179
  %70 = add nsw i32 %.069188, 1
  %71 = load i32, ptr %4, align 4, !tbaa !21
  %.not106.not = icmp slt i32 %.069188, %71
  br i1 %.not106.not, label %74, label %._crit_edge191, !llvm.loop !26

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

74:                                               ; preds = %.lr.ph190, %69
  %.069188 = phi i32 [ %65, %.lr.ph190 ], [ %70, %69 ]
  %.070187 = phi i32 [ 0, %.lr.ph190 ], [ %.5.lcssa, %69 ]
  %.074186 = phi i32 [ 0, %.lr.ph190 ], [ %.680.lcssa, %69 ]
  %.594185 = phi i32 [ 0, %.lr.ph190 ], [ %.897.lcssa, %69 ]
  invoke void @_Z16updateOutInIndexRK20HighsIndexCollectionRiS2_S2_S2_S2_(ptr noundef nonnull align 8 dereferenceable(80) %1, ptr noundef nonnull align 4 dereferenceable(4) %5, ptr noundef nonnull align 4 dereferenceable(4) %6, ptr noundef nonnull align 4 dereferenceable(4) %7, ptr noundef nonnull align 4 dereferenceable(4) %8, ptr noundef nonnull align 4 dereferenceable(4) %9)
          to label %75 unwind label %83

75:                                               ; preds = %74
  %76 = load i32, ptr %3, align 4, !tbaa !21
  %77 = icmp eq i32 %.069188, %76
  br i1 %77, label %.preheader, label %123

.preheader:                                       ; preds = %75
  %78 = load i32, ptr %5, align 4, !tbaa !21
  %79 = icmp sgt i32 %78, 0
  br i1 %79, label %.lr.ph157.preheader, label %._crit_edge158

.lr.ph157.preheader:                              ; preds = %.preheader
  %80 = sext i32 %.594185 to i64
  br label %.lr.ph157

._crit_edge158.loopexit:                          ; preds = %._crit_edge149
  %81 = trunc nsw i64 %indvars.iv.next214 to i32
  br label %._crit_edge158

._crit_edge158:                                   ; preds = %._crit_edge158.loopexit, %.preheader
  %.695.lcssa = phi i32 [ %.594185, %.preheader ], [ %81, %._crit_edge158.loopexit ]
  %.175.lcssa = phi i32 [ %.074186, %.preheader ], [ %.276.lcssa, %._crit_edge158.loopexit ]
  %.171.lcssa = phi i32 [ %.070187, %.preheader ], [ %.272.lcssa, %._crit_edge158.loopexit ]
  %.lcssa115 = phi i32 [ %78, %.preheader ], [ %97, %._crit_edge158.loopexit ]
  %82 = icmp eq i32 %.695.lcssa, %.lcssa115
  br i1 %82, label %123, label %122

83:                                               ; preds = %74
  %84 = landingpad { ptr, i32 }
          cleanup
  br label %179

.lr.ph157:                                        ; preds = %.lr.ph157.preheader, %._crit_edge149
  %indvars.iv213 = phi i64 [ %80, %.lr.ph157.preheader ], [ %indvars.iv.next214, %._crit_edge149 ]
  %indvars.iv211 = phi i64 [ 0, %.lr.ph157.preheader ], [ %indvars.iv.next212, %._crit_edge149 ]
  %.171155 = phi i32 [ %.070187, %.lr.ph157.preheader ], [ %.272.lcssa, %._crit_edge149 ]
  %.175154 = phi i32 [ %.074186, %.lr.ph157.preheader ], [ %.276.lcssa, %._crit_edge149 ]
  %85 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %indvars.iv211) #6
  %86 = load i32, ptr %85, align 4, !tbaa !21
  %87 = icmp sgt i32 %86, -1
  br i1 %87, label %89, label %88

88:                                               ; preds = %.lr.ph157
  call void @__assert_fail(ptr noundef nonnull @.str.55, ptr noundef nonnull @.str.52, i32 noundef 95, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN12HighsHessian10deleteColsERK20HighsIndexCollection) #5
  unreachable

89:                                               ; preds = %.lr.ph157
  %90 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %indvars.iv211) #6
  %91 = load i32, ptr %90, align 4, !tbaa !21
  %indvars.iv.next212 = add nuw nsw i64 %indvars.iv211, 1
  %92 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %indvars.iv.next212) #6
  %93 = load i32, ptr %92, align 4, !tbaa !21
  %94 = icmp slt i32 %91, %93
  br i1 %94, label %.lr.ph148.preheader, label %._crit_edge149

.lr.ph148.preheader:                              ; preds = %89
  %95 = sext i32 %91 to i64
  br label %.lr.ph148

._crit_edge149:                                   ; preds = %117, %89
  %.276.lcssa = phi i32 [ %.175154, %89 ], [ %.478, %117 ]
  %.272.lcssa = phi i32 [ %.171155, %89 ], [ %.373, %117 ]
  %indvars.iv.next214 = add nsw i64 %indvars.iv213, 1
  %96 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %63, i64 noundef %indvars.iv.next214) #6
  store i32 %.272.lcssa, ptr %96, align 4, !tbaa !21
  %97 = load i32, ptr %5, align 4, !tbaa !21
  %98 = sext i32 %97 to i64
  %99 = icmp slt i64 %indvars.iv.next212, %98
  br i1 %99, label %.lr.ph157, label %._crit_edge158.loopexit, !llvm.loop !27

.lr.ph148:                                        ; preds = %.lr.ph148.preheader, %117
  %indvars.iv208 = phi i64 [ %95, %.lr.ph148.preheader ], [ %indvars.iv.next209, %117 ]
  %.272145 = phi i32 [ %.171155, %.lr.ph148.preheader ], [ %.373, %117 ]
  %.276144 = phi i32 [ %.175154, %.lr.ph148.preheader ], [ %.478, %117 ]
  %100 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %67, i64 noundef %indvars.iv208) #6
  %101 = load i32, ptr %100, align 4, !tbaa !21
  %102 = sext i32 %101 to i64
  %103 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %102) #6
  %104 = load i32, ptr %103, align 4, !tbaa !21
  %105 = icmp slt i32 %104, 0
  br i1 %105, label %117, label %106

106:                                              ; preds = %.lr.ph148
  %107 = sext i32 %.272145 to i64
  %108 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %67, i64 noundef %107) #6
  store i32 %104, ptr %108, align 4, !tbaa !21
  %109 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %68, i64 noundef %indvars.iv208) #6
  %110 = load double, ptr %109, align 8, !tbaa !28
  %111 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %68, i64 noundef %107) #6
  store double %110, ptr %111, align 8, !tbaa !28
  %112 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %68, i64 noundef %107) #6
  %113 = load double, ptr %112, align 8, !tbaa !28
  %114 = fcmp une double %113, 0.000000e+00
  %115 = zext i1 %114 to i32
  %.377 = add nsw i32 %.276144, %115
  %116 = add nsw i32 %.272145, 1
  br label %117

117:                                              ; preds = %.lr.ph148, %106
  %.478 = phi i32 [ %.377, %106 ], [ %.276144, %.lr.ph148 ]
  %.373 = phi i32 [ %116, %106 ], [ %.272145, %.lr.ph148 ]
  %indvars.iv.next209 = add nsw i64 %indvars.iv208, 1
  %118 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %indvars.iv.next212) #6
  %119 = load i32, ptr %118, align 4, !tbaa !21
  %120 = sext i32 %119 to i64
  %121 = icmp slt i64 %indvars.iv.next209, %120
  br i1 %121, label %.lr.ph148, label %._crit_edge149, !llvm.loop !30

122:                                              ; preds = %._crit_edge158
  call void @__assert_fail(ptr noundef nonnull @.str.56, ptr noundef nonnull @.str.52, i32 noundef 108, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN12HighsHessian10deleteColsERK20HighsIndexCollection) #5
  unreachable

123:                                              ; preds = %._crit_edge158, %75
  %.796 = phi i32 [ %.695.lcssa, %._crit_edge158 ], [ %.594185, %75 ]
  %.579 = phi i32 [ %.175.lcssa, %._crit_edge158 ], [ %.074186, %75 ]
  %.4 = phi i32 [ %.171.lcssa, %._crit_edge158 ], [ %.070187, %75 ]
  %124 = load i32, ptr %7, align 4, !tbaa !21
  %125 = load i32, ptr %8, align 4, !tbaa !21
  %.not107172 = icmp sgt i32 %124, %125
  br i1 %.not107172, label %._crit_edge179, label %.lr.ph178.preheader

.lr.ph178.preheader:                              ; preds = %123
  %126 = sext i32 %124 to i64
  %127 = sext i32 %.796 to i64
  br label %.lr.ph178

._crit_edge179.loopexit:                          ; preds = %._crit_edge168
  %128 = trunc nsw i64 %indvars.iv.next224 to i32
  br label %._crit_edge179

._crit_edge179:                                   ; preds = %._crit_edge179.loopexit, %123
  %.897.lcssa = phi i32 [ %.796, %123 ], [ %128, %._crit_edge179.loopexit ]
  %.680.lcssa = phi i32 [ %.579, %123 ], [ %.781.lcssa, %._crit_edge179.loopexit ]
  %.5.lcssa = phi i32 [ %.4, %123 ], [ %.6.lcssa, %._crit_edge179.loopexit ]
  %.lcssa121 = phi i32 [ %125, %123 ], [ %143, %._crit_edge179.loopexit ]
  %129 = load i32, ptr %0, align 8, !tbaa !5
  %130 = add nsw i32 %129, -1
  %.not108 = icmp slt i32 %.lcssa121, %130
  br i1 %.not108, label %69, label %._crit_edge191

.lr.ph178:                                        ; preds = %.lr.ph178.preheader, %._crit_edge168
  %indvars.iv223 = phi i64 [ %127, %.lr.ph178.preheader ], [ %indvars.iv.next224, %._crit_edge168 ]
  %indvars.iv221 = phi i64 [ %126, %.lr.ph178.preheader ], [ %indvars.iv.next222, %._crit_edge168 ]
  %.5175 = phi i32 [ %.4, %.lr.ph178.preheader ], [ %.6.lcssa, %._crit_edge168 ]
  %.680174 = phi i32 [ %.579, %.lr.ph178.preheader ], [ %.781.lcssa, %._crit_edge168 ]
  %131 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %indvars.iv221) #6
  %132 = load i32, ptr %131, align 4, !tbaa !21
  %133 = icmp sgt i32 %132, -1
  br i1 %133, label %135, label %134

134:                                              ; preds = %.lr.ph178
  call void @__assert_fail(ptr noundef nonnull @.str.55, ptr noundef nonnull @.str.52, i32 noundef 111, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN12HighsHessian10deleteColsERK20HighsIndexCollection) #5
  unreachable

135:                                              ; preds = %.lr.ph178
  %136 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %indvars.iv221) #6
  %137 = load i32, ptr %136, align 4, !tbaa !21
  %indvars.iv.next222 = add nsw i64 %indvars.iv221, 1
  %138 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %indvars.iv.next222) #6
  %139 = load i32, ptr %138, align 4, !tbaa !21
  %140 = icmp slt i32 %137, %139
  br i1 %140, label %.lr.ph167.preheader, label %._crit_edge168

.lr.ph167.preheader:                              ; preds = %135
  %141 = sext i32 %137 to i64
  br label %.lr.ph167

._crit_edge168:                                   ; preds = %162, %135
  %.781.lcssa = phi i32 [ %.680174, %135 ], [ %.9, %162 ]
  %.6.lcssa = phi i32 [ %.5175, %135 ], [ %.7, %162 ]
  %indvars.iv.next224 = add nsw i64 %indvars.iv223, 1
  %142 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %63, i64 noundef %indvars.iv.next224) #6
  store i32 %.6.lcssa, ptr %142, align 4, !tbaa !21
  %143 = load i32, ptr %8, align 4, !tbaa !21
  %144 = sext i32 %143 to i64
  %.not107.not = icmp slt i64 %indvars.iv221, %144
  br i1 %.not107.not, label %.lr.ph178, label %._crit_edge179.loopexit, !llvm.loop !31

.lr.ph167:                                        ; preds = %.lr.ph167.preheader, %162
  %indvars.iv218 = phi i64 [ %141, %.lr.ph167.preheader ], [ %indvars.iv.next219, %162 ]
  %.6164 = phi i32 [ %.5175, %.lr.ph167.preheader ], [ %.7, %162 ]
  %.781163 = phi i32 [ %.680174, %.lr.ph167.preheader ], [ %.9, %162 ]
  %145 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %67, i64 noundef %indvars.iv218) #6
  %146 = load i32, ptr %145, align 4, !tbaa !21
  %147 = sext i32 %146 to i64
  %148 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %147) #6
  %149 = load i32, ptr %148, align 4, !tbaa !21
  %150 = icmp slt i32 %149, 0
  br i1 %150, label %162, label %151

151:                                              ; preds = %.lr.ph167
  %152 = sext i32 %.6164 to i64
  %153 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %67, i64 noundef %152) #6
  store i32 %149, ptr %153, align 4, !tbaa !21
  %154 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %68, i64 noundef %indvars.iv218) #6
  %155 = load double, ptr %154, align 8, !tbaa !28
  %156 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %68, i64 noundef %152) #6
  store double %155, ptr %156, align 8, !tbaa !28
  %157 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %68, i64 noundef %152) #6
  %158 = load double, ptr %157, align 8, !tbaa !28
  %159 = fcmp une double %158, 0.000000e+00
  %160 = zext i1 %159 to i32
  %.8 = add nsw i32 %.781163, %160
  %161 = add nsw i32 %.6164, 1
  br label %162

162:                                              ; preds = %.lr.ph167, %151
  %.9 = phi i32 [ %.8, %151 ], [ %.781163, %.lr.ph167 ]
  %.7 = phi i32 [ %161, %151 ], [ %.6164, %.lr.ph167 ]
  %indvars.iv.next219 = add nsw i64 %indvars.iv218, 1
  %163 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %indvars.iv.next222) #6
  %164 = load i32, ptr %163, align 4, !tbaa !21
  %165 = sext i32 %164 to i64
  %166 = icmp slt i64 %indvars.iv.next219, %165
  br i1 %166, label %.lr.ph167, label %._crit_edge168, !llvm.loop !32

._crit_edge191:                                   ; preds = %69, %._crit_edge179
  %167 = icmp eq i32 %.897.lcssa, %.493
  br i1 %167, label %170, label %169

._crit_edge191.thread:                            ; preds = %64
  %168 = icmp eq i32 %.493, 0
  br i1 %168, label %.thread, label %169

.thread:                                          ; preds = %._crit_edge191.thread
  store i32 %.493, ptr %0, align 8, !tbaa !5
  br label %172

169:                                              ; preds = %._crit_edge191.thread, %._crit_edge191
  call void @__assert_fail(ptr noundef nonnull @.str.57, ptr noundef nonnull @.str.52, i32 noundef 125, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN12HighsHessian10deleteColsERK20HighsIndexCollection) #5
  unreachable

170:                                              ; preds = %._crit_edge191
  %171 = icmp eq i32 %.680.lcssa, 0
  store i32 %.493, ptr %0, align 8, !tbaa !5
  br i1 %171, label %172, label %175

172:                                              ; preds = %.thread, %170
  invoke void @_ZN12HighsHessian5clearEv(ptr noundef nonnull align 8 dereferenceable(80) %0)
          to label %176 unwind label %173

173:                                              ; preds = %175, %172
  %174 = landingpad { ptr, i32 }
          cleanup
  br label %179

175:                                              ; preds = %170
  invoke void @_ZN12HighsHessian11exactResizeEv(ptr noundef nonnull align 8 dereferenceable(80) %0)
          to label %176 unwind label %173

176:                                              ; preds = %175, %172
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %12) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %12) #6
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %10) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %10) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %9) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %7) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %6) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %5) #6
  br label %177

177:                                              ; preds = %23, %176
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #6
  br label %178

178:                                              ; preds = %2, %177
  ret void

179:                                              ; preds = %173, %83
  %.pn = phi { ptr, i32 } [ %174, %173 ], [ %84, %83 ]
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %12) #6
  br label %180

180:                                              ; preds = %179, %72
  %.pn.pn = phi { ptr, i32 } [ %.pn, %179 ], [ %73, %72 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %12) #6
  br label %181

181:                                              ; preds = %43, %180, %36
  %.pn.pn.pn.pn = phi { ptr, i32 } [ %37, %36 ], [ %.pn.pn, %180 ], [ %44, %43 ]
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %10) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %10) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %9) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %7) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %6) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %5) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #6
  resume { ptr, i32 } %.pn.pn.pn.pn
}

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

declare noundef zeroext i1 @_Z2okRK20HighsIndexCollection(ptr noundef nonnull align 8 dereferenceable(80)) local_unnamed_addr #4

declare void @_Z6limitsRK20HighsIndexCollectionRiS2_(ptr noundef nonnull align 8 dereferenceable(80), ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #4

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

declare void @_Z16updateOutInIndexRK20HighsIndexCollectionRiS2_S2_S2_S2_(ptr noundef nonnull align 8 dereferenceable(80), ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #4

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 0}
!6 = !{!"_ZTS12HighsHessian", !7, i64 0, !10, i64 4, !11, i64 8, !11, i64 32, !16, i64 56}
!7 = !{!"int", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"_ZTS13HessianFormat", !8, i64 0}
!11 = !{!"_ZTSSt6vectorIiSaIiEE", !12, i64 0}
!12 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !13, i64 0}
!13 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !14, i64 0}
!14 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!15 = !{!"any pointer", !8, i64 0}
!16 = !{!"_ZTSSt6vectorIdSaIdEE", !17, i64 0}
!17 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !18, i64 0}
!18 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !19, i64 0}
!19 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!20 = !{!6, !10, i64 4}
!21 = !{!7, !7, i64 0}
!22 = distinct !{!22, !23}
!23 = !{!"llvm.loop.mustprogress"}
!24 = distinct !{!24, !23}
!25 = distinct !{!25, !23}
!26 = distinct !{!26, !23}
!27 = distinct !{!27, !23}
!28 = !{!29, !29, i64 0}
!29 = !{!"double", !8, i64 0}
!30 = distinct !{!30, !23}
!31 = distinct !{!31, !23}
!32 = distinct !{!32, !23}


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