; LLVM IR from ERGO-Code/HiGHS :: examples (call_highs_from_c)

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

@__const.minimal_api.col_cost = external hidden unnamed_addr constant [2 x double], align 16
@__const.minimal_api.col_lower = external hidden unnamed_addr constant [2 x double], align 16
@__const.minimal_api.col_upper = external hidden unnamed_addr constant [2 x double], align 16
@__const.minimal_api.row_lower = external hidden unnamed_addr constant [3 x double], align 16
@__const.minimal_api.row_upper = external hidden unnamed_addr constant [3 x double], align 16
@__const.minimal_api.a_start = external hidden unnamed_addr constant [2 x i32], align 4
@__const.minimal_api.a_index = external hidden unnamed_addr constant [5 x i32], align 16
@.str.20 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [78 x i8], align 1
@__PRETTY_FUNCTION__.minimal_api = external hidden unnamed_addr constant [19 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [30 x i8], align 1
@__const.minimal_api.integrality = external hidden unnamed_addr constant [2 x i32], align 4
@.str.27 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [13 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local void @minimal_api() #0 {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca double, align 8
  %6 = alloca [2 x double], align 16
  %7 = alloca [2 x double], align 16
  %8 = alloca [2 x double], align 16
  %9 = alloca [3 x double], align 16
  %10 = alloca [3 x double], align 16
  %11 = alloca i32, align 4
  %12 = alloca [2 x i32], align 4
  %13 = alloca [5 x i32], align 16
  %14 = alloca [5 x double], align 16
  %15 = alloca double, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca [2 x i32], align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca i32, align 4
  call void @llvm.lifetime.start.p0(i64 4, ptr %1) #9
  store i32 2, ptr %1, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #9
  store i32 3, ptr %2, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #9
  store i32 5, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #9
  store i32 1, ptr %4, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #9
  store double 3.000000e+00, ptr %5, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 16, ptr %6) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %6, ptr align 16 @__const.minimal_api.col_cost, i64 16, i1 false)
  call void @llvm.lifetime.start.p0(i64 16, ptr %7) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %7, ptr align 16 @__const.minimal_api.col_lower, i64 16, i1 false)
  call void @llvm.lifetime.start.p0(i64 16, ptr %8) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %8, ptr align 16 @__const.minimal_api.col_upper, i64 16, i1 false)
  call void @llvm.lifetime.start.p0(i64 24, ptr %9) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %9, ptr align 16 @__const.minimal_api.row_lower, i64 24, i1 false)
  call void @llvm.lifetime.start.p0(i64 24, ptr %10) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %10, ptr align 16 @__const.minimal_api.row_upper, i64 24, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #9
  store i32 1, ptr %11, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %12, ptr align 4 @__const.minimal_api.a_start, i64 8, i1 false)
  call void @llvm.lifetime.start.p0(i64 20, ptr %13) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %13, ptr align 16 @__const.minimal_api.a_index, i64 20, i1 false)
  call void @llvm.lifetime.start.p0(i64 40, ptr %14) #9
  call void @llvm.memset.p0.i64(ptr align 16 %14, i8 0, i64 40, i1 false)
  %33 = getelementptr inbounds [5 x double], ptr %14, i32 0, i32 0
  store double 1.000000e+00, ptr %33, align 16
  %34 = getelementptr inbounds [5 x double], ptr %14, i32 0, i32 1
  store double 3.000000e+00, ptr %34, align 8
  %35 = getelementptr inbounds [5 x double], ptr %14, i32 0, i32 2
  store double 1.000000e+00, ptr %35, align 16
  %36 = getelementptr inbounds [5 x double], ptr %14, i32 0, i32 3
  store double 2.000000e+00, ptr %36, align 8
  %37 = getelementptr inbounds [5 x double], ptr %14, i32 0, i32 4
  store double 2.000000e+00, ptr %37, align 16
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #9
  %38 = call noalias ptr @malloc(i64 noundef 16) #10
  store ptr %38, ptr %16, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #9
  %39 = call noalias ptr @malloc(i64 noundef 16) #10
  store ptr %39, ptr %17, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #9
  %40 = call noalias ptr @malloc(i64 noundef 24) #10
  store ptr %40, ptr %18, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #9
  %41 = call noalias ptr @malloc(i64 noundef 24) #10
  store ptr %41, ptr %19, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #9
  %42 = call noalias ptr @malloc(i64 noundef 8) #10
  store ptr %42, ptr %20, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #9
  %43 = call noalias ptr @malloc(i64 noundef 12) #10
  store ptr %43, ptr %21, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #9
  %44 = load i32, ptr %4, align 4, !tbaa !5
  %45 = getelementptr inbounds [2 x double], ptr %6, i64 0, i64 0
  %46 = getelementptr inbounds [2 x double], ptr %7, i64 0, i64 0
  %47 = getelementptr inbounds [2 x double], ptr %8, i64 0, i64 0
  %48 = getelementptr inbounds [3 x double], ptr %9, i64 0, i64 0
  %49 = getelementptr inbounds [3 x double], ptr %10, i64 0, i64 0
  %50 = getelementptr inbounds [2 x i32], ptr %12, i64 0, i64 0
  %51 = getelementptr inbounds [5 x i32], ptr %13, i64 0, i64 0
  %52 = getelementptr inbounds [5 x double], ptr %14, i64 0, i64 0
  %53 = load ptr, ptr %16, align 8, !tbaa !11
  %54 = load ptr, ptr %17, align 8, !tbaa !11
  %55 = load ptr, ptr %18, align 8, !tbaa !11
  %56 = load ptr, ptr %19, align 8, !tbaa !11
  %57 = load ptr, ptr %20, align 8, !tbaa !11
  %58 = load ptr, ptr %21, align 8, !tbaa !11
  %59 = call i32 @Highs_lpCall(i32 noundef 2, i32 noundef 3, i32 noundef 5, i32 noundef 1, i32 noundef %44, double noundef 3.000000e+00, ptr noundef %45, ptr noundef %46, ptr noundef %47, ptr noundef %48, ptr noundef %49, ptr noundef %50, ptr noundef %51, ptr noundef %52, ptr noundef %53, ptr noundef %54, ptr noundef %55, ptr noundef %56, ptr noundef %57, ptr noundef %58, ptr noundef %22)
  store i32 %59, ptr %23, align 4, !tbaa !5
  %60 = load i32, ptr %23, align 4, !tbaa !5
  %61 = icmp eq i32 %60, 0
  br i1 %61, label %62, label %63

62:                                               ; preds = %0
  br label %64

63:                                               ; preds = %0
  call void @__assert_fail(ptr noundef @.str.20, ptr noundef @.str.21, i32 noundef 106, ptr noundef @__PRETTY_FUNCTION__.minimal_api) #11
  unreachable

64:                                               ; preds = %62
  %65 = load i32, ptr %22, align 4, !tbaa !5
  %66 = icmp eq i32 %65, 7
  br i1 %66, label %67, label %68

67:                                               ; preds = %64
  br label %69

68:                                               ; preds = %64
  call void @__assert_fail(ptr noundef @.str.22, ptr noundef @.str.21, i32 noundef 107, ptr noundef @__PRETTY_FUNCTION__.minimal_api) #11
  unreachable

69:                                               ; preds = %67
  %70 = load i32, ptr %23, align 4, !tbaa !5
  %71 = load i32, ptr %22, align 4, !tbaa !5
  %72 = call i32 (ptr, ...) @printf(ptr noundef @.str.23, i32 noundef %70, i32 noundef %71)
  store double 3.000000e+00, ptr %15, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #9
  store i32 0, ptr %24, align 4, !tbaa !5
  br label %73

73:                                               ; preds = %106, %69
  %74 = load i32, ptr %24, align 4, !tbaa !5
  %75 = icmp slt i32 %74, 2
  br i1 %75, label %77, label %76

76:                                               ; preds = %73
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #9
  br label %109

77:                                               ; preds = %73
  %78 = load i32, ptr %24, align 4, !tbaa !5
  %79 = load ptr, ptr %16, align 8, !tbaa !11
  %80 = load i32, ptr %24, align 4, !tbaa !5
  %81 = sext i32 %80 to i64
  %82 = getelementptr inbounds double, ptr %79, i64 %81
  %83 = load double, ptr %82, align 8, !tbaa !9
  %84 = load ptr, ptr %17, align 8, !tbaa !11
  %85 = load i32, ptr %24, align 4, !tbaa !5
  %86 = sext i32 %85 to i64
  %87 = getelementptr inbounds double, ptr %84, i64 %86
  %88 = load double, ptr %87, align 8, !tbaa !9
  %89 = load ptr, ptr %20, align 8, !tbaa !11
  %90 = load i32, ptr %24, align 4, !tbaa !5
  %91 = sext i32 %90 to i64
  %92 = getelementptr inbounds i32, ptr %89, i64 %91
  %93 = load i32, ptr %92, align 4, !tbaa !5
  %94 = call i32 (ptr, ...) @printf(ptr noundef @.str.24, i32 noundef %78, double noundef %83, double noundef %88, i32 noundef %93)
  %95 = load ptr, ptr %16, align 8, !tbaa !11
  %96 = load i32, ptr %24, align 4, !tbaa !5
  %97 = sext i32 %96 to i64
  %98 = getelementptr inbounds double, ptr %95, i64 %97
  %99 = load double, ptr %98, align 8, !tbaa !9
  %100 = load i32, ptr %24, align 4, !tbaa !5
  %101 = sext i32 %100 to i64
  %102 = getelementptr inbounds [2 x double], ptr %6, i64 0, i64 %101
  %103 = load double, ptr %102, align 8, !tbaa !9
  %104 = load double, ptr %15, align 8, !tbaa !9
  %105 = call double @llvm.fmuladd.f64(double %99, double %103, double %104)
  store double %105, ptr %15, align 8, !tbaa !9
  br label %106

106:                                              ; preds = %77
  %107 = load i32, ptr %24, align 4, !tbaa !5
  %108 = add nsw i32 %107, 1
  store i32 %108, ptr %24, align 4, !tbaa !5
  br label %73, !llvm.loop !13

109:                                              ; preds = %76
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #9
  store i32 0, ptr %25, align 4, !tbaa !5
  br label %110

110:                                              ; preds = %132, %109
  %111 = load i32, ptr %25, align 4, !tbaa !5
  %112 = icmp slt i32 %111, 3
  br i1 %112, label %114, label %113

113:                                              ; preds = %110
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #9
  br label %135

114:                                              ; preds = %110
  %115 = load i32, ptr %25, align 4, !tbaa !5
  %116 = load ptr, ptr %18, align 8, !tbaa !11
  %117 = load i32, ptr %25, align 4, !tbaa !5
  %118 = sext i32 %117 to i64
  %119 = getelementptr inbounds double, ptr %116, i64 %118
  %120 = load double, ptr %119, align 8, !tbaa !9
  %121 = load ptr, ptr %19, align 8, !tbaa !11
  %122 = load i32, ptr %25, align 4, !tbaa !5
  %123 = sext i32 %122 to i64
  %124 = getelementptr inbounds double, ptr %121, i64 %123
  %125 = load double, ptr %124, align 8, !tbaa !9
  %126 = load ptr, ptr %21, align 8, !tbaa !11
  %127 = load i32, ptr %25, align 4, !tbaa !5
  %128 = sext i32 %127 to i64
  %129 = getelementptr inbounds i32, ptr %126, i64 %128
  %130 = load i32, ptr %129, align 4, !tbaa !5
  %131 = call i32 (ptr, ...) @printf(ptr noundef @.str.25, i32 noundef %115, double noundef %120, double noundef %125, i32 noundef %130)
  br label %132

132:                                              ; preds = %114
  %133 = load i32, ptr %25, align 4, !tbaa !5
  %134 = add nsw i32 %133, 1
  store i32 %134, ptr %25, align 4, !tbaa !5
  br label %110, !llvm.loop !15

135:                                              ; preds = %113
  %136 = load double, ptr %15, align 8, !tbaa !9
  %137 = call i32 (ptr, ...) @printf(ptr noundef @.str.26, double noundef %136)
  store i32 -1, ptr %4, align 4, !tbaa !5
  %138 = load i32, ptr %4, align 4, !tbaa !5
  %139 = getelementptr inbounds [2 x double], ptr %6, i64 0, i64 0
  %140 = getelementptr inbounds [2 x double], ptr %7, i64 0, i64 0
  %141 = getelementptr inbounds [2 x double], ptr %8, i64 0, i64 0
  %142 = getelementptr inbounds [3 x double], ptr %9, i64 0, i64 0
  %143 = getelementptr inbounds [3 x double], ptr %10, i64 0, i64 0
  %144 = getelementptr inbounds [2 x i32], ptr %12, i64 0, i64 0
  %145 = getelementptr inbounds [5 x i32], ptr %13, i64 0, i64 0
  %146 = getelementptr inbounds [5 x double], ptr %14, i64 0, i64 0
  %147 = load ptr, ptr %16, align 8, !tbaa !11
  %148 = load ptr, ptr %17, align 8, !tbaa !11
  %149 = load ptr, ptr %18, align 8, !tbaa !11
  %150 = load ptr, ptr %19, align 8, !tbaa !11
  %151 = load ptr, ptr %20, align 8, !tbaa !11
  %152 = load ptr, ptr %21, align 8, !tbaa !11
  %153 = call i32 @Highs_lpCall(i32 noundef 2, i32 noundef 3, i32 noundef 5, i32 noundef 1, i32 noundef %138, double noundef 3.000000e+00, ptr noundef %139, ptr noundef %140, ptr noundef %141, ptr noundef %142, ptr noundef %143, ptr noundef %144, ptr noundef %145, ptr noundef %146, ptr noundef %147, ptr noundef %148, ptr noundef %149, ptr noundef %150, ptr noundef %151, ptr noundef %152, ptr noundef %22)
  store i32 %153, ptr %23, align 4, !tbaa !5
  %154 = load i32, ptr %23, align 4, !tbaa !5
  %155 = icmp eq i32 %154, 0
  br i1 %155, label %156, label %157

156:                                              ; preds = %135
  br label %158

157:                                              ; preds = %135
  call void @__assert_fail(ptr noundef @.str.20, ptr noundef @.str.21, i32 noundef 137, ptr noundef @__PRETTY_FUNCTION__.minimal_api) #11
  unreachable

158:                                              ; preds = %156
  %159 = load i32, ptr %22, align 4, !tbaa !5
  %160 = icmp eq i32 %159, 7
  br i1 %160, label %161, label %162

161:                                              ; preds = %158
  br label %163

162:                                              ; preds = %158
  call void @__assert_fail(ptr noundef @.str.22, ptr noundef @.str.21, i32 noundef 138, ptr noundef @__PRETTY_FUNCTION__.minimal_api) #11
  unreachable

163:                                              ; preds = %161
  %164 = load i32, ptr %23, align 4, !tbaa !5
  %165 = load i32, ptr %22, align 4, !tbaa !5
  %166 = call i32 (ptr, ...) @printf(ptr noundef @.str.23, i32 noundef %164, i32 noundef %165)
  store double 3.000000e+00, ptr %15, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #9
  store i32 0, ptr %26, align 4, !tbaa !5
  br label %167

167:                                              ; preds = %183, %163
  %168 = load i32, ptr %26, align 4, !tbaa !5
  %169 = icmp slt i32 %168, 2
  br i1 %169, label %171, label %170

170:                                              ; preds = %167
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #9
  br label %186

171:                                              ; preds = %167
  %172 = load ptr, ptr %16, align 8, !tbaa !11
  %173 = load i32, ptr %26, align 4, !tbaa !5
  %174 = sext i32 %173 to i64
  %175 = getelementptr inbounds double, ptr %172, i64 %174
  %176 = load double, ptr %175, align 8, !tbaa !9
  %177 = load i32, ptr %26, align 4, !tbaa !5
  %178 = sext i32 %177 to i64
  %179 = getelementptr inbounds [2 x double], ptr %6, i64 0, i64 %178
  %180 = load double, ptr %179, align 8, !tbaa !9
  %181 = load double, ptr %15, align 8, !tbaa !9
  %182 = call double @llvm.fmuladd.f64(double %176, double %180, double %181)
  store double %182, ptr %15, align 8, !tbaa !9
  br label %183

183:                                              ; preds = %171
  %184 = load i32, ptr %26, align 4, !tbaa !5
  %185 = add nsw i32 %184, 1
  store i32 %185, ptr %26, align 4, !tbaa !5
  br label %167, !llvm.loop !16

186:                                              ; preds = %170
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #9
  store i32 0, ptr %27, align 4, !tbaa !5
  br label %187

187:                                              ; preds = %209, %186
  %188 = load i32, ptr %27, align 4, !tbaa !5
  %189 = icmp slt i32 %188, 2
  br i1 %189, label %191, label %190

190:                                              ; preds = %187
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #9
  br label %212

191:                                              ; preds = %187
  %192 = load i32, ptr %27, align 4, !tbaa !5
  %193 = load ptr, ptr %16, align 8, !tbaa !11
  %194 = load i32, ptr %27, align 4, !tbaa !5
  %195 = sext i32 %194 to i64
  %196 = getelementptr inbounds double, ptr %193, i64 %195
  %197 = load double, ptr %196, align 8, !tbaa !9
  %198 = load ptr, ptr %17, align 8, !tbaa !11
  %199 = load i32, ptr %27, align 4, !tbaa !5
  %200 = sext i32 %199 to i64
  %201 = getelementptr inbounds double, ptr %198, i64 %200
  %202 = load double, ptr %201, align 8, !tbaa !9
  %203 = load ptr, ptr %20, align 8, !tbaa !11
  %204 = load i32, ptr %27, align 4, !tbaa !5
  %205 = sext i32 %204 to i64
  %206 = getelementptr inbounds i32, ptr %203, i64 %205
  %207 = load i32, ptr %206, align 4, !tbaa !5
  %208 = call i32 (ptr, ...) @printf(ptr noundef @.str.24, i32 noundef %192, double noundef %197, double noundef %202, i32 noundef %207)
  br label %209

209:                                              ; preds = %191
  %210 = load i32, ptr %27, align 4, !tbaa !5
  %211 = add nsw i32 %210, 1
  store i32 %211, ptr %27, align 4, !tbaa !5
  br label %187, !llvm.loop !17

212:                                              ; preds = %190
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #9
  store i32 0, ptr %28, align 4, !tbaa !5
  br label %213

213:                                              ; preds = %235, %212
  %214 = load i32, ptr %28, align 4, !tbaa !5
  %215 = icmp slt i32 %214, 3
  br i1 %215, label %217, label %216

216:                                              ; preds = %213
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #9
  br label %238

217:                                              ; preds = %213
  %218 = load i32, ptr %28, align 4, !tbaa !5
  %219 = load ptr, ptr %18, align 8, !tbaa !11
  %220 = load i32, ptr %28, align 4, !tbaa !5
  %221 = sext i32 %220 to i64
  %222 = getelementptr inbounds double, ptr %219, i64 %221
  %223 = load double, ptr %222, align 8, !tbaa !9
  %224 = load ptr, ptr %19, align 8, !tbaa !11
  %225 = load i32, ptr %28, align 4, !tbaa !5
  %226 = sext i32 %225 to i64
  %227 = getelementptr inbounds double, ptr %224, i64 %226
  %228 = load double, ptr %227, align 8, !tbaa !9
  %229 = load ptr, ptr %21, align 8, !tbaa !11
  %230 = load i32, ptr %28, align 4, !tbaa !5
  %231 = sext i32 %230 to i64
  %232 = getelementptr inbounds i32, ptr %229, i64 %231
  %233 = load i32, ptr %232, align 4, !tbaa !5
  %234 = call i32 (ptr, ...) @printf(ptr noundef @.str.25, i32 noundef %218, double noundef %223, double noundef %228, i32 noundef %233)
  br label %235

235:                                              ; preds = %217
  %236 = load i32, ptr %28, align 4, !tbaa !5
  %237 = add nsw i32 %236, 1
  store i32 %237, ptr %28, align 4, !tbaa !5
  br label %213, !llvm.loop !18

238:                                              ; preds = %216
  %239 = load double, ptr %15, align 8, !tbaa !9
  %240 = call i32 (ptr, ...) @printf(ptr noundef @.str.26, double noundef %239)
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %29, ptr align 4 @__const.minimal_api.integrality, i64 8, i1 false)
  %241 = load i32, ptr %4, align 4, !tbaa !5
  %242 = getelementptr inbounds [2 x double], ptr %6, i64 0, i64 0
  %243 = getelementptr inbounds [2 x double], ptr %7, i64 0, i64 0
  %244 = getelementptr inbounds [2 x double], ptr %8, i64 0, i64 0
  %245 = getelementptr inbounds [3 x double], ptr %9, i64 0, i64 0
  %246 = getelementptr inbounds [3 x double], ptr %10, i64 0, i64 0
  %247 = getelementptr inbounds [2 x i32], ptr %12, i64 0, i64 0
  %248 = getelementptr inbounds [5 x i32], ptr %13, i64 0, i64 0
  %249 = getelementptr inbounds [5 x double], ptr %14, i64 0, i64 0
  %250 = getelementptr inbounds [2 x i32], ptr %29, i64 0, i64 0
  %251 = load ptr, ptr %16, align 8, !tbaa !11
  %252 = load ptr, ptr %18, align 8, !tbaa !11
  %253 = call i32 @Highs_mipCall(i32 noundef 2, i32 noundef 3, i32 noundef 5, i32 noundef 1, i32 noundef %241, double noundef 3.000000e+00, ptr noundef %242, ptr noundef %243, ptr noundef %244, ptr noundef %245, ptr noundef %246, ptr noundef %247, ptr noundef %248, ptr noundef %249, ptr noundef %250, ptr noundef %251, ptr noundef %252, ptr noundef %22)
  store i32 %253, ptr %23, align 4, !tbaa !5
  %254 = load i32, ptr %23, align 4, !tbaa !5
  %255 = icmp eq i32 %254, 0
  br i1 %255, label %256, label %257

256:                                              ; preds = %238
  br label %258

257:                                              ; preds = %238
  call void @__assert_fail(ptr noundef @.str.20, ptr noundef @.str.21, i32 noundef 170, ptr noundef @__PRETTY_FUNCTION__.minimal_api) #11
  unreachable

258:                                              ; preds = %256
  %259 = load i32, ptr %22, align 4, !tbaa !5
  %260 = icmp eq i32 %259, 7
  br i1 %260, label %261, label %262

261:                                              ; preds = %258
  br label %263

262:                                              ; preds = %258
  call void @__assert_fail(ptr noundef @.str.22, ptr noundef @.str.21, i32 noundef 171, ptr noundef @__PRETTY_FUNCTION__.minimal_api) #11
  unreachable

263:                                              ; preds = %261
  %264 = load i32, ptr %23, align 4, !tbaa !5
  %265 = load i32, ptr %22, align 4, !tbaa !5
  %266 = call i32 (ptr, ...) @printf(ptr noundef @.str.23, i32 noundef %264, i32 noundef %265)
  store double 3.000000e+00, ptr %15, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #9
  store i32 0, ptr %30, align 4, !tbaa !5
  br label %267

267:                                              ; preds = %283, %263
  %268 = load i32, ptr %30, align 4, !tbaa !5
  %269 = icmp slt i32 %268, 2
  br i1 %269, label %271, label %270

270:                                              ; preds = %267
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #9
  br label %286

271:                                              ; preds = %267
  %272 = load ptr, ptr %16, align 8, !tbaa !11
  %273 = load i32, ptr %30, align 4, !tbaa !5
  %274 = sext i32 %273 to i64
  %275 = getelementptr inbounds double, ptr %272, i64 %274
  %276 = load double, ptr %275, align 8, !tbaa !9
  %277 = load i32, ptr %30, align 4, !tbaa !5
  %278 = sext i32 %277 to i64
  %279 = getelementptr inbounds [2 x double], ptr %6, i64 0, i64 %278
  %280 = load double, ptr %279, align 8, !tbaa !9
  %281 = load double, ptr %15, align 8, !tbaa !9
  %282 = call double @llvm.fmuladd.f64(double %276, double %280, double %281)
  store double %282, ptr %15, align 8, !tbaa !9
  br label %283

283:                                              ; preds = %271
  %284 = load i32, ptr %30, align 4, !tbaa !5
  %285 = add nsw i32 %284, 1
  store i32 %285, ptr %30, align 4, !tbaa !5
  br label %267, !llvm.loop !19

286:                                              ; preds = %270
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #9
  store i32 0, ptr %31, align 4, !tbaa !5
  br label %287

287:                                              ; preds = %299, %286
  %288 = load i32, ptr %31, align 4, !tbaa !5
  %289 = icmp slt i32 %288, 2
  br i1 %289, label %291, label %290

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

291:                                              ; preds = %287
  %292 = load i32, ptr %31, align 4, !tbaa !5
  %293 = load ptr, ptr %16, align 8, !tbaa !11
  %294 = load i32, ptr %31, align 4, !tbaa !5
  %295 = sext i32 %294 to i64
  %296 = getelementptr inbounds double, ptr %293, i64 %295
  %297 = load double, ptr %296, align 8, !tbaa !9
  %298 = call i32 (ptr, ...) @printf(ptr noundef @.str.27, i32 noundef %292, double noundef %297)
  br label %299

299:                                              ; preds = %291
  %300 = load i32, ptr %31, align 4, !tbaa !5
  %301 = add nsw i32 %300, 1
  store i32 %301, ptr %31, align 4, !tbaa !5
  br label %287, !llvm.loop !20

302:                                              ; preds = %290
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #9
  store i32 0, ptr %32, align 4, !tbaa !5
  br label %303

303:                                              ; preds = %315, %302
  %304 = load i32, ptr %32, align 4, !tbaa !5
  %305 = icmp slt i32 %304, 3
  br i1 %305, label %307, label %306

306:                                              ; preds = %303
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #9
  br label %318

307:                                              ; preds = %303
  %308 = load i32, ptr %32, align 4, !tbaa !5
  %309 = load ptr, ptr %18, align 8, !tbaa !11
  %310 = load i32, ptr %32, align 4, !tbaa !5
  %311 = sext i32 %310 to i64
  %312 = getelementptr inbounds double, ptr %309, i64 %311
  %313 = load double, ptr %312, align 8, !tbaa !9
  %314 = call i32 (ptr, ...) @printf(ptr noundef @.str.28, i32 noundef %308, double noundef %313)
  br label %315

315:                                              ; preds = %307
  %316 = load i32, ptr %32, align 4, !tbaa !5
  %317 = add nsw i32 %316, 1
  store i32 %317, ptr %32, align 4, !tbaa !5
  br label %303, !llvm.loop !21

318:                                              ; preds = %306
  %319 = load double, ptr %15, align 8, !tbaa !9
  %320 = call i32 (ptr, ...) @printf(ptr noundef @.str.26, double noundef %319)
  %321 = load ptr, ptr %16, align 8, !tbaa !11
  call void @free(ptr noundef %321) #9
  %322 = load ptr, ptr %17, align 8, !tbaa !11
  call void @free(ptr noundef %322) #9
  %323 = load ptr, ptr %18, align 8, !tbaa !11
  call void @free(ptr noundef %323) #9
  %324 = load ptr, ptr %19, align 8, !tbaa !11
  call void @free(ptr noundef %324) #9
  %325 = load ptr, ptr %20, align 8, !tbaa !11
  call void @free(ptr noundef %325) #9
  %326 = load ptr, ptr %21, align 8, !tbaa !11
  call void @free(ptr noundef %326) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #9
  call void @llvm.lifetime.end.p0(i64 40, ptr %14) #9
  call void @llvm.lifetime.end.p0(i64 20, ptr %13) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %10) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %9) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %8) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %7) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %6) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %1) #9
  ret void
}

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #2

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #3

; Function Attrs: nounwind allocsize(0)
declare noalias ptr @malloc(i64 noundef) #4

declare i32 @Highs_lpCall(i32 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, double noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #5

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

declare i32 @printf(ptr noundef, ...) #5

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

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

declare i32 @Highs_mipCall(i32 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, double noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #5

; Function Attrs: nounwind
declare void @free(ptr noundef) #8

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"double", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"any pointer", !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = distinct !{!15, !14}
!16 = distinct !{!16, !14}
!17 = distinct !{!17, !14}
!18 = distinct !{!18, !14}
!19 = distinct !{!19, !14}
!20 = distinct !{!20, !14}
!21 = distinct !{!21, !14}


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

@__const.minimal_api.col_cost = external hidden unnamed_addr constant [2 x double], align 16
@__const.minimal_api.col_lower = external hidden unnamed_addr constant [2 x double], align 16
@__const.minimal_api.col_upper = external hidden unnamed_addr constant [2 x double], align 16
@__const.minimal_api.row_lower = external hidden unnamed_addr constant [3 x double], align 16
@__const.minimal_api.row_upper = external hidden unnamed_addr constant [3 x double], align 16
@__const.minimal_api.a_start = external hidden unnamed_addr constant [2 x i32], align 4
@__const.minimal_api.a_index = external hidden unnamed_addr constant [5 x i32], align 16
@.str.20 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [78 x i8], align 1
@__PRETTY_FUNCTION__.minimal_api = external hidden unnamed_addr constant [19 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [30 x i8], align 1
@__const.minimal_api.integrality = external hidden unnamed_addr constant [2 x i32], align 4
@.str.27 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [13 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local void @minimal_api() local_unnamed_addr #0 {
  %1 = alloca [2 x double], align 16
  %2 = alloca [2 x double], align 16
  %3 = alloca [2 x double], align 16
  %4 = alloca [3 x double], align 16
  %5 = alloca [3 x double], align 16
  %6 = alloca [2 x i32], align 8
  %7 = alloca [5 x i32], align 16
  %8 = alloca [5 x double], align 16
  %9 = alloca i32, align 4
  %10 = alloca [2 x i32], align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %1) #9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %1, ptr noundef nonnull align 16 dereferenceable(16) @__const.minimal_api.col_cost, i64 16, i1 false)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %2) #9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %2, ptr noundef nonnull align 16 dereferenceable(16) @__const.minimal_api.col_lower, i64 16, i1 false)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %3) #9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %3, ptr noundef nonnull align 16 dereferenceable(16) @__const.minimal_api.col_upper, i64 16, i1 false)
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %4) #9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(24) %4, ptr noundef nonnull align 16 dereferenceable(24) @__const.minimal_api.row_lower, i64 24, i1 false)
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %5) #9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(24) %5, ptr noundef nonnull align 16 dereferenceable(24) @__const.minimal_api.row_upper, i64 24, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #9
  %11 = load i64, ptr @__const.minimal_api.a_start, align 4
  store i64 %11, ptr %6, align 8
  call void @llvm.lifetime.start.p0(i64 20, ptr nonnull %7) #9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(20) %7, ptr noundef nonnull align 16 dereferenceable(20) @__const.minimal_api.a_index, i64 20, i1 false)
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %8) #9
  store <2 x double> <double 1.000000e+00, double 3.000000e+00>, ptr %8, align 16
  %12 = getelementptr inbounds i8, ptr %8, i64 16
  store <2 x double> <double 1.000000e+00, double 2.000000e+00>, ptr %12, align 16
  %13 = getelementptr inbounds i8, ptr %8, i64 32
  store double 2.000000e+00, ptr %13, align 16
  %14 = tail call noalias dereferenceable_or_null(16) ptr @malloc(i64 noundef 16) #10
  %15 = tail call noalias dereferenceable_or_null(16) ptr @malloc(i64 noundef 16) #10
  %16 = tail call noalias dereferenceable_or_null(24) ptr @malloc(i64 noundef 24) #10
  %17 = tail call noalias dereferenceable_or_null(24) ptr @malloc(i64 noundef 24) #10
  %18 = tail call noalias dereferenceable_or_null(8) ptr @malloc(i64 noundef 8) #10
  %19 = tail call noalias dereferenceable_or_null(12) ptr @malloc(i64 noundef 12) #10
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %9) #9
  %20 = call i32 @Highs_lpCall(i32 noundef 2, i32 noundef 3, i32 noundef 5, i32 noundef 1, i32 noundef 1, double noundef 3.000000e+00, ptr noundef nonnull %1, ptr noundef nonnull %2, ptr noundef nonnull %3, ptr noundef nonnull %4, ptr noundef nonnull %5, ptr noundef nonnull %6, ptr noundef nonnull %7, ptr noundef nonnull %8, ptr noundef %14, ptr noundef %15, ptr noundef %16, ptr noundef %17, ptr noundef %18, ptr noundef %19, ptr noundef nonnull %9) #9
  %21 = icmp eq i32 %20, 0
  br i1 %21, label %23, label %22

22:                                               ; preds = %0
  call void @__assert_fail(ptr noundef nonnull @.str.20, ptr noundef nonnull @.str.21, i32 noundef 106, ptr noundef nonnull @__PRETTY_FUNCTION__.minimal_api) #11
  unreachable

23:                                               ; preds = %0
  %24 = load i32, ptr %9, align 4, !tbaa !5
  %25 = icmp eq i32 %24, 7
  br i1 %25, label %.preheader110, label %26

26:                                               ; preds = %23
  call void @__assert_fail(ptr noundef nonnull @.str.22, ptr noundef nonnull @.str.21, i32 noundef 107, ptr noundef nonnull @__PRETTY_FUNCTION__.minimal_api) #11
  unreachable

.preheader110:                                    ; preds = %23
  %27 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.23, i32 noundef 0, i32 noundef 7)
  %28 = load double, ptr %14, align 8, !tbaa !9
  %29 = load double, ptr %15, align 8, !tbaa !9
  %30 = load i32, ptr %18, align 4, !tbaa !5
  %31 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.24, i32 noundef 0, double noundef %28, double noundef %29, i32 noundef %30)
  %32 = load double, ptr %14, align 8, !tbaa !9
  %33 = load double, ptr %1, align 16, !tbaa !9
  %34 = getelementptr inbounds i8, ptr %14, i64 8
  %35 = load double, ptr %34, align 8, !tbaa !9
  %36 = getelementptr inbounds i8, ptr %15, i64 8
  %37 = load double, ptr %36, align 8, !tbaa !9
  %38 = getelementptr inbounds i8, ptr %18, i64 4
  %39 = load i32, ptr %38, align 4, !tbaa !5
  %40 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.24, i32 noundef 1, double noundef %35, double noundef %37, i32 noundef %39)
  %41 = load double, ptr %34, align 8, !tbaa !9
  %42 = getelementptr inbounds i8, ptr %1, i64 8
  %43 = load double, ptr %42, align 8, !tbaa !9
  %44 = load double, ptr %16, align 8, !tbaa !9
  %45 = load double, ptr %17, align 8, !tbaa !9
  %46 = load i32, ptr %19, align 4, !tbaa !5
  %47 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.25, i32 noundef 0, double noundef %44, double noundef %45, i32 noundef %46)
  %48 = getelementptr inbounds i8, ptr %16, i64 8
  %49 = load double, ptr %48, align 8, !tbaa !9
  %50 = getelementptr inbounds i8, ptr %17, i64 8
  %51 = load double, ptr %50, align 8, !tbaa !9
  %52 = getelementptr inbounds i8, ptr %19, i64 4
  %53 = load i32, ptr %52, align 4, !tbaa !5
  %54 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.25, i32 noundef 1, double noundef %49, double noundef %51, i32 noundef %53)
  %55 = getelementptr inbounds i8, ptr %16, i64 16
  %56 = load double, ptr %55, align 8, !tbaa !9
  %57 = getelementptr inbounds i8, ptr %17, i64 16
  %58 = load double, ptr %57, align 8, !tbaa !9
  %59 = getelementptr inbounds i8, ptr %19, i64 8
  %60 = load i32, ptr %59, align 4, !tbaa !5
  %61 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.25, i32 noundef 2, double noundef %56, double noundef %58, i32 noundef %60)
  %62 = call double @llvm.fmuladd.f64(double %32, double %33, double 3.000000e+00)
  %63 = call double @llvm.fmuladd.f64(double %41, double %43, double %62)
  %64 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.26, double noundef %63)
  %65 = call i32 @Highs_lpCall(i32 noundef 2, i32 noundef 3, i32 noundef 5, i32 noundef 1, i32 noundef -1, double noundef 3.000000e+00, ptr noundef nonnull %1, ptr noundef nonnull %2, ptr noundef nonnull %3, ptr noundef nonnull %4, ptr noundef nonnull %5, ptr noundef nonnull %6, ptr noundef nonnull %7, ptr noundef nonnull %8, ptr noundef nonnull %14, ptr noundef nonnull %15, ptr noundef nonnull %16, ptr noundef nonnull %17, ptr noundef nonnull %18, ptr noundef nonnull %19, ptr noundef nonnull %9) #9
  %66 = icmp eq i32 %65, 0
  br i1 %66, label %68, label %67

67:                                               ; preds = %.preheader110
  call void @__assert_fail(ptr noundef nonnull @.str.20, ptr noundef nonnull @.str.21, i32 noundef 137, ptr noundef nonnull @__PRETTY_FUNCTION__.minimal_api) #11
  unreachable

68:                                               ; preds = %.preheader110
  %69 = load i32, ptr %9, align 4, !tbaa !5
  %70 = icmp eq i32 %69, 7
  br i1 %70, label %.preheader109, label %71

71:                                               ; preds = %68
  call void @__assert_fail(ptr noundef nonnull @.str.22, ptr noundef nonnull @.str.21, i32 noundef 138, ptr noundef nonnull @__PRETTY_FUNCTION__.minimal_api) #11
  unreachable

.preheader109:                                    ; preds = %68
  %72 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.23, i32 noundef 0, i32 noundef 7)
  %73 = load double, ptr %14, align 8, !tbaa !9
  %74 = load double, ptr %1, align 16, !tbaa !9
  %75 = load double, ptr %34, align 8, !tbaa !9
  %76 = load double, ptr %42, align 8, !tbaa !9
  %77 = load double, ptr %15, align 8, !tbaa !9
  %78 = load i32, ptr %18, align 4, !tbaa !5
  %79 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.24, i32 noundef 0, double noundef %73, double noundef %77, i32 noundef %78)
  %80 = load double, ptr %34, align 8, !tbaa !9
  %81 = load double, ptr %36, align 8, !tbaa !9
  %82 = load i32, ptr %38, align 4, !tbaa !5
  %83 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.24, i32 noundef 1, double noundef %80, double noundef %81, i32 noundef %82)
  %84 = call double @llvm.fmuladd.f64(double %73, double %74, double 3.000000e+00)
  %85 = load double, ptr %16, align 8, !tbaa !9
  %86 = load double, ptr %17, align 8, !tbaa !9
  %87 = load i32, ptr %19, align 4, !tbaa !5
  %88 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.25, i32 noundef 0, double noundef %85, double noundef %86, i32 noundef %87)
  %89 = load double, ptr %48, align 8, !tbaa !9
  %90 = load double, ptr %50, align 8, !tbaa !9
  %91 = load i32, ptr %52, align 4, !tbaa !5
  %92 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.25, i32 noundef 1, double noundef %89, double noundef %90, i32 noundef %91)
  %93 = load double, ptr %55, align 8, !tbaa !9
  %94 = load double, ptr %57, align 8, !tbaa !9
  %95 = load i32, ptr %59, align 4, !tbaa !5
  %96 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.25, i32 noundef 2, double noundef %93, double noundef %94, i32 noundef %95)
  %97 = call double @llvm.fmuladd.f64(double %75, double %76, double %84)
  %98 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.26, double noundef %97)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #9
  %99 = load i64, ptr @__const.minimal_api.integrality, align 4
  store i64 %99, ptr %10, align 8
  %100 = call i32 @Highs_mipCall(i32 noundef 2, i32 noundef 3, i32 noundef 5, i32 noundef 1, i32 noundef -1, double noundef 3.000000e+00, ptr noundef nonnull %1, ptr noundef nonnull %2, ptr noundef nonnull %3, ptr noundef nonnull %4, ptr noundef nonnull %5, ptr noundef nonnull %6, ptr noundef nonnull %7, ptr noundef nonnull %8, ptr noundef nonnull %10, ptr noundef nonnull %14, ptr noundef nonnull %16, ptr noundef nonnull %9) #9
  %101 = icmp eq i32 %100, 0
  br i1 %101, label %103, label %102

102:                                              ; preds = %.preheader109
  call void @__assert_fail(ptr noundef nonnull @.str.20, ptr noundef nonnull @.str.21, i32 noundef 170, ptr noundef nonnull @__PRETTY_FUNCTION__.minimal_api) #11
  unreachable

103:                                              ; preds = %.preheader109
  %104 = load i32, ptr %9, align 4, !tbaa !5
  %105 = icmp eq i32 %104, 7
  br i1 %105, label %.preheader107, label %106

106:                                              ; preds = %103
  call void @__assert_fail(ptr noundef nonnull @.str.22, ptr noundef nonnull @.str.21, i32 noundef 171, ptr noundef nonnull @__PRETTY_FUNCTION__.minimal_api) #11
  unreachable

.preheader107:                                    ; preds = %103
  %107 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.23, i32 noundef 0, i32 noundef 7)
  %108 = load double, ptr %14, align 8, !tbaa !9
  %109 = load double, ptr %1, align 16, !tbaa !9
  %110 = load double, ptr %34, align 8, !tbaa !9
  %111 = load double, ptr %42, align 8, !tbaa !9
  %112 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.27, i32 noundef 0, double noundef %108)
  %113 = load double, ptr %34, align 8, !tbaa !9
  %114 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.27, i32 noundef 1, double noundef %113)
  %115 = call double @llvm.fmuladd.f64(double %108, double %109, double 3.000000e+00)
  %116 = load double, ptr %16, align 8, !tbaa !9
  %117 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.28, i32 noundef 0, double noundef %116)
  %118 = load double, ptr %48, align 8, !tbaa !9
  %119 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.28, i32 noundef 1, double noundef %118)
  %120 = load double, ptr %55, align 8, !tbaa !9
  %121 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.28, i32 noundef 2, double noundef %120)
  %122 = call double @llvm.fmuladd.f64(double %110, double %111, double %115)
  %123 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.26, double noundef %122)
  call void @free(ptr noundef nonnull %14) #9
  call void @free(ptr noundef nonnull %15) #9
  call void @free(ptr noundef nonnull %16) #9
  call void @free(ptr noundef nonnull %17) #9
  call void @free(ptr noundef nonnull %18) #9
  call void @free(ptr noundef nonnull %19) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %9) #9
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %8) #9
  call void @llvm.lifetime.end.p0(i64 20, ptr nonnull %7) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %5) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %4) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %3) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %2) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %1) #9
  ret void
}

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

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #2

; Function Attrs: mustprogress nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) memory(inaccessiblemem: readwrite)
declare noalias noundef ptr @malloc(i64 noundef) local_unnamed_addr #3

declare i32 @Highs_lpCall(i32 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, double noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #4

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

; Function Attrs: nofree nounwind
declare noundef i32 @printf(ptr nocapture noundef readonly, ...) local_unnamed_addr #6

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #7

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

declare i32 @Highs_mipCall(i32 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, double noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #4

; Function Attrs: mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite)
declare void @free(ptr allocptr nocapture noundef) local_unnamed_addr #8

attributes #0 = { 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 #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { mustprogress nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" "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 "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 = { nofree 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 #7 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #8 = { mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "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 #9 = { nounwind }
attributes #10 = { nounwind allocsize(0) }
attributes #11 = { noreturn nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"double", !7, i64 0}


; Effective O3 passes: CorrelatedValuePropagationPass,DSEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,LCSSAPass,LoopRotatePass,LoopSimplifyPass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,TailCallElimPass