; LLVM IR from bondhugula/pluto :: examples/jacobi-1d-imper/jacobi-1d-imper.sched (main)

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

@a = external dso_local global [2000000 x double], align 16
@b = external dso_local global [2000000 x double], align 16

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

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

; Function Attrs: nounwind uwtable
define dso_local i32 @main() #1 {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  store i32 0, ptr %1, align 4
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #3
  store i32 -1, ptr %2, align 4, !tbaa !5
  br label %14

14:                                               ; preds = %871, %0
  %15 = load i32, ptr %2, align 4, !tbaa !5
  %16 = sitofp i32 %15 to double
  %17 = call double @llvm.floor.f64(double 0x408E903400000000)
  %18 = fcmp ole double %16, %17
  br i1 %18, label %19, label %874

19:                                               ; preds = %14
  %20 = load i32, ptr %2, align 4, !tbaa !5
  %21 = mul nsw i32 2048, %20
  %22 = sub nsw i32 %21, 1000
  %23 = add nsw i32 %22, 1
  %24 = sitofp i32 %23 to double
  %25 = fdiv double %24, 2.048000e+03
  %26 = call double @llvm.ceil.f64(double %25)
  %27 = load i32, ptr %2, align 4, !tbaa !5
  %28 = mul nsw i32 4096, %27
  %29 = sub nsw i32 %28, 2045
  %30 = sitofp i32 %29 to double
  %31 = fdiv double %30, 6.144000e+03
  %32 = call double @llvm.ceil.f64(double %31)
  %33 = fcmp ogt double %26, %32
  br i1 %33, label %34, label %42

34:                                               ; preds = %19
  %35 = load i32, ptr %2, align 4, !tbaa !5
  %36 = mul nsw i32 2048, %35
  %37 = sub nsw i32 %36, 1000
  %38 = add nsw i32 %37, 1
  %39 = sitofp i32 %38 to double
  %40 = fdiv double %39, 2.048000e+03
  %41 = call double @llvm.ceil.f64(double %40)
  br label %49

42:                                               ; preds = %19
  %43 = load i32, ptr %2, align 4, !tbaa !5
  %44 = mul nsw i32 4096, %43
  %45 = sub nsw i32 %44, 2045
  %46 = sitofp i32 %45 to double
  %47 = fdiv double %46, 6.144000e+03
  %48 = call double @llvm.ceil.f64(double %47)
  br label %49

49:                                               ; preds = %42, %34
  %50 = phi double [ %41, %34 ], [ %48, %42 ]
  %51 = fcmp ogt double %50, 0.000000e+00
  br i1 %51, label %52, label %84

52:                                               ; preds = %49
  %53 = load i32, ptr %2, align 4, !tbaa !5
  %54 = mul nsw i32 2048, %53
  %55 = sub nsw i32 %54, 1000
  %56 = add nsw i32 %55, 1
  %57 = sitofp i32 %56 to double
  %58 = fdiv double %57, 2.048000e+03
  %59 = call double @llvm.ceil.f64(double %58)
  %60 = load i32, ptr %2, align 4, !tbaa !5
  %61 = mul nsw i32 4096, %60
  %62 = sub nsw i32 %61, 2045
  %63 = sitofp i32 %62 to double
  %64 = fdiv double %63, 6.144000e+03
  %65 = call double @llvm.ceil.f64(double %64)
  %66 = fcmp ogt double %59, %65
  br i1 %66, label %67, label %75

67:                                               ; preds = %52
  %68 = load i32, ptr %2, align 4, !tbaa !5
  %69 = mul nsw i32 2048, %68
  %70 = sub nsw i32 %69, 1000
  %71 = add nsw i32 %70, 1
  %72 = sitofp i32 %71 to double
  %73 = fdiv double %72, 2.048000e+03
  %74 = call double @llvm.ceil.f64(double %73)
  br label %82

75:                                               ; preds = %52
  %76 = load i32, ptr %2, align 4, !tbaa !5
  %77 = mul nsw i32 4096, %76
  %78 = sub nsw i32 %77, 2045
  %79 = sitofp i32 %78 to double
  %80 = fdiv double %79, 6.144000e+03
  %81 = call double @llvm.ceil.f64(double %80)
  br label %82

82:                                               ; preds = %75, %67
  %83 = phi double [ %74, %67 ], [ %81, %75 ]
  br label %85

84:                                               ; preds = %49
  br label %85

85:                                               ; preds = %84, %82
  %86 = phi double [ %83, %82 ], [ 0.000000e+00, %84 ]
  %87 = fptosi double %86 to i32
  store i32 %87, ptr %12, align 4, !tbaa !5
  %88 = load i32, ptr %2, align 4, !tbaa !5
  %89 = mul nsw i32 2048, %88
  %90 = add nsw i32 %89, 2047
  %91 = sitofp i32 %90 to double
  %92 = fdiv double %91, 2.048000e+03
  %93 = call double @llvm.floor.f64(double %92)
  %94 = load i32, ptr %2, align 4, !tbaa !5
  %95 = mul nsw i32 4096, %94
  %96 = add nsw i32 %95, 2000000
  %97 = add nsw i32 %96, 4093
  %98 = sitofp i32 %97 to double
  %99 = fdiv double %98, 6.144000e+03
  %100 = call double @llvm.floor.f64(double %99)
  %101 = fcmp olt double %93, %100
  br i1 %101, label %102, label %109

102:                                              ; preds = %85
  %103 = load i32, ptr %2, align 4, !tbaa !5
  %104 = mul nsw i32 2048, %103
  %105 = add nsw i32 %104, 2047
  %106 = sitofp i32 %105 to double
  %107 = fdiv double %106, 2.048000e+03
  %108 = call double @llvm.floor.f64(double %107)
  br label %117

109:                                              ; preds = %85
  %110 = load i32, ptr %2, align 4, !tbaa !5
  %111 = mul nsw i32 4096, %110
  %112 = add nsw i32 %111, 2000000
  %113 = add nsw i32 %112, 4093
  %114 = sitofp i32 %113 to double
  %115 = fdiv double %114, 6.144000e+03
  %116 = call double @llvm.floor.f64(double %115)
  br label %117

117:                                              ; preds = %109, %102
  %118 = phi double [ %108, %102 ], [ %116, %109 ]
  %119 = call double @llvm.floor.f64(double 0x408E8C4D00000000)
  %120 = fcmp olt double %118, %119
  br i1 %120, label %121, label %153

121:                                              ; preds = %117
  %122 = load i32, ptr %2, align 4, !tbaa !5
  %123 = mul nsw i32 2048, %122
  %124 = add nsw i32 %123, 2047
  %125 = sitofp i32 %124 to double
  %126 = fdiv double %125, 2.048000e+03
  %127 = call double @llvm.floor.f64(double %126)
  %128 = load i32, ptr %2, align 4, !tbaa !5
  %129 = mul nsw i32 4096, %128
  %130 = add nsw i32 %129, 2000000
  %131 = add nsw i32 %130, 4093
  %132 = sitofp i32 %131 to double
  %133 = fdiv double %132, 6.144000e+03
  %134 = call double @llvm.floor.f64(double %133)
  %135 = fcmp olt double %127, %134
  br i1 %135, label %136, label %143

136:                                              ; preds = %121
  %137 = load i32, ptr %2, align 4, !tbaa !5
  %138 = mul nsw i32 2048, %137
  %139 = add nsw i32 %138, 2047
  %140 = sitofp i32 %139 to double
  %141 = fdiv double %140, 2.048000e+03
  %142 = call double @llvm.floor.f64(double %141)
  br label %151

143:                                              ; preds = %121
  %144 = load i32, ptr %2, align 4, !tbaa !5
  %145 = mul nsw i32 4096, %144
  %146 = add nsw i32 %145, 2000000
  %147 = add nsw i32 %146, 4093
  %148 = sitofp i32 %147 to double
  %149 = fdiv double %148, 6.144000e+03
  %150 = call double @llvm.floor.f64(double %149)
  br label %151

151:                                              ; preds = %143, %136
  %152 = phi double [ %142, %136 ], [ %150, %143 ]
  br label %155

153:                                              ; preds = %117
  %154 = call double @llvm.floor.f64(double 0x408E8C4D00000000)
  br label %155

155:                                              ; preds = %153, %151
  %156 = phi double [ %152, %151 ], [ %154, %153 ]
  %157 = fptosi double %156 to i32
  store i32 %157, ptr %13, align 4, !tbaa !5
  %158 = load i32, ptr %12, align 4, !tbaa !5
  store i32 %158, ptr %3, align 4, !tbaa !5
  br label %159

159:                                              ; preds = %867, %155
  %160 = load i32, ptr %3, align 4, !tbaa !5
  %161 = load i32, ptr %13, align 4, !tbaa !5
  %162 = icmp sle i32 %160, %161
  br i1 %162, label %163, label %870

163:                                              ; preds = %159
  %164 = load i32, ptr %2, align 4, !tbaa !5
  %165 = sitofp i32 %164 to double
  %166 = load i32, ptr %3, align 4, !tbaa !5
  %167 = sitofp i32 %166 to double
  %168 = load i32, ptr %3, align 4, !tbaa !5
  %169 = mul nsw i32 6144, %168
  %170 = sub nsw i32 %169, 2000000
  %171 = add nsw i32 %170, 2
  %172 = sitofp i32 %171 to double
  %173 = fdiv double %172, 4.096000e+03
  %174 = call double @llvm.ceil.f64(double %173)
  %175 = fcmp ogt double %167, %174
  br i1 %175, label %176, label %179

176:                                              ; preds = %163
  %177 = load i32, ptr %3, align 4, !tbaa !5
  %178 = sitofp i32 %177 to double
  br label %187

179:                                              ; preds = %163
  %180 = load i32, ptr %3, align 4, !tbaa !5
  %181 = mul nsw i32 6144, %180
  %182 = sub nsw i32 %181, 2000000
  %183 = add nsw i32 %182, 2
  %184 = sitofp i32 %183 to double
  %185 = fdiv double %184, 4.096000e+03
  %186 = call double @llvm.ceil.f64(double %185)
  br label %187

187:                                              ; preds = %179, %176
  %188 = phi double [ %178, %176 ], [ %186, %179 ]
  %189 = fcmp oge double %165, %188
  br i1 %189, label %190, label %322

190:                                              ; preds = %187
  %191 = load i32, ptr %2, align 4, !tbaa !5
  %192 = mul nsw i32 4096, %191
  %193 = load i32, ptr %3, align 4, !tbaa !5
  %194 = mul nsw i32 4096, %193
  %195 = sub nsw i32 %192, %194
  store i32 %195, ptr %4, align 4, !tbaa !5
  %196 = load i32, ptr %2, align 4, !tbaa !5
  %197 = mul nsw i32 4096, %196
  %198 = load i32, ptr %3, align 4, !tbaa !5
  %199 = mul nsw i32 4096, %198
  %200 = sub nsw i32 %197, %199
  %201 = add nsw i32 %200, 2
  %202 = load i32, ptr %3, align 4, !tbaa !5
  %203 = mul nsw i32 2048, %202
  %204 = icmp sgt i32 %201, %203
  br i1 %204, label %205, label %212

205:                                              ; preds = %190
  %206 = load i32, ptr %2, align 4, !tbaa !5
  %207 = mul nsw i32 4096, %206
  %208 = load i32, ptr %3, align 4, !tbaa !5
  %209 = mul nsw i32 4096, %208
  %210 = sub nsw i32 %207, %209
  %211 = add nsw i32 %210, 2
  br label %215

212:                                              ; preds = %190
  %213 = load i32, ptr %3, align 4, !tbaa !5
  %214 = mul nsw i32 2048, %213
  br label %215

215:                                              ; preds = %212, %205
  %216 = phi i32 [ %211, %205 ], [ %214, %212 ]
  store i32 %216, ptr %5, align 4, !tbaa !5
  br label %217

217:                                              ; preds = %318, %215
  %218 = load i32, ptr %5, align 4, !tbaa !5
  %219 = load i32, ptr %2, align 4, !tbaa !5
  %220 = mul nsw i32 4096, %219
  %221 = load i32, ptr %3, align 4, !tbaa !5
  %222 = mul nsw i32 4096, %221
  %223 = sub nsw i32 %220, %222
  %224 = add nsw i32 %223, 2000000
  %225 = sub nsw i32 %224, 2
  %226 = load i32, ptr %3, align 4, !tbaa !5
  %227 = mul nsw i32 2048, %226
  %228 = add nsw i32 %227, 2047
  %229 = icmp slt i32 %225, %228
  br i1 %229, label %230, label %238

230:                                              ; preds = %217
  %231 = load i32, ptr %2, align 4, !tbaa !5
  %232 = mul nsw i32 4096, %231
  %233 = load i32, ptr %3, align 4, !tbaa !5
  %234 = mul nsw i32 4096, %233
  %235 = sub nsw i32 %232, %234
  %236 = add nsw i32 %235, 2000000
  %237 = sub nsw i32 %236, 2
  br label %242

238:                                              ; preds = %217
  %239 = load i32, ptr %3, align 4, !tbaa !5
  %240 = mul nsw i32 2048, %239
  %241 = add nsw i32 %240, 2047
  br label %242

242:                                              ; preds = %238, %230
  %243 = phi i32 [ %237, %230 ], [ %241, %238 ]
  %244 = icmp sle i32 %218, %243
  br i1 %244, label %245, label %321

245:                                              ; preds = %242
  store i32 0, ptr %6, align 4, !tbaa !5
  %246 = load i32, ptr %2, align 4, !tbaa !5
  %247 = load i32, ptr %3, align 4, !tbaa !5
  %248 = sub nsw i32 %246, %247
  %249 = srem i32 %248, 2
  %250 = icmp eq i32 %249, 0
  br i1 %250, label %251, label %317

251:                                              ; preds = %245
  %252 = load i32, ptr %2, align 4, !tbaa !5
  %253 = load i32, ptr %3, align 4, !tbaa !5
  %254 = sub nsw i32 %252, %253
  %255 = sdiv i32 %254, 2
  store i32 %255, ptr %7, align 4, !tbaa !5
  %256 = load i32, ptr %2, align 4, !tbaa !5
  %257 = sub nsw i32 0, %256
  %258 = load i32, ptr %3, align 4, !tbaa !5
  %259 = mul nsw i32 2, %258
  %260 = add nsw i32 %257, %259
  store i32 %260, ptr %8, align 4, !tbaa !5
  %261 = load i32, ptr %2, align 4, !tbaa !5
  %262 = mul nsw i32 2048, %261
  %263 = load i32, ptr %3, align 4, !tbaa !5
  %264 = mul nsw i32 2048, %263
  %265 = sub nsw i32 %262, %264
  store i32 %265, ptr %9, align 4, !tbaa !5
  %266 = load i32, ptr %2, align 4, !tbaa !5
  %267 = mul nsw i32 -4096, %266
  %268 = load i32, ptr %3, align 4, !tbaa !5
  %269 = mul nsw i32 4096, %268
  %270 = add nsw i32 %267, %269
  %271 = load i32, ptr %5, align 4, !tbaa !5
  %272 = add nsw i32 %270, %271
  store i32 %272, ptr %10, align 4, !tbaa !5
  %273 = load i32, ptr %2, align 4, !tbaa !5
  %274 = mul nsw i32 -4096, %273
  %275 = add nsw i32 1, %274
  %276 = load i32, ptr %3, align 4, !tbaa !5
  %277 = mul nsw i32 4096, %276
  %278 = add nsw i32 %275, %277
  %279 = load i32, ptr %5, align 4, !tbaa !5
  %280 = add nsw i32 %278, %279
  %281 = sext i32 %280 to i64
  %282 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %281
  %283 = load double, ptr %282, align 8, !tbaa !9
  %284 = load i32, ptr %2, align 4, !tbaa !5
  %285 = mul nsw i32 -4096, %284
  %286 = load i32, ptr %3, align 4, !tbaa !5
  %287 = mul nsw i32 4096, %286
  %288 = add nsw i32 %285, %287
  %289 = load i32, ptr %5, align 4, !tbaa !5
  %290 = add nsw i32 %288, %289
  %291 = sext i32 %290 to i64
  %292 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %291
  %293 = load double, ptr %292, align 8, !tbaa !9
  %294 = fadd double %283, %293
  %295 = load i32, ptr %2, align 4, !tbaa !5
  %296 = mul nsw i32 -4096, %295
  %297 = load i32, ptr %3, align 4, !tbaa !5
  %298 = mul nsw i32 4096, %297
  %299 = add nsw i32 %296, %298
  %300 = load i32, ptr %5, align 4, !tbaa !5
  %301 = add nsw i32 %299, %300
  %302 = sub nsw i32 %301, 1
  %303 = sext i32 %302 to i64
  %304 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %303
  %305 = load double, ptr %304, align 8, !tbaa !9
  %306 = fadd double %294, %305
  %307 = fmul double 3.330000e-01, %306
  %308 = load i32, ptr %2, align 4, !tbaa !5
  %309 = mul nsw i32 -4096, %308
  %310 = load i32, ptr %3, align 4, !tbaa !5
  %311 = mul nsw i32 4096, %310
  %312 = add nsw i32 %309, %311
  %313 = load i32, ptr %5, align 4, !tbaa !5
  %314 = add nsw i32 %312, %313
  %315 = sext i32 %314 to i64
  %316 = getelementptr inbounds [2000000 x double], ptr @b, i64 0, i64 %315
  store double %307, ptr %316, align 8, !tbaa !9
  br label %317

317:                                              ; preds = %251, %245
  br label %318

318:                                              ; preds = %317
  %319 = load i32, ptr %5, align 4, !tbaa !5
  %320 = add nsw i32 %319, 1
  store i32 %320, ptr %5, align 4, !tbaa !5
  br label %217, !llvm.loop !11

321:                                              ; preds = %242
  br label %322

322:                                              ; preds = %321, %187
  %323 = load i32, ptr %2, align 4, !tbaa !5
  %324 = sitofp i32 %323 to double
  %325 = load i32, ptr %3, align 4, !tbaa !5
  %326 = mul nsw i32 4096, %325
  %327 = sub nsw i32 %326, 1
  %328 = sitofp i32 %327 to double
  %329 = fdiv double %328, 4.096000e+03
  %330 = call double @llvm.floor.f64(double %329)
  %331 = fcmp ole double %324, %330
  br i1 %331, label %332, label %403

332:                                              ; preds = %322
  %333 = load i32, ptr %3, align 4, !tbaa !5
  %334 = sitofp i32 %333 to double
  %335 = call double @llvm.floor.f64(double 0x408E847E00000000)
  %336 = fcmp ole double %334, %335
  br i1 %336, label %337, label %403

337:                                              ; preds = %332
  store i32 0, ptr %4, align 4, !tbaa !5
  %338 = load i32, ptr %3, align 4, !tbaa !5
  %339 = mul nsw i32 2048, %338
  %340 = icmp sgt i32 %339, 2
  br i1 %340, label %341, label %344

341:                                              ; preds = %337
  %342 = load i32, ptr %3, align 4, !tbaa !5
  %343 = mul nsw i32 2048, %342
  br label %345

344:                                              ; preds = %337
  br label %345

345:                                              ; preds = %344, %341
  %346 = phi i32 [ %343, %341 ], [ 2, %344 ]
  store i32 %346, ptr %5, align 4, !tbaa !5
  br label %347

347:                                              ; preds = %399, %345
  %348 = load i32, ptr %5, align 4, !tbaa !5
  %349 = load i32, ptr %3, align 4, !tbaa !5
  %350 = mul nsw i32 2048, %349
  %351 = add nsw i32 %350, 2047
  %352 = icmp slt i32 %351, 1999998
  br i1 %352, label %353, label %357

353:                                              ; preds = %347
  %354 = load i32, ptr %3, align 4, !tbaa !5
  %355 = mul nsw i32 2048, %354
  %356 = add nsw i32 %355, 2047
  br label %358

357:                                              ; preds = %347
  br label %358

358:                                              ; preds = %357, %353
  %359 = phi i32 [ %356, %353 ], [ 1999998, %357 ]
  %360 = icmp sle i32 %348, %359
  br i1 %360, label %361, label %402

361:                                              ; preds = %358
  store i32 0, ptr %6, align 4, !tbaa !5
  %362 = load i32, ptr %2, align 4, !tbaa !5
  %363 = load i32, ptr %3, align 4, !tbaa !5
  %364 = sub nsw i32 %362, %363
  %365 = srem i32 %364, 2
  %366 = icmp eq i32 %365, 0
  br i1 %366, label %367, label %398

367:                                              ; preds = %361
  %368 = load i32, ptr %2, align 4, !tbaa !5
  %369 = load i32, ptr %3, align 4, !tbaa !5
  %370 = sub nsw i32 %368, %369
  %371 = sdiv i32 %370, 2
  store i32 %371, ptr %7, align 4, !tbaa !5
  %372 = load i32, ptr %2, align 4, !tbaa !5
  %373 = sub nsw i32 0, %372
  %374 = load i32, ptr %3, align 4, !tbaa !5
  %375 = mul nsw i32 2, %374
  %376 = add nsw i32 %373, %375
  store i32 %376, ptr %8, align 4, !tbaa !5
  store i32 0, ptr %9, align 4, !tbaa !5
  %377 = load i32, ptr %5, align 4, !tbaa !5
  store i32 %377, ptr %10, align 4, !tbaa !5
  %378 = load i32, ptr %5, align 4, !tbaa !5
  %379 = add nsw i32 1, %378
  %380 = sext i32 %379 to i64
  %381 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %380
  %382 = load double, ptr %381, align 8, !tbaa !9
  %383 = load i32, ptr %5, align 4, !tbaa !5
  %384 = sext i32 %383 to i64
  %385 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %384
  %386 = load double, ptr %385, align 8, !tbaa !9
  %387 = fadd double %382, %386
  %388 = load i32, ptr %5, align 4, !tbaa !5
  %389 = sub nsw i32 %388, 1
  %390 = sext i32 %389 to i64
  %391 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %390
  %392 = load double, ptr %391, align 8, !tbaa !9
  %393 = fadd double %387, %392
  %394 = fmul double 3.330000e-01, %393
  %395 = load i32, ptr %5, align 4, !tbaa !5
  %396 = sext i32 %395 to i64
  %397 = getelementptr inbounds [2000000 x double], ptr @b, i64 0, i64 %396
  store double %394, ptr %397, align 8, !tbaa !9
  br label %398

398:                                              ; preds = %367, %361
  br label %399

399:                                              ; preds = %398
  %400 = load i32, ptr %5, align 4, !tbaa !5
  %401 = add nsw i32 %400, 1
  store i32 %401, ptr %5, align 4, !tbaa !5
  br label %347, !llvm.loop !13

402:                                              ; preds = %358
  br label %403

403:                                              ; preds = %402, %332, %322
  %404 = load i32, ptr %3, align 4, !tbaa !5
  %405 = mul nsw i32 2048, %404
  %406 = sub nsw i32 %405, 2000000
  %407 = add nsw i32 %406, 2
  %408 = icmp sgt i32 1, %407
  br i1 %408, label %409, label %410

409:                                              ; preds = %403
  br label %415

410:                                              ; preds = %403
  %411 = load i32, ptr %3, align 4, !tbaa !5
  %412 = mul nsw i32 2048, %411
  %413 = sub nsw i32 %412, 2000000
  %414 = add nsw i32 %413, 2
  br label %415

415:                                              ; preds = %410, %409
  %416 = phi i32 [ 1, %409 ], [ %414, %410 ]
  %417 = load i32, ptr %2, align 4, !tbaa !5
  %418 = mul nsw i32 4096, %417
  %419 = load i32, ptr %3, align 4, !tbaa !5
  %420 = mul nsw i32 4096, %419
  %421 = sub nsw i32 %418, %420
  %422 = add nsw i32 %421, 1
  %423 = icmp sgt i32 %416, %422
  br i1 %423, label %424, label %438

424:                                              ; preds = %415
  %425 = load i32, ptr %3, align 4, !tbaa !5
  %426 = mul nsw i32 2048, %425
  %427 = sub nsw i32 %426, 2000000
  %428 = add nsw i32 %427, 2
  %429 = icmp sgt i32 1, %428
  br i1 %429, label %430, label %431

430:                                              ; preds = %424
  br label %436

431:                                              ; preds = %424
  %432 = load i32, ptr %3, align 4, !tbaa !5
  %433 = mul nsw i32 2048, %432
  %434 = sub nsw i32 %433, 2000000
  %435 = add nsw i32 %434, 2
  br label %436

436:                                              ; preds = %431, %430
  %437 = phi i32 [ 1, %430 ], [ %435, %431 ]
  br label %445

438:                                              ; preds = %415
  %439 = load i32, ptr %2, align 4, !tbaa !5
  %440 = mul nsw i32 4096, %439
  %441 = load i32, ptr %3, align 4, !tbaa !5
  %442 = mul nsw i32 4096, %441
  %443 = sub nsw i32 %440, %442
  %444 = add nsw i32 %443, 1
  br label %445

445:                                              ; preds = %438, %436
  %446 = phi i32 [ %437, %436 ], [ %444, %438 ]
  store i32 %446, ptr %4, align 4, !tbaa !5
  br label %447

447:                                              ; preds = %641, %445
  %448 = load i32, ptr %4, align 4, !tbaa !5
  %449 = load i32, ptr %2, align 4, !tbaa !5
  %450 = mul nsw i32 4096, %449
  %451 = load i32, ptr %3, align 4, !tbaa !5
  %452 = mul nsw i32 4096, %451
  %453 = sub nsw i32 %450, %452
  %454 = add nsw i32 %453, 4094
  %455 = load i32, ptr %3, align 4, !tbaa !5
  %456 = mul nsw i32 2048, %455
  %457 = add nsw i32 %456, 2045
  %458 = icmp slt i32 %454, %457
  br i1 %458, label %459, label %466

459:                                              ; preds = %447
  %460 = load i32, ptr %2, align 4, !tbaa !5
  %461 = mul nsw i32 4096, %460
  %462 = load i32, ptr %3, align 4, !tbaa !5
  %463 = mul nsw i32 4096, %462
  %464 = sub nsw i32 %461, %463
  %465 = add nsw i32 %464, 4094
  br label %470

466:                                              ; preds = %447
  %467 = load i32, ptr %3, align 4, !tbaa !5
  %468 = mul nsw i32 2048, %467
  %469 = add nsw i32 %468, 2045
  br label %470

470:                                              ; preds = %466, %459
  %471 = phi i32 [ %465, %459 ], [ %469, %466 ]
  %472 = icmp slt i32 %471, 1998
  br i1 %472, label %473, label %497

473:                                              ; preds = %470
  %474 = load i32, ptr %2, align 4, !tbaa !5
  %475 = mul nsw i32 4096, %474
  %476 = load i32, ptr %3, align 4, !tbaa !5
  %477 = mul nsw i32 4096, %476
  %478 = sub nsw i32 %475, %477
  %479 = add nsw i32 %478, 4094
  %480 = load i32, ptr %3, align 4, !tbaa !5
  %481 = mul nsw i32 2048, %480
  %482 = add nsw i32 %481, 2045
  %483 = icmp slt i32 %479, %482
  br i1 %483, label %484, label %491

484:                                              ; preds = %473
  %485 = load i32, ptr %2, align 4, !tbaa !5
  %486 = mul nsw i32 4096, %485
  %487 = load i32, ptr %3, align 4, !tbaa !5
  %488 = mul nsw i32 4096, %487
  %489 = sub nsw i32 %486, %488
  %490 = add nsw i32 %489, 4094
  br label %495

491:                                              ; preds = %473
  %492 = load i32, ptr %3, align 4, !tbaa !5
  %493 = mul nsw i32 2048, %492
  %494 = add nsw i32 %493, 2045
  br label %495

495:                                              ; preds = %491, %484
  %496 = phi i32 [ %490, %484 ], [ %494, %491 ]
  br label %498

497:                                              ; preds = %470
  br label %498

498:                                              ; preds = %497, %495
  %499 = phi i32 [ %496, %495 ], [ 1998, %497 ]
  %500 = icmp sle i32 %448, %499
  br i1 %500, label %501, label %644

501:                                              ; preds = %498
  %502 = load i32, ptr %3, align 4, !tbaa !5
  %503 = mul nsw i32 2048, %502
  %504 = load i32, ptr %4, align 4, !tbaa !5
  %505 = add nsw i32 %504, 2
  %506 = icmp sgt i32 %503, %505
  br i1 %506, label %507, label %510

507:                                              ; preds = %501
  %508 = load i32, ptr %3, align 4, !tbaa !5
  %509 = mul nsw i32 2048, %508
  br label %513

510:                                              ; preds = %501
  %511 = load i32, ptr %4, align 4, !tbaa !5
  %512 = add nsw i32 %511, 2
  br label %513

513:                                              ; preds = %510, %507
  %514 = phi i32 [ %509, %507 ], [ %512, %510 ]
  store i32 %514, ptr %5, align 4, !tbaa !5
  br label %515

515:                                              ; preds = %637, %513
  %516 = load i32, ptr %5, align 4, !tbaa !5
  %517 = load i32, ptr %4, align 4, !tbaa !5
  %518 = add nsw i32 %517, 2000000
  %519 = sub nsw i32 %518, 2
  %520 = load i32, ptr %3, align 4, !tbaa !5
  %521 = mul nsw i32 2048, %520
  %522 = add nsw i32 %521, 2047
  %523 = icmp slt i32 %519, %522
  br i1 %523, label %524, label %528

524:                                              ; preds = %515
  %525 = load i32, ptr %4, align 4, !tbaa !5
  %526 = add nsw i32 %525, 2000000
  %527 = sub nsw i32 %526, 2
  br label %532

528:                                              ; preds = %515
  %529 = load i32, ptr %3, align 4, !tbaa !5
  %530 = mul nsw i32 2048, %529
  %531 = add nsw i32 %530, 2047
  br label %532

532:                                              ; preds = %528, %524
  %533 = phi i32 [ %527, %524 ], [ %531, %528 ]
  %534 = icmp sle i32 %516, %533
  br i1 %534, label %535, label %640

535:                                              ; preds = %532
  store i32 0, ptr %6, align 4, !tbaa !5
  %536 = load i32, ptr %2, align 4, !tbaa !5
  %537 = load i32, ptr %3, align 4, !tbaa !5
  %538 = sub nsw i32 %536, %537
  %539 = srem i32 %538, 2
  %540 = icmp eq i32 %539, 0
  br i1 %540, label %541, label %594

541:                                              ; preds = %535
  %542 = load i32, ptr %2, align 4, !tbaa !5
  %543 = load i32, ptr %3, align 4, !tbaa !5
  %544 = sub nsw i32 %542, %543
  %545 = sdiv i32 %544, 2
  store i32 %545, ptr %7, align 4, !tbaa !5
  %546 = load i32, ptr %2, align 4, !tbaa !5
  %547 = sub nsw i32 0, %546
  %548 = load i32, ptr %3, align 4, !tbaa !5
  %549 = mul nsw i32 2, %548
  %550 = add nsw i32 %547, %549
  store i32 %550, ptr %8, align 4, !tbaa !5
  %551 = load i32, ptr %4, align 4, !tbaa !5
  %552 = srem i32 %551, 2
  %553 = icmp eq i32 %552, 0
  br i1 %553, label %554, label %593

554:                                              ; preds = %541
  %555 = load i32, ptr %4, align 4, !tbaa !5
  %556 = sdiv i32 %555, 2
  store i32 %556, ptr %9, align 4, !tbaa !5
  %557 = load i32, ptr %4, align 4, !tbaa !5
  %558 = sub nsw i32 0, %557
  %559 = load i32, ptr %5, align 4, !tbaa !5
  %560 = add nsw i32 %558, %559
  store i32 %560, ptr %10, align 4, !tbaa !5
  %561 = load i32, ptr %4, align 4, !tbaa !5
  %562 = sub nsw i32 0, %561
  %563 = add nsw i32 1, %562
  %564 = load i32, ptr %5, align 4, !tbaa !5
  %565 = add nsw i32 %563, %564
  %566 = sext i32 %565 to i64
  %567 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %566
  %568 = load double, ptr %567, align 8, !tbaa !9
  %569 = load i32, ptr %4, align 4, !tbaa !5
  %570 = sub nsw i32 0, %569
  %571 = load i32, ptr %5, align 4, !tbaa !5
  %572 = add nsw i32 %570, %571
  %573 = sext i32 %572 to i64
  %574 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %573
  %575 = load double, ptr %574, align 8, !tbaa !9
  %576 = fadd double %568, %575
  %577 = load i32, ptr %4, align 4, !tbaa !5
  %578 = sub nsw i32 0, %577
  %579 = load i32, ptr %5, align 4, !tbaa !5
  %580 = add nsw i32 %578, %579
  %581 = sub nsw i32 %580, 1
  %582 = sext i32 %581 to i64
  %583 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %582
  %584 = load double, ptr %583, align 8, !tbaa !9
  %585 = fadd double %576, %584
  %586 = fmul double 3.330000e-01, %585
  %587 = load i32, ptr %4, align 4, !tbaa !5
  %588 = sub nsw i32 0, %587
  %589 = load i32, ptr %5, align 4, !tbaa !5
  %590 = add nsw i32 %588, %589
  %591 = sext i32 %590 to i64
  %592 = getelementptr inbounds [2000000 x double], ptr @b, i64 0, i64 %591
  store double %586, ptr %592, align 8, !tbaa !9
  br label %593

593:                                              ; preds = %554, %541
  br label %594

594:                                              ; preds = %593, %535
  store i32 1, ptr %6, align 4, !tbaa !5
  %595 = load i32, ptr %2, align 4, !tbaa !5
  %596 = load i32, ptr %3, align 4, !tbaa !5
  %597 = sub nsw i32 %595, %596
  %598 = srem i32 %597, 2
  %599 = icmp eq i32 %598, 0
  br i1 %599, label %600, label %636

600:                                              ; preds = %594
  %601 = load i32, ptr %2, align 4, !tbaa !5
  %602 = load i32, ptr %3, align 4, !tbaa !5
  %603 = sub nsw i32 %601, %602
  %604 = sdiv i32 %603, 2
  store i32 %604, ptr %7, align 4, !tbaa !5
  %605 = load i32, ptr %2, align 4, !tbaa !5
  %606 = sub nsw i32 0, %605
  %607 = load i32, ptr %3, align 4, !tbaa !5
  %608 = mul nsw i32 2, %607
  %609 = add nsw i32 %606, %608
  store i32 %609, ptr %8, align 4, !tbaa !5
  %610 = load i32, ptr %4, align 4, !tbaa !5
  %611 = sub nsw i32 %610, 1
  %612 = srem i32 %611, 2
  %613 = icmp eq i32 %612, 0
  br i1 %613, label %614, label %635

614:                                              ; preds = %600
  %615 = load i32, ptr %4, align 4, !tbaa !5
  %616 = sub nsw i32 %615, 1
  %617 = sdiv i32 %616, 2
  store i32 %617, ptr %9, align 4, !tbaa !5
  %618 = load i32, ptr %4, align 4, !tbaa !5
  %619 = sub nsw i32 0, %618
  %620 = load i32, ptr %5, align 4, !tbaa !5
  %621 = add nsw i32 %619, %620
  store i32 %621, ptr %10, align 4, !tbaa !5
  %622 = load i32, ptr %4, align 4, !tbaa !5
  %623 = sub nsw i32 0, %622
  %624 = load i32, ptr %5, align 4, !tbaa !5
  %625 = add nsw i32 %623, %624
  %626 = sext i32 %625 to i64
  %627 = getelementptr inbounds [2000000 x double], ptr @b, i64 0, i64 %626
  %628 = load double, ptr %627, align 8, !tbaa !9
  %629 = load i32, ptr %4, align 4, !tbaa !5
  %630 = sub nsw i32 0, %629
  %631 = load i32, ptr %5, align 4, !tbaa !5
  %632 = add nsw i32 %630, %631
  %633 = sext i32 %632 to i64
  %634 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %633
  store double %628, ptr %634, align 8, !tbaa !9
  br label %635

635:                                              ; preds = %614, %600
  br label %636

636:                                              ; preds = %635, %594
  br label %637

637:                                              ; preds = %636
  %638 = load i32, ptr %5, align 4, !tbaa !5
  %639 = add nsw i32 %638, 1
  store i32 %639, ptr %5, align 4, !tbaa !5
  br label %515, !llvm.loop !14

640:                                              ; preds = %532
  br label %641

641:                                              ; preds = %640
  %642 = load i32, ptr %4, align 4, !tbaa !5
  %643 = add nsw i32 %642, 1
  store i32 %643, ptr %4, align 4, !tbaa !5
  br label %447, !llvm.loop !15

644:                                              ; preds = %498
  %645 = load i32, ptr %2, align 4, !tbaa !5
  %646 = sitofp i32 %645 to double
  %647 = load i32, ptr %3, align 4, !tbaa !5
  %648 = mul nsw i32 3072, %647
  %649 = sub nsw i32 %648, 1025
  %650 = sitofp i32 %649 to double
  %651 = fdiv double %650, 2.048000e+03
  %652 = call double @llvm.floor.f64(double %651)
  %653 = load i32, ptr %3, align 4, !tbaa !5
  %654 = mul nsw i32 2048, %653
  %655 = add nsw i32 %654, 1000
  %656 = sub nsw i32 %655, 2048
  %657 = sitofp i32 %656 to double
  %658 = fdiv double %657, 2.048000e+03
  %659 = call double @llvm.floor.f64(double %658)
  %660 = fcmp olt double %652, %659
  br i1 %660, label %661, label %668

661:                                              ; preds = %644
  %662 = load i32, ptr %3, align 4, !tbaa !5
  %663 = mul nsw i32 3072, %662
  %664 = sub nsw i32 %663, 1025
  %665 = sitofp i32 %664 to double
  %666 = fdiv double %665, 2.048000e+03
  %667 = call double @llvm.floor.f64(double %666)
  br label %676

668:                                              ; preds = %644
  %669 = load i32, ptr %3, align 4, !tbaa !5
  %670 = mul nsw i32 2048, %669
  %671 = add nsw i32 %670, 1000
  %672 = sub nsw i32 %671, 2048
  %673 = sitofp i32 %672 to double
  %674 = fdiv double %673, 2.048000e+03
  %675 = call double @llvm.floor.f64(double %674)
  br label %676

676:                                              ; preds = %668, %661
  %677 = phi double [ %667, %661 ], [ %675, %668 ]
  %678 = fcmp ole double %646, %677
  br i1 %678, label %679, label %791

679:                                              ; preds = %676
  %680 = load i32, ptr %2, align 4, !tbaa !5
  %681 = mul nsw i32 4096, %680
  %682 = load i32, ptr %3, align 4, !tbaa !5
  %683 = mul nsw i32 4096, %682
  %684 = sub nsw i32 %681, %683
  %685 = add nsw i32 %684, 4095
  store i32 %685, ptr %4, align 4, !tbaa !5
  %686 = load i32, ptr %2, align 4, !tbaa !5
  %687 = mul nsw i32 4096, %686
  %688 = load i32, ptr %3, align 4, !tbaa !5
  %689 = mul nsw i32 4096, %688
  %690 = sub nsw i32 %687, %689
  %691 = add nsw i32 %690, 4097
  %692 = load i32, ptr %3, align 4, !tbaa !5
  %693 = mul nsw i32 2048, %692
  %694 = icmp sgt i32 %691, %693
  br i1 %694, label %695, label %702

695:                                              ; preds = %679
  %696 = load i32, ptr %2, align 4, !tbaa !5
  %697 = mul nsw i32 4096, %696
  %698 = load i32, ptr %3, align 4, !tbaa !5
  %699 = mul nsw i32 4096, %698
  %700 = sub nsw i32 %697, %699
  %701 = add nsw i32 %700, 4097
  br label %705

702:                                              ; preds = %679
  %703 = load i32, ptr %3, align 4, !tbaa !5
  %704 = mul nsw i32 2048, %703
  br label %705

705:                                              ; preds = %702, %695
  %706 = phi i32 [ %701, %695 ], [ %704, %702 ]
  store i32 %706, ptr %5, align 4, !tbaa !5
  br label %707

707:                                              ; preds = %787, %705
  %708 = load i32, ptr %5, align 4, !tbaa !5
  %709 = load i32, ptr %2, align 4, !tbaa !5
  %710 = mul nsw i32 4096, %709
  %711 = load i32, ptr %3, align 4, !tbaa !5
  %712 = mul nsw i32 4096, %711
  %713 = sub nsw i32 %710, %712
  %714 = add nsw i32 %713, 2000000
  %715 = add nsw i32 %714, 4093
  %716 = load i32, ptr %3, align 4, !tbaa !5
  %717 = mul nsw i32 2048, %716
  %718 = add nsw i32 %717, 2047
  %719 = icmp slt i32 %715, %718
  br i1 %719, label %720, label %728

720:                                              ; preds = %707
  %721 = load i32, ptr %2, align 4, !tbaa !5
  %722 = mul nsw i32 4096, %721
  %723 = load i32, ptr %3, align 4, !tbaa !5
  %724 = mul nsw i32 4096, %723
  %725 = sub nsw i32 %722, %724
  %726 = add nsw i32 %725, 2000000
  %727 = add nsw i32 %726, 4093
  br label %732

728:                                              ; preds = %707
  %729 = load i32, ptr %3, align 4, !tbaa !5
  %730 = mul nsw i32 2048, %729
  %731 = add nsw i32 %730, 2047
  br label %732

732:                                              ; preds = %728, %720
  %733 = phi i32 [ %727, %720 ], [ %731, %728 ]
  %734 = icmp sle i32 %708, %733
  br i1 %734, label %735, label %790

735:                                              ; preds = %732
  store i32 1, ptr %6, align 4, !tbaa !5
  %736 = load i32, ptr %2, align 4, !tbaa !5
  %737 = load i32, ptr %3, align 4, !tbaa !5
  %738 = sub nsw i32 %736, %737
  %739 = srem i32 %738, 2
  %740 = icmp eq i32 %739, 0
  br i1 %740, label %741, label %786

741:                                              ; preds = %735
  %742 = load i32, ptr %2, align 4, !tbaa !5
  %743 = load i32, ptr %3, align 4, !tbaa !5
  %744 = sub nsw i32 %742, %743
  %745 = sdiv i32 %744, 2
  store i32 %745, ptr %7, align 4, !tbaa !5
  %746 = load i32, ptr %2, align 4, !tbaa !5
  %747 = sub nsw i32 0, %746
  %748 = load i32, ptr %3, align 4, !tbaa !5
  %749 = mul nsw i32 2, %748
  %750 = add nsw i32 %747, %749
  store i32 %750, ptr %8, align 4, !tbaa !5
  %751 = load i32, ptr %2, align 4, !tbaa !5
  %752 = mul nsw i32 2048, %751
  %753 = load i32, ptr %3, align 4, !tbaa !5
  %754 = mul nsw i32 2048, %753
  %755 = sub nsw i32 %752, %754
  %756 = add nsw i32 %755, 2047
  store i32 %756, ptr %9, align 4, !tbaa !5
  %757 = load i32, ptr %2, align 4, !tbaa !5
  %758 = mul nsw i32 -4096, %757
  %759 = load i32, ptr %3, align 4, !tbaa !5
  %760 = mul nsw i32 4096, %759
  %761 = add nsw i32 %758, %760
  %762 = load i32, ptr %5, align 4, !tbaa !5
  %763 = add nsw i32 %761, %762
  %764 = sub nsw i32 %763, 4095
  store i32 %764, ptr %10, align 4, !tbaa !5
  %765 = load i32, ptr %2, align 4, !tbaa !5
  %766 = mul nsw i32 -4096, %765
  %767 = load i32, ptr %3, align 4, !tbaa !5
  %768 = mul nsw i32 4096, %767
  %769 = add nsw i32 %766, %768
  %770 = load i32, ptr %5, align 4, !tbaa !5
  %771 = add nsw i32 %769, %770
  %772 = sub nsw i32 %771, 4095
  %773 = sext i32 %772 to i64
  %774 = getelementptr inbounds [2000000 x double], ptr @b, i64 0, i64 %773
  %775 = load double, ptr %774, align 8, !tbaa !9
  %776 = load i32, ptr %2, align 4, !tbaa !5
  %777 = mul nsw i32 -4096, %776
  %778 = load i32, ptr %3, align 4, !tbaa !5
  %779 = mul nsw i32 4096, %778
  %780 = add nsw i32 %777, %779
  %781 = load i32, ptr %5, align 4, !tbaa !5
  %782 = add nsw i32 %780, %781
  %783 = sub nsw i32 %782, 4095
  %784 = sext i32 %783 to i64
  %785 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %784
  store double %775, ptr %785, align 8, !tbaa !9
  br label %786

786:                                              ; preds = %741, %735
  br label %787

787:                                              ; preds = %786
  %788 = load i32, ptr %5, align 4, !tbaa !5
  %789 = add nsw i32 %788, 1
  store i32 %789, ptr %5, align 4, !tbaa !5
  br label %707, !llvm.loop !16

790:                                              ; preds = %732
  br label %791

791:                                              ; preds = %790, %676
  %792 = load i32, ptr %2, align 4, !tbaa !5
  %793 = sitofp i32 %792 to double
  %794 = load i32, ptr %3, align 4, !tbaa !5
  %795 = mul nsw i32 4096, %794
  %796 = add nsw i32 %795, 2000
  %797 = sub nsw i32 %796, 4095
  %798 = sitofp i32 %797 to double
  %799 = fdiv double %798, 4.096000e+03
  %800 = call double @llvm.ceil.f64(double %799)
  %801 = fcmp oge double %793, %800
  br i1 %801, label %802, label %866

802:                                              ; preds = %791
  %803 = load i32, ptr %3, align 4, !tbaa !5
  %804 = sitofp i32 %803 to double
  %805 = call double @llvm.ceil.f64(double 0xBF97000000000000)
  %806 = fcmp oge double %804, %805
  br i1 %806, label %807, label %866

807:                                              ; preds = %802
  store i32 1999, ptr %4, align 4, !tbaa !5
  %808 = load i32, ptr %3, align 4, !tbaa !5
  %809 = mul nsw i32 2048, %808
  %810 = icmp sgt i32 2001, %809
  br i1 %810, label %811, label %812

811:                                              ; preds = %807
  br label %815

812:                                              ; preds = %807
  %813 = load i32, ptr %3, align 4, !tbaa !5
  %814 = mul nsw i32 2048, %813
  br label %815

815:                                              ; preds = %812, %811
  %816 = phi i32 [ 2001, %811 ], [ %814, %812 ]
  store i32 %816, ptr %5, align 4, !tbaa !5
  br label %817

817:                                              ; preds = %862, %815
  %818 = load i32, ptr %5, align 4, !tbaa !5
  %819 = load i32, ptr %3, align 4, !tbaa !5
  %820 = mul nsw i32 2048, %819
  %821 = add nsw i32 %820, 2047
  %822 = icmp slt i32 %821, 2001997
  br i1 %822, label %823, label %827

823:                                              ; preds = %817
  %824 = load i32, ptr %3, align 4, !tbaa !5
  %825 = mul nsw i32 2048, %824
  %826 = add nsw i32 %825, 2047
  br label %828

827:                                              ; preds = %817
  br label %828

828:                                              ; preds = %827, %823
  %829 = phi i32 [ %826, %823 ], [ 2001997, %827 ]
  %830 = icmp sle i32 %818, %829
  br i1 %830, label %831, label %865

831:                                              ; preds = %828
  store i32 1, ptr %6, align 4, !tbaa !5
  %832 = load i32, ptr %2, align 4, !tbaa !5
  %833 = load i32, ptr %3, align 4, !tbaa !5
  %834 = sub nsw i32 %832, %833
  %835 = srem i32 %834, 2
  %836 = icmp eq i32 %835, 0
  br i1 %836, label %837, label %861

837:                                              ; preds = %831
  %838 = load i32, ptr %2, align 4, !tbaa !5
  %839 = load i32, ptr %3, align 4, !tbaa !5
  %840 = sub nsw i32 %838, %839
  %841 = sdiv i32 %840, 2
  store i32 %841, ptr %7, align 4, !tbaa !5
  %842 = load i32, ptr %2, align 4, !tbaa !5
  %843 = sub nsw i32 0, %842
  %844 = load i32, ptr %3, align 4, !tbaa !5
  %845 = mul nsw i32 2, %844
  %846 = add nsw i32 %843, %845
  store i32 %846, ptr %8, align 4, !tbaa !5
  store i32 999, ptr %9, align 4, !tbaa !5
  %847 = load i32, ptr %5, align 4, !tbaa !5
  %848 = sub nsw i32 %847, 2000
  %849 = add nsw i32 %848, 1
  store i32 %849, ptr %10, align 4, !tbaa !5
  %850 = load i32, ptr %5, align 4, !tbaa !5
  %851 = sub nsw i32 %850, 2000
  %852 = add nsw i32 %851, 1
  %853 = sext i32 %852 to i64
  %854 = getelementptr inbounds [2000000 x double], ptr @b, i64 0, i64 %853
  %855 = load double, ptr %854, align 8, !tbaa !9
  %856 = load i32, ptr %5, align 4, !tbaa !5
  %857 = sub nsw i32 %856, 2000
  %858 = add nsw i32 %857, 1
  %859 = sext i32 %858 to i64
  %860 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %859
  store double %855, ptr %860, align 8, !tbaa !9
  br label %861

861:                                              ; preds = %837, %831
  br label %862

862:                                              ; preds = %861
  %863 = load i32, ptr %5, align 4, !tbaa !5
  %864 = add nsw i32 %863, 1
  store i32 %864, ptr %5, align 4, !tbaa !5
  br label %817, !llvm.loop !17

865:                                              ; preds = %828
  br label %866

866:                                              ; preds = %865, %802, %791
  br label %867

867:                                              ; preds = %866
  %868 = load i32, ptr %3, align 4, !tbaa !5
  %869 = add nsw i32 %868, 1
  store i32 %869, ptr %3, align 4, !tbaa !5
  br label %159, !llvm.loop !18

870:                                              ; preds = %159
  br label %871

871:                                              ; preds = %870
  %872 = load i32, ptr %2, align 4, !tbaa !5
  %873 = add nsw i32 %872, 1
  store i32 %873, ptr %2, align 4, !tbaa !5
  br label %14, !llvm.loop !19

874:                                              ; preds = %14
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #3
  ret i32 0
}

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

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

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

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

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


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

@a = external dso_local local_unnamed_addr global [2000000 x double], align 16
@b = external dso_local local_unnamed_addr global [2000000 x double], align 16

; Function Attrs: nofree norecurse nosync nounwind memory(readwrite, argmem: none, inaccessiblemem: none) uwtable
define dso_local noundef i32 @main() local_unnamed_addr #0 {
  br label %1

1:                                                ; preds = %0, %._crit_edge297
  %indvar360 = phi i32 [ 0, %0 ], [ %indvar.next361, %._crit_edge297 ]
  %indvars.iv347 = phi i64 [ -1, %0 ], [ %indvars.iv.next348, %._crit_edge297 ]
  %indvars.iv329 = phi i32 [ 1, %0 ], [ %indvars.iv.next330, %._crit_edge297 ]
  %indvars.iv315 = phi i32 [ -4095, %0 ], [ %indvars.iv.next316, %._crit_edge297 ]
  %indvars.iv305 = phi i32 [ -4094, %0 ], [ %indvars.iv.next306, %._crit_edge297 ]
  %2 = phi double [ -1.000000e+00, %0 ], [ %446, %._crit_edge297 ]
  %3 = shl nsw i64 %indvars.iv347, 11
  %4 = trunc i64 %3 to i32
  %5 = add i32 %4, -999
  %6 = sitofp i32 %5 to double
  %7 = fmul double %6, 0x3F40000000000000
  %8 = tail call double @llvm.ceil.f64(double %7)
  %9 = shl nsw i64 %indvars.iv347, 12
  %10 = trunc i64 %9 to i32
  %11 = add i32 %10, -2045
  %12 = sitofp i32 %11 to double
  %13 = fdiv double %12, 6.144000e+03
  %14 = tail call double @llvm.ceil.f64(double %13)
  %15 = fcmp ogt double %8, %14
  %. = select i1 %15, double %8, double %14
  %16 = fcmp ogt double %., 0.000000e+00
  %17 = select i1 %16, double %., double 0.000000e+00
  %18 = fptosi double %17 to i32
  %19 = trunc i64 %3 to i32
  %20 = or disjoint i32 %19, 2047
  %21 = sitofp i32 %20 to double
  %22 = fmul double %21, 0x3F40000000000000
  %23 = tail call double @llvm.floor.f64(double %22)
  %24 = trunc i64 %9 to i32
  %25 = add i32 %24, 2004093
  %26 = sitofp i32 %25 to double
  %27 = fdiv double %26, 6.144000e+03
  %28 = tail call double @llvm.floor.f64(double %27)
  %29 = fcmp olt double %23, %28
  %30 = select i1 %29, double %23, double %28
  %31 = fcmp olt double %30, 9.770000e+02
  %32 = select i1 %31, double %30, double 9.770000e+02
  %33 = fptosi double %32 to i32
  %.not292 = icmp sgt i32 %18, %33
  br i1 %.not292, label %._crit_edge297, label %.lr.ph296

.lr.ph296:                                        ; preds = %1
  %34 = shl nuw nsw i32 %indvar360, 12
  %35 = add nuw i32 %34, 1999997
  %36 = shl nuw nsw i32 %indvar360, 12
  %37 = add nuw i32 %36, 1999997
  %38 = shl nuw nsw i32 %indvar360, 12
  %39 = add nuw i32 %38, 1995902
  %40 = mul nsw i64 %indvars.iv347, -4096
  %41 = or disjoint i64 %40, 1
  %42 = shl i32 %18, 11
  %43 = shl i32 %18, 12
  %44 = sub i32 %indvars.iv305, %43
  %45 = sub i32 %indvars.iv315, %43
  %46 = sub i32 %indvars.iv329, %43
  %47 = or disjoint i32 %42, 2047
  %48 = sext i32 %18 to i64
  %49 = add i32 %33, 1
  %50 = sub i32 %49, %18
  %51 = trunc nsw i64 %9 to i32
  %52 = trunc nsw i64 %9 to i32
  %53 = trunc nsw i64 %indvars.iv347 to i32
  %54 = or disjoint i32 %42, 2047
  %reass.sub = sub i32 %18, %indvar360
  %55 = shl i32 %reass.sub, 12
  %56 = or disjoint i32 %55, 1
  %57 = or disjoint i32 %42, 2047
  %58 = or disjoint i32 %42, 2047
  %59 = or disjoint i32 %42, 2047
  %60 = or disjoint i32 %42, 2047
  %61 = or disjoint i32 %42, 2047
  %62 = or disjoint i32 %42, 2047
  %63 = or disjoint i32 %42, 2047
  br label %64

64:                                               ; preds = %.lr.ph296, %.loopexit
  %indvars.iv344 = phi i64 [ %48, %.lr.ph296 ], [ %indvars.iv.next345, %.loopexit ]
  %indvar = phi i32 [ 0, %.lr.ph296 ], [ %indvar.next, %.loopexit ]
  %indvars.iv331 = phi i32 [ %46, %.lr.ph296 ], [ %indvars.iv.next332, %.loopexit ]
  %indvars.iv317 = phi i32 [ %45, %.lr.ph296 ], [ %indvars.iv.next318, %.loopexit ]
  %indvars.iv307 = phi i32 [ %44, %.lr.ph296 ], [ %indvars.iv.next308, %.loopexit ]
  %indvars.iv = phi i32 [ %42, %.lr.ph296 ], [ %indvars.iv.next, %.loopexit ]
  %65 = add i32 %indvar, %18
  %66 = shl i32 %65, 12
  %67 = sub i32 %39, %66
  %68 = shl i32 %indvar, 11
  %69 = add i32 %63, %68
  %70 = tail call i32 @llvm.smin.i32(i32 %67, i32 %69)
  %71 = tail call i32 @llvm.smax.i32(i32 %70, i32 %indvars.iv)
  %72 = tail call i32 @llvm.smax.i32(i32 %71, i32 %indvars.iv307)
  %smax454 = sext i32 %72 to i64
  %73 = add nsw i64 %smax454, 1
  %74 = tail call i32 @llvm.smax.i32(i32 %indvars.iv, i32 %indvars.iv307)
  %smax455 = sext i32 %74 to i64
  %75 = sub nsw i64 %73, %smax455
  %76 = shl i32 %indvar, 11
  %77 = add i32 %62, %76
  %smin433 = tail call i32 @llvm.smin.i32(i32 %77, i32 1999998)
  %smax434 = tail call i32 @llvm.smax.i32(i32 %indvars.iv, i32 2)
  %78 = zext nneg i32 %smax434 to i64
  %79 = tail call i32 @llvm.umax.i32(i32 %smin433, i32 %smax434)
  %umax = zext i32 %79 to i64
  %80 = add nuw nsw i64 %umax, 1
  %81 = sub nsw i64 %80, %78
  %smax412 = tail call i32 @llvm.smax.i32(i32 %indvars.iv, i32 1999999)
  %82 = add nsw i32 %smax412, -1999998
  %smax413 = tail call i32 @llvm.smax.i32(i32 %indvars.iv317, i32 %82)
  %83 = add nuw i32 %smax413, 1999998
  %84 = sext i32 %83 to i64
  %85 = shl i32 %indvar, 11
  %86 = add i32 %61, %85
  %87 = sext i32 %86 to i64
  %88 = add nuw i32 %smax413, 2
  %89 = sext i32 %88 to i64
  %90 = sext i32 %indvars.iv to i64
  %smax406 = tail call i32 @llvm.smax.i32(i32 %indvars.iv, i32 1999999)
  %91 = add nsw i32 %smax406, -1999998
  %smax407 = tail call i32 @llvm.smax.i32(i32 %indvars.iv317, i32 %91)
  %92 = add nuw i32 %smax407, 1999998
  %93 = sext i32 %92 to i64
  %94 = shl i32 %indvar, 11
  %95 = add i32 %60, %94
  %96 = sext i32 %95 to i64
  %97 = add nuw i32 %smax407, 2
  %98 = sext i32 %97 to i64
  %99 = sext i32 %indvars.iv to i64
  %smax380 = tail call i32 @llvm.smax.i32(i32 %indvars.iv, i32 1999999)
  %100 = add nsw i32 %smax380, -1999998
  %smax381 = tail call i32 @llvm.smax.i32(i32 %indvars.iv317, i32 %100)
  %101 = add nuw i32 %smax381, 1999998
  %102 = sext i32 %101 to i64
  %103 = shl i32 %indvar, 11
  %104 = add i32 %59, %103
  %105 = sext i32 %104 to i64
  %106 = add nuw i32 %smax381, 2
  %107 = sext i32 %106 to i64
  %108 = sext i32 %indvars.iv to i64
  %smax372 = tail call i32 @llvm.smax.i32(i32 %indvars.iv, i32 1999999)
  %109 = add nsw i32 %smax372, -1999998
  %smax373 = tail call i32 @llvm.smax.i32(i32 %indvars.iv317, i32 %109)
  %110 = add nuw i32 %smax373, 1999998
  %111 = sext i32 %110 to i64
  %112 = shl i32 %indvar, 11
  %113 = add i32 %58, %112
  %114 = sext i32 %113 to i64
  %115 = add nuw i32 %smax373, 2
  %116 = sext i32 %115 to i64
  %117 = sext i32 %indvars.iv to i64
  %118 = sub nsw i32 0, %smax373
  %119 = zext i32 %118 to i64
  %120 = add nuw nsw i64 %119, 1
  %121 = add i32 %indvar, %18
  %122 = shl i32 %121, 12
  %123 = sub i32 %37, %122
  %124 = shl i32 %indvar, 11
  %125 = add i32 %57, %124
  %126 = tail call i32 @llvm.smin.i32(i32 %123, i32 %125)
  %127 = tail call i32 @llvm.smax.i32(i32 %126, i32 %indvars.iv)
  %128 = tail call i32 @llvm.smax.i32(i32 %127, i32 %indvars.iv331)
  %smax368 = sext i32 %128 to i64
  %129 = add nsw i64 %smax368, 1
  %130 = tail call i32 @llvm.smax.i32(i32 %indvars.iv, i32 %indvars.iv331)
  %smax369 = sext i32 %130 to i64
  %131 = sub nsw i64 %129, %smax369
  %132 = add i32 %indvar, %18
  %133 = shl i32 %132, 12
  %134 = sub i32 %35, %133
  %135 = shl i32 %indvar, 11
  %136 = add i32 %54, %135
  %137 = tail call i32 @llvm.smin.i32(i32 %134, i32 %136)
  %138 = tail call i32 @llvm.smax.i32(i32 %137, i32 %indvars.iv)
  %139 = tail call i32 @llvm.smax.i32(i32 %138, i32 %indvars.iv331)
  %smax364 = sext i32 %139 to i64
  %140 = tail call i32 @llvm.smax.i32(i32 %indvars.iv, i32 %indvars.iv331)
  %smax365 = sext i32 %140 to i64
  %141 = sub nsw i64 %smax364, %smax365
  %142 = shl i32 %indvar, 12
  %143 = add i32 %56, %142
  %144 = add i32 %143, %140
  %indvars346 = trunc i64 %indvars.iv344 to i32
  %smax336 = tail call i32 @llvm.smax.i32(i32 %indvars.iv, i32 2001)
  %145 = zext nneg i32 %smax336 to i64
  %146 = shl nuw nsw i64 %145, 3
  %scevgep = getelementptr i8, ptr getelementptr (i8, ptr @a, i64 -15992), i64 %146
  %scevgep337 = getelementptr i8, ptr getelementptr (i8, ptr @b, i64 -15992), i64 %146
  %147 = shl i32 %indvar, 11
  %148 = add i32 %47, %147
  %smin = tail call i32 @llvm.smin.i32(i32 %148, i32 2001997)
  %smax338 = tail call i32 @llvm.smax.i32(i32 %smin, i32 %indvars.iv)
  %smax339 = tail call i32 @llvm.smax.i32(i32 %smax338, i32 2001)
  %149 = sub nsw i32 %smax339, %smax336
  %150 = zext i32 %149 to i64
  %151 = shl nuw nsw i64 %150, 3
  %152 = add nuw nsw i64 %151, 8
  %153 = sext i32 %indvars.iv to i64
  %154 = tail call i32 @llvm.smax.i32(i32 %indvars.iv, i32 %indvars.iv331)
  %smax333 = sext i32 %154 to i64
  %smax319 = tail call i32 @llvm.smax.i32(i32 %indvars.iv, i32 1999999)
  %155 = add nsw i32 %smax319, -1999998
  %smax320 = tail call i32 @llvm.smax.i32(i32 %indvars.iv317, i32 %155)
  %156 = add nuw i32 %smax320, 2
  %157 = sext i32 %156 to i64
  %smax311 = tail call i32 @llvm.smax.i32(i32 %indvars.iv, i32 2)
  %158 = zext nneg i32 %smax311 to i64
  %159 = tail call i32 @llvm.smax.i32(i32 %indvars.iv, i32 %indvars.iv307)
  %smax = sext i32 %159 to i64
  %160 = sitofp i32 %indvars346 to double
  %161 = trunc i64 %indvars.iv344 to i32
  %162 = mul i32 %161, 6144
  %163 = add i32 %162, -1999998
  %164 = sitofp i32 %163 to double
  %165 = fmul double %164, 0x3F30000000000000
  %166 = tail call double @llvm.ceil.f64(double %165)
  %167 = fcmp olt double %166, %160
  %.247 = select i1 %167, double %160, double %166
  %168 = fcmp ugt double %.247, %2
  %.pre351 = shl nsw i64 %indvars.iv344, 12
  %.pre352 = shl nsw i32 %indvars346, 12
  br i1 %168, label %.loopexit266, label %169

169:                                              ; preds = %64
  %170 = sub nsw i32 %51, %.pre352
  %171 = or disjoint i32 %170, 2
  %172 = shl nsw i64 %indvars.iv344, 11
  %173 = trunc nsw i64 %172 to i32
  %.248 = tail call i32 @llvm.smax.i32(i32 %171, i32 %173)
  %174 = add nsw i32 %170, 1999998
  %175 = trunc i64 %172 to i32
  %176 = or disjoint i32 %175, 2047
  %.249 = tail call i32 @llvm.smin.i32(i32 %174, i32 %176)
  %.not238267 = icmp sgt i32 %.248, %.249
  br i1 %.not238267, label %.loopexit266, label %.lr.ph

.lr.ph:                                           ; preds = %169
  %177 = sub nsw i64 %indvars.iv347, %indvars.iv344
  %178 = and i64 %177, 1
  %179 = icmp eq i64 %178, 0
  %180 = add nsw i64 %.pre351, %40
  %181 = add nsw i64 %41, %.pre351
  br i1 %179, label %.lr.ph.split.us.preheader, label %.loopexit266

.lr.ph.split.us.preheader:                        ; preds = %.lr.ph
  %182 = sext i32 %.249 to i64
  %min.iters.check458 = icmp ult i64 %75, 4
  br i1 %min.iters.check458, label %.lr.ph.split.us.preheader480, label %vector.ph459

vector.ph459:                                     ; preds = %.lr.ph.split.us.preheader
  %n.vec461 = and i64 %75, -4
  %ind.end462 = add nsw i64 %n.vec461, %smax
  br label %vector.body464

vector.body464:                                   ; preds = %vector.body464, %vector.ph459
  %index465 = phi i64 [ 0, %vector.ph459 ], [ %index.next473, %vector.body464 ]
  %offset.idx466 = add i64 %index465, %smax
  %183 = add nsw i64 %181, %offset.idx466
  %184 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %183
  %185 = getelementptr inbounds i8, ptr %184, i64 16
  %wide.load467 = load <2 x double>, ptr %184, align 8, !tbaa !5
  %wide.load468 = load <2 x double>, ptr %185, align 8, !tbaa !5
  %186 = add nsw i64 %180, %offset.idx466
  %187 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %186
  %188 = getelementptr inbounds i8, ptr %187, i64 16
  %wide.load469 = load <2 x double>, ptr %187, align 8, !tbaa !5
  %wide.load470 = load <2 x double>, ptr %188, align 8, !tbaa !5
  %189 = fadd <2 x double> %wide.load467, %wide.load469
  %190 = fadd <2 x double> %wide.load468, %wide.load470
  %191 = add nsw i64 %186, -1
  %192 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %191
  %193 = getelementptr inbounds i8, ptr %192, i64 16
  %wide.load471 = load <2 x double>, ptr %192, align 8, !tbaa !5
  %wide.load472 = load <2 x double>, ptr %193, align 8, !tbaa !5
  %194 = fadd <2 x double> %189, %wide.load471
  %195 = fadd <2 x double> %190, %wide.load472
  %196 = fmul <2 x double> %194, <double 3.330000e-01, double 3.330000e-01>
  %197 = fmul <2 x double> %195, <double 3.330000e-01, double 3.330000e-01>
  %198 = getelementptr inbounds [2000000 x double], ptr @b, i64 0, i64 %186
  %199 = getelementptr inbounds i8, ptr %198, i64 16
  store <2 x double> %196, ptr %198, align 8, !tbaa !5
  store <2 x double> %197, ptr %199, align 8, !tbaa !5
  %index.next473 = add nuw i64 %index465, 4
  %200 = icmp eq i64 %index.next473, %n.vec461
  br i1 %200, label %middle.block456, label %vector.body464, !llvm.loop !9

middle.block456:                                  ; preds = %vector.body464
  %cmp.n474 = icmp eq i64 %75, %n.vec461
  br i1 %cmp.n474, label %.loopexit266, label %.lr.ph.split.us.preheader480

.lr.ph.split.us.preheader480:                     ; preds = %middle.block456, %.lr.ph.split.us.preheader
  %indvars.iv309.ph = phi i64 [ %smax, %.lr.ph.split.us.preheader ], [ %ind.end462, %middle.block456 ]
  br label %.lr.ph.split.us

.lr.ph.split.us:                                  ; preds = %.lr.ph.split.us.preheader480, %.lr.ph.split.us
  %indvars.iv309 = phi i64 [ %indvars.iv.next310, %.lr.ph.split.us ], [ %indvars.iv309.ph, %.lr.ph.split.us.preheader480 ]
  %201 = add nsw i64 %181, %indvars.iv309
  %202 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %201
  %203 = load double, ptr %202, align 8, !tbaa !5
  %204 = add nsw i64 %180, %indvars.iv309
  %205 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %204
  %206 = load double, ptr %205, align 8, !tbaa !5
  %207 = fadd double %203, %206
  %208 = add nsw i64 %204, -1
  %209 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %208
  %210 = load double, ptr %209, align 8, !tbaa !5
  %211 = fadd double %207, %210
  %212 = fmul double %211, 3.330000e-01
  %213 = getelementptr inbounds [2000000 x double], ptr @b, i64 0, i64 %204
  store double %212, ptr %213, align 8, !tbaa !5
  %indvars.iv.next310 = add nsw i64 %indvars.iv309, 1
  %.not238.us.not = icmp slt i64 %indvars.iv309, %182
  br i1 %.not238.us.not, label %.lr.ph.split.us, label %.loopexit266, !llvm.loop !13

.loopexit266:                                     ; preds = %.lr.ph.split.us, %middle.block456, %64, %.lr.ph, %169
  %214 = trunc i64 %.pre351 to i32
  %215 = add i32 %214, -1
  %216 = sitofp i32 %215 to double
  %217 = fmul double %216, 0x3F30000000000000
  %218 = tail call double @llvm.floor.f64(double %217)
  %219 = fcmp oge double %218, %2
  %220 = icmp slt i64 %indvars.iv344, 977
  %or.cond = and i1 %220, %219
  %221 = shl nsw i64 %indvars.iv344, 11
  %222 = trunc nsw i64 %221 to i32
  br i1 %or.cond, label %223, label %.loopexit265

223:                                              ; preds = %.loopexit266
  %224 = tail call i32 @llvm.smax.i32(i32 %222, i32 2)
  %225 = trunc i64 %221 to i32
  %226 = or disjoint i32 %225, 2047
  %227 = tail call i32 @llvm.smin.i32(i32 %226, i32 1999998)
  %.not239269 = icmp sgt i32 %224, %227
  br i1 %.not239269, label %.loopexit265, label %.lr.ph271

.lr.ph271:                                        ; preds = %223
  %228 = sub nsw i64 %indvars.iv347, %indvars.iv344
  %229 = and i64 %228, 1
  %230 = icmp eq i64 %229, 0
  br i1 %230, label %.lr.ph271.split.us.preheader, label %.loopexit265

.lr.ph271.split.us.preheader:                     ; preds = %.lr.ph271
  %231 = zext nneg i32 %227 to i64
  %.phi.trans.insert = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %158
  %.pre = load double, ptr %.phi.trans.insert, align 16, !tbaa !5
  %min.iters.check437 = icmp ult i64 %81, 4
  br i1 %min.iters.check437, label %.lr.ph271.split.us.preheader479, label %vector.ph438

vector.ph438:                                     ; preds = %.lr.ph271.split.us.preheader
  %n.vec440 = and i64 %81, -4
  %ind.end441 = add nsw i64 %n.vec440, %158
  %vector.recur.init = insertelement <2 x double> poison, double %.pre, i64 1
  br label %vector.body443

vector.body443:                                   ; preds = %vector.body443, %vector.ph438
  %index444 = phi i64 [ 0, %vector.ph438 ], [ %index.next450, %vector.body443 ]
  %vector.recur = phi <2 x double> [ %vector.recur.init, %vector.ph438 ], [ %wide.load447, %vector.body443 ]
  %offset.idx445 = add i64 %index444, %158
  %232 = or disjoint i64 %offset.idx445, 1
  %233 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %232
  %234 = getelementptr inbounds i8, ptr %233, i64 16
  %wide.load446 = load <2 x double>, ptr %233, align 8, !tbaa !5
  %wide.load447 = load <2 x double>, ptr %234, align 8, !tbaa !5
  %235 = shufflevector <2 x double> %vector.recur, <2 x double> %wide.load446, <2 x i32> <i32 1, i32 2>
  %236 = shufflevector <2 x double> %wide.load446, <2 x double> %wide.load447, <2 x i32> <i32 1, i32 2>
  %237 = fadd <2 x double> %wide.load446, %235
  %238 = fadd <2 x double> %wide.load447, %236
  %239 = add nsw i64 %offset.idx445, -1
  %240 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %239
  %241 = getelementptr inbounds i8, ptr %240, i64 16
  %wide.load448 = load <2 x double>, ptr %240, align 8, !tbaa !5
  %wide.load449 = load <2 x double>, ptr %241, align 8, !tbaa !5
  %242 = fadd <2 x double> %237, %wide.load448
  %243 = fadd <2 x double> %238, %wide.load449
  %244 = fmul <2 x double> %242, <double 3.330000e-01, double 3.330000e-01>
  %245 = fmul <2 x double> %243, <double 3.330000e-01, double 3.330000e-01>
  %246 = getelementptr inbounds [2000000 x double], ptr @b, i64 0, i64 %offset.idx445
  %247 = getelementptr inbounds i8, ptr %246, i64 16
  store <2 x double> %244, ptr %246, align 16, !tbaa !5
  store <2 x double> %245, ptr %247, align 8, !tbaa !5
  %index.next450 = add nuw i64 %index444, 4
  %248 = icmp eq i64 %index.next450, %n.vec440
  br i1 %248, label %middle.block435, label %vector.body443, !llvm.loop !14

middle.block435:                                  ; preds = %vector.body443
  %vector.recur.extract = extractelement <2 x double> %wide.load447, i64 1
  %cmp.n451 = icmp eq i64 %81, %n.vec440
  br i1 %cmp.n451, label %.loopexit265, label %.lr.ph271.split.us.preheader479

.lr.ph271.split.us.preheader479:                  ; preds = %middle.block435, %.lr.ph271.split.us.preheader
  %.ph = phi double [ %.pre, %.lr.ph271.split.us.preheader ], [ %vector.recur.extract, %middle.block435 ]
  %indvars.iv312.ph = phi i64 [ %158, %.lr.ph271.split.us.preheader ], [ %ind.end441, %middle.block435 ]
  br label %.lr.ph271.split.us

.lr.ph271.split.us:                               ; preds = %.lr.ph271.split.us.preheader479, %.lr.ph271.split.us
  %249 = phi double [ %251, %.lr.ph271.split.us ], [ %.ph, %.lr.ph271.split.us.preheader479 ]
  %indvars.iv312 = phi i64 [ %indvars.iv.next313, %.lr.ph271.split.us ], [ %indvars.iv312.ph, %.lr.ph271.split.us.preheader479 ]
  %indvars.iv.next313 = add nuw nsw i64 %indvars.iv312, 1
  %250 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %indvars.iv.next313
  %251 = load double, ptr %250, align 8, !tbaa !5
  %252 = fadd double %251, %249
  %253 = add nsw i64 %indvars.iv312, -1
  %254 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %253
  %255 = load double, ptr %254, align 8, !tbaa !5
  %256 = fadd double %252, %255
  %257 = fmul double %256, 3.330000e-01
  %258 = getelementptr inbounds [2000000 x double], ptr @b, i64 0, i64 %indvars.iv312
  store double %257, ptr %258, align 8, !tbaa !5
  %.not239.us.not = icmp ult i64 %indvars.iv312, %231
  br i1 %.not239.us.not, label %.lr.ph271.split.us, label %.loopexit265, !llvm.loop !15

.loopexit265:                                     ; preds = %.lr.ph271.split.us, %middle.block435, %.loopexit266, %.lr.ph271, %223
  %259 = tail call i32 @llvm.smax.i32(i32 %222, i32 1999999)
  %260 = add nsw i32 %259, -1999998
  %261 = sub nsw i64 %9, %.pre351
  %262 = sub nsw i32 %52, %.pre352
  %263 = trunc i64 %261 to i32
  %264 = or disjoint i32 %263, 1
  %.250 = tail call i32 @llvm.smax.i32(i32 %260, i32 %264)
  %265 = or disjoint i32 %262, 4094
  %266 = trunc i64 %221 to i32
  %267 = or disjoint i32 %266, 2045
  %.251 = tail call i32 @llvm.smin.i32(i32 %265, i32 %267)
  %268 = tail call i32 @llvm.smin.i32(i32 %.251, i32 1998)
  %.not240277 = icmp sgt i32 %.250, %268
  br i1 %.not240277, label %._crit_edge283, label %.lr.ph282

.lr.ph282:                                        ; preds = %.loopexit265
  %269 = sub nsw i64 %indvars.iv347, %indvars.iv344
  %270 = trunc nsw i64 %269 to i32
  %271 = and i32 %270, 1
  %272 = icmp ne i32 %271, 0
  %273 = trunc i64 %221 to i32
  %274 = or disjoint i32 %273, 2047
  br label %275

275:                                              ; preds = %.lr.ph282, %._crit_edge
  %indvar374 = phi i64 [ 0, %.lr.ph282 ], [ %indvar.next375, %._crit_edge ]
  %indvars.iv321 = phi i64 [ %157, %.lr.ph282 ], [ %indvars.iv.next322, %._crit_edge ]
  %.0207278 = phi i32 [ %.250, %.lr.ph282 ], [ %384, %._crit_edge ]
  %276 = add i64 %indvar374, %84
  %smin414 = tail call i64 @llvm.smin.i64(i64 %276, i64 %87)
  %277 = add i64 %indvar374, %89
  %smax415 = tail call i64 @llvm.smax.i64(i64 %smin414, i64 %277)
  %smax416 = tail call i64 @llvm.smax.i64(i64 %smax415, i64 %90)
  %278 = add i64 %smax416, 1
  %smax417 = tail call i64 @llvm.smax.i64(i64 %277, i64 %90)
  %279 = sub i64 %278, %smax417
  %280 = add i64 %indvar374, %93
  %smin408 = tail call i64 @llvm.smin.i64(i64 %280, i64 %96)
  %281 = add i64 %indvar374, %98
  %smax409 = tail call i64 @llvm.smax.i64(i64 %smin408, i64 %281)
  %smax410 = tail call i64 @llvm.smax.i64(i64 %smax409, i64 %99)
  %smax411 = tail call i64 @llvm.smax.i64(i64 %281, i64 %99)
  %282 = sub i64 %smax410, %smax411
  %283 = trunc i64 %indvar374 to i32
  %284 = add i32 %smax407, %283
  %285 = trunc i64 %smax411 to i32
  %286 = sub i32 %285, %284
  %287 = add i64 %indvar374, %102
  %smin382 = tail call i64 @llvm.smin.i64(i64 %287, i64 %105)
  %288 = add i64 %indvar374, %107
  %smax383 = tail call i64 @llvm.smax.i64(i64 %smin382, i64 %288)
  %smax384 = tail call i64 @llvm.smax.i64(i64 %smax383, i64 %108)
  %289 = add i64 %smax384, 1
  %smax385 = tail call i64 @llvm.smax.i64(i64 %288, i64 %108)
  %290 = sub i64 %289, %smax385
  %291 = add i64 %indvar374, %111
  %smin376 = tail call i64 @llvm.smin.i64(i64 %291, i64 %114)
  %292 = add i64 %indvar374, %116
  %smax377 = tail call i64 @llvm.smax.i64(i64 %smin376, i64 %292)
  %smax378 = tail call i64 @llvm.smax.i64(i64 %smax377, i64 %117)
  %smax379 = tail call i64 @llvm.smax.i64(i64 %292, i64 %117)
  %293 = sub i64 %smax378, %smax379
  %294 = sub i64 %120, %indvar374
  %295 = trunc i64 %294 to i32
  %296 = trunc i64 %smax379 to i32
  %297 = add i32 %295, %296
  %298 = trunc i64 %indvar374 to i32
  %299 = sub i32 %118, %298
  %300 = add i32 %299, %296
  %301 = trunc i64 %indvar374 to i32
  %302 = xor i32 %301, -1
  %303 = sub i32 %302, %smax373
  %304 = add i32 %303, %296
  %smax326 = tail call i64 @llvm.smax.i64(i64 %indvars.iv321, i64 %153)
  %305 = add nuw nsw i32 %.0207278, 2
  %306 = tail call i32 @llvm.smax.i32(i32 %222, i32 %305)
  %307 = add nuw nsw i32 %.0207278, 1999998
  %.253 = tail call i32 @llvm.smin.i32(i32 %307, i32 %274)
  %.not243272 = icmp sgt i32 %306, %.253
  br i1 %.not243272, label %._crit_edge, label %.lr.ph274

.lr.ph274:                                        ; preds = %275
  %308 = or i32 %.0207278, %270
  %309 = and i32 %308, 1
  %or.cond255 = icmp eq i32 %309, 0
  br i1 %or.cond255, label %.thread.us.preheader, label %.lr.ph274.split

.thread.us.preheader:                             ; preds = %.lr.ph274
  %310 = sext i32 %.253 to i64
  %min.iters.check388 = icmp ult i64 %290, 8
  br i1 %min.iters.check388, label %.thread.us.preheader475, label %vector.scevcheck371

vector.scevcheck371:                              ; preds = %.thread.us.preheader
  %311 = trunc i64 %293 to i32
  %312 = add i32 %297, %311
  %313 = icmp slt i32 %312, %297
  %314 = trunc i64 %293 to i32
  %315 = add i32 %300, %314
  %316 = icmp slt i32 %315, %300
  %317 = icmp ugt i64 %293, 4294967295
  %318 = or i1 %316, %317
  %319 = trunc i64 %293 to i32
  %320 = add i32 %304, %319
  %321 = icmp slt i32 %320, %304
  %322 = or i1 %313, %318
  %323 = or i1 %321, %322
  br i1 %323, label %.thread.us.preheader475, label %vector.ph389

vector.ph389:                                     ; preds = %vector.scevcheck371
  %n.vec391 = and i64 %290, -4
  %ind.end392 = add i64 %smax326, %n.vec391
  br label %vector.body394

vector.body394:                                   ; preds = %vector.body394, %vector.ph389
  %index395 = phi i64 [ 0, %vector.ph389 ], [ %index.next403, %vector.body394 ]
  %offset.idx396 = add i64 %smax326, %index395
  %324 = trunc i64 %offset.idx396 to i32
  %325 = sub i32 %324, %.0207278
  %326 = add i32 %325, 1
  %327 = sext i32 %326 to i64
  %328 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %327
  %329 = getelementptr inbounds i8, ptr %328, i64 16
  %wide.load397 = load <2 x double>, ptr %328, align 8, !tbaa !5
  %wide.load398 = load <2 x double>, ptr %329, align 8, !tbaa !5
  %330 = sext i32 %325 to i64
  %331 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %330
  %332 = getelementptr inbounds i8, ptr %331, i64 16
  %wide.load399 = load <2 x double>, ptr %331, align 8, !tbaa !5
  %wide.load400 = load <2 x double>, ptr %332, align 8, !tbaa !5
  %333 = fadd <2 x double> %wide.load397, %wide.load399
  %334 = fadd <2 x double> %wide.load398, %wide.load400
  %335 = add nsw i32 %325, -1
  %336 = sext i32 %335 to i64
  %337 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %336
  %338 = getelementptr inbounds i8, ptr %337, i64 16
  %wide.load401 = load <2 x double>, ptr %337, align 8, !tbaa !5
  %wide.load402 = load <2 x double>, ptr %338, align 8, !tbaa !5
  %339 = fadd <2 x double> %333, %wide.load401
  %340 = fadd <2 x double> %334, %wide.load402
  %341 = fmul <2 x double> %339, <double 3.330000e-01, double 3.330000e-01>
  %342 = fmul <2 x double> %340, <double 3.330000e-01, double 3.330000e-01>
  %343 = getelementptr inbounds [2000000 x double], ptr @b, i64 0, i64 %330
  %344 = getelementptr inbounds i8, ptr %343, i64 16
  store <2 x double> %341, ptr %343, align 8, !tbaa !5
  store <2 x double> %342, ptr %344, align 8, !tbaa !5
  %index.next403 = add nuw i64 %index395, 4
  %345 = icmp eq i64 %index.next403, %n.vec391
  br i1 %345, label %middle.block386, label %vector.body394, !llvm.loop !16

middle.block386:                                  ; preds = %vector.body394
  %cmp.n404 = icmp eq i64 %290, %n.vec391
  br i1 %cmp.n404, label %._crit_edge, label %.thread.us.preheader475

.thread.us.preheader475:                          ; preds = %middle.block386, %vector.scevcheck371, %.thread.us.preheader
  %indvars.iv327.ph = phi i64 [ %smax326, %vector.scevcheck371 ], [ %smax326, %.thread.us.preheader ], [ %ind.end392, %middle.block386 ]
  br label %.thread.us

.thread.us:                                       ; preds = %.thread.us.preheader475, %.thread.us
  %indvars.iv327 = phi i64 [ %indvars.iv.next328, %.thread.us ], [ %indvars.iv327.ph, %.thread.us.preheader475 ]
  %346 = trunc nsw i64 %indvars.iv327 to i32
  %reass.sub.us = sub i32 %346, %.0207278
  %347 = add i32 %reass.sub.us, 1
  %348 = sext i32 %347 to i64
  %349 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %348
  %350 = load double, ptr %349, align 8, !tbaa !5
  %351 = sext i32 %reass.sub.us to i64
  %352 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %351
  %353 = load double, ptr %352, align 8, !tbaa !5
  %354 = fadd double %350, %353
  %355 = add nsw i32 %reass.sub.us, -1
  %356 = sext i32 %355 to i64
  %357 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %356
  %358 = load double, ptr %357, align 8, !tbaa !5
  %359 = fadd double %354, %358
  %360 = fmul double %359, 3.330000e-01
  %361 = getelementptr inbounds [2000000 x double], ptr @b, i64 0, i64 %351
  store double %360, ptr %361, align 8, !tbaa !5
  %indvars.iv.next328 = add nsw i64 %indvars.iv327, 1
  %.not243.us.not = icmp slt i64 %indvars.iv327, %310
  br i1 %.not243.us.not, label %.thread.us, label %._crit_edge, !llvm.loop !17

.lr.ph274.split:                                  ; preds = %.lr.ph274
  %362 = and i32 %.0207278, 1
  %363 = icmp eq i32 %362, 0
  %or.cond257 = or i1 %272, %363
  br i1 %or.cond257, label %._crit_edge, label %.lr.ph274.split.split.preheader

.lr.ph274.split.split.preheader:                  ; preds = %.lr.ph274.split
  %364 = sext i32 %.253 to i64
  %min.iters.check420 = icmp ult i64 %279, 8
  br i1 %min.iters.check420, label %.lr.ph274.split.split.preheader476, label %vector.scevcheck405

vector.scevcheck405:                              ; preds = %.lr.ph274.split.split.preheader
  %365 = trunc i64 %282 to i32
  %366 = add i32 %286, %365
  %367 = icmp slt i32 %366, %286
  %368 = icmp ugt i64 %282, 4294967295
  %369 = or i1 %367, %368
  br i1 %369, label %.lr.ph274.split.split.preheader476, label %vector.ph421

vector.ph421:                                     ; preds = %vector.scevcheck405
  %n.vec423 = and i64 %279, -4
  %ind.end424 = add i64 %smax326, %n.vec423
  br label %vector.body426

vector.body426:                                   ; preds = %vector.body426, %vector.ph421
  %index427 = phi i64 [ 0, %vector.ph421 ], [ %index.next431, %vector.body426 ]
  %offset.idx428 = add i64 %smax326, %index427
  %370 = trunc i64 %offset.idx428 to i32
  %371 = sub i32 %370, %.0207278
  %372 = sext i32 %371 to i64
  %373 = getelementptr inbounds [2000000 x double], ptr @b, i64 0, i64 %372
  %374 = getelementptr inbounds i8, ptr %373, i64 16
  %wide.load429 = load <2 x double>, ptr %373, align 8, !tbaa !5
  %wide.load430 = load <2 x double>, ptr %374, align 8, !tbaa !5
  %375 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %372
  %376 = getelementptr inbounds i8, ptr %375, i64 16
  store <2 x double> %wide.load429, ptr %375, align 8, !tbaa !5
  store <2 x double> %wide.load430, ptr %376, align 8, !tbaa !5
  %index.next431 = add nuw i64 %index427, 4
  %377 = icmp eq i64 %index.next431, %n.vec423
  br i1 %377, label %middle.block418, label %vector.body426, !llvm.loop !18

middle.block418:                                  ; preds = %vector.body426
  %cmp.n432 = icmp eq i64 %279, %n.vec423
  br i1 %cmp.n432, label %._crit_edge, label %.lr.ph274.split.split.preheader476

.lr.ph274.split.split.preheader476:               ; preds = %middle.block418, %vector.scevcheck405, %.lr.ph274.split.split.preheader
  %indvars.iv324.ph = phi i64 [ %smax326, %vector.scevcheck405 ], [ %smax326, %.lr.ph274.split.split.preheader ], [ %ind.end424, %middle.block418 ]
  br label %.lr.ph274.split.split

.lr.ph274.split.split:                            ; preds = %.lr.ph274.split.split.preheader476, %.lr.ph274.split.split
  %indvars.iv324 = phi i64 [ %indvars.iv.next325, %.lr.ph274.split.split ], [ %indvars.iv324.ph, %.lr.ph274.split.split.preheader476 ]
  %378 = trunc nsw i64 %indvars.iv324 to i32
  %379 = sub i32 %378, %.0207278
  %380 = sext i32 %379 to i64
  %381 = getelementptr inbounds [2000000 x double], ptr @b, i64 0, i64 %380
  %382 = load double, ptr %381, align 8, !tbaa !5
  %383 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %380
  store double %382, ptr %383, align 8, !tbaa !5
  %indvars.iv.next325 = add nsw i64 %indvars.iv324, 1
  %.not243.not = icmp slt i64 %indvars.iv324, %364
  br i1 %.not243.not, label %.lr.ph274.split.split, label %._crit_edge, !llvm.loop !19

._crit_edge:                                      ; preds = %.lr.ph274.split.split, %.thread.us, %middle.block418, %middle.block386, %.lr.ph274.split, %275
  %384 = add nuw nsw i32 %.0207278, 1
  %.not240.not = icmp slt i32 %.0207278, %268
  %indvars.iv.next322 = add nsw i64 %indvars.iv321, 1
  %indvar.next375 = add i64 %indvar374, 1
  br i1 %.not240.not, label %275, label %._crit_edge283, !llvm.loop !20

._crit_edge283:                                   ; preds = %._crit_edge, %.loopexit265
  %385 = trunc i64 %indvars.iv344 to i32
  %386 = mul i32 %385, 3072
  %387 = add i32 %386, -1025
  %388 = sitofp i32 %387 to double
  %389 = fmul double %388, 0x3F40000000000000
  %390 = tail call double @llvm.floor.f64(double %389)
  %391 = trunc i64 %221 to i32
  %392 = add i32 %391, -1048
  %393 = sitofp i32 %392 to double
  %394 = fmul double %393, 0x3F40000000000000
  %395 = tail call double @llvm.floor.f64(double %394)
  %396 = fcmp olt double %390, %395
  %.258 = select i1 %396, double %390, double %395
  %397 = fcmp ult double %.258, %2
  br i1 %397, label %.loopexit264, label %398

398:                                              ; preds = %._crit_edge283
  %399 = add nsw i32 %262, 4097
  %.259 = tail call i32 @llvm.smax.i32(i32 %399, i32 %222)
  %400 = add nsw i32 %262, 2004093
  %401 = trunc i64 %221 to i32
  %402 = or disjoint i32 %401, 2047
  %.260 = tail call i32 @llvm.smin.i32(i32 %400, i32 %402)
  %.not241284 = icmp sgt i32 %.259, %.260
  br i1 %.not241284, label %.loopexit264, label %.lr.ph287

.lr.ph287:                                        ; preds = %398
  %403 = sub nsw i64 %indvars.iv347, %indvars.iv344
  %404 = and i64 %403, 1
  %405 = icmp eq i64 %404, 0
  %406 = sub i32 %indvars346, %53
  %407 = shl i32 %406, 12
  %408 = add i32 %407, -4095
  br i1 %405, label %.lr.ph287.split.us.preheader, label %.loopexit264

.lr.ph287.split.us.preheader:                     ; preds = %.lr.ph287
  %409 = sext i32 %.260 to i64
  %min.iters.check = icmp ult i64 %131, 8
  br i1 %min.iters.check, label %.lr.ph287.split.us.preheader478, label %vector.scevcheck

vector.scevcheck:                                 ; preds = %.lr.ph287.split.us.preheader
  %410 = trunc i64 %141 to i32
  %411 = add i32 %144, %410
  %412 = icmp slt i32 %411, %144
  %413 = icmp ugt i64 %141, 4294967295
  %414 = or i1 %412, %413
  br i1 %414, label %.lr.ph287.split.us.preheader478, label %vector.ph

vector.ph:                                        ; preds = %vector.scevcheck
  %n.vec = and i64 %131, -4
  %ind.end = add nsw i64 %n.vec, %smax333
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %415 = trunc i64 %index to i32
  %416 = add i32 %154, %415
  %417 = add i32 %408, %416
  %418 = sext i32 %417 to i64
  %419 = getelementptr inbounds [2000000 x double], ptr @b, i64 0, i64 %418
  %420 = getelementptr inbounds i8, ptr %419, i64 16
  %wide.load = load <2 x double>, ptr %419, align 8, !tbaa !5
  %wide.load370 = load <2 x double>, ptr %420, align 8, !tbaa !5
  %421 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %418
  %422 = getelementptr inbounds i8, ptr %421, i64 16
  store <2 x double> %wide.load, ptr %421, align 8, !tbaa !5
  store <2 x double> %wide.load370, ptr %422, align 8, !tbaa !5
  %index.next = add nuw i64 %index, 4
  %423 = icmp eq i64 %index.next, %n.vec
  br i1 %423, label %middle.block, label %vector.body, !llvm.loop !21

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %131, %n.vec
  br i1 %cmp.n, label %.loopexit264, label %.lr.ph287.split.us.preheader478

.lr.ph287.split.us.preheader478:                  ; preds = %middle.block, %vector.scevcheck, %.lr.ph287.split.us.preheader
  %indvars.iv334.ph = phi i64 [ %smax333, %vector.scevcheck ], [ %smax333, %.lr.ph287.split.us.preheader ], [ %ind.end, %middle.block ]
  br label %.lr.ph287.split.us

.lr.ph287.split.us:                               ; preds = %.lr.ph287.split.us.preheader478, %.lr.ph287.split.us
  %indvars.iv334 = phi i64 [ %indvars.iv.next335, %.lr.ph287.split.us ], [ %indvars.iv334.ph, %.lr.ph287.split.us.preheader478 ]
  %424 = trunc nsw i64 %indvars.iv334 to i32
  %425 = add i32 %408, %424
  %426 = sext i32 %425 to i64
  %427 = getelementptr inbounds [2000000 x double], ptr @b, i64 0, i64 %426
  %428 = load double, ptr %427, align 8, !tbaa !5
  %429 = getelementptr inbounds [2000000 x double], ptr @a, i64 0, i64 %426
  store double %428, ptr %429, align 8, !tbaa !5
  %indvars.iv.next335 = add nsw i64 %indvars.iv334, 1
  %.not241.us.not = icmp slt i64 %indvars.iv334, %409
  br i1 %.not241.us.not, label %.lr.ph287.split.us, label %.loopexit264, !llvm.loop !22

.loopexit264:                                     ; preds = %.lr.ph287.split.us, %middle.block, %.lr.ph287, %398, %._crit_edge283
  %430 = trunc i64 %.pre351 to i32
  %431 = add i32 %430, -2095
  %432 = sitofp i32 %431 to double
  %433 = fmul double %432, 0x3F30000000000000
  %434 = tail call double @llvm.ceil.f64(double %433)
  %435 = fcmp ole double %434, %2
  %436 = icmp sgt i64 %indvars.iv344, -1
  %or.cond261 = and i1 %436, %435
  br i1 %or.cond261, label %437, label %.loopexit

437:                                              ; preds = %.loopexit264
  %438 = tail call i32 @llvm.smax.i32(i32 %222, i32 2001)
  %439 = trunc i64 %221 to i32
  %440 = or disjoint i32 %439, 2047
  %441 = tail call i32 @llvm.smin.i32(i32 %440, i32 2001997)
  %.not242288 = icmp sgt i32 %438, %441
  br i1 %.not242288, label %.loopexit, label %.lr.ph291

.lr.ph291:                                        ; preds = %437
  %442 = sub nsw i64 %indvars.iv347, %indvars.iv344
  %443 = and i64 %442, 1
  %444 = icmp eq i64 %443, 0
  br i1 %444, label %.lr.ph291.split.us.preheader, label %.loopexit

.lr.ph291.split.us.preheader:                     ; preds = %.lr.ph291
  tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(1) %scevgep, ptr noundef nonnull align 8 dereferenceable(1) %scevgep337, i64 %152, i1 false), !tbaa !5
  br label %.loopexit

.loopexit:                                        ; preds = %.lr.ph291, %.lr.ph291.split.us.preheader, %437, %.loopexit264
  %indvars.iv.next345 = add nsw i64 %indvars.iv344, 1
  %indvars.iv.next = add i32 %indvars.iv, 2048
  %indvars.iv.next308 = add i32 %indvars.iv307, -4096
  %indvars.iv.next318 = add i32 %indvars.iv317, -4096
  %indvars.iv.next332 = add i32 %indvars.iv331, -4096
  %indvar.next = add i32 %indvar, 1
  %exitcond.not = icmp eq i32 %indvar.next, %50
  br i1 %exitcond.not, label %._crit_edge297, label %64, !llvm.loop !23

._crit_edge297:                                   ; preds = %.loopexit, %1
  %indvars.iv.next348 = add nsw i64 %indvars.iv347, 1
  %445 = trunc nuw nsw i64 %indvars.iv.next348 to i32
  %446 = sitofp i32 %445 to double
  %indvars.iv.next306 = add nsw i32 %indvars.iv305, 4096
  %indvars.iv.next316 = add nsw i32 %indvars.iv315, 4096
  %indvars.iv.next330 = add nuw nsw i32 %indvars.iv329, 4096
  %exitcond350.not = icmp eq i64 %indvars.iv.next348, 979
  %indvar.next361 = add i32 %indvar360, 1
  br i1 %exitcond350.not, label %447, label %1, !llvm.loop !24

447:                                              ; preds = %._crit_edge297
  ret i32 0
}

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

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

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

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

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

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

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i64 @llvm.smin.i64(i64, i64) #2

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

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

!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 = !{!"double", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = distinct !{!9, !10, !11, !12}
!10 = !{!"llvm.loop.mustprogress"}
!11 = !{!"llvm.loop.isvectorized", i32 1}
!12 = !{!"llvm.loop.unroll.runtime.disable"}
!13 = distinct !{!13, !10, !12, !11}
!14 = distinct !{!14, !10, !11, !12}
!15 = distinct !{!15, !10, !12, !11}
!16 = distinct !{!16, !10, !11, !12}
!17 = distinct !{!17, !10, !11}
!18 = distinct !{!18, !10, !11, !12}
!19 = distinct !{!19, !10, !11}
!20 = distinct !{!20, !10}
!21 = distinct !{!21, !10, !11, !12}
!22 = distinct !{!22, !10, !11}
!23 = distinct !{!23, !10}
!24 = distinct !{!24, !10}


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