; LLVM IR from softmin/ReHLine-SVM :: liblinear (linear)

; 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.model = type { %struct.parameter, i32, i32, ptr, ptr, double, double }
%struct.parameter = type { i32, double, double, i32, ptr, ptr, double, double, ptr, i32 }

@stderr = external global ptr, align 8
@.str.8 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [2 x i8], align 1
@_ZL17solver_type_table = external hidden global [23 x ptr], align 16
@.str.12 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [5 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

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

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

; Function Attrs: nounwind
declare i32 @fprintf(ptr noundef, ptr noundef, ...) #2

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

declare noalias ptr @fopen(ptr noundef, ptr noundef) #3

; Function Attrs: nounwind
declare ptr @setlocale(i32 noundef, ptr noundef) #2

; Function Attrs: nounwind
declare noalias ptr @strdup(ptr noundef) #2

; Function Attrs: nounwind
declare i32 @ferror(ptr noundef) #2

declare i32 @fclose(ptr noundef) #3

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

26:                                               ; preds = %1
  store ptr null, ptr %2, align 8
  store i32 1, ptr %5, align 4
  br label %405

27:                                               ; preds = %1
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #6
  %28 = call noalias ptr @malloc(i64 noundef 120) #7
  store ptr %28, ptr %12, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #6
  %29 = load ptr, ptr %12, align 8, !tbaa !5
  %30 = getelementptr inbounds %struct.model, ptr %29, i32 0, i32 0
  store ptr %30, ptr %13, align 8, !tbaa !5
  %31 = load ptr, ptr %13, align 8, !tbaa !5
  %32 = getelementptr inbounds %struct.parameter, ptr %31, i32 0, i32 3
  store i32 0, ptr %32, align 8, !tbaa !9
  %33 = load ptr, ptr %13, align 8, !tbaa !5
  %34 = getelementptr inbounds %struct.parameter, ptr %33, i32 0, i32 4
  store ptr null, ptr %34, align 8, !tbaa !13
  %35 = load ptr, ptr %13, align 8, !tbaa !5
  %36 = getelementptr inbounds %struct.parameter, ptr %35, i32 0, i32 5
  store ptr null, ptr %36, align 8, !tbaa !14
  %37 = load ptr, ptr %13, align 8, !tbaa !5
  %38 = getelementptr inbounds %struct.parameter, ptr %37, i32 0, i32 8
  store ptr null, ptr %38, align 8, !tbaa !15
  %39 = load ptr, ptr %12, align 8, !tbaa !5
  %40 = getelementptr inbounds %struct.model, ptr %39, i32 0, i32 4
  store ptr null, ptr %40, align 8, !tbaa !16
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #6
  %41 = call ptr @setlocale(i32 noundef 6, ptr noundef null) #6
  store ptr %41, ptr %14, align 8, !tbaa !5
  %42 = load ptr, ptr %14, align 8, !tbaa !5
  %43 = icmp ne ptr %42, null
  br i1 %43, label %44, label %47

44:                                               ; preds = %27
  %45 = load ptr, ptr %14, align 8, !tbaa !5
  %46 = call noalias ptr @strdup(ptr noundef %45) #6
  store ptr %46, ptr %14, align 8, !tbaa !5
  br label %47

47:                                               ; preds = %44, %27
  %48 = call ptr @setlocale(i32 noundef 6, ptr noundef @.str.9) #6
  call void @llvm.lifetime.start.p0(i64 81, ptr %15) #6
  br label %49

49:                                               ; preds = %307, %47
  br label %50

50:                                               ; preds = %49
  br label %51

51:                                               ; preds = %50
  %52 = load ptr, ptr %4, align 8, !tbaa !5
  %53 = getelementptr inbounds [81 x i8], ptr %15, i64 0, i64 0
  %54 = call i32 (ptr, ptr, ...) @__isoc99_fscanf(ptr noundef %52, ptr noundef @.str.21, ptr noundef %53)
  %55 = icmp ne i32 %54, 1
  br i1 %55, label %56, label %66

56:                                               ; preds = %51
  %57 = load ptr, ptr @stderr, align 8, !tbaa !5
  %58 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %57, ptr noundef @.str.22) #6
  %59 = load ptr, ptr %14, align 8, !tbaa !5
  %60 = call ptr @setlocale(i32 noundef 6, ptr noundef %59) #6
  %61 = load ptr, ptr %12, align 8, !tbaa !5
  %62 = getelementptr inbounds %struct.model, ptr %61, i32 0, i32 4
  %63 = load ptr, ptr %62, align 8, !tbaa !16
  call void @free(ptr noundef %63) #6
  %64 = load ptr, ptr %12, align 8, !tbaa !5
  call void @free(ptr noundef %64) #6
  %65 = load ptr, ptr %14, align 8, !tbaa !5
  call void @free(ptr noundef %65) #6
  store ptr null, ptr %2, align 8
  store i32 1, ptr %5, align 4
  br label %404

66:                                               ; preds = %51
  br label %67

67:                                               ; preds = %66
  br label %68

68:                                               ; preds = %67
  %69 = getelementptr inbounds [81 x i8], ptr %15, i64 0, i64 0
  %70 = call i32 @strcmp(ptr noundef %69, ptr noundef @.str.23) #8
  %71 = icmp eq i32 %70, 0
  br i1 %71, label %72, label %133

72:                                               ; preds = %68
  br label %73

73:                                               ; preds = %72
  %74 = load ptr, ptr %4, align 8, !tbaa !5
  %75 = getelementptr inbounds [81 x i8], ptr %15, i64 0, i64 0
  %76 = call i32 (ptr, ptr, ...) @__isoc99_fscanf(ptr noundef %74, ptr noundef @.str.21, ptr noundef %75)
  %77 = icmp ne i32 %76, 1
  br i1 %77, label %78, label %88

78:                                               ; preds = %73
  %79 = load ptr, ptr @stderr, align 8, !tbaa !5
  %80 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %79, ptr noundef @.str.22) #6
  %81 = load ptr, ptr %14, align 8, !tbaa !5
  %82 = call ptr @setlocale(i32 noundef 6, ptr noundef %81) #6
  %83 = load ptr, ptr %12, align 8, !tbaa !5
  %84 = getelementptr inbounds %struct.model, ptr %83, i32 0, i32 4
  %85 = load ptr, ptr %84, align 8, !tbaa !16
  call void @free(ptr noundef %85) #6
  %86 = load ptr, ptr %12, align 8, !tbaa !5
  call void @free(ptr noundef %86) #6
  %87 = load ptr, ptr %14, align 8, !tbaa !5
  call void @free(ptr noundef %87) #6
  store ptr null, ptr %2, align 8
  store i32 1, ptr %5, align 4
  br label %404

88:                                               ; preds = %73
  br label %89

89:                                               ; preds = %88
  br label %90

90:                                               ; preds = %89
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #6
  store i32 0, ptr %16, align 4, !tbaa !18
  br label %91

91:                                               ; preds = %110, %90
  %92 = load i32, ptr %16, align 4, !tbaa !18
  %93 = sext i32 %92 to i64
  %94 = getelementptr inbounds [23 x ptr], ptr @_ZL17solver_type_table, i64 0, i64 %93
  %95 = load ptr, ptr %94, align 8, !tbaa !5
  %96 = icmp ne ptr %95, null
  br i1 %96, label %97, label %113

97:                                               ; preds = %91
  %98 = load i32, ptr %16, align 4, !tbaa !18
  %99 = sext i32 %98 to i64
  %100 = getelementptr inbounds [23 x ptr], ptr @_ZL17solver_type_table, i64 0, i64 %99
  %101 = load ptr, ptr %100, align 8, !tbaa !5
  %102 = getelementptr inbounds [81 x i8], ptr %15, i64 0, i64 0
  %103 = call i32 @strcmp(ptr noundef %101, ptr noundef %102) #8
  %104 = icmp eq i32 %103, 0
  br i1 %104, label %105, label %109

105:                                              ; preds = %97
  %106 = load i32, ptr %16, align 4, !tbaa !18
  %107 = load ptr, ptr %13, align 8, !tbaa !5
  %108 = getelementptr inbounds %struct.parameter, ptr %107, i32 0, i32 0
  store i32 %106, ptr %108, align 8, !tbaa !19
  br label %113

109:                                              ; preds = %97
  br label %110

110:                                              ; preds = %109
  %111 = load i32, ptr %16, align 4, !tbaa !18
  %112 = add nsw i32 %111, 1
  store i32 %112, ptr %16, align 4, !tbaa !18
  br label %91, !llvm.loop !20

113:                                              ; preds = %105, %91
  %114 = load i32, ptr %16, align 4, !tbaa !18
  %115 = sext i32 %114 to i64
  %116 = getelementptr inbounds [23 x ptr], ptr @_ZL17solver_type_table, i64 0, i64 %115
  %117 = load ptr, ptr %116, align 8, !tbaa !5
  %118 = icmp eq ptr %117, null
  br i1 %118, label %119, label %129

119:                                              ; preds = %113
  %120 = load ptr, ptr @stderr, align 8, !tbaa !5
  %121 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %120, ptr noundef @.str.24) #6
  %122 = load ptr, ptr %14, align 8, !tbaa !5
  %123 = call ptr @setlocale(i32 noundef 6, ptr noundef %122) #6
  %124 = load ptr, ptr %12, align 8, !tbaa !5
  %125 = getelementptr inbounds %struct.model, ptr %124, i32 0, i32 4
  %126 = load ptr, ptr %125, align 8, !tbaa !16
  call void @free(ptr noundef %126) #6
  %127 = load ptr, ptr %12, align 8, !tbaa !5
  call void @free(ptr noundef %127) #6
  %128 = load ptr, ptr %14, align 8, !tbaa !5
  call void @free(ptr noundef %128) #6
  store ptr null, ptr %2, align 8
  store i32 1, ptr %5, align 4
  br label %130

129:                                              ; preds = %113
  store i32 0, ptr %5, align 4
  br label %130

130:                                              ; preds = %129, %119
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #6
  %131 = load i32, ptr %5, align 4
  switch i32 %131, label %404 [
    i32 0, label %132
  ]

132:                                              ; preds = %130
  br label %307

133:                                              ; preds = %68
  %134 = getelementptr inbounds [81 x i8], ptr %15, i64 0, i64 0
  %135 = call i32 @strcmp(ptr noundef %134, ptr noundef @.str.25) #8
  %136 = icmp eq i32 %135, 0
  br i1 %136, label %137, label %158

137:                                              ; preds = %133
  br label %138

138:                                              ; preds = %137
  %139 = load ptr, ptr %4, align 8, !tbaa !5
  %140 = call i32 (ptr, ptr, ...) @__isoc99_fscanf(ptr noundef %139, ptr noundef @.str.26, ptr noundef %9)
  %141 = icmp ne i32 %140, 1
  br i1 %141, label %142, label %152

142:                                              ; preds = %138
  %143 = load ptr, ptr @stderr, align 8, !tbaa !5
  %144 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %143, ptr noundef @.str.22) #6
  %145 = load ptr, ptr %14, align 8, !tbaa !5
  %146 = call ptr @setlocale(i32 noundef 6, ptr noundef %145) #6
  %147 = load ptr, ptr %12, align 8, !tbaa !5
  %148 = getelementptr inbounds %struct.model, ptr %147, i32 0, i32 4
  %149 = load ptr, ptr %148, align 8, !tbaa !16
  call void @free(ptr noundef %149) #6
  %150 = load ptr, ptr %12, align 8, !tbaa !5
  call void @free(ptr noundef %150) #6
  %151 = load ptr, ptr %14, align 8, !tbaa !5
  call void @free(ptr noundef %151) #6
  store ptr null, ptr %2, align 8
  store i32 1, ptr %5, align 4
  br label %404

152:                                              ; preds = %138
  br label %153

153:                                              ; preds = %152
  br label %154

154:                                              ; preds = %153
  %155 = load i32, ptr %9, align 4, !tbaa !18
  %156 = load ptr, ptr %12, align 8, !tbaa !5
  %157 = getelementptr inbounds %struct.model, ptr %156, i32 0, i32 1
  store i32 %155, ptr %157, align 8, !tbaa !22
  br label %306

158:                                              ; preds = %133
  %159 = getelementptr inbounds [81 x i8], ptr %15, i64 0, i64 0
  %160 = call i32 @strcmp(ptr noundef %159, ptr noundef @.str.27) #8
  %161 = icmp eq i32 %160, 0
  br i1 %161, label %162, label %183

162:                                              ; preds = %158
  br label %163

163:                                              ; preds = %162
  %164 = load ptr, ptr %4, align 8, !tbaa !5
  %165 = call i32 (ptr, ptr, ...) @__isoc99_fscanf(ptr noundef %164, ptr noundef @.str.26, ptr noundef %7)
  %166 = icmp ne i32 %165, 1
  br i1 %166, label %167, label %177

167:                                              ; preds = %163
  %168 = load ptr, ptr @stderr, align 8, !tbaa !5
  %169 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %168, ptr noundef @.str.22) #6
  %170 = load ptr, ptr %14, align 8, !tbaa !5
  %171 = call ptr @setlocale(i32 noundef 6, ptr noundef %170) #6
  %172 = load ptr, ptr %12, align 8, !tbaa !5
  %173 = getelementptr inbounds %struct.model, ptr %172, i32 0, i32 4
  %174 = load ptr, ptr %173, align 8, !tbaa !16
  call void @free(ptr noundef %174) #6
  %175 = load ptr, ptr %12, align 8, !tbaa !5
  call void @free(ptr noundef %175) #6
  %176 = load ptr, ptr %14, align 8, !tbaa !5
  call void @free(ptr noundef %176) #6
  store ptr null, ptr %2, align 8
  store i32 1, ptr %5, align 4
  br label %404

177:                                              ; preds = %163
  br label %178

178:                                              ; preds = %177
  br label %179

179:                                              ; preds = %178
  %180 = load i32, ptr %7, align 4, !tbaa !18
  %181 = load ptr, ptr %12, align 8, !tbaa !5
  %182 = getelementptr inbounds %struct.model, ptr %181, i32 0, i32 2
  store i32 %180, ptr %182, align 4, !tbaa !23
  br label %305

183:                                              ; preds = %158
  %184 = getelementptr inbounds [81 x i8], ptr %15, i64 0, i64 0
  %185 = call i32 @strcmp(ptr noundef %184, ptr noundef @.str.28) #8
  %186 = icmp eq i32 %185, 0
  br i1 %186, label %187, label %208

187:                                              ; preds = %183
  br label %188

188:                                              ; preds = %187
  %189 = load ptr, ptr %4, align 8, !tbaa !5
  %190 = call i32 (ptr, ptr, ...) @__isoc99_fscanf(ptr noundef %189, ptr noundef @.str.29, ptr noundef %10)
  %191 = icmp ne i32 %190, 1
  br i1 %191, label %192, label %202

192:                                              ; preds = %188
  %193 = load ptr, ptr @stderr, align 8, !tbaa !5
  %194 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %193, ptr noundef @.str.22) #6
  %195 = load ptr, ptr %14, align 8, !tbaa !5
  %196 = call ptr @setlocale(i32 noundef 6, ptr noundef %195) #6
  %197 = load ptr, ptr %12, align 8, !tbaa !5
  %198 = getelementptr inbounds %struct.model, ptr %197, i32 0, i32 4
  %199 = load ptr, ptr %198, align 8, !tbaa !16
  call void @free(ptr noundef %199) #6
  %200 = load ptr, ptr %12, align 8, !tbaa !5
  call void @free(ptr noundef %200) #6
  %201 = load ptr, ptr %14, align 8, !tbaa !5
  call void @free(ptr noundef %201) #6
  store ptr null, ptr %2, align 8
  store i32 1, ptr %5, align 4
  br label %404

202:                                              ; preds = %188
  br label %203

203:                                              ; preds = %202
  br label %204

204:                                              ; preds = %203
  %205 = load double, ptr %10, align 8, !tbaa !24
  %206 = load ptr, ptr %12, align 8, !tbaa !5
  %207 = getelementptr inbounds %struct.model, ptr %206, i32 0, i32 5
  store double %205, ptr %207, align 8, !tbaa !25
  br label %304

208:                                              ; preds = %183
  %209 = getelementptr inbounds [81 x i8], ptr %15, i64 0, i64 0
  %210 = call i32 @strcmp(ptr noundef %209, ptr noundef @.str.30) #8
  %211 = icmp eq i32 %210, 0
  br i1 %211, label %212, label %233

212:                                              ; preds = %208
  br label %213

213:                                              ; preds = %212
  %214 = load ptr, ptr %4, align 8, !tbaa !5
  %215 = call i32 (ptr, ptr, ...) @__isoc99_fscanf(ptr noundef %214, ptr noundef @.str.29, ptr noundef %11)
  %216 = icmp ne i32 %215, 1
  br i1 %216, label %217, label %227

217:                                              ; preds = %213
  %218 = load ptr, ptr @stderr, align 8, !tbaa !5
  %219 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %218, ptr noundef @.str.22) #6
  %220 = load ptr, ptr %14, align 8, !tbaa !5
  %221 = call ptr @setlocale(i32 noundef 6, ptr noundef %220) #6
  %222 = load ptr, ptr %12, align 8, !tbaa !5
  %223 = getelementptr inbounds %struct.model, ptr %222, i32 0, i32 4
  %224 = load ptr, ptr %223, align 8, !tbaa !16
  call void @free(ptr noundef %224) #6
  %225 = load ptr, ptr %12, align 8, !tbaa !5
  call void @free(ptr noundef %225) #6
  %226 = load ptr, ptr %14, align 8, !tbaa !5
  call void @free(ptr noundef %226) #6
  store ptr null, ptr %2, align 8
  store i32 1, ptr %5, align 4
  br label %404

227:                                              ; preds = %213
  br label %228

228:                                              ; preds = %227
  br label %229

229:                                              ; preds = %228
  %230 = load double, ptr %11, align 8, !tbaa !24
  %231 = load ptr, ptr %12, align 8, !tbaa !5
  %232 = getelementptr inbounds %struct.model, ptr %231, i32 0, i32 6
  store double %230, ptr %232, align 8, !tbaa !26
  br label %303

233:                                              ; preds = %208
  %234 = getelementptr inbounds [81 x i8], ptr %15, i64 0, i64 0
  %235 = call i32 @strcmp(ptr noundef %234, ptr noundef @.str.8) #8
  %236 = icmp eq i32 %235, 0
  br i1 %236, label %237, label %238

237:                                              ; preds = %233
  br label %308

238:                                              ; preds = %233
  %239 = getelementptr inbounds [81 x i8], ptr %15, i64 0, i64 0
  %240 = call i32 @strcmp(ptr noundef %239, ptr noundef @.str.12) #8
  %241 = icmp eq i32 %240, 0
  br i1 %241, label %242, label %290

242:                                              ; preds = %238
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #6
  %243 = load ptr, ptr %12, align 8, !tbaa !5
  %244 = getelementptr inbounds %struct.model, ptr %243, i32 0, i32 1
  %245 = load i32, ptr %244, align 8, !tbaa !22
  store i32 %245, ptr %17, align 4, !tbaa !18
  %246 = load i32, ptr %17, align 4, !tbaa !18
  %247 = sext i32 %246 to i64
  %248 = mul i64 %247, 4
  %249 = call noalias ptr @malloc(i64 noundef %248) #7
  %250 = load ptr, ptr %12, align 8, !tbaa !5
  %251 = getelementptr inbounds %struct.model, ptr %250, i32 0, i32 4
  store ptr %249, ptr %251, align 8, !tbaa !16
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #6
  store i32 0, ptr %18, align 4, !tbaa !18
  br label %252

252:                                              ; preds = %281, %242
  %253 = load i32, ptr %18, align 4, !tbaa !18
  %254 = load i32, ptr %17, align 4, !tbaa !18
  %255 = icmp slt i32 %253, %254
  br i1 %255, label %257, label %256

256:                                              ; preds = %252
  store i32 19, ptr %5, align 4
  br label %284

257:                                              ; preds = %252
  br label %258

258:                                              ; preds = %257
  %259 = load ptr, ptr %4, align 8, !tbaa !5
  %260 = load ptr, ptr %12, align 8, !tbaa !5
  %261 = getelementptr inbounds %struct.model, ptr %260, i32 0, i32 4
  %262 = load ptr, ptr %261, align 8, !tbaa !16
  %263 = load i32, ptr %18, align 4, !tbaa !18
  %264 = sext i32 %263 to i64
  %265 = getelementptr inbounds i32, ptr %262, i64 %264
  %266 = call i32 (ptr, ptr, ...) @__isoc99_fscanf(ptr noundef %259, ptr noundef @.str.26, ptr noundef %265)
  %267 = icmp ne i32 %266, 1
  br i1 %267, label %268, label %278

268:                                              ; preds = %258
  %269 = load ptr, ptr @stderr, align 8, !tbaa !5
  %270 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %269, ptr noundef @.str.22) #6
  %271 = load ptr, ptr %14, align 8, !tbaa !5
  %272 = call ptr @setlocale(i32 noundef 6, ptr noundef %271) #6
  %273 = load ptr, ptr %12, align 8, !tbaa !5
  %274 = getelementptr inbounds %struct.model, ptr %273, i32 0, i32 4
  %275 = load ptr, ptr %274, align 8, !tbaa !16
  call void @free(ptr noundef %275) #6
  %276 = load ptr, ptr %12, align 8, !tbaa !5
  call void @free(ptr noundef %276) #6
  %277 = load ptr, ptr %14, align 8, !tbaa !5
  call void @free(ptr noundef %277) #6
  store ptr null, ptr %2, align 8
  store i32 1, ptr %5, align 4
  br label %284

278:                                              ; preds = %258
  br label %279

279:                                              ; preds = %278
  br label %280

280:                                              ; preds = %279
  br label %281

281:                                              ; preds = %280
  %282 = load i32, ptr %18, align 4, !tbaa !18
  %283 = add nsw i32 %282, 1
  store i32 %283, ptr %18, align 4, !tbaa !18
  br label %252, !llvm.loop !27

284:                                              ; preds = %268, %256
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #6
  %285 = load i32, ptr %5, align 4
  switch i32 %285, label %287 [
    i32 19, label %286
  ]

286:                                              ; preds = %284
  store i32 0, ptr %5, align 4
  br label %287

287:                                              ; preds = %286, %284
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #6
  %288 = load i32, ptr %5, align 4
  switch i32 %288, label %404 [
    i32 0, label %289
  ]

289:                                              ; preds = %287
  br label %301

290:                                              ; preds = %238
  %291 = load ptr, ptr @stderr, align 8, !tbaa !5
  %292 = getelementptr inbounds [81 x i8], ptr %15, i64 0, i64 0
  %293 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %291, ptr noundef @.str.31, ptr noundef %292) #6
  %294 = load ptr, ptr %14, align 8, !tbaa !5
  %295 = call ptr @setlocale(i32 noundef 6, ptr noundef %294) #6
  %296 = load ptr, ptr %12, align 8, !tbaa !5
  %297 = getelementptr inbounds %struct.model, ptr %296, i32 0, i32 4
  %298 = load ptr, ptr %297, align 8, !tbaa !16
  call void @free(ptr noundef %298) #6
  %299 = load ptr, ptr %12, align 8, !tbaa !5
  call void @free(ptr noundef %299) #6
  %300 = load ptr, ptr %14, align 8, !tbaa !5
  call void @free(ptr noundef %300) #6
  store ptr null, ptr %2, align 8
  store i32 1, ptr %5, align 4
  br label %404

301:                                              ; preds = %289
  br label %302

302:                                              ; preds = %301
  br label %303

303:                                              ; preds = %302, %229
  br label %304

304:                                              ; preds = %303, %204
  br label %305

305:                                              ; preds = %304, %179
  br label %306

306:                                              ; preds = %305, %154
  br label %307

307:                                              ; preds = %306, %132
  br label %49, !llvm.loop !28

308:                                              ; preds = %237
  %309 = load ptr, ptr %12, align 8, !tbaa !5
  %310 = getelementptr inbounds %struct.model, ptr %309, i32 0, i32 2
  %311 = load i32, ptr %310, align 4, !tbaa !23
  store i32 %311, ptr %7, align 4, !tbaa !18
  %312 = load ptr, ptr %12, align 8, !tbaa !5
  %313 = getelementptr inbounds %struct.model, ptr %312, i32 0, i32 5
  %314 = load double, ptr %313, align 8, !tbaa !25
  %315 = fcmp oge double %314, 0.000000e+00
  br i1 %315, label %316, label %319

316:                                              ; preds = %308
  %317 = load i32, ptr %7, align 4, !tbaa !18
  %318 = add nsw i32 %317, 1
  store i32 %318, ptr %8, align 4, !tbaa !18
  br label %321

319:                                              ; preds = %308
  %320 = load i32, ptr %7, align 4, !tbaa !18
  store i32 %320, ptr %8, align 4, !tbaa !18
  br label %321

321:                                              ; preds = %319, %316
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #6
  %322 = load i32, ptr %8, align 4, !tbaa !18
  store i32 %322, ptr %19, align 4, !tbaa !18
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #6
  %323 = load i32, ptr %9, align 4, !tbaa !18
  %324 = icmp eq i32 %323, 2
  br i1 %324, label %325, label %331

325:                                              ; preds = %321
  %326 = load ptr, ptr %13, align 8, !tbaa !5
  %327 = getelementptr inbounds %struct.parameter, ptr %326, i32 0, i32 0
  %328 = load i32, ptr %327, align 8, !tbaa !19
  %329 = icmp ne i32 %328, 4
  br i1 %329, label %330, label %331

330:                                              ; preds = %325
  store i32 1, ptr %20, align 4, !tbaa !18
  br label %333

331:                                              ; preds = %325, %321
  %332 = load i32, ptr %9, align 4, !tbaa !18
  store i32 %332, ptr %20, align 4, !tbaa !18
  br label %333

333:                                              ; preds = %331, %330
  %334 = load i32, ptr %19, align 4, !tbaa !18
  %335 = load i32, ptr %20, align 4, !tbaa !18
  %336 = mul nsw i32 %334, %335
  %337 = sext i32 %336 to i64
  %338 = mul i64 %337, 8
  %339 = call noalias ptr @malloc(i64 noundef %338) #7
  %340 = load ptr, ptr %12, align 8, !tbaa !5
  %341 = getelementptr inbounds %struct.model, ptr %340, i32 0, i32 3
  store ptr %339, ptr %341, align 8, !tbaa !29
  store i32 0, ptr %6, align 4, !tbaa !18
  br label %342

342:                                              ; preds = %386, %333
  %343 = load i32, ptr %6, align 4, !tbaa !18
  %344 = load i32, ptr %19, align 4, !tbaa !18
  %345 = icmp slt i32 %343, %344
  br i1 %345, label %346, label %389

346:                                              ; preds = %342
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #6
  store i32 0, ptr %21, align 4, !tbaa !18
  br label %347

347:                                              ; preds = %379, %346
  %348 = load i32, ptr %21, align 4, !tbaa !18
  %349 = load i32, ptr %20, align 4, !tbaa !18
  %350 = icmp slt i32 %348, %349
  br i1 %350, label %351, label %382

351:                                              ; preds = %347
  br label %352

352:                                              ; preds = %351
  %353 = load ptr, ptr %4, align 8, !tbaa !5
  %354 = load ptr, ptr %12, align 8, !tbaa !5
  %355 = getelementptr inbounds %struct.model, ptr %354, i32 0, i32 3
  %356 = load ptr, ptr %355, align 8, !tbaa !29
  %357 = load i32, ptr %6, align 4, !tbaa !18
  %358 = load i32, ptr %20, align 4, !tbaa !18
  %359 = mul nsw i32 %357, %358
  %360 = load i32, ptr %21, align 4, !tbaa !18
  %361 = add nsw i32 %359, %360
  %362 = sext i32 %361 to i64
  %363 = getelementptr inbounds double, ptr %356, i64 %362
  %364 = call i32 (ptr, ptr, ...) @__isoc99_fscanf(ptr noundef %353, ptr noundef @.str.32, ptr noundef %363)
  %365 = icmp ne i32 %364, 1
  br i1 %365, label %366, label %376

366:                                              ; preds = %352
  %367 = load ptr, ptr @stderr, align 8, !tbaa !5
  %368 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %367, ptr noundef @.str.22) #6
  %369 = load ptr, ptr %14, align 8, !tbaa !5
  %370 = call ptr @setlocale(i32 noundef 6, ptr noundef %369) #6
  %371 = load ptr, ptr %12, align 8, !tbaa !5
  %372 = getelementptr inbounds %struct.model, ptr %371, i32 0, i32 4
  %373 = load ptr, ptr %372, align 8, !tbaa !16
  call void @free(ptr noundef %373) #6
  %374 = load ptr, ptr %12, align 8, !tbaa !5
  call void @free(ptr noundef %374) #6
  %375 = load ptr, ptr %14, align 8, !tbaa !5
  call void @free(ptr noundef %375) #6
  store ptr null, ptr %2, align 8
  store i32 1, ptr %5, align 4
  br label %383

376:                                              ; preds = %352
  br label %377

377:                                              ; preds = %376
  br label %378

378:                                              ; preds = %377
  br label %379

379:                                              ; preds = %378
  %380 = load i32, ptr %21, align 4, !tbaa !18
  %381 = add nsw i32 %380, 1
  store i32 %381, ptr %21, align 4, !tbaa !18
  br label %347, !llvm.loop !30

382:                                              ; preds = %347
  store i32 0, ptr %5, align 4
  br label %383

383:                                              ; preds = %382, %366
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #6
  %384 = load i32, ptr %5, align 4
  switch i32 %384, label %403 [
    i32 0, label %385
  ]

385:                                              ; preds = %383
  br label %386

386:                                              ; preds = %385
  %387 = load i32, ptr %6, align 4, !tbaa !18
  %388 = add nsw i32 %387, 1
  store i32 %388, ptr %6, align 4, !tbaa !18
  br label %342, !llvm.loop !31

389:                                              ; preds = %342
  %390 = load ptr, ptr %14, align 8, !tbaa !5
  %391 = call ptr @setlocale(i32 noundef 6, ptr noundef %390) #6
  %392 = load ptr, ptr %14, align 8, !tbaa !5
  call void @free(ptr noundef %392) #6
  %393 = load ptr, ptr %4, align 8, !tbaa !5
  %394 = call i32 @ferror(ptr noundef %393) #6
  %395 = icmp ne i32 %394, 0
  br i1 %395, label %400, label %396

396:                                              ; preds = %389
  %397 = load ptr, ptr %4, align 8, !tbaa !5
  %398 = call i32 @fclose(ptr noundef %397)
  %399 = icmp ne i32 %398, 0
  br i1 %399, label %400, label %401

400:                                              ; preds = %396, %389
  store ptr null, ptr %2, align 8
  store i32 1, ptr %5, align 4
  br label %403

401:                                              ; preds = %396
  %402 = load ptr, ptr %12, align 8, !tbaa !5
  store ptr %402, ptr %2, align 8
  store i32 1, ptr %5, align 4
  br label %403

403:                                              ; preds = %401, %400, %383
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #6
  br label %404

404:                                              ; preds = %403, %290, %287, %217, %192, %167, %142, %130, %78, %56
  call void @llvm.lifetime.end.p0(i64 81, ptr %15) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #6
  br label %405

405:                                              ; preds = %404, %26
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #6
  %406 = load ptr, ptr %2, align 8
  ret ptr %406
}

declare i32 @__isoc99_fscanf(ptr noundef, ptr noundef, ...) #3

; Function Attrs: nounwind willreturn memory(read)
declare i32 @strcmp(ptr noundef, ptr noundef) #5

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

!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++ TBAA"}
!9 = !{!10, !11, i64 24}
!10 = !{!"_ZTS9parameter", !11, i64 0, !12, i64 8, !12, i64 16, !11, i64 24, !6, i64 32, !6, i64 40, !12, i64 48, !12, i64 56, !6, i64 64, !11, i64 72}
!11 = !{!"int", !7, i64 0}
!12 = !{!"double", !7, i64 0}
!13 = !{!10, !6, i64 32}
!14 = !{!10, !6, i64 40}
!15 = !{!10, !6, i64 64}
!16 = !{!17, !6, i64 96}
!17 = !{!"_ZTS5model", !10, i64 0, !11, i64 80, !11, i64 84, !6, i64 88, !6, i64 96, !12, i64 104, !12, i64 112}
!18 = !{!11, !11, i64 0}
!19 = !{!10, !11, i64 0}
!20 = distinct !{!20, !21}
!21 = !{!"llvm.loop.mustprogress"}
!22 = !{!17, !11, i64 80}
!23 = !{!17, !11, i64 84}
!24 = !{!12, !12, i64 0}
!25 = !{!17, !12, i64 104}
!26 = !{!17, !12, i64 112}
!27 = distinct !{!27, !21}
!28 = distinct !{!28, !21}
!29 = !{!17, !6, i64 88}
!30 = distinct !{!30, !21}
!31 = distinct !{!31, !21}


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

@stderr = external local_unnamed_addr global ptr, align 8
@.str.8 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [2 x i8], align 1
@_ZL17solver_type_table = external hidden local_unnamed_addr global [23 x ptr], align 16
@.str.12 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [5 x i8], align 1

; 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 nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) memory(inaccessiblemem: readwrite)
declare noalias noundef ptr @malloc(i64 noundef) local_unnamed_addr #1

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

; Function Attrs: mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite)
declare void @free(ptr allocptr nocapture noundef) local_unnamed_addr #3

; Function Attrs: nofree nounwind
declare noalias noundef ptr @fopen(ptr nocapture noundef readonly, ptr nocapture noundef readonly) local_unnamed_addr #2

; Function Attrs: nounwind
declare ptr @setlocale(i32 noundef, ptr noundef) local_unnamed_addr #4

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: readwrite, inaccessiblemem: readwrite)
declare noalias ptr @strdup(ptr nocapture noundef readonly) local_unnamed_addr #5

; Function Attrs: nofree nounwind memory(read)
declare noundef i32 @ferror(ptr nocapture noundef) local_unnamed_addr #6

; Function Attrs: nofree nounwind
declare noundef i32 @fclose(ptr nocapture noundef) local_unnamed_addr #2

; Function Attrs: mustprogress uwtable
define dso_local noalias noundef ptr @load_model(ptr nocapture noundef readonly %0) local_unnamed_addr #7 {
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca double, align 8
  %5 = alloca double, align 8
  %6 = alloca [81 x i8], align 16
  %7 = tail call noalias ptr @fopen(ptr noundef %0, ptr noundef nonnull @.str.20)
  %8 = icmp eq ptr %7, null
  br i1 %8, label %150, label %9

9:                                                ; preds = %1
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %2) #11
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %3) #11
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #11
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #11
  %10 = tail call noalias dereferenceable_or_null(120) ptr @malloc(i64 noundef 120) #12
  %11 = getelementptr inbounds i8, ptr %10, i64 24
  store i32 0, ptr %11, align 8, !tbaa !5
  %12 = getelementptr inbounds i8, ptr %10, i64 32
  %13 = getelementptr inbounds i8, ptr %10, i64 64
  store ptr null, ptr %13, align 8, !tbaa !12
  %14 = getelementptr inbounds i8, ptr %10, i64 96
  store ptr null, ptr %14, align 8, !tbaa !13
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %12, i8 0, i64 16, i1 false)
  %15 = tail call ptr @setlocale(i32 noundef 6, ptr noundef null) #11
  %.not = icmp eq ptr %15, null
  br i1 %.not, label %18, label %16

16:                                               ; preds = %9
  %17 = tail call noalias ptr @strdup(ptr noundef nonnull %15) #11
  br label %18

18:                                               ; preds = %16, %9
  %.0112 = phi ptr [ %17, %16 ], [ null, %9 ]
  %19 = tail call ptr @setlocale(i32 noundef 6, ptr noundef nonnull @.str.9) #11
  call void @llvm.lifetime.start.p0(i64 81, ptr nonnull %6) #11
  %20 = call i32 (ptr, ptr, ...) @__isoc99_fscanf(ptr noundef nonnull %7, ptr noundef nonnull @.str.21, ptr noundef nonnull %6)
  %.not119145 = icmp eq i32 %20, 1
  br i1 %.not119145, label %.lr.ph147, label %._crit_edge148

.lr.ph147:                                        ; preds = %18
  %21 = getelementptr inbounds i8, ptr %10, i64 80
  %22 = getelementptr inbounds i8, ptr %10, i64 112
  %23 = getelementptr inbounds i8, ptr %10, i64 104
  %24 = getelementptr inbounds i8, ptr %10, i64 84
  br label %29

._crit_edge148:                                   ; preds = %.critedge, %18
  %25 = phi ptr [ null, %18 ], [ %124, %.critedge ]
  %26 = load ptr, ptr @stderr, align 8, !tbaa !15
  %27 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %26, ptr noundef nonnull @.str.22) #13
  %28 = call ptr @setlocale(i32 noundef 6, ptr noundef %.0112) #11
  call void @free(ptr noundef %25) #11
  call void @free(ptr noundef %10) #11
  call void @free(ptr noundef %.0112) #11
  br label %149

29:                                               ; preds = %.lr.ph147, %.critedge
  %30 = phi i32 [ undef, %.lr.ph147 ], [ %120, %.critedge ]
  %31 = phi double [ undef, %.lr.ph147 ], [ %121, %.critedge ]
  %32 = phi i32 [ undef, %.lr.ph147 ], [ %122, %.critedge ]
  %33 = phi i32 [ undef, %.lr.ph147 ], [ %123, %.critedge ]
  %34 = phi ptr [ null, %.lr.ph147 ], [ %124, %.critedge ]
  %35 = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %6, ptr noundef nonnull dereferenceable(1) @.str.23) #14
  %36 = icmp eq i32 %35, 0
  br i1 %36, label %37, label %55

37:                                               ; preds = %29
  %38 = call i32 (ptr, ptr, ...) @__isoc99_fscanf(ptr noundef nonnull %7, ptr noundef nonnull @.str.21, ptr noundef nonnull %6)
  %.not131 = icmp eq i32 %38, 1
  br i1 %.not131, label %.preheader138, label %40

.preheader138:                                    ; preds = %37
  %39 = load ptr, ptr @_ZL17solver_type_table, align 16, !tbaa !15
  %.not132142 = icmp eq ptr %39, null
  br i1 %.not132142, label %.preheader138._crit_edge, label %.lr.ph144

40:                                               ; preds = %37
  %41 = load ptr, ptr @stderr, align 8, !tbaa !15
  %42 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %41, ptr noundef nonnull @.str.22) #13
  %43 = call ptr @setlocale(i32 noundef 6, ptr noundef %.0112) #11
  call void @free(ptr noundef %34) #11
  call void @free(ptr noundef %10) #11
  call void @free(ptr noundef %.0112) #11
  br label %149

.lr.ph144:                                        ; preds = %.preheader138, %47
  %indvars.iv158 = phi i64 [ %indvars.iv.next159, %47 ], [ 0, %.preheader138 ]
  %44 = phi ptr [ %49, %47 ], [ %39, %.preheader138 ]
  %45 = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %44, ptr noundef nonnull dereferenceable(1) %6) #14
  %46 = icmp eq i32 %45, 0
  br i1 %46, label %50, label %47

47:                                               ; preds = %.lr.ph144
  %indvars.iv.next159 = add nuw nsw i64 %indvars.iv158, 1
  %48 = getelementptr inbounds [23 x ptr], ptr @_ZL17solver_type_table, i64 0, i64 %indvars.iv.next159
  %49 = load ptr, ptr %48, align 8, !tbaa !15
  %.not132 = icmp eq ptr %49, null
  br i1 %.not132, label %.preheader138._crit_edge, label %.lr.ph144, !llvm.loop !16

50:                                               ; preds = %.lr.ph144
  %51 = trunc nuw nsw i64 %indvars.iv158 to i32
  store i32 %51, ptr %10, align 8, !tbaa !18
  br label %.critedge

.preheader138._crit_edge:                         ; preds = %.preheader138, %47
  %52 = load ptr, ptr @stderr, align 8, !tbaa !15
  %53 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %52, ptr noundef nonnull @.str.24) #13
  %54 = call ptr @setlocale(i32 noundef 6, ptr noundef %.0112) #11
  call void @free(ptr noundef %34) #11
  call void @free(ptr noundef %10) #11
  call void @free(ptr noundef %.0112) #11
  br label %149

55:                                               ; preds = %29
  %56 = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %6, ptr noundef nonnull dereferenceable(1) @.str.25) #14
  %57 = icmp eq i32 %56, 0
  br i1 %57, label %58, label %66

58:                                               ; preds = %55
  %59 = call i32 (ptr, ptr, ...) @__isoc99_fscanf(ptr noundef nonnull %7, ptr noundef nonnull @.str.26, ptr noundef nonnull %3)
  %.not130 = icmp eq i32 %59, 1
  br i1 %.not130, label %64, label %60

60:                                               ; preds = %58
  %61 = load ptr, ptr @stderr, align 8, !tbaa !15
  %62 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %61, ptr noundef nonnull @.str.22) #13
  %63 = call ptr @setlocale(i32 noundef 6, ptr noundef %.0112) #11
  call void @free(ptr noundef %34) #11
  call void @free(ptr noundef %10) #11
  call void @free(ptr noundef %.0112) #11
  br label %149

64:                                               ; preds = %58
  %65 = load i32, ptr %3, align 4, !tbaa !19
  store i32 %65, ptr %21, align 8, !tbaa !20
  br label %.critedge

66:                                               ; preds = %55
  %67 = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %6, ptr noundef nonnull dereferenceable(1) @.str.27) #14
  %68 = icmp eq i32 %67, 0
  br i1 %68, label %69, label %77

69:                                               ; preds = %66
  %70 = call i32 (ptr, ptr, ...) @__isoc99_fscanf(ptr noundef nonnull %7, ptr noundef nonnull @.str.26, ptr noundef nonnull %2)
  %.not129 = icmp eq i32 %70, 1
  br i1 %.not129, label %75, label %71

71:                                               ; preds = %69
  %72 = load ptr, ptr @stderr, align 8, !tbaa !15
  %73 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %72, ptr noundef nonnull @.str.22) #13
  %74 = call ptr @setlocale(i32 noundef 6, ptr noundef %.0112) #11
  call void @free(ptr noundef %34) #11
  call void @free(ptr noundef %10) #11
  call void @free(ptr noundef %.0112) #11
  br label %149

75:                                               ; preds = %69
  %76 = load i32, ptr %2, align 4, !tbaa !19
  store i32 %76, ptr %24, align 4, !tbaa !21
  br label %.critedge

77:                                               ; preds = %66
  %78 = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %6, ptr noundef nonnull dereferenceable(1) @.str.28) #14
  %79 = icmp eq i32 %78, 0
  br i1 %79, label %80, label %88

80:                                               ; preds = %77
  %81 = call i32 (ptr, ptr, ...) @__isoc99_fscanf(ptr noundef nonnull %7, ptr noundef nonnull @.str.29, ptr noundef nonnull %4)
  %.not128 = icmp eq i32 %81, 1
  br i1 %.not128, label %86, label %82

82:                                               ; preds = %80
  %83 = load ptr, ptr @stderr, align 8, !tbaa !15
  %84 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %83, ptr noundef nonnull @.str.22) #13
  %85 = call ptr @setlocale(i32 noundef 6, ptr noundef %.0112) #11
  call void @free(ptr noundef %34) #11
  call void @free(ptr noundef %10) #11
  call void @free(ptr noundef %.0112) #11
  br label %149

86:                                               ; preds = %80
  %87 = load double, ptr %4, align 8, !tbaa !22
  store double %87, ptr %23, align 8, !tbaa !23
  br label %.critedge

88:                                               ; preds = %77
  %89 = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %6, ptr noundef nonnull dereferenceable(1) @.str.30) #14
  %90 = icmp eq i32 %89, 0
  br i1 %90, label %91, label %99

91:                                               ; preds = %88
  %92 = call i32 (ptr, ptr, ...) @__isoc99_fscanf(ptr noundef nonnull %7, ptr noundef nonnull @.str.29, ptr noundef nonnull %5)
  %.not127 = icmp eq i32 %92, 1
  br i1 %.not127, label %97, label %93

93:                                               ; preds = %91
  %94 = load ptr, ptr @stderr, align 8, !tbaa !15
  %95 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %94, ptr noundef nonnull @.str.22) #13
  %96 = call ptr @setlocale(i32 noundef 6, ptr noundef %.0112) #11
  call void @free(ptr noundef %34) #11
  call void @free(ptr noundef %10) #11
  call void @free(ptr noundef %.0112) #11
  br label %149

97:                                               ; preds = %91
  %98 = load double, ptr %5, align 8, !tbaa !22
  store double %98, ptr %22, align 8, !tbaa !24
  br label %.critedge

99:                                               ; preds = %88
  %100 = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %6, ptr noundef nonnull dereferenceable(1) @.str.8) #14
  %101 = icmp eq i32 %100, 0
  br i1 %101, label %126, label %102

102:                                              ; preds = %99
  %103 = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %6, ptr noundef nonnull dereferenceable(1) @.str.12) #14
  %104 = icmp eq i32 %103, 0
  br i1 %104, label %105, label %116

105:                                              ; preds = %102
  %106 = sext i32 %33 to i64
  %107 = shl nsw i64 %106, 2
  %108 = call noalias ptr @malloc(i64 noundef %107) #12
  store ptr %108, ptr %14, align 8, !tbaa !13
  %.not121140 = icmp sgt i32 %33, 0
  br i1 %.not121140, label %.lr.ph.preheader, label %.critedge

.lr.ph.preheader:                                 ; preds = %105
  %wide.trip.count = zext nneg i32 %33 to i64
  br label %.lr.ph

109:                                              ; preds = %.lr.ph
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %.critedge, label %.lr.ph, !llvm.loop !25

.lr.ph:                                           ; preds = %.lr.ph.preheader, %109
  %indvars.iv = phi i64 [ 0, %.lr.ph.preheader ], [ %indvars.iv.next, %109 ]
  %110 = getelementptr inbounds i32, ptr %108, i64 %indvars.iv
  %111 = call i32 (ptr, ptr, ...) @__isoc99_fscanf(ptr noundef nonnull %7, ptr noundef nonnull @.str.26, ptr noundef %110)
  %.not120 = icmp eq i32 %111, 1
  br i1 %.not120, label %109, label %112

112:                                              ; preds = %.lr.ph
  %113 = load ptr, ptr @stderr, align 8, !tbaa !15
  %114 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %113, ptr noundef nonnull @.str.22) #13
  %115 = call ptr @setlocale(i32 noundef 6, ptr noundef %.0112) #11
  call void @free(ptr noundef %108) #11
  call void @free(ptr noundef %10) #11
  call void @free(ptr noundef %.0112) #11
  br label %149

116:                                              ; preds = %102
  %117 = load ptr, ptr @stderr, align 8, !tbaa !15
  %118 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %117, ptr noundef nonnull @.str.31, ptr noundef nonnull %6) #13
  %119 = call ptr @setlocale(i32 noundef 6, ptr noundef %.0112) #11
  call void @free(ptr noundef %34) #11
  call void @free(ptr noundef %10) #11
  call void @free(ptr noundef %.0112) #11
  br label %149

.critedge:                                        ; preds = %109, %105, %50, %64, %86, %97, %75
  %120 = phi i32 [ %30, %105 ], [ %51, %50 ], [ %30, %64 ], [ %30, %86 ], [ %30, %97 ], [ %30, %75 ], [ %30, %109 ]
  %121 = phi double [ %31, %105 ], [ %31, %50 ], [ %31, %64 ], [ %87, %86 ], [ %31, %97 ], [ %31, %75 ], [ %31, %109 ]
  %122 = phi i32 [ %32, %105 ], [ %32, %50 ], [ %32, %64 ], [ %32, %86 ], [ %32, %97 ], [ %76, %75 ], [ %32, %109 ]
  %123 = phi i32 [ %33, %105 ], [ %33, %50 ], [ %65, %64 ], [ %33, %86 ], [ %33, %97 ], [ %33, %75 ], [ %33, %109 ]
  %124 = phi ptr [ %108, %105 ], [ %34, %50 ], [ %34, %64 ], [ %34, %86 ], [ %34, %97 ], [ %34, %75 ], [ %108, %109 ]
  %125 = call i32 (ptr, ptr, ...) @__isoc99_fscanf(ptr noundef nonnull %7, ptr noundef nonnull @.str.21, ptr noundef nonnull %6)
  %.not119 = icmp eq i32 %125, 1
  br i1 %.not119, label %29, label %._crit_edge148, !llvm.loop !26

126:                                              ; preds = %99
  store i32 %32, ptr %2, align 4, !tbaa !19
  %127 = fcmp oge double %31, 0.000000e+00
  %128 = zext i1 %127 to i32
  %.0114 = add i32 %32, %128
  %129 = load i32, ptr %3, align 4, !tbaa !19
  %130 = icmp ne i32 %129, 2
  %.not122 = icmp eq i32 %30, 4
  %or.cond = select i1 %130, i1 true, i1 %.not122
  %.0105 = select i1 %or.cond, i32 %129, i32 1
  %131 = mul nsw i32 %.0105, %.0114
  %132 = sext i32 %131 to i64
  %133 = shl nsw i64 %132, 3
  %134 = call noalias ptr @malloc(i64 noundef %133) #12
  %135 = getelementptr inbounds i8, ptr %10, i64 88
  store ptr %134, ptr %135, align 8, !tbaa !27
  %136 = icmp sgt i32 %.0114, 0
  %.not126149 = icmp sgt i32 %.0105, 0
  %or.cond218 = and i1 %136, %.not126149
  br i1 %or.cond218, label %.preheader.lr.ph.split.us, label %._crit_edge153

.preheader.lr.ph.split.us:                        ; preds = %126
  %137 = zext nneg i32 %.0105 to i64
  %wide.trip.count169 = zext nneg i32 %.0114 to i64
  br label %.preheader.us

.preheader.us:                                    ; preds = %..critedge137_crit_edge.us, %.preheader.lr.ph.split.us
  %indvars.iv166 = phi i64 [ %indvars.iv.next167, %..critedge137_crit_edge.us ], [ 0, %.preheader.lr.ph.split.us ]
  %138 = mul nuw nsw i64 %indvars.iv166, %137
  %invariant.gep = getelementptr inbounds double, ptr %134, i64 %138
  br label %140

139:                                              ; preds = %140
  %indvars.iv.next162 = add nuw nsw i64 %indvars.iv161, 1
  %exitcond165.not = icmp eq i64 %indvars.iv.next162, %137
  br i1 %exitcond165.not, label %..critedge137_crit_edge.us, label %140, !llvm.loop !28

140:                                              ; preds = %.preheader.us, %139
  %indvars.iv161 = phi i64 [ 0, %.preheader.us ], [ %indvars.iv.next162, %139 ]
  %gep = getelementptr inbounds double, ptr %invariant.gep, i64 %indvars.iv161
  %141 = call i32 (ptr, ptr, ...) @__isoc99_fscanf(ptr noundef nonnull %7, ptr noundef nonnull @.str.32, ptr noundef %gep)
  %.not125.us = icmp eq i32 %141, 1
  br i1 %.not125.us, label %139, label %.split.us

..critedge137_crit_edge.us:                       ; preds = %139
  %indvars.iv.next167 = add nuw nsw i64 %indvars.iv166, 1
  %exitcond170.not = icmp eq i64 %indvars.iv.next167, %wide.trip.count169
  br i1 %exitcond170.not, label %._crit_edge153, label %.preheader.us, !llvm.loop !29

.split.us:                                        ; preds = %140
  %142 = load ptr, ptr @stderr, align 8, !tbaa !15
  %143 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %142, ptr noundef nonnull @.str.22) #13
  %144 = call ptr @setlocale(i32 noundef 6, ptr noundef %.0112) #11
  call void @free(ptr noundef %34) #11
  call void @free(ptr noundef nonnull %10) #11
  call void @free(ptr noundef %.0112) #11
  br label %149

._crit_edge153:                                   ; preds = %..critedge137_crit_edge.us, %126
  %145 = call ptr @setlocale(i32 noundef 6, ptr noundef %.0112) #11
  call void @free(ptr noundef %.0112) #11
  %146 = call i32 @ferror(ptr noundef nonnull %7) #11
  %.not123 = icmp eq i32 %146, 0
  br i1 %.not123, label %147, label %149

147:                                              ; preds = %._crit_edge153
  %148 = call i32 @fclose(ptr noundef nonnull %7)
  %.not124 = icmp eq i32 %148, 0
  %spec.select = select i1 %.not124, ptr %10, ptr null
  br label %149

149:                                              ; preds = %.split.us, %112, %147, %.preheader138._crit_edge, %._crit_edge153, %116, %93, %82, %71, %60, %40, %._crit_edge148
  %.7 = phi ptr [ null, %._crit_edge148 ], [ null, %40 ], [ null, %.preheader138._crit_edge ], [ null, %60 ], [ null, %71 ], [ null, %82 ], [ null, %93 ], [ null, %112 ], [ null, %116 ], [ null, %.split.us ], [ null, %._crit_edge153 ], [ %spec.select, %147 ]
  call void @llvm.lifetime.end.p0(i64 81, ptr nonnull %6) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #11
  br label %150

150:                                              ; preds = %1, %149
  %.8 = phi ptr [ %.7, %149 ], [ null, %1 ]
  ret ptr %.8
}

declare i32 @__isoc99_fscanf(ptr noundef, ptr noundef, ...) local_unnamed_addr #8

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare i32 @strcmp(ptr nocapture noundef, ptr nocapture noundef) local_unnamed_addr #9

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

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nofree nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { 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 #5 = { mustprogress nofree nounwind willreturn memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { nofree nounwind memory(read) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { mustprogress 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 #8 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #9 = { mustprogress nofree nounwind willreturn memory(argmem: read) "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 #10 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #11 = { nounwind }
attributes #12 = { nounwind allocsize(0) }
attributes #13 = { cold nounwind }
attributes #14 = { nounwind willreturn memory(read) }

!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, !7, i64 24}
!6 = !{!"_ZTS9parameter", !7, i64 0, !10, i64 8, !10, i64 16, !7, i64 24, !11, i64 32, !11, i64 40, !10, i64 48, !10, i64 56, !11, i64 64, !7, i64 72}
!7 = !{!"int", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"double", !8, i64 0}
!11 = !{!"any pointer", !8, i64 0}
!12 = !{!6, !11, i64 64}
!13 = !{!14, !11, i64 96}
!14 = !{!"_ZTS5model", !6, i64 0, !7, i64 80, !7, i64 84, !11, i64 88, !11, i64 96, !10, i64 104, !10, i64 112}
!15 = !{!11, !11, i64 0}
!16 = distinct !{!16, !17}
!17 = !{!"llvm.loop.mustprogress"}
!18 = !{!6, !7, i64 0}
!19 = !{!7, !7, i64 0}
!20 = !{!14, !7, i64 80}
!21 = !{!14, !7, i64 84}
!22 = !{!10, !10, i64 0}
!23 = !{!14, !10, i64 104}
!24 = !{!14, !10, i64 112}
!25 = distinct !{!25, !17}
!26 = distinct !{!26, !17}
!27 = !{!14, !11, i64 88}
!28 = distinct !{!28, !17}
!29 = distinct !{!29, !17}


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