; LLVM IR from james34602/quadprog :: quadprog (quadprog_ineq)

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

%struct.SharedFunctionVariables = type { ptr, ptr, ptr, ptr, i32, i32, ptr, ptr }

@defaultOptions = external dso_local global [13 x double], align 16

; Function Attrs: nounwind uwtable
declare dso_local void @matrix_matrix_product(ptr noundef, ptr noundef, ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, double noundef) #0

; 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 nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #2

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

; Function Attrs: nounwind uwtable
declare dso_local void @matrix_vector_mult(ptr noundef, ptr noundef, ptr noundef, i32 noundef, i32 noundef, double noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local double @obj(ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local void @gobj(ptr noundef, ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local double @pen(ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local void @gpen(ptr noundef, ptr noundef, ptr noundef) #0

; Function Attrs: nounwind
declare double @sqrt(double noundef) #3

; Function Attrs: nounwind uwtable
declare dso_local void @myinvWarm(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, i32 noundef) #0

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

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

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

; Function Attrs: nounwind uwtable
declare dso_local void @DenmanBeaversSqrtm(ptr noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local void @SharedFunctionVariablesInit(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, i32 noundef, i32 noundef) #0

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

; Function Attrs: nounwind uwtable
declare dso_local void @SharedFunctionVariablesFree(ptr noundef) #0

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

; Function Attrs: nounwind uwtable
define dso_local i32 @quadprog_ineq(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, ptr noundef %4, i32 noundef %5, i32 noundef %6, ptr noundef %7, ptr noundef %8) #0 {
  %10 = alloca i32, align 4
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca [13 x double], align 16
  %23 = alloca i32, align 4
  %24 = alloca i64, align 8
  %25 = alloca ptr, align 8
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca ptr, align 8
  %30 = alloca i32, align 4
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca %struct.SharedFunctionVariables, align 8
  %34 = alloca ptr, align 8
  %35 = alloca ptr, align 8
  %36 = alloca ptr, align 8
  %37 = alloca ptr, align 8
  %38 = alloca ptr, align 8
  %39 = alloca ptr, align 8
  %40 = alloca ptr, align 8
  %41 = alloca double, align 8
  %42 = alloca double, align 8
  %43 = alloca double, align 8
  store ptr %0, ptr %11, align 8, !tbaa !5
  store ptr %1, ptr %12, align 8, !tbaa !5
  store ptr %2, ptr %13, align 8, !tbaa !5
  store ptr %3, ptr %14, align 8, !tbaa !5
  store ptr %4, ptr %15, align 8, !tbaa !5
  store i32 %5, ptr %16, align 4, !tbaa !9
  store i32 %6, ptr %17, align 4, !tbaa !9
  store ptr %7, ptr %18, align 8, !tbaa !5
  store ptr %8, ptr %19, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #8
  call void @llvm.lifetime.start.p0(i64 104, ptr %22) #8
  %44 = getelementptr inbounds [13 x double], ptr %22, i64 0, i64 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %44, ptr align 16 @defaultOptions, i64 104, i1 false)
  store i32 0, ptr %20, align 4, !tbaa !9
  br label %45

45:                                               ; preds = %82, %9
  %46 = load i32, ptr %20, align 4, !tbaa !9
  %47 = load i32, ptr %16, align 4, !tbaa !9
  %48 = icmp slt i32 %46, %47
  br i1 %48, label %49, label %85

49:                                               ; preds = %45
  store i32 0, ptr %21, align 4, !tbaa !9
  br label %50

50:                                               ; preds = %78, %49
  %51 = load i32, ptr %21, align 4, !tbaa !9
  %52 = load i32, ptr %16, align 4, !tbaa !9
  %53 = icmp slt i32 %51, %52
  br i1 %53, label %54, label %81

54:                                               ; preds = %50
  %55 = load ptr, ptr %11, align 8, !tbaa !5
  %56 = load i32, ptr %20, align 4, !tbaa !9
  %57 = load i32, ptr %16, align 4, !tbaa !9
  %58 = mul nsw i32 %56, %57
  %59 = load i32, ptr %21, align 4, !tbaa !9
  %60 = add nsw i32 %58, %59
  %61 = sext i32 %60 to i64
  %62 = getelementptr inbounds double, ptr %55, i64 %61
  %63 = load double, ptr %62, align 8, !tbaa !11
  %64 = load ptr, ptr %11, align 8, !tbaa !5
  %65 = load i32, ptr %21, align 4, !tbaa !9
  %66 = load i32, ptr %16, align 4, !tbaa !9
  %67 = mul nsw i32 %65, %66
  %68 = load i32, ptr %20, align 4, !tbaa !9
  %69 = add nsw i32 %67, %68
  %70 = sext i32 %69 to i64
  %71 = getelementptr inbounds double, ptr %64, i64 %70
  %72 = load double, ptr %71, align 8, !tbaa !11
  %73 = fsub double %63, %72
  %74 = call double @llvm.fabs.f64(double %73)
  %75 = fcmp ogt double %74, 0x3CB0000000000000
  br i1 %75, label %76, label %77

76:                                               ; preds = %54
  store i32 -1, ptr %10, align 4
  store i32 1, ptr %23, align 4
  br label %899

77:                                               ; preds = %54
  br label %78

78:                                               ; preds = %77
  %79 = load i32, ptr %21, align 4, !tbaa !9
  %80 = add nsw i32 %79, 1
  store i32 %80, ptr %21, align 4, !tbaa !9
  br label %50, !llvm.loop !13

81:                                               ; preds = %50
  br label %82

82:                                               ; preds = %81
  %83 = load i32, ptr %20, align 4, !tbaa !9
  %84 = add nsw i32 %83, 1
  store i32 %84, ptr %20, align 4, !tbaa !9
  br label %45, !llvm.loop !15

85:                                               ; preds = %45
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #8
  %86 = load i32, ptr %16, align 4, !tbaa !9
  %87 = load i32, ptr %16, align 4, !tbaa !9
  %88 = mul nsw i32 %86, %87
  %89 = load i32, ptr %16, align 4, !tbaa !9
  %90 = add nsw i32 %88, %89
  %91 = load i32, ptr %17, align 4, !tbaa !9
  %92 = add nsw i32 %90, %91
  %93 = load i32, ptr %17, align 4, !tbaa !9
  %94 = add nsw i32 %92, %93
  %95 = load i32, ptr %16, align 4, !tbaa !9
  %96 = add nsw i32 %94, %95
  %97 = load i32, ptr %16, align 4, !tbaa !9
  %98 = load i32, ptr %16, align 4, !tbaa !9
  %99 = mul nsw i32 %97, %98
  %100 = add nsw i32 %96, %99
  %101 = load i32, ptr %17, align 4, !tbaa !9
  %102 = load i32, ptr %16, align 4, !tbaa !9
  %103 = mul nsw i32 %101, %102
  %104 = add nsw i32 %100, %103
  %105 = load i32, ptr %17, align 4, !tbaa !9
  %106 = add nsw i32 %104, %105
  %107 = load i32, ptr %16, align 4, !tbaa !9
  %108 = load i32, ptr %16, align 4, !tbaa !9
  %109 = mul nsw i32 %107, %108
  %110 = add nsw i32 %106, %109
  %111 = sext i32 %110 to i64
  %112 = mul i64 %111, 8
  %113 = load i32, ptr %16, align 4, !tbaa !9
  %114 = load i32, ptr %16, align 4, !tbaa !9
  %115 = mul nsw i32 %113, %114
  %116 = mul nsw i32 %115, 5
  %117 = sext i32 %116 to i64
  %118 = mul i64 %117, 8
  %119 = add i64 %112, %118
  %120 = load i32, ptr %16, align 4, !tbaa !9
  %121 = load i32, ptr %16, align 4, !tbaa !9
  %122 = mul nsw i32 %120, %121
  %123 = mul nsw i32 %122, 2
  %124 = sext i32 %123 to i64
  %125 = mul i64 %124, 4
  %126 = add i64 %119, %125
  store i64 %126, ptr %24, align 8, !tbaa !16
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #8
  %127 = load i64, ptr %24, align 8, !tbaa !16
  %128 = mul i64 %127, 1
  %129 = call noalias ptr @malloc(i64 noundef %128) #9
  store ptr %129, ptr %25, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #8
  %130 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %130, ptr %26, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #8
  %131 = load ptr, ptr %25, align 8, !tbaa !5
  %132 = load i64, ptr %24, align 8, !tbaa !16
  %133 = getelementptr inbounds i8, ptr %131, i64 %132
  %134 = load i32, ptr %16, align 4, !tbaa !9
  %135 = load i32, ptr %16, align 4, !tbaa !9
  %136 = mul nsw i32 %134, %135
  %137 = mul nsw i32 %136, 2
  %138 = sext i32 %137 to i64
  %139 = mul i64 %138, 4
  %140 = sub i64 0, %139
  %141 = getelementptr inbounds i8, ptr %133, i64 %140
  %142 = load i32, ptr %16, align 4, !tbaa !9
  %143 = load i32, ptr %16, align 4, !tbaa !9
  %144 = mul nsw i32 %142, %143
  %145 = sext i32 %144 to i64
  %146 = mul i64 %145, 8
  %147 = sub i64 0, %146
  %148 = getelementptr inbounds i8, ptr %141, i64 %147
  store ptr %148, ptr %27, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #8
  %149 = load ptr, ptr %27, align 8, !tbaa !5
  %150 = load i32, ptr %16, align 4, !tbaa !9
  %151 = load i32, ptr %16, align 4, !tbaa !9
  %152 = mul nsw i32 %150, %151
  %153 = sext i32 %152 to i64
  %154 = getelementptr inbounds double, ptr %149, i64 %153
  store ptr %154, ptr %28, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #8
  %155 = load ptr, ptr %28, align 8, !tbaa !5
  %156 = load i32, ptr %16, align 4, !tbaa !9
  %157 = load i32, ptr %16, align 4, !tbaa !9
  %158 = mul nsw i32 %156, %157
  %159 = sext i32 %158 to i64
  %160 = getelementptr inbounds i32, ptr %155, i64 %159
  store ptr %160, ptr %29, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #8
  store i32 0, ptr %30, align 4, !tbaa !9
  store i32 0, ptr %20, align 4, !tbaa !9
  br label %161

161:                                              ; preds = %179, %85
  %162 = load i32, ptr %20, align 4, !tbaa !9
  %163 = load i32, ptr %16, align 4, !tbaa !9
  %164 = load i32, ptr %16, align 4, !tbaa !9
  %165 = mul nsw i32 %163, %164
  %166 = icmp slt i32 %162, %165
  br i1 %166, label %167, label %182

167:                                              ; preds = %161
  %168 = load ptr, ptr %11, align 8, !tbaa !5
  %169 = load i32, ptr %20, align 4, !tbaa !9
  %170 = sext i32 %169 to i64
  %171 = getelementptr inbounds double, ptr %168, i64 %170
  %172 = load double, ptr %171, align 8, !tbaa !11
  %173 = call double @llvm.fabs.f64(double %172)
  %174 = fcmp ogt double %173, 0.000000e+00
  br i1 %174, label %175, label %178

175:                                              ; preds = %167
  %176 = load i32, ptr %30, align 4, !tbaa !9
  %177 = add nsw i32 %176, 1
  store i32 %177, ptr %30, align 4, !tbaa !9
  br label %178

178:                                              ; preds = %175, %167
  br label %179

179:                                              ; preds = %178
  %180 = load i32, ptr %20, align 4, !tbaa !9
  %181 = add nsw i32 %180, 1
  store i32 %181, ptr %20, align 4, !tbaa !9
  br label %161, !llvm.loop !18

182:                                              ; preds = %161
  %183 = load i32, ptr %30, align 4, !tbaa !9
  %184 = load i32, ptr %16, align 4, !tbaa !9
  %185 = load i32, ptr %16, align 4, !tbaa !9
  %186 = mul nsw i32 %184, %185
  %187 = icmp eq i32 %183, %186
  br i1 %187, label %188, label %195

188:                                              ; preds = %182
  %189 = load ptr, ptr %11, align 8, !tbaa !5
  %190 = load ptr, ptr %26, align 8, !tbaa !5
  %191 = load ptr, ptr %27, align 8, !tbaa !5
  %192 = load ptr, ptr %28, align 8, !tbaa !5
  %193 = load ptr, ptr %29, align 8, !tbaa !5
  %194 = load i32, ptr %16, align 4, !tbaa !9
  call void @myinvWarm(ptr noundef %189, ptr noundef %190, ptr noundef %191, ptr noundef %192, ptr noundef %193, i32 noundef %194)
  br label %203

195:                                              ; preds = %182
  %196 = load ptr, ptr %26, align 8, !tbaa !5
  %197 = load ptr, ptr %11, align 8, !tbaa !5
  %198 = load i32, ptr %16, align 4, !tbaa !9
  %199 = load i32, ptr %16, align 4, !tbaa !9
  %200 = mul nsw i32 %198, %199
  %201 = sext i32 %200 to i64
  %202 = mul i64 %201, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %196, ptr align 8 %197, i64 %202, i1 false)
  br label %203

203:                                              ; preds = %195, %188
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #8
  %204 = load ptr, ptr %26, align 8, !tbaa !5
  %205 = load i32, ptr %16, align 4, !tbaa !9
  %206 = load i32, ptr %16, align 4, !tbaa !9
  %207 = mul nsw i32 %205, %206
  %208 = sext i32 %207 to i64
  %209 = getelementptr inbounds double, ptr %204, i64 %208
  store ptr %209, ptr %31, align 8, !tbaa !5
  %210 = load ptr, ptr %26, align 8, !tbaa !5
  %211 = load ptr, ptr %12, align 8, !tbaa !5
  %212 = load ptr, ptr %31, align 8, !tbaa !5
  %213 = load i32, ptr %16, align 4, !tbaa !9
  %214 = load i32, ptr %16, align 4, !tbaa !9
  call void @matrix_vector_mult(ptr noundef %210, ptr noundef %211, ptr noundef %212, i32 noundef %213, i32 noundef %214, double noundef -1.000000e+00)
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #8
  %215 = load ptr, ptr %31, align 8, !tbaa !5
  %216 = load i32, ptr %16, align 4, !tbaa !9
  %217 = sext i32 %216 to i64
  %218 = getelementptr inbounds double, ptr %215, i64 %217
  store ptr %218, ptr %32, align 8, !tbaa !5
  %219 = load ptr, ptr %13, align 8, !tbaa !5
  %220 = load ptr, ptr %31, align 8, !tbaa !5
  %221 = load ptr, ptr %32, align 8, !tbaa !5
  %222 = load i32, ptr %17, align 4, !tbaa !9
  %223 = load i32, ptr %16, align 4, !tbaa !9
  call void @matrix_vector_mult(ptr noundef %219, ptr noundef %220, ptr noundef %221, i32 noundef %222, i32 noundef %223, double noundef 1.000000e+00)
  store i32 0, ptr %30, align 4, !tbaa !9
  store i32 0, ptr %20, align 4, !tbaa !9
  br label %224

224:                                              ; preds = %244, %203
  %225 = load i32, ptr %20, align 4, !tbaa !9
  %226 = load i32, ptr %17, align 4, !tbaa !9
  %227 = icmp slt i32 %225, %226
  br i1 %227, label %228, label %247

228:                                              ; preds = %224
  %229 = load ptr, ptr %32, align 8, !tbaa !5
  %230 = load i32, ptr %20, align 4, !tbaa !9
  %231 = sext i32 %230 to i64
  %232 = getelementptr inbounds double, ptr %229, i64 %231
  %233 = load double, ptr %232, align 8, !tbaa !11
  %234 = load ptr, ptr %14, align 8, !tbaa !5
  %235 = load i32, ptr %20, align 4, !tbaa !9
  %236 = sext i32 %235 to i64
  %237 = getelementptr inbounds double, ptr %234, i64 %236
  %238 = load double, ptr %237, align 8, !tbaa !11
  %239 = fcmp ole double %233, %238
  br i1 %239, label %240, label %243

240:                                              ; preds = %228
  %241 = load i32, ptr %30, align 4, !tbaa !9
  %242 = add nsw i32 %241, 1
  store i32 %242, ptr %30, align 4, !tbaa !9
  br label %243

243:                                              ; preds = %240, %228
  br label %244

244:                                              ; preds = %243
  %245 = load i32, ptr %20, align 4, !tbaa !9
  %246 = add nsw i32 %245, 1
  store i32 %246, ptr %20, align 4, !tbaa !9
  br label %224, !llvm.loop !19

247:                                              ; preds = %224
  call void @llvm.lifetime.start.p0(i64 56, ptr %33) #8
  call void @llvm.memset.p0.i64(ptr align 8 %33, i8 0, i64 56, i1 false)
  %248 = load i32, ptr %30, align 4, !tbaa !9
  %249 = load i32, ptr %17, align 4, !tbaa !9
  %250 = icmp eq i32 %248, %249
  br i1 %250, label %251, label %267

251:                                              ; preds = %247
  %252 = load ptr, ptr %18, align 8, !tbaa !5
  %253 = load ptr, ptr %31, align 8, !tbaa !5
  %254 = load i32, ptr %16, align 4, !tbaa !9
  %255 = sext i32 %254 to i64
  %256 = mul i64 %255, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %252, ptr align 8 %253, i64 %256, i1 false)
  %257 = load ptr, ptr %11, align 8, !tbaa !5
  %258 = load ptr, ptr %12, align 8, !tbaa !5
  %259 = load ptr, ptr %13, align 8, !tbaa !5
  %260 = load ptr, ptr %14, align 8, !tbaa !5
  %261 = load i32, ptr %16, align 4, !tbaa !9
  %262 = load i32, ptr %17, align 4, !tbaa !9
  call void @SharedFunctionVariablesInit(ptr noundef %33, ptr noundef %257, ptr noundef %258, ptr noundef %259, ptr noundef %260, i32 noundef %261, i32 noundef %262)
  %263 = load ptr, ptr %31, align 8, !tbaa !5
  %264 = call double @obj(ptr noundef %263, ptr noundef %33)
  %265 = load ptr, ptr %19, align 8, !tbaa !5
  store double %264, ptr %265, align 8, !tbaa !11
  call void @SharedFunctionVariablesFree(ptr noundef %33)
  %266 = load ptr, ptr %25, align 8, !tbaa !5
  call void @free(ptr noundef %266) #8
  store i32 0, ptr %10, align 4
  store i32 1, ptr %23, align 4
  br label %898

267:                                              ; preds = %247
  %268 = load ptr, ptr %15, align 8, !tbaa !5
  %269 = icmp ne ptr %268, null
  br i1 %269, label %291, label %270

270:                                              ; preds = %267
  store i32 0, ptr %20, align 4, !tbaa !9
  br label %271

271:                                              ; preds = %287, %270
  %272 = load i32, ptr %20, align 4, !tbaa !9
  %273 = load i32, ptr %16, align 4, !tbaa !9
  %274 = icmp slt i32 %272, %273
  br i1 %274, label %275, label %290

275:                                              ; preds = %271
  %276 = load ptr, ptr %31, align 8, !tbaa !5
  %277 = load i32, ptr %20, align 4, !tbaa !9
  %278 = sext i32 %277 to i64
  %279 = getelementptr inbounds double, ptr %276, i64 %278
  %280 = load double, ptr %279, align 8, !tbaa !11
  %281 = call double @genrand_res53()
  %282 = call double @llvm.fmuladd.f64(double %281, double 5.000000e-01, double %280)
  %283 = load ptr, ptr %18, align 8, !tbaa !5
  %284 = load i32, ptr %20, align 4, !tbaa !9
  %285 = sext i32 %284 to i64
  %286 = getelementptr inbounds double, ptr %283, i64 %285
  store double %282, ptr %286, align 8, !tbaa !11
  br label %287

287:                                              ; preds = %275
  %288 = load i32, ptr %20, align 4, !tbaa !9
  %289 = add nsw i32 %288, 1
  store i32 %289, ptr %20, align 4, !tbaa !9
  br label %271, !llvm.loop !20

290:                                              ; preds = %271
  br label %297

291:                                              ; preds = %267
  %292 = load ptr, ptr %18, align 8, !tbaa !5
  %293 = load ptr, ptr %15, align 8, !tbaa !5
  %294 = load i32, ptr %16, align 4, !tbaa !9
  %295 = sext i32 %294 to i64
  %296 = mul i64 %295, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %292, ptr align 8 %293, i64 %296, i1 false)
  br label %297

297:                                              ; preds = %291, %290
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #8
  %298 = load ptr, ptr %32, align 8, !tbaa !5
  %299 = load i32, ptr %17, align 4, !tbaa !9
  %300 = sext i32 %299 to i64
  %301 = getelementptr inbounds double, ptr %298, i64 %300
  store ptr %301, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #8
  %302 = load ptr, ptr %34, align 8, !tbaa !5
  %303 = load i32, ptr %17, align 4, !tbaa !9
  %304 = sext i32 %303 to i64
  %305 = getelementptr inbounds double, ptr %302, i64 %304
  store ptr %305, ptr %35, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #8
  %306 = load ptr, ptr %35, align 8, !tbaa !5
  %307 = load i32, ptr %16, align 4, !tbaa !9
  %308 = sext i32 %307 to i64
  %309 = getelementptr inbounds double, ptr %306, i64 %308
  store ptr %309, ptr %36, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #8
  %310 = load ptr, ptr %36, align 8, !tbaa !5
  %311 = load i32, ptr %16, align 4, !tbaa !9
  %312 = load i32, ptr %16, align 4, !tbaa !9
  %313 = mul nsw i32 %311, %312
  %314 = sext i32 %313 to i64
  %315 = getelementptr inbounds double, ptr %310, i64 %314
  store ptr %315, ptr %37, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #8
  %316 = load ptr, ptr %37, align 8, !tbaa !5
  %317 = load i32, ptr %17, align 4, !tbaa !9
  %318 = load i32, ptr %16, align 4, !tbaa !9
  %319 = mul nsw i32 %317, %318
  %320 = sext i32 %319 to i64
  %321 = getelementptr inbounds double, ptr %316, i64 %320
  store ptr %321, ptr %38, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #8
  %322 = load ptr, ptr %38, align 8, !tbaa !5
  %323 = load i32, ptr %17, align 4, !tbaa !9
  %324 = sext i32 %323 to i64
  %325 = getelementptr inbounds double, ptr %322, i64 %324
  store ptr %325, ptr %39, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #8
  %326 = load ptr, ptr %39, align 8, !tbaa !5
  %327 = load i32, ptr %16, align 4, !tbaa !9
  %328 = load i32, ptr %16, align 4, !tbaa !9
  %329 = mul nsw i32 %327, %328
  %330 = sext i32 %329 to i64
  %331 = getelementptr inbounds double, ptr %326, i64 %330
  store ptr %331, ptr %40, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #8
  %332 = load i32, ptr %16, align 4, !tbaa !9
  %333 = icmp sge i32 %332, 10
  br i1 %333, label %334, label %750

334:                                              ; preds = %297
  store i32 0, ptr %20, align 4, !tbaa !9
  br label %335

335:                                              ; preds = %355, %334
  %336 = load i32, ptr %20, align 4, !tbaa !9
  %337 = load i32, ptr %16, align 4, !tbaa !9
  %338 = icmp slt i32 %336, %337
  br i1 %338, label %339, label %358

339:                                              ; preds = %335
  %340 = load ptr, ptr %14, align 8, !tbaa !5
  %341 = load i32, ptr %20, align 4, !tbaa !9
  %342 = sext i32 %341 to i64
  %343 = getelementptr inbounds double, ptr %340, i64 %342
  %344 = load double, ptr %343, align 8, !tbaa !11
  %345 = load ptr, ptr %32, align 8, !tbaa !5
  %346 = load i32, ptr %20, align 4, !tbaa !9
  %347 = sext i32 %346 to i64
  %348 = getelementptr inbounds double, ptr %345, i64 %347
  %349 = load double, ptr %348, align 8, !tbaa !11
  %350 = fsub double %344, %349
  %351 = load ptr, ptr %34, align 8, !tbaa !5
  %352 = load i32, ptr %20, align 4, !tbaa !9
  %353 = sext i32 %352 to i64
  %354 = getelementptr inbounds double, ptr %351, i64 %353
  store double %350, ptr %354, align 8, !tbaa !11
  br label %355

355:                                              ; preds = %339
  %356 = load i32, ptr %20, align 4, !tbaa !9
  %357 = add nsw i32 %356, 1
  store i32 %357, ptr %20, align 4, !tbaa !9
  br label %335, !llvm.loop !21

358:                                              ; preds = %335
  %359 = load ptr, ptr %35, align 8, !tbaa !5
  %360 = load i32, ptr %16, align 4, !tbaa !9
  %361 = sext i32 %360 to i64
  %362 = mul i64 %361, 8
  call void @llvm.memset.p0.i64(ptr align 8 %359, i8 0, i64 %362, i1 false)
  %363 = load ptr, ptr %26, align 8, !tbaa !5
  %364 = load i32, ptr %16, align 4, !tbaa !9
  %365 = load ptr, ptr %36, align 8, !tbaa !5
  %366 = load ptr, ptr %40, align 8, !tbaa !5
  call void @DenmanBeaversSqrtm(ptr noundef %363, i32 noundef %364, i32 noundef 50, ptr noundef %365, ptr noundef %366)
  %367 = load ptr, ptr %13, align 8, !tbaa !5
  %368 = load ptr, ptr %36, align 8, !tbaa !5
  %369 = load ptr, ptr %37, align 8, !tbaa !5
  %370 = load i32, ptr %17, align 4, !tbaa !9
  %371 = load i32, ptr %16, align 4, !tbaa !9
  %372 = load i32, ptr %16, align 4, !tbaa !9
  %373 = load i32, ptr %16, align 4, !tbaa !9
  call void @matrix_matrix_product(ptr noundef %367, ptr noundef %368, ptr noundef %369, i32 noundef %370, i32 noundef %371, i32 noundef %372, i32 noundef %373, double noundef 1.000000e+00)
  store i32 0, ptr %20, align 4, !tbaa !9
  br label %374

374:                                              ; preds = %414, %358
  %375 = load i32, ptr %20, align 4, !tbaa !9
  %376 = load i32, ptr %17, align 4, !tbaa !9
  %377 = icmp slt i32 %375, %376
  br i1 %377, label %378, label %417

378:                                              ; preds = %374
  store double 0.000000e+00, ptr %41, align 8, !tbaa !11
  store i32 0, ptr %21, align 4, !tbaa !9
  br label %379

379:                                              ; preds = %404, %378
  %380 = load i32, ptr %21, align 4, !tbaa !9
  %381 = load i32, ptr %16, align 4, !tbaa !9
  %382 = icmp slt i32 %380, %381
  br i1 %382, label %383, label %407

383:                                              ; preds = %379
  %384 = load ptr, ptr %37, align 8, !tbaa !5
  %385 = load i32, ptr %20, align 4, !tbaa !9
  %386 = load i32, ptr %16, align 4, !tbaa !9
  %387 = mul nsw i32 %385, %386
  %388 = load i32, ptr %21, align 4, !tbaa !9
  %389 = add nsw i32 %387, %388
  %390 = sext i32 %389 to i64
  %391 = getelementptr inbounds double, ptr %384, i64 %390
  %392 = load double, ptr %391, align 8, !tbaa !11
  %393 = load ptr, ptr %37, align 8, !tbaa !5
  %394 = load i32, ptr %20, align 4, !tbaa !9
  %395 = load i32, ptr %16, align 4, !tbaa !9
  %396 = mul nsw i32 %394, %395
  %397 = load i32, ptr %21, align 4, !tbaa !9
  %398 = add nsw i32 %396, %397
  %399 = sext i32 %398 to i64
  %400 = getelementptr inbounds double, ptr %393, i64 %399
  %401 = load double, ptr %400, align 8, !tbaa !11
  %402 = load double, ptr %41, align 8, !tbaa !11
  %403 = call double @llvm.fmuladd.f64(double %392, double %401, double %402)
  store double %403, ptr %41, align 8, !tbaa !11
  br label %404

404:                                              ; preds = %383
  %405 = load i32, ptr %21, align 4, !tbaa !9
  %406 = add nsw i32 %405, 1
  store i32 %406, ptr %21, align 4, !tbaa !9
  br label %379, !llvm.loop !22

407:                                              ; preds = %379
  %408 = load double, ptr %41, align 8, !tbaa !11
  %409 = call double @sqrt(double noundef %408) #8
  %410 = load ptr, ptr %38, align 8, !tbaa !5
  %411 = load i32, ptr %20, align 4, !tbaa !9
  %412 = sext i32 %411 to i64
  %413 = getelementptr inbounds double, ptr %410, i64 %412
  store double %409, ptr %413, align 8, !tbaa !11
  br label %414

414:                                              ; preds = %407
  %415 = load i32, ptr %20, align 4, !tbaa !9
  %416 = add nsw i32 %415, 1
  store i32 %416, ptr %20, align 4, !tbaa !9
  br label %374, !llvm.loop !23

417:                                              ; preds = %374
  store i32 0, ptr %20, align 4, !tbaa !9
  br label %418

418:                                              ; preds = %470, %417
  %419 = load i32, ptr %20, align 4, !tbaa !9
  %420 = load i32, ptr %17, align 4, !tbaa !9
  %421 = icmp slt i32 %419, %420
  br i1 %421, label %422, label %473

422:                                              ; preds = %418
  store i32 0, ptr %21, align 4, !tbaa !9
  br label %423

423:                                              ; preds = %451, %422
  %424 = load i32, ptr %21, align 4, !tbaa !9
  %425 = load i32, ptr %16, align 4, !tbaa !9
  %426 = icmp slt i32 %424, %425
  br i1 %426, label %427, label %454

427:                                              ; preds = %423
  %428 = load ptr, ptr %37, align 8, !tbaa !5
  %429 = load i32, ptr %20, align 4, !tbaa !9
  %430 = load i32, ptr %16, align 4, !tbaa !9
  %431 = mul nsw i32 %429, %430
  %432 = load i32, ptr %21, align 4, !tbaa !9
  %433 = add nsw i32 %431, %432
  %434 = sext i32 %433 to i64
  %435 = getelementptr inbounds double, ptr %428, i64 %434
  %436 = load double, ptr %435, align 8, !tbaa !11
  %437 = load ptr, ptr %38, align 8, !tbaa !5
  %438 = load i32, ptr %20, align 4, !tbaa !9
  %439 = sext i32 %438 to i64
  %440 = getelementptr inbounds double, ptr %437, i64 %439
  %441 = load double, ptr %440, align 8, !tbaa !11
  %442 = fdiv double %436, %441
  %443 = load ptr, ptr %37, align 8, !tbaa !5
  %444 = load i32, ptr %20, align 4, !tbaa !9
  %445 = load i32, ptr %16, align 4, !tbaa !9
  %446 = mul nsw i32 %444, %445
  %447 = load i32, ptr %21, align 4, !tbaa !9
  %448 = add nsw i32 %446, %447
  %449 = sext i32 %448 to i64
  %450 = getelementptr inbounds double, ptr %443, i64 %449
  store double %442, ptr %450, align 8, !tbaa !11
  br label %451

451:                                              ; preds = %427
  %452 = load i32, ptr %21, align 4, !tbaa !9
  %453 = add nsw i32 %452, 1
  store i32 %453, ptr %21, align 4, !tbaa !9
  br label %423, !llvm.loop !24

454:                                              ; preds = %423
  %455 = load ptr, ptr %34, align 8, !tbaa !5
  %456 = load i32, ptr %20, align 4, !tbaa !9
  %457 = sext i32 %456 to i64
  %458 = getelementptr inbounds double, ptr %455, i64 %457
  %459 = load double, ptr %458, align 8, !tbaa !11
  %460 = load ptr, ptr %38, align 8, !tbaa !5
  %461 = load i32, ptr %20, align 4, !tbaa !9
  %462 = sext i32 %461 to i64
  %463 = getelementptr inbounds double, ptr %460, i64 %462
  %464 = load double, ptr %463, align 8, !tbaa !11
  %465 = fdiv double %459, %464
  %466 = load ptr, ptr %34, align 8, !tbaa !5
  %467 = load i32, ptr %20, align 4, !tbaa !9
  %468 = sext i32 %467 to i64
  %469 = getelementptr inbounds double, ptr %466, i64 %468
  store double %465, ptr %469, align 8, !tbaa !11
  br label %470

470:                                              ; preds = %454
  %471 = load i32, ptr %20, align 4, !tbaa !9
  %472 = add nsw i32 %471, 1
  store i32 %472, ptr %20, align 4, !tbaa !9
  br label %418, !llvm.loop !25

473:                                              ; preds = %418
  %474 = load ptr, ptr %39, align 8, !tbaa !5
  %475 = load i32, ptr %16, align 4, !tbaa !9
  %476 = load i32, ptr %16, align 4, !tbaa !9
  %477 = mul nsw i32 %475, %476
  %478 = sext i32 %477 to i64
  %479 = mul i64 %478, 8
  call void @llvm.memset.p0.i64(ptr align 8 %474, i8 0, i64 %479, i1 false)
  store i32 0, ptr %20, align 4, !tbaa !9
  br label %480

480:                                              ; preds = %493, %473
  %481 = load i32, ptr %20, align 4, !tbaa !9
  %482 = load i32, ptr %16, align 4, !tbaa !9
  %483 = icmp slt i32 %481, %482
  br i1 %483, label %484, label %496

484:                                              ; preds = %480
  %485 = load ptr, ptr %39, align 8, !tbaa !5
  %486 = load i32, ptr %20, align 4, !tbaa !9
  %487 = load i32, ptr %16, align 4, !tbaa !9
  %488 = mul nsw i32 %486, %487
  %489 = load i32, ptr %20, align 4, !tbaa !9
  %490 = add nsw i32 %488, %489
  %491 = sext i32 %490 to i64
  %492 = getelementptr inbounds double, ptr %485, i64 %491
  store double 1.000000e+00, ptr %492, align 8, !tbaa !11
  br label %493

493:                                              ; preds = %484
  %494 = load i32, ptr %20, align 4, !tbaa !9
  %495 = add nsw i32 %494, 1
  store i32 %495, ptr %20, align 4, !tbaa !9
  br label %480, !llvm.loop !26

496:                                              ; preds = %480
  %497 = load ptr, ptr %39, align 8, !tbaa !5
  %498 = load ptr, ptr %35, align 8, !tbaa !5
  %499 = load ptr, ptr %37, align 8, !tbaa !5
  %500 = load ptr, ptr %34, align 8, !tbaa !5
  %501 = load i32, ptr %16, align 4, !tbaa !9
  %502 = load i32, ptr %17, align 4, !tbaa !9
  call void @SharedFunctionVariablesInit(ptr noundef %33, ptr noundef %497, ptr noundef %498, ptr noundef %499, ptr noundef %500, i32 noundef %501, i32 noundef %502)
  %503 = getelementptr inbounds [13 x double], ptr %22, i64 0, i64 5
  %504 = load double, ptr %503, align 8, !tbaa !11
  %505 = fmul double %504, 1.000000e-01
  store double %505, ptr %503, align 8, !tbaa !11
  %506 = load i32, ptr %16, align 4, !tbaa !9
  %507 = load ptr, ptr %18, align 8, !tbaa !5
  %508 = getelementptr inbounds [13 x double], ptr %22, i64 0, i64 0
  %509 = call double @solvopt(i32 noundef %506, ptr noundef %507, ptr noundef @obj, ptr noundef @gobj, ptr noundef %508, ptr noundef @pen, ptr noundef @gpen, ptr noundef %33)
  %510 = load ptr, ptr %36, align 8, !tbaa !5
  %511 = load ptr, ptr %18, align 8, !tbaa !5
  %512 = load ptr, ptr %35, align 8, !tbaa !5
  %513 = load i32, ptr %16, align 4, !tbaa !9
  %514 = load i32, ptr %16, align 4, !tbaa !9
  call void @matrix_vector_mult(ptr noundef %510, ptr noundef %511, ptr noundef %512, i32 noundef %513, i32 noundef %514, double noundef 1.000000e+00)
  store i32 0, ptr %20, align 4, !tbaa !9
  br label %515

515:                                              ; preds = %535, %496
  %516 = load i32, ptr %20, align 4, !tbaa !9
  %517 = load i32, ptr %16, align 4, !tbaa !9
  %518 = icmp slt i32 %516, %517
  br i1 %518, label %519, label %538

519:                                              ; preds = %515
  %520 = load ptr, ptr %35, align 8, !tbaa !5
  %521 = load i32, ptr %20, align 4, !tbaa !9
  %522 = sext i32 %521 to i64
  %523 = getelementptr inbounds double, ptr %520, i64 %522
  %524 = load double, ptr %523, align 8, !tbaa !11
  %525 = load ptr, ptr %31, align 8, !tbaa !5
  %526 = load i32, ptr %20, align 4, !tbaa !9
  %527 = sext i32 %526 to i64
  %528 = getelementptr inbounds double, ptr %525, i64 %527
  %529 = load double, ptr %528, align 8, !tbaa !11
  %530 = fadd double %524, %529
  %531 = load ptr, ptr %18, align 8, !tbaa !5
  %532 = load i32, ptr %20, align 4, !tbaa !9
  %533 = sext i32 %532 to i64
  %534 = getelementptr inbounds double, ptr %531, i64 %533
  store double %530, ptr %534, align 8, !tbaa !11
  br label %535

535:                                              ; preds = %519
  %536 = load i32, ptr %20, align 4, !tbaa !9
  %537 = add nsw i32 %536, 1
  store i32 %537, ptr %20, align 4, !tbaa !9
  br label %515, !llvm.loop !27

538:                                              ; preds = %515
  %539 = load ptr, ptr %11, align 8, !tbaa !5
  %540 = getelementptr inbounds %struct.SharedFunctionVariables, ptr %33, i32 0, i32 0
  store ptr %539, ptr %540, align 8, !tbaa !28
  %541 = load ptr, ptr %12, align 8, !tbaa !5
  %542 = getelementptr inbounds %struct.SharedFunctionVariables, ptr %33, i32 0, i32 1
  store ptr %541, ptr %542, align 8, !tbaa !30
  %543 = load ptr, ptr %18, align 8, !tbaa !5
  %544 = call double @obj(ptr noundef %543, ptr noundef %33)
  %545 = load ptr, ptr %19, align 8, !tbaa !5
  store double %544, ptr %545, align 8, !tbaa !11
  %546 = load ptr, ptr %13, align 8, !tbaa !5
  %547 = load ptr, ptr %18, align 8, !tbaa !5
  %548 = load ptr, ptr %34, align 8, !tbaa !5
  %549 = load i32, ptr %17, align 4, !tbaa !9
  %550 = load i32, ptr %16, align 4, !tbaa !9
  call void @matrix_vector_mult(ptr noundef %546, ptr noundef %547, ptr noundef %548, i32 noundef %549, i32 noundef %550, double noundef 1.000000e+00)
  store i32 0, ptr %20, align 4, !tbaa !9
  br label %551

551:                                              ; preds = %567, %538
  %552 = load i32, ptr %20, align 4, !tbaa !9
  %553 = load i32, ptr %17, align 4, !tbaa !9
  %554 = icmp slt i32 %552, %553
  br i1 %554, label %555, label %570

555:                                              ; preds = %551
  %556 = load ptr, ptr %14, align 8, !tbaa !5
  %557 = load i32, ptr %20, align 4, !tbaa !9
  %558 = sext i32 %557 to i64
  %559 = getelementptr inbounds double, ptr %556, i64 %558
  %560 = load double, ptr %559, align 8, !tbaa !11
  %561 = load ptr, ptr %34, align 8, !tbaa !5
  %562 = load i32, ptr %20, align 4, !tbaa !9
  %563 = sext i32 %562 to i64
  %564 = getelementptr inbounds double, ptr %561, i64 %563
  %565 = load double, ptr %564, align 8, !tbaa !11
  %566 = fsub double %565, %560
  store double %566, ptr %564, align 8, !tbaa !11
  br label %567

567:                                              ; preds = %555
  %568 = load i32, ptr %20, align 4, !tbaa !9
  %569 = add nsw i32 %568, 1
  store i32 %569, ptr %20, align 4, !tbaa !9
  br label %551, !llvm.loop !31

570:                                              ; preds = %551
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #8
  %571 = load ptr, ptr %34, align 8, !tbaa !5
  %572 = getelementptr inbounds double, ptr %571, i64 0
  %573 = load double, ptr %572, align 8, !tbaa !11
  store double %573, ptr %42, align 8, !tbaa !11
  store i32 1, ptr %20, align 4, !tbaa !9
  br label %574

574:                                              ; preds = %593, %570
  %575 = load i32, ptr %20, align 4, !tbaa !9
  %576 = load i32, ptr %17, align 4, !tbaa !9
  %577 = icmp slt i32 %575, %576
  br i1 %577, label %578, label %596

578:                                              ; preds = %574
  %579 = load ptr, ptr %34, align 8, !tbaa !5
  %580 = load i32, ptr %20, align 4, !tbaa !9
  %581 = sext i32 %580 to i64
  %582 = getelementptr inbounds double, ptr %579, i64 %581
  %583 = load double, ptr %582, align 8, !tbaa !11
  %584 = load double, ptr %42, align 8, !tbaa !11
  %585 = fcmp ogt double %583, %584
  br i1 %585, label %586, label %592

586:                                              ; preds = %578
  %587 = load ptr, ptr %34, align 8, !tbaa !5
  %588 = load i32, ptr %20, align 4, !tbaa !9
  %589 = sext i32 %588 to i64
  %590 = getelementptr inbounds double, ptr %587, i64 %589
  %591 = load double, ptr %590, align 8, !tbaa !11
  store double %591, ptr %42, align 8, !tbaa !11
  br label %592

592:                                              ; preds = %586, %578
  br label %593

593:                                              ; preds = %592
  %594 = load i32, ptr %20, align 4, !tbaa !9
  %595 = add nsw i32 %594, 1
  store i32 %595, ptr %20, align 4, !tbaa !9
  br label %574, !llvm.loop !32

596:                                              ; preds = %574
  %597 = load double, ptr %42, align 8, !tbaa !11
  %598 = fcmp olt double %597, 0x3CB0000000000000
  br i1 %598, label %599, label %601

599:                                              ; preds = %596
  call void @SharedFunctionVariablesFree(ptr noundef %33)
  %600 = load ptr, ptr %25, align 8, !tbaa !5
  call void @free(ptr noundef %600) #8
  store i32 0, ptr %10, align 4
  store i32 1, ptr %23, align 4
  br label %749

601:                                              ; preds = %596
  %602 = load ptr, ptr %13, align 8, !tbaa !5
  %603 = getelementptr inbounds %struct.SharedFunctionVariables, ptr %33, i32 0, i32 2
  store ptr %602, ptr %603, align 8, !tbaa !33
  %604 = load ptr, ptr %14, align 8, !tbaa !5
  %605 = getelementptr inbounds %struct.SharedFunctionVariables, ptr %33, i32 0, i32 3
  store ptr %604, ptr %605, align 8, !tbaa !34
  %606 = getelementptr inbounds [13 x double], ptr %22, i64 0, i64 5
  %607 = load double, ptr %606, align 8, !tbaa !11
  %608 = fmul double %607, 1.000000e-01
  store double %608, ptr %606, align 8, !tbaa !11
  %609 = load i32, ptr %16, align 4, !tbaa !9
  %610 = load ptr, ptr %18, align 8, !tbaa !5
  %611 = getelementptr inbounds [13 x double], ptr %22, i64 0, i64 0
  %612 = call double @solvopt(i32 noundef %609, ptr noundef %610, ptr noundef @obj, ptr noundef @gobj, ptr noundef %611, ptr noundef @pen, ptr noundef @gpen, ptr noundef %33)
  %613 = load ptr, ptr %19, align 8, !tbaa !5
  store double %612, ptr %613, align 8, !tbaa !11
  %614 = load ptr, ptr %13, align 8, !tbaa !5
  %615 = load ptr, ptr %18, align 8, !tbaa !5
  %616 = load ptr, ptr %34, align 8, !tbaa !5
  %617 = load i32, ptr %17, align 4, !tbaa !9
  %618 = load i32, ptr %16, align 4, !tbaa !9
  call void @matrix_vector_mult(ptr noundef %614, ptr noundef %615, ptr noundef %616, i32 noundef %617, i32 noundef %618, double noundef 1.000000e+00)
  store i32 0, ptr %20, align 4, !tbaa !9
  br label %619

619:                                              ; preds = %635, %601
  %620 = load i32, ptr %20, align 4, !tbaa !9
  %621 = load i32, ptr %17, align 4, !tbaa !9
  %622 = icmp slt i32 %620, %621
  br i1 %622, label %623, label %638

623:                                              ; preds = %619
  %624 = load ptr, ptr %14, align 8, !tbaa !5
  %625 = load i32, ptr %20, align 4, !tbaa !9
  %626 = sext i32 %625 to i64
  %627 = getelementptr inbounds double, ptr %624, i64 %626
  %628 = load double, ptr %627, align 8, !tbaa !11
  %629 = load ptr, ptr %34, align 8, !tbaa !5
  %630 = load i32, ptr %20, align 4, !tbaa !9
  %631 = sext i32 %630 to i64
  %632 = getelementptr inbounds double, ptr %629, i64 %631
  %633 = load double, ptr %632, align 8, !tbaa !11
  %634 = fsub double %633, %628
  store double %634, ptr %632, align 8, !tbaa !11
  br label %635

635:                                              ; preds = %623
  %636 = load i32, ptr %20, align 4, !tbaa !9
  %637 = add nsw i32 %636, 1
  store i32 %637, ptr %20, align 4, !tbaa !9
  br label %619, !llvm.loop !35

638:                                              ; preds = %619
  %639 = load ptr, ptr %34, align 8, !tbaa !5
  %640 = getelementptr inbounds double, ptr %639, i64 0
  %641 = load double, ptr %640, align 8, !tbaa !11
  store double %641, ptr %42, align 8, !tbaa !11
  store i32 1, ptr %20, align 4, !tbaa !9
  br label %642

642:                                              ; preds = %661, %638
  %643 = load i32, ptr %20, align 4, !tbaa !9
  %644 = load i32, ptr %17, align 4, !tbaa !9
  %645 = icmp slt i32 %643, %644
  br i1 %645, label %646, label %664

646:                                              ; preds = %642
  %647 = load ptr, ptr %34, align 8, !tbaa !5
  %648 = load i32, ptr %20, align 4, !tbaa !9
  %649 = sext i32 %648 to i64
  %650 = getelementptr inbounds double, ptr %647, i64 %649
  %651 = load double, ptr %650, align 8, !tbaa !11
  %652 = load double, ptr %42, align 8, !tbaa !11
  %653 = fcmp ogt double %651, %652
  br i1 %653, label %654, label %660

654:                                              ; preds = %646
  %655 = load ptr, ptr %34, align 8, !tbaa !5
  %656 = load i32, ptr %20, align 4, !tbaa !9
  %657 = sext i32 %656 to i64
  %658 = getelementptr inbounds double, ptr %655, i64 %657
  %659 = load double, ptr %658, align 8, !tbaa !11
  store double %659, ptr %42, align 8, !tbaa !11
  br label %660

660:                                              ; preds = %654, %646
  br label %661

661:                                              ; preds = %660
  %662 = load i32, ptr %20, align 4, !tbaa !9
  %663 = add nsw i32 %662, 1
  store i32 %663, ptr %20, align 4, !tbaa !9
  br label %642, !llvm.loop !36

664:                                              ; preds = %642
  br label %665

665:                                              ; preds = %746, %664
  %666 = load double, ptr %42, align 8, !tbaa !11
  %667 = getelementptr inbounds [13 x double], ptr %22, i64 0, i64 5
  %668 = load double, ptr %667, align 8, !tbaa !11
  %669 = fcmp ogt double %666, %668
  br i1 %669, label %670, label %747

670:                                              ; preds = %665
  store i32 0, ptr %20, align 4, !tbaa !9
  br label %671

671:                                              ; preds = %687, %670
  %672 = load i32, ptr %20, align 4, !tbaa !9
  %673 = load i32, ptr %16, align 4, !tbaa !9
  %674 = icmp slt i32 %672, %673
  br i1 %674, label %675, label %690

675:                                              ; preds = %671
  %676 = load ptr, ptr %31, align 8, !tbaa !5
  %677 = load i32, ptr %20, align 4, !tbaa !9
  %678 = sext i32 %677 to i64
  %679 = getelementptr inbounds double, ptr %676, i64 %678
  %680 = load double, ptr %679, align 8, !tbaa !11
  %681 = call double @genrand_res53()
  %682 = call double @llvm.fmuladd.f64(double %681, double 5.000000e-01, double %680)
  %683 = load ptr, ptr %18, align 8, !tbaa !5
  %684 = load i32, ptr %20, align 4, !tbaa !9
  %685 = sext i32 %684 to i64
  %686 = getelementptr inbounds double, ptr %683, i64 %685
  store double %682, ptr %686, align 8, !tbaa !11
  br label %687

687:                                              ; preds = %675
  %688 = load i32, ptr %20, align 4, !tbaa !9
  %689 = add nsw i32 %688, 1
  store i32 %689, ptr %20, align 4, !tbaa !9
  br label %671, !llvm.loop !37

690:                                              ; preds = %671
  %691 = load i32, ptr %16, align 4, !tbaa !9
  %692 = load ptr, ptr %18, align 8, !tbaa !5
  %693 = getelementptr inbounds [13 x double], ptr %22, i64 0, i64 0
  %694 = call double @solvopt(i32 noundef %691, ptr noundef %692, ptr noundef @obj, ptr noundef @gobj, ptr noundef %693, ptr noundef @pen, ptr noundef @gpen, ptr noundef %33)
  %695 = load ptr, ptr %19, align 8, !tbaa !5
  store double %694, ptr %695, align 8, !tbaa !11
  %696 = load ptr, ptr %13, align 8, !tbaa !5
  %697 = load ptr, ptr %18, align 8, !tbaa !5
  %698 = load ptr, ptr %34, align 8, !tbaa !5
  %699 = load i32, ptr %17, align 4, !tbaa !9
  %700 = load i32, ptr %16, align 4, !tbaa !9
  call void @matrix_vector_mult(ptr noundef %696, ptr noundef %697, ptr noundef %698, i32 noundef %699, i32 noundef %700, double noundef 1.000000e+00)
  store i32 0, ptr %20, align 4, !tbaa !9
  br label %701

701:                                              ; preds = %717, %690
  %702 = load i32, ptr %20, align 4, !tbaa !9
  %703 = load i32, ptr %17, align 4, !tbaa !9
  %704 = icmp slt i32 %702, %703
  br i1 %704, label %705, label %720

705:                                              ; preds = %701
  %706 = load ptr, ptr %14, align 8, !tbaa !5
  %707 = load i32, ptr %20, align 4, !tbaa !9
  %708 = sext i32 %707 to i64
  %709 = getelementptr inbounds double, ptr %706, i64 %708
  %710 = load double, ptr %709, align 8, !tbaa !11
  %711 = load ptr, ptr %34, align 8, !tbaa !5
  %712 = load i32, ptr %20, align 4, !tbaa !9
  %713 = sext i32 %712 to i64
  %714 = getelementptr inbounds double, ptr %711, i64 %713
  %715 = load double, ptr %714, align 8, !tbaa !11
  %716 = fsub double %715, %710
  store double %716, ptr %714, align 8, !tbaa !11
  br label %717

717:                                              ; preds = %705
  %718 = load i32, ptr %20, align 4, !tbaa !9
  %719 = add nsw i32 %718, 1
  store i32 %719, ptr %20, align 4, !tbaa !9
  br label %701, !llvm.loop !38

720:                                              ; preds = %701
  %721 = load ptr, ptr %34, align 8, !tbaa !5
  %722 = getelementptr inbounds double, ptr %721, i64 0
  %723 = load double, ptr %722, align 8, !tbaa !11
  store double %723, ptr %42, align 8, !tbaa !11
  store i32 1, ptr %20, align 4, !tbaa !9
  br label %724

724:                                              ; preds = %743, %720
  %725 = load i32, ptr %20, align 4, !tbaa !9
  %726 = load i32, ptr %17, align 4, !tbaa !9
  %727 = icmp slt i32 %725, %726
  br i1 %727, label %728, label %746

728:                                              ; preds = %724
  %729 = load ptr, ptr %34, align 8, !tbaa !5
  %730 = load i32, ptr %20, align 4, !tbaa !9
  %731 = sext i32 %730 to i64
  %732 = getelementptr inbounds double, ptr %729, i64 %731
  %733 = load double, ptr %732, align 8, !tbaa !11
  %734 = load double, ptr %42, align 8, !tbaa !11
  %735 = fcmp ogt double %733, %734
  br i1 %735, label %736, label %742

736:                                              ; preds = %728
  %737 = load ptr, ptr %34, align 8, !tbaa !5
  %738 = load i32, ptr %20, align 4, !tbaa !9
  %739 = sext i32 %738 to i64
  %740 = getelementptr inbounds double, ptr %737, i64 %739
  %741 = load double, ptr %740, align 8, !tbaa !11
  store double %741, ptr %42, align 8, !tbaa !11
  br label %742

742:                                              ; preds = %736, %728
  br label %743

743:                                              ; preds = %742
  %744 = load i32, ptr %20, align 4, !tbaa !9
  %745 = add nsw i32 %744, 1
  store i32 %745, ptr %20, align 4, !tbaa !9
  br label %724, !llvm.loop !39

746:                                              ; preds = %724
  br label %665, !llvm.loop !40

747:                                              ; preds = %665
  call void @SharedFunctionVariablesFree(ptr noundef %33)
  %748 = load ptr, ptr %25, align 8, !tbaa !5
  call void @free(ptr noundef %748) #8
  store i32 0, ptr %10, align 4
  store i32 1, ptr %23, align 4
  br label %749

749:                                              ; preds = %747, %599
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #8
  br label %897

750:                                              ; preds = %297
  %751 = load ptr, ptr %11, align 8, !tbaa !5
  %752 = load ptr, ptr %12, align 8, !tbaa !5
  %753 = load ptr, ptr %13, align 8, !tbaa !5
  %754 = load ptr, ptr %14, align 8, !tbaa !5
  %755 = load i32, ptr %16, align 4, !tbaa !9
  %756 = load i32, ptr %17, align 4, !tbaa !9
  call void @SharedFunctionVariablesInit(ptr noundef %33, ptr noundef %751, ptr noundef %752, ptr noundef %753, ptr noundef %754, i32 noundef %755, i32 noundef %756)
  %757 = load i32, ptr %16, align 4, !tbaa !9
  %758 = load ptr, ptr %18, align 8, !tbaa !5
  %759 = getelementptr inbounds [13 x double], ptr %22, i64 0, i64 0
  %760 = call double @solvopt(i32 noundef %757, ptr noundef %758, ptr noundef @obj, ptr noundef @gobj, ptr noundef %759, ptr noundef @pen, ptr noundef @gpen, ptr noundef %33)
  %761 = load ptr, ptr %19, align 8, !tbaa !5
  store double %760, ptr %761, align 8, !tbaa !11
  %762 = load ptr, ptr %13, align 8, !tbaa !5
  %763 = load ptr, ptr %18, align 8, !tbaa !5
  %764 = load ptr, ptr %34, align 8, !tbaa !5
  %765 = load i32, ptr %17, align 4, !tbaa !9
  %766 = load i32, ptr %16, align 4, !tbaa !9
  call void @matrix_vector_mult(ptr noundef %762, ptr noundef %763, ptr noundef %764, i32 noundef %765, i32 noundef %766, double noundef 1.000000e+00)
  store i32 0, ptr %20, align 4, !tbaa !9
  br label %767

767:                                              ; preds = %783, %750
  %768 = load i32, ptr %20, align 4, !tbaa !9
  %769 = load i32, ptr %17, align 4, !tbaa !9
  %770 = icmp slt i32 %768, %769
  br i1 %770, label %771, label %786

771:                                              ; preds = %767
  %772 = load ptr, ptr %14, align 8, !tbaa !5
  %773 = load i32, ptr %20, align 4, !tbaa !9
  %774 = sext i32 %773 to i64
  %775 = getelementptr inbounds double, ptr %772, i64 %774
  %776 = load double, ptr %775, align 8, !tbaa !11
  %777 = load ptr, ptr %34, align 8, !tbaa !5
  %778 = load i32, ptr %20, align 4, !tbaa !9
  %779 = sext i32 %778 to i64
  %780 = getelementptr inbounds double, ptr %777, i64 %779
  %781 = load double, ptr %780, align 8, !tbaa !11
  %782 = fsub double %781, %776
  store double %782, ptr %780, align 8, !tbaa !11
  br label %783

783:                                              ; preds = %771
  %784 = load i32, ptr %20, align 4, !tbaa !9
  %785 = add nsw i32 %784, 1
  store i32 %785, ptr %20, align 4, !tbaa !9
  br label %767, !llvm.loop !41

786:                                              ; preds = %767
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #8
  %787 = load ptr, ptr %34, align 8, !tbaa !5
  %788 = getelementptr inbounds double, ptr %787, i64 0
  %789 = load double, ptr %788, align 8, !tbaa !11
  store double %789, ptr %43, align 8, !tbaa !11
  store i32 1, ptr %20, align 4, !tbaa !9
  br label %790

790:                                              ; preds = %809, %786
  %791 = load i32, ptr %20, align 4, !tbaa !9
  %792 = load i32, ptr %17, align 4, !tbaa !9
  %793 = icmp slt i32 %791, %792
  br i1 %793, label %794, label %812

794:                                              ; preds = %790
  %795 = load ptr, ptr %34, align 8, !tbaa !5
  %796 = load i32, ptr %20, align 4, !tbaa !9
  %797 = sext i32 %796 to i64
  %798 = getelementptr inbounds double, ptr %795, i64 %797
  %799 = load double, ptr %798, align 8, !tbaa !11
  %800 = load double, ptr %43, align 8, !tbaa !11
  %801 = fcmp ogt double %799, %800
  br i1 %801, label %802, label %808

802:                                              ; preds = %794
  %803 = load ptr, ptr %34, align 8, !tbaa !5
  %804 = load i32, ptr %20, align 4, !tbaa !9
  %805 = sext i32 %804 to i64
  %806 = getelementptr inbounds double, ptr %803, i64 %805
  %807 = load double, ptr %806, align 8, !tbaa !11
  store double %807, ptr %43, align 8, !tbaa !11
  br label %808

808:                                              ; preds = %802, %794
  br label %809

809:                                              ; preds = %808
  %810 = load i32, ptr %20, align 4, !tbaa !9
  %811 = add nsw i32 %810, 1
  store i32 %811, ptr %20, align 4, !tbaa !9
  br label %790, !llvm.loop !42

812:                                              ; preds = %790
  br label %813

813:                                              ; preds = %894, %812
  %814 = load double, ptr %43, align 8, !tbaa !11
  %815 = getelementptr inbounds [13 x double], ptr %22, i64 0, i64 5
  %816 = load double, ptr %815, align 8, !tbaa !11
  %817 = fcmp ogt double %814, %816
  br i1 %817, label %818, label %895

818:                                              ; preds = %813
  store i32 0, ptr %20, align 4, !tbaa !9
  br label %819

819:                                              ; preds = %835, %818
  %820 = load i32, ptr %20, align 4, !tbaa !9
  %821 = load i32, ptr %16, align 4, !tbaa !9
  %822 = icmp slt i32 %820, %821
  br i1 %822, label %823, label %838

823:                                              ; preds = %819
  %824 = load ptr, ptr %31, align 8, !tbaa !5
  %825 = load i32, ptr %20, align 4, !tbaa !9
  %826 = sext i32 %825 to i64
  %827 = getelementptr inbounds double, ptr %824, i64 %826
  %828 = load double, ptr %827, align 8, !tbaa !11
  %829 = call double @genrand_res53()
  %830 = call double @llvm.fmuladd.f64(double %829, double 5.000000e-01, double %828)
  %831 = load ptr, ptr %18, align 8, !tbaa !5
  %832 = load i32, ptr %20, align 4, !tbaa !9
  %833 = sext i32 %832 to i64
  %834 = getelementptr inbounds double, ptr %831, i64 %833
  store double %830, ptr %834, align 8, !tbaa !11
  br label %835

835:                                              ; preds = %823
  %836 = load i32, ptr %20, align 4, !tbaa !9
  %837 = add nsw i32 %836, 1
  store i32 %837, ptr %20, align 4, !tbaa !9
  br label %819, !llvm.loop !43

838:                                              ; preds = %819
  %839 = load i32, ptr %16, align 4, !tbaa !9
  %840 = load ptr, ptr %18, align 8, !tbaa !5
  %841 = getelementptr inbounds [13 x double], ptr %22, i64 0, i64 0
  %842 = call double @solvopt(i32 noundef %839, ptr noundef %840, ptr noundef @obj, ptr noundef @gobj, ptr noundef %841, ptr noundef @pen, ptr noundef @gpen, ptr noundef %33)
  %843 = load ptr, ptr %19, align 8, !tbaa !5
  store double %842, ptr %843, align 8, !tbaa !11
  %844 = load ptr, ptr %13, align 8, !tbaa !5
  %845 = load ptr, ptr %18, align 8, !tbaa !5
  %846 = load ptr, ptr %34, align 8, !tbaa !5
  %847 = load i32, ptr %17, align 4, !tbaa !9
  %848 = load i32, ptr %16, align 4, !tbaa !9
  call void @matrix_vector_mult(ptr noundef %844, ptr noundef %845, ptr noundef %846, i32 noundef %847, i32 noundef %848, double noundef 1.000000e+00)
  store i32 0, ptr %20, align 4, !tbaa !9
  br label %849

849:                                              ; preds = %865, %838
  %850 = load i32, ptr %20, align 4, !tbaa !9
  %851 = load i32, ptr %17, align 4, !tbaa !9
  %852 = icmp slt i32 %850, %851
  br i1 %852, label %853, label %868

853:                                              ; preds = %849
  %854 = load ptr, ptr %14, align 8, !tbaa !5
  %855 = load i32, ptr %20, align 4, !tbaa !9
  %856 = sext i32 %855 to i64
  %857 = getelementptr inbounds double, ptr %854, i64 %856
  %858 = load double, ptr %857, align 8, !tbaa !11
  %859 = load ptr, ptr %34, align 8, !tbaa !5
  %860 = load i32, ptr %20, align 4, !tbaa !9
  %861 = sext i32 %860 to i64
  %862 = getelementptr inbounds double, ptr %859, i64 %861
  %863 = load double, ptr %862, align 8, !tbaa !11
  %864 = fsub double %863, %858
  store double %864, ptr %862, align 8, !tbaa !11
  br label %865

865:                                              ; preds = %853
  %866 = load i32, ptr %20, align 4, !tbaa !9
  %867 = add nsw i32 %866, 1
  store i32 %867, ptr %20, align 4, !tbaa !9
  br label %849, !llvm.loop !44

868:                                              ; preds = %849
  %869 = load ptr, ptr %34, align 8, !tbaa !5
  %870 = getelementptr inbounds double, ptr %869, i64 0
  %871 = load double, ptr %870, align 8, !tbaa !11
  store double %871, ptr %43, align 8, !tbaa !11
  store i32 1, ptr %20, align 4, !tbaa !9
  br label %872

872:                                              ; preds = %891, %868
  %873 = load i32, ptr %20, align 4, !tbaa !9
  %874 = load i32, ptr %17, align 4, !tbaa !9
  %875 = icmp slt i32 %873, %874
  br i1 %875, label %876, label %894

876:                                              ; preds = %872
  %877 = load ptr, ptr %34, align 8, !tbaa !5
  %878 = load i32, ptr %20, align 4, !tbaa !9
  %879 = sext i32 %878 to i64
  %880 = getelementptr inbounds double, ptr %877, i64 %879
  %881 = load double, ptr %880, align 8, !tbaa !11
  %882 = load double, ptr %43, align 8, !tbaa !11
  %883 = fcmp ogt double %881, %882
  br i1 %883, label %884, label %890

884:                                              ; preds = %876
  %885 = load ptr, ptr %34, align 8, !tbaa !5
  %886 = load i32, ptr %20, align 4, !tbaa !9
  %887 = sext i32 %886 to i64
  %888 = getelementptr inbounds double, ptr %885, i64 %887
  %889 = load double, ptr %888, align 8, !tbaa !11
  store double %889, ptr %43, align 8, !tbaa !11
  br label %890

890:                                              ; preds = %884, %876
  br label %891

891:                                              ; preds = %890
  %892 = load i32, ptr %20, align 4, !tbaa !9
  %893 = add nsw i32 %892, 1
  store i32 %893, ptr %20, align 4, !tbaa !9
  br label %872, !llvm.loop !45

894:                                              ; preds = %872
  br label %813, !llvm.loop !46

895:                                              ; preds = %813
  call void @SharedFunctionVariablesFree(ptr noundef %33)
  %896 = load ptr, ptr %25, align 8, !tbaa !5
  call void @free(ptr noundef %896) #8
  store i32 0, ptr %10, align 4
  store i32 1, ptr %23, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #8
  br label %897

897:                                              ; preds = %895, %749
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #8
  br label %898

898:                                              ; preds = %897, %251
  call void @llvm.lifetime.end.p0(i64 56, ptr %33) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  br label %899

899:                                              ; preds = %898, %76
  call void @llvm.lifetime.end.p0(i64 104, ptr %22) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #8
  %900 = load i32, ptr %10, align 4
  ret i32 %900
}

declare double @genrand_res53() #7

declare double @solvopt(i32 noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #7

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"double", !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = distinct !{!15, !14}
!16 = !{!17, !17, i64 0}
!17 = !{!"long", !7, i64 0}
!18 = distinct !{!18, !14}
!19 = distinct !{!19, !14}
!20 = distinct !{!20, !14}
!21 = distinct !{!21, !14}
!22 = distinct !{!22, !14}
!23 = distinct !{!23, !14}
!24 = distinct !{!24, !14}
!25 = distinct !{!25, !14}
!26 = distinct !{!26, !14}
!27 = distinct !{!27, !14}
!28 = !{!29, !6, i64 0}
!29 = !{!"", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !10, i64 32, !10, i64 36, !6, i64 40, !6, i64 48}
!30 = !{!29, !6, i64 8}
!31 = distinct !{!31, !14}
!32 = distinct !{!32, !14}
!33 = !{!29, !6, i64 16}
!34 = !{!29, !6, i64 24}
!35 = distinct !{!35, !14}
!36 = distinct !{!36, !14}
!37 = distinct !{!37, !14}
!38 = distinct !{!38, !14}
!39 = distinct !{!39, !14}
!40 = distinct !{!40, !14}
!41 = distinct !{!41, !14}
!42 = distinct !{!42, !14}
!43 = distinct !{!43, !14}
!44 = distinct !{!44, !14}
!45 = distinct !{!45, !14}
!46 = distinct !{!46, !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"

%struct.SharedFunctionVariables = type { ptr, ptr, ptr, ptr, i32, i32, ptr, ptr }

@defaultOptions = external dso_local local_unnamed_addr global [13 x double], align 16

; Function Attrs: nounwind uwtable
declare dso_local void @matrix_matrix_product(ptr noundef, ptr noundef, ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, double noundef) local_unnamed_addr #0

; 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 nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #2

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

; Function Attrs: nounwind uwtable
declare dso_local void @matrix_vector_mult(ptr noundef, ptr noundef, ptr noundef, i32 noundef, i32 noundef, double noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local double @obj(ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local void @gobj(ptr noundef, ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local double @pen(ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local void @gpen(ptr noundef, ptr noundef, ptr noundef) #0

; Function Attrs: mustprogress nofree nounwind willreturn memory(write)
declare double @sqrt(double noundef) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare dso_local void @myinvWarm(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #0

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

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

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

; Function Attrs: nounwind uwtable
declare dso_local void @DenmanBeaversSqrtm(ptr noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local void @SharedFunctionVariablesInit(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #0

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

; Function Attrs: nounwind uwtable
declare dso_local void @SharedFunctionVariablesFree(ptr noundef) local_unnamed_addr #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 range(i32 -1, 1) i32 @quadprog_ineq(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, ptr noundef readonly %4, i32 noundef %5, i32 noundef %6, ptr noundef %7, ptr nocapture noundef writeonly %8) local_unnamed_addr #0 {
  %10 = alloca [13 x double], align 16
  %11 = alloca %struct.SharedFunctionVariables, align 8
  call void @llvm.lifetime.start.p0(i64 104, ptr nonnull %10) #10
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(104) %10, ptr noundef nonnull align 16 dereferenceable(104) @defaultOptions, i64 104, i1 false)
  %12 = icmp sgt i32 %5, 0
  br i1 %12, label %.preheader421.us.preheader, label %._crit_edge425

.preheader421.us.preheader:                       ; preds = %9
  %13 = zext nneg i32 %5 to i64
  br label %.preheader421.us

.preheader421.us:                                 ; preds = %.preheader421.us.preheader, %._crit_edge.us
  %indvars.iv512 = phi i64 [ 0, %.preheader421.us.preheader ], [ %indvars.iv.next513, %._crit_edge.us ]
  %14 = mul nuw nsw i64 %indvars.iv512, %13
  %invariant.gep = getelementptr inbounds double, ptr %0, i64 %14
  %invariant.gep630 = getelementptr inbounds double, ptr %0, i64 %indvars.iv512
  br label %16

15:                                               ; preds = %16
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %13
  br i1 %exitcond.not, label %._crit_edge.us, label %16, !llvm.loop !5

16:                                               ; preds = %.preheader421.us, %15
  %indvars.iv = phi i64 [ 0, %.preheader421.us ], [ %indvars.iv.next, %15 ]
  %gep = getelementptr inbounds double, ptr %invariant.gep, i64 %indvars.iv
  %17 = load double, ptr %gep, align 8, !tbaa !7
  %18 = mul nuw nsw i64 %indvars.iv, %13
  %gep631 = getelementptr inbounds double, ptr %invariant.gep630, i64 %18
  %19 = load double, ptr %gep631, align 8, !tbaa !7
  %20 = fsub double %17, %19
  %21 = tail call double @llvm.fabs.f64(double %20)
  %22 = fcmp ogt double %21, 0x3CB0000000000000
  br i1 %22, label %.loopexit422, label %15

._crit_edge.us:                                   ; preds = %15
  %indvars.iv.next513 = add nuw nsw i64 %indvars.iv512, 1
  %exitcond516.not = icmp eq i64 %indvars.iv.next513, %13
  br i1 %exitcond516.not, label %._crit_edge425, label %.preheader421.us, !llvm.loop !11

._crit_edge425:                                   ; preds = %._crit_edge.us, %9
  %23 = mul nsw i32 %5, %5
  %24 = mul nsw i32 %6, %5
  %factor = mul i32 %23, 3
  %reass.add410 = add i32 %6, %5
  %reass.mul = shl i32 %reass.add410, 1
  %25 = add i32 %24, %6
  %26 = add i32 %25, %factor
  %27 = add i32 %26, %reass.mul
  %28 = sext i32 %27 to i64
  %29 = mul nuw nsw i32 %23, 5
  %30 = zext nneg i32 %29 to i64
  %31 = add nsw i64 %28, %30
  %32 = shl nsw i64 %31, 3
  %33 = shl nuw nsw i32 %23, 1
  %34 = zext nneg i32 %33 to i64
  %35 = shl nuw nsw i64 %34, 2
  %36 = add nsw i64 %32, %35
  %37 = tail call noalias ptr @malloc(i64 noundef %36) #11
  %38 = getelementptr inbounds i8, ptr %37, i64 %32
  %39 = zext nneg i32 %23 to i64
  %40 = shl nuw nsw i64 %39, 3
  %41 = sub nsw i64 0, %40
  %42 = getelementptr inbounds i8, ptr %38, i64 %41
  %43 = getelementptr inbounds double, ptr %42, i64 %39
  %44 = getelementptr inbounds i32, ptr %43, i64 %39
  %.not510 = icmp eq i32 %5, 0
  br i1 %.not510, label %._crit_edge, label %.lr.ph.preheader

.lr.ph.preheader:                                 ; preds = %._crit_edge425
  %umax = tail call i32 @llvm.umax.i32(i32 %23, i32 1)
  %wide.trip.count520 = zext nneg i32 %umax to i64
  %min.iters.check = icmp ult i32 %23, 4
  br i1 %min.iters.check, label %.lr.ph.preheader773, label %vector.ph

vector.ph:                                        ; preds = %.lr.ph.preheader
  %n.vec = and i64 %wide.trip.count520, 2147483644
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %vec.phi = phi <2 x i32> [ zeroinitializer, %vector.ph ], [ %51, %vector.body ]
  %vec.phi636 = phi <2 x i32> [ zeroinitializer, %vector.ph ], [ %52, %vector.body ]
  %45 = getelementptr inbounds double, ptr %0, i64 %index
  %46 = getelementptr inbounds i8, ptr %45, i64 16
  %wide.load = load <2 x double>, ptr %45, align 8, !tbaa !7
  %wide.load637 = load <2 x double>, ptr %46, align 8, !tbaa !7
  %47 = fcmp one <2 x double> %wide.load, zeroinitializer
  %48 = fcmp one <2 x double> %wide.load637, zeroinitializer
  %49 = zext <2 x i1> %47 to <2 x i32>
  %50 = zext <2 x i1> %48 to <2 x i32>
  %51 = add <2 x i32> %vec.phi, %49
  %52 = add <2 x i32> %vec.phi636, %50
  %index.next = add nuw i64 %index, 4
  %53 = icmp eq i64 %index.next, %n.vec
  br i1 %53, label %middle.block, label %vector.body, !llvm.loop !12

middle.block:                                     ; preds = %vector.body
  %bin.rdx = add <2 x i32> %52, %51
  %54 = tail call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %bin.rdx)
  %cmp.n = icmp eq i64 %n.vec, %wide.trip.count520
  br i1 %cmp.n, label %._crit_edge, label %.lr.ph.preheader773

.lr.ph.preheader773:                              ; preds = %middle.block, %.lr.ph.preheader
  %indvars.iv517.ph = phi i64 [ 0, %.lr.ph.preheader ], [ %n.vec, %middle.block ]
  %.0394426.ph = phi i32 [ 0, %.lr.ph.preheader ], [ %54, %middle.block ]
  br label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph.preheader773, %.lr.ph
  %indvars.iv517 = phi i64 [ %indvars.iv.next518, %.lr.ph ], [ %indvars.iv517.ph, %.lr.ph.preheader773 ]
  %.0394426 = phi i32 [ %.1395, %.lr.ph ], [ %.0394426.ph, %.lr.ph.preheader773 ]
  %55 = getelementptr inbounds double, ptr %0, i64 %indvars.iv517
  %56 = load double, ptr %55, align 8, !tbaa !7
  %57 = fcmp one double %56, 0.000000e+00
  %58 = zext i1 %57 to i32
  %.1395 = add nuw nsw i32 %.0394426, %58
  %indvars.iv.next518 = add nuw nsw i64 %indvars.iv517, 1
  %exitcond521.not = icmp eq i64 %indvars.iv.next518, %wide.trip.count520
  br i1 %exitcond521.not, label %._crit_edge, label %.lr.ph, !llvm.loop !15

._crit_edge:                                      ; preds = %.lr.ph, %middle.block, %._crit_edge425
  %.0394.lcssa = phi i32 [ 0, %._crit_edge425 ], [ %54, %middle.block ], [ %.1395, %.lr.ph ]
  %59 = icmp eq i32 %.0394.lcssa, %23
  br i1 %59, label %60, label %61

60:                                               ; preds = %._crit_edge
  tail call void @myinvWarm(ptr noundef %0, ptr noundef %37, ptr noundef %42, ptr noundef %43, ptr noundef %44, i32 noundef %5)
  br label %62

61:                                               ; preds = %._crit_edge
  tail call void @llvm.memcpy.p0.p0.i64(ptr align 8 %37, ptr align 8 %0, i64 %40, i1 false)
  br label %62

62:                                               ; preds = %61, %60
  %63 = getelementptr inbounds double, ptr %37, i64 %39
  tail call void @matrix_vector_mult(ptr noundef %37, ptr noundef %1, ptr noundef %63, i32 noundef %5, i32 noundef %5, double noundef -1.000000e+00)
  %64 = sext i32 %5 to i64
  %65 = getelementptr inbounds double, ptr %63, i64 %64
  tail call void @matrix_vector_mult(ptr noundef %2, ptr noundef %63, ptr noundef %65, i32 noundef %6, i32 noundef %5, double noundef 1.000000e+00)
  %66 = icmp sgt i32 %6, 0
  br i1 %66, label %.lr.ph431.preheader, label %._crit_edge432

.lr.ph431.preheader:                              ; preds = %62
  %wide.trip.count525 = zext nneg i32 %6 to i64
  %min.iters.check640 = icmp ult i32 %6, 4
  br i1 %min.iters.check640, label %.lr.ph431.preheader770, label %vector.ph641

vector.ph641:                                     ; preds = %.lr.ph431.preheader
  %n.vec643 = and i64 %wide.trip.count525, 2147483644
  br label %vector.body645

vector.body645:                                   ; preds = %vector.body645, %vector.ph641
  %index646 = phi i64 [ 0, %vector.ph641 ], [ %index.next653, %vector.body645 ]
  %vec.phi647 = phi <2 x i32> [ zeroinitializer, %vector.ph641 ], [ %75, %vector.body645 ]
  %vec.phi648 = phi <2 x i32> [ zeroinitializer, %vector.ph641 ], [ %76, %vector.body645 ]
  %67 = getelementptr inbounds double, ptr %65, i64 %index646
  %68 = getelementptr inbounds i8, ptr %67, i64 16
  %wide.load649 = load <2 x double>, ptr %67, align 8, !tbaa !7
  %wide.load650 = load <2 x double>, ptr %68, align 8, !tbaa !7
  %69 = getelementptr inbounds double, ptr %3, i64 %index646
  %70 = getelementptr inbounds i8, ptr %69, i64 16
  %wide.load651 = load <2 x double>, ptr %69, align 8, !tbaa !7
  %wide.load652 = load <2 x double>, ptr %70, align 8, !tbaa !7
  %71 = fcmp ole <2 x double> %wide.load649, %wide.load651
  %72 = fcmp ole <2 x double> %wide.load650, %wide.load652
  %73 = zext <2 x i1> %71 to <2 x i32>
  %74 = zext <2 x i1> %72 to <2 x i32>
  %75 = add <2 x i32> %vec.phi647, %73
  %76 = add <2 x i32> %vec.phi648, %74
  %index.next653 = add nuw i64 %index646, 4
  %77 = icmp eq i64 %index.next653, %n.vec643
  br i1 %77, label %middle.block638, label %vector.body645, !llvm.loop !16

middle.block638:                                  ; preds = %vector.body645
  %bin.rdx654 = add <2 x i32> %76, %75
  %78 = tail call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %bin.rdx654)
  %cmp.n655 = icmp eq i64 %n.vec643, %wide.trip.count525
  br i1 %cmp.n655, label %._crit_edge432, label %.lr.ph431.preheader770

.lr.ph431.preheader770:                           ; preds = %middle.block638, %.lr.ph431.preheader
  %indvars.iv522.ph = phi i64 [ 0, %.lr.ph431.preheader ], [ %n.vec643, %middle.block638 ]
  %.2396428.ph = phi i32 [ 0, %.lr.ph431.preheader ], [ %78, %middle.block638 ]
  br label %.lr.ph431

.lr.ph431:                                        ; preds = %.lr.ph431.preheader770, %.lr.ph431
  %indvars.iv522 = phi i64 [ %indvars.iv.next523, %.lr.ph431 ], [ %indvars.iv522.ph, %.lr.ph431.preheader770 ]
  %.2396428 = phi i32 [ %.3397, %.lr.ph431 ], [ %.2396428.ph, %.lr.ph431.preheader770 ]
  %79 = getelementptr inbounds double, ptr %65, i64 %indvars.iv522
  %80 = load double, ptr %79, align 8, !tbaa !7
  %81 = getelementptr inbounds double, ptr %3, i64 %indvars.iv522
  %82 = load double, ptr %81, align 8, !tbaa !7
  %83 = fcmp ole double %80, %82
  %84 = zext i1 %83 to i32
  %.3397 = add nuw nsw i32 %.2396428, %84
  %indvars.iv.next523 = add nuw nsw i64 %indvars.iv522, 1
  %exitcond526.not = icmp eq i64 %indvars.iv.next523, %wide.trip.count525
  br i1 %exitcond526.not, label %._crit_edge432, label %.lr.ph431, !llvm.loop !17

._crit_edge432:                                   ; preds = %.lr.ph431, %middle.block638, %62
  %.2396.lcssa = phi i32 [ 0, %62 ], [ %78, %middle.block638 ], [ %.3397, %.lr.ph431 ]
  call void @llvm.lifetime.start.p0(i64 56, ptr nonnull %11) #10
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(56) %11, i8 0, i64 56, i1 false)
  %85 = icmp eq i32 %.2396.lcssa, %6
  br i1 %85, label %86, label %89

86:                                               ; preds = %._crit_edge432
  %87 = shl nsw i64 %64, 3
  tail call void @llvm.memcpy.p0.p0.i64(ptr align 8 %7, ptr align 8 %63, i64 %87, i1 false)
  call void @SharedFunctionVariablesInit(ptr noundef nonnull %11, ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, i32 noundef %5, i32 noundef %6)
  %88 = call double @obj(ptr noundef %63, ptr noundef nonnull %11)
  store double %88, ptr %8, align 8, !tbaa !7
  call void @SharedFunctionVariablesFree(ptr noundef nonnull %11)
  call void @free(ptr noundef %37) #10
  br label %418

89:                                               ; preds = %._crit_edge432
  %.not = icmp eq ptr %4, null
  br i1 %.not, label %.preheader419, label %97

.preheader419:                                    ; preds = %89
  br i1 %12, label %.lr.ph435.preheader, label %.loopexit420.thread

.loopexit420.thread:                              ; preds = %.preheader419
  %90 = sext i32 %6 to i64
  %91 = getelementptr inbounds double, ptr %65, i64 %90
  br label %339

.lr.ph435.preheader:                              ; preds = %.preheader419
  %wide.trip.count530 = zext nneg i32 %5 to i64
  br label %.lr.ph435

.lr.ph435:                                        ; preds = %.lr.ph435.preheader, %.lr.ph435
  %indvars.iv527 = phi i64 [ 0, %.lr.ph435.preheader ], [ %indvars.iv.next528, %.lr.ph435 ]
  %92 = getelementptr inbounds double, ptr %63, i64 %indvars.iv527
  %93 = load double, ptr %92, align 8, !tbaa !7
  %94 = tail call double @genrand_res53() #10
  %95 = tail call double @llvm.fmuladd.f64(double %94, double 5.000000e-01, double %93)
  %96 = getelementptr inbounds double, ptr %7, i64 %indvars.iv527
  store double %95, ptr %96, align 8, !tbaa !7
  %indvars.iv.next528 = add nuw nsw i64 %indvars.iv527, 1
  %exitcond531.not = icmp eq i64 %indvars.iv.next528, %wide.trip.count530
  br i1 %exitcond531.not, label %.loopexit420, label %.lr.ph435, !llvm.loop !18

97:                                               ; preds = %89
  %98 = shl nsw i64 %64, 3
  tail call void @llvm.memcpy.p0.p0.i64(ptr align 8 %7, ptr nonnull align 8 %4, i64 %98, i1 false)
  br label %.loopexit420

.loopexit420:                                     ; preds = %.lr.ph435, %97
  %99 = sext i32 %6 to i64
  %100 = getelementptr inbounds double, ptr %65, i64 %99
  %101 = getelementptr inbounds double, ptr %100, i64 %99
  %102 = getelementptr inbounds double, ptr %101, i64 %64
  %103 = getelementptr inbounds double, ptr %102, i64 %39
  %104 = sext i32 %24 to i64
  %105 = getelementptr inbounds double, ptr %103, i64 %104
  %106 = getelementptr inbounds double, ptr %105, i64 %99
  %107 = getelementptr inbounds double, ptr %106, i64 %39
  %108 = icmp sgt i32 %5, 9
  br i1 %108, label %.preheader415.preheader, label %339

.preheader415.preheader:                          ; preds = %.loopexit420
  %wide.trip.count560 = zext nneg i32 %5 to i64
  %109 = and i64 %99, 2305843009213693948
  %diff.check = icmp eq i64 %109, 0
  br i1 %diff.check, label %.preheader415.preheader767, label %vector.ph690

vector.ph690:                                     ; preds = %.preheader415.preheader
  %n.vec692 = and i64 %wide.trip.count560, 2147483644
  br label %vector.body694

vector.body694:                                   ; preds = %vector.body694, %vector.ph690
  %index695 = phi i64 [ 0, %vector.ph690 ], [ %index.next700, %vector.body694 ]
  %110 = getelementptr inbounds double, ptr %3, i64 %index695
  %111 = getelementptr inbounds i8, ptr %110, i64 16
  %wide.load696 = load <2 x double>, ptr %110, align 8, !tbaa !7
  %wide.load697 = load <2 x double>, ptr %111, align 8, !tbaa !7
  %112 = getelementptr inbounds double, ptr %65, i64 %index695
  %113 = getelementptr inbounds i8, ptr %112, i64 16
  %wide.load698 = load <2 x double>, ptr %112, align 8, !tbaa !7
  %wide.load699 = load <2 x double>, ptr %113, align 8, !tbaa !7
  %114 = fsub <2 x double> %wide.load696, %wide.load698
  %115 = fsub <2 x double> %wide.load697, %wide.load699
  %116 = getelementptr inbounds double, ptr %100, i64 %index695
  %117 = getelementptr inbounds i8, ptr %116, i64 16
  store <2 x double> %114, ptr %116, align 8, !tbaa !7
  store <2 x double> %115, ptr %117, align 8, !tbaa !7
  %index.next700 = add nuw i64 %index695, 4
  %118 = icmp eq i64 %index.next700, %n.vec692
  br i1 %118, label %middle.block687, label %vector.body694, !llvm.loop !19

middle.block687:                                  ; preds = %vector.body694
  %cmp.n701 = icmp eq i64 %n.vec692, %wide.trip.count560
  br i1 %cmp.n701, label %.loopexit762, label %.preheader415.preheader767

.preheader415.preheader767:                       ; preds = %middle.block687, %.preheader415.preheader
  %indvars.iv557.ph = phi i64 [ 0, %.preheader415.preheader ], [ %n.vec692, %middle.block687 ]
  %xtraiter783 = and i64 %wide.trip.count560, 3
  %lcmp.mod784.not = icmp eq i64 %xtraiter783, 0
  br i1 %lcmp.mod784.not, label %.preheader415.prol.loopexit, label %.preheader415.prol

.preheader415.prol:                               ; preds = %.preheader415.preheader767, %.preheader415.prol
  %indvars.iv557.prol = phi i64 [ %indvars.iv.next558.prol, %.preheader415.prol ], [ %indvars.iv557.ph, %.preheader415.preheader767 ]
  %prol.iter = phi i64 [ %prol.iter.next, %.preheader415.prol ], [ 0, %.preheader415.preheader767 ]
  %119 = getelementptr inbounds double, ptr %3, i64 %indvars.iv557.prol
  %120 = load double, ptr %119, align 8, !tbaa !7
  %121 = getelementptr inbounds double, ptr %65, i64 %indvars.iv557.prol
  %122 = load double, ptr %121, align 8, !tbaa !7
  %123 = fsub double %120, %122
  %124 = getelementptr inbounds double, ptr %100, i64 %indvars.iv557.prol
  store double %123, ptr %124, align 8, !tbaa !7
  %indvars.iv.next558.prol = add nuw nsw i64 %indvars.iv557.prol, 1
  %prol.iter.next = add i64 %prol.iter, 1
  %prol.iter.cmp.not = icmp eq i64 %prol.iter.next, %xtraiter783
  br i1 %prol.iter.cmp.not, label %.preheader415.prol.loopexit, label %.preheader415.prol, !llvm.loop !20

.preheader415.prol.loopexit:                      ; preds = %.preheader415.prol, %.preheader415.preheader767
  %indvars.iv557.unr = phi i64 [ %indvars.iv557.ph, %.preheader415.preheader767 ], [ %indvars.iv.next558.prol, %.preheader415.prol ]
  %125 = sub nsw i64 %indvars.iv557.ph, %wide.trip.count560
  %126 = icmp ugt i64 %125, -4
  br i1 %126, label %.loopexit762, label %.preheader415

.preheader415:                                    ; preds = %.preheader415.prol.loopexit, %.preheader415
  %indvars.iv557 = phi i64 [ %indvars.iv.next558.3, %.preheader415 ], [ %indvars.iv557.unr, %.preheader415.prol.loopexit ]
  %127 = getelementptr inbounds double, ptr %3, i64 %indvars.iv557
  %128 = load double, ptr %127, align 8, !tbaa !7
  %129 = getelementptr inbounds double, ptr %65, i64 %indvars.iv557
  %130 = load double, ptr %129, align 8, !tbaa !7
  %131 = fsub double %128, %130
  %132 = getelementptr inbounds double, ptr %100, i64 %indvars.iv557
  store double %131, ptr %132, align 8, !tbaa !7
  %indvars.iv.next558 = add nuw nsw i64 %indvars.iv557, 1
  %133 = getelementptr inbounds double, ptr %3, i64 %indvars.iv.next558
  %134 = load double, ptr %133, align 8, !tbaa !7
  %135 = getelementptr inbounds double, ptr %65, i64 %indvars.iv.next558
  %136 = load double, ptr %135, align 8, !tbaa !7
  %137 = fsub double %134, %136
  %138 = getelementptr inbounds double, ptr %100, i64 %indvars.iv.next558
  store double %137, ptr %138, align 8, !tbaa !7
  %indvars.iv.next558.1 = add nuw nsw i64 %indvars.iv557, 2
  %139 = getelementptr inbounds double, ptr %3, i64 %indvars.iv.next558.1
  %140 = load double, ptr %139, align 8, !tbaa !7
  %141 = getelementptr inbounds double, ptr %65, i64 %indvars.iv.next558.1
  %142 = load double, ptr %141, align 8, !tbaa !7
  %143 = fsub double %140, %142
  %144 = getelementptr inbounds double, ptr %100, i64 %indvars.iv.next558.1
  store double %143, ptr %144, align 8, !tbaa !7
  %indvars.iv.next558.2 = add nuw nsw i64 %indvars.iv557, 3
  %145 = getelementptr inbounds double, ptr %3, i64 %indvars.iv.next558.2
  %146 = load double, ptr %145, align 8, !tbaa !7
  %147 = getelementptr inbounds double, ptr %65, i64 %indvars.iv.next558.2
  %148 = load double, ptr %147, align 8, !tbaa !7
  %149 = fsub double %146, %148
  %150 = getelementptr inbounds double, ptr %100, i64 %indvars.iv.next558.2
  store double %149, ptr %150, align 8, !tbaa !7
  %indvars.iv.next558.3 = add nuw nsw i64 %indvars.iv557, 4
  %exitcond561.not.3 = icmp eq i64 %indvars.iv.next558.3, %wide.trip.count560
  br i1 %exitcond561.not.3, label %.loopexit762, label %.preheader415, !llvm.loop !22

.loopexit762:                                     ; preds = %.preheader415.prol.loopexit, %.preheader415, %middle.block687
  %151 = shl nuw nsw i64 %64, 3
  tail call void @llvm.memset.p0.i64(ptr nonnull align 8 %101, i8 0, i64 %151, i1 false)
  tail call void @DenmanBeaversSqrtm(ptr noundef nonnull %37, i32 noundef %5, i32 noundef 50, ptr noundef nonnull %102, ptr noundef nonnull %107)
  tail call void @matrix_matrix_product(ptr noundef %2, ptr noundef nonnull %102, ptr noundef nonnull %103, i32 noundef %6, i32 noundef %5, i32 noundef %5, i32 noundef %5, double noundef 1.000000e+00)
  br i1 %66, label %.preheader414.lr.ph, label %.lr.ph472

.preheader414.lr.ph:                              ; preds = %.loopexit762
  %wide.trip.count570 = zext nneg i32 %6 to i64
  %xtraiter785 = and i64 %wide.trip.count560, 3
  %unroll_iter789 = and i64 %wide.trip.count560, 2147483644
  %lcmp.mod787.not = icmp eq i64 %xtraiter785, 0
  br label %.lr.ph461

.lr.ph461:                                        ; preds = %._crit_edge462, %.preheader414.lr.ph
  %indvars.iv567 = phi i64 [ 0, %.preheader414.lr.ph ], [ %indvars.iv.next568, %._crit_edge462 ]
  %152 = mul nuw nsw i64 %indvars.iv567, %wide.trip.count560
  %invariant.gep632 = getelementptr inbounds double, ptr %103, i64 %152
  br label %153

.preheader413:                                    ; preds = %._crit_edge462
  br i1 %66, label %.preheader412.lr.ph, label %.lr.ph472

.preheader412.lr.ph:                              ; preds = %.preheader413
  %smax = tail call i32 @llvm.smax.i32(i32 %5, i32 1)
  %wide.trip.count580 = zext nneg i32 %6 to i64
  %wide.trip.count575 = zext nneg i32 %smax to i64
  %xtraiter792 = and i64 %wide.trip.count575, 3
  %unroll_iter795 = and i64 %wide.trip.count575, 2147483644
  %lcmp.mod794.not = icmp eq i64 %xtraiter792, 0
  br label %.lr.ph466

153:                                              ; preds = %153, %.lr.ph461
  %indvars.iv562 = phi i64 [ 0, %.lr.ph461 ], [ %indvars.iv.next563.3, %153 ]
  %.0379460 = phi double [ 0.000000e+00, %.lr.ph461 ], [ %161, %153 ]
  %niter790 = phi i64 [ 0, %.lr.ph461 ], [ %niter790.next.3, %153 ]
  %gep633 = getelementptr inbounds double, ptr %invariant.gep632, i64 %indvars.iv562
  %154 = load double, ptr %gep633, align 8, !tbaa !7
  %155 = tail call double @llvm.fmuladd.f64(double %154, double %154, double %.0379460)
  %indvars.iv.next563 = or disjoint i64 %indvars.iv562, 1
  %gep633.1 = getelementptr inbounds double, ptr %invariant.gep632, i64 %indvars.iv.next563
  %156 = load double, ptr %gep633.1, align 8, !tbaa !7
  %157 = tail call double @llvm.fmuladd.f64(double %156, double %156, double %155)
  %indvars.iv.next563.1 = or disjoint i64 %indvars.iv562, 2
  %gep633.2 = getelementptr inbounds double, ptr %invariant.gep632, i64 %indvars.iv.next563.1
  %158 = load double, ptr %gep633.2, align 8, !tbaa !7
  %159 = tail call double @llvm.fmuladd.f64(double %158, double %158, double %157)
  %indvars.iv.next563.2 = or disjoint i64 %indvars.iv562, 3
  %gep633.3 = getelementptr inbounds double, ptr %invariant.gep632, i64 %indvars.iv.next563.2
  %160 = load double, ptr %gep633.3, align 8, !tbaa !7
  %161 = tail call double @llvm.fmuladd.f64(double %160, double %160, double %159)
  %indvars.iv.next563.3 = add nuw nsw i64 %indvars.iv562, 4
  %niter790.next.3 = add i64 %niter790, 4
  %niter790.ncmp.3 = icmp eq i64 %niter790.next.3, %unroll_iter789
  br i1 %niter790.ncmp.3, label %._crit_edge462.unr-lcssa, label %153, !llvm.loop !23

._crit_edge462.unr-lcssa:                         ; preds = %153
  br i1 %lcmp.mod787.not, label %._crit_edge462, label %.epil.preheader

.epil.preheader:                                  ; preds = %._crit_edge462.unr-lcssa, %.epil.preheader
  %indvars.iv562.epil = phi i64 [ %indvars.iv.next563.epil, %.epil.preheader ], [ %indvars.iv.next563.3, %._crit_edge462.unr-lcssa ]
  %.0379460.epil = phi double [ %163, %.epil.preheader ], [ %161, %._crit_edge462.unr-lcssa ]
  %epil.iter786 = phi i64 [ %epil.iter786.next, %.epil.preheader ], [ 0, %._crit_edge462.unr-lcssa ]
  %gep633.epil = getelementptr inbounds double, ptr %invariant.gep632, i64 %indvars.iv562.epil
  %162 = load double, ptr %gep633.epil, align 8, !tbaa !7
  %163 = tail call double @llvm.fmuladd.f64(double %162, double %162, double %.0379460.epil)
  %indvars.iv.next563.epil = add nuw nsw i64 %indvars.iv562.epil, 1
  %epil.iter786.next = add i64 %epil.iter786, 1
  %epil.iter786.cmp.not = icmp eq i64 %epil.iter786.next, %xtraiter785
  br i1 %epil.iter786.cmp.not, label %._crit_edge462, label %.epil.preheader, !llvm.loop !24

._crit_edge462:                                   ; preds = %.epil.preheader, %._crit_edge462.unr-lcssa
  %.lcssa = phi double [ %161, %._crit_edge462.unr-lcssa ], [ %163, %.epil.preheader ]
  %164 = tail call double @sqrt(double noundef %.lcssa) #10
  %165 = getelementptr inbounds double, ptr %105, i64 %indvars.iv567
  store double %164, ptr %165, align 8, !tbaa !7
  %indvars.iv.next568 = add nuw nsw i64 %indvars.iv567, 1
  %exitcond571.not = icmp eq i64 %indvars.iv.next568, %wide.trip.count570
  br i1 %exitcond571.not, label %.preheader413, label %.lr.ph461, !llvm.loop !25

.lr.ph466:                                        ; preds = %._crit_edge467, %.preheader412.lr.ph
  %indvars.iv577 = phi i64 [ 0, %.preheader412.lr.ph ], [ %indvars.iv.next578, %._crit_edge467 ]
  %166 = mul nuw nsw i64 %indvars.iv577, %wide.trip.count560
  %167 = getelementptr inbounds double, ptr %105, i64 %indvars.iv577
  %invariant.gep634 = getelementptr inbounds double, ptr %103, i64 %166
  br label %168

168:                                              ; preds = %168, %.lr.ph466
  %indvars.iv572 = phi i64 [ 0, %.lr.ph466 ], [ %indvars.iv.next573.3, %168 ]
  %niter796 = phi i64 [ 0, %.lr.ph466 ], [ %niter796.next.3, %168 ]
  %gep635 = getelementptr inbounds double, ptr %invariant.gep634, i64 %indvars.iv572
  %169 = load double, ptr %gep635, align 8, !tbaa !7
  %170 = load double, ptr %167, align 8, !tbaa !7
  %171 = fdiv double %169, %170
  store double %171, ptr %gep635, align 8, !tbaa !7
  %indvars.iv.next573 = or disjoint i64 %indvars.iv572, 1
  %gep635.1 = getelementptr inbounds double, ptr %invariant.gep634, i64 %indvars.iv.next573
  %172 = load double, ptr %gep635.1, align 8, !tbaa !7
  %173 = load double, ptr %167, align 8, !tbaa !7
  %174 = fdiv double %172, %173
  store double %174, ptr %gep635.1, align 8, !tbaa !7
  %indvars.iv.next573.1 = or disjoint i64 %indvars.iv572, 2
  %gep635.2 = getelementptr inbounds double, ptr %invariant.gep634, i64 %indvars.iv.next573.1
  %175 = load double, ptr %gep635.2, align 8, !tbaa !7
  %176 = load double, ptr %167, align 8, !tbaa !7
  %177 = fdiv double %175, %176
  store double %177, ptr %gep635.2, align 8, !tbaa !7
  %indvars.iv.next573.2 = or disjoint i64 %indvars.iv572, 3
  %gep635.3 = getelementptr inbounds double, ptr %invariant.gep634, i64 %indvars.iv.next573.2
  %178 = load double, ptr %gep635.3, align 8, !tbaa !7
  %179 = load double, ptr %167, align 8, !tbaa !7
  %180 = fdiv double %178, %179
  store double %180, ptr %gep635.3, align 8, !tbaa !7
  %indvars.iv.next573.3 = add nuw nsw i64 %indvars.iv572, 4
  %niter796.next.3 = add i64 %niter796, 4
  %niter796.ncmp.3 = icmp eq i64 %niter796.next.3, %unroll_iter795
  br i1 %niter796.ncmp.3, label %._crit_edge467.unr-lcssa, label %168, !llvm.loop !26

._crit_edge467.unr-lcssa:                         ; preds = %168
  br i1 %lcmp.mod794.not, label %._crit_edge467, label %.epil.preheader791

.epil.preheader791:                               ; preds = %._crit_edge467.unr-lcssa, %.epil.preheader791
  %indvars.iv572.epil = phi i64 [ %indvars.iv.next573.epil, %.epil.preheader791 ], [ %indvars.iv.next573.3, %._crit_edge467.unr-lcssa ]
  %epil.iter793 = phi i64 [ %epil.iter793.next, %.epil.preheader791 ], [ 0, %._crit_edge467.unr-lcssa ]
  %gep635.epil = getelementptr inbounds double, ptr %invariant.gep634, i64 %indvars.iv572.epil
  %181 = load double, ptr %gep635.epil, align 8, !tbaa !7
  %182 = load double, ptr %167, align 8, !tbaa !7
  %183 = fdiv double %181, %182
  store double %183, ptr %gep635.epil, align 8, !tbaa !7
  %indvars.iv.next573.epil = add nuw nsw i64 %indvars.iv572.epil, 1
  %epil.iter793.next = add i64 %epil.iter793, 1
  %epil.iter793.cmp.not = icmp eq i64 %epil.iter793.next, %xtraiter792
  br i1 %epil.iter793.cmp.not, label %._crit_edge467, label %.epil.preheader791, !llvm.loop !27

._crit_edge467:                                   ; preds = %.epil.preheader791, %._crit_edge467.unr-lcssa
  %184 = getelementptr inbounds double, ptr %100, i64 %indvars.iv577
  %185 = load double, ptr %184, align 8, !tbaa !7
  %186 = getelementptr inbounds double, ptr %105, i64 %indvars.iv577
  %187 = load double, ptr %186, align 8, !tbaa !7
  %188 = fdiv double %185, %187
  store double %188, ptr %184, align 8, !tbaa !7
  %indvars.iv.next578 = add nuw nsw i64 %indvars.iv577, 1
  %exitcond581.not = icmp eq i64 %indvars.iv.next578, %wide.trip.count580
  br i1 %exitcond581.not, label %.lr.ph472, label %.lr.ph466, !llvm.loop !28

.lr.ph472:                                        ; preds = %._crit_edge467, %.loopexit762, %.preheader413
  tail call void @llvm.memset.p0.i64(ptr align 8 %106, i8 0, i64 %40, i1 false)
  %.7408 = add nuw i32 %5, 1
  %smax585 = tail call i32 @llvm.smax.i32(i32 %5, i32 1)
  %wide.trip.count586 = zext nneg i32 %smax585 to i64
  %xtraiter798 = and i64 %wide.trip.count586, 3
  %unroll_iter801 = and i64 %wide.trip.count586, 2147483644
  br label %189

189:                                              ; preds = %189, %.lr.ph472
  %indvars.iv582 = phi i64 [ 0, %.lr.ph472 ], [ %indvars.iv.next583.3, %189 ]
  %niter802 = phi i64 [ 0, %.lr.ph472 ], [ %niter802.next.3, %189 ]
  %190 = trunc nuw nsw i64 %indvars.iv582 to i32
  %191 = mul i32 %.7408, %190
  %192 = sext i32 %191 to i64
  %193 = getelementptr inbounds double, ptr %106, i64 %192
  store double 1.000000e+00, ptr %193, align 8, !tbaa !7
  %194 = trunc i64 %indvars.iv582 to i32
  %195 = or disjoint i32 %194, 1
  %196 = mul i32 %.7408, %195
  %197 = sext i32 %196 to i64
  %198 = getelementptr inbounds double, ptr %106, i64 %197
  store double 1.000000e+00, ptr %198, align 8, !tbaa !7
  %199 = trunc i64 %indvars.iv582 to i32
  %200 = or disjoint i32 %199, 2
  %201 = mul i32 %.7408, %200
  %202 = sext i32 %201 to i64
  %203 = getelementptr inbounds double, ptr %106, i64 %202
  store double 1.000000e+00, ptr %203, align 8, !tbaa !7
  %204 = trunc i64 %indvars.iv582 to i32
  %205 = or disjoint i32 %204, 3
  %206 = mul i32 %.7408, %205
  %207 = sext i32 %206 to i64
  %208 = getelementptr inbounds double, ptr %106, i64 %207
  store double 1.000000e+00, ptr %208, align 8, !tbaa !7
  %indvars.iv.next583.3 = add nuw nsw i64 %indvars.iv582, 4
  %niter802.next.3 = add i64 %niter802, 4
  %niter802.ncmp.3 = icmp eq i64 %niter802.next.3, %unroll_iter801
  br i1 %niter802.ncmp.3, label %.lr.ph476.preheader.unr-lcssa, label %189, !llvm.loop !29

.lr.ph476.preheader.unr-lcssa:                    ; preds = %189
  %lcmp.mod800.not = icmp eq i64 %xtraiter798, 0
  br i1 %lcmp.mod800.not, label %.lr.ph476.preheader, label %.epil.preheader797

.epil.preheader797:                               ; preds = %.lr.ph476.preheader.unr-lcssa, %.epil.preheader797
  %indvars.iv582.epil = phi i64 [ %indvars.iv.next583.epil, %.epil.preheader797 ], [ %indvars.iv.next583.3, %.lr.ph476.preheader.unr-lcssa ]
  %epil.iter799 = phi i64 [ %epil.iter799.next, %.epil.preheader797 ], [ 0, %.lr.ph476.preheader.unr-lcssa ]
  %209 = trunc nuw nsw i64 %indvars.iv582.epil to i32
  %210 = mul i32 %.7408, %209
  %211 = sext i32 %210 to i64
  %212 = getelementptr inbounds double, ptr %106, i64 %211
  store double 1.000000e+00, ptr %212, align 8, !tbaa !7
  %indvars.iv.next583.epil = add nuw nsw i64 %indvars.iv582.epil, 1
  %epil.iter799.next = add i64 %epil.iter799, 1
  %epil.iter799.cmp.not = icmp eq i64 %epil.iter799.next, %xtraiter798
  br i1 %epil.iter799.cmp.not, label %.lr.ph476.preheader, label %.epil.preheader797, !llvm.loop !30

.lr.ph476.preheader:                              ; preds = %.epil.preheader797, %.lr.ph476.preheader.unr-lcssa
  call void @SharedFunctionVariablesInit(ptr noundef nonnull %11, ptr noundef %106, ptr noundef nonnull %101, ptr noundef nonnull %103, ptr noundef nonnull %100, i32 noundef %5, i32 noundef %6)
  %213 = getelementptr inbounds i8, ptr %10, i64 40
  %214 = load double, ptr %213, align 8, !tbaa !7
  %215 = fmul double %214, 1.000000e-01
  store double %215, ptr %213, align 8, !tbaa !7
  %216 = call double @solvopt(i32 noundef %5, ptr noundef %7, ptr noundef nonnull @obj, ptr noundef nonnull @gobj, ptr noundef nonnull %10, ptr noundef nonnull @pen, ptr noundef nonnull @gpen, ptr noundef nonnull %11) #10
  call void @matrix_vector_mult(ptr noundef nonnull %102, ptr noundef %7, ptr noundef nonnull %101, i32 noundef %5, i32 noundef %5, double noundef 1.000000e+00)
  %smax591 = call i32 @llvm.smax.i32(i32 %5, i32 1)
  %wide.trip.count592 = zext nneg i32 %smax591 to i64
  %n.vec707 = and i64 %wide.trip.count586, 2147483644
  br label %vector.body709

vector.body709:                                   ; preds = %vector.body709, %.lr.ph476.preheader
  %index710 = phi i64 [ 0, %.lr.ph476.preheader ], [ %index.next715, %vector.body709 ]
  %217 = getelementptr inbounds double, ptr %101, i64 %index710
  %218 = getelementptr inbounds i8, ptr %217, i64 16
  %wide.load711 = load <2 x double>, ptr %217, align 8, !tbaa !7
  %wide.load712 = load <2 x double>, ptr %218, align 8, !tbaa !7
  %219 = getelementptr inbounds double, ptr %63, i64 %index710
  %220 = getelementptr inbounds i8, ptr %219, i64 16
  %wide.load713 = load <2 x double>, ptr %219, align 8, !tbaa !7
  %wide.load714 = load <2 x double>, ptr %220, align 8, !tbaa !7
  %221 = fadd <2 x double> %wide.load711, %wide.load713
  %222 = fadd <2 x double> %wide.load712, %wide.load714
  %223 = getelementptr inbounds double, ptr %7, i64 %index710
  %224 = getelementptr inbounds i8, ptr %223, i64 16
  store <2 x double> %221, ptr %223, align 8, !tbaa !7
  store <2 x double> %222, ptr %224, align 8, !tbaa !7
  %index.next715 = add nuw i64 %index710, 4
  %225 = icmp eq i64 %index.next715, %n.vec707
  br i1 %225, label %middle.block702, label %vector.body709, !llvm.loop !31

middle.block702:                                  ; preds = %vector.body709
  %cmp.n716 = icmp eq i64 %n.vec707, %wide.trip.count586
  br i1 %cmp.n716, label %._crit_edge477, label %.lr.ph476

.lr.ph476:                                        ; preds = %middle.block702, %.lr.ph476
  %indvars.iv588 = phi i64 [ %indvars.iv.next589, %.lr.ph476 ], [ %n.vec707, %middle.block702 ]
  %226 = getelementptr inbounds double, ptr %101, i64 %indvars.iv588
  %227 = load double, ptr %226, align 8, !tbaa !7
  %228 = getelementptr inbounds double, ptr %63, i64 %indvars.iv588
  %229 = load double, ptr %228, align 8, !tbaa !7
  %230 = fadd double %227, %229
  %231 = getelementptr inbounds double, ptr %7, i64 %indvars.iv588
  store double %230, ptr %231, align 8, !tbaa !7
  %indvars.iv.next589 = add nuw nsw i64 %indvars.iv588, 1
  %exitcond593.not = icmp eq i64 %indvars.iv.next589, %wide.trip.count592
  br i1 %exitcond593.not, label %._crit_edge477, label %.lr.ph476, !llvm.loop !32

._crit_edge477:                                   ; preds = %.lr.ph476, %middle.block702
  store ptr %0, ptr %11, align 8, !tbaa !33
  %232 = getelementptr inbounds i8, ptr %11, i64 8
  store ptr %1, ptr %232, align 8, !tbaa !37
  %233 = call double @obj(ptr noundef nonnull %7, ptr noundef nonnull %11)
  store double %233, ptr %8, align 8, !tbaa !7
  call void @matrix_vector_mult(ptr noundef %2, ptr noundef nonnull %7, ptr noundef nonnull %100, i32 noundef %6, i32 noundef %5, double noundef 1.000000e+00)
  br i1 %66, label %.lr.ph480.preheader, label %._crit_edge481.thread

._crit_edge481.thread:                            ; preds = %._crit_edge477
  %234 = load double, ptr %100, align 8, !tbaa !7
  br label %._crit_edge486

.lr.ph480.preheader:                              ; preds = %._crit_edge477
  %wide.trip.count597 = zext nneg i32 %6 to i64
  %min.iters.check719 = icmp ult i32 %6, 4
  br i1 %min.iters.check719, label %.lr.ph480.preheader765, label %vector.ph720

vector.ph720:                                     ; preds = %.lr.ph480.preheader
  %n.vec722 = and i64 %wide.trip.count597, 2147483644
  br label %vector.body724

vector.body724:                                   ; preds = %vector.body724, %vector.ph720
  %index725 = phi i64 [ 0, %vector.ph720 ], [ %index.next730, %vector.body724 ]
  %235 = getelementptr inbounds double, ptr %3, i64 %index725
  %236 = getelementptr inbounds i8, ptr %235, i64 16
  %wide.load726 = load <2 x double>, ptr %235, align 8, !tbaa !7
  %wide.load727 = load <2 x double>, ptr %236, align 8, !tbaa !7
  %237 = getelementptr inbounds double, ptr %100, i64 %index725
  %238 = getelementptr inbounds i8, ptr %237, i64 16
  %wide.load728 = load <2 x double>, ptr %237, align 8, !tbaa !7
  %wide.load729 = load <2 x double>, ptr %238, align 8, !tbaa !7
  %239 = fsub <2 x double> %wide.load728, %wide.load726
  %240 = fsub <2 x double> %wide.load729, %wide.load727
  store <2 x double> %239, ptr %237, align 8, !tbaa !7
  store <2 x double> %240, ptr %238, align 8, !tbaa !7
  %index.next730 = add nuw i64 %index725, 4
  %241 = icmp eq i64 %index.next730, %n.vec722
  br i1 %241, label %middle.block717, label %vector.body724, !llvm.loop !38

middle.block717:                                  ; preds = %vector.body724
  %cmp.n731 = icmp eq i64 %n.vec722, %wide.trip.count597
  br i1 %cmp.n731, label %._crit_edge481, label %.lr.ph480.preheader765

.lr.ph480.preheader765:                           ; preds = %middle.block717, %.lr.ph480.preheader
  %indvars.iv594.ph = phi i64 [ 0, %.lr.ph480.preheader ], [ %n.vec722, %middle.block717 ]
  br label %.lr.ph480

.lr.ph480:                                        ; preds = %.lr.ph480.preheader765, %.lr.ph480
  %indvars.iv594 = phi i64 [ %indvars.iv.next595, %.lr.ph480 ], [ %indvars.iv594.ph, %.lr.ph480.preheader765 ]
  %242 = getelementptr inbounds double, ptr %3, i64 %indvars.iv594
  %243 = load double, ptr %242, align 8, !tbaa !7
  %244 = getelementptr inbounds double, ptr %100, i64 %indvars.iv594
  %245 = load double, ptr %244, align 8, !tbaa !7
  %246 = fsub double %245, %243
  store double %246, ptr %244, align 8, !tbaa !7
  %indvars.iv.next595 = add nuw nsw i64 %indvars.iv594, 1
  %exitcond598.not = icmp eq i64 %indvars.iv.next595, %wide.trip.count597
  br i1 %exitcond598.not, label %._crit_edge481, label %.lr.ph480, !llvm.loop !39

._crit_edge481:                                   ; preds = %.lr.ph480, %middle.block717
  %247 = load double, ptr %100, align 8, !tbaa !7
  %248 = icmp ne i32 %6, 1
  br i1 %248, label %.lr.ph485.preheader, label %._crit_edge486

.lr.ph485.preheader:                              ; preds = %._crit_edge481
  %249 = add nsw i64 %wide.trip.count597, -1
  %250 = add nsw i64 %wide.trip.count597, -2
  %xtraiter803 = and i64 %249, 3
  %251 = icmp ult i64 %250, 3
  br i1 %251, label %._crit_edge486.loopexit.unr-lcssa, label %.lr.ph485.preheader.new

.lr.ph485.preheader.new:                          ; preds = %.lr.ph485.preheader
  %unroll_iter807 = and i64 %249, -4
  %invariant.gep827 = getelementptr inbounds i8, ptr %100, i64 8
  %invariant.gep829 = getelementptr inbounds i8, ptr %100, i64 16
  %invariant.gep831 = getelementptr inbounds i8, ptr %100, i64 24
  br label %.lr.ph485

.lr.ph485:                                        ; preds = %.lr.ph485, %.lr.ph485.preheader.new
  %indvars.iv599 = phi i64 [ 1, %.lr.ph485.preheader.new ], [ %indvars.iv.next600.3, %.lr.ph485 ]
  %.0374483 = phi double [ %247, %.lr.ph485.preheader.new ], [ %.1375.3, %.lr.ph485 ]
  %niter808 = phi i64 [ 0, %.lr.ph485.preheader.new ], [ %niter808.next.3, %.lr.ph485 ]
  %252 = getelementptr inbounds double, ptr %100, i64 %indvars.iv599
  %253 = load double, ptr %252, align 8, !tbaa !7
  %254 = fcmp ogt double %253, %.0374483
  %.1375 = select i1 %254, double %253, double %.0374483
  %gep828 = getelementptr inbounds double, ptr %invariant.gep827, i64 %indvars.iv599
  %255 = load double, ptr %gep828, align 8, !tbaa !7
  %256 = fcmp ogt double %255, %.1375
  %.1375.1 = select i1 %256, double %255, double %.1375
  %gep830 = getelementptr inbounds double, ptr %invariant.gep829, i64 %indvars.iv599
  %257 = load double, ptr %gep830, align 8, !tbaa !7
  %258 = fcmp ogt double %257, %.1375.1
  %.1375.2 = select i1 %258, double %257, double %.1375.1
  %gep832 = getelementptr inbounds double, ptr %invariant.gep831, i64 %indvars.iv599
  %259 = load double, ptr %gep832, align 8, !tbaa !7
  %260 = fcmp ogt double %259, %.1375.2
  %.1375.3 = select i1 %260, double %259, double %.1375.2
  %indvars.iv.next600.3 = add nuw nsw i64 %indvars.iv599, 4
  %niter808.next.3 = add i64 %niter808, 4
  %niter808.ncmp.3 = icmp eq i64 %niter808.next.3, %unroll_iter807
  br i1 %niter808.ncmp.3, label %._crit_edge486.loopexit.unr-lcssa, label %.lr.ph485, !llvm.loop !40

._crit_edge486.loopexit.unr-lcssa:                ; preds = %.lr.ph485, %.lr.ph485.preheader
  %.1375.lcssa.ph = phi double [ poison, %.lr.ph485.preheader ], [ %.1375.3, %.lr.ph485 ]
  %indvars.iv599.unr = phi i64 [ 1, %.lr.ph485.preheader ], [ %indvars.iv.next600.3, %.lr.ph485 ]
  %.0374483.unr = phi double [ %247, %.lr.ph485.preheader ], [ %.1375.3, %.lr.ph485 ]
  %lcmp.mod805.not = icmp eq i64 %xtraiter803, 0
  br i1 %lcmp.mod805.not, label %._crit_edge486, label %.lr.ph485.epil

.lr.ph485.epil:                                   ; preds = %._crit_edge486.loopexit.unr-lcssa, %.lr.ph485.epil
  %indvars.iv599.epil = phi i64 [ %indvars.iv.next600.epil, %.lr.ph485.epil ], [ %indvars.iv599.unr, %._crit_edge486.loopexit.unr-lcssa ]
  %.0374483.epil = phi double [ %.1375.epil, %.lr.ph485.epil ], [ %.0374483.unr, %._crit_edge486.loopexit.unr-lcssa ]
  %epil.iter804 = phi i64 [ %epil.iter804.next, %.lr.ph485.epil ], [ 0, %._crit_edge486.loopexit.unr-lcssa ]
  %261 = getelementptr inbounds double, ptr %100, i64 %indvars.iv599.epil
  %262 = load double, ptr %261, align 8, !tbaa !7
  %263 = fcmp ogt double %262, %.0374483.epil
  %.1375.epil = select i1 %263, double %262, double %.0374483.epil
  %indvars.iv.next600.epil = add nuw nsw i64 %indvars.iv599.epil, 1
  %epil.iter804.next = add i64 %epil.iter804, 1
  %epil.iter804.cmp.not = icmp eq i64 %epil.iter804.next, %xtraiter803
  br i1 %epil.iter804.cmp.not, label %._crit_edge486, label %.lr.ph485.epil, !llvm.loop !41

._crit_edge486:                                   ; preds = %._crit_edge486.loopexit.unr-lcssa, %.lr.ph485.epil, %._crit_edge481.thread, %._crit_edge481
  %264 = phi i1 [ false, %._crit_edge481 ], [ false, %._crit_edge481.thread ], [ %248, %.lr.ph485.epil ], [ %248, %._crit_edge486.loopexit.unr-lcssa ]
  %.0374.lcssa = phi double [ %247, %._crit_edge481 ], [ %234, %._crit_edge481.thread ], [ %.1375.lcssa.ph, %._crit_edge486.loopexit.unr-lcssa ], [ %.1375.epil, %.lr.ph485.epil ]
  %265 = fcmp olt double %.0374.lcssa, 0x3CB0000000000000
  br i1 %265, label %266, label %267

266:                                              ; preds = %._crit_edge486
  call void @SharedFunctionVariablesFree(ptr noundef nonnull %11)
  call void @free(ptr noundef nonnull %37) #10
  br label %418

267:                                              ; preds = %._crit_edge486
  %268 = getelementptr inbounds i8, ptr %11, i64 16
  store ptr %2, ptr %268, align 8, !tbaa !42
  %269 = getelementptr inbounds i8, ptr %11, i64 24
  store ptr %3, ptr %269, align 8, !tbaa !43
  %270 = load double, ptr %213, align 8, !tbaa !7
  %271 = fmul double %270, 1.000000e-01
  store double %271, ptr %213, align 8, !tbaa !7
  %272 = call double @solvopt(i32 noundef %5, ptr noundef %7, ptr noundef nonnull @obj, ptr noundef nonnull @gobj, ptr noundef nonnull %10, ptr noundef nonnull @pen, ptr noundef nonnull @gpen, ptr noundef nonnull %11) #10
  store double %272, ptr %8, align 8, !tbaa !7
  call void @matrix_vector_mult(ptr noundef %2, ptr noundef %7, ptr noundef nonnull %100, i32 noundef %6, i32 noundef %5, double noundef 1.000000e+00)
  br i1 %66, label %.lr.ph490.preheader, label %._crit_edge491

.lr.ph490.preheader:                              ; preds = %267
  %wide.trip.count607 = zext nneg i32 %6 to i64
  %min.iters.check734 = icmp ult i32 %6, 4
  br i1 %min.iters.check734, label %.lr.ph490.preheader764, label %vector.ph735

vector.ph735:                                     ; preds = %.lr.ph490.preheader
  %n.vec737 = and i64 %wide.trip.count607, 2147483644
  br label %vector.body739

vector.body739:                                   ; preds = %vector.body739, %vector.ph735
  %index740 = phi i64 [ 0, %vector.ph735 ], [ %index.next745, %vector.body739 ]
  %273 = getelementptr inbounds double, ptr %3, i64 %index740
  %274 = getelementptr inbounds i8, ptr %273, i64 16
  %wide.load741 = load <2 x double>, ptr %273, align 8, !tbaa !7
  %wide.load742 = load <2 x double>, ptr %274, align 8, !tbaa !7
  %275 = getelementptr inbounds double, ptr %100, i64 %index740
  %276 = getelementptr inbounds i8, ptr %275, i64 16
  %wide.load743 = load <2 x double>, ptr %275, align 8, !tbaa !7
  %wide.load744 = load <2 x double>, ptr %276, align 8, !tbaa !7
  %277 = fsub <2 x double> %wide.load743, %wide.load741
  %278 = fsub <2 x double> %wide.load744, %wide.load742
  store <2 x double> %277, ptr %275, align 8, !tbaa !7
  store <2 x double> %278, ptr %276, align 8, !tbaa !7
  %index.next745 = add nuw i64 %index740, 4
  %279 = icmp eq i64 %index.next745, %n.vec737
  br i1 %279, label %middle.block732, label %vector.body739, !llvm.loop !44

middle.block732:                                  ; preds = %vector.body739
  %cmp.n746 = icmp eq i64 %n.vec737, %wide.trip.count607
  br i1 %cmp.n746, label %._crit_edge491, label %.lr.ph490.preheader764

.lr.ph490.preheader764:                           ; preds = %middle.block732, %.lr.ph490.preheader
  %indvars.iv604.ph = phi i64 [ 0, %.lr.ph490.preheader ], [ %n.vec737, %middle.block732 ]
  br label %.lr.ph490

.lr.ph490:                                        ; preds = %.lr.ph490.preheader764, %.lr.ph490
  %indvars.iv604 = phi i64 [ %indvars.iv.next605, %.lr.ph490 ], [ %indvars.iv604.ph, %.lr.ph490.preheader764 ]
  %280 = getelementptr inbounds double, ptr %3, i64 %indvars.iv604
  %281 = load double, ptr %280, align 8, !tbaa !7
  %282 = getelementptr inbounds double, ptr %100, i64 %indvars.iv604
  %283 = load double, ptr %282, align 8, !tbaa !7
  %284 = fsub double %283, %281
  store double %284, ptr %282, align 8, !tbaa !7
  %indvars.iv.next605 = add nuw nsw i64 %indvars.iv604, 1
  %exitcond608.not = icmp eq i64 %indvars.iv.next605, %wide.trip.count607
  br i1 %exitcond608.not, label %._crit_edge491, label %.lr.ph490, !llvm.loop !45

._crit_edge491:                                   ; preds = %.lr.ph490, %middle.block732, %267
  %285 = load double, ptr %100, align 8, !tbaa !7
  br i1 %264, label %.lr.ph495.preheader, label %.preheader411

.lr.ph495.preheader:                              ; preds = %._crit_edge491
  %wide.trip.count612 = zext nneg i32 %6 to i64
  %286 = add nsw i64 %wide.trip.count612, -1
  %287 = add nsw i64 %wide.trip.count612, -2
  %xtraiter809 = and i64 %286, 3
  %288 = icmp ult i64 %287, 3
  br i1 %288, label %.preheader411.loopexit.unr-lcssa, label %.lr.ph495.preheader.new

.lr.ph495.preheader.new:                          ; preds = %.lr.ph495.preheader
  %unroll_iter813 = and i64 %286, -4
  %invariant.gep833 = getelementptr inbounds i8, ptr %100, i64 8
  %invariant.gep835 = getelementptr inbounds i8, ptr %100, i64 16
  %invariant.gep837 = getelementptr inbounds i8, ptr %100, i64 24
  br label %.lr.ph495

.preheader411.loopexit.unr-lcssa:                 ; preds = %.lr.ph495, %.lr.ph495.preheader
  %.3377.lcssa.ph = phi double [ poison, %.lr.ph495.preheader ], [ %.3377.3, %.lr.ph495 ]
  %indvars.iv609.unr = phi i64 [ 1, %.lr.ph495.preheader ], [ %indvars.iv.next610.3, %.lr.ph495 ]
  %.2376493.unr = phi double [ %285, %.lr.ph495.preheader ], [ %.3377.3, %.lr.ph495 ]
  %lcmp.mod811.not = icmp eq i64 %xtraiter809, 0
  br i1 %lcmp.mod811.not, label %.preheader411, label %.lr.ph495.epil

.lr.ph495.epil:                                   ; preds = %.preheader411.loopexit.unr-lcssa, %.lr.ph495.epil
  %indvars.iv609.epil = phi i64 [ %indvars.iv.next610.epil, %.lr.ph495.epil ], [ %indvars.iv609.unr, %.preheader411.loopexit.unr-lcssa ]
  %.2376493.epil = phi double [ %.3377.epil, %.lr.ph495.epil ], [ %.2376493.unr, %.preheader411.loopexit.unr-lcssa ]
  %epil.iter810 = phi i64 [ %epil.iter810.next, %.lr.ph495.epil ], [ 0, %.preheader411.loopexit.unr-lcssa ]
  %289 = getelementptr inbounds double, ptr %100, i64 %indvars.iv609.epil
  %290 = load double, ptr %289, align 8, !tbaa !7
  %291 = fcmp ogt double %290, %.2376493.epil
  %.3377.epil = select i1 %291, double %290, double %.2376493.epil
  %indvars.iv.next610.epil = add nuw nsw i64 %indvars.iv609.epil, 1
  %epil.iter810.next = add i64 %epil.iter810, 1
  %epil.iter810.cmp.not = icmp eq i64 %epil.iter810.next, %xtraiter809
  br i1 %epil.iter810.cmp.not, label %.preheader411, label %.lr.ph495.epil, !llvm.loop !46

.preheader411:                                    ; preds = %.preheader411.loopexit.unr-lcssa, %.lr.ph495.epil, %._crit_edge491
  %.2376.lcssa = phi double [ %285, %._crit_edge491 ], [ %.3377.lcssa.ph, %.preheader411.loopexit.unr-lcssa ], [ %.3377.epil, %.lr.ph495.epil ]
  %292 = load double, ptr %213, align 8, !tbaa !7
  %293 = fcmp ogt double %.2376.lcssa, %292
  br i1 %293, label %.preheader.lr.ph, label %._crit_edge509

.preheader.lr.ph:                                 ; preds = %.preheader411
  %smax617 = call i32 @llvm.smax.i32(i32 %5, i32 1)
  %wide.trip.count618 = zext nneg i32 %smax617 to i64
  %wide.trip.count623 = zext i32 %6 to i64
  %294 = add nsw i64 %wide.trip.count623, -1
  %295 = add nsw i64 %wide.trip.count623, -2
  %min.iters.check749 = icmp ult i32 %6, 4
  %n.vec752 = and i64 %wide.trip.count623, 2147483644
  %cmp.n761 = icmp eq i64 %n.vec752, %wide.trip.count623
  %xtraiter815 = and i64 %294, 3
  %296 = icmp ult i64 %295, 3
  %unroll_iter819 = and i64 %294, -4
  %invariant.gep839 = getelementptr inbounds i8, ptr %100, i64 8
  %invariant.gep841 = getelementptr inbounds i8, ptr %100, i64 16
  %invariant.gep843 = getelementptr inbounds i8, ptr %100, i64 24
  %lcmp.mod817.not = icmp eq i64 %xtraiter815, 0
  br label %.lr.ph498

.lr.ph495:                                        ; preds = %.lr.ph495, %.lr.ph495.preheader.new
  %indvars.iv609 = phi i64 [ 1, %.lr.ph495.preheader.new ], [ %indvars.iv.next610.3, %.lr.ph495 ]
  %.2376493 = phi double [ %285, %.lr.ph495.preheader.new ], [ %.3377.3, %.lr.ph495 ]
  %niter814 = phi i64 [ 0, %.lr.ph495.preheader.new ], [ %niter814.next.3, %.lr.ph495 ]
  %297 = getelementptr inbounds double, ptr %100, i64 %indvars.iv609
  %298 = load double, ptr %297, align 8, !tbaa !7
  %299 = fcmp ogt double %298, %.2376493
  %.3377 = select i1 %299, double %298, double %.2376493
  %gep834 = getelementptr inbounds double, ptr %invariant.gep833, i64 %indvars.iv609
  %300 = load double, ptr %gep834, align 8, !tbaa !7
  %301 = fcmp ogt double %300, %.3377
  %.3377.1 = select i1 %301, double %300, double %.3377
  %gep836 = getelementptr inbounds double, ptr %invariant.gep835, i64 %indvars.iv609
  %302 = load double, ptr %gep836, align 8, !tbaa !7
  %303 = fcmp ogt double %302, %.3377.1
  %.3377.2 = select i1 %303, double %302, double %.3377.1
  %gep838 = getelementptr inbounds double, ptr %invariant.gep837, i64 %indvars.iv609
  %304 = load double, ptr %gep838, align 8, !tbaa !7
  %305 = fcmp ogt double %304, %.3377.2
  %.3377.3 = select i1 %305, double %304, double %.3377.2
  %indvars.iv.next610.3 = add nuw nsw i64 %indvars.iv609, 4
  %niter814.next.3 = add i64 %niter814, 4
  %niter814.ncmp.3 = icmp eq i64 %niter814.next.3, %unroll_iter813
  br i1 %niter814.ncmp.3, label %.preheader411.loopexit.unr-lcssa, label %.lr.ph495, !llvm.loop !47

.loopexit.loopexit.unr-lcssa:                     ; preds = %.lr.ph507, %.lr.ph507.preheader
  %.6.lcssa.ph = phi double [ poison, %.lr.ph507.preheader ], [ %.6.3, %.lr.ph507 ]
  %indvars.iv625.unr = phi i64 [ 1, %.lr.ph507.preheader ], [ %indvars.iv.next626.3, %.lr.ph507 ]
  %.5505.unr = phi double [ %329, %.lr.ph507.preheader ], [ %.6.3, %.lr.ph507 ]
  br i1 %lcmp.mod817.not, label %.loopexit, label %.lr.ph507.epil

.lr.ph507.epil:                                   ; preds = %.loopexit.loopexit.unr-lcssa, %.lr.ph507.epil
  %indvars.iv625.epil = phi i64 [ %indvars.iv.next626.epil, %.lr.ph507.epil ], [ %indvars.iv625.unr, %.loopexit.loopexit.unr-lcssa ]
  %.5505.epil = phi double [ %.6.epil, %.lr.ph507.epil ], [ %.5505.unr, %.loopexit.loopexit.unr-lcssa ]
  %epil.iter816 = phi i64 [ %epil.iter816.next, %.lr.ph507.epil ], [ 0, %.loopexit.loopexit.unr-lcssa ]
  %306 = getelementptr inbounds double, ptr %100, i64 %indvars.iv625.epil
  %307 = load double, ptr %306, align 8, !tbaa !7
  %308 = fcmp ogt double %307, %.5505.epil
  %.6.epil = select i1 %308, double %307, double %.5505.epil
  %indvars.iv.next626.epil = add nuw nsw i64 %indvars.iv625.epil, 1
  %epil.iter816.next = add i64 %epil.iter816, 1
  %epil.iter816.cmp.not = icmp eq i64 %epil.iter816.next, %xtraiter815
  br i1 %epil.iter816.cmp.not, label %.loopexit, label %.lr.ph507.epil, !llvm.loop !48

.loopexit:                                        ; preds = %.loopexit.loopexit.unr-lcssa, %.lr.ph507.epil, %._crit_edge503
  %.5.lcssa = phi double [ %329, %._crit_edge503 ], [ %.6.lcssa.ph, %.loopexit.loopexit.unr-lcssa ], [ %.6.epil, %.lr.ph507.epil ]
  %309 = load double, ptr %213, align 8, !tbaa !7
  %310 = fcmp ogt double %.5.lcssa, %309
  br i1 %310, label %.lr.ph498.backedge, label %._crit_edge509

.lr.ph498:                                        ; preds = %.lr.ph498.backedge, %.preheader.lr.ph
  %indvars.iv614 = phi i64 [ 0, %.preheader.lr.ph ], [ %indvars.iv614.be, %.lr.ph498.backedge ]
  %311 = getelementptr inbounds double, ptr %63, i64 %indvars.iv614
  %312 = load double, ptr %311, align 8, !tbaa !7
  %313 = call double @genrand_res53() #10
  %314 = call double @llvm.fmuladd.f64(double %313, double 5.000000e-01, double %312)
  %315 = getelementptr inbounds double, ptr %7, i64 %indvars.iv614
  store double %314, ptr %315, align 8, !tbaa !7
  %indvars.iv.next615 = add nuw nsw i64 %indvars.iv614, 1
  %exitcond619.not = icmp eq i64 %indvars.iv.next615, %wide.trip.count618
  br i1 %exitcond619.not, label %._crit_edge499, label %.lr.ph498.backedge

.lr.ph498.backedge:                               ; preds = %.lr.ph498, %.loopexit
  %indvars.iv614.be = phi i64 [ %indvars.iv.next615, %.lr.ph498 ], [ 0, %.loopexit ]
  br label %.lr.ph498, !llvm.loop !49

._crit_edge499:                                   ; preds = %.lr.ph498
  %316 = call double @solvopt(i32 noundef %5, ptr noundef nonnull %7, ptr noundef nonnull @obj, ptr noundef nonnull @gobj, ptr noundef nonnull %10, ptr noundef nonnull @pen, ptr noundef nonnull @gpen, ptr noundef nonnull %11) #10
  store double %316, ptr %8, align 8, !tbaa !7
  call void @matrix_vector_mult(ptr noundef %2, ptr noundef nonnull %7, ptr noundef nonnull %100, i32 noundef %6, i32 noundef %5, double noundef 1.000000e+00)
  br i1 %66, label %.lr.ph502.preheader, label %._crit_edge503

.lr.ph502.preheader:                              ; preds = %._crit_edge499
  br i1 %min.iters.check749, label %.lr.ph502.preheader763, label %vector.body754

vector.body754:                                   ; preds = %.lr.ph502.preheader, %vector.body754
  %index755 = phi i64 [ %index.next760, %vector.body754 ], [ 0, %.lr.ph502.preheader ]
  %317 = getelementptr inbounds double, ptr %3, i64 %index755
  %318 = getelementptr inbounds i8, ptr %317, i64 16
  %wide.load756 = load <2 x double>, ptr %317, align 8, !tbaa !7
  %wide.load757 = load <2 x double>, ptr %318, align 8, !tbaa !7
  %319 = getelementptr inbounds double, ptr %100, i64 %index755
  %320 = getelementptr inbounds i8, ptr %319, i64 16
  %wide.load758 = load <2 x double>, ptr %319, align 8, !tbaa !7
  %wide.load759 = load <2 x double>, ptr %320, align 8, !tbaa !7
  %321 = fsub <2 x double> %wide.load758, %wide.load756
  %322 = fsub <2 x double> %wide.load759, %wide.load757
  store <2 x double> %321, ptr %319, align 8, !tbaa !7
  store <2 x double> %322, ptr %320, align 8, !tbaa !7
  %index.next760 = add nuw i64 %index755, 4
  %323 = icmp eq i64 %index.next760, %n.vec752
  br i1 %323, label %middle.block747, label %vector.body754, !llvm.loop !50

middle.block747:                                  ; preds = %vector.body754
  br i1 %cmp.n761, label %._crit_edge503, label %.lr.ph502.preheader763

.lr.ph502.preheader763:                           ; preds = %middle.block747, %.lr.ph502.preheader
  %indvars.iv620.ph = phi i64 [ 0, %.lr.ph502.preheader ], [ %n.vec752, %middle.block747 ]
  br label %.lr.ph502

.lr.ph502:                                        ; preds = %.lr.ph502.preheader763, %.lr.ph502
  %indvars.iv620 = phi i64 [ %indvars.iv.next621, %.lr.ph502 ], [ %indvars.iv620.ph, %.lr.ph502.preheader763 ]
  %324 = getelementptr inbounds double, ptr %3, i64 %indvars.iv620
  %325 = load double, ptr %324, align 8, !tbaa !7
  %326 = getelementptr inbounds double, ptr %100, i64 %indvars.iv620
  %327 = load double, ptr %326, align 8, !tbaa !7
  %328 = fsub double %327, %325
  store double %328, ptr %326, align 8, !tbaa !7
  %indvars.iv.next621 = add nuw nsw i64 %indvars.iv620, 1
  %exitcond624.not = icmp eq i64 %indvars.iv.next621, %wide.trip.count623
  br i1 %exitcond624.not, label %._crit_edge503, label %.lr.ph502, !llvm.loop !51

._crit_edge503:                                   ; preds = %.lr.ph502, %middle.block747, %._crit_edge499
  %329 = load double, ptr %100, align 8, !tbaa !7
  br i1 %264, label %.lr.ph507.preheader, label %.loopexit

.lr.ph507.preheader:                              ; preds = %._crit_edge503
  br i1 %296, label %.loopexit.loopexit.unr-lcssa, label %.lr.ph507

.lr.ph507:                                        ; preds = %.lr.ph507.preheader, %.lr.ph507
  %indvars.iv625 = phi i64 [ %indvars.iv.next626.3, %.lr.ph507 ], [ 1, %.lr.ph507.preheader ]
  %.5505 = phi double [ %.6.3, %.lr.ph507 ], [ %329, %.lr.ph507.preheader ]
  %niter820 = phi i64 [ %niter820.next.3, %.lr.ph507 ], [ 0, %.lr.ph507.preheader ]
  %330 = getelementptr inbounds double, ptr %100, i64 %indvars.iv625
  %331 = load double, ptr %330, align 8, !tbaa !7
  %332 = fcmp ogt double %331, %.5505
  %.6 = select i1 %332, double %331, double %.5505
  %gep840 = getelementptr inbounds double, ptr %invariant.gep839, i64 %indvars.iv625
  %333 = load double, ptr %gep840, align 8, !tbaa !7
  %334 = fcmp ogt double %333, %.6
  %.6.1 = select i1 %334, double %333, double %.6
  %gep842 = getelementptr inbounds double, ptr %invariant.gep841, i64 %indvars.iv625
  %335 = load double, ptr %gep842, align 8, !tbaa !7
  %336 = fcmp ogt double %335, %.6.1
  %.6.2 = select i1 %336, double %335, double %.6.1
  %gep844 = getelementptr inbounds double, ptr %invariant.gep843, i64 %indvars.iv625
  %337 = load double, ptr %gep844, align 8, !tbaa !7
  %338 = fcmp ogt double %337, %.6.2
  %.6.3 = select i1 %338, double %337, double %.6.2
  %indvars.iv.next626.3 = add nuw nsw i64 %indvars.iv625, 4
  %niter820.next.3 = add i64 %niter820, 4
  %niter820.ncmp.3 = icmp eq i64 %niter820.next.3, %unroll_iter819
  br i1 %niter820.ncmp.3, label %.loopexit.loopexit.unr-lcssa, label %.lr.ph507, !llvm.loop !52

._crit_edge509:                                   ; preds = %.loopexit, %.preheader411
  call void @SharedFunctionVariablesFree(ptr noundef nonnull %11)
  call void @free(ptr noundef nonnull %37) #10
  br label %418

339:                                              ; preds = %.loopexit420.thread, %.loopexit420
  %340 = phi ptr [ %91, %.loopexit420.thread ], [ %100, %.loopexit420 ]
  call void @SharedFunctionVariablesInit(ptr noundef nonnull %11, ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, i32 noundef %5, i32 noundef %6)
  %341 = call double @solvopt(i32 noundef %5, ptr noundef %7, ptr noundef nonnull @obj, ptr noundef nonnull @gobj, ptr noundef nonnull %10, ptr noundef nonnull @pen, ptr noundef nonnull @gpen, ptr noundef nonnull %11) #10
  store double %341, ptr %8, align 8, !tbaa !7
  call void @matrix_vector_mult(ptr noundef %2, ptr noundef %7, ptr noundef %340, i32 noundef %6, i32 noundef %5, double noundef 1.000000e+00)
  br i1 %66, label %.lr.ph438.preheader, label %._crit_edge439.thread

._crit_edge439.thread:                            ; preds = %339
  %342 = load double, ptr %340, align 8, !tbaa !7
  br label %.preheader418

.lr.ph438.preheader:                              ; preds = %339
  %wide.trip.count535 = zext nneg i32 %6 to i64
  %min.iters.check659 = icmp ult i32 %6, 4
  br i1 %min.iters.check659, label %.lr.ph438.preheader769, label %vector.ph660

vector.ph660:                                     ; preds = %.lr.ph438.preheader
  %n.vec662 = and i64 %wide.trip.count535, 2147483644
  br label %vector.body664

vector.body664:                                   ; preds = %vector.body664, %vector.ph660
  %index665 = phi i64 [ 0, %vector.ph660 ], [ %index.next670, %vector.body664 ]
  %343 = getelementptr inbounds double, ptr %3, i64 %index665
  %344 = getelementptr inbounds i8, ptr %343, i64 16
  %wide.load666 = load <2 x double>, ptr %343, align 8, !tbaa !7
  %wide.load667 = load <2 x double>, ptr %344, align 8, !tbaa !7
  %345 = getelementptr inbounds double, ptr %340, i64 %index665
  %346 = getelementptr inbounds i8, ptr %345, i64 16
  %wide.load668 = load <2 x double>, ptr %345, align 8, !tbaa !7
  %wide.load669 = load <2 x double>, ptr %346, align 8, !tbaa !7
  %347 = fsub <2 x double> %wide.load668, %wide.load666
  %348 = fsub <2 x double> %wide.load669, %wide.load667
  store <2 x double> %347, ptr %345, align 8, !tbaa !7
  store <2 x double> %348, ptr %346, align 8, !tbaa !7
  %index.next670 = add nuw i64 %index665, 4
  %349 = icmp eq i64 %index.next670, %n.vec662
  br i1 %349, label %middle.block657, label %vector.body664, !llvm.loop !53

middle.block657:                                  ; preds = %vector.body664
  %cmp.n671 = icmp eq i64 %n.vec662, %wide.trip.count535
  br i1 %cmp.n671, label %._crit_edge439, label %.lr.ph438.preheader769

.lr.ph438.preheader769:                           ; preds = %middle.block657, %.lr.ph438.preheader
  %indvars.iv532.ph = phi i64 [ 0, %.lr.ph438.preheader ], [ %n.vec662, %middle.block657 ]
  br label %.lr.ph438

.lr.ph438:                                        ; preds = %.lr.ph438.preheader769, %.lr.ph438
  %indvars.iv532 = phi i64 [ %indvars.iv.next533, %.lr.ph438 ], [ %indvars.iv532.ph, %.lr.ph438.preheader769 ]
  %350 = getelementptr inbounds double, ptr %3, i64 %indvars.iv532
  %351 = load double, ptr %350, align 8, !tbaa !7
  %352 = getelementptr inbounds double, ptr %340, i64 %indvars.iv532
  %353 = load double, ptr %352, align 8, !tbaa !7
  %354 = fsub double %353, %351
  store double %354, ptr %352, align 8, !tbaa !7
  %indvars.iv.next533 = add nuw nsw i64 %indvars.iv532, 1
  %exitcond536.not = icmp eq i64 %indvars.iv.next533, %wide.trip.count535
  br i1 %exitcond536.not, label %._crit_edge439, label %.lr.ph438, !llvm.loop !54

._crit_edge439:                                   ; preds = %.lr.ph438, %middle.block657
  %355 = load double, ptr %340, align 8, !tbaa !7
  %356 = icmp ne i32 %6, 1
  br i1 %356, label %.lr.ph443.preheader, label %.preheader418

.lr.ph443.preheader:                              ; preds = %._crit_edge439
  %357 = add nsw i64 %wide.trip.count535, -1
  %358 = add nsw i64 %wide.trip.count535, -2
  %xtraiter = and i64 %357, 3
  %359 = icmp ult i64 %358, 3
  br i1 %359, label %.preheader418.loopexit.unr-lcssa, label %.lr.ph443.preheader.new

.lr.ph443.preheader.new:                          ; preds = %.lr.ph443.preheader
  %unroll_iter = and i64 %357, -4
  br label %.lr.ph443

.preheader418.loopexit.unr-lcssa:                 ; preds = %.lr.ph443, %.lr.ph443.preheader
  %.1.lcssa.ph = phi double [ poison, %.lr.ph443.preheader ], [ %.1.3, %.lr.ph443 ]
  %indvars.iv537.unr = phi i64 [ 1, %.lr.ph443.preheader ], [ %indvars.iv.next538.3, %.lr.ph443 ]
  %.0441.unr = phi double [ %355, %.lr.ph443.preheader ], [ %.1.3, %.lr.ph443 ]
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %.preheader418, label %.lr.ph443.epil

.lr.ph443.epil:                                   ; preds = %.preheader418.loopexit.unr-lcssa, %.lr.ph443.epil
  %indvars.iv537.epil = phi i64 [ %indvars.iv.next538.epil, %.lr.ph443.epil ], [ %indvars.iv537.unr, %.preheader418.loopexit.unr-lcssa ]
  %.0441.epil = phi double [ %.1.epil, %.lr.ph443.epil ], [ %.0441.unr, %.preheader418.loopexit.unr-lcssa ]
  %epil.iter = phi i64 [ %epil.iter.next, %.lr.ph443.epil ], [ 0, %.preheader418.loopexit.unr-lcssa ]
  %360 = getelementptr inbounds double, ptr %340, i64 %indvars.iv537.epil
  %361 = load double, ptr %360, align 8, !tbaa !7
  %362 = fcmp ogt double %361, %.0441.epil
  %.1.epil = select i1 %362, double %361, double %.0441.epil
  %indvars.iv.next538.epil = add nuw nsw i64 %indvars.iv537.epil, 1
  %epil.iter.next = add i64 %epil.iter, 1
  %epil.iter.cmp.not = icmp eq i64 %epil.iter.next, %xtraiter
  br i1 %epil.iter.cmp.not, label %.preheader418, label %.lr.ph443.epil, !llvm.loop !55

.preheader418:                                    ; preds = %.preheader418.loopexit.unr-lcssa, %.lr.ph443.epil, %._crit_edge439.thread, %._crit_edge439
  %363 = phi i1 [ false, %._crit_edge439 ], [ false, %._crit_edge439.thread ], [ %356, %.lr.ph443.epil ], [ %356, %.preheader418.loopexit.unr-lcssa ]
  %.0.lcssa = phi double [ %355, %._crit_edge439 ], [ %342, %._crit_edge439.thread ], [ %.1.lcssa.ph, %.preheader418.loopexit.unr-lcssa ], [ %.1.epil, %.lr.ph443.epil ]
  %364 = getelementptr inbounds i8, ptr %10, i64 40
  %365 = load double, ptr %364, align 8, !tbaa !7
  %366 = fcmp ogt double %.0.lcssa, %365
  br i1 %366, label %.preheader417.lr.ph, label %._crit_edge457

.preheader417.lr.ph:                              ; preds = %.preheader418
  %wide.trip.count545 = zext nneg i32 %5 to i64
  %wide.trip.count550 = zext i32 %6 to i64
  %367 = add nsw i64 %wide.trip.count550, -1
  %368 = add nsw i64 %wide.trip.count550, -2
  %min.iters.check674 = icmp ult i32 %6, 4
  %n.vec677 = and i64 %wide.trip.count550, 2147483644
  %cmp.n686 = icmp eq i64 %n.vec677, %wide.trip.count550
  %xtraiter777 = and i64 %367, 3
  %369 = icmp ult i64 %368, 3
  %unroll_iter781 = and i64 %367, -4
  %lcmp.mod779.not = icmp eq i64 %xtraiter777, 0
  br label %.preheader417

.lr.ph443:                                        ; preds = %.lr.ph443, %.lr.ph443.preheader.new
  %indvars.iv537 = phi i64 [ 1, %.lr.ph443.preheader.new ], [ %indvars.iv.next538.3, %.lr.ph443 ]
  %.0441 = phi double [ %355, %.lr.ph443.preheader.new ], [ %.1.3, %.lr.ph443 ]
  %niter = phi i64 [ 0, %.lr.ph443.preheader.new ], [ %niter.next.3, %.lr.ph443 ]
  %370 = getelementptr inbounds double, ptr %340, i64 %indvars.iv537
  %371 = load double, ptr %370, align 8, !tbaa !7
  %372 = fcmp ogt double %371, %.0441
  %.1 = select i1 %372, double %371, double %.0441
  %indvars.iv.next538 = add nuw nsw i64 %indvars.iv537, 1
  %373 = getelementptr inbounds double, ptr %340, i64 %indvars.iv.next538
  %374 = load double, ptr %373, align 8, !tbaa !7
  %375 = fcmp ogt double %374, %.1
  %.1.1 = select i1 %375, double %374, double %.1
  %indvars.iv.next538.1 = add nuw nsw i64 %indvars.iv537, 2
  %376 = getelementptr inbounds double, ptr %340, i64 %indvars.iv.next538.1
  %377 = load double, ptr %376, align 8, !tbaa !7
  %378 = fcmp ogt double %377, %.1.1
  %.1.2 = select i1 %378, double %377, double %.1.1
  %indvars.iv.next538.2 = add nuw nsw i64 %indvars.iv537, 3
  %379 = getelementptr inbounds double, ptr %340, i64 %indvars.iv.next538.2
  %380 = load double, ptr %379, align 8, !tbaa !7
  %381 = fcmp ogt double %380, %.1.2
  %.1.3 = select i1 %381, double %380, double %.1.2
  %indvars.iv.next538.3 = add nuw nsw i64 %indvars.iv537, 4
  %niter.next.3 = add i64 %niter, 4
  %niter.ncmp.3 = icmp eq i64 %niter.next.3, %unroll_iter
  br i1 %niter.ncmp.3, label %.preheader418.loopexit.unr-lcssa, label %.lr.ph443, !llvm.loop !56

.loopexit416.loopexit.unr-lcssa:                  ; preds = %.lr.ph455, %.lr.ph455.preheader
  %.4.lcssa.ph = phi double [ poison, %.lr.ph455.preheader ], [ %.4.3, %.lr.ph455 ]
  %indvars.iv552.unr = phi i64 [ 1, %.lr.ph455.preheader ], [ %indvars.iv.next553.3, %.lr.ph455 ]
  %.3453.unr = phi double [ %405, %.lr.ph455.preheader ], [ %.4.3, %.lr.ph455 ]
  br i1 %lcmp.mod779.not, label %.loopexit416, label %.lr.ph455.epil

.lr.ph455.epil:                                   ; preds = %.loopexit416.loopexit.unr-lcssa, %.lr.ph455.epil
  %indvars.iv552.epil = phi i64 [ %indvars.iv.next553.epil, %.lr.ph455.epil ], [ %indvars.iv552.unr, %.loopexit416.loopexit.unr-lcssa ]
  %.3453.epil = phi double [ %.4.epil, %.lr.ph455.epil ], [ %.3453.unr, %.loopexit416.loopexit.unr-lcssa ]
  %epil.iter778 = phi i64 [ %epil.iter778.next, %.lr.ph455.epil ], [ 0, %.loopexit416.loopexit.unr-lcssa ]
  %382 = getelementptr inbounds double, ptr %340, i64 %indvars.iv552.epil
  %383 = load double, ptr %382, align 8, !tbaa !7
  %384 = fcmp ogt double %383, %.3453.epil
  %.4.epil = select i1 %384, double %383, double %.3453.epil
  %indvars.iv.next553.epil = add nuw nsw i64 %indvars.iv552.epil, 1
  %epil.iter778.next = add i64 %epil.iter778, 1
  %epil.iter778.cmp.not = icmp eq i64 %epil.iter778.next, %xtraiter777
  br i1 %epil.iter778.cmp.not, label %.loopexit416, label %.lr.ph455.epil, !llvm.loop !57

.loopexit416:                                     ; preds = %.loopexit416.loopexit.unr-lcssa, %.lr.ph455.epil, %._crit_edge451
  %.3.lcssa = phi double [ %405, %._crit_edge451 ], [ %.4.lcssa.ph, %.loopexit416.loopexit.unr-lcssa ], [ %.4.epil, %.lr.ph455.epil ]
  %385 = load double, ptr %364, align 8, !tbaa !7
  %386 = fcmp ogt double %.3.lcssa, %385
  br i1 %386, label %.preheader417, label %._crit_edge457, !llvm.loop !58

.preheader417:                                    ; preds = %.preheader417.lr.ph, %.loopexit416
  br i1 %12, label %.lr.ph446, label %._crit_edge447

.lr.ph446:                                        ; preds = %.preheader417, %.lr.ph446
  %indvars.iv542 = phi i64 [ %indvars.iv.next543, %.lr.ph446 ], [ 0, %.preheader417 ]
  %387 = getelementptr inbounds double, ptr %63, i64 %indvars.iv542
  %388 = load double, ptr %387, align 8, !tbaa !7
  %389 = call double @genrand_res53() #10
  %390 = call double @llvm.fmuladd.f64(double %389, double 5.000000e-01, double %388)
  %391 = getelementptr inbounds double, ptr %7, i64 %indvars.iv542
  store double %390, ptr %391, align 8, !tbaa !7
  %indvars.iv.next543 = add nuw nsw i64 %indvars.iv542, 1
  %exitcond546.not = icmp eq i64 %indvars.iv.next543, %wide.trip.count545
  br i1 %exitcond546.not, label %._crit_edge447, label %.lr.ph446, !llvm.loop !59

._crit_edge447:                                   ; preds = %.lr.ph446, %.preheader417
  %392 = call double @solvopt(i32 noundef %5, ptr noundef %7, ptr noundef nonnull @obj, ptr noundef nonnull @gobj, ptr noundef nonnull %10, ptr noundef nonnull @pen, ptr noundef nonnull @gpen, ptr noundef nonnull %11) #10
  store double %392, ptr %8, align 8, !tbaa !7
  call void @matrix_vector_mult(ptr noundef %2, ptr noundef %7, ptr noundef nonnull %340, i32 noundef %6, i32 noundef %5, double noundef 1.000000e+00)
  br i1 %66, label %.lr.ph450.preheader, label %._crit_edge451

.lr.ph450.preheader:                              ; preds = %._crit_edge447
  br i1 %min.iters.check674, label %.lr.ph450.preheader768, label %vector.body679

vector.body679:                                   ; preds = %.lr.ph450.preheader, %vector.body679
  %index680 = phi i64 [ %index.next685, %vector.body679 ], [ 0, %.lr.ph450.preheader ]
  %393 = getelementptr inbounds double, ptr %3, i64 %index680
  %394 = getelementptr inbounds i8, ptr %393, i64 16
  %wide.load681 = load <2 x double>, ptr %393, align 8, !tbaa !7
  %wide.load682 = load <2 x double>, ptr %394, align 8, !tbaa !7
  %395 = getelementptr inbounds double, ptr %340, i64 %index680
  %396 = getelementptr inbounds i8, ptr %395, i64 16
  %wide.load683 = load <2 x double>, ptr %395, align 8, !tbaa !7
  %wide.load684 = load <2 x double>, ptr %396, align 8, !tbaa !7
  %397 = fsub <2 x double> %wide.load683, %wide.load681
  %398 = fsub <2 x double> %wide.load684, %wide.load682
  store <2 x double> %397, ptr %395, align 8, !tbaa !7
  store <2 x double> %398, ptr %396, align 8, !tbaa !7
  %index.next685 = add nuw i64 %index680, 4
  %399 = icmp eq i64 %index.next685, %n.vec677
  br i1 %399, label %middle.block672, label %vector.body679, !llvm.loop !60

middle.block672:                                  ; preds = %vector.body679
  br i1 %cmp.n686, label %._crit_edge451, label %.lr.ph450.preheader768

.lr.ph450.preheader768:                           ; preds = %middle.block672, %.lr.ph450.preheader
  %indvars.iv547.ph = phi i64 [ 0, %.lr.ph450.preheader ], [ %n.vec677, %middle.block672 ]
  br label %.lr.ph450

.lr.ph450:                                        ; preds = %.lr.ph450.preheader768, %.lr.ph450
  %indvars.iv547 = phi i64 [ %indvars.iv.next548, %.lr.ph450 ], [ %indvars.iv547.ph, %.lr.ph450.preheader768 ]
  %400 = getelementptr inbounds double, ptr %3, i64 %indvars.iv547
  %401 = load double, ptr %400, align 8, !tbaa !7
  %402 = getelementptr inbounds double, ptr %340, i64 %indvars.iv547
  %403 = load double, ptr %402, align 8, !tbaa !7
  %404 = fsub double %403, %401
  store double %404, ptr %402, align 8, !tbaa !7
  %indvars.iv.next548 = add nuw nsw i64 %indvars.iv547, 1
  %exitcond551.not = icmp eq i64 %indvars.iv.next548, %wide.trip.count550
  br i1 %exitcond551.not, label %._crit_edge451, label %.lr.ph450, !llvm.loop !61

._crit_edge451:                                   ; preds = %.lr.ph450, %middle.block672, %._crit_edge447
  %405 = load double, ptr %340, align 8, !tbaa !7
  br i1 %363, label %.lr.ph455.preheader, label %.loopexit416

.lr.ph455.preheader:                              ; preds = %._crit_edge451
  br i1 %369, label %.loopexit416.loopexit.unr-lcssa, label %.lr.ph455

.lr.ph455:                                        ; preds = %.lr.ph455.preheader, %.lr.ph455
  %indvars.iv552 = phi i64 [ %indvars.iv.next553.3, %.lr.ph455 ], [ 1, %.lr.ph455.preheader ]
  %.3453 = phi double [ %.4.3, %.lr.ph455 ], [ %405, %.lr.ph455.preheader ]
  %niter782 = phi i64 [ %niter782.next.3, %.lr.ph455 ], [ 0, %.lr.ph455.preheader ]
  %406 = getelementptr inbounds double, ptr %340, i64 %indvars.iv552
  %407 = load double, ptr %406, align 8, !tbaa !7
  %408 = fcmp ogt double %407, %.3453
  %.4 = select i1 %408, double %407, double %.3453
  %indvars.iv.next553 = add nuw nsw i64 %indvars.iv552, 1
  %409 = getelementptr inbounds double, ptr %340, i64 %indvars.iv.next553
  %410 = load double, ptr %409, align 8, !tbaa !7
  %411 = fcmp ogt double %410, %.4
  %.4.1 = select i1 %411, double %410, double %.4
  %indvars.iv.next553.1 = add nuw nsw i64 %indvars.iv552, 2
  %412 = getelementptr inbounds double, ptr %340, i64 %indvars.iv.next553.1
  %413 = load double, ptr %412, align 8, !tbaa !7
  %414 = fcmp ogt double %413, %.4.1
  %.4.2 = select i1 %414, double %413, double %.4.1
  %indvars.iv.next553.2 = add nuw nsw i64 %indvars.iv552, 3
  %415 = getelementptr inbounds double, ptr %340, i64 %indvars.iv.next553.2
  %416 = load double, ptr %415, align 8, !tbaa !7
  %417 = fcmp ogt double %416, %.4.2
  %.4.3 = select i1 %417, double %416, double %.4.2
  %indvars.iv.next553.3 = add nuw nsw i64 %indvars.iv552, 4
  %niter782.next.3 = add i64 %niter782, 4
  %niter782.ncmp.3 = icmp eq i64 %niter782.next.3, %unroll_iter781
  br i1 %niter782.ncmp.3, label %.loopexit416.loopexit.unr-lcssa, label %.lr.ph455, !llvm.loop !62

._crit_edge457:                                   ; preds = %.loopexit416, %.preheader418
  call void @SharedFunctionVariablesFree(ptr noundef nonnull %11)
  call void @free(ptr noundef nonnull %37) #10
  br label %418

418:                                              ; preds = %._crit_edge457, %._crit_edge509, %266, %86
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %11) #10
  br label %.loopexit422

.loopexit422:                                     ; preds = %16, %418
  %.3383 = phi i32 [ 0, %418 ], [ -1, %16 ]
  call void @llvm.lifetime.end.p0(i64 104, ptr nonnull %10) #10
  ret i32 %.3383
}

declare double @genrand_res53() local_unnamed_addr #8

declare double @solvopt(i32 noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #8

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.umax.i32(i32, i32) #9

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.smax.i32(i32, i32) #9

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.vector.reduce.add.v2i32(<2 x i32>) #9

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 nosync nounwind speculatable willreturn memory(none) }
attributes #3 = { mustprogress nofree nounwind willreturn memory(write) "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 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #5 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #6 = { 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 #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 = { "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 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #10 = { nounwind }
attributes #11 = { nounwind allocsize(0) }

!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 = distinct !{!5, !6}
!6 = !{!"llvm.loop.mustprogress"}
!7 = !{!8, !8, i64 0}
!8 = !{!"double", !9, i64 0}
!9 = !{!"omnipotent char", !10, i64 0}
!10 = !{!"Simple C/C++ TBAA"}
!11 = distinct !{!11, !6}
!12 = distinct !{!12, !6, !13, !14}
!13 = !{!"llvm.loop.isvectorized", i32 1}
!14 = !{!"llvm.loop.unroll.runtime.disable"}
!15 = distinct !{!15, !6, !14, !13}
!16 = distinct !{!16, !6, !13, !14}
!17 = distinct !{!17, !6, !14, !13}
!18 = distinct !{!18, !6}
!19 = distinct !{!19, !6, !13, !14}
!20 = distinct !{!20, !21}
!21 = !{!"llvm.loop.unroll.disable"}
!22 = distinct !{!22, !6, !13}
!23 = distinct !{!23, !6}
!24 = distinct !{!24, !21}
!25 = distinct !{!25, !6}
!26 = distinct !{!26, !6}
!27 = distinct !{!27, !21}
!28 = distinct !{!28, !6}
!29 = distinct !{!29, !6}
!30 = distinct !{!30, !21}
!31 = distinct !{!31, !6, !13, !14}
!32 = distinct !{!32, !6, !14, !13}
!33 = !{!34, !35, i64 0}
!34 = !{!"", !35, i64 0, !35, i64 8, !35, i64 16, !35, i64 24, !36, i64 32, !36, i64 36, !35, i64 40, !35, i64 48}
!35 = !{!"any pointer", !9, i64 0}
!36 = !{!"int", !9, i64 0}
!37 = !{!34, !35, i64 8}
!38 = distinct !{!38, !6, !13, !14}
!39 = distinct !{!39, !6, !14, !13}
!40 = distinct !{!40, !6}
!41 = distinct !{!41, !21}
!42 = !{!34, !35, i64 16}
!43 = !{!34, !35, i64 24}
!44 = distinct !{!44, !6, !13, !14}
!45 = distinct !{!45, !6, !14, !13}
!46 = distinct !{!46, !21}
!47 = distinct !{!47, !6}
!48 = distinct !{!48, !21}
!49 = distinct !{!49, !6}
!50 = distinct !{!50, !6, !13, !14}
!51 = distinct !{!51, !6, !14, !13}
!52 = distinct !{!52, !6}
!53 = distinct !{!53, !6, !13, !14}
!54 = distinct !{!54, !6, !14, !13}
!55 = distinct !{!55, !21}
!56 = distinct !{!56, !6}
!57 = distinct !{!57, !21}
!58 = distinct !{!58, !6}
!59 = distinct !{!59, !6}
!60 = distinct !{!60, !6, !13, !14}
!61 = distinct !{!61, !6, !14, !13}
!62 = distinct !{!62, !6}


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