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

@.str.20 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [78 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.26 = external hidden unnamed_addr constant [30 x i8], align 1
@__const.minimal_api_qp.col_cost = external hidden unnamed_addr constant [3 x double], align 16
@__const.minimal_api_qp.col_upper = external hidden unnamed_addr constant [3 x double], align 16
@__const.minimal_api_qp.row_lower = external hidden unnamed_addr constant [1 x double], align 8
@__const.minimal_api_qp.row_upper = external hidden unnamed_addr constant [1 x double], align 8
@__const.minimal_api_qp.a_start = external hidden unnamed_addr constant [2 x i32], align 4
@__const.minimal_api_qp.a_index = external hidden unnamed_addr constant [3 x i32], align 4
@__const.minimal_api_qp.a_value = external hidden unnamed_addr constant [3 x double], align 16
@__const.minimal_api_qp.q_start = external hidden unnamed_addr constant [3 x i32], align 4
@__const.minimal_api_qp.q_index = external hidden unnamed_addr constant [4 x i32], align 16
@__const.minimal_api_qp.q_value = external hidden unnamed_addr constant [4 x double], align 16
@__PRETTY_FUNCTION__.minimal_api_qp = external hidden unnamed_addr constant [22 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.30 = 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

; 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) #1

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

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

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

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

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

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

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

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

65:                                               ; preds = %0
  br label %67

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

67:                                               ; preds = %65
  %68 = load i32, ptr %27, align 4, !tbaa !5
  %69 = icmp eq i32 %68, 7
  br i1 %69, label %70, label %71

70:                                               ; preds = %67
  br label %72

71:                                               ; preds = %67
  call void @__assert_fail(ptr noundef @.str.22, ptr noundef @.str.21, i32 noundef 251, ptr noundef @__PRETTY_FUNCTION__.minimal_api_qp) #11
  unreachable

72:                                               ; preds = %70
  %73 = load i32, ptr %28, align 4, !tbaa !5
  %74 = load i32, ptr %27, align 4, !tbaa !5
  %75 = call i32 (ptr, ...) @printf(ptr noundef @.str.23, i32 noundef %73, i32 noundef %74)
  store double 0.000000e+00, ptr %20, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #9
  store i32 0, ptr %29, align 4, !tbaa !5
  br label %76

76:                                               ; preds = %92, %72
  %77 = load i32, ptr %29, align 4, !tbaa !5
  %78 = icmp slt i32 %77, 3
  br i1 %78, label %80, label %79

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

80:                                               ; preds = %76
  %81 = load ptr, ptr %21, align 8, !tbaa !11
  %82 = load i32, ptr %29, align 4, !tbaa !5
  %83 = sext i32 %82 to i64
  %84 = getelementptr inbounds double, ptr %81, i64 %83
  %85 = load double, ptr %84, align 8, !tbaa !9
  %86 = load i32, ptr %29, align 4, !tbaa !5
  %87 = sext i32 %86 to i64
  %88 = getelementptr inbounds [3 x double], ptr %6, i64 0, i64 %87
  %89 = load double, ptr %88, align 8, !tbaa !9
  %90 = load double, ptr %20, align 8, !tbaa !9
  %91 = call double @llvm.fmuladd.f64(double %85, double %89, double %90)
  store double %91, ptr %20, align 8, !tbaa !9
  br label %92

92:                                               ; preds = %80
  %93 = load i32, ptr %29, align 4, !tbaa !5
  %94 = add nsw i32 %93, 1
  store i32 %94, ptr %29, align 4, !tbaa !5
  br label %76, !llvm.loop !13

95:                                               ; preds = %79
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #9
  store i32 0, ptr %30, align 4, !tbaa !5
  br label %96

96:                                               ; preds = %149, %95
  %97 = load i32, ptr %30, align 4, !tbaa !5
  %98 = icmp slt i32 %97, 3
  br i1 %98, label %100, label %99

99:                                               ; preds = %96
  store i32 5, ptr %31, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #9
  br label %152

100:                                              ; preds = %96
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #9
  %101 = load i32, ptr %30, align 4, !tbaa !5
  %102 = sext i32 %101 to i64
  %103 = getelementptr inbounds [3 x i32], ptr %17, i64 0, i64 %102
  %104 = load i32, ptr %103, align 4, !tbaa !5
  store i32 %104, ptr %32, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #9
  %105 = load i32, ptr %30, align 4, !tbaa !5
  %106 = add nsw i32 %105, 1
  %107 = icmp slt i32 %106, 3
  br i1 %107, label %108, label %114

108:                                              ; preds = %100
  %109 = load i32, ptr %30, align 4, !tbaa !5
  %110 = add nsw i32 %109, 1
  %111 = sext i32 %110 to i64
  %112 = getelementptr inbounds [3 x i32], ptr %17, i64 0, i64 %111
  %113 = load i32, ptr %112, align 4, !tbaa !5
  store i32 %113, ptr %33, align 4, !tbaa !5
  br label %115

114:                                              ; preds = %100
  store i32 4, ptr %33, align 4, !tbaa !5
  br label %115

115:                                              ; preds = %114, %108
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #9
  %116 = load i32, ptr %32, align 4, !tbaa !5
  store i32 %116, ptr %34, align 4, !tbaa !5
  br label %117

117:                                              ; preds = %145, %115
  %118 = load i32, ptr %34, align 4, !tbaa !5
  %119 = load i32, ptr %33, align 4, !tbaa !5
  %120 = icmp slt i32 %118, %119
  br i1 %120, label %122, label %121

121:                                              ; preds = %117
  store i32 8, ptr %31, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #9
  br label %148

122:                                              ; preds = %117
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #9
  %123 = load i32, ptr %34, align 4, !tbaa !5
  %124 = sext i32 %123 to i64
  %125 = getelementptr inbounds [4 x i32], ptr %18, i64 0, i64 %124
  %126 = load i32, ptr %125, align 4, !tbaa !5
  store i32 %126, ptr %35, align 4, !tbaa !5
  %127 = load ptr, ptr %21, align 8, !tbaa !11
  %128 = load i32, ptr %30, align 4, !tbaa !5
  %129 = sext i32 %128 to i64
  %130 = getelementptr inbounds double, ptr %127, i64 %129
  %131 = load double, ptr %130, align 8, !tbaa !9
  %132 = fmul double 5.000000e-01, %131
  %133 = load ptr, ptr %21, align 8, !tbaa !11
  %134 = load i32, ptr %35, align 4, !tbaa !5
  %135 = sext i32 %134 to i64
  %136 = getelementptr inbounds double, ptr %133, i64 %135
  %137 = load double, ptr %136, align 8, !tbaa !9
  %138 = fmul double %132, %137
  %139 = load i32, ptr %34, align 4, !tbaa !5
  %140 = sext i32 %139 to i64
  %141 = getelementptr inbounds [4 x double], ptr %19, i64 0, i64 %140
  %142 = load double, ptr %141, align 8, !tbaa !9
  %143 = load double, ptr %20, align 8, !tbaa !9
  %144 = call double @llvm.fmuladd.f64(double %138, double %142, double %143)
  store double %144, ptr %20, align 8, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #9
  br label %145

145:                                              ; preds = %122
  %146 = load i32, ptr %34, align 4, !tbaa !5
  %147 = add nsw i32 %146, 1
  store i32 %147, ptr %34, align 4, !tbaa !5
  br label %117, !llvm.loop !15

148:                                              ; preds = %121
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #9
  br label %149

149:                                              ; preds = %148
  %150 = load i32, ptr %30, align 4, !tbaa !5
  %151 = add nsw i32 %150, 1
  store i32 %151, ptr %30, align 4, !tbaa !5
  br label %96, !llvm.loop !16

152:                                              ; preds = %99
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #9
  store i32 0, ptr %36, align 4, !tbaa !5
  br label %153

153:                                              ; preds = %170, %152
  %154 = load i32, ptr %36, align 4, !tbaa !5
  %155 = icmp slt i32 %154, 3
  br i1 %155, label %157, label %156

156:                                              ; preds = %153
  store i32 11, ptr %31, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #9
  br label %173

157:                                              ; preds = %153
  %158 = load i32, ptr %36, align 4, !tbaa !5
  %159 = load ptr, ptr %21, align 8, !tbaa !11
  %160 = load i32, ptr %36, align 4, !tbaa !5
  %161 = sext i32 %160 to i64
  %162 = getelementptr inbounds double, ptr %159, i64 %161
  %163 = load double, ptr %162, align 8, !tbaa !9
  %164 = load ptr, ptr %22, align 8, !tbaa !11
  %165 = load i32, ptr %36, align 4, !tbaa !5
  %166 = sext i32 %165 to i64
  %167 = getelementptr inbounds double, ptr %164, i64 %166
  %168 = load double, ptr %167, align 8, !tbaa !9
  %169 = call i32 (ptr, ...) @printf(ptr noundef @.str.29, i32 noundef %158, double noundef %163, double noundef %168)
  br label %170

170:                                              ; preds = %157
  %171 = load i32, ptr %36, align 4, !tbaa !5
  %172 = add nsw i32 %171, 1
  store i32 %172, ptr %36, align 4, !tbaa !5
  br label %153, !llvm.loop !17

173:                                              ; preds = %156
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #9
  store i32 0, ptr %37, align 4, !tbaa !5
  br label %174

174:                                              ; preds = %191, %173
  %175 = load i32, ptr %37, align 4, !tbaa !5
  %176 = icmp slt i32 %175, 1
  br i1 %176, label %178, label %177

177:                                              ; preds = %174
  store i32 14, ptr %31, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #9
  br label %194

178:                                              ; preds = %174
  %179 = load i32, ptr %37, align 4, !tbaa !5
  %180 = load ptr, ptr %23, align 8, !tbaa !11
  %181 = load i32, ptr %37, align 4, !tbaa !5
  %182 = sext i32 %181 to i64
  %183 = getelementptr inbounds double, ptr %180, i64 %182
  %184 = load double, ptr %183, align 8, !tbaa !9
  %185 = load ptr, ptr %24, align 8, !tbaa !11
  %186 = load i32, ptr %37, align 4, !tbaa !5
  %187 = sext i32 %186 to i64
  %188 = getelementptr inbounds double, ptr %185, i64 %187
  %189 = load double, ptr %188, align 8, !tbaa !9
  %190 = call i32 (ptr, ...) @printf(ptr noundef @.str.30, i32 noundef %179, double noundef %184, double noundef %189)
  br label %191

191:                                              ; preds = %178
  %192 = load i32, ptr %37, align 4, !tbaa !5
  %193 = add nsw i32 %192, 1
  store i32 %193, ptr %37, align 4, !tbaa !5
  br label %174, !llvm.loop !18

194:                                              ; preds = %177
  %195 = load double, ptr %20, align 8, !tbaa !9
  %196 = call i32 (ptr, ...) @printf(ptr noundef @.str.26, double noundef %195)
  %197 = load ptr, ptr %21, align 8, !tbaa !11
  call void @free(ptr noundef %197) #9
  %198 = load ptr, ptr %22, align 8, !tbaa !11
  call void @free(ptr noundef %198) #9
  %199 = load ptr, ptr %23, align 8, !tbaa !11
  call void @free(ptr noundef %199) #9
  %200 = load ptr, ptr %24, align 8, !tbaa !11
  call void @free(ptr noundef %200) #9
  %201 = load ptr, ptr %25, align 8, !tbaa !11
  call void @free(ptr noundef %201) #9
  %202 = load ptr, ptr %26, align 8, !tbaa !11
  call void @free(ptr noundef %202) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #9
  call void @llvm.lifetime.end.p0(i64 8, 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 32, ptr %19) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %18) #9
  call void @llvm.lifetime.end.p0(i64 12, ptr %17) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %14) #9
  call void @llvm.lifetime.end.p0(i64 12, 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 8, ptr %10) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %8) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %7) #9
  call void @llvm.lifetime.end.p0(i64 24, 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
}

declare i32 @Highs_qpCall(i32 noundef, i32 noundef, 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, ptr noundef, ptr noundef, ptr noundef) #5

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #3 = { 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 #4 = { 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 #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 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #7 = { 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 #8 = { 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 #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}


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

@.str.20 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [78 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.26 = external hidden unnamed_addr constant [30 x i8], align 1
@__const.minimal_api_qp.col_cost = external hidden unnamed_addr constant [3 x double], align 16
@__const.minimal_api_qp.col_upper = external hidden unnamed_addr constant [3 x double], align 16
@__const.minimal_api_qp.row_lower = external hidden unnamed_addr constant [1 x double], align 8
@__const.minimal_api_qp.row_upper = external hidden unnamed_addr constant [1 x double], align 8
@__const.minimal_api_qp.a_start = external hidden unnamed_addr constant [2 x i32], align 4
@__const.minimal_api_qp.a_index = external hidden unnamed_addr constant [3 x i32], align 4
@__const.minimal_api_qp.a_value = external hidden unnamed_addr constant [3 x double], align 16
@__const.minimal_api_qp.q_start = external hidden unnamed_addr constant [3 x i32], align 4
@__const.minimal_api_qp.q_index = external hidden unnamed_addr constant [4 x i32], align 16
@__const.minimal_api_qp.q_value = external hidden unnamed_addr constant [4 x double], align 16
@__PRETTY_FUNCTION__.minimal_api_qp = external hidden unnamed_addr constant [22 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.30 = 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

; 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) #1

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, 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

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

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

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

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

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

; Function Attrs: nounwind uwtable
define dso_local void @minimal_api_qp() local_unnamed_addr #8 {
  %1 = alloca [3 x double], align 16
  %2 = alloca [3 x double], align 16
  %3 = alloca [3 x double], align 16
  %4 = alloca [1 x double], align 8
  %5 = alloca [1 x double], align 8
  %6 = alloca [2 x i32], align 8
  %7 = alloca [3 x i32], align 4
  %8 = alloca [3 x double], align 16
  %9 = alloca [3 x i32], align 4
  %10 = alloca [4 x i32], align 16
  %11 = alloca [4 x double], align 16
  %12 = alloca i32, align 4
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %1) #10
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(24) %1, ptr noundef nonnull align 16 dereferenceable(24) @__const.minimal_api_qp.col_cost, i64 24, i1 false)
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %2) #10
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(24) %2, i8 0, i64 24, i1 false)
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %3) #10
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(24) %3, ptr noundef nonnull align 16 dereferenceable(24) @__const.minimal_api_qp.col_upper, i64 24, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #10
  %13 = load i64, ptr @__const.minimal_api_qp.row_lower, align 8
  store i64 %13, ptr %4, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #10
  %14 = load i64, ptr @__const.minimal_api_qp.row_upper, align 8
  store i64 %14, ptr %5, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #10
  %15 = load i64, ptr @__const.minimal_api_qp.a_start, align 4
  store i64 %15, ptr %6, align 8
  call void @llvm.lifetime.start.p0(i64 12, ptr nonnull %7) #10
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(12) %7, ptr noundef nonnull align 4 dereferenceable(12) @__const.minimal_api_qp.a_index, i64 12, i1 false)
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %8) #10
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(24) %8, ptr noundef nonnull align 16 dereferenceable(24) @__const.minimal_api_qp.a_value, i64 24, i1 false)
  call void @llvm.lifetime.start.p0(i64 12, ptr nonnull %9) #10
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(12) %9, ptr noundef nonnull align 4 dereferenceable(12) @__const.minimal_api_qp.q_start, i64 12, i1 false)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %10) #10
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %10, ptr noundef nonnull align 16 dereferenceable(16) @__const.minimal_api_qp.q_index, i64 16, i1 false)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %11) #10
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(32) %11, ptr noundef nonnull align 16 dereferenceable(32) @__const.minimal_api_qp.q_value, i64 32, i1 false)
  %16 = tail call noalias dereferenceable_or_null(24) ptr @malloc(i64 noundef 24) #11
  %17 = tail call noalias dereferenceable_or_null(24) ptr @malloc(i64 noundef 24) #11
  %18 = tail call noalias dereferenceable_or_null(8) ptr @malloc(i64 noundef 8) #11
  %19 = tail call noalias dereferenceable_or_null(8) ptr @malloc(i64 noundef 8) #11
  %20 = tail call noalias dereferenceable_or_null(12) ptr @malloc(i64 noundef 12) #11
  %21 = tail call noalias dereferenceable_or_null(4) ptr @malloc(i64 noundef 4) #11
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %12) #10
  %22 = call i32 @Highs_qpCall(i32 noundef 3, i32 noundef 1, i32 noundef 3, i32 noundef 4, i32 noundef 2, i32 noundef 1, i32 noundef 1, double noundef 0.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 %9, ptr noundef nonnull %10, ptr noundef nonnull %11, ptr noundef %16, ptr noundef %17, ptr noundef %18, ptr noundef %19, ptr noundef %20, ptr noundef %21, ptr noundef nonnull %12) #10
  %23 = icmp eq i32 %22, 0
  br i1 %23, label %25, label %24

24:                                               ; preds = %0
  call void @__assert_fail(ptr noundef nonnull @.str.20, ptr noundef nonnull @.str.21, i32 noundef 250, ptr noundef nonnull @__PRETTY_FUNCTION__.minimal_api_qp) #12
  unreachable

25:                                               ; preds = %0
  %26 = load i32, ptr %12, align 4, !tbaa !5
  %27 = icmp eq i32 %26, 7
  br i1 %27, label %113, label %28

28:                                               ; preds = %25
  call void @__assert_fail(ptr noundef nonnull @.str.22, ptr noundef nonnull @.str.21, i32 noundef 251, ptr noundef nonnull @__PRETTY_FUNCTION__.minimal_api_qp) #12
  unreachable

.loopexit79:                                      ; preds = %.prol.loopexit, %.lr.ph.new, %113
  %.2.lcssa = phi double [ %127, %113 ], [ %.lcssa85.unr, %.prol.loopexit ], [ %163, %.lr.ph.new ]
  %29 = getelementptr inbounds i8, ptr %9, i64 4
  %30 = load i32, ptr %29, align 4, !tbaa !5
  %31 = getelementptr inbounds i8, ptr %9, i64 8
  %32 = load i32, ptr %31, align 4, !tbaa !5
  %33 = icmp slt i32 %30, %32
  br i1 %33, label %.lr.ph.1, label %.loopexit

.lr.ph.1:                                         ; preds = %.loopexit79
  %34 = fmul double %119, 5.000000e-01
  %35 = sext i32 %30 to i64
  %wide.trip.count.1 = sext i32 %32 to i64
  %36 = sub nsw i64 %wide.trip.count.1, %35
  %xtraiter91 = and i64 %36, 1
  %lcmp.mod92.not = icmp eq i64 %xtraiter91, 0
  br i1 %lcmp.mod92.not, label %.prol.loopexit90, label %.prol.loopexit90.unr-lcssa

.prol.loopexit90.unr-lcssa:                       ; preds = %.lr.ph.1
  %37 = getelementptr inbounds [4 x i32], ptr %10, i64 0, i64 %35
  %38 = load i32, ptr %37, align 4, !tbaa !5
  %39 = sext i32 %38 to i64
  %40 = getelementptr inbounds double, ptr %16, i64 %39
  %41 = load double, ptr %40, align 8, !tbaa !9
  %42 = fmul double %34, %41
  %43 = getelementptr inbounds [4 x double], ptr %11, i64 0, i64 %35
  %44 = load double, ptr %43, align 8, !tbaa !9
  %45 = call double @llvm.fmuladd.f64(double %42, double %44, double %.2.lcssa)
  %indvars.iv.next.1.prol = add nsw i64 %35, 1
  br label %.prol.loopexit90

.prol.loopexit90:                                 ; preds = %.prol.loopexit90.unr-lcssa, %.lr.ph.1
  %.lcssa84.unr = phi double [ poison, %.lr.ph.1 ], [ %45, %.prol.loopexit90.unr-lcssa ]
  %indvars.iv.1.unr = phi i64 [ %35, %.lr.ph.1 ], [ %indvars.iv.next.1.prol, %.prol.loopexit90.unr-lcssa ]
  %.264.1.unr = phi double [ %.2.lcssa, %.lr.ph.1 ], [ %45, %.prol.loopexit90.unr-lcssa ]
  %46 = add nsw i64 %wide.trip.count.1, -1
  %47 = icmp eq i64 %46, %35
  br i1 %47, label %.loopexit, label %.lr.ph.1.new

.lr.ph.1.new:                                     ; preds = %.prol.loopexit90, %.lr.ph.1.new
  %indvars.iv.1 = phi i64 [ %indvars.iv.next.1.1, %.lr.ph.1.new ], [ %indvars.iv.1.unr, %.prol.loopexit90 ]
  %.264.1 = phi double [ %65, %.lr.ph.1.new ], [ %.264.1.unr, %.prol.loopexit90 ]
  %48 = getelementptr inbounds [4 x i32], ptr %10, i64 0, i64 %indvars.iv.1
  %49 = load i32, ptr %48, align 4, !tbaa !5
  %50 = sext i32 %49 to i64
  %51 = getelementptr inbounds double, ptr %16, i64 %50
  %52 = load double, ptr %51, align 8, !tbaa !9
  %53 = fmul double %34, %52
  %54 = getelementptr inbounds [4 x double], ptr %11, i64 0, i64 %indvars.iv.1
  %55 = load double, ptr %54, align 8, !tbaa !9
  %56 = call double @llvm.fmuladd.f64(double %53, double %55, double %.264.1)
  %indvars.iv.next.1 = add nsw i64 %indvars.iv.1, 1
  %57 = getelementptr inbounds [4 x i32], ptr %10, i64 0, i64 %indvars.iv.next.1
  %58 = load i32, ptr %57, align 4, !tbaa !5
  %59 = sext i32 %58 to i64
  %60 = getelementptr inbounds double, ptr %16, i64 %59
  %61 = load double, ptr %60, align 8, !tbaa !9
  %62 = fmul double %34, %61
  %63 = getelementptr inbounds [4 x double], ptr %11, i64 0, i64 %indvars.iv.next.1
  %64 = load double, ptr %63, align 8, !tbaa !9
  %65 = call double @llvm.fmuladd.f64(double %62, double %64, double %56)
  %indvars.iv.next.1.1 = add nsw i64 %indvars.iv.1, 2
  %exitcond.1.not.1 = icmp eq i64 %indvars.iv.next.1.1, %wide.trip.count.1
  br i1 %exitcond.1.not.1, label %.loopexit, label %.lr.ph.1.new, !llvm.loop !11

.loopexit:                                        ; preds = %.prol.loopexit90, %.lr.ph.1.new, %.loopexit79
  %.2.lcssa.1 = phi double [ %.2.lcssa, %.loopexit79 ], [ %.lcssa84.unr, %.prol.loopexit90 ], [ %65, %.lr.ph.1.new ]
  %66 = getelementptr inbounds i8, ptr %9, i64 8
  %67 = load i32, ptr %66, align 4, !tbaa !5
  %68 = icmp slt i32 %67, 4
  br i1 %68, label %.lr.ph.2, label %.loopexit.2

.lr.ph.2:                                         ; preds = %.loopexit
  %69 = fmul double %124, 5.000000e-01
  %70 = sext i32 %67 to i64
  %xtraiter95 = and i64 %70, 1
  %lcmp.mod96.not = icmp eq i64 %xtraiter95, 0
  br i1 %lcmp.mod96.not, label %.prol.loopexit94, label %.prol.loopexit94.unr-lcssa

.prol.loopexit94.unr-lcssa:                       ; preds = %.lr.ph.2
  %71 = getelementptr inbounds [4 x i32], ptr %10, i64 0, i64 %70
  %72 = load i32, ptr %71, align 4, !tbaa !5
  %73 = sext i32 %72 to i64
  %74 = getelementptr inbounds double, ptr %16, i64 %73
  %75 = load double, ptr %74, align 8, !tbaa !9
  %76 = fmul double %69, %75
  %77 = getelementptr inbounds [4 x double], ptr %11, i64 0, i64 %70
  %78 = load double, ptr %77, align 8, !tbaa !9
  %79 = call double @llvm.fmuladd.f64(double %76, double %78, double %.2.lcssa.1)
  %indvars.iv.next.2.prol = add nsw i64 %70, 1
  br label %.prol.loopexit94

.prol.loopexit94:                                 ; preds = %.prol.loopexit94.unr-lcssa, %.lr.ph.2
  %.lcssa.unr = phi double [ poison, %.lr.ph.2 ], [ %79, %.prol.loopexit94.unr-lcssa ]
  %indvars.iv.2.unr = phi i64 [ %70, %.lr.ph.2 ], [ %indvars.iv.next.2.prol, %.prol.loopexit94.unr-lcssa ]
  %.264.2.unr = phi double [ %.2.lcssa.1, %.lr.ph.2 ], [ %79, %.prol.loopexit94.unr-lcssa ]
  %80 = icmp eq i32 %67, 3
  br i1 %80, label %.loopexit.2, label %.lr.ph.2.new

.lr.ph.2.new:                                     ; preds = %.prol.loopexit94, %.lr.ph.2.new
  %indvars.iv.2 = phi i64 [ %indvars.iv.next.2.1, %.lr.ph.2.new ], [ %indvars.iv.2.unr, %.prol.loopexit94 ]
  %.264.2 = phi double [ %98, %.lr.ph.2.new ], [ %.264.2.unr, %.prol.loopexit94 ]
  %81 = getelementptr inbounds [4 x i32], ptr %10, i64 0, i64 %indvars.iv.2
  %82 = load i32, ptr %81, align 4, !tbaa !5
  %83 = sext i32 %82 to i64
  %84 = getelementptr inbounds double, ptr %16, i64 %83
  %85 = load double, ptr %84, align 8, !tbaa !9
  %86 = fmul double %69, %85
  %87 = getelementptr inbounds [4 x double], ptr %11, i64 0, i64 %indvars.iv.2
  %88 = load double, ptr %87, align 8, !tbaa !9
  %89 = call double @llvm.fmuladd.f64(double %86, double %88, double %.264.2)
  %indvars.iv.next.2 = add nsw i64 %indvars.iv.2, 1
  %90 = getelementptr inbounds [4 x i32], ptr %10, i64 0, i64 %indvars.iv.next.2
  %91 = load i32, ptr %90, align 4, !tbaa !5
  %92 = sext i32 %91 to i64
  %93 = getelementptr inbounds double, ptr %16, i64 %92
  %94 = load double, ptr %93, align 8, !tbaa !9
  %95 = fmul double %69, %94
  %96 = getelementptr inbounds [4 x double], ptr %11, i64 0, i64 %indvars.iv.next.2
  %97 = load double, ptr %96, align 8, !tbaa !9
  %98 = call double @llvm.fmuladd.f64(double %95, double %97, double %89)
  %indvars.iv.next.2.1 = add nsw i64 %indvars.iv.2, 2
  %exitcond.2.not.1 = icmp eq i64 %indvars.iv.next.2.1, 4
  br i1 %exitcond.2.not.1, label %.loopexit.2, label %.lr.ph.2.new, !llvm.loop !11

.loopexit.2:                                      ; preds = %.prol.loopexit94, %.lr.ph.2.new, %.loopexit
  %.2.lcssa.2 = phi double [ %.2.lcssa.1, %.loopexit ], [ %.lcssa.unr, %.prol.loopexit94 ], [ %98, %.lr.ph.2.new ]
  %99 = load double, ptr %17, align 8, !tbaa !9
  %100 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.29, i32 noundef 0, double noundef %115, double noundef %99)
  %101 = load double, ptr %118, align 8, !tbaa !9
  %102 = getelementptr inbounds i8, ptr %17, i64 8
  %103 = load double, ptr %102, align 8, !tbaa !9
  %104 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.29, i32 noundef 1, double noundef %101, double noundef %103)
  %105 = load double, ptr %123, align 8, !tbaa !9
  %106 = getelementptr inbounds i8, ptr %17, i64 16
  %107 = load double, ptr %106, align 8, !tbaa !9
  %108 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.29, i32 noundef 2, double noundef %105, double noundef %107)
  %109 = load double, ptr %18, align 8, !tbaa !9
  %110 = load double, ptr %19, align 8, !tbaa !9
  %111 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.30, i32 noundef 0, double noundef %109, double noundef %110)
  %112 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.26, double noundef %.2.lcssa.2)
  call void @free(ptr noundef nonnull %16) #10
  call void @free(ptr noundef %17) #10
  call void @free(ptr noundef %18) #10
  call void @free(ptr noundef %19) #10
  call void @free(ptr noundef %20) #10
  call void @free(ptr noundef %21) #10
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %12) #10
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %10) #10
  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %9) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %8) #10
  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %7) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %3) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %2) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %1) #10
  ret void

113:                                              ; preds = %25
  %114 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.23, i32 noundef 0, i32 noundef 7)
  %115 = load double, ptr %16, align 8, !tbaa !9
  %116 = load double, ptr %1, align 16, !tbaa !9
  %117 = call double @llvm.fmuladd.f64(double %115, double %116, double 0.000000e+00)
  %118 = getelementptr inbounds i8, ptr %16, i64 8
  %119 = load double, ptr %118, align 8, !tbaa !9
  %120 = getelementptr inbounds i8, ptr %1, i64 8
  %121 = load double, ptr %120, align 8, !tbaa !9
  %122 = call double @llvm.fmuladd.f64(double %119, double %121, double %117)
  %123 = getelementptr inbounds i8, ptr %16, i64 16
  %124 = load double, ptr %123, align 8, !tbaa !9
  %125 = getelementptr inbounds i8, ptr %1, i64 16
  %126 = load double, ptr %125, align 16, !tbaa !9
  %127 = call double @llvm.fmuladd.f64(double %124, double %126, double %122)
  %128 = load i32, ptr %9, align 4, !tbaa !5
  %129 = getelementptr inbounds i8, ptr %9, i64 4
  %130 = load i32, ptr %129, align 4, !tbaa !5
  %131 = icmp slt i32 %128, %130
  br i1 %131, label %.lr.ph, label %.loopexit79

.lr.ph:                                           ; preds = %113
  %132 = fmul double %115, 5.000000e-01
  %133 = sext i32 %128 to i64
  %wide.trip.count = sext i32 %130 to i64
  %134 = sub nsw i64 %wide.trip.count, %133
  %xtraiter = and i64 %134, 1
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %.prol.loopexit, label %.prol.loopexit.unr-lcssa

.prol.loopexit.unr-lcssa:                         ; preds = %.lr.ph
  %135 = getelementptr inbounds [4 x i32], ptr %10, i64 0, i64 %133
  %136 = load i32, ptr %135, align 4, !tbaa !5
  %137 = sext i32 %136 to i64
  %138 = getelementptr inbounds double, ptr %16, i64 %137
  %139 = load double, ptr %138, align 8, !tbaa !9
  %140 = fmul double %132, %139
  %141 = getelementptr inbounds [4 x double], ptr %11, i64 0, i64 %133
  %142 = load double, ptr %141, align 8, !tbaa !9
  %143 = call double @llvm.fmuladd.f64(double %140, double %142, double %127)
  %indvars.iv.next.prol = add nsw i64 %133, 1
  br label %.prol.loopexit

.prol.loopexit:                                   ; preds = %.prol.loopexit.unr-lcssa, %.lr.ph
  %.lcssa85.unr = phi double [ poison, %.lr.ph ], [ %143, %.prol.loopexit.unr-lcssa ]
  %indvars.iv.unr = phi i64 [ %133, %.lr.ph ], [ %indvars.iv.next.prol, %.prol.loopexit.unr-lcssa ]
  %.264.unr = phi double [ %127, %.lr.ph ], [ %143, %.prol.loopexit.unr-lcssa ]
  %144 = add nsw i64 %wide.trip.count, -1
  %145 = icmp eq i64 %144, %133
  br i1 %145, label %.loopexit79, label %.lr.ph.new

.lr.ph.new:                                       ; preds = %.prol.loopexit, %.lr.ph.new
  %indvars.iv = phi i64 [ %indvars.iv.next.188, %.lr.ph.new ], [ %indvars.iv.unr, %.prol.loopexit ]
  %.264 = phi double [ %163, %.lr.ph.new ], [ %.264.unr, %.prol.loopexit ]
  %146 = getelementptr inbounds [4 x i32], ptr %10, i64 0, i64 %indvars.iv
  %147 = load i32, ptr %146, align 4, !tbaa !5
  %148 = sext i32 %147 to i64
  %149 = getelementptr inbounds double, ptr %16, i64 %148
  %150 = load double, ptr %149, align 8, !tbaa !9
  %151 = fmul double %132, %150
  %152 = getelementptr inbounds [4 x double], ptr %11, i64 0, i64 %indvars.iv
  %153 = load double, ptr %152, align 8, !tbaa !9
  %154 = call double @llvm.fmuladd.f64(double %151, double %153, double %.264)
  %indvars.iv.next = add nsw i64 %indvars.iv, 1
  %155 = getelementptr inbounds [4 x i32], ptr %10, i64 0, i64 %indvars.iv.next
  %156 = load i32, ptr %155, align 4, !tbaa !5
  %157 = sext i32 %156 to i64
  %158 = getelementptr inbounds double, ptr %16, i64 %157
  %159 = load double, ptr %158, align 8, !tbaa !9
  %160 = fmul double %132, %159
  %161 = getelementptr inbounds [4 x double], ptr %11, i64 0, i64 %indvars.iv.next
  %162 = load double, ptr %161, align 8, !tbaa !9
  %163 = call double @llvm.fmuladd.f64(double %160, double %162, double %154)
  %indvars.iv.next.188 = add nsw i64 %indvars.iv, 2
  %exitcond.not.1 = icmp eq i64 %indvars.iv.next.188, %wide.trip.count
  br i1 %exitcond.not.1, label %.loopexit79, label %.lr.ph.new, !llvm.loop !11
}

declare i32 @Highs_qpCall(i32 noundef, i32 noundef, 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, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #9

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
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 = { 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 #5 = { 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 #6 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #7 = { 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 #8 = { 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 #9 = { "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 #10 = { nounwind }
attributes #11 = { nounwind allocsize(0) }
attributes #12 = { 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 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}


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