; LLVM IR from tangjz/acm-icpc :: buaa/oj3rd (1116)

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

@n = external dso_local global i32, align 4
@m = external dso_local global i64, align 8
@x = external dso_local global [1010 x i64], align 16
@l = external dso_local global [1010 x i64], align 16
@h = external dso_local global [1010 x i64], align 16
@f = external dso_local global [1010 x [3 x double]], align 16
@.str = external hidden unnamed_addr constant [7 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [4 x i8], align 1

; Function Attrs: mustprogress norecurse uwtable
define dso_local noundef i32 @main() #0 {
  %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 double, align 8
  %9 = alloca double, align 8
  %10 = alloca double, align 8
  %11 = alloca i32, align 4
  %12 = alloca double, align 8
  %13 = alloca double, align 8
  %14 = alloca double, align 8
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  store i32 0, ptr %1, align 4
  br label %17

17:                                               ; preds = %767, %0
  %18 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef @.str, ptr noundef @m, ptr noundef @n)
  %19 = icmp eq i32 %18, 2
  br i1 %19, label %20, label %770

20:                                               ; preds = %17
  store i64 0, ptr @h, align 16, !tbaa !5
  store i64 0, ptr @l, align 16, !tbaa !5
  store i64 0, ptr @x, align 16, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #5
  store i32 1, ptr %2, align 4, !tbaa !9
  br label %21

21:                                               ; preds = %49, %20
  %22 = load i32, ptr %2, align 4, !tbaa !9
  %23 = load i32, ptr @n, align 4, !tbaa !9
  %24 = icmp sle i32 %22, %23
  br i1 %24, label %26, label %25

25:                                               ; preds = %21
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #5
  br label %52

26:                                               ; preds = %21
  %27 = load i32, ptr %2, align 4, !tbaa !9
  %28 = sext i32 %27 to i64
  %29 = getelementptr inbounds i64, ptr @x, i64 %28
  %30 = load i32, ptr %2, align 4, !tbaa !9
  %31 = sext i32 %30 to i64
  %32 = getelementptr inbounds i64, ptr @l, i64 %31
  %33 = load i32, ptr %2, align 4, !tbaa !9
  %34 = sext i32 %33 to i64
  %35 = getelementptr inbounds i64, ptr @h, i64 %34
  %36 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef @.str.1, ptr noundef %29, ptr noundef %32, ptr noundef %35)
  %37 = load i32, ptr %2, align 4, !tbaa !9
  %38 = sext i32 %37 to i64
  %39 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %38
  %40 = getelementptr inbounds [3 x double], ptr %39, i64 0, i64 2
  store double 2.000000e+09, ptr %40, align 8, !tbaa !11
  %41 = load i32, ptr %2, align 4, !tbaa !9
  %42 = sext i32 %41 to i64
  %43 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %42
  %44 = getelementptr inbounds [3 x double], ptr %43, i64 0, i64 1
  store double 2.000000e+09, ptr %44, align 8, !tbaa !11
  %45 = load i32, ptr %2, align 4, !tbaa !9
  %46 = sext i32 %45 to i64
  %47 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %46
  %48 = getelementptr inbounds [3 x double], ptr %47, i64 0, i64 0
  store double 2.000000e+09, ptr %48, align 8, !tbaa !11
  br label %49

49:                                               ; preds = %26
  %50 = load i32, ptr %2, align 4, !tbaa !9
  %51 = add nsw i32 %50, 1
  store i32 %51, ptr %2, align 4, !tbaa !9
  br label %21, !llvm.loop !13

52:                                               ; preds = %25
  store double 0.000000e+00, ptr getelementptr inbounds ([3 x double], ptr @f, i64 0, i64 2), align 16, !tbaa !11
  store double 0.000000e+00, ptr getelementptr inbounds ([3 x double], ptr @f, i64 0, i64 1), align 8, !tbaa !11
  store double 0.000000e+00, ptr @f, align 16, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #5
  store i32 0, ptr %3, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #5
  br label %53

53:                                               ; preds = %733, %52
  %54 = load i32, ptr %3, align 4, !tbaa !9
  %55 = load i32, ptr @n, align 4, !tbaa !9
  %56 = icmp slt i32 %54, %55
  br i1 %56, label %58, label %57

57:                                               ; preds = %53
  store i32 7, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #5
  br label %736

58:                                               ; preds = %53
  %59 = load i32, ptr %3, align 4, !tbaa !9
  %60 = add nsw i32 %59, 1
  store i32 %60, ptr %4, align 4, !tbaa !9
  %61 = load i32, ptr %3, align 4, !tbaa !9
  %62 = add nsw i32 %61, 1
  store i32 %62, ptr %5, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #5
  %63 = load i32, ptr %3, align 4, !tbaa !9
  %64 = add nsw i32 %63, 1
  store i32 %64, ptr %7, align 4, !tbaa !9
  br label %65

65:                                               ; preds = %391, %58
  %66 = load i32, ptr %7, align 4, !tbaa !9
  %67 = load i32, ptr @n, align 4, !tbaa !9
  %68 = icmp sle i32 %66, %67
  br i1 %68, label %70, label %69

69:                                               ; preds = %65
  store i32 10, ptr %6, align 4
  br label %394

70:                                               ; preds = %65
  %71 = load i32, ptr %7, align 4, !tbaa !9
  %72 = sext i32 %71 to i64
  %73 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %72
  %74 = load i64, ptr %73, align 8, !tbaa !5
  %75 = load i32, ptr %3, align 4, !tbaa !9
  %76 = sext i32 %75 to i64
  %77 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %76
  %78 = load i64, ptr %77, align 8, !tbaa !5
  %79 = sub nsw i64 %74, %78
  %80 = load i32, ptr %7, align 4, !tbaa !9
  %81 = sext i32 %80 to i64
  %82 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %81
  %83 = load i64, ptr %82, align 8, !tbaa !5
  %84 = load i32, ptr %3, align 4, !tbaa !9
  %85 = sext i32 %84 to i64
  %86 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %85
  %87 = load i64, ptr %86, align 8, !tbaa !5
  %88 = sub nsw i64 %83, %87
  %89 = load i32, ptr %4, align 4, !tbaa !9
  %90 = sext i32 %89 to i64
  %91 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %90
  %92 = load i64, ptr %91, align 8, !tbaa !5
  %93 = load i32, ptr %3, align 4, !tbaa !9
  %94 = sext i32 %93 to i64
  %95 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %94
  %96 = load i64, ptr %95, align 8, !tbaa !5
  %97 = sub nsw i64 %92, %96
  %98 = load i32, ptr %4, align 4, !tbaa !9
  %99 = sext i32 %98 to i64
  %100 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %99
  %101 = load i64, ptr %100, align 8, !tbaa !5
  %102 = load i32, ptr %3, align 4, !tbaa !9
  %103 = sext i32 %102 to i64
  %104 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %103
  %105 = load i64, ptr %104, align 8, !tbaa !5
  %106 = sub nsw i64 %101, %105
  %107 = call noundef i64 @_Z3detxxxx(i64 noundef %79, i64 noundef %88, i64 noundef %97, i64 noundef %106)
  %108 = icmp sle i64 %107, 0
  br i1 %108, label %109, label %186

109:                                              ; preds = %70
  %110 = load i32, ptr %7, align 4, !tbaa !9
  %111 = sext i32 %110 to i64
  %112 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %111
  %113 = load i64, ptr %112, align 8, !tbaa !5
  %114 = load i32, ptr %3, align 4, !tbaa !9
  %115 = sext i32 %114 to i64
  %116 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %115
  %117 = load i64, ptr %116, align 8, !tbaa !5
  %118 = sub nsw i64 %113, %117
  %119 = load i32, ptr %7, align 4, !tbaa !9
  %120 = sext i32 %119 to i64
  %121 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %120
  %122 = load i64, ptr %121, align 8, !tbaa !5
  %123 = load i32, ptr %3, align 4, !tbaa !9
  %124 = sext i32 %123 to i64
  %125 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %124
  %126 = load i64, ptr %125, align 8, !tbaa !5
  %127 = sub nsw i64 %122, %126
  %128 = load i32, ptr %5, align 4, !tbaa !9
  %129 = sext i32 %128 to i64
  %130 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %129
  %131 = load i64, ptr %130, align 8, !tbaa !5
  %132 = load i32, ptr %3, align 4, !tbaa !9
  %133 = sext i32 %132 to i64
  %134 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %133
  %135 = load i64, ptr %134, align 8, !tbaa !5
  %136 = sub nsw i64 %131, %135
  %137 = load i32, ptr %5, align 4, !tbaa !9
  %138 = sext i32 %137 to i64
  %139 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %138
  %140 = load i64, ptr %139, align 8, !tbaa !5
  %141 = load i32, ptr %3, align 4, !tbaa !9
  %142 = sext i32 %141 to i64
  %143 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %142
  %144 = load i64, ptr %143, align 8, !tbaa !5
  %145 = sub nsw i64 %140, %144
  %146 = call noundef i64 @_Z3detxxxx(i64 noundef %118, i64 noundef %127, i64 noundef %136, i64 noundef %145)
  %147 = icmp sge i64 %146, 0
  br i1 %147, label %148, label %184

148:                                              ; preds = %109
  %149 = load i32, ptr %7, align 4, !tbaa !9
  %150 = sext i32 %149 to i64
  %151 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %150
  %152 = getelementptr inbounds [3 x double], ptr %151, i64 0, i64 0
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #5
  %153 = load i32, ptr %3, align 4, !tbaa !9
  %154 = sext i32 %153 to i64
  %155 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %154
  %156 = getelementptr inbounds [3 x double], ptr %155, i64 0, i64 0
  %157 = load double, ptr %156, align 8, !tbaa !11
  %158 = load i32, ptr %7, align 4, !tbaa !9
  %159 = sext i32 %158 to i64
  %160 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %159
  %161 = load i64, ptr %160, align 8, !tbaa !5
  %162 = load i32, ptr %3, align 4, !tbaa !9
  %163 = sext i32 %162 to i64
  %164 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %163
  %165 = load i64, ptr %164, align 8, !tbaa !5
  %166 = sub nsw i64 %161, %165
  %167 = load i32, ptr %7, align 4, !tbaa !9
  %168 = sext i32 %167 to i64
  %169 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %168
  %170 = load i64, ptr %169, align 8, !tbaa !5
  %171 = load i32, ptr %3, align 4, !tbaa !9
  %172 = sext i32 %171 to i64
  %173 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %172
  %174 = load i64, ptr %173, align 8, !tbaa !5
  %175 = sub nsw i64 %170, %174
  %176 = call noundef double @_Z3disxx(i64 noundef %166, i64 noundef %175)
  %177 = fadd double %157, %176
  store double %177, ptr %8, align 8, !tbaa !11
  %178 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %152, ptr noundef nonnull align 8 dereferenceable(8) %8)
  %179 = load double, ptr %178, align 8, !tbaa !11
  %180 = load i32, ptr %7, align 4, !tbaa !9
  %181 = sext i32 %180 to i64
  %182 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %181
  %183 = getelementptr inbounds [3 x double], ptr %182, i64 0, i64 0
  store double %179, ptr %183, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #5
  br label %184

184:                                              ; preds = %148, %109
  %185 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %185, ptr %4, align 4, !tbaa !9
  br label %186

186:                                              ; preds = %184, %70
  %187 = load i32, ptr %7, align 4, !tbaa !9
  %188 = sext i32 %187 to i64
  %189 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %188
  %190 = load i64, ptr %189, align 8, !tbaa !5
  %191 = load i32, ptr %3, align 4, !tbaa !9
  %192 = sext i32 %191 to i64
  %193 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %192
  %194 = load i64, ptr %193, align 8, !tbaa !5
  %195 = sub nsw i64 %190, %194
  %196 = load i32, ptr %7, align 4, !tbaa !9
  %197 = sext i32 %196 to i64
  %198 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %197
  %199 = load i64, ptr %198, align 8, !tbaa !5
  %200 = load i32, ptr %3, align 4, !tbaa !9
  %201 = sext i32 %200 to i64
  %202 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %201
  %203 = load i64, ptr %202, align 8, !tbaa !5
  %204 = sub nsw i64 %199, %203
  %205 = load i32, ptr %5, align 4, !tbaa !9
  %206 = sext i32 %205 to i64
  %207 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %206
  %208 = load i64, ptr %207, align 8, !tbaa !5
  %209 = load i32, ptr %3, align 4, !tbaa !9
  %210 = sext i32 %209 to i64
  %211 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %210
  %212 = load i64, ptr %211, align 8, !tbaa !5
  %213 = sub nsw i64 %208, %212
  %214 = load i32, ptr %5, align 4, !tbaa !9
  %215 = sext i32 %214 to i64
  %216 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %215
  %217 = load i64, ptr %216, align 8, !tbaa !5
  %218 = load i32, ptr %3, align 4, !tbaa !9
  %219 = sext i32 %218 to i64
  %220 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %219
  %221 = load i64, ptr %220, align 8, !tbaa !5
  %222 = sub nsw i64 %217, %221
  %223 = call noundef i64 @_Z3detxxxx(i64 noundef %195, i64 noundef %204, i64 noundef %213, i64 noundef %222)
  %224 = icmp sge i64 %223, 0
  br i1 %224, label %225, label %302

225:                                              ; preds = %186
  %226 = load i32, ptr %7, align 4, !tbaa !9
  %227 = sext i32 %226 to i64
  %228 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %227
  %229 = load i64, ptr %228, align 8, !tbaa !5
  %230 = load i32, ptr %3, align 4, !tbaa !9
  %231 = sext i32 %230 to i64
  %232 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %231
  %233 = load i64, ptr %232, align 8, !tbaa !5
  %234 = sub nsw i64 %229, %233
  %235 = load i32, ptr %7, align 4, !tbaa !9
  %236 = sext i32 %235 to i64
  %237 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %236
  %238 = load i64, ptr %237, align 8, !tbaa !5
  %239 = load i32, ptr %3, align 4, !tbaa !9
  %240 = sext i32 %239 to i64
  %241 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %240
  %242 = load i64, ptr %241, align 8, !tbaa !5
  %243 = sub nsw i64 %238, %242
  %244 = load i32, ptr %4, align 4, !tbaa !9
  %245 = sext i32 %244 to i64
  %246 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %245
  %247 = load i64, ptr %246, align 8, !tbaa !5
  %248 = load i32, ptr %3, align 4, !tbaa !9
  %249 = sext i32 %248 to i64
  %250 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %249
  %251 = load i64, ptr %250, align 8, !tbaa !5
  %252 = sub nsw i64 %247, %251
  %253 = load i32, ptr %4, align 4, !tbaa !9
  %254 = sext i32 %253 to i64
  %255 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %254
  %256 = load i64, ptr %255, align 8, !tbaa !5
  %257 = load i32, ptr %3, align 4, !tbaa !9
  %258 = sext i32 %257 to i64
  %259 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %258
  %260 = load i64, ptr %259, align 8, !tbaa !5
  %261 = sub nsw i64 %256, %260
  %262 = call noundef i64 @_Z3detxxxx(i64 noundef %234, i64 noundef %243, i64 noundef %252, i64 noundef %261)
  %263 = icmp sle i64 %262, 0
  br i1 %263, label %264, label %300

264:                                              ; preds = %225
  %265 = load i32, ptr %7, align 4, !tbaa !9
  %266 = sext i32 %265 to i64
  %267 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %266
  %268 = getelementptr inbounds [3 x double], ptr %267, i64 0, i64 1
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #5
  %269 = load i32, ptr %3, align 4, !tbaa !9
  %270 = sext i32 %269 to i64
  %271 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %270
  %272 = getelementptr inbounds [3 x double], ptr %271, i64 0, i64 0
  %273 = load double, ptr %272, align 8, !tbaa !11
  %274 = load i32, ptr %7, align 4, !tbaa !9
  %275 = sext i32 %274 to i64
  %276 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %275
  %277 = load i64, ptr %276, align 8, !tbaa !5
  %278 = load i32, ptr %3, align 4, !tbaa !9
  %279 = sext i32 %278 to i64
  %280 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %279
  %281 = load i64, ptr %280, align 8, !tbaa !5
  %282 = sub nsw i64 %277, %281
  %283 = load i32, ptr %7, align 4, !tbaa !9
  %284 = sext i32 %283 to i64
  %285 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %284
  %286 = load i64, ptr %285, align 8, !tbaa !5
  %287 = load i32, ptr %3, align 4, !tbaa !9
  %288 = sext i32 %287 to i64
  %289 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %288
  %290 = load i64, ptr %289, align 8, !tbaa !5
  %291 = sub nsw i64 %286, %290
  %292 = call noundef double @_Z3disxx(i64 noundef %282, i64 noundef %291)
  %293 = fadd double %273, %292
  store double %293, ptr %9, align 8, !tbaa !11
  %294 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %268, ptr noundef nonnull align 8 dereferenceable(8) %9)
  %295 = load double, ptr %294, align 8, !tbaa !11
  %296 = load i32, ptr %7, align 4, !tbaa !9
  %297 = sext i32 %296 to i64
  %298 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %297
  %299 = getelementptr inbounds [3 x double], ptr %298, i64 0, i64 1
  store double %295, ptr %299, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #5
  br label %300

300:                                              ; preds = %264, %225
  %301 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %301, ptr %5, align 4, !tbaa !9
  br label %302

302:                                              ; preds = %300, %186
  %303 = load i32, ptr %4, align 4, !tbaa !9
  %304 = sext i32 %303 to i64
  %305 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %304
  %306 = load i64, ptr %305, align 8, !tbaa !5
  %307 = load i32, ptr %3, align 4, !tbaa !9
  %308 = sext i32 %307 to i64
  %309 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %308
  %310 = load i64, ptr %309, align 8, !tbaa !5
  %311 = sub nsw i64 %306, %310
  %312 = load i32, ptr %4, align 4, !tbaa !9
  %313 = sext i32 %312 to i64
  %314 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %313
  %315 = load i64, ptr %314, align 8, !tbaa !5
  %316 = load i32, ptr %3, align 4, !tbaa !9
  %317 = sext i32 %316 to i64
  %318 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %317
  %319 = load i64, ptr %318, align 8, !tbaa !5
  %320 = sub nsw i64 %315, %319
  %321 = load i32, ptr %5, align 4, !tbaa !9
  %322 = sext i32 %321 to i64
  %323 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %322
  %324 = load i64, ptr %323, align 8, !tbaa !5
  %325 = load i32, ptr %3, align 4, !tbaa !9
  %326 = sext i32 %325 to i64
  %327 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %326
  %328 = load i64, ptr %327, align 8, !tbaa !5
  %329 = sub nsw i64 %324, %328
  %330 = load i32, ptr %5, align 4, !tbaa !9
  %331 = sext i32 %330 to i64
  %332 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %331
  %333 = load i64, ptr %332, align 8, !tbaa !5
  %334 = load i32, ptr %3, align 4, !tbaa !9
  %335 = sext i32 %334 to i64
  %336 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %335
  %337 = load i64, ptr %336, align 8, !tbaa !5
  %338 = sub nsw i64 %333, %337
  %339 = call noundef i64 @_Z3detxxxx(i64 noundef %311, i64 noundef %320, i64 noundef %329, i64 noundef %338)
  %340 = icmp slt i64 %339, 0
  br i1 %340, label %341, label %342

341:                                              ; preds = %302
  store i32 10, ptr %6, align 4
  br label %394

342:                                              ; preds = %302
  %343 = load i32, ptr %4, align 4, !tbaa !9
  %344 = sext i32 %343 to i64
  %345 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %344
  %346 = load i64, ptr %345, align 8, !tbaa !5
  %347 = load i32, ptr %3, align 4, !tbaa !9
  %348 = sext i32 %347 to i64
  %349 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %348
  %350 = load i64, ptr %349, align 8, !tbaa !5
  %351 = icmp sle i64 %346, %350
  br i1 %351, label %352, label %390

352:                                              ; preds = %342
  %353 = load i32, ptr %3, align 4, !tbaa !9
  %354 = sext i32 %353 to i64
  %355 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %354
  %356 = load i64, ptr %355, align 8, !tbaa !5
  %357 = load i32, ptr %5, align 4, !tbaa !9
  %358 = sext i32 %357 to i64
  %359 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %358
  %360 = load i64, ptr %359, align 8, !tbaa !5
  %361 = icmp sle i64 %356, %360
  br i1 %361, label %362, label %390

362:                                              ; preds = %352
  %363 = load i32, ptr %7, align 4, !tbaa !9
  %364 = sext i32 %363 to i64
  %365 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %364
  %366 = getelementptr inbounds [3 x double], ptr %365, i64 0, i64 2
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #5
  %367 = load i32, ptr %3, align 4, !tbaa !9
  %368 = sext i32 %367 to i64
  %369 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %368
  %370 = getelementptr inbounds [3 x double], ptr %369, i64 0, i64 0
  %371 = load double, ptr %370, align 8, !tbaa !11
  %372 = load i32, ptr %7, align 4, !tbaa !9
  %373 = sext i32 %372 to i64
  %374 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %373
  %375 = load i64, ptr %374, align 8, !tbaa !5
  %376 = sitofp i64 %375 to double
  %377 = fadd double %371, %376
  %378 = load i32, ptr %3, align 4, !tbaa !9
  %379 = sext i32 %378 to i64
  %380 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %379
  %381 = load i64, ptr %380, align 8, !tbaa !5
  %382 = sitofp i64 %381 to double
  %383 = fsub double %377, %382
  store double %383, ptr %10, align 8, !tbaa !11
  %384 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %366, ptr noundef nonnull align 8 dereferenceable(8) %10)
  %385 = load double, ptr %384, align 8, !tbaa !11
  %386 = load i32, ptr %7, align 4, !tbaa !9
  %387 = sext i32 %386 to i64
  %388 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %387
  %389 = getelementptr inbounds [3 x double], ptr %388, i64 0, i64 2
  store double %385, ptr %389, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #5
  br label %390

390:                                              ; preds = %362, %352, %342
  br label %391

391:                                              ; preds = %390
  %392 = load i32, ptr %7, align 4, !tbaa !9
  %393 = add nsw i32 %392, 1
  store i32 %393, ptr %7, align 4, !tbaa !9
  br label %65, !llvm.loop !15

394:                                              ; preds = %341, %69
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #5
  br label %395

395:                                              ; preds = %394
  %396 = load i32, ptr %3, align 4, !tbaa !9
  %397 = add nsw i32 %396, 1
  store i32 %397, ptr %4, align 4, !tbaa !9
  %398 = load i32, ptr %3, align 4, !tbaa !9
  %399 = add nsw i32 %398, 1
  store i32 %399, ptr %5, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #5
  %400 = load i32, ptr %3, align 4, !tbaa !9
  %401 = add nsw i32 %400, 1
  store i32 %401, ptr %11, align 4, !tbaa !9
  br label %402

402:                                              ; preds = %728, %395
  %403 = load i32, ptr %11, align 4, !tbaa !9
  %404 = load i32, ptr @n, align 4, !tbaa !9
  %405 = icmp sle i32 %403, %404
  br i1 %405, label %407, label %406

406:                                              ; preds = %402
  store i32 13, ptr %6, align 4
  br label %731

407:                                              ; preds = %402
  %408 = load i32, ptr %11, align 4, !tbaa !9
  %409 = sext i32 %408 to i64
  %410 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %409
  %411 = load i64, ptr %410, align 8, !tbaa !5
  %412 = load i32, ptr %3, align 4, !tbaa !9
  %413 = sext i32 %412 to i64
  %414 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %413
  %415 = load i64, ptr %414, align 8, !tbaa !5
  %416 = sub nsw i64 %411, %415
  %417 = load i32, ptr %11, align 4, !tbaa !9
  %418 = sext i32 %417 to i64
  %419 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %418
  %420 = load i64, ptr %419, align 8, !tbaa !5
  %421 = load i32, ptr %3, align 4, !tbaa !9
  %422 = sext i32 %421 to i64
  %423 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %422
  %424 = load i64, ptr %423, align 8, !tbaa !5
  %425 = sub nsw i64 %420, %424
  %426 = load i32, ptr %4, align 4, !tbaa !9
  %427 = sext i32 %426 to i64
  %428 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %427
  %429 = load i64, ptr %428, align 8, !tbaa !5
  %430 = load i32, ptr %3, align 4, !tbaa !9
  %431 = sext i32 %430 to i64
  %432 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %431
  %433 = load i64, ptr %432, align 8, !tbaa !5
  %434 = sub nsw i64 %429, %433
  %435 = load i32, ptr %4, align 4, !tbaa !9
  %436 = sext i32 %435 to i64
  %437 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %436
  %438 = load i64, ptr %437, align 8, !tbaa !5
  %439 = load i32, ptr %3, align 4, !tbaa !9
  %440 = sext i32 %439 to i64
  %441 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %440
  %442 = load i64, ptr %441, align 8, !tbaa !5
  %443 = sub nsw i64 %438, %442
  %444 = call noundef i64 @_Z3detxxxx(i64 noundef %416, i64 noundef %425, i64 noundef %434, i64 noundef %443)
  %445 = icmp sle i64 %444, 0
  br i1 %445, label %446, label %523

446:                                              ; preds = %407
  %447 = load i32, ptr %11, align 4, !tbaa !9
  %448 = sext i32 %447 to i64
  %449 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %448
  %450 = load i64, ptr %449, align 8, !tbaa !5
  %451 = load i32, ptr %3, align 4, !tbaa !9
  %452 = sext i32 %451 to i64
  %453 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %452
  %454 = load i64, ptr %453, align 8, !tbaa !5
  %455 = sub nsw i64 %450, %454
  %456 = load i32, ptr %11, align 4, !tbaa !9
  %457 = sext i32 %456 to i64
  %458 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %457
  %459 = load i64, ptr %458, align 8, !tbaa !5
  %460 = load i32, ptr %3, align 4, !tbaa !9
  %461 = sext i32 %460 to i64
  %462 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %461
  %463 = load i64, ptr %462, align 8, !tbaa !5
  %464 = sub nsw i64 %459, %463
  %465 = load i32, ptr %5, align 4, !tbaa !9
  %466 = sext i32 %465 to i64
  %467 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %466
  %468 = load i64, ptr %467, align 8, !tbaa !5
  %469 = load i32, ptr %3, align 4, !tbaa !9
  %470 = sext i32 %469 to i64
  %471 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %470
  %472 = load i64, ptr %471, align 8, !tbaa !5
  %473 = sub nsw i64 %468, %472
  %474 = load i32, ptr %5, align 4, !tbaa !9
  %475 = sext i32 %474 to i64
  %476 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %475
  %477 = load i64, ptr %476, align 8, !tbaa !5
  %478 = load i32, ptr %3, align 4, !tbaa !9
  %479 = sext i32 %478 to i64
  %480 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %479
  %481 = load i64, ptr %480, align 8, !tbaa !5
  %482 = sub nsw i64 %477, %481
  %483 = call noundef i64 @_Z3detxxxx(i64 noundef %455, i64 noundef %464, i64 noundef %473, i64 noundef %482)
  %484 = icmp sge i64 %483, 0
  br i1 %484, label %485, label %521

485:                                              ; preds = %446
  %486 = load i32, ptr %11, align 4, !tbaa !9
  %487 = sext i32 %486 to i64
  %488 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %487
  %489 = getelementptr inbounds [3 x double], ptr %488, i64 0, i64 0
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #5
  %490 = load i32, ptr %3, align 4, !tbaa !9
  %491 = sext i32 %490 to i64
  %492 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %491
  %493 = getelementptr inbounds [3 x double], ptr %492, i64 0, i64 1
  %494 = load double, ptr %493, align 8, !tbaa !11
  %495 = load i32, ptr %11, align 4, !tbaa !9
  %496 = sext i32 %495 to i64
  %497 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %496
  %498 = load i64, ptr %497, align 8, !tbaa !5
  %499 = load i32, ptr %3, align 4, !tbaa !9
  %500 = sext i32 %499 to i64
  %501 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %500
  %502 = load i64, ptr %501, align 8, !tbaa !5
  %503 = sub nsw i64 %498, %502
  %504 = load i32, ptr %11, align 4, !tbaa !9
  %505 = sext i32 %504 to i64
  %506 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %505
  %507 = load i64, ptr %506, align 8, !tbaa !5
  %508 = load i32, ptr %3, align 4, !tbaa !9
  %509 = sext i32 %508 to i64
  %510 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %509
  %511 = load i64, ptr %510, align 8, !tbaa !5
  %512 = sub nsw i64 %507, %511
  %513 = call noundef double @_Z3disxx(i64 noundef %503, i64 noundef %512)
  %514 = fadd double %494, %513
  store double %514, ptr %12, align 8, !tbaa !11
  %515 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %489, ptr noundef nonnull align 8 dereferenceable(8) %12)
  %516 = load double, ptr %515, align 8, !tbaa !11
  %517 = load i32, ptr %11, align 4, !tbaa !9
  %518 = sext i32 %517 to i64
  %519 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %518
  %520 = getelementptr inbounds [3 x double], ptr %519, i64 0, i64 0
  store double %516, ptr %520, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #5
  br label %521

521:                                              ; preds = %485, %446
  %522 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %522, ptr %4, align 4, !tbaa !9
  br label %523

523:                                              ; preds = %521, %407
  %524 = load i32, ptr %11, align 4, !tbaa !9
  %525 = sext i32 %524 to i64
  %526 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %525
  %527 = load i64, ptr %526, align 8, !tbaa !5
  %528 = load i32, ptr %3, align 4, !tbaa !9
  %529 = sext i32 %528 to i64
  %530 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %529
  %531 = load i64, ptr %530, align 8, !tbaa !5
  %532 = sub nsw i64 %527, %531
  %533 = load i32, ptr %11, align 4, !tbaa !9
  %534 = sext i32 %533 to i64
  %535 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %534
  %536 = load i64, ptr %535, align 8, !tbaa !5
  %537 = load i32, ptr %3, align 4, !tbaa !9
  %538 = sext i32 %537 to i64
  %539 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %538
  %540 = load i64, ptr %539, align 8, !tbaa !5
  %541 = sub nsw i64 %536, %540
  %542 = load i32, ptr %5, align 4, !tbaa !9
  %543 = sext i32 %542 to i64
  %544 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %543
  %545 = load i64, ptr %544, align 8, !tbaa !5
  %546 = load i32, ptr %3, align 4, !tbaa !9
  %547 = sext i32 %546 to i64
  %548 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %547
  %549 = load i64, ptr %548, align 8, !tbaa !5
  %550 = sub nsw i64 %545, %549
  %551 = load i32, ptr %5, align 4, !tbaa !9
  %552 = sext i32 %551 to i64
  %553 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %552
  %554 = load i64, ptr %553, align 8, !tbaa !5
  %555 = load i32, ptr %3, align 4, !tbaa !9
  %556 = sext i32 %555 to i64
  %557 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %556
  %558 = load i64, ptr %557, align 8, !tbaa !5
  %559 = sub nsw i64 %554, %558
  %560 = call noundef i64 @_Z3detxxxx(i64 noundef %532, i64 noundef %541, i64 noundef %550, i64 noundef %559)
  %561 = icmp sge i64 %560, 0
  br i1 %561, label %562, label %639

562:                                              ; preds = %523
  %563 = load i32, ptr %11, align 4, !tbaa !9
  %564 = sext i32 %563 to i64
  %565 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %564
  %566 = load i64, ptr %565, align 8, !tbaa !5
  %567 = load i32, ptr %3, align 4, !tbaa !9
  %568 = sext i32 %567 to i64
  %569 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %568
  %570 = load i64, ptr %569, align 8, !tbaa !5
  %571 = sub nsw i64 %566, %570
  %572 = load i32, ptr %11, align 4, !tbaa !9
  %573 = sext i32 %572 to i64
  %574 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %573
  %575 = load i64, ptr %574, align 8, !tbaa !5
  %576 = load i32, ptr %3, align 4, !tbaa !9
  %577 = sext i32 %576 to i64
  %578 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %577
  %579 = load i64, ptr %578, align 8, !tbaa !5
  %580 = sub nsw i64 %575, %579
  %581 = load i32, ptr %4, align 4, !tbaa !9
  %582 = sext i32 %581 to i64
  %583 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %582
  %584 = load i64, ptr %583, align 8, !tbaa !5
  %585 = load i32, ptr %3, align 4, !tbaa !9
  %586 = sext i32 %585 to i64
  %587 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %586
  %588 = load i64, ptr %587, align 8, !tbaa !5
  %589 = sub nsw i64 %584, %588
  %590 = load i32, ptr %4, align 4, !tbaa !9
  %591 = sext i32 %590 to i64
  %592 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %591
  %593 = load i64, ptr %592, align 8, !tbaa !5
  %594 = load i32, ptr %3, align 4, !tbaa !9
  %595 = sext i32 %594 to i64
  %596 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %595
  %597 = load i64, ptr %596, align 8, !tbaa !5
  %598 = sub nsw i64 %593, %597
  %599 = call noundef i64 @_Z3detxxxx(i64 noundef %571, i64 noundef %580, i64 noundef %589, i64 noundef %598)
  %600 = icmp sle i64 %599, 0
  br i1 %600, label %601, label %637

601:                                              ; preds = %562
  %602 = load i32, ptr %11, align 4, !tbaa !9
  %603 = sext i32 %602 to i64
  %604 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %603
  %605 = getelementptr inbounds [3 x double], ptr %604, i64 0, i64 1
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #5
  %606 = load i32, ptr %3, align 4, !tbaa !9
  %607 = sext i32 %606 to i64
  %608 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %607
  %609 = getelementptr inbounds [3 x double], ptr %608, i64 0, i64 1
  %610 = load double, ptr %609, align 8, !tbaa !11
  %611 = load i32, ptr %11, align 4, !tbaa !9
  %612 = sext i32 %611 to i64
  %613 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %612
  %614 = load i64, ptr %613, align 8, !tbaa !5
  %615 = load i32, ptr %3, align 4, !tbaa !9
  %616 = sext i32 %615 to i64
  %617 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %616
  %618 = load i64, ptr %617, align 8, !tbaa !5
  %619 = sub nsw i64 %614, %618
  %620 = load i32, ptr %11, align 4, !tbaa !9
  %621 = sext i32 %620 to i64
  %622 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %621
  %623 = load i64, ptr %622, align 8, !tbaa !5
  %624 = load i32, ptr %3, align 4, !tbaa !9
  %625 = sext i32 %624 to i64
  %626 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %625
  %627 = load i64, ptr %626, align 8, !tbaa !5
  %628 = sub nsw i64 %623, %627
  %629 = call noundef double @_Z3disxx(i64 noundef %619, i64 noundef %628)
  %630 = fadd double %610, %629
  store double %630, ptr %13, align 8, !tbaa !11
  %631 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %605, ptr noundef nonnull align 8 dereferenceable(8) %13)
  %632 = load double, ptr %631, align 8, !tbaa !11
  %633 = load i32, ptr %11, align 4, !tbaa !9
  %634 = sext i32 %633 to i64
  %635 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %634
  %636 = getelementptr inbounds [3 x double], ptr %635, i64 0, i64 1
  store double %632, ptr %636, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #5
  br label %637

637:                                              ; preds = %601, %562
  %638 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %638, ptr %5, align 4, !tbaa !9
  br label %639

639:                                              ; preds = %637, %523
  %640 = load i32, ptr %4, align 4, !tbaa !9
  %641 = sext i32 %640 to i64
  %642 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %641
  %643 = load i64, ptr %642, align 8, !tbaa !5
  %644 = load i32, ptr %3, align 4, !tbaa !9
  %645 = sext i32 %644 to i64
  %646 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %645
  %647 = load i64, ptr %646, align 8, !tbaa !5
  %648 = sub nsw i64 %643, %647
  %649 = load i32, ptr %4, align 4, !tbaa !9
  %650 = sext i32 %649 to i64
  %651 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %650
  %652 = load i64, ptr %651, align 8, !tbaa !5
  %653 = load i32, ptr %3, align 4, !tbaa !9
  %654 = sext i32 %653 to i64
  %655 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %654
  %656 = load i64, ptr %655, align 8, !tbaa !5
  %657 = sub nsw i64 %652, %656
  %658 = load i32, ptr %5, align 4, !tbaa !9
  %659 = sext i32 %658 to i64
  %660 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %659
  %661 = load i64, ptr %660, align 8, !tbaa !5
  %662 = load i32, ptr %3, align 4, !tbaa !9
  %663 = sext i32 %662 to i64
  %664 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %663
  %665 = load i64, ptr %664, align 8, !tbaa !5
  %666 = sub nsw i64 %661, %665
  %667 = load i32, ptr %5, align 4, !tbaa !9
  %668 = sext i32 %667 to i64
  %669 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %668
  %670 = load i64, ptr %669, align 8, !tbaa !5
  %671 = load i32, ptr %3, align 4, !tbaa !9
  %672 = sext i32 %671 to i64
  %673 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %672
  %674 = load i64, ptr %673, align 8, !tbaa !5
  %675 = sub nsw i64 %670, %674
  %676 = call noundef i64 @_Z3detxxxx(i64 noundef %648, i64 noundef %657, i64 noundef %666, i64 noundef %675)
  %677 = icmp slt i64 %676, 0
  br i1 %677, label %678, label %679

678:                                              ; preds = %639
  store i32 13, ptr %6, align 4
  br label %731

679:                                              ; preds = %639
  %680 = load i32, ptr %4, align 4, !tbaa !9
  %681 = sext i32 %680 to i64
  %682 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %681
  %683 = load i64, ptr %682, align 8, !tbaa !5
  %684 = load i32, ptr %3, align 4, !tbaa !9
  %685 = sext i32 %684 to i64
  %686 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %685
  %687 = load i64, ptr %686, align 8, !tbaa !5
  %688 = icmp sle i64 %683, %687
  br i1 %688, label %689, label %727

689:                                              ; preds = %679
  %690 = load i32, ptr %3, align 4, !tbaa !9
  %691 = sext i32 %690 to i64
  %692 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %691
  %693 = load i64, ptr %692, align 8, !tbaa !5
  %694 = load i32, ptr %5, align 4, !tbaa !9
  %695 = sext i32 %694 to i64
  %696 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %695
  %697 = load i64, ptr %696, align 8, !tbaa !5
  %698 = icmp sle i64 %693, %697
  br i1 %698, label %699, label %727

699:                                              ; preds = %689
  %700 = load i32, ptr %11, align 4, !tbaa !9
  %701 = sext i32 %700 to i64
  %702 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %701
  %703 = getelementptr inbounds [3 x double], ptr %702, i64 0, i64 2
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #5
  %704 = load i32, ptr %3, align 4, !tbaa !9
  %705 = sext i32 %704 to i64
  %706 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %705
  %707 = getelementptr inbounds [3 x double], ptr %706, i64 0, i64 1
  %708 = load double, ptr %707, align 8, !tbaa !11
  %709 = load i32, ptr %11, align 4, !tbaa !9
  %710 = sext i32 %709 to i64
  %711 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %710
  %712 = load i64, ptr %711, align 8, !tbaa !5
  %713 = sitofp i64 %712 to double
  %714 = fadd double %708, %713
  %715 = load i32, ptr %3, align 4, !tbaa !9
  %716 = sext i32 %715 to i64
  %717 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %716
  %718 = load i64, ptr %717, align 8, !tbaa !5
  %719 = sitofp i64 %718 to double
  %720 = fsub double %714, %719
  store double %720, ptr %14, align 8, !tbaa !11
  %721 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %703, ptr noundef nonnull align 8 dereferenceable(8) %14)
  %722 = load double, ptr %721, align 8, !tbaa !11
  %723 = load i32, ptr %11, align 4, !tbaa !9
  %724 = sext i32 %723 to i64
  %725 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %724
  %726 = getelementptr inbounds [3 x double], ptr %725, i64 0, i64 2
  store double %722, ptr %726, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #5
  br label %727

727:                                              ; preds = %699, %689, %679
  br label %728

728:                                              ; preds = %727
  %729 = load i32, ptr %11, align 4, !tbaa !9
  %730 = add nsw i32 %729, 1
  store i32 %730, ptr %11, align 4, !tbaa !9
  br label %402, !llvm.loop !16

731:                                              ; preds = %678, %406
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #5
  br label %732

732:                                              ; preds = %731
  br label %733

733:                                              ; preds = %732
  %734 = load i32, ptr %3, align 4, !tbaa !9
  %735 = add nsw i32 %734, 1
  store i32 %735, ptr %3, align 4, !tbaa !9
  br label %53, !llvm.loop !17

736:                                              ; preds = %57
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #5
  store i32 0, ptr %15, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #5
  store i32 0, ptr %16, align 4, !tbaa !9
  br label %737

737:                                              ; preds = %764, %736
  %738 = load i32, ptr %16, align 4, !tbaa !9
  %739 = load i32, ptr @n, align 4, !tbaa !9
  %740 = icmp sle i32 %738, %739
  br i1 %740, label %742, label %741

741:                                              ; preds = %737
  store i32 16, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #5
  br label %767

742:                                              ; preds = %737
  %743 = load i64, ptr @m, align 8, !tbaa !5
  %744 = sitofp i64 %743 to double
  %745 = load i32, ptr %16, align 4, !tbaa !9
  %746 = sext i32 %745 to i64
  %747 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %746
  %748 = getelementptr inbounds [3 x double], ptr %747, i64 0, i64 2
  %749 = load i32, ptr %16, align 4, !tbaa !9
  %750 = sext i32 %749 to i64
  %751 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %750
  %752 = getelementptr inbounds [3 x double], ptr %751, i64 0, i64 0
  %753 = load i32, ptr %16, align 4, !tbaa !9
  %754 = sext i32 %753 to i64
  %755 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %754
  %756 = getelementptr inbounds [3 x double], ptr %755, i64 0, i64 1
  %757 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %752, ptr noundef nonnull align 8 dereferenceable(8) %756)
  %758 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %748, ptr noundef nonnull align 8 dereferenceable(8) %757)
  %759 = load double, ptr %758, align 8, !tbaa !11
  %760 = fcmp oge double %744, %759
  br i1 %760, label %761, label %763

761:                                              ; preds = %742
  %762 = load i32, ptr %16, align 4, !tbaa !9
  store i32 %762, ptr %15, align 4, !tbaa !9
  br label %763

763:                                              ; preds = %761, %742
  br label %764

764:                                              ; preds = %763
  %765 = load i32, ptr %16, align 4, !tbaa !9
  %766 = add nsw i32 %765, 1
  store i32 %766, ptr %16, align 4, !tbaa !9
  br label %737, !llvm.loop !18

767:                                              ; preds = %741
  %768 = load i32, ptr %15, align 4, !tbaa !9
  %769 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, i32 noundef %768)
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #5
  br label %17, !llvm.loop !19

770:                                              ; preds = %17
  ret i32 0
}

declare i32 @__isoc99_scanf(ptr noundef, ...) #1

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i64 @_Z3detxxxx(i64 noundef, i64 noundef, i64 noundef, i64 noundef) #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #3

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef double @_Z3disxx(i64 noundef, i64 noundef) #4

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

attributes #0 = { mustprogress norecurse 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 = { "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 willreturn memory(argmem: readwrite) }
attributes #3 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { 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 = !{!"long long", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple 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 = distinct !{!16, !14}
!17 = distinct !{!17, !14}
!18 = distinct !{!18, !14}
!19 = distinct !{!19, !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"

@n = external dso_local global i32, align 4
@m = external dso_local global i64, align 8
@x = external dso_local global [1010 x i64], align 16
@l = external dso_local global [1010 x i64], align 16
@h = external dso_local global [1010 x i64], align 16
@f = external dso_local global [1010 x [3 x double]], align 16
@.str = external hidden unnamed_addr constant [7 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [4 x i8], align 1

; Function Attrs: mustprogress norecurse uwtable
define dso_local noundef i32 @main() local_unnamed_addr #0 {
  %1 = alloca double, align 8
  %2 = alloca double, align 8
  %3 = alloca double, align 8
  %4 = alloca double, align 8
  %5 = alloca double, align 8
  %6 = alloca double, align 8
  %7 = tail call i32 (ptr, ...) @__isoc99_scanf(ptr noundef nonnull @.str, ptr noundef nonnull @m, ptr noundef nonnull @n)
  %8 = icmp eq i32 %7, 2
  br i1 %8, label %.lr.ph204, label %._crit_edge205

.lr.ph204:                                        ; preds = %0, %._crit_edge202
  store i64 0, ptr @h, align 16, !tbaa !5
  store i64 0, ptr @l, align 16, !tbaa !5
  store i64 0, ptr @x, align 16, !tbaa !5
  %9 = load i32, ptr @n, align 4, !tbaa !9
  %.not177 = icmp slt i32 %9, 1
  br i1 %.not177, label %._crit_edge.thread, label %.lr.ph

._crit_edge.thread:                               ; preds = %.lr.ph204
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(24) @f, i8 0, i64 24, i1 false)
  br label %.preheader

._crit_edge:                                      ; preds = %.lr.ph
  %10 = icmp sgt i32 %17, 0
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(24) @f, i8 0, i64 24, i1 false)
  br i1 %10, label %.lr.ph197, label %.preheader

.lr.ph:                                           ; preds = %.lr.ph204, %.lr.ph
  %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph ], [ 1, %.lr.ph204 ]
  %11 = getelementptr inbounds i64, ptr @x, i64 %indvars.iv
  %12 = getelementptr inbounds i64, ptr @l, i64 %indvars.iv
  %13 = getelementptr inbounds i64, ptr @h, i64 %indvars.iv
  %14 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef nonnull @.str.1, ptr noundef nonnull %11, ptr noundef nonnull %12, ptr noundef nonnull %13)
  %15 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %indvars.iv
  %16 = getelementptr inbounds i8, ptr %15, i64 16
  store double 2.000000e+09, ptr %16, align 8, !tbaa !11
  store <2 x double> <double 2.000000e+09, double 2.000000e+09>, ptr %15, align 8, !tbaa !11
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %17 = load i32, ptr @n, align 4, !tbaa !9
  %18 = sext i32 %17 to i64
  %.not.not = icmp slt i64 %indvars.iv, %18
  br i1 %.not.not, label %.lr.ph, label %._crit_edge, !llvm.loop !13

.preheader:                                       ; preds = %._crit_edge193, %._crit_edge.thread, %._crit_edge
  %19 = phi i32 [ %17, %._crit_edge ], [ %9, %._crit_edge.thread ], [ %293, %._crit_edge193 ]
  %.not170198 = icmp slt i32 %19, 0
  br i1 %.not170198, label %._crit_edge202, label %.lr.ph201

.lr.ph197:                                        ; preds = %._crit_edge, %._crit_edge193
  %20 = phi i32 [ %293, %._crit_edge193 ], [ %17, %._crit_edge ]
  %indvars.iv215 = phi i64 [ %indvars.iv.next216, %._crit_edge193 ], [ 0, %._crit_edge ]
  %indvars.iv207 = phi i64 [ %indvars.iv.next208, %._crit_edge193 ], [ 1, %._crit_edge ]
  %indvars.iv.next216 = add nuw nsw i64 %indvars.iv215, 1
  %21 = sext i32 %20 to i64
  %.not171179.not = icmp slt i64 %indvars.iv215, %21
  br i1 %.not171179.not, label %.lr.ph184, label %._crit_edge185

.lr.ph184:                                        ; preds = %.lr.ph197
  %22 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %indvars.iv215
  %23 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %indvars.iv215
  %24 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %indvars.iv215
  %25 = trunc nuw nsw i64 %indvars.iv.next216 to i32
  br label %26

26:                                               ; preds = %.lr.ph184, %154
  %indvars.iv209 = phi i64 [ %indvars.iv207, %.lr.ph184 ], [ %indvars.iv.next210, %154 ]
  %.0160181 = phi i32 [ %25, %.lr.ph184 ], [ %.1161, %154 ]
  %.0162180 = phi i32 [ %25, %.lr.ph184 ], [ %.1163, %154 ]
  %27 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %indvars.iv209
  %28 = load i64, ptr %27, align 8, !tbaa !5
  %29 = load i64, ptr %22, align 8, !tbaa !5
  %30 = sub nsw i64 %28, %29
  %31 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %indvars.iv209
  %32 = load i64, ptr %31, align 8, !tbaa !5
  %33 = load i64, ptr %23, align 8, !tbaa !5
  %34 = sub nsw i64 %32, %33
  %35 = sext i32 %.0162180 to i64
  %36 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %35
  %37 = load i64, ptr %36, align 8, !tbaa !5
  %38 = sub nsw i64 %37, %29
  %39 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %35
  %40 = load i64, ptr %39, align 8, !tbaa !5
  %41 = sub nsw i64 %40, %33
  %42 = call noundef i64 @_Z3detxxxx(i64 noundef %30, i64 noundef %34, i64 noundef %38, i64 noundef %41)
  %43 = icmp slt i64 %42, 1
  br i1 %43, label %44, label %._crit_edge230

._crit_edge230:                                   ; preds = %26
  %.pre231 = sext i32 %.0160181 to i64
  br label %74

44:                                               ; preds = %26
  %45 = load i64, ptr %27, align 8, !tbaa !5
  %46 = load i64, ptr %22, align 8, !tbaa !5
  %47 = sub nsw i64 %45, %46
  %48 = load i64, ptr %31, align 8, !tbaa !5
  %49 = load i64, ptr %23, align 8, !tbaa !5
  %50 = sub nsw i64 %48, %49
  %51 = sext i32 %.0160181 to i64
  %52 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %51
  %53 = load i64, ptr %52, align 8, !tbaa !5
  %54 = sub nsw i64 %53, %46
  %55 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %51
  %56 = load i64, ptr %55, align 8, !tbaa !5
  %57 = sub nsw i64 %56, %49
  %58 = call noundef i64 @_Z3detxxxx(i64 noundef %47, i64 noundef %50, i64 noundef %54, i64 noundef %57)
  %59 = icmp sgt i64 %58, -1
  %60 = trunc nuw nsw i64 %indvars.iv209 to i32
  br i1 %59, label %61, label %74

61:                                               ; preds = %44
  %62 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %indvars.iv209
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %1) #6
  %63 = load double, ptr %24, align 8, !tbaa !11
  %64 = load i64, ptr %27, align 8, !tbaa !5
  %65 = load i64, ptr %22, align 8, !tbaa !5
  %66 = sub nsw i64 %64, %65
  %67 = load i64, ptr %31, align 8, !tbaa !5
  %68 = load i64, ptr %23, align 8, !tbaa !5
  %69 = sub nsw i64 %67, %68
  %70 = call noundef double @_Z3disxx(i64 noundef %66, i64 noundef %69)
  %71 = fadd double %63, %70
  store double %71, ptr %1, align 8, !tbaa !11
  %72 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %62, ptr noundef nonnull align 8 dereferenceable(8) %1)
  %73 = load double, ptr %72, align 8, !tbaa !11
  store double %73, ptr %62, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #6
  br label %74

74:                                               ; preds = %._crit_edge230, %44, %61
  %.pre-phi232 = phi i64 [ %.pre231, %._crit_edge230 ], [ %51, %44 ], [ %51, %61 ]
  %.1163 = phi i32 [ %.0162180, %._crit_edge230 ], [ %60, %44 ], [ %60, %61 ]
  %75 = load i64, ptr %27, align 8, !tbaa !5
  %76 = load i64, ptr %22, align 8, !tbaa !5
  %77 = sub nsw i64 %75, %76
  %78 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %indvars.iv209
  %79 = load i64, ptr %78, align 8, !tbaa !5
  %80 = load i64, ptr %23, align 8, !tbaa !5
  %81 = sub nsw i64 %79, %80
  %82 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %.pre-phi232
  %83 = load i64, ptr %82, align 8, !tbaa !5
  %84 = sub nsw i64 %83, %76
  %85 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %.pre-phi232
  %86 = load i64, ptr %85, align 8, !tbaa !5
  %87 = sub nsw i64 %86, %80
  %88 = call noundef i64 @_Z3detxxxx(i64 noundef %77, i64 noundef %81, i64 noundef %84, i64 noundef %87)
  %89 = icmp sgt i64 %88, -1
  br i1 %89, label %90, label %._crit_edge229

._crit_edge229:                                   ; preds = %74
  %.pre233 = sext i32 %.1163 to i64
  br label %120

90:                                               ; preds = %74
  %91 = load i64, ptr %27, align 8, !tbaa !5
  %92 = load i64, ptr %22, align 8, !tbaa !5
  %93 = sub nsw i64 %91, %92
  %94 = load i64, ptr %78, align 8, !tbaa !5
  %95 = load i64, ptr %23, align 8, !tbaa !5
  %96 = sub nsw i64 %94, %95
  %97 = sext i32 %.1163 to i64
  %98 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %97
  %99 = load i64, ptr %98, align 8, !tbaa !5
  %100 = sub nsw i64 %99, %92
  %101 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %97
  %102 = load i64, ptr %101, align 8, !tbaa !5
  %103 = sub nsw i64 %102, %95
  %104 = call noundef i64 @_Z3detxxxx(i64 noundef %93, i64 noundef %96, i64 noundef %100, i64 noundef %103)
  %105 = icmp slt i64 %104, 1
  %106 = trunc nuw nsw i64 %indvars.iv209 to i32
  br i1 %105, label %107, label %120

107:                                              ; preds = %90
  %108 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %indvars.iv209, i64 1
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %2) #6
  %109 = load double, ptr %24, align 8, !tbaa !11
  %110 = load i64, ptr %27, align 8, !tbaa !5
  %111 = load i64, ptr %22, align 8, !tbaa !5
  %112 = sub nsw i64 %110, %111
  %113 = load i64, ptr %78, align 8, !tbaa !5
  %114 = load i64, ptr %23, align 8, !tbaa !5
  %115 = sub nsw i64 %113, %114
  %116 = call noundef double @_Z3disxx(i64 noundef %112, i64 noundef %115)
  %117 = fadd double %109, %116
  store double %117, ptr %2, align 8, !tbaa !11
  %118 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %108, ptr noundef nonnull align 8 dereferenceable(8) %2)
  %119 = load double, ptr %118, align 8, !tbaa !11
  store double %119, ptr %108, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %2) #6
  br label %120

120:                                              ; preds = %._crit_edge229, %90, %107
  %.pre-phi234 = phi i64 [ %.pre233, %._crit_edge229 ], [ %97, %90 ], [ %97, %107 ]
  %.1161 = phi i32 [ %.0160181, %._crit_edge229 ], [ %106, %90 ], [ %106, %107 ]
  %121 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %.pre-phi234
  %122 = load i64, ptr %121, align 8, !tbaa !5
  %123 = load i64, ptr %22, align 8, !tbaa !5
  %124 = sub nsw i64 %122, %123
  %125 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %.pre-phi234
  %126 = load i64, ptr %125, align 8, !tbaa !5
  %127 = load i64, ptr %23, align 8, !tbaa !5
  %128 = sub nsw i64 %126, %127
  %129 = sext i32 %.1161 to i64
  %130 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %129
  %131 = load i64, ptr %130, align 8, !tbaa !5
  %132 = sub nsw i64 %131, %123
  %133 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %129
  %134 = load i64, ptr %133, align 8, !tbaa !5
  %135 = sub nsw i64 %134, %127
  %136 = call noundef i64 @_Z3detxxxx(i64 noundef %124, i64 noundef %128, i64 noundef %132, i64 noundef %135)
  %137 = icmp slt i64 %136, 0
  br i1 %137, label %.._crit_edge185.loopexit_crit_edge, label %138

.._crit_edge185.loopexit_crit_edge:               ; preds = %120
  %.pre.pre = load i32, ptr @n, align 4, !tbaa !9
  %.pre235 = sext i32 %.pre.pre to i64
  br label %._crit_edge185

138:                                              ; preds = %120
  %139 = load i64, ptr %125, align 8, !tbaa !5
  %140 = load i64, ptr %23, align 8, !tbaa !5
  %.not172 = icmp sgt i64 %139, %140
  br i1 %.not172, label %154, label %141

141:                                              ; preds = %138
  %142 = load i64, ptr %133, align 8, !tbaa !5
  %.not173 = icmp sgt i64 %140, %142
  br i1 %.not173, label %154, label %143

143:                                              ; preds = %141
  %144 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %indvars.iv209, i64 2
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %3) #6
  %145 = load double, ptr %24, align 8, !tbaa !11
  %146 = load i64, ptr %27, align 8, !tbaa !5
  %147 = sitofp i64 %146 to double
  %148 = fadd double %145, %147
  %149 = load i64, ptr %22, align 8, !tbaa !5
  %150 = sitofp i64 %149 to double
  %151 = fsub double %148, %150
  store double %151, ptr %3, align 8, !tbaa !11
  %152 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %144, ptr noundef nonnull align 8 dereferenceable(8) %3)
  %153 = load double, ptr %152, align 8, !tbaa !11
  store double %153, ptr %144, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #6
  br label %154

154:                                              ; preds = %138, %141, %143
  %indvars.iv.next210 = add nuw nsw i64 %indvars.iv209, 1
  %155 = load i32, ptr @n, align 4, !tbaa !9
  %156 = sext i32 %155 to i64
  %.not171.not = icmp slt i64 %indvars.iv209, %156
  br i1 %.not171.not, label %26, label %._crit_edge185, !llvm.loop !15

._crit_edge185:                                   ; preds = %154, %.._crit_edge185.loopexit_crit_edge, %.lr.ph197
  %.pre-phi = phi i64 [ %21, %.lr.ph197 ], [ %.pre235, %.._crit_edge185.loopexit_crit_edge ], [ %156, %154 ]
  %157 = phi i32 [ %20, %.lr.ph197 ], [ %.pre.pre, %.._crit_edge185.loopexit_crit_edge ], [ %155, %154 ]
  %.not174187.not = icmp slt i64 %indvars.iv215, %.pre-phi
  br i1 %.not174187.not, label %.lr.ph192, label %._crit_edge193

.lr.ph192:                                        ; preds = %._crit_edge185
  %158 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %indvars.iv215
  %159 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %indvars.iv215
  %160 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %indvars.iv215, i64 1
  %161 = trunc nuw nsw i64 %indvars.iv.next216 to i32
  br label %162

162:                                              ; preds = %.lr.ph192, %290
  %indvars.iv212 = phi i64 [ %indvars.iv207, %.lr.ph192 ], [ %indvars.iv.next213, %290 ]
  %.2189 = phi i32 [ %161, %.lr.ph192 ], [ %.3, %290 ]
  %.2164188 = phi i32 [ %161, %.lr.ph192 ], [ %.3165, %290 ]
  %163 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %indvars.iv212
  %164 = load i64, ptr %163, align 8, !tbaa !5
  %165 = load i64, ptr %158, align 8, !tbaa !5
  %166 = sub nsw i64 %164, %165
  %167 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %indvars.iv212
  %168 = load i64, ptr %167, align 8, !tbaa !5
  %169 = load i64, ptr %159, align 8, !tbaa !5
  %170 = sub nsw i64 %168, %169
  %171 = sext i32 %.2164188 to i64
  %172 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %171
  %173 = load i64, ptr %172, align 8, !tbaa !5
  %174 = sub nsw i64 %173, %165
  %175 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %171
  %176 = load i64, ptr %175, align 8, !tbaa !5
  %177 = sub nsw i64 %176, %169
  %178 = call noundef i64 @_Z3detxxxx(i64 noundef %166, i64 noundef %170, i64 noundef %174, i64 noundef %177)
  %179 = icmp slt i64 %178, 1
  br i1 %179, label %180, label %._crit_edge228

._crit_edge228:                                   ; preds = %162
  %.pre236 = sext i32 %.2189 to i64
  br label %210

180:                                              ; preds = %162
  %181 = load i64, ptr %163, align 8, !tbaa !5
  %182 = load i64, ptr %158, align 8, !tbaa !5
  %183 = sub nsw i64 %181, %182
  %184 = load i64, ptr %167, align 8, !tbaa !5
  %185 = load i64, ptr %159, align 8, !tbaa !5
  %186 = sub nsw i64 %184, %185
  %187 = sext i32 %.2189 to i64
  %188 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %187
  %189 = load i64, ptr %188, align 8, !tbaa !5
  %190 = sub nsw i64 %189, %182
  %191 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %187
  %192 = load i64, ptr %191, align 8, !tbaa !5
  %193 = sub nsw i64 %192, %185
  %194 = call noundef i64 @_Z3detxxxx(i64 noundef %183, i64 noundef %186, i64 noundef %190, i64 noundef %193)
  %195 = icmp sgt i64 %194, -1
  %196 = trunc nuw nsw i64 %indvars.iv212 to i32
  br i1 %195, label %197, label %210

197:                                              ; preds = %180
  %198 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %indvars.iv212
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #6
  %199 = load double, ptr %160, align 8, !tbaa !11
  %200 = load i64, ptr %163, align 8, !tbaa !5
  %201 = load i64, ptr %158, align 8, !tbaa !5
  %202 = sub nsw i64 %200, %201
  %203 = load i64, ptr %167, align 8, !tbaa !5
  %204 = load i64, ptr %159, align 8, !tbaa !5
  %205 = sub nsw i64 %203, %204
  %206 = call noundef double @_Z3disxx(i64 noundef %202, i64 noundef %205)
  %207 = fadd double %199, %206
  store double %207, ptr %4, align 8, !tbaa !11
  %208 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %198, ptr noundef nonnull align 8 dereferenceable(8) %4)
  %209 = load double, ptr %208, align 8, !tbaa !11
  store double %209, ptr %198, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #6
  br label %210

210:                                              ; preds = %._crit_edge228, %180, %197
  %.pre-phi237 = phi i64 [ %.pre236, %._crit_edge228 ], [ %187, %180 ], [ %187, %197 ]
  %.3165 = phi i32 [ %.2164188, %._crit_edge228 ], [ %196, %180 ], [ %196, %197 ]
  %211 = load i64, ptr %163, align 8, !tbaa !5
  %212 = load i64, ptr %158, align 8, !tbaa !5
  %213 = sub nsw i64 %211, %212
  %214 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %indvars.iv212
  %215 = load i64, ptr %214, align 8, !tbaa !5
  %216 = load i64, ptr %159, align 8, !tbaa !5
  %217 = sub nsw i64 %215, %216
  %218 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %.pre-phi237
  %219 = load i64, ptr %218, align 8, !tbaa !5
  %220 = sub nsw i64 %219, %212
  %221 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %.pre-phi237
  %222 = load i64, ptr %221, align 8, !tbaa !5
  %223 = sub nsw i64 %222, %216
  %224 = call noundef i64 @_Z3detxxxx(i64 noundef %213, i64 noundef %217, i64 noundef %220, i64 noundef %223)
  %225 = icmp sgt i64 %224, -1
  br i1 %225, label %226, label %._crit_edge227

._crit_edge227:                                   ; preds = %210
  %.pre238 = sext i32 %.3165 to i64
  br label %256

226:                                              ; preds = %210
  %227 = load i64, ptr %163, align 8, !tbaa !5
  %228 = load i64, ptr %158, align 8, !tbaa !5
  %229 = sub nsw i64 %227, %228
  %230 = load i64, ptr %214, align 8, !tbaa !5
  %231 = load i64, ptr %159, align 8, !tbaa !5
  %232 = sub nsw i64 %230, %231
  %233 = sext i32 %.3165 to i64
  %234 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %233
  %235 = load i64, ptr %234, align 8, !tbaa !5
  %236 = sub nsw i64 %235, %228
  %237 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %233
  %238 = load i64, ptr %237, align 8, !tbaa !5
  %239 = sub nsw i64 %238, %231
  %240 = call noundef i64 @_Z3detxxxx(i64 noundef %229, i64 noundef %232, i64 noundef %236, i64 noundef %239)
  %241 = icmp slt i64 %240, 1
  %242 = trunc nuw nsw i64 %indvars.iv212 to i32
  br i1 %241, label %243, label %256

243:                                              ; preds = %226
  %244 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %indvars.iv212, i64 1
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #6
  %245 = load double, ptr %160, align 8, !tbaa !11
  %246 = load i64, ptr %163, align 8, !tbaa !5
  %247 = load i64, ptr %158, align 8, !tbaa !5
  %248 = sub nsw i64 %246, %247
  %249 = load i64, ptr %214, align 8, !tbaa !5
  %250 = load i64, ptr %159, align 8, !tbaa !5
  %251 = sub nsw i64 %249, %250
  %252 = call noundef double @_Z3disxx(i64 noundef %248, i64 noundef %251)
  %253 = fadd double %245, %252
  store double %253, ptr %5, align 8, !tbaa !11
  %254 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %244, ptr noundef nonnull align 8 dereferenceable(8) %5)
  %255 = load double, ptr %254, align 8, !tbaa !11
  store double %255, ptr %244, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #6
  br label %256

256:                                              ; preds = %._crit_edge227, %226, %243
  %.pre-phi239 = phi i64 [ %.pre238, %._crit_edge227 ], [ %233, %226 ], [ %233, %243 ]
  %.3 = phi i32 [ %.2189, %._crit_edge227 ], [ %242, %226 ], [ %242, %243 ]
  %257 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %.pre-phi239
  %258 = load i64, ptr %257, align 8, !tbaa !5
  %259 = load i64, ptr %158, align 8, !tbaa !5
  %260 = sub nsw i64 %258, %259
  %261 = getelementptr inbounds [1010 x i64], ptr @l, i64 0, i64 %.pre-phi239
  %262 = load i64, ptr %261, align 8, !tbaa !5
  %263 = load i64, ptr %159, align 8, !tbaa !5
  %264 = sub nsw i64 %262, %263
  %265 = sext i32 %.3 to i64
  %266 = getelementptr inbounds [1010 x i64], ptr @x, i64 0, i64 %265
  %267 = load i64, ptr %266, align 8, !tbaa !5
  %268 = sub nsw i64 %267, %259
  %269 = getelementptr inbounds [1010 x i64], ptr @h, i64 0, i64 %265
  %270 = load i64, ptr %269, align 8, !tbaa !5
  %271 = sub nsw i64 %270, %263
  %272 = call noundef i64 @_Z3detxxxx(i64 noundef %260, i64 noundef %264, i64 noundef %268, i64 noundef %271)
  %273 = icmp slt i64 %272, 0
  br i1 %273, label %.._crit_edge193.loopexit_crit_edge, label %274

.._crit_edge193.loopexit_crit_edge:               ; preds = %256
  %.pre221.pre = load i32, ptr @n, align 4, !tbaa !9
  %.pre240 = sext i32 %.pre221.pre to i64
  br label %._crit_edge193

274:                                              ; preds = %256
  %275 = load i64, ptr %261, align 8, !tbaa !5
  %276 = load i64, ptr %159, align 8, !tbaa !5
  %.not175 = icmp sgt i64 %275, %276
  br i1 %.not175, label %290, label %277

277:                                              ; preds = %274
  %278 = load i64, ptr %269, align 8, !tbaa !5
  %.not176 = icmp sgt i64 %276, %278
  br i1 %.not176, label %290, label %279

279:                                              ; preds = %277
  %280 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %indvars.iv212, i64 2
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #6
  %281 = load double, ptr %160, align 8, !tbaa !11
  %282 = load i64, ptr %163, align 8, !tbaa !5
  %283 = sitofp i64 %282 to double
  %284 = fadd double %281, %283
  %285 = load i64, ptr %158, align 8, !tbaa !5
  %286 = sitofp i64 %285 to double
  %287 = fsub double %284, %286
  store double %287, ptr %6, align 8, !tbaa !11
  %288 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %280, ptr noundef nonnull align 8 dereferenceable(8) %6)
  %289 = load double, ptr %288, align 8, !tbaa !11
  store double %289, ptr %280, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #6
  br label %290

290:                                              ; preds = %274, %277, %279
  %indvars.iv.next213 = add nuw nsw i64 %indvars.iv212, 1
  %291 = load i32, ptr @n, align 4, !tbaa !9
  %292 = sext i32 %291 to i64
  %.not174.not = icmp slt i64 %indvars.iv212, %292
  br i1 %.not174.not, label %162, label %._crit_edge193, !llvm.loop !16

._crit_edge193:                                   ; preds = %290, %.._crit_edge193.loopexit_crit_edge, %._crit_edge185
  %.pre-phi226 = phi i64 [ %.pre-phi, %._crit_edge185 ], [ %.pre240, %.._crit_edge193.loopexit_crit_edge ], [ %292, %290 ]
  %293 = phi i32 [ %157, %._crit_edge185 ], [ %.pre221.pre, %.._crit_edge193.loopexit_crit_edge ], [ %291, %290 ]
  %294 = icmp slt i64 %indvars.iv.next216, %.pre-phi226
  %indvars.iv.next208 = add nuw nsw i64 %indvars.iv207, 1
  br i1 %294, label %.lr.ph197, label %.preheader, !llvm.loop !17

._crit_edge202:                                   ; preds = %.lr.ph201, %.preheader
  %.0157.lcssa = phi i32 [ 0, %.preheader ], [ %.1, %.lr.ph201 ]
  %295 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.2, i32 noundef %.0157.lcssa)
  %296 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef nonnull @.str, ptr noundef nonnull @m, ptr noundef nonnull @n)
  %297 = icmp eq i32 %296, 2
  br i1 %297, label %.lr.ph204, label %._crit_edge205, !llvm.loop !18

.lr.ph201:                                        ; preds = %.preheader, %.lr.ph201
  %indvars.iv218 = phi i64 [ %indvars.iv.next219, %.lr.ph201 ], [ 0, %.preheader ]
  %.0157199 = phi i32 [ %.1, %.lr.ph201 ], [ 0, %.preheader ]
  %298 = load i64, ptr @m, align 8, !tbaa !5
  %299 = sitofp i64 %298 to double
  %300 = getelementptr inbounds [1010 x [3 x double]], ptr @f, i64 0, i64 %indvars.iv218
  %301 = getelementptr inbounds i8, ptr %300, i64 16
  %302 = getelementptr inbounds i8, ptr %300, i64 8
  %303 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %300, ptr noundef nonnull align 8 dereferenceable(8) %302)
  %304 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %301, ptr noundef nonnull align 8 dereferenceable(8) %303)
  %305 = load double, ptr %304, align 8, !tbaa !11
  %306 = fcmp ugt double %305, %299
  %307 = trunc nuw nsw i64 %indvars.iv218 to i32
  %.1 = select i1 %306, i32 %.0157199, i32 %307
  %indvars.iv.next219 = add nuw nsw i64 %indvars.iv218, 1
  %308 = load i32, ptr @n, align 4, !tbaa !9
  %309 = sext i32 %308 to i64
  %.not170.not = icmp slt i64 %indvars.iv218, %309
  br i1 %.not170.not, label %.lr.ph201, label %._crit_edge202, !llvm.loop !19

._crit_edge205:                                   ; preds = %._crit_edge202, %0
  ret i32 0
}

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i64 @_Z3detxxxx(i64 noundef, i64 noundef, i64 noundef, i64 noundef) local_unnamed_addr #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #3

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef double @_Z3disxx(i64 noundef, i64 noundef) local_unnamed_addr #4

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"long long", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple 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 = distinct !{!16, !14}
!17 = distinct !{!17, !14}
!18 = distinct !{!18, !14}
!19 = distinct !{!19, !14}


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