; LLVM IR from sovrasov/ags_nlp_solver :: solver/src/evolvent.ll (Z6invmadiPdiPiS_ii)

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_Z6invmadiPdiPiS_ii(i32 noundef %0, ptr noundef %1, i32 noundef %2, ptr noundef %3, ptr noundef %4, i32 noundef %5, i32 noundef %6) #2 {
  %8 = alloca i32, align 4
  %9 = alloca ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca double, align 8
  %16 = alloca double, align 8
  %17 = alloca double, align 8
  %18 = alloca double, align 8
  %19 = alloca double, align 8
  %20 = alloca double, align 8
  %21 = alloca double, align 8
  %22 = alloca double, align 8
  %23 = alloca [10 x double], align 16
  %24 = alloca [10 x double], align 16
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  store i32 %0, ptr %8, align 4, !tbaa !5
  store ptr %1, ptr %9, align 8, !tbaa !9
  store i32 %2, ptr %10, align 4, !tbaa !5
  store ptr %3, ptr %11, align 8, !tbaa !9
  store ptr %4, ptr %12, align 8, !tbaa !9
  store i32 %5, ptr %13, align 4, !tbaa !5
  store i32 %6, ptr %14, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #4
  call void @llvm.lifetime.start.p0(i64 80, ptr %23) #4
  call void @llvm.lifetime.start.p0(i64 80, ptr %24) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #4
  store i32 0, ptr %27, align 4, !tbaa !5
  %29 = load i32, ptr %10, align 4, !tbaa !5
  %30 = add nsw i32 %29, -1
  store i32 %30, ptr %10, align 4, !tbaa !5
  store i32 1, ptr %28, align 4, !tbaa !5
  store i32 0, ptr %25, align 4, !tbaa !5
  br label %31

31:                                               ; preds = %41, %7
  %32 = load i32, ptr %25, align 4, !tbaa !5
  %33 = load i32, ptr %13, align 4, !tbaa !5
  %34 = icmp slt i32 %32, %33
  br i1 %34, label %35, label %44

35:                                               ; preds = %31
  %36 = load i32, ptr %28, align 4, !tbaa !5
  %37 = mul nsw i32 %36, 2
  store i32 %37, ptr %28, align 4, !tbaa !5
  %38 = load i32, ptr %25, align 4, !tbaa !5
  %39 = sext i32 %38 to i64
  %40 = getelementptr inbounds [10 x double], ptr %23, i64 0, i64 %39
  store double -1.000000e+00, ptr %40, align 8, !tbaa !11
  br label %41

41:                                               ; preds = %35
  %42 = load i32, ptr %25, align 4, !tbaa !5
  %43 = add nsw i32 %42, 1
  store i32 %43, ptr %25, align 4, !tbaa !5
  br label %31, !llvm.loop !13

44:                                               ; preds = %31
  %45 = load i32, ptr %28, align 4, !tbaa !5
  %46 = sitofp i32 %45 to double
  store double %46, ptr %19, align 8, !tbaa !11
  store double 1.000000e+00, ptr %15, align 8, !tbaa !11
  store double 5.000000e-01, ptr %21, align 8, !tbaa !11
  store i32 0, ptr %25, align 4, !tbaa !5
  br label %47

47:                                               ; preds = %57, %44
  %48 = load i32, ptr %25, align 4, !tbaa !5
  %49 = load i32, ptr %8, align 4, !tbaa !5
  %50 = icmp slt i32 %48, %49
  br i1 %50, label %51, label %60

51:                                               ; preds = %47
  %52 = load double, ptr %19, align 8, !tbaa !11
  %53 = load double, ptr %15, align 8, !tbaa !11
  %54 = fmul double %53, %52
  store double %54, ptr %15, align 8, !tbaa !11
  %55 = load double, ptr %21, align 8, !tbaa !11
  %56 = fmul double %55, 5.000000e-01
  store double %56, ptr %21, align 8, !tbaa !11
  br label %57

57:                                               ; preds = %51
  %58 = load i32, ptr %25, align 4, !tbaa !5
  %59 = add nsw i32 %58, 1
  store i32 %59, ptr %25, align 4, !tbaa !5
  br label %47, !llvm.loop !15

60:                                               ; preds = %47
  %61 = load double, ptr %15, align 8, !tbaa !11
  %62 = load i32, ptr %28, align 4, !tbaa !5
  %63 = sitofp i32 %62 to double
  %64 = fdiv double %61, %63
  store double %64, ptr %19, align 8, !tbaa !11
  %65 = load double, ptr %19, align 8, !tbaa !11
  %66 = load double, ptr %19, align 8, !tbaa !11
  %67 = call double @fmod(double noundef %66, double noundef 1.000000e+00) #4
  %68 = fsub double %65, %67
  store double %68, ptr %19, align 8, !tbaa !11
  %69 = load double, ptr %15, align 8, !tbaa !11
  %70 = load double, ptr %19, align 8, !tbaa !11
  %71 = fsub double %69, %70
  %72 = fdiv double 1.000000e+00, %71
  store double %72, ptr %20, align 8, !tbaa !11
  %73 = load double, ptr %20, align 8, !tbaa !11
  %74 = load i32, ptr %14, align 4, !tbaa !5
  %75 = sitofp i32 %74 to double
  %76 = fadd double %75, 5.000000e-01
  %77 = fmul double %73, %76
  store double %77, ptr %16, align 8, !tbaa !11
  store i32 -1, ptr %27, align 4, !tbaa !5
  br label %78

78:                                               ; preds = %266, %60
  %79 = load i32, ptr %27, align 4, !tbaa !5
  %80 = load i32, ptr %10, align 4, !tbaa !5
  %81 = icmp slt i32 %79, %80
  br i1 %81, label %82, label %267

82:                                               ; preds = %78
  store i32 0, ptr %25, align 4, !tbaa !5
  br label %83

83:                                               ; preds = %104, %82
  %84 = load i32, ptr %25, align 4, !tbaa !5
  %85 = load i32, ptr %13, align 4, !tbaa !5
  %86 = icmp slt i32 %84, %85
  br i1 %86, label %87, label %107

87:                                               ; preds = %83
  %88 = load ptr, ptr %12, align 8, !tbaa !9
  %89 = load i32, ptr %25, align 4, !tbaa !5
  %90 = sext i32 %89 to i64
  %91 = getelementptr inbounds double, ptr %88, i64 %90
  %92 = load double, ptr %91, align 8, !tbaa !11
  store double %92, ptr %22, align 8, !tbaa !11
  %93 = load double, ptr %22, align 8, !tbaa !11
  %94 = load double, ptr %21, align 8, !tbaa !11
  %95 = load i32, ptr %25, align 4, !tbaa !5
  %96 = sext i32 %95 to i64
  %97 = getelementptr inbounds [10 x double], ptr %23, i64 0, i64 %96
  %98 = load double, ptr %97, align 8, !tbaa !11
  %99 = fneg double %94
  %100 = call double @llvm.fmuladd.f64(double %99, double %98, double %93)
  %101 = load i32, ptr %25, align 4, !tbaa !5
  %102 = sext i32 %101 to i64
  %103 = getelementptr inbounds [10 x double], ptr %24, i64 0, i64 %102
  store double %100, ptr %103, align 8, !tbaa !11
  br label %104

104:                                              ; preds = %87
  %105 = load i32, ptr %25, align 4, !tbaa !5
  %106 = add nsw i32 %105, 1
  store i32 %106, ptr %25, align 4, !tbaa !5
  br label %83, !llvm.loop !16

107:                                              ; preds = %83
  store i32 0, ptr %25, align 4, !tbaa !5
  br label %108

108:                                              ; preds = %122, %107
  %109 = load i32, ptr %25, align 4, !tbaa !5
  %110 = load i32, ptr %13, align 4, !tbaa !5
  %111 = icmp slt i32 %109, %110
  br i1 %111, label %112, label %119

112:                                              ; preds = %108
  %113 = load i32, ptr %25, align 4, !tbaa !5
  %114 = sext i32 %113 to i64
  %115 = getelementptr inbounds [10 x double], ptr %24, i64 0, i64 %114
  %116 = load double, ptr %115, align 8, !tbaa !11
  %117 = call double @llvm.fabs.f64(double %116)
  %118 = fcmp olt double %117, 5.000000e-01
  br label %119

119:                                              ; preds = %112, %108
  %120 = phi i1 [ false, %108 ], [ %118, %112 ]
  br i1 %120, label %121, label %125

121:                                              ; preds = %119
  br label %122

122:                                              ; preds = %121
  %123 = load i32, ptr %25, align 4, !tbaa !5
  %124 = add nsw i32 %123, 1
  store i32 %124, ptr %25, align 4, !tbaa !5
  br label %108, !llvm.loop !17

125:                                              ; preds = %119
  %126 = load i32, ptr %25, align 4, !tbaa !5
  %127 = load i32, ptr %13, align 4, !tbaa !5
  %128 = icmp sge i32 %126, %127
  br i1 %128, label %129, label %236

129:                                              ; preds = %125
  %130 = load i32, ptr %8, align 4, !tbaa !5
  %131 = getelementptr inbounds [10 x double], ptr %24, i64 0, i64 0
  %132 = load i32, ptr %13, align 4, !tbaa !5
  call void @_Z3xydPdiS_i(ptr noundef %18, i32 noundef %130, ptr noundef %131, i32 noundef %132)
  %133 = load double, ptr %18, align 8, !tbaa !11
  %134 = load double, ptr %15, align 8, !tbaa !11
  %135 = fmul double %133, %134
  store double %135, ptr %19, align 8, !tbaa !11
  %136 = load double, ptr %19, align 8, !tbaa !11
  %137 = load double, ptr %19, align 8, !tbaa !11
  %138 = call double @fmod(double noundef %137, double noundef 1.000000e+00) #4
  %139 = fsub double %136, %138
  store double %139, ptr %17, align 8, !tbaa !11
  %140 = load double, ptr %17, align 8, !tbaa !11
  %141 = load i32, ptr %28, align 4, !tbaa !5
  %142 = sitofp i32 %141 to double
  %143 = fdiv double %140, %142
  store double %143, ptr %19, align 8, !tbaa !11
  %144 = load double, ptr %17, align 8, !tbaa !11
  %145 = load double, ptr %19, align 8, !tbaa !11
  %146 = fsub double %144, %145
  %147 = load double, ptr %19, align 8, !tbaa !11
  %148 = call double @fmod(double noundef %147, double noundef 1.000000e+00) #4
  %149 = fadd double %146, %148
  store double %149, ptr %17, align 8, !tbaa !11
  %150 = load double, ptr %17, align 8, !tbaa !11
  %151 = load double, ptr %20, align 8, !tbaa !11
  %152 = fmul double %150, %151
  store double %152, ptr %18, align 8, !tbaa !11
  %153 = load i32, ptr %27, align 4, !tbaa !5
  %154 = load i32, ptr %10, align 4, !tbaa !5
  %155 = icmp sgt i32 %153, %154
  br i1 %155, label %156, label %157

156:                                              ; preds = %129
  br label %267

157:                                              ; preds = %129
  %158 = load i32, ptr %27, align 4, !tbaa !5
  %159 = add nsw i32 %158, 1
  store i32 %159, ptr %27, align 4, !tbaa !5
  store i32 %158, ptr %26, align 4, !tbaa !5
  %160 = load i32, ptr %27, align 4, !tbaa !5
  %161 = icmp eq i32 %160, 0
  br i1 %161, label %162, label %166

162:                                              ; preds = %157
  %163 = load double, ptr %18, align 8, !tbaa !11
  %164 = load ptr, ptr %9, align 8, !tbaa !9
  %165 = getelementptr inbounds double, ptr %164, i64 0
  store double %163, ptr %165, align 8, !tbaa !11
  br label %235

166:                                              ; preds = %157
  br label %167

167:                                              ; preds = %227, %166
  %168 = load i32, ptr %26, align 4, !tbaa !5
  %169 = icmp sge i32 %168, 0
  br i1 %169, label %170, label %228

170:                                              ; preds = %167
  %171 = load double, ptr %18, align 8, !tbaa !11
  %172 = load ptr, ptr %9, align 8, !tbaa !9
  %173 = load i32, ptr %26, align 4, !tbaa !5
  %174 = sext i32 %173 to i64
  %175 = getelementptr inbounds double, ptr %172, i64 %174
  %176 = load double, ptr %175, align 8, !tbaa !11
  %177 = fsub double %171, %176
  %178 = call double @llvm.fabs.f64(double %177)
  store double %178, ptr %19, align 8, !tbaa !11
  %179 = load double, ptr %19, align 8, !tbaa !11
  %180 = load double, ptr %16, align 8, !tbaa !11
  %181 = fcmp ole double %179, %180
  br i1 %181, label %182, label %204

182:                                              ; preds = %170
  %183 = load i32, ptr %27, align 4, !tbaa !5
  %184 = add nsw i32 %183, -1
  store i32 %184, ptr %27, align 4, !tbaa !5
  br label %185

185:                                              ; preds = %190, %182
  %186 = load i32, ptr %26, align 4, !tbaa !5
  %187 = load i32, ptr %27, align 4, !tbaa !5
  %188 = icmp slt i32 %186, %187
  br i1 %188, label %189, label %203

189:                                              ; preds = %185
  br label %190

190:                                              ; preds = %189
  %191 = load i32, ptr %26, align 4, !tbaa !5
  %192 = add nsw i32 %191, 1
  store i32 %192, ptr %26, align 4, !tbaa !5
  %193 = load ptr, ptr %9, align 8, !tbaa !9
  %194 = load i32, ptr %26, align 4, !tbaa !5
  %195 = add nsw i32 %194, 1
  %196 = sext i32 %195 to i64
  %197 = getelementptr inbounds double, ptr %193, i64 %196
  %198 = load double, ptr %197, align 8, !tbaa !11
  %199 = load ptr, ptr %9, align 8, !tbaa !9
  %200 = load i32, ptr %26, align 4, !tbaa !5
  %201 = sext i32 %200 to i64
  %202 = getelementptr inbounds double, ptr %199, i64 %201
  store double %198, ptr %202, align 8, !tbaa !11
  br label %185, !llvm.loop !18

203:                                              ; preds = %185
  br label %237

204:                                              ; preds = %170
  %205 = load double, ptr %18, align 8, !tbaa !11
  %206 = load ptr, ptr %9, align 8, !tbaa !9
  %207 = load i32, ptr %26, align 4, !tbaa !5
  %208 = sext i32 %207 to i64
  %209 = getelementptr inbounds double, ptr %206, i64 %208
  %210 = load double, ptr %209, align 8, !tbaa !11
  %211 = fcmp ole double %205, %210
  br i1 %211, label %212, label %225

212:                                              ; preds = %204
  %213 = load ptr, ptr %9, align 8, !tbaa !9
  %214 = load i32, ptr %26, align 4, !tbaa !5
  %215 = sext i32 %214 to i64
  %216 = getelementptr inbounds double, ptr %213, i64 %215
  %217 = load double, ptr %216, align 8, !tbaa !11
  %218 = load ptr, ptr %9, align 8, !tbaa !9
  %219 = load i32, ptr %26, align 4, !tbaa !5
  %220 = add nsw i32 %219, 1
  %221 = sext i32 %220 to i64
  %222 = getelementptr inbounds double, ptr %218, i64 %221
  store double %217, ptr %222, align 8, !tbaa !11
  %223 = load i32, ptr %26, align 4, !tbaa !5
  %224 = add nsw i32 %223, -1
  store i32 %224, ptr %26, align 4, !tbaa !5
  br label %226

225:                                              ; preds = %204
  br label %228

226:                                              ; preds = %212
  br label %227

227:                                              ; preds = %226
  br label %167, !llvm.loop !19

228:                                              ; preds = %225, %167
  %229 = load double, ptr %18, align 8, !tbaa !11
  %230 = load ptr, ptr %9, align 8, !tbaa !9
  %231 = load i32, ptr %26, align 4, !tbaa !5
  %232 = add nsw i32 %231, 1
  %233 = sext i32 %232 to i64
  %234 = getelementptr inbounds double, ptr %230, i64 %233
  store double %229, ptr %234, align 8, !tbaa !11
  br label %235

235:                                              ; preds = %228, %162
  br label %236

236:                                              ; preds = %235, %125
  br label %237

237:                                              ; preds = %236, %203
  %238 = load i32, ptr %13, align 4, !tbaa !5
  %239 = sub nsw i32 %238, 1
  store i32 %239, ptr %25, align 4, !tbaa !5
  br label %240

240:                                              ; preds = %259, %237
  %241 = load i32, ptr %25, align 4, !tbaa !5
  %242 = icmp sge i32 %241, 0
  br i1 %242, label %243, label %256

243:                                              ; preds = %240
  %244 = load i32, ptr %25, align 4, !tbaa !5
  %245 = sext i32 %244 to i64
  %246 = getelementptr inbounds [10 x double], ptr %23, i64 0, i64 %245
  %247 = load double, ptr %246, align 8, !tbaa !11
  %248 = fcmp ole double %247, 0.000000e+00
  %249 = zext i1 %248 to i64
  %250 = select i1 %248, i32 1, i32 -1
  %251 = sitofp i32 %250 to double
  %252 = load i32, ptr %25, align 4, !tbaa !5
  %253 = sext i32 %252 to i64
  %254 = getelementptr inbounds [10 x double], ptr %23, i64 0, i64 %253
  store double %251, ptr %254, align 8, !tbaa !11
  %255 = fcmp olt double %251, 0.000000e+00
  br label %256

256:                                              ; preds = %243, %240
  %257 = phi i1 [ false, %240 ], [ %255, %243 ]
  br i1 %257, label %258, label %262

258:                                              ; preds = %256
  br label %259

259:                                              ; preds = %258
  %260 = load i32, ptr %25, align 4, !tbaa !5
  %261 = add nsw i32 %260, -1
  store i32 %261, ptr %25, align 4, !tbaa !5
  br label %240, !llvm.loop !20

262:                                              ; preds = %256
  %263 = load i32, ptr %25, align 4, !tbaa !5
  %264 = icmp slt i32 %263, 0
  br i1 %264, label %265, label %266

265:                                              ; preds = %262
  br label %267

266:                                              ; preds = %262
  br label %78, !llvm.loop !21

267:                                              ; preds = %265, %156, %78
  %268 = load i32, ptr %27, align 4, !tbaa !5
  %269 = add nsw i32 %268, 1
  store i32 %269, ptr %27, align 4, !tbaa !5
  %270 = load ptr, ptr %11, align 8, !tbaa !9
  store i32 %269, ptr %270, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #4
  call void @llvm.lifetime.end.p0(i64 80, ptr %24) #4
  call void @llvm.lifetime.end.p0(i64 80, ptr %23) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #4
  ret void
}

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z3xydPdiS_i(ptr noundef, i32 noundef, ptr noundef, i32 noundef) #2

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

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

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


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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_Z6invmadiPdiPiS_ii(i32 noundef %0, ptr nocapture noundef %1, i32 noundef %2, ptr nocapture noundef writeonly %3, ptr nocapture noundef readonly %4, i32 noundef %5, i32 noundef %6) local_unnamed_addr #2 {
  %8 = alloca double, align 8
  %9 = alloca [10 x double], align 16
  %10 = alloca [10 x double], align 16
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #5
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %9) #5
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %10) #5
  %11 = add nsw i32 %2, -1
  %12 = icmp sgt i32 %5, 0
  br i1 %12, label %.lr.ph.preheader, label %._crit_edge

.lr.ph.preheader:                                 ; preds = %7
  %wide.trip.count = zext nneg i32 %5 to i64
  %xtraiter = and i64 %wide.trip.count, 3
  %13 = icmp ult i32 %5, 4
  br i1 %13, label %._crit_edge.loopexit.unr-lcssa, label %.lr.ph.preheader.new

.lr.ph.preheader.new:                             ; preds = %.lr.ph.preheader
  %unroll_iter = and i64 %wide.trip.count, 2147483644
  br label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph, %.lr.ph.preheader.new
  %indvars.iv = phi i64 [ 0, %.lr.ph.preheader.new ], [ %indvars.iv.next.3, %.lr.ph ]
  %.0108 = phi i32 [ 1, %.lr.ph.preheader.new ], [ %14, %.lr.ph ]
  %niter = phi i64 [ 0, %.lr.ph.preheader.new ], [ %niter.next.3, %.lr.ph ]
  %14 = shl i32 %.0108, 4
  %15 = getelementptr inbounds [10 x double], ptr %9, i64 0, i64 %indvars.iv
  store double -1.000000e+00, ptr %15, align 16, !tbaa !5
  %indvars.iv.next = or disjoint i64 %indvars.iv, 1
  %16 = getelementptr inbounds [10 x double], ptr %9, i64 0, i64 %indvars.iv.next
  store double -1.000000e+00, ptr %16, align 8, !tbaa !5
  %indvars.iv.next.1 = or disjoint i64 %indvars.iv, 2
  %17 = getelementptr inbounds [10 x double], ptr %9, i64 0, i64 %indvars.iv.next.1
  store double -1.000000e+00, ptr %17, align 16, !tbaa !5
  %indvars.iv.next.2 = or disjoint i64 %indvars.iv, 3
  %18 = getelementptr inbounds [10 x double], ptr %9, i64 0, i64 %indvars.iv.next.2
  store double -1.000000e+00, ptr %18, align 8, !tbaa !5
  %indvars.iv.next.3 = add nuw nsw i64 %indvars.iv, 4
  %niter.next.3 = add i64 %niter, 4
  %niter.ncmp.3 = icmp eq i64 %niter.next.3, %unroll_iter
  br i1 %niter.ncmp.3, label %._crit_edge.loopexit.unr-lcssa, label %.lr.ph, !llvm.loop !9

._crit_edge.loopexit.unr-lcssa:                   ; preds = %.lr.ph, %.lr.ph.preheader
  %.lcssa216.ph = phi i32 [ poison, %.lr.ph.preheader ], [ %14, %.lr.ph ]
  %indvars.iv.unr = phi i64 [ 0, %.lr.ph.preheader ], [ %indvars.iv.next.3, %.lr.ph ]
  %.0108.unr = phi i32 [ 1, %.lr.ph.preheader ], [ %14, %.lr.ph ]
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %._crit_edge.loopexit, label %.lr.ph.epil

.lr.ph.epil:                                      ; preds = %._crit_edge.loopexit.unr-lcssa, %.lr.ph.epil
  %indvars.iv.epil = phi i64 [ %indvars.iv.next.epil, %.lr.ph.epil ], [ %indvars.iv.unr, %._crit_edge.loopexit.unr-lcssa ]
  %.0108.epil = phi i32 [ %19, %.lr.ph.epil ], [ %.0108.unr, %._crit_edge.loopexit.unr-lcssa ]
  %epil.iter = phi i64 [ %epil.iter.next, %.lr.ph.epil ], [ 0, %._crit_edge.loopexit.unr-lcssa ]
  %19 = shl nsw i32 %.0108.epil, 1
  %20 = getelementptr inbounds [10 x double], ptr %9, i64 0, i64 %indvars.iv.epil
  store double -1.000000e+00, ptr %20, align 8, !tbaa !5
  %indvars.iv.next.epil = add nuw nsw i64 %indvars.iv.epil, 1
  %epil.iter.next = add i64 %epil.iter, 1
  %epil.iter.cmp.not = icmp eq i64 %epil.iter.next, %xtraiter
  br i1 %epil.iter.cmp.not, label %._crit_edge.loopexit, label %.lr.ph.epil, !llvm.loop !11

._crit_edge.loopexit:                             ; preds = %.lr.ph.epil, %._crit_edge.loopexit.unr-lcssa
  %.lcssa216 = phi i32 [ %.lcssa216.ph, %._crit_edge.loopexit.unr-lcssa ], [ %19, %.lr.ph.epil ]
  %21 = uitofp nneg i32 %.lcssa216 to double
  br label %._crit_edge

._crit_edge:                                      ; preds = %._crit_edge.loopexit, %7
  %.0.lcssa = phi double [ 1.000000e+00, %7 ], [ %21, %._crit_edge.loopexit ]
  %22 = icmp sgt i32 %0, 0
  br i1 %22, label %.lr.ph113.preheader, label %._crit_edge114

.lr.ph113.preheader:                              ; preds = %._crit_edge
  %xtraiter218 = and i32 %0, 7
  %23 = icmp ult i32 %0, 8
  br i1 %23, label %._crit_edge114.loopexit.unr-lcssa, label %.lr.ph113.preheader.new

.lr.ph113.preheader.new:                          ; preds = %.lr.ph113.preheader
  %unroll_iter223 = and i32 %0, 2147483640
  br label %.lr.ph113

.lr.ph113:                                        ; preds = %.lr.ph113, %.lr.ph113.preheader.new
  %.092110 = phi double [ 5.000000e-01, %.lr.ph113.preheader.new ], [ %39, %.lr.ph113 ]
  %.093109 = phi double [ 1.000000e+00, %.lr.ph113.preheader.new ], [ %38, %.lr.ph113 ]
  %niter224 = phi i32 [ 0, %.lr.ph113.preheader.new ], [ %niter224.next.7, %.lr.ph113 ]
  %24 = fmul double %.093109, %.0.lcssa
  %25 = fmul double %.092110, 5.000000e-01
  %26 = fmul double %24, %.0.lcssa
  %27 = fmul double %25, 5.000000e-01
  %28 = fmul double %26, %.0.lcssa
  %29 = fmul double %27, 5.000000e-01
  %30 = fmul double %28, %.0.lcssa
  %31 = fmul double %29, 5.000000e-01
  %32 = fmul double %30, %.0.lcssa
  %33 = fmul double %31, 5.000000e-01
  %34 = fmul double %32, %.0.lcssa
  %35 = fmul double %33, 5.000000e-01
  %36 = fmul double %34, %.0.lcssa
  %37 = fmul double %35, 5.000000e-01
  %38 = fmul double %36, %.0.lcssa
  %39 = fmul double %37, 5.000000e-01
  %niter224.next.7 = add i32 %niter224, 8
  %niter224.ncmp.7 = icmp eq i32 %niter224.next.7, %unroll_iter223
  br i1 %niter224.ncmp.7, label %._crit_edge114.loopexit.unr-lcssa, label %.lr.ph113, !llvm.loop !13

._crit_edge114.loopexit.unr-lcssa:                ; preds = %.lr.ph113, %.lr.ph113.preheader
  %.lcssa215.ph = phi double [ poison, %.lr.ph113.preheader ], [ %38, %.lr.ph113 ]
  %.lcssa.ph = phi double [ poison, %.lr.ph113.preheader ], [ %39, %.lr.ph113 ]
  %.092110.unr = phi double [ 5.000000e-01, %.lr.ph113.preheader ], [ %39, %.lr.ph113 ]
  %.093109.unr = phi double [ 1.000000e+00, %.lr.ph113.preheader ], [ %38, %.lr.ph113 ]
  %lcmp.mod220.not = icmp eq i32 %xtraiter218, 0
  br i1 %lcmp.mod220.not, label %._crit_edge114, label %.lr.ph113.epil

.lr.ph113.epil:                                   ; preds = %._crit_edge114.loopexit.unr-lcssa, %.lr.ph113.epil
  %.092110.epil = phi double [ %41, %.lr.ph113.epil ], [ %.092110.unr, %._crit_edge114.loopexit.unr-lcssa ]
  %.093109.epil = phi double [ %40, %.lr.ph113.epil ], [ %.093109.unr, %._crit_edge114.loopexit.unr-lcssa ]
  %epil.iter219 = phi i32 [ %epil.iter219.next, %.lr.ph113.epil ], [ 0, %._crit_edge114.loopexit.unr-lcssa ]
  %40 = fmul double %.093109.epil, %.0.lcssa
  %41 = fmul double %.092110.epil, 5.000000e-01
  %epil.iter219.next = add i32 %epil.iter219, 1
  %epil.iter219.cmp.not = icmp eq i32 %epil.iter219.next, %xtraiter218
  br i1 %epil.iter219.cmp.not, label %._crit_edge114, label %.lr.ph113.epil, !llvm.loop !14

._crit_edge114:                                   ; preds = %._crit_edge114.loopexit.unr-lcssa, %.lr.ph113.epil, %._crit_edge
  %.093.lcssa = phi double [ 1.000000e+00, %._crit_edge ], [ %.lcssa215.ph, %._crit_edge114.loopexit.unr-lcssa ], [ %40, %.lr.ph113.epil ]
  %.092.lcssa = phi double [ 5.000000e-01, %._crit_edge ], [ %.lcssa.ph, %._crit_edge114.loopexit.unr-lcssa ], [ %41, %.lr.ph113.epil ]
  %42 = fdiv double %.093.lcssa, %.0.lcssa
  %43 = tail call double @fmod(double noundef %42, double noundef 1.000000e+00) #5
  %44 = fsub double %42, %43
  %45 = fsub double %.093.lcssa, %44
  %46 = fdiv double 1.000000e+00, %45
  %47 = sitofp i32 %6 to double
  %48 = fadd double %47, 5.000000e-01
  %49 = fmul double %48, %46
  %invariant.gep129 = getelementptr i8, ptr %1, i64 8
  %50 = icmp sgt i32 %2, 0
  br i1 %50, label %.preheader103.lr.ph, label %.critedge2.thread

.preheader103.lr.ph:                              ; preds = %._crit_edge114
  %51 = fneg double %.092.lcssa
  %invariant.gep = getelementptr inbounds i8, ptr %1, i64 16
  %52 = zext i32 %5 to i64
  %min.iters.check191 = icmp ult i32 %5, 4
  %n.vec194 = and i64 %52, 2147483644
  %broadcast.splatinsert = insertelement <2 x double> poison, double %51, i64 0
  %broadcast.splat = shufflevector <2 x double> %broadcast.splatinsert, <2 x double> poison, <2 x i32> zeroinitializer
  %cmp.n203 = icmp eq i64 %n.vec194, %52
  br label %.preheader103

.preheader103:                                    ; preds = %.preheader103.lr.ph, %.critedge2
  %.086131 = phi i32 [ -1, %.preheader103.lr.ph ], [ %.1, %.critedge2 ]
  br i1 %12, label %.lr.ph118.preheader, label %.critedge

.lr.ph118.preheader:                              ; preds = %.preheader103
  br i1 %min.iters.check191, label %.lr.ph118.preheader206, label %vector.body196

.lr.ph118.preheader206:                           ; preds = %middle.block189, %.lr.ph118.preheader
  %indvars.iv141.ph = phi i64 [ 0, %.lr.ph118.preheader ], [ %n.vec194, %middle.block189 ]
  br label %.lr.ph118

vector.body196:                                   ; preds = %.lr.ph118.preheader, %vector.body196
  %index197 = phi i64 [ %index.next202, %vector.body196 ], [ 0, %.lr.ph118.preheader ]
  %53 = getelementptr inbounds double, ptr %4, i64 %index197
  %54 = getelementptr inbounds i8, ptr %53, i64 16
  %wide.load198 = load <2 x double>, ptr %53, align 8, !tbaa !5
  %wide.load199 = load <2 x double>, ptr %54, align 8, !tbaa !5
  %55 = getelementptr inbounds [10 x double], ptr %9, i64 0, i64 %index197
  %56 = getelementptr inbounds i8, ptr %55, i64 16
  %wide.load200 = load <2 x double>, ptr %55, align 16, !tbaa !5
  %wide.load201 = load <2 x double>, ptr %56, align 16, !tbaa !5
  %57 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %broadcast.splat, <2 x double> %wide.load200, <2 x double> %wide.load198)
  %58 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %broadcast.splat, <2 x double> %wide.load201, <2 x double> %wide.load199)
  %59 = getelementptr inbounds [10 x double], ptr %10, i64 0, i64 %index197
  %60 = getelementptr inbounds i8, ptr %59, i64 16
  store <2 x double> %57, ptr %59, align 16, !tbaa !5
  store <2 x double> %58, ptr %60, align 16, !tbaa !5
  %index.next202 = add nuw i64 %index197, 4
  %61 = icmp eq i64 %index.next202, %n.vec194
  br i1 %61, label %middle.block189, label %vector.body196, !llvm.loop !15

middle.block189:                                  ; preds = %vector.body196
  br i1 %cmp.n203, label %.preheader101, label %.lr.ph118.preheader206

.preheader101:                                    ; preds = %.lr.ph118, %middle.block189
  br i1 %12, label %.lr.ph120, label %.critedge

.lr.ph118:                                        ; preds = %.lr.ph118.preheader206, %.lr.ph118
  %indvars.iv141 = phi i64 [ %indvars.iv.next142, %.lr.ph118 ], [ %indvars.iv141.ph, %.lr.ph118.preheader206 ]
  %62 = getelementptr inbounds double, ptr %4, i64 %indvars.iv141
  %63 = load double, ptr %62, align 8, !tbaa !5
  %64 = getelementptr inbounds [10 x double], ptr %9, i64 0, i64 %indvars.iv141
  %65 = load double, ptr %64, align 8, !tbaa !5
  %66 = call double @llvm.fmuladd.f64(double %51, double %65, double %63)
  %67 = getelementptr inbounds [10 x double], ptr %10, i64 0, i64 %indvars.iv141
  store double %66, ptr %67, align 8, !tbaa !5
  %indvars.iv.next142 = add nuw nsw i64 %indvars.iv141, 1
  %exitcond145.not = icmp eq i64 %indvars.iv.next142, %52
  br i1 %exitcond145.not, label %.preheader101, label %.lr.ph118, !llvm.loop !18

68:                                               ; preds = %.lr.ph120
  %indvars.iv.next147 = add nuw nsw i64 %indvars.iv146, 1
  %exitcond150.not = icmp eq i64 %indvars.iv.next147, %52
  br i1 %exitcond150.not, label %.critedge, label %.lr.ph120, !llvm.loop !19

.lr.ph120:                                        ; preds = %.preheader101, %68
  %indvars.iv146 = phi i64 [ %indvars.iv.next147, %68 ], [ 0, %.preheader101 ]
  %69 = getelementptr inbounds [10 x double], ptr %10, i64 0, i64 %indvars.iv146
  %70 = load double, ptr %69, align 8, !tbaa !5
  %71 = call double @llvm.fabs.f64(double %70)
  %72 = fcmp olt double %71, 5.000000e-01
  br i1 %72, label %68, label %.critedge.thread

.critedge:                                        ; preds = %68, %.preheader103, %.preheader101
  call void @_Z3xydPdiS_i(ptr noundef nonnull %8, i32 noundef %0, ptr noundef nonnull %10, i32 noundef %5)
  %73 = load double, ptr %8, align 8, !tbaa !5
  %74 = fmul double %.093.lcssa, %73
  %75 = call double @fmod(double noundef %74, double noundef 1.000000e+00) #5
  %76 = fsub double %74, %75
  %77 = fdiv double %76, %.0.lcssa
  %78 = fsub double %76, %77
  %79 = call double @fmod(double noundef %77, double noundef 1.000000e+00) #5
  %80 = fadd double %79, %78
  %81 = fmul double %46, %80
  store double %81, ptr %8, align 8, !tbaa !5
  %82 = add nsw i32 %.086131, 1
  %83 = icmp eq i32 %82, 0
  br i1 %83, label %.critedge.thread.sink.split, label %.preheader100

.preheader100:                                    ; preds = %.critedge
  %84 = icmp sgt i32 %.086131, -1
  br i1 %84, label %.lr.ph122.preheader, label %._crit_edge123

.lr.ph122.preheader:                              ; preds = %.preheader100
  %85 = zext nneg i32 %.086131 to i64
  br label %.lr.ph122

.lr.ph122:                                        ; preds = %.lr.ph122.preheader, %109
  %indvar = phi i32 [ 0, %.lr.ph122.preheader ], [ %indvar.next, %109 ]
  %indvars.iv157 = phi i32 [ %.086131, %.lr.ph122.preheader ], [ %indvars.iv.next158, %109 ]
  %indvars.iv151 = phi i64 [ %85, %.lr.ph122.preheader ], [ %indvars.iv.next152, %109 ]
  %86 = getelementptr inbounds double, ptr %1, i64 %indvars.iv151
  %87 = load double, ptr %86, align 8, !tbaa !5
  %88 = fsub double %81, %87
  %89 = call double @llvm.fabs.f64(double %88)
  %90 = fcmp ugt double %89, %49
  br i1 %90, label %107, label %.preheader

.preheader:                                       ; preds = %.lr.ph122
  %91 = trunc nuw nsw i64 %indvars.iv151 to i32
  %92 = icmp sgt i32 %.086131, %91
  br i1 %92, label %.lr.ph128.preheader, label %.critedge.thread

.lr.ph128.preheader:                              ; preds = %.preheader
  %93 = zext i32 %indvars.iv157 to i64
  %94 = add i32 %indvar, -1
  %95 = zext i32 %94 to i64
  %96 = add nuw nsw i64 %95, 1
  %min.iters.check = icmp ult i32 %94, 3
  br i1 %min.iters.check, label %.lr.ph128.preheader204, label %vector.ph

vector.ph:                                        ; preds = %.lr.ph128.preheader
  %n.vec = and i64 %96, 8589934588
  %ind.end = add nuw nsw i64 %n.vec, %93
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %offset.idx = add i64 %index, %93
  %97 = getelementptr inbounds double, ptr %invariant.gep, i64 %offset.idx
  %98 = getelementptr inbounds i8, ptr %97, i64 16
  %wide.load = load <2 x double>, ptr %97, align 8, !tbaa !5
  %wide.load188 = load <2 x double>, ptr %98, align 8, !tbaa !5
  %99 = getelementptr double, ptr %1, i64 %offset.idx
  %100 = getelementptr i8, ptr %99, i64 8
  %101 = getelementptr i8, ptr %99, i64 24
  store <2 x double> %wide.load, ptr %100, align 8, !tbaa !5
  store <2 x double> %wide.load188, ptr %101, align 8, !tbaa !5
  %index.next = add nuw i64 %index, 4
  %102 = icmp eq i64 %index.next, %n.vec
  br i1 %102, label %middle.block, label %vector.body, !llvm.loop !20

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %96, %n.vec
  br i1 %cmp.n, label %.critedge.thread, label %.lr.ph128.preheader204

.lr.ph128.preheader204:                           ; preds = %middle.block, %.lr.ph128.preheader
  %indvars.iv160.ph = phi i64 [ %93, %.lr.ph128.preheader ], [ %ind.end, %middle.block ]
  br label %.lr.ph128

.lr.ph128:                                        ; preds = %.lr.ph128.preheader204, %.lr.ph128
  %indvars.iv160 = phi i64 [ %indvars.iv.next161, %.lr.ph128 ], [ %indvars.iv160.ph, %.lr.ph128.preheader204 ]
  %indvars.iv.next161 = add nuw nsw i64 %indvars.iv160, 1
  %gep = getelementptr inbounds double, ptr %invariant.gep, i64 %indvars.iv160
  %103 = load double, ptr %gep, align 8, !tbaa !5
  %104 = getelementptr inbounds double, ptr %1, i64 %indvars.iv.next161
  store double %103, ptr %104, align 8, !tbaa !5
  %105 = trunc nuw i64 %indvars.iv.next161 to i32
  %106 = icmp sgt i32 %.086131, %105
  br i1 %106, label %.lr.ph128, label %.critedge.thread, !llvm.loop !21

107:                                              ; preds = %.lr.ph122
  %108 = fcmp ugt double %81, %87
  br i1 %108, label %._crit_edge123.loopexit.split.loop.exit, label %109

109:                                              ; preds = %107
  %110 = getelementptr inbounds i8, ptr %86, i64 8
  store double %87, ptr %110, align 8, !tbaa !5
  %indvars.iv.next152 = add nsw i64 %indvars.iv151, -1
  %111 = icmp sgt i64 %indvars.iv151, 0
  %indvars.iv.next158 = add i32 %indvars.iv157, -1
  %indvar.next = add i32 %indvar, 1
  br i1 %111, label %.lr.ph122, label %._crit_edge123, !llvm.loop !22

._crit_edge123.loopexit.split.loop.exit:          ; preds = %107
  %112 = trunc nuw nsw i64 %indvars.iv151 to i32
  br label %._crit_edge123

._crit_edge123:                                   ; preds = %109, %._crit_edge123.loopexit.split.loop.exit, %.preheader100
  %.087.lcssa = phi i32 [ %.086131, %.preheader100 ], [ %112, %._crit_edge123.loopexit.split.loop.exit ], [ -1, %109 ]
  %113 = sext i32 %.087.lcssa to i64
  %gep130 = getelementptr double, ptr %invariant.gep129, i64 %113
  br label %.critedge.thread.sink.split

.critedge.thread.sink.split:                      ; preds = %.critedge, %._crit_edge123
  %gep130.sink = phi ptr [ %gep130, %._crit_edge123 ], [ %1, %.critedge ]
  %.1.ph = phi i32 [ %82, %._crit_edge123 ], [ 0, %.critedge ]
  store double %81, ptr %gep130.sink, align 8, !tbaa !5
  br label %.critedge.thread

.critedge.thread:                                 ; preds = %.lr.ph120, %.lr.ph128, %middle.block, %.critedge.thread.sink.split, %.preheader
  %.1 = phi i32 [ %.086131, %.preheader ], [ %.1.ph, %.critedge.thread.sink.split ], [ %.086131, %middle.block ], [ %.086131, %.lr.ph128 ], [ %.086131, %.lr.ph120 ]
  br label %114

114:                                              ; preds = %117, %.critedge.thread
  %indvars.iv163 = phi i64 [ %118, %117 ], [ %52, %.critedge.thread ]
  %115 = trunc nuw i64 %indvars.iv163 to i32
  %116 = icmp sgt i32 %115, 0
  br i1 %116, label %117, label %.critedge2.thread

117:                                              ; preds = %114
  %118 = add nsw i64 %indvars.iv163, -1
  %119 = getelementptr inbounds [10 x double], ptr %9, i64 0, i64 %118
  %120 = load double, ptr %119, align 8, !tbaa !5
  %121 = fcmp ole double %120, 0.000000e+00
  %122 = select i1 %121, double 1.000000e+00, double -1.000000e+00
  store double %122, ptr %119, align 8, !tbaa !5
  %123 = fcmp olt double %122, 0.000000e+00
  br i1 %123, label %114, label %.critedge2, !llvm.loop !23

.critedge2:                                       ; preds = %117
  %124 = icmp slt i32 %.1, %11
  br i1 %124, label %.preheader103, label %.critedge2.thread, !llvm.loop !24

.critedge2.thread:                                ; preds = %.critedge2, %114, %._crit_edge114
  %.2 = phi i32 [ -1, %._crit_edge114 ], [ %.1, %114 ], [ %.1, %.critedge2 ]
  %125 = add nsw i32 %.2, 1
  store i32 %125, ptr %3, align 4, !tbaa !25
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %10) #5
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %9) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #5
  ret void
}

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z3xydPdiS_i(ptr noundef, i32 noundef, ptr noundef, i32 noundef) local_unnamed_addr #2

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

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

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare <2 x double> @llvm.fmuladd.v2f64(<2 x double>, <2 x double>, <2 x double>) #4

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #2 = { 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 #3 = { mustprogress nofree nounwind willreturn memory(write) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
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 = !{!"double", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.unroll.disable"}
!13 = distinct !{!13, !10}
!14 = distinct !{!14, !12}
!15 = distinct !{!15, !10, !16, !17}
!16 = !{!"llvm.loop.isvectorized", i32 1}
!17 = !{!"llvm.loop.unroll.runtime.disable"}
!18 = distinct !{!18, !10, !17, !16}
!19 = distinct !{!19, !10}
!20 = distinct !{!20, !10, !16, !17}
!21 = distinct !{!21, !10, !17, !16}
!22 = distinct !{!22, !10}
!23 = distinct !{!23, !10}
!24 = distinct !{!24, !10}
!25 = !{!26, !26, i64 0}
!26 = !{!"int", !7, i64 0}


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