; LLVM IR from stan-dev/math :: lib/sundials_6.1.1/src/cvodes (cvodea)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.CVodeMemRec = type { ptr, double, ptr, ptr, i32, i32, double, double, ptr, i32, i32, ptr, ptr, i32, i32, ptr, i32, i32, double, double, ptr, i32, i32, i32, i32, ptr, ptr, ptr, i32, i32, ptr, ptr, ptr, i32, double, i32, i32, double, ptr, ptr, ptr, i32, ptr, ptr, i32, i32, i32, double, ptr, ptr, ptr, [13 x ptr], ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, [13 x ptr], ptr, ptr, ptr, ptr, [13 x ptr], ptr, ptr, ptr, ptr, ptr, i32, [13 x ptr], ptr, ptr, ptr, ptr, ptr, i32, double, i32, i32, i32, i32, i32, double, double, double, double, double, double, double, double, [14 x double], [6 x double], [13 x double], double, double, double, double, double, double, double, double, i32, double, double, i32, double, double, ptr, i32, i64, i32, i32, i32, double, double, double, i64, i64, i64, i64, i64, i64, i64, i64, i64, ptr, i64, i64, ptr, i64, i64, i64, i64, i64, i64, i32, double, double, double, i64, i64, i64, i64, i64, i64, ptr, i32, ptr, i32, ptr, i32, ptr, i32, i32, i64, i32, ptr, i32, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, ptr, ptr, ptr, ptr, ptr, i64, i32, i32, i64, double, double, double, i32, i32, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ptr, ptr, ptr, ptr, i64, i32, [6 x [4 x double]], i32, i64, ptr, i32, ptr, ptr, double, double, double, ptr, ptr, ptr, double, double, i32, i32, i64, ptr, i32, ptr, ptr, ptr, i32, ptr, i32 }
%struct.CVadjMemRec = type { double, double, i32, i32, double, i32, double, ptr, i32, ptr, i32, ptr, i32, ptr, i64, i64, ptr, i64, i32, ptr, ptr, ptr, ptr, i32, i32, i32, i32, [13 x ptr], [13 x ptr], [13 x double], ptr, ptr }
%struct.CkpntMemRec = type { double, double, [13 x ptr], i32, [13 x ptr], i32, i32, [13 x ptr], i32, [13 x ptr], i32, i64, double, i32, i32, i32, i32, double, double, double, double, double, double, [14 x double], [6 x double], [13 x double], double, ptr }
%struct.DtpntMemRec = type { double, ptr }

@.str = external hidden unnamed_addr constant [7 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [55 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [53 x i8], align 1

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

declare void @cvProcessError(ptr noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef, ...) #1

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

; Function Attrs: nounwind uwtable
define dso_local i32 @CVodeF(ptr noundef %0, double noundef %1, ptr noundef %2, ptr noundef %3, i32 noundef %4, ptr noundef %5) #2 {
  %7 = alloca i32, align 4
  %8 = alloca ptr, align 8
  %9 = alloca double, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca i32, align 4
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca i64, align 8
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca double, align 8
  %24 = alloca i32, align 4
  store ptr %0, ptr %8, align 8, !tbaa !5
  store double %1, ptr %9, align 8, !tbaa !9
  store ptr %2, ptr %10, align 8, !tbaa !5
  store ptr %3, ptr %11, align 8, !tbaa !5
  store i32 %4, ptr %12, align 4, !tbaa !11
  store ptr %5, ptr %13, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #3
  %25 = load ptr, ptr %8, align 8, !tbaa !5
  %26 = icmp eq ptr %25, null
  br i1 %26, label %27, label %28

27:                                               ; preds = %6
  call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef null, i32 noundef -21, ptr noundef @.str, ptr noundef @.str.8, ptr noundef @.str.2)
  store i32 -21, ptr %7, align 4
  store i32 1, ptr %24, align 4
  br label %454

28:                                               ; preds = %6
  %29 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %29, ptr %15, align 8, !tbaa !5
  %30 = load ptr, ptr %15, align 8, !tbaa !5
  %31 = getelementptr inbounds %struct.CVodeMemRec, ptr %30, i32 0, i32 232
  %32 = load i32, ptr %31, align 8, !tbaa !13
  %33 = icmp eq i32 %32, 0
  br i1 %33, label %34, label %36

34:                                               ; preds = %28
  %35 = load ptr, ptr %15, align 8, !tbaa !5
  call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef %35, i32 noundef -101, ptr noundef @.str, ptr noundef @.str.8, ptr noundef @.str.7)
  store i32 -101, ptr %7, align 4
  store i32 1, ptr %24, align 4
  br label %454

36:                                               ; preds = %28
  %37 = load ptr, ptr %15, align 8, !tbaa !5
  %38 = getelementptr inbounds %struct.CVodeMemRec, ptr %37, i32 0, i32 231
  %39 = load ptr, ptr %38, align 8, !tbaa !16
  store ptr %39, ptr %14, align 8, !tbaa !5
  %40 = load ptr, ptr %10, align 8, !tbaa !5
  %41 = icmp eq ptr %40, null
  br i1 %41, label %42, label %44

42:                                               ; preds = %36
  %43 = load ptr, ptr %15, align 8, !tbaa !5
  call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef %43, i32 noundef -22, ptr noundef @.str, ptr noundef @.str.8, ptr noundef @.str.9)
  store i32 -22, ptr %7, align 4
  store i32 1, ptr %24, align 4
  br label %454

44:                                               ; preds = %36
  %45 = load ptr, ptr %11, align 8, !tbaa !5
  %46 = icmp eq ptr %45, null
  br i1 %46, label %47, label %49

47:                                               ; preds = %44
  %48 = load ptr, ptr %15, align 8, !tbaa !5
  call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef %48, i32 noundef -22, ptr noundef @.str, ptr noundef @.str.8, ptr noundef @.str.10)
  store i32 -22, ptr %7, align 4
  store i32 1, ptr %24, align 4
  br label %454

49:                                               ; preds = %44
  %50 = load i32, ptr %12, align 4, !tbaa !11
  %51 = icmp ne i32 %50, 1
  br i1 %51, label %52, label %57

52:                                               ; preds = %49
  %53 = load i32, ptr %12, align 4, !tbaa !11
  %54 = icmp ne i32 %53, 2
  br i1 %54, label %55, label %57

55:                                               ; preds = %52
  %56 = load ptr, ptr %15, align 8, !tbaa !5
  call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef %56, i32 noundef -22, ptr noundef @.str, ptr noundef @.str.8, ptr noundef @.str.11)
  store i32 -22, ptr %7, align 4
  store i32 1, ptr %24, align 4
  br label %454

57:                                               ; preds = %52, %49
  %58 = load ptr, ptr %14, align 8, !tbaa !5
  %59 = getelementptr inbounds %struct.CVadjMemRec, ptr %58, i32 0, i32 16
  %60 = load ptr, ptr %59, align 8, !tbaa !17
  store ptr %60, ptr %17, align 8, !tbaa !5
  %61 = load ptr, ptr %15, align 8, !tbaa !5
  %62 = getelementptr inbounds %struct.CVodeMemRec, ptr %61, i32 0, i32 79
  %63 = load i32, ptr %62, align 8, !tbaa !19
  %64 = icmp ne i32 %63, 0
  br i1 %64, label %65, label %73

65:                                               ; preds = %57
  %66 = load ptr, ptr %14, align 8, !tbaa !5
  %67 = getelementptr inbounds %struct.CVadjMemRec, ptr %66, i32 0, i32 3
  store i32 1, ptr %67, align 4, !tbaa !20
  %68 = load ptr, ptr %15, align 8, !tbaa !5
  %69 = getelementptr inbounds %struct.CVodeMemRec, ptr %68, i32 0, i32 80
  %70 = load double, ptr %69, align 8, !tbaa !21
  %71 = load ptr, ptr %14, align 8, !tbaa !5
  %72 = getelementptr inbounds %struct.CVadjMemRec, ptr %71, i32 0, i32 4
  store double %70, ptr %72, align 8, !tbaa !22
  br label %73

73:                                               ; preds = %65, %57
  %74 = load ptr, ptr %14, align 8, !tbaa !5
  %75 = getelementptr inbounds %struct.CVadjMemRec, ptr %74, i32 0, i32 2
  %76 = load i32, ptr %75, align 8, !tbaa !23
  %77 = icmp ne i32 %76, 0
  br i1 %77, label %78, label %184

78:                                               ; preds = %73
  %79 = load ptr, ptr %15, align 8, !tbaa !5
  %80 = getelementptr inbounds %struct.CVodeMemRec, ptr %79, i32 0, i32 92
  %81 = load double, ptr %80, align 8, !tbaa !24
  %82 = load ptr, ptr %14, align 8, !tbaa !5
  %83 = getelementptr inbounds %struct.CVadjMemRec, ptr %82, i32 0, i32 0
  store double %81, ptr %83, align 8, !tbaa !25
  %84 = load ptr, ptr %15, align 8, !tbaa !5
  %85 = call ptr @CVAckpntInit(ptr noundef %84)
  %86 = load ptr, ptr %14, align 8, !tbaa !5
  %87 = getelementptr inbounds %struct.CVadjMemRec, ptr %86, i32 0, i32 11
  store ptr %85, ptr %87, align 8, !tbaa !26
  %88 = load ptr, ptr %14, align 8, !tbaa !5
  %89 = getelementptr inbounds %struct.CVadjMemRec, ptr %88, i32 0, i32 11
  %90 = load ptr, ptr %89, align 8, !tbaa !26
  %91 = icmp eq ptr %90, null
  br i1 %91, label %92, label %94

92:                                               ; preds = %78
  %93 = load ptr, ptr %15, align 8, !tbaa !5
  call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef %93, i32 noundef -20, ptr noundef @.str, ptr noundef @.str.8, ptr noundef @.str.5)
  store i32 -20, ptr %7, align 4
  store i32 1, ptr %24, align 4
  br label %454

94:                                               ; preds = %78
  %95 = load ptr, ptr %14, align 8, !tbaa !5
  %96 = getelementptr inbounds %struct.CVadjMemRec, ptr %95, i32 0, i32 23
  %97 = load i32, ptr %96, align 8, !tbaa !27
  %98 = icmp ne i32 %97, 0
  br i1 %98, label %164, label %99

99:                                               ; preds = %94
  %100 = load ptr, ptr %15, align 8, !tbaa !5
  %101 = getelementptr inbounds %struct.CVodeMemRec, ptr %100, i32 0, i32 22
  %102 = load i32, ptr %101, align 4, !tbaa !28
  %103 = icmp ne i32 %102, 0
  br i1 %103, label %107, label %104

104:                                              ; preds = %99
  %105 = load ptr, ptr %14, align 8, !tbaa !5
  %106 = getelementptr inbounds %struct.CVadjMemRec, ptr %105, i32 0, i32 25
  store i32 0, ptr %106, align 8, !tbaa !29
  br label %107

107:                                              ; preds = %104, %99
  %108 = load ptr, ptr %14, align 8, !tbaa !5
  %109 = getelementptr inbounds %struct.CVadjMemRec, ptr %108, i32 0, i32 19
  %110 = load ptr, ptr %109, align 8, !tbaa !30
  %111 = load ptr, ptr %15, align 8, !tbaa !5
  %112 = call i32 %110(ptr noundef %111)
  store i32 %112, ptr %21, align 4, !tbaa !11
  %113 = load i32, ptr %21, align 4, !tbaa !11
  %114 = icmp ne i32 %113, 0
  br i1 %114, label %117, label %115

115:                                              ; preds = %107
  %116 = load ptr, ptr %15, align 8, !tbaa !5
  call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef %116, i32 noundef -20, ptr noundef @.str, ptr noundef @.str.8, ptr noundef @.str.5)
  store i32 -20, ptr %7, align 4
  store i32 1, ptr %24, align 4
  br label %454

117:                                              ; preds = %107
  store i32 0, ptr %20, align 4, !tbaa !11
  br label %118

118:                                              ; preds = %133, %117
  %119 = load i32, ptr %20, align 4, !tbaa !11
  %120 = icmp slt i32 %119, 13
  br i1 %120, label %121, label %136

121:                                              ; preds = %118
  %122 = load ptr, ptr %15, align 8, !tbaa !5
  %123 = getelementptr inbounds %struct.CVodeMemRec, ptr %122, i32 0, i32 51
  %124 = load i32, ptr %20, align 4, !tbaa !11
  %125 = sext i32 %124 to i64
  %126 = getelementptr inbounds [13 x ptr], ptr %123, i64 0, i64 %125
  %127 = load ptr, ptr %126, align 8, !tbaa !5
  %128 = load ptr, ptr %14, align 8, !tbaa !5
  %129 = getelementptr inbounds %struct.CVadjMemRec, ptr %128, i32 0, i32 27
  %130 = load i32, ptr %20, align 4, !tbaa !11
  %131 = sext i32 %130 to i64
  %132 = getelementptr inbounds [13 x ptr], ptr %129, i64 0, i64 %131
  store ptr %127, ptr %132, align 8, !tbaa !5
  br label %133

133:                                              ; preds = %121
  %134 = load i32, ptr %20, align 4, !tbaa !11
  %135 = add nsw i32 %134, 1
  store i32 %135, ptr %20, align 4, !tbaa !11
  br label %118, !llvm.loop !31

136:                                              ; preds = %118
  %137 = load ptr, ptr %14, align 8, !tbaa !5
  %138 = getelementptr inbounds %struct.CVadjMemRec, ptr %137, i32 0, i32 25
  %139 = load i32, ptr %138, align 8, !tbaa !29
  %140 = icmp ne i32 %139, 0
  br i1 %140, label %141, label %161

141:                                              ; preds = %136
  store i32 0, ptr %20, align 4, !tbaa !11
  br label %142

142:                                              ; preds = %157, %141
  %143 = load i32, ptr %20, align 4, !tbaa !11
  %144 = icmp slt i32 %143, 13
  br i1 %144, label %145, label %160

145:                                              ; preds = %142
  %146 = load ptr, ptr %15, align 8, !tbaa !5
  %147 = getelementptr inbounds %struct.CVodeMemRec, ptr %146, i32 0, i32 66
  %148 = load i32, ptr %20, align 4, !tbaa !11
  %149 = sext i32 %148 to i64
  %150 = getelementptr inbounds [13 x ptr], ptr %147, i64 0, i64 %149
  %151 = load ptr, ptr %150, align 8, !tbaa !5
  %152 = load ptr, ptr %14, align 8, !tbaa !5
  %153 = getelementptr inbounds %struct.CVadjMemRec, ptr %152, i32 0, i32 28
  %154 = load i32, ptr %20, align 4, !tbaa !11
  %155 = sext i32 %154 to i64
  %156 = getelementptr inbounds [13 x ptr], ptr %153, i64 0, i64 %155
  store ptr %151, ptr %156, align 8, !tbaa !5
  br label %157

157:                                              ; preds = %145
  %158 = load i32, ptr %20, align 4, !tbaa !11
  %159 = add nsw i32 %158, 1
  store i32 %159, ptr %20, align 4, !tbaa !11
  br label %142, !llvm.loop !33

160:                                              ; preds = %142
  br label %161

161:                                              ; preds = %160, %136
  %162 = load ptr, ptr %14, align 8, !tbaa !5
  %163 = getelementptr inbounds %struct.CVadjMemRec, ptr %162, i32 0, i32 23
  store i32 1, ptr %163, align 8, !tbaa !27
  br label %164

164:                                              ; preds = %161, %94
  %165 = load ptr, ptr %14, align 8, !tbaa !5
  %166 = getelementptr inbounds %struct.CVadjMemRec, ptr %165, i32 0, i32 11
  %167 = load ptr, ptr %166, align 8, !tbaa !26
  %168 = getelementptr inbounds %struct.CkpntMemRec, ptr %167, i32 0, i32 0
  %169 = load double, ptr %168, align 8, !tbaa !34
  %170 = load ptr, ptr %17, align 8, !tbaa !5
  %171 = getelementptr inbounds ptr, ptr %170, i64 0
  %172 = load ptr, ptr %171, align 8, !tbaa !5
  %173 = getelementptr inbounds %struct.DtpntMemRec, ptr %172, i32 0, i32 0
  store double %169, ptr %173, align 8, !tbaa !36
  %174 = load ptr, ptr %14, align 8, !tbaa !5
  %175 = getelementptr inbounds %struct.CVadjMemRec, ptr %174, i32 0, i32 21
  %176 = load ptr, ptr %175, align 8, !tbaa !38
  %177 = load ptr, ptr %15, align 8, !tbaa !5
  %178 = load ptr, ptr %17, align 8, !tbaa !5
  %179 = getelementptr inbounds ptr, ptr %178, i64 0
  %180 = load ptr, ptr %179, align 8, !tbaa !5
  %181 = call i32 %176(ptr noundef %177, ptr noundef %180)
  %182 = load ptr, ptr %14, align 8, !tbaa !5
  %183 = getelementptr inbounds %struct.CVadjMemRec, ptr %182, i32 0, i32 2
  store i32 0, ptr %183, align 8, !tbaa !23
  br label %264

184:                                              ; preds = %73
  %185 = load i32, ptr %12, align 4, !tbaa !11
  %186 = icmp eq i32 %185, 1
  br i1 %186, label %187, label %263

187:                                              ; preds = %184
  store i32 0, ptr %22, align 4, !tbaa !11
  %188 = load ptr, ptr %14, align 8, !tbaa !5
  %189 = getelementptr inbounds %struct.CVadjMemRec, ptr %188, i32 0, i32 5
  %190 = load i32, ptr %189, align 8, !tbaa !39
  %191 = icmp ne i32 %190, 0
  br i1 %191, label %192, label %196

192:                                              ; preds = %187
  %193 = load ptr, ptr %14, align 8, !tbaa !5
  %194 = getelementptr inbounds %struct.CVadjMemRec, ptr %193, i32 0, i32 6
  %195 = load double, ptr %194, align 8, !tbaa !40
  br label %200

196:                                              ; preds = %187
  %197 = load ptr, ptr %15, align 8, !tbaa !5
  %198 = getelementptr inbounds %struct.CVodeMemRec, ptr %197, i32 0, i32 92
  %199 = load double, ptr %198, align 8, !tbaa !24
  br label %200

200:                                              ; preds = %196, %192
  %201 = phi double [ %195, %192 ], [ %199, %196 ]
  store double %201, ptr %23, align 8, !tbaa !9
  %202 = load double, ptr %23, align 8, !tbaa !9
  %203 = load double, ptr %9, align 8, !tbaa !9
  %204 = fsub double %202, %203
  %205 = load ptr, ptr %15, align 8, !tbaa !5
  %206 = getelementptr inbounds %struct.CVodeMemRec, ptr %205, i32 0, i32 87
  %207 = load double, ptr %206, align 8, !tbaa !41
  %208 = fmul double %204, %207
  %209 = fcmp oge double %208, 0.000000e+00
  br i1 %209, label %210, label %217

210:                                              ; preds = %200
  %211 = load double, ptr %9, align 8, !tbaa !9
  %212 = load ptr, ptr %11, align 8, !tbaa !5
  store double %211, ptr %212, align 8, !tbaa !9
  %213 = load ptr, ptr %15, align 8, !tbaa !5
  %214 = load double, ptr %9, align 8, !tbaa !9
  %215 = load ptr, ptr %10, align 8, !tbaa !5
  %216 = call i32 @CVodeGetDky(ptr noundef %213, double noundef %214, i32 noundef 0, ptr noundef %215)
  store i32 %216, ptr %19, align 4, !tbaa !11
  store i32 1, ptr %22, align 4, !tbaa !11
  br label %236

217:                                              ; preds = %200
  %218 = load ptr, ptr %14, align 8, !tbaa !5
  %219 = getelementptr inbounds %struct.CVadjMemRec, ptr %218, i32 0, i32 5
  %220 = load i32, ptr %219, align 8, !tbaa !39
  %221 = icmp ne i32 %220, 0
  br i1 %221, label %222, label %235

222:                                              ; preds = %217
  %223 = load ptr, ptr %14, align 8, !tbaa !5
  %224 = getelementptr inbounds %struct.CVadjMemRec, ptr %223, i32 0, i32 6
  %225 = load double, ptr %224, align 8, !tbaa !40
  %226 = load ptr, ptr %11, align 8, !tbaa !5
  store double %225, ptr %226, align 8, !tbaa !9
  %227 = load ptr, ptr %15, align 8, !tbaa !5
  %228 = load ptr, ptr %14, align 8, !tbaa !5
  %229 = getelementptr inbounds %struct.CVadjMemRec, ptr %228, i32 0, i32 6
  %230 = load double, ptr %229, align 8, !tbaa !40
  %231 = load ptr, ptr %10, align 8, !tbaa !5
  %232 = call i32 @CVodeGetDky(ptr noundef %227, double noundef %230, i32 noundef 0, ptr noundef %231)
  store i32 %232, ptr %19, align 4, !tbaa !11
  store i32 2, ptr %19, align 4, !tbaa !11
  %233 = load ptr, ptr %14, align 8, !tbaa !5
  %234 = getelementptr inbounds %struct.CVadjMemRec, ptr %233, i32 0, i32 5
  store i32 0, ptr %234, align 8, !tbaa !39
  store i32 1, ptr %22, align 4, !tbaa !11
  br label %235

235:                                              ; preds = %222, %217
  br label %236

236:                                              ; preds = %235, %210
  %237 = load i32, ptr %22, align 4, !tbaa !11
  %238 = icmp ne i32 %237, 0
  br i1 %238, label %239, label %262

239:                                              ; preds = %236
  %240 = load ptr, ptr %14, align 8, !tbaa !5
  %241 = getelementptr inbounds %struct.CVadjMemRec, ptr %240, i32 0, i32 12
  %242 = load i32, ptr %241, align 8, !tbaa !42
  %243 = load ptr, ptr %13, align 8, !tbaa !5
  store i32 %242, ptr %243, align 4, !tbaa !11
  %244 = load ptr, ptr %14, align 8, !tbaa !5
  %245 = getelementptr inbounds %struct.CVadjMemRec, ptr %244, i32 0, i32 24
  store i32 1, ptr %245, align 4, !tbaa !43
  %246 = load ptr, ptr %14, align 8, !tbaa !5
  %247 = getelementptr inbounds %struct.CVadjMemRec, ptr %246, i32 0, i32 11
  %248 = load ptr, ptr %247, align 8, !tbaa !26
  %249 = load ptr, ptr %14, align 8, !tbaa !5
  %250 = getelementptr inbounds %struct.CVadjMemRec, ptr %249, i32 0, i32 13
  store ptr %248, ptr %250, align 8, !tbaa !44
  %251 = load ptr, ptr %15, align 8, !tbaa !5
  %252 = getelementptr inbounds %struct.CVodeMemRec, ptr %251, i32 0, i32 120
  %253 = load i64, ptr %252, align 8, !tbaa !45
  %254 = load ptr, ptr %14, align 8, !tbaa !5
  %255 = getelementptr inbounds %struct.CVadjMemRec, ptr %254, i32 0, i32 14
  %256 = load i64, ptr %255, align 8, !tbaa !46
  %257 = srem i64 %253, %256
  %258 = add nsw i64 %257, 1
  %259 = load ptr, ptr %14, align 8, !tbaa !5
  %260 = getelementptr inbounds %struct.CVadjMemRec, ptr %259, i32 0, i32 17
  store i64 %258, ptr %260, align 8, !tbaa !47
  %261 = load i32, ptr %19, align 4, !tbaa !11
  store i32 %261, ptr %7, align 4
  store i32 1, ptr %24, align 4
  br label %454

262:                                              ; preds = %236
  br label %263

263:                                              ; preds = %262, %184
  br label %264

264:                                              ; preds = %263, %164
  store i64 0, ptr %18, align 8, !tbaa !48
  br label %265

265:                                              ; preds = %430, %264
  %266 = load ptr, ptr %15, align 8, !tbaa !5
  %267 = getelementptr inbounds %struct.CVodeMemRec, ptr %266, i32 0, i32 113
  %268 = load i64, ptr %267, align 8, !tbaa !49
  %269 = icmp sgt i64 %268, 0
  br i1 %269, label %270, label %281

270:                                              ; preds = %265
  %271 = load i64, ptr %18, align 8, !tbaa !48
  %272 = load ptr, ptr %15, align 8, !tbaa !5
  %273 = getelementptr inbounds %struct.CVodeMemRec, ptr %272, i32 0, i32 113
  %274 = load i64, ptr %273, align 8, !tbaa !49
  %275 = icmp sge i64 %271, %274
  br i1 %275, label %276, label %281

276:                                              ; preds = %270
  %277 = load ptr, ptr %15, align 8, !tbaa !5
  %278 = load ptr, ptr %15, align 8, !tbaa !5
  %279 = getelementptr inbounds %struct.CVodeMemRec, ptr %278, i32 0, i32 92
  %280 = load double, ptr %279, align 8, !tbaa !24
  call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef %277, i32 noundef -1, ptr noundef @.str, ptr noundef @.str.8, ptr noundef @.str.12, double noundef %280)
  store i32 -1, ptr %19, align 4, !tbaa !11
  br label %431

281:                                              ; preds = %270, %265
  %282 = load ptr, ptr %15, align 8, !tbaa !5
  %283 = load double, ptr %9, align 8, !tbaa !9
  %284 = load ptr, ptr %10, align 8, !tbaa !5
  %285 = load ptr, ptr %11, align 8, !tbaa !5
  %286 = call i32 @CVode(ptr noundef %282, double noundef %283, ptr noundef %284, ptr noundef %285, i32 noundef 2)
  store i32 %286, ptr %19, align 4, !tbaa !11
  %287 = load i32, ptr %19, align 4, !tbaa !11
  %288 = icmp slt i32 %287, 0
  br i1 %288, label %289, label %290

289:                                              ; preds = %281
  br label %431

290:                                              ; preds = %281
  %291 = load i64, ptr %18, align 8, !tbaa !48
  %292 = add nsw i64 %291, 1
  store i64 %292, ptr %18, align 8, !tbaa !48
  %293 = load ptr, ptr %15, align 8, !tbaa !5
  %294 = getelementptr inbounds %struct.CVodeMemRec, ptr %293, i32 0, i32 120
  %295 = load i64, ptr %294, align 8, !tbaa !45
  %296 = load ptr, ptr %14, align 8, !tbaa !5
  %297 = getelementptr inbounds %struct.CVadjMemRec, ptr %296, i32 0, i32 14
  %298 = load i64, ptr %297, align 8, !tbaa !46
  %299 = srem i64 %295, %298
  %300 = icmp eq i64 %299, 0
  br i1 %300, label %301, label %347

301:                                              ; preds = %290
  %302 = load ptr, ptr %15, align 8, !tbaa !5
  %303 = getelementptr inbounds %struct.CVodeMemRec, ptr %302, i32 0, i32 92
  %304 = load double, ptr %303, align 8, !tbaa !24
  %305 = load ptr, ptr %14, align 8, !tbaa !5
  %306 = getelementptr inbounds %struct.CVadjMemRec, ptr %305, i32 0, i32 11
  %307 = load ptr, ptr %306, align 8, !tbaa !26
  %308 = getelementptr inbounds %struct.CkpntMemRec, ptr %307, i32 0, i32 1
  store double %304, ptr %308, align 8, !tbaa !50
  %309 = load ptr, ptr %15, align 8, !tbaa !5
  %310 = call ptr @CVAckpntNew(ptr noundef %309)
  store ptr %310, ptr %16, align 8, !tbaa !5
  %311 = load ptr, ptr %16, align 8, !tbaa !5
  %312 = icmp eq ptr %311, null
  br i1 %312, label %313, label %315

313:                                              ; preds = %301
  %314 = load ptr, ptr %15, align 8, !tbaa !5
  call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef %314, i32 noundef -20, ptr noundef @.str, ptr noundef @.str.8, ptr noundef @.str.5)
  store i32 -20, ptr %19, align 4, !tbaa !11
  br label %431

315:                                              ; preds = %301
  %316 = load ptr, ptr %14, align 8, !tbaa !5
  %317 = getelementptr inbounds %struct.CVadjMemRec, ptr %316, i32 0, i32 11
  %318 = load ptr, ptr %317, align 8, !tbaa !26
  %319 = load ptr, ptr %16, align 8, !tbaa !5
  %320 = getelementptr inbounds %struct.CkpntMemRec, ptr %319, i32 0, i32 27
  store ptr %318, ptr %320, align 8, !tbaa !51
  %321 = load ptr, ptr %16, align 8, !tbaa !5
  %322 = load ptr, ptr %14, align 8, !tbaa !5
  %323 = getelementptr inbounds %struct.CVadjMemRec, ptr %322, i32 0, i32 11
  store ptr %321, ptr %323, align 8, !tbaa !26
  %324 = load ptr, ptr %14, align 8, !tbaa !5
  %325 = getelementptr inbounds %struct.CVadjMemRec, ptr %324, i32 0, i32 12
  %326 = load i32, ptr %325, align 8, !tbaa !42
  %327 = add nsw i32 %326, 1
  store i32 %327, ptr %325, align 8, !tbaa !42
  %328 = load ptr, ptr %15, align 8, !tbaa !5
  %329 = getelementptr inbounds %struct.CVodeMemRec, ptr %328, i32 0, i32 176
  store i32 1, ptr %329, align 8, !tbaa !52
  %330 = load ptr, ptr %14, align 8, !tbaa !5
  %331 = getelementptr inbounds %struct.CVadjMemRec, ptr %330, i32 0, i32 11
  %332 = load ptr, ptr %331, align 8, !tbaa !26
  %333 = getelementptr inbounds %struct.CkpntMemRec, ptr %332, i32 0, i32 0
  %334 = load double, ptr %333, align 8, !tbaa !34
  %335 = load ptr, ptr %17, align 8, !tbaa !5
  %336 = getelementptr inbounds ptr, ptr %335, i64 0
  %337 = load ptr, ptr %336, align 8, !tbaa !5
  %338 = getelementptr inbounds %struct.DtpntMemRec, ptr %337, i32 0, i32 0
  store double %334, ptr %338, align 8, !tbaa !36
  %339 = load ptr, ptr %14, align 8, !tbaa !5
  %340 = getelementptr inbounds %struct.CVadjMemRec, ptr %339, i32 0, i32 21
  %341 = load ptr, ptr %340, align 8, !tbaa !38
  %342 = load ptr, ptr %15, align 8, !tbaa !5
  %343 = load ptr, ptr %17, align 8, !tbaa !5
  %344 = getelementptr inbounds ptr, ptr %343, i64 0
  %345 = load ptr, ptr %344, align 8, !tbaa !5
  %346 = call i32 %341(ptr noundef %342, ptr noundef %345)
  br label %377

347:                                              ; preds = %290
  %348 = load ptr, ptr %15, align 8, !tbaa !5
  %349 = getelementptr inbounds %struct.CVodeMemRec, ptr %348, i32 0, i32 92
  %350 = load double, ptr %349, align 8, !tbaa !24
  %351 = load ptr, ptr %17, align 8, !tbaa !5
  %352 = load ptr, ptr %15, align 8, !tbaa !5
  %353 = getelementptr inbounds %struct.CVodeMemRec, ptr %352, i32 0, i32 120
  %354 = load i64, ptr %353, align 8, !tbaa !45
  %355 = load ptr, ptr %14, align 8, !tbaa !5
  %356 = getelementptr inbounds %struct.CVadjMemRec, ptr %355, i32 0, i32 14
  %357 = load i64, ptr %356, align 8, !tbaa !46
  %358 = srem i64 %354, %357
  %359 = getelementptr inbounds ptr, ptr %351, i64 %358
  %360 = load ptr, ptr %359, align 8, !tbaa !5
  %361 = getelementptr inbounds %struct.DtpntMemRec, ptr %360, i32 0, i32 0
  store double %350, ptr %361, align 8, !tbaa !36
  %362 = load ptr, ptr %14, align 8, !tbaa !5
  %363 = getelementptr inbounds %struct.CVadjMemRec, ptr %362, i32 0, i32 21
  %364 = load ptr, ptr %363, align 8, !tbaa !38
  %365 = load ptr, ptr %15, align 8, !tbaa !5
  %366 = load ptr, ptr %17, align 8, !tbaa !5
  %367 = load ptr, ptr %15, align 8, !tbaa !5
  %368 = getelementptr inbounds %struct.CVodeMemRec, ptr %367, i32 0, i32 120
  %369 = load i64, ptr %368, align 8, !tbaa !45
  %370 = load ptr, ptr %14, align 8, !tbaa !5
  %371 = getelementptr inbounds %struct.CVadjMemRec, ptr %370, i32 0, i32 14
  %372 = load i64, ptr %371, align 8, !tbaa !46
  %373 = srem i64 %369, %372
  %374 = getelementptr inbounds ptr, ptr %366, i64 %373
  %375 = load ptr, ptr %374, align 8, !tbaa !5
  %376 = call i32 %364(ptr noundef %365, ptr noundef %375)
  br label %377

377:                                              ; preds = %347, %315
  %378 = load ptr, ptr %15, align 8, !tbaa !5
  %379 = getelementptr inbounds %struct.CVodeMemRec, ptr %378, i32 0, i32 92
  %380 = load double, ptr %379, align 8, !tbaa !24
  %381 = load ptr, ptr %14, align 8, !tbaa !5
  %382 = getelementptr inbounds %struct.CVadjMemRec, ptr %381, i32 0, i32 11
  %383 = load ptr, ptr %382, align 8, !tbaa !26
  %384 = getelementptr inbounds %struct.CkpntMemRec, ptr %383, i32 0, i32 1
  store double %380, ptr %384, align 8, !tbaa !50
  %385 = load ptr, ptr %15, align 8, !tbaa !5
  %386 = getelementptr inbounds %struct.CVodeMemRec, ptr %385, i32 0, i32 92
  %387 = load double, ptr %386, align 8, !tbaa !24
  %388 = load ptr, ptr %14, align 8, !tbaa !5
  %389 = getelementptr inbounds %struct.CVadjMemRec, ptr %388, i32 0, i32 1
  store double %387, ptr %389, align 8, !tbaa !53
  %390 = load i32, ptr %12, align 4, !tbaa !11
  %391 = icmp eq i32 %390, 2
  br i1 %391, label %392, label %393

392:                                              ; preds = %377
  br label %431

393:                                              ; preds = %377
  %394 = load ptr, ptr %11, align 8, !tbaa !5
  %395 = load double, ptr %394, align 8, !tbaa !9
  %396 = load double, ptr %9, align 8, !tbaa !9
  %397 = fsub double %395, %396
  %398 = load ptr, ptr %15, align 8, !tbaa !5
  %399 = getelementptr inbounds %struct.CVodeMemRec, ptr %398, i32 0, i32 87
  %400 = load double, ptr %399, align 8, !tbaa !41
  %401 = fmul double %397, %400
  %402 = fcmp oge double %401, 0.000000e+00
  br i1 %402, label %403, label %423

403:                                              ; preds = %393
  %404 = load i32, ptr %19, align 4, !tbaa !11
  %405 = icmp eq i32 %404, 2
  br i1 %405, label %406, label %413

406:                                              ; preds = %403
  %407 = load ptr, ptr %14, align 8, !tbaa !5
  %408 = getelementptr inbounds %struct.CVadjMemRec, ptr %407, i32 0, i32 5
  store i32 1, ptr %408, align 8, !tbaa !39
  %409 = load ptr, ptr %11, align 8, !tbaa !5
  %410 = load double, ptr %409, align 8, !tbaa !9
  %411 = load ptr, ptr %14, align 8, !tbaa !5
  %412 = getelementptr inbounds %struct.CVadjMemRec, ptr %411, i32 0, i32 6
  store double %410, ptr %412, align 8, !tbaa !40
  br label %413

413:                                              ; preds = %406, %403
  %414 = load double, ptr %9, align 8, !tbaa !9
  %415 = load ptr, ptr %11, align 8, !tbaa !5
  store double %414, ptr %415, align 8, !tbaa !9
  %416 = load ptr, ptr %15, align 8, !tbaa !5
  %417 = load double, ptr %9, align 8, !tbaa !9
  %418 = load ptr, ptr %10, align 8, !tbaa !5
  %419 = call i32 @CVodeGetDky(ptr noundef %416, double noundef %417, i32 noundef 0, ptr noundef %418)
  store i32 %419, ptr %19, align 4, !tbaa !11
  %420 = load double, ptr %9, align 8, !tbaa !9
  %421 = load ptr, ptr %15, align 8, !tbaa !5
  %422 = getelementptr inbounds %struct.CVodeMemRec, ptr %421, i32 0, i32 93
  store double %420, ptr %422, align 8, !tbaa !54
  br label %431

423:                                              ; preds = %393
  %424 = load i32, ptr %19, align 4, !tbaa !11
  %425 = icmp eq i32 %424, 1
  br i1 %425, label %429, label %426

426:                                              ; preds = %423
  %427 = load i32, ptr %19, align 4, !tbaa !11
  %428 = icmp eq i32 %427, 2
  br i1 %428, label %429, label %430

429:                                              ; preds = %426, %423
  br label %431

430:                                              ; preds = %426
  br label %265

431:                                              ; preds = %429, %413, %392, %313, %289, %276
  %432 = load ptr, ptr %14, align 8, !tbaa !5
  %433 = getelementptr inbounds %struct.CVadjMemRec, ptr %432, i32 0, i32 12
  %434 = load i32, ptr %433, align 8, !tbaa !42
  %435 = load ptr, ptr %13, align 8, !tbaa !5
  store i32 %434, ptr %435, align 4, !tbaa !11
  %436 = load ptr, ptr %14, align 8, !tbaa !5
  %437 = getelementptr inbounds %struct.CVadjMemRec, ptr %436, i32 0, i32 24
  store i32 1, ptr %437, align 4, !tbaa !43
  %438 = load ptr, ptr %14, align 8, !tbaa !5
  %439 = getelementptr inbounds %struct.CVadjMemRec, ptr %438, i32 0, i32 11
  %440 = load ptr, ptr %439, align 8, !tbaa !26
  %441 = load ptr, ptr %14, align 8, !tbaa !5
  %442 = getelementptr inbounds %struct.CVadjMemRec, ptr %441, i32 0, i32 13
  store ptr %440, ptr %442, align 8, !tbaa !44
  %443 = load ptr, ptr %15, align 8, !tbaa !5
  %444 = getelementptr inbounds %struct.CVodeMemRec, ptr %443, i32 0, i32 120
  %445 = load i64, ptr %444, align 8, !tbaa !45
  %446 = load ptr, ptr %14, align 8, !tbaa !5
  %447 = getelementptr inbounds %struct.CVadjMemRec, ptr %446, i32 0, i32 14
  %448 = load i64, ptr %447, align 8, !tbaa !46
  %449 = srem i64 %445, %448
  %450 = add nsw i64 %449, 1
  %451 = load ptr, ptr %14, align 8, !tbaa !5
  %452 = getelementptr inbounds %struct.CVadjMemRec, ptr %451, i32 0, i32 17
  store i64 %450, ptr %452, align 8, !tbaa !47
  %453 = load i32, ptr %19, align 4, !tbaa !11
  store i32 %453, ptr %7, align 4
  store i32 1, ptr %24, align 4
  br label %454

454:                                              ; preds = %431, %239, %115, %92, %55, %47, %42, %34, %27
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #3
  %455 = load i32, ptr %7, align 4
  ret i32 %455
}

; Function Attrs: nounwind uwtable
declare hidden ptr @CVAckpntInit(ptr noundef) #2

declare i32 @CVodeGetDky(ptr noundef, double noundef, i32 noundef, ptr noundef) #1

declare i32 @CVode(ptr noundef, double noundef, ptr noundef, ptr noundef, i32 noundef) #1

; Function Attrs: nounwind uwtable
declare hidden ptr @CVAckpntNew(ptr noundef) #2

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"double", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{!14, !12, i64 2464}
!14 = !{!"CVodeMemRec", !6, i64 0, !10, i64 8, !6, i64 16, !6, i64 24, !12, i64 32, !12, i64 36, !10, i64 40, !10, i64 48, !6, i64 56, !12, i64 64, !12, i64 68, !6, i64 72, !6, i64 80, !12, i64 88, !12, i64 92, !6, i64 96, !12, i64 104, !12, i64 108, !10, i64 112, !10, i64 120, !6, i64 128, !12, i64 136, !12, i64 140, !12, i64 144, !12, i64 148, !6, i64 152, !6, i64 160, !6, i64 168, !12, i64 176, !12, i64 180, !6, i64 184, !6, i64 192, !6, i64 200, !12, i64 208, !10, i64 216, !12, i64 224, !12, i64 228, !10, i64 232, !6, i64 240, !6, i64 248, !6, i64 256, !12, i64 264, !6, i64 272, !6, i64 280, !12, i64 288, !12, i64 292, !12, i64 296, !10, i64 304, !6, i64 312, !6, i64 320, !6, i64 328, !7, i64 336, !6, i64 440, !6, i64 448, !6, i64 456, !6, i64 464, !6, i64 472, !6, i64 480, !6, i64 488, !6, i64 496, !6, i64 504, !7, i64 512, !6, i64 616, !6, i64 624, !6, i64 632, !6, i64 640, !7, i64 648, !6, i64 752, !6, i64 760, !6, i64 768, !6, i64 776, !6, i64 784, !12, i64 792, !7, i64 800, !6, i64 904, !6, i64 912, !6, i64 920, !6, i64 928, !6, i64 936, !12, i64 944, !10, i64 952, !12, i64 960, !12, i64 964, !12, i64 968, !12, i64 972, !12, i64 976, !10, i64 984, !10, i64 992, !10, i64 1000, !10, i64 1008, !10, i64 1016, !10, i64 1024, !10, i64 1032, !10, i64 1040, !7, i64 1048, !7, i64 1160, !7, i64 1208, !10, i64 1312, !10, i64 1320, !10, i64 1328, !10, i64 1336, !10, i64 1344, !10, i64 1352, !10, i64 1360, !10, i64 1368, !12, i64 1376, !10, i64 1384, !10, i64 1392, !12, i64 1400, !10, i64 1408, !10, i64 1416, !6, i64 1424, !12, i64 1432, !15, i64 1440, !12, i64 1448, !12, i64 1452, !12, i64 1456, !10, i64 1464, !10, i64 1472, !10, i64 1480, !15, i64 1488, !15, i64 1496, !15, i64 1504, !15, i64 1512, !15, i64 1520, !15, i64 1528, !15, i64 1536, !15, i64 1544, !15, i64 1552, !6, i64 1560, !15, i64 1568, !15, i64 1576, !6, i64 1584, !15, i64 1592, !15, i64 1600, !15, i64 1608, !15, i64 1616, !15, i64 1624, !15, i64 1632, !12, i64 1640, !10, i64 1648, !10, i64 1656, !10, i64 1664, !15, i64 1672, !15, i64 1680, !15, i64 1688, !15, i64 1696, !15, i64 1704, !15, i64 1712, !6, i64 1720, !12, i64 1728, !6, i64 1736, !12, i64 1744, !6, i64 1752, !12, i64 1760, !6, i64 1768, !12, i64 1776, !12, i64 1780, !15, i64 1784, !12, i64 1792, !6, i64 1800, !12, i64 1808, !6, i64 1816, !6, i64 1824, !6, i64 1832, !6, i64 1840, !6, i64 1848, !6, i64 1856, !12, i64 1864, !12, i64 1868, !6, i64 1872, !6, i64 1880, !6, i64 1888, !6, i64 1896, !6, i64 1904, !15, i64 1912, !12, i64 1920, !12, i64 1924, !15, i64 1928, !10, i64 1936, !10, i64 1944, !10, i64 1952, !12, i64 1960, !12, i64 1964, !10, i64 1968, !12, i64 1976, !12, i64 1980, !12, i64 1984, !12, i64 1988, !12, i64 1992, !12, i64 1996, !12, i64 2000, !12, i64 2004, !12, i64 2008, !12, i64 2012, !12, i64 2016, !12, i64 2020, !12, i64 2024, !12, i64 2028, !12, i64 2032, !12, i64 2036, !6, i64 2040, !6, i64 2048, !6, i64 2056, !6, i64 2064, !15, i64 2072, !12, i64 2080, !7, i64 2088, !12, i64 2280, !15, i64 2288, !6, i64 2296, !12, i64 2304, !6, i64 2312, !6, i64 2320, !10, i64 2328, !10, i64 2336, !10, i64 2344, !6, i64 2352, !6, i64 2360, !6, i64 2368, !10, i64 2376, !10, i64 2384, !12, i64 2392, !12, i64 2396, !15, i64 2400, !6, i64 2408, !12, i64 2416, !6, i64 2424, !6, i64 2432, !6, i64 2440, !12, i64 2448, !6, i64 2456, !12, i64 2464}
!15 = !{!"long", !7, i64 0}
!16 = !{!14, !6, i64 2456}
!17 = !{!18, !6, i64 120}
!18 = !{!"CVadjMemRec", !10, i64 0, !10, i64 8, !12, i64 16, !12, i64 20, !10, i64 24, !12, i64 32, !10, i64 40, !6, i64 48, !12, i64 56, !6, i64 64, !12, i64 72, !6, i64 80, !12, i64 88, !6, i64 96, !15, i64 104, !15, i64 112, !6, i64 120, !15, i64 128, !12, i64 136, !6, i64 144, !6, i64 152, !6, i64 160, !6, i64 168, !12, i64 176, !12, i64 180, !12, i64 184, !12, i64 188, !7, i64 192, !7, i64 296, !7, i64 400, !6, i64 504, !6, i64 512}
!19 = !{!14, !12, i64 944}
!20 = !{!18, !12, i64 20}
!21 = !{!14, !10, i64 952}
!22 = !{!18, !10, i64 24}
!23 = !{!18, !12, i64 16}
!24 = !{!14, !10, i64 1032}
!25 = !{!18, !10, i64 0}
!26 = !{!18, !6, i64 80}
!27 = !{!18, !12, i64 176}
!28 = !{!14, !12, i64 140}
!29 = !{!18, !12, i64 184}
!30 = !{!18, !6, i64 144}
!31 = distinct !{!31, !32}
!32 = !{!"llvm.loop.mustprogress"}
!33 = distinct !{!33, !32}
!34 = !{!35, !10, i64 0}
!35 = !{!"CkpntMemRec", !10, i64 0, !10, i64 8, !7, i64 16, !12, i64 120, !7, i64 128, !12, i64 232, !12, i64 236, !7, i64 240, !12, i64 344, !7, i64 352, !12, i64 456, !15, i64 464, !10, i64 472, !12, i64 480, !12, i64 484, !12, i64 488, !12, i64 492, !10, i64 496, !10, i64 504, !10, i64 512, !10, i64 520, !10, i64 528, !10, i64 536, !7, i64 544, !7, i64 656, !7, i64 704, !10, i64 808, !6, i64 816}
!36 = !{!37, !10, i64 0}
!37 = !{!"DtpntMemRec", !10, i64 0, !6, i64 8}
!38 = !{!18, !6, i64 160}
!39 = !{!18, !12, i64 32}
!40 = !{!18, !10, i64 40}
!41 = !{!14, !10, i64 992}
!42 = !{!18, !12, i64 88}
!43 = !{!18, !12, i64 180}
!44 = !{!18, !6, i64 96}
!45 = !{!14, !15, i64 1488}
!46 = !{!18, !15, i64 104}
!47 = !{!18, !15, i64 128}
!48 = !{!15, !15, i64 0}
!49 = !{!14, !15, i64 1440}
!50 = !{!35, !10, i64 8}
!51 = !{!35, !6, i64 816}
!52 = !{!14, !12, i64 1920}
!53 = !{!18, !10, i64 8}
!54 = !{!14, !10, i64 1040}


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

@.str = external hidden unnamed_addr constant [7 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [55 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [53 x i8], align 1

declare void @cvProcessError(ptr noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef, ...) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
define dso_local i32 @CVodeF(ptr noundef %0, double noundef %1, ptr noundef %2, ptr noundef %3, i32 noundef %4, ptr nocapture noundef writeonly %5) local_unnamed_addr #1 {
  %7 = icmp eq ptr %0, null
  br i1 %7, label %8, label %9

8:                                                ; preds = %6
  tail call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef null, i32 noundef -21, ptr noundef nonnull @.str, ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.2) #2
  br label %251

9:                                                ; preds = %6
  %10 = getelementptr inbounds i8, ptr %0, i64 2464
  %11 = load i32, ptr %10, align 8, !tbaa !5
  %12 = icmp eq i32 %11, 0
  br i1 %12, label %13, label %14

13:                                               ; preds = %9
  tail call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef nonnull %0, i32 noundef -101, ptr noundef nonnull @.str, ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.7) #2
  br label %251

14:                                               ; preds = %9
  %15 = getelementptr inbounds i8, ptr %0, i64 2456
  %16 = load ptr, ptr %15, align 8, !tbaa !13
  %17 = icmp eq ptr %2, null
  br i1 %17, label %18, label %19

18:                                               ; preds = %14
  tail call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef nonnull %0, i32 noundef -22, ptr noundef nonnull @.str, ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.9) #2
  br label %251

19:                                               ; preds = %14
  %20 = icmp eq ptr %3, null
  br i1 %20, label %21, label %22

21:                                               ; preds = %19
  tail call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef nonnull %0, i32 noundef -22, ptr noundef nonnull @.str, ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.10) #2
  br label %251

22:                                               ; preds = %19
  %23 = add i32 %4, -3
  %or.cond = icmp ult i32 %23, -2
  br i1 %or.cond, label %24, label %25

24:                                               ; preds = %22
  tail call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef nonnull %0, i32 noundef -22, ptr noundef nonnull @.str, ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.11) #2
  br label %251

25:                                               ; preds = %22
  %26 = getelementptr inbounds i8, ptr %16, i64 120
  %27 = load ptr, ptr %26, align 8, !tbaa !14
  %28 = getelementptr inbounds i8, ptr %0, i64 944
  %29 = load i32, ptr %28, align 8, !tbaa !16
  %.not = icmp eq i32 %29, 0
  br i1 %.not, label %35, label %30

30:                                               ; preds = %25
  %31 = getelementptr inbounds i8, ptr %16, i64 20
  store i32 1, ptr %31, align 4, !tbaa !17
  %32 = getelementptr inbounds i8, ptr %0, i64 952
  %33 = load double, ptr %32, align 8, !tbaa !18
  %34 = getelementptr inbounds i8, ptr %16, i64 24
  store double %33, ptr %34, align 8, !tbaa !19
  br label %35

35:                                               ; preds = %30, %25
  %36 = getelementptr inbounds i8, ptr %16, i64 16
  %37 = load i32, ptr %36, align 8, !tbaa !20
  %.not164 = icmp eq i32 %37, 0
  br i1 %.not164, label %145, label %38

38:                                               ; preds = %35
  %39 = getelementptr inbounds i8, ptr %0, i64 1032
  %40 = load double, ptr %39, align 8, !tbaa !21
  store double %40, ptr %16, align 8, !tbaa !22
  %41 = tail call ptr @CVAckpntInit(ptr noundef nonnull %0)
  %42 = getelementptr inbounds i8, ptr %16, i64 80
  store ptr %41, ptr %42, align 8, !tbaa !23
  %43 = icmp eq ptr %41, null
  br i1 %43, label %44, label %45

44:                                               ; preds = %38
  tail call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef nonnull %0, i32 noundef -20, ptr noundef nonnull @.str, ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.5) #2
  br label %251

45:                                               ; preds = %38
  %46 = getelementptr inbounds i8, ptr %16, i64 176
  %47 = load i32, ptr %46, align 8, !tbaa !24
  %.not168 = icmp eq i32 %47, 0
  br i1 %.not168, label %48, label %138

48:                                               ; preds = %45
  %49 = getelementptr inbounds i8, ptr %0, i64 140
  %50 = load i32, ptr %49, align 4, !tbaa !25
  %.not169 = icmp eq i32 %50, 0
  br i1 %.not169, label %51, label %53

51:                                               ; preds = %48
  %52 = getelementptr inbounds i8, ptr %16, i64 184
  store i32 0, ptr %52, align 8, !tbaa !26
  br label %53

53:                                               ; preds = %51, %48
  %54 = getelementptr inbounds i8, ptr %16, i64 144
  %55 = load ptr, ptr %54, align 8, !tbaa !27
  %56 = tail call i32 %55(ptr noundef nonnull %0) #2
  %.not170 = icmp eq i32 %56, 0
  br i1 %.not170, label %98, label %.preheader178

.preheader178:                                    ; preds = %53
  %57 = getelementptr inbounds i8, ptr %0, i64 336
  %58 = getelementptr inbounds i8, ptr %16, i64 192
  %59 = load ptr, ptr %57, align 8, !tbaa !28
  store ptr %59, ptr %58, align 8, !tbaa !28
  %60 = getelementptr inbounds i8, ptr %0, i64 344
  %61 = load ptr, ptr %60, align 8, !tbaa !28
  %62 = getelementptr inbounds i8, ptr %16, i64 200
  store ptr %61, ptr %62, align 8, !tbaa !28
  %63 = getelementptr inbounds i8, ptr %0, i64 352
  %64 = load ptr, ptr %63, align 8, !tbaa !28
  %65 = getelementptr inbounds i8, ptr %16, i64 208
  store ptr %64, ptr %65, align 8, !tbaa !28
  %66 = getelementptr inbounds i8, ptr %0, i64 360
  %67 = load ptr, ptr %66, align 8, !tbaa !28
  %68 = getelementptr inbounds i8, ptr %16, i64 216
  store ptr %67, ptr %68, align 8, !tbaa !28
  %69 = getelementptr inbounds i8, ptr %0, i64 368
  %70 = load ptr, ptr %69, align 8, !tbaa !28
  %71 = getelementptr inbounds i8, ptr %16, i64 224
  store ptr %70, ptr %71, align 8, !tbaa !28
  %72 = getelementptr inbounds i8, ptr %0, i64 376
  %73 = load ptr, ptr %72, align 8, !tbaa !28
  %74 = getelementptr inbounds i8, ptr %16, i64 232
  store ptr %73, ptr %74, align 8, !tbaa !28
  %75 = getelementptr inbounds i8, ptr %0, i64 384
  %76 = load ptr, ptr %75, align 8, !tbaa !28
  %77 = getelementptr inbounds i8, ptr %16, i64 240
  store ptr %76, ptr %77, align 8, !tbaa !28
  %78 = getelementptr inbounds i8, ptr %0, i64 392
  %79 = load ptr, ptr %78, align 8, !tbaa !28
  %80 = getelementptr inbounds i8, ptr %16, i64 248
  store ptr %79, ptr %80, align 8, !tbaa !28
  %81 = getelementptr inbounds i8, ptr %0, i64 400
  %82 = load ptr, ptr %81, align 8, !tbaa !28
  %83 = getelementptr inbounds i8, ptr %16, i64 256
  store ptr %82, ptr %83, align 8, !tbaa !28
  %84 = getelementptr inbounds i8, ptr %0, i64 408
  %85 = load ptr, ptr %84, align 8, !tbaa !28
  %86 = getelementptr inbounds i8, ptr %16, i64 264
  store ptr %85, ptr %86, align 8, !tbaa !28
  %87 = getelementptr inbounds i8, ptr %0, i64 416
  %88 = load ptr, ptr %87, align 8, !tbaa !28
  %89 = getelementptr inbounds i8, ptr %16, i64 272
  store ptr %88, ptr %89, align 8, !tbaa !28
  %90 = getelementptr inbounds i8, ptr %0, i64 424
  %91 = load ptr, ptr %90, align 8, !tbaa !28
  %92 = getelementptr inbounds i8, ptr %16, i64 280
  store ptr %91, ptr %92, align 8, !tbaa !28
  %93 = getelementptr inbounds i8, ptr %0, i64 432
  %94 = load ptr, ptr %93, align 8, !tbaa !28
  %95 = getelementptr inbounds i8, ptr %16, i64 288
  store ptr %94, ptr %95, align 8, !tbaa !28
  %96 = getelementptr inbounds i8, ptr %16, i64 184
  %97 = load i32, ptr %96, align 8, !tbaa !26
  %.not171 = icmp eq i32 %97, 0
  br i1 %.not171, label %.loopexit177, label %.preheader

98:                                               ; preds = %53
  tail call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef nonnull %0, i32 noundef -20, ptr noundef nonnull @.str, ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.5) #2
  br label %251

.preheader:                                       ; preds = %.preheader178
  %99 = getelementptr inbounds i8, ptr %0, i64 648
  %100 = getelementptr inbounds i8, ptr %16, i64 296
  %101 = load ptr, ptr %99, align 8, !tbaa !28
  store ptr %101, ptr %100, align 8, !tbaa !28
  %102 = getelementptr inbounds i8, ptr %0, i64 656
  %103 = load ptr, ptr %102, align 8, !tbaa !28
  %104 = getelementptr inbounds i8, ptr %16, i64 304
  store ptr %103, ptr %104, align 8, !tbaa !28
  %105 = getelementptr inbounds i8, ptr %0, i64 664
  %106 = load ptr, ptr %105, align 8, !tbaa !28
  %107 = getelementptr inbounds i8, ptr %16, i64 312
  store ptr %106, ptr %107, align 8, !tbaa !28
  %108 = getelementptr inbounds i8, ptr %0, i64 672
  %109 = load ptr, ptr %108, align 8, !tbaa !28
  %110 = getelementptr inbounds i8, ptr %16, i64 320
  store ptr %109, ptr %110, align 8, !tbaa !28
  %111 = getelementptr inbounds i8, ptr %0, i64 680
  %112 = load ptr, ptr %111, align 8, !tbaa !28
  %113 = getelementptr inbounds i8, ptr %16, i64 328
  store ptr %112, ptr %113, align 8, !tbaa !28
  %114 = getelementptr inbounds i8, ptr %0, i64 688
  %115 = load ptr, ptr %114, align 8, !tbaa !28
  %116 = getelementptr inbounds i8, ptr %16, i64 336
  store ptr %115, ptr %116, align 8, !tbaa !28
  %117 = getelementptr inbounds i8, ptr %0, i64 696
  %118 = load ptr, ptr %117, align 8, !tbaa !28
  %119 = getelementptr inbounds i8, ptr %16, i64 344
  store ptr %118, ptr %119, align 8, !tbaa !28
  %120 = getelementptr inbounds i8, ptr %0, i64 704
  %121 = load ptr, ptr %120, align 8, !tbaa !28
  %122 = getelementptr inbounds i8, ptr %16, i64 352
  store ptr %121, ptr %122, align 8, !tbaa !28
  %123 = getelementptr inbounds i8, ptr %0, i64 712
  %124 = load ptr, ptr %123, align 8, !tbaa !28
  %125 = getelementptr inbounds i8, ptr %16, i64 360
  store ptr %124, ptr %125, align 8, !tbaa !28
  %126 = getelementptr inbounds i8, ptr %0, i64 720
  %127 = load ptr, ptr %126, align 8, !tbaa !28
  %128 = getelementptr inbounds i8, ptr %16, i64 368
  store ptr %127, ptr %128, align 8, !tbaa !28
  %129 = getelementptr inbounds i8, ptr %0, i64 728
  %130 = load ptr, ptr %129, align 8, !tbaa !28
  %131 = getelementptr inbounds i8, ptr %16, i64 376
  store ptr %130, ptr %131, align 8, !tbaa !28
  %132 = getelementptr inbounds i8, ptr %0, i64 736
  %133 = load ptr, ptr %132, align 8, !tbaa !28
  %134 = getelementptr inbounds i8, ptr %16, i64 384
  store ptr %133, ptr %134, align 8, !tbaa !28
  %135 = getelementptr inbounds i8, ptr %0, i64 744
  %136 = load ptr, ptr %135, align 8, !tbaa !28
  %137 = getelementptr inbounds i8, ptr %16, i64 392
  store ptr %136, ptr %137, align 8, !tbaa !28
  br label %.loopexit177

.loopexit177:                                     ; preds = %.preheader, %.preheader178
  store i32 1, ptr %46, align 8, !tbaa !24
  %.pre = load ptr, ptr %42, align 8, !tbaa !23
  br label %138

138:                                              ; preds = %.loopexit177, %45
  %139 = phi ptr [ %.pre, %.loopexit177 ], [ %41, %45 ]
  %140 = load double, ptr %139, align 8, !tbaa !29
  %141 = load ptr, ptr %27, align 8, !tbaa !28
  store double %140, ptr %141, align 8, !tbaa !31
  %142 = getelementptr inbounds i8, ptr %16, i64 160
  %143 = load ptr, ptr %142, align 8, !tbaa !33
  %144 = tail call i32 %143(ptr noundef nonnull %0, ptr noundef nonnull %141) #2
  store i32 0, ptr %36, align 8, !tbaa !20
  br label %178

145:                                              ; preds = %35
  %146 = icmp eq i32 %4, 1
  br i1 %146, label %147, label %178

147:                                              ; preds = %145
  %148 = getelementptr inbounds i8, ptr %16, i64 32
  %149 = load i32, ptr %148, align 8, !tbaa !34
  %.not165 = icmp eq i32 %149, 0
  %150 = getelementptr inbounds i8, ptr %16, i64 40
  %151 = getelementptr inbounds i8, ptr %0, i64 1032
  %.in = select i1 %.not165, ptr %151, ptr %150
  %152 = load double, ptr %.in, align 8, !tbaa !35
  %153 = fsub double %152, %1
  %154 = getelementptr inbounds i8, ptr %0, i64 992
  %155 = load double, ptr %154, align 8, !tbaa !36
  %156 = fmul double %153, %155
  %157 = fcmp ult double %156, 0.000000e+00
  br i1 %157, label %160, label %158

158:                                              ; preds = %147
  store double %1, ptr %3, align 8, !tbaa !35
  %159 = tail call i32 @CVodeGetDky(ptr noundef nonnull %0, double noundef %1, i32 noundef 0, ptr noundef nonnull %2) #2
  br label %164

160:                                              ; preds = %147
  br i1 %.not165, label %178, label %161

161:                                              ; preds = %160
  %162 = load double, ptr %150, align 8, !tbaa !37
  store double %162, ptr %3, align 8, !tbaa !35
  %163 = tail call i32 @CVodeGetDky(ptr noundef nonnull %0, double noundef %162, i32 noundef 0, ptr noundef nonnull %2) #2
  store i32 0, ptr %148, align 8, !tbaa !34
  br label %164

164:                                              ; preds = %158, %161
  %.0154.ph = phi i32 [ 2, %161 ], [ %159, %158 ]
  %165 = getelementptr inbounds i8, ptr %16, i64 88
  %166 = load i32, ptr %165, align 8, !tbaa !38
  store i32 %166, ptr %5, align 4, !tbaa !39
  %167 = getelementptr inbounds i8, ptr %16, i64 180
  store i32 1, ptr %167, align 4, !tbaa !40
  %168 = getelementptr inbounds i8, ptr %16, i64 80
  %169 = load ptr, ptr %168, align 8, !tbaa !23
  %170 = getelementptr inbounds i8, ptr %16, i64 96
  store ptr %169, ptr %170, align 8, !tbaa !41
  %171 = getelementptr inbounds i8, ptr %0, i64 1488
  %172 = load i64, ptr %171, align 8, !tbaa !42
  %173 = getelementptr inbounds i8, ptr %16, i64 104
  %174 = load i64, ptr %173, align 8, !tbaa !43
  %175 = srem i64 %172, %174
  %176 = add nsw i64 %175, 1
  %177 = getelementptr inbounds i8, ptr %16, i64 128
  store i64 %176, ptr %177, align 8, !tbaa !44
  br label %251

178:                                              ; preds = %160, %145, %138
  %179 = getelementptr inbounds i8, ptr %0, i64 1440
  %180 = getelementptr inbounds i8, ptr %0, i64 1488
  %181 = getelementptr inbounds i8, ptr %16, i64 104
  %182 = getelementptr inbounds i8, ptr %0, i64 1032
  %183 = getelementptr inbounds i8, ptr %16, i64 160
  %184 = getelementptr inbounds i8, ptr %16, i64 80
  %185 = getelementptr inbounds i8, ptr %16, i64 88
  %186 = getelementptr inbounds i8, ptr %0, i64 1920
  %187 = getelementptr inbounds i8, ptr %16, i64 8
  %188 = icmp eq i32 %4, 2
  %189 = getelementptr inbounds i8, ptr %0, i64 992
  br label %190

190:                                              ; preds = %240, %178
  %.0152 = phi i64 [ 0, %178 ], [ %199, %240 ]
  %191 = load i64, ptr %179, align 8, !tbaa !45
  %192 = icmp slt i64 %191, 1
  %.not172 = icmp slt i64 %.0152, %191
  %or.cond173 = select i1 %192, i1 true, i1 %.not172
  br i1 %or.cond173, label %195, label %193

193:                                              ; preds = %190
  %194 = load double, ptr %182, align 8, !tbaa !21
  tail call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef nonnull %0, i32 noundef -1, ptr noundef nonnull @.str, ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.12, double noundef %194) #2
  br label %.loopexit

195:                                              ; preds = %190
  %196 = tail call i32 @CVode(ptr noundef nonnull %0, double noundef %1, ptr noundef nonnull %2, ptr noundef nonnull %3, i32 noundef 2) #2
  %197 = icmp slt i32 %196, 0
  br i1 %197, label %.loopexit, label %198

198:                                              ; preds = %195
  %199 = add nuw nsw i64 %.0152, 1
  %200 = load i64, ptr %180, align 8, !tbaa !42
  %201 = load i64, ptr %181, align 8, !tbaa !43
  %202 = srem i64 %200, %201
  %203 = icmp eq i64 %202, 0
  %204 = load double, ptr %182, align 8, !tbaa !21
  br i1 %203, label %205, label %217

205:                                              ; preds = %198
  %206 = load ptr, ptr %184, align 8, !tbaa !23
  %207 = getelementptr inbounds i8, ptr %206, i64 8
  store double %204, ptr %207, align 8, !tbaa !46
  %208 = tail call ptr @CVAckpntNew(ptr noundef nonnull %0)
  %209 = icmp eq ptr %208, null
  br i1 %209, label %210, label %211

210:                                              ; preds = %205
  tail call void (ptr, i32, ptr, ptr, ptr, ...) @cvProcessError(ptr noundef nonnull %0, i32 noundef -20, ptr noundef nonnull @.str, ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.5) #2
  br label %.loopexit

211:                                              ; preds = %205
  %212 = load ptr, ptr %184, align 8, !tbaa !23
  %213 = getelementptr inbounds i8, ptr %208, i64 816
  store ptr %212, ptr %213, align 8, !tbaa !47
  store ptr %208, ptr %184, align 8, !tbaa !23
  %214 = load i32, ptr %185, align 8, !tbaa !38
  %215 = add nsw i32 %214, 1
  store i32 %215, ptr %185, align 8, !tbaa !38
  store i32 1, ptr %186, align 8, !tbaa !48
  %216 = load double, ptr %208, align 8, !tbaa !29
  br label %219

217:                                              ; preds = %198
  %218 = getelementptr inbounds ptr, ptr %27, i64 %202
  br label %219

219:                                              ; preds = %217, %211
  %.sink195 = phi ptr [ %218, %217 ], [ %27, %211 ]
  %.sink193 = phi double [ %204, %217 ], [ %216, %211 ]
  %220 = load ptr, ptr %.sink195, align 8, !tbaa !28
  store double %.sink193, ptr %220, align 8, !tbaa !31
  %221 = load ptr, ptr %183, align 8, !tbaa !33
  %222 = tail call i32 %221(ptr noundef nonnull %0, ptr noundef nonnull %220) #2
  %223 = load double, ptr %182, align 8, !tbaa !21
  %224 = load ptr, ptr %184, align 8, !tbaa !23
  %225 = getelementptr inbounds i8, ptr %224, i64 8
  store double %223, ptr %225, align 8, !tbaa !46
  store double %223, ptr %187, align 8, !tbaa !49
  br i1 %188, label %.loopexit, label %226

226:                                              ; preds = %219
  %227 = load double, ptr %3, align 8, !tbaa !35
  %228 = fsub double %227, %1
  %229 = load double, ptr %189, align 8, !tbaa !36
  %230 = fmul double %228, %229
  %231 = fcmp ult double %230, 0.000000e+00
  br i1 %231, label %240, label %232

232:                                              ; preds = %226
  %233 = icmp eq i32 %196, 2
  br i1 %233, label %234, label %237

234:                                              ; preds = %232
  %235 = getelementptr inbounds i8, ptr %16, i64 32
  store i32 1, ptr %235, align 8, !tbaa !34
  %236 = getelementptr inbounds i8, ptr %16, i64 40
  store double %227, ptr %236, align 8, !tbaa !37
  br label %237

237:                                              ; preds = %234, %232
  store double %1, ptr %3, align 8, !tbaa !35
  %238 = tail call i32 @CVodeGetDky(ptr noundef nonnull %0, double noundef %1, i32 noundef 0, ptr noundef nonnull %2) #2
  %239 = getelementptr inbounds i8, ptr %0, i64 1040
  store double %1, ptr %239, align 8, !tbaa !50
  br label %.loopexit

240:                                              ; preds = %226
  %241 = add nsw i32 %196, -1
  %or.cond3 = icmp ult i32 %241, 2
  br i1 %or.cond3, label %.loopexit, label %190

.loopexit:                                        ; preds = %240, %219, %195, %237, %210, %193
  %.1155 = phi i32 [ -1, %193 ], [ -20, %210 ], [ %238, %237 ], [ %196, %195 ], [ %196, %219 ], [ %196, %240 ]
  %242 = load i32, ptr %185, align 8, !tbaa !38
  store i32 %242, ptr %5, align 4, !tbaa !39
  %243 = getelementptr inbounds i8, ptr %16, i64 180
  store i32 1, ptr %243, align 4, !tbaa !40
  %244 = load ptr, ptr %184, align 8, !tbaa !23
  %245 = getelementptr inbounds i8, ptr %16, i64 96
  store ptr %244, ptr %245, align 8, !tbaa !41
  %246 = load i64, ptr %180, align 8, !tbaa !42
  %247 = load i64, ptr %181, align 8, !tbaa !43
  %248 = srem i64 %246, %247
  %249 = add nsw i64 %248, 1
  %250 = getelementptr inbounds i8, ptr %16, i64 128
  store i64 %249, ptr %250, align 8, !tbaa !44
  br label %251

251:                                              ; preds = %.loopexit, %164, %98, %44, %24, %21, %18, %13, %8
  %.0 = phi i32 [ -21, %8 ], [ -101, %13 ], [ -22, %18 ], [ -22, %21 ], [ -22, %24 ], [ -20, %44 ], [ %.1155, %.loopexit ], [ -20, %98 ], [ %.0154.ph, %164 ]
  ret i32 %.0
}

; Function Attrs: nounwind uwtable
declare hidden ptr @CVAckpntInit(ptr noundef) local_unnamed_addr #1

declare i32 @CVodeGetDky(ptr noundef, double noundef, i32 noundef, ptr noundef) local_unnamed_addr #0

declare i32 @CVode(ptr noundef, double noundef, ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare hidden ptr @CVAckpntNew(ptr noundef) local_unnamed_addr #1

attributes #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 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { 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, !11, i64 2464}
!6 = !{!"CVodeMemRec", !7, i64 0, !10, i64 8, !7, i64 16, !7, i64 24, !11, i64 32, !11, i64 36, !10, i64 40, !10, i64 48, !7, i64 56, !11, i64 64, !11, i64 68, !7, i64 72, !7, i64 80, !11, i64 88, !11, i64 92, !7, i64 96, !11, i64 104, !11, i64 108, !10, i64 112, !10, i64 120, !7, i64 128, !11, i64 136, !11, i64 140, !11, i64 144, !11, i64 148, !7, i64 152, !7, i64 160, !7, i64 168, !11, i64 176, !11, i64 180, !7, i64 184, !7, i64 192, !7, i64 200, !11, i64 208, !10, i64 216, !11, i64 224, !11, i64 228, !10, i64 232, !7, i64 240, !7, i64 248, !7, i64 256, !11, i64 264, !7, i64 272, !7, i64 280, !11, i64 288, !11, i64 292, !11, i64 296, !10, i64 304, !7, i64 312, !7, i64 320, !7, i64 328, !8, i64 336, !7, i64 440, !7, i64 448, !7, i64 456, !7, i64 464, !7, i64 472, !7, i64 480, !7, i64 488, !7, i64 496, !7, i64 504, !8, i64 512, !7, i64 616, !7, i64 624, !7, i64 632, !7, i64 640, !8, i64 648, !7, i64 752, !7, i64 760, !7, i64 768, !7, i64 776, !7, i64 784, !11, i64 792, !8, i64 800, !7, i64 904, !7, i64 912, !7, i64 920, !7, i64 928, !7, i64 936, !11, i64 944, !10, i64 952, !11, i64 960, !11, i64 964, !11, i64 968, !11, i64 972, !11, i64 976, !10, i64 984, !10, i64 992, !10, i64 1000, !10, i64 1008, !10, i64 1016, !10, i64 1024, !10, i64 1032, !10, i64 1040, !8, i64 1048, !8, i64 1160, !8, i64 1208, !10, i64 1312, !10, i64 1320, !10, i64 1328, !10, i64 1336, !10, i64 1344, !10, i64 1352, !10, i64 1360, !10, i64 1368, !11, i64 1376, !10, i64 1384, !10, i64 1392, !11, i64 1400, !10, i64 1408, !10, i64 1416, !7, i64 1424, !11, i64 1432, !12, i64 1440, !11, i64 1448, !11, i64 1452, !11, i64 1456, !10, i64 1464, !10, i64 1472, !10, i64 1480, !12, i64 1488, !12, i64 1496, !12, i64 1504, !12, i64 1512, !12, i64 1520, !12, i64 1528, !12, i64 1536, !12, i64 1544, !12, i64 1552, !7, i64 1560, !12, i64 1568, !12, i64 1576, !7, i64 1584, !12, i64 1592, !12, i64 1600, !12, i64 1608, !12, i64 1616, !12, i64 1624, !12, i64 1632, !11, i64 1640, !10, i64 1648, !10, i64 1656, !10, i64 1664, !12, i64 1672, !12, i64 1680, !12, i64 1688, !12, i64 1696, !12, i64 1704, !12, i64 1712, !7, i64 1720, !11, i64 1728, !7, i64 1736, !11, i64 1744, !7, i64 1752, !11, i64 1760, !7, i64 1768, !11, i64 1776, !11, i64 1780, !12, i64 1784, !11, i64 1792, !7, i64 1800, !11, i64 1808, !7, i64 1816, !7, i64 1824, !7, i64 1832, !7, i64 1840, !7, i64 1848, !7, i64 1856, !11, i64 1864, !11, i64 1868, !7, i64 1872, !7, i64 1880, !7, i64 1888, !7, i64 1896, !7, i64 1904, !12, i64 1912, !11, i64 1920, !11, i64 1924, !12, i64 1928, !10, i64 1936, !10, i64 1944, !10, i64 1952, !11, i64 1960, !11, i64 1964, !10, i64 1968, !11, i64 1976, !11, i64 1980, !11, i64 1984, !11, i64 1988, !11, i64 1992, !11, i64 1996, !11, i64 2000, !11, i64 2004, !11, i64 2008, !11, i64 2012, !11, i64 2016, !11, i64 2020, !11, i64 2024, !11, i64 2028, !11, i64 2032, !11, i64 2036, !7, i64 2040, !7, i64 2048, !7, i64 2056, !7, i64 2064, !12, i64 2072, !11, i64 2080, !8, i64 2088, !11, i64 2280, !12, i64 2288, !7, i64 2296, !11, i64 2304, !7, i64 2312, !7, i64 2320, !10, i64 2328, !10, i64 2336, !10, i64 2344, !7, i64 2352, !7, i64 2360, !7, i64 2368, !10, i64 2376, !10, i64 2384, !11, i64 2392, !11, i64 2396, !12, i64 2400, !7, i64 2408, !11, i64 2416, !7, i64 2424, !7, i64 2432, !7, i64 2440, !11, i64 2448, !7, i64 2456, !11, i64 2464}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"double", !8, i64 0}
!11 = !{!"int", !8, i64 0}
!12 = !{!"long", !8, i64 0}
!13 = !{!6, !7, i64 2456}
!14 = !{!15, !7, i64 120}
!15 = !{!"CVadjMemRec", !10, i64 0, !10, i64 8, !11, i64 16, !11, i64 20, !10, i64 24, !11, i64 32, !10, i64 40, !7, i64 48, !11, i64 56, !7, i64 64, !11, i64 72, !7, i64 80, !11, i64 88, !7, i64 96, !12, i64 104, !12, i64 112, !7, i64 120, !12, i64 128, !11, i64 136, !7, i64 144, !7, i64 152, !7, i64 160, !7, i64 168, !11, i64 176, !11, i64 180, !11, i64 184, !11, i64 188, !8, i64 192, !8, i64 296, !8, i64 400, !7, i64 504, !7, i64 512}
!16 = !{!6, !11, i64 944}
!17 = !{!15, !11, i64 20}
!18 = !{!6, !10, i64 952}
!19 = !{!15, !10, i64 24}
!20 = !{!15, !11, i64 16}
!21 = !{!6, !10, i64 1032}
!22 = !{!15, !10, i64 0}
!23 = !{!15, !7, i64 80}
!24 = !{!15, !11, i64 176}
!25 = !{!6, !11, i64 140}
!26 = !{!15, !11, i64 184}
!27 = !{!15, !7, i64 144}
!28 = !{!7, !7, i64 0}
!29 = !{!30, !10, i64 0}
!30 = !{!"CkpntMemRec", !10, i64 0, !10, i64 8, !8, i64 16, !11, i64 120, !8, i64 128, !11, i64 232, !11, i64 236, !8, i64 240, !11, i64 344, !8, i64 352, !11, i64 456, !12, i64 464, !10, i64 472, !11, i64 480, !11, i64 484, !11, i64 488, !11, i64 492, !10, i64 496, !10, i64 504, !10, i64 512, !10, i64 520, !10, i64 528, !10, i64 536, !8, i64 544, !8, i64 656, !8, i64 704, !10, i64 808, !7, i64 816}
!31 = !{!32, !10, i64 0}
!32 = !{!"DtpntMemRec", !10, i64 0, !7, i64 8}
!33 = !{!15, !7, i64 160}
!34 = !{!15, !11, i64 32}
!35 = !{!10, !10, i64 0}
!36 = !{!6, !10, i64 992}
!37 = !{!15, !10, i64 40}
!38 = !{!15, !11, i64 88}
!39 = !{!11, !11, i64 0}
!40 = !{!15, !11, i64 180}
!41 = !{!15, !7, i64 96}
!42 = !{!6, !12, i64 1488}
!43 = !{!15, !12, i64 104}
!44 = !{!15, !12, i64 128}
!45 = !{!6, !12, i64 1440}
!46 = !{!30, !10, i64 8}
!47 = !{!30, !7, i64 816}
!48 = !{!6, !11, i64 1920}
!49 = !{!15, !10, i64 8}
!50 = !{!6, !10, i64 1040}


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