; LLVM IR from mbheinen/bpa-ipf-tsp :: libgui (isvalidp)

; 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.B_RECORD = type { i32, i32 }
%struct.BM_RECORD = type { i32, i32 }
%struct.X_RECORD = type { i32, i32 }
%struct.L_RECORD = type { i32, i32 }
%struct.LD_RECORD = type { i32, i32 }
%struct.E_RECORD = type { i32, i32 }
%struct.R_RECORD = type { i32, i32 }
%struct.T_RECORD = type { i32, i32 }
%struct.A_RECORD = type { i32, i32 }
%struct.I_RECORD = type { i32, i32 }

@b_record = external dso_local global [14 x %struct.B_RECORD], align 16
@bm_record = external dso_local global [13 x %struct.BM_RECORD], align 16
@x_record = external dso_local global [19 x %struct.X_RECORD], align 16
@l_record = external dso_local global [14 x %struct.L_RECORD], align 16
@ld_record = external dso_local global [14 x %struct.LD_RECORD], align 16
@lm_record = external dso_local global [10 x %struct.LD_RECORD], align 16
@e_record = external dso_local global [15 x %struct.E_RECORD], align 16
@r_record = external dso_local global [10 x %struct.R_RECORD], align 16
@t_record = external dso_local global [16 x %struct.T_RECORD], align 16
@a_record = external dso_local global [5 x %struct.A_RECORD], align 16
@i_record = external dso_local global [2 x %struct.I_RECORD], align 16
@.str = external hidden unnamed_addr constant [8 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [8 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local i32 @isValidP(ptr noundef %0, ptr noundef %1) #0 {
  %3 = alloca i32, align 4
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #4
  %10 = load ptr, ptr %4, align 8, !tbaa !5
  %11 = getelementptr inbounds i8, ptr %10, i64 0
  %12 = load i8, ptr %11, align 1, !tbaa !9
  %13 = sext i8 %12 to i32
  %14 = call ptr @strchr(ptr noundef @.str, i32 noundef %13) #5
  %15 = icmp ne ptr %14, null
  br i1 %15, label %16, label %26

16:                                               ; preds = %2
  %17 = load ptr, ptr %4, align 8, !tbaa !5
  %18 = getelementptr inbounds i8, ptr %17, i64 2
  %19 = load i8, ptr %18, align 1, !tbaa !9
  %20 = sext i8 %19 to i32
  %21 = call ptr @strchr(ptr noundef @.str.1, i32 noundef %20) #5
  %22 = icmp eq ptr %21, null
  br i1 %22, label %23, label %25

23:                                               ; preds = %16
  %24 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 3, ptr %24, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

25:                                               ; preds = %16
  br label %46

26:                                               ; preds = %2
  %27 = load ptr, ptr %4, align 8, !tbaa !5
  %28 = getelementptr inbounds i8, ptr %27, i64 0
  %29 = load i8, ptr %28, align 1, !tbaa !9
  %30 = sext i8 %29 to i32
  %31 = call ptr @strchr(ptr noundef @.str.2, i32 noundef %30) #5
  %32 = icmp ne ptr %31, null
  br i1 %32, label %33, label %43

33:                                               ; preds = %26
  %34 = load ptr, ptr %4, align 8, !tbaa !5
  %35 = getelementptr inbounds i8, ptr %34, i64 2
  %36 = load i8, ptr %35, align 1, !tbaa !9
  %37 = sext i8 %36 to i32
  %38 = call ptr @strchr(ptr noundef @.str.3, i32 noundef %37) #5
  %39 = icmp eq ptr %38, null
  br i1 %39, label %40, label %42

40:                                               ; preds = %33
  %41 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 3, ptr %41, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

42:                                               ; preds = %33
  br label %45

43:                                               ; preds = %26
  %44 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 1, ptr %44, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

45:                                               ; preds = %42
  br label %46

46:                                               ; preds = %45, %25
  %47 = load ptr, ptr %4, align 8, !tbaa !5
  %48 = getelementptr inbounds i8, ptr %47, i64 0
  %49 = load i8, ptr %48, align 1, !tbaa !9
  %50 = sext i8 %49 to i32
  %51 = icmp eq i32 %50, 65
  br i1 %51, label %52, label %62

52:                                               ; preds = %46
  %53 = load ptr, ptr %4, align 8, !tbaa !5
  %54 = getelementptr inbounds i8, ptr %53, i64 1
  %55 = load i8, ptr %54, align 1, !tbaa !9
  %56 = sext i8 %55 to i32
  %57 = call ptr @strchr(ptr noundef @.str.4, i32 noundef %56) #5
  %58 = icmp eq ptr %57, null
  br i1 %58, label %59, label %61

59:                                               ; preds = %52
  %60 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 2, ptr %60, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

61:                                               ; preds = %52
  br label %130

62:                                               ; preds = %46
  %63 = load ptr, ptr %4, align 8, !tbaa !5
  %64 = getelementptr inbounds i8, ptr %63, i64 0
  %65 = load i8, ptr %64, align 1, !tbaa !9
  %66 = sext i8 %65 to i32
  %67 = icmp eq i32 %66, 66
  br i1 %67, label %68, label %78

68:                                               ; preds = %62
  %69 = load ptr, ptr %4, align 8, !tbaa !5
  %70 = getelementptr inbounds i8, ptr %69, i64 1
  %71 = load i8, ptr %70, align 1, !tbaa !9
  %72 = sext i8 %71 to i32
  %73 = call ptr @strchr(ptr noundef @.str.5, i32 noundef %72) #5
  %74 = icmp eq ptr %73, null
  br i1 %74, label %75, label %77

75:                                               ; preds = %68
  %76 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 2, ptr %76, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

77:                                               ; preds = %68
  br label %129

78:                                               ; preds = %62
  %79 = load ptr, ptr %4, align 8, !tbaa !5
  %80 = getelementptr inbounds i8, ptr %79, i64 0
  %81 = load i8, ptr %80, align 1, !tbaa !9
  %82 = sext i8 %81 to i32
  %83 = icmp eq i32 %82, 76
  br i1 %83, label %84, label %94

84:                                               ; preds = %78
  %85 = load ptr, ptr %4, align 8, !tbaa !5
  %86 = getelementptr inbounds i8, ptr %85, i64 1
  %87 = load i8, ptr %86, align 1, !tbaa !9
  %88 = sext i8 %87 to i32
  %89 = call ptr @strchr(ptr noundef @.str.6, i32 noundef %88) #5
  %90 = icmp eq ptr %89, null
  br i1 %90, label %91, label %93

91:                                               ; preds = %84
  %92 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 2, ptr %92, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

93:                                               ; preds = %84
  br label %128

94:                                               ; preds = %78
  %95 = load ptr, ptr %4, align 8, !tbaa !5
  %96 = getelementptr inbounds i8, ptr %95, i64 0
  %97 = load i8, ptr %96, align 1, !tbaa !9
  %98 = sext i8 %97 to i32
  %99 = icmp eq i32 %98, 84
  br i1 %99, label %100, label %110

100:                                              ; preds = %94
  %101 = load ptr, ptr %4, align 8, !tbaa !5
  %102 = getelementptr inbounds i8, ptr %101, i64 1
  %103 = load i8, ptr %102, align 1, !tbaa !9
  %104 = sext i8 %103 to i32
  %105 = call ptr @strchr(ptr noundef @.str.7, i32 noundef %104) #5
  %106 = icmp eq ptr %105, null
  br i1 %106, label %107, label %109

107:                                              ; preds = %100
  %108 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 2, ptr %108, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

109:                                              ; preds = %100
  br label %127

110:                                              ; preds = %94
  %111 = load ptr, ptr %4, align 8, !tbaa !5
  %112 = getelementptr inbounds i8, ptr %111, i64 0
  %113 = load i8, ptr %112, align 1, !tbaa !9
  %114 = sext i8 %113 to i32
  %115 = icmp eq i32 %114, 82
  br i1 %115, label %116, label %126

116:                                              ; preds = %110
  %117 = load ptr, ptr %4, align 8, !tbaa !5
  %118 = getelementptr inbounds i8, ptr %117, i64 1
  %119 = load i8, ptr %118, align 1, !tbaa !9
  %120 = sext i8 %119 to i32
  %121 = call ptr @strchr(ptr noundef @.str.8, i32 noundef %120) #5
  %122 = icmp eq ptr %121, null
  br i1 %122, label %123, label %125

123:                                              ; preds = %116
  %124 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 2, ptr %124, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

125:                                              ; preds = %116
  br label %126

126:                                              ; preds = %125, %110
  br label %127

127:                                              ; preds = %126, %109
  br label %128

128:                                              ; preds = %127, %93
  br label %129

129:                                              ; preds = %128, %77
  br label %130

130:                                              ; preds = %129, %61
  %131 = load ptr, ptr %4, align 8, !tbaa !5
  %132 = getelementptr inbounds i8, ptr %131, i64 0
  %133 = load i8, ptr %132, align 1, !tbaa !9
  %134 = sext i8 %133 to i32
  %135 = icmp eq i32 %134, 66
  br i1 %135, label %136, label %194

136:                                              ; preds = %130
  %137 = load ptr, ptr %4, align 8, !tbaa !5
  %138 = getelementptr inbounds i8, ptr %137, i64 1
  %139 = load i8, ptr %138, align 1, !tbaa !9
  %140 = sext i8 %139 to i32
  %141 = icmp ne i32 %140, 68
  br i1 %141, label %142, label %194

142:                                              ; preds = %136
  %143 = load ptr, ptr %4, align 8, !tbaa !5
  %144 = getelementptr inbounds i8, ptr %143, i64 1
  %145 = load i8, ptr %144, align 1, !tbaa !9
  %146 = sext i8 %145 to i32
  %147 = icmp ne i32 %146, 77
  br i1 %147, label %148, label %194

148:                                              ; preds = %142
  store i32 0, ptr %6, align 4, !tbaa !10
  br label %149

149:                                              ; preds = %190, %148
  %150 = load i32, ptr %6, align 4, !tbaa !10
  %151 = sext i32 %150 to i64
  %152 = getelementptr inbounds [14 x %struct.B_RECORD], ptr @b_record, i64 0, i64 %151
  %153 = getelementptr inbounds %struct.B_RECORD, ptr %152, i32 0, i32 0
  %154 = load i32, ptr %153, align 8, !tbaa !12
  %155 = icmp sgt i32 %154, 0
  br i1 %155, label %156, label %166

156:                                              ; preds = %149
  %157 = load i32, ptr %6, align 4, !tbaa !10
  %158 = sext i32 %157 to i64
  %159 = getelementptr inbounds [14 x %struct.B_RECORD], ptr @b_record, i64 0, i64 %158
  %160 = getelementptr inbounds %struct.B_RECORD, ptr %159, i32 0, i32 0
  %161 = load i32, ptr %160, align 8, !tbaa !12
  %162 = sext i32 %161 to i64
  %163 = load ptr, ptr %4, align 8, !tbaa !5
  %164 = call i64 @strlen(ptr noundef %163) #5
  %165 = icmp ult i64 %162, %164
  br label %166

166:                                              ; preds = %156, %149
  %167 = phi i1 [ false, %149 ], [ %165, %156 ]
  br i1 %167, label %168, label %193

168:                                              ; preds = %166
  %169 = load i32, ptr %6, align 4, !tbaa !10
  %170 = sext i32 %169 to i64
  %171 = getelementptr inbounds [14 x %struct.B_RECORD], ptr @b_record, i64 0, i64 %170
  %172 = getelementptr inbounds %struct.B_RECORD, ptr %171, i32 0, i32 0
  %173 = load i32, ptr %172, align 8, !tbaa !12
  store i32 %173, ptr %7, align 4, !tbaa !10
  %174 = load i32, ptr %6, align 4, !tbaa !10
  %175 = sext i32 %174 to i64
  %176 = getelementptr inbounds [14 x %struct.B_RECORD], ptr @b_record, i64 0, i64 %175
  %177 = getelementptr inbounds %struct.B_RECORD, ptr %176, i32 0, i32 1
  %178 = load i32, ptr %177, align 4, !tbaa !14
  store i32 %178, ptr %8, align 4, !tbaa !10
  %179 = load ptr, ptr %4, align 8, !tbaa !5
  %180 = load i32, ptr %7, align 4, !tbaa !10
  %181 = sub nsw i32 %180, 1
  %182 = sext i32 %181 to i64
  %183 = getelementptr inbounds i8, ptr %179, i64 %182
  %184 = load i32, ptr %8, align 4, !tbaa !10
  %185 = call i32 @is_float(ptr noundef %183, i32 noundef %184)
  %186 = icmp eq i32 %185, 0
  br i1 %186, label %187, label %190

187:                                              ; preds = %168
  %188 = load i32, ptr %7, align 4, !tbaa !10
  %189 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 %188, ptr %189, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

190:                                              ; preds = %168
  %191 = load i32, ptr %6, align 4, !tbaa !10
  %192 = add nsw i32 %191, 1
  store i32 %192, ptr %6, align 4, !tbaa !10
  br label %149, !llvm.loop !15

193:                                              ; preds = %166
  br label %813

194:                                              ; preds = %142, %136, %130
  %195 = load ptr, ptr %4, align 8, !tbaa !5
  %196 = getelementptr inbounds i8, ptr %195, i64 0
  %197 = load i8, ptr %196, align 1, !tbaa !9
  %198 = sext i8 %197 to i32
  %199 = icmp eq i32 %198, 66
  br i1 %199, label %200, label %258

200:                                              ; preds = %194
  %201 = load ptr, ptr %4, align 8, !tbaa !5
  %202 = getelementptr inbounds i8, ptr %201, i64 1
  %203 = load i8, ptr %202, align 1, !tbaa !9
  %204 = sext i8 %203 to i32
  %205 = icmp ne i32 %204, 68
  br i1 %205, label %212, label %206

206:                                              ; preds = %200
  %207 = load ptr, ptr %4, align 8, !tbaa !5
  %208 = getelementptr inbounds i8, ptr %207, i64 1
  %209 = load i8, ptr %208, align 1, !tbaa !9
  %210 = sext i8 %209 to i32
  %211 = icmp eq i32 %210, 77
  br i1 %211, label %212, label %258

212:                                              ; preds = %206, %200
  store i32 0, ptr %6, align 4, !tbaa !10
  br label %213

213:                                              ; preds = %254, %212
  %214 = load i32, ptr %6, align 4, !tbaa !10
  %215 = sext i32 %214 to i64
  %216 = getelementptr inbounds [13 x %struct.BM_RECORD], ptr @bm_record, i64 0, i64 %215
  %217 = getelementptr inbounds %struct.BM_RECORD, ptr %216, i32 0, i32 0
  %218 = load i32, ptr %217, align 8, !tbaa !17
  %219 = icmp sgt i32 %218, 0
  br i1 %219, label %220, label %230

220:                                              ; preds = %213
  %221 = load i32, ptr %6, align 4, !tbaa !10
  %222 = sext i32 %221 to i64
  %223 = getelementptr inbounds [13 x %struct.BM_RECORD], ptr @bm_record, i64 0, i64 %222
  %224 = getelementptr inbounds %struct.BM_RECORD, ptr %223, i32 0, i32 0
  %225 = load i32, ptr %224, align 8, !tbaa !17
  %226 = sext i32 %225 to i64
  %227 = load ptr, ptr %4, align 8, !tbaa !5
  %228 = call i64 @strlen(ptr noundef %227) #5
  %229 = icmp ult i64 %226, %228
  br label %230

230:                                              ; preds = %220, %213
  %231 = phi i1 [ false, %213 ], [ %229, %220 ]
  br i1 %231, label %232, label %257

232:                                              ; preds = %230
  %233 = load i32, ptr %6, align 4, !tbaa !10
  %234 = sext i32 %233 to i64
  %235 = getelementptr inbounds [13 x %struct.BM_RECORD], ptr @bm_record, i64 0, i64 %234
  %236 = getelementptr inbounds %struct.BM_RECORD, ptr %235, i32 0, i32 0
  %237 = load i32, ptr %236, align 8, !tbaa !17
  store i32 %237, ptr %7, align 4, !tbaa !10
  %238 = load i32, ptr %6, align 4, !tbaa !10
  %239 = sext i32 %238 to i64
  %240 = getelementptr inbounds [13 x %struct.BM_RECORD], ptr @bm_record, i64 0, i64 %239
  %241 = getelementptr inbounds %struct.BM_RECORD, ptr %240, i32 0, i32 1
  %242 = load i32, ptr %241, align 4, !tbaa !19
  store i32 %242, ptr %8, align 4, !tbaa !10
  %243 = load ptr, ptr %4, align 8, !tbaa !5
  %244 = load i32, ptr %7, align 4, !tbaa !10
  %245 = sub nsw i32 %244, 1
  %246 = sext i32 %245 to i64
  %247 = getelementptr inbounds i8, ptr %243, i64 %246
  %248 = load i32, ptr %8, align 4, !tbaa !10
  %249 = call i32 @is_float(ptr noundef %247, i32 noundef %248)
  %250 = icmp eq i32 %249, 0
  br i1 %250, label %251, label %254

251:                                              ; preds = %232
  %252 = load i32, ptr %7, align 4, !tbaa !10
  %253 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 %252, ptr %253, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

254:                                              ; preds = %232
  %255 = load i32, ptr %6, align 4, !tbaa !10
  %256 = add nsw i32 %255, 1
  store i32 %256, ptr %6, align 4, !tbaa !10
  br label %213, !llvm.loop !20

257:                                              ; preds = %230
  br label %812

258:                                              ; preds = %206, %194
  %259 = load ptr, ptr %4, align 8, !tbaa !5
  %260 = getelementptr inbounds i8, ptr %259, i64 0
  %261 = load i8, ptr %260, align 1, !tbaa !9
  %262 = sext i8 %261 to i32
  %263 = icmp eq i32 %262, 43
  br i1 %263, label %264, label %310

264:                                              ; preds = %258
  store i32 0, ptr %6, align 4, !tbaa !10
  br label %265

265:                                              ; preds = %306, %264
  %266 = load i32, ptr %6, align 4, !tbaa !10
  %267 = sext i32 %266 to i64
  %268 = getelementptr inbounds [14 x %struct.B_RECORD], ptr @b_record, i64 0, i64 %267
  %269 = getelementptr inbounds %struct.B_RECORD, ptr %268, i32 0, i32 0
  %270 = load i32, ptr %269, align 8, !tbaa !12
  %271 = icmp sgt i32 %270, 0
  br i1 %271, label %272, label %282

272:                                              ; preds = %265
  %273 = load i32, ptr %6, align 4, !tbaa !10
  %274 = sext i32 %273 to i64
  %275 = getelementptr inbounds [14 x %struct.B_RECORD], ptr @b_record, i64 0, i64 %274
  %276 = getelementptr inbounds %struct.B_RECORD, ptr %275, i32 0, i32 0
  %277 = load i32, ptr %276, align 8, !tbaa !12
  %278 = sext i32 %277 to i64
  %279 = load ptr, ptr %4, align 8, !tbaa !5
  %280 = call i64 @strlen(ptr noundef %279) #5
  %281 = icmp ult i64 %278, %280
  br label %282

282:                                              ; preds = %272, %265
  %283 = phi i1 [ false, %265 ], [ %281, %272 ]
  br i1 %283, label %284, label %309

284:                                              ; preds = %282
  %285 = load i32, ptr %6, align 4, !tbaa !10
  %286 = sext i32 %285 to i64
  %287 = getelementptr inbounds [14 x %struct.B_RECORD], ptr @b_record, i64 0, i64 %286
  %288 = getelementptr inbounds %struct.B_RECORD, ptr %287, i32 0, i32 0
  %289 = load i32, ptr %288, align 8, !tbaa !12
  store i32 %289, ptr %7, align 4, !tbaa !10
  %290 = load i32, ptr %6, align 4, !tbaa !10
  %291 = sext i32 %290 to i64
  %292 = getelementptr inbounds [14 x %struct.B_RECORD], ptr @b_record, i64 0, i64 %291
  %293 = getelementptr inbounds %struct.B_RECORD, ptr %292, i32 0, i32 1
  %294 = load i32, ptr %293, align 4, !tbaa !14
  store i32 %294, ptr %8, align 4, !tbaa !10
  %295 = load ptr, ptr %4, align 8, !tbaa !5
  %296 = load i32, ptr %7, align 4, !tbaa !10
  %297 = sub nsw i32 %296, 1
  %298 = sext i32 %297 to i64
  %299 = getelementptr inbounds i8, ptr %295, i64 %298
  %300 = load i32, ptr %8, align 4, !tbaa !10
  %301 = call i32 @is_float(ptr noundef %299, i32 noundef %300)
  %302 = icmp eq i32 %301, 0
  br i1 %302, label %303, label %306

303:                                              ; preds = %284
  %304 = load i32, ptr %7, align 4, !tbaa !10
  %305 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 %304, ptr %305, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

306:                                              ; preds = %284
  %307 = load i32, ptr %6, align 4, !tbaa !10
  %308 = add nsw i32 %307, 1
  store i32 %308, ptr %6, align 4, !tbaa !10
  br label %265, !llvm.loop !21

309:                                              ; preds = %282
  br label %811

310:                                              ; preds = %258
  %311 = load ptr, ptr %4, align 8, !tbaa !5
  %312 = getelementptr inbounds i8, ptr %311, i64 0
  %313 = load i8, ptr %312, align 1, !tbaa !9
  %314 = sext i8 %313 to i32
  %315 = icmp eq i32 %314, 88
  br i1 %315, label %316, label %362

316:                                              ; preds = %310
  store i32 0, ptr %6, align 4, !tbaa !10
  br label %317

317:                                              ; preds = %358, %316
  %318 = load i32, ptr %6, align 4, !tbaa !10
  %319 = sext i32 %318 to i64
  %320 = getelementptr inbounds [19 x %struct.X_RECORD], ptr @x_record, i64 0, i64 %319
  %321 = getelementptr inbounds %struct.X_RECORD, ptr %320, i32 0, i32 0
  %322 = load i32, ptr %321, align 8, !tbaa !22
  %323 = icmp sgt i32 %322, 0
  br i1 %323, label %324, label %334

324:                                              ; preds = %317
  %325 = load i32, ptr %6, align 4, !tbaa !10
  %326 = sext i32 %325 to i64
  %327 = getelementptr inbounds [19 x %struct.X_RECORD], ptr @x_record, i64 0, i64 %326
  %328 = getelementptr inbounds %struct.X_RECORD, ptr %327, i32 0, i32 0
  %329 = load i32, ptr %328, align 8, !tbaa !22
  %330 = sext i32 %329 to i64
  %331 = load ptr, ptr %4, align 8, !tbaa !5
  %332 = call i64 @strlen(ptr noundef %331) #5
  %333 = icmp ult i64 %330, %332
  br label %334

334:                                              ; preds = %324, %317
  %335 = phi i1 [ false, %317 ], [ %333, %324 ]
  br i1 %335, label %336, label %361

336:                                              ; preds = %334
  %337 = load i32, ptr %6, align 4, !tbaa !10
  %338 = sext i32 %337 to i64
  %339 = getelementptr inbounds [19 x %struct.X_RECORD], ptr @x_record, i64 0, i64 %338
  %340 = getelementptr inbounds %struct.X_RECORD, ptr %339, i32 0, i32 0
  %341 = load i32, ptr %340, align 8, !tbaa !22
  store i32 %341, ptr %7, align 4, !tbaa !10
  %342 = load i32, ptr %6, align 4, !tbaa !10
  %343 = sext i32 %342 to i64
  %344 = getelementptr inbounds [19 x %struct.X_RECORD], ptr @x_record, i64 0, i64 %343
  %345 = getelementptr inbounds %struct.X_RECORD, ptr %344, i32 0, i32 1
  %346 = load i32, ptr %345, align 4, !tbaa !24
  store i32 %346, ptr %8, align 4, !tbaa !10
  %347 = load ptr, ptr %4, align 8, !tbaa !5
  %348 = load i32, ptr %7, align 4, !tbaa !10
  %349 = sub nsw i32 %348, 1
  %350 = sext i32 %349 to i64
  %351 = getelementptr inbounds i8, ptr %347, i64 %350
  %352 = load i32, ptr %8, align 4, !tbaa !10
  %353 = call i32 @is_float(ptr noundef %351, i32 noundef %352)
  %354 = icmp eq i32 %353, 0
  br i1 %354, label %355, label %358

355:                                              ; preds = %336
  %356 = load i32, ptr %7, align 4, !tbaa !10
  %357 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 %356, ptr %357, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

358:                                              ; preds = %336
  %359 = load i32, ptr %6, align 4, !tbaa !10
  %360 = add nsw i32 %359, 1
  store i32 %360, ptr %6, align 4, !tbaa !10
  br label %317, !llvm.loop !25

361:                                              ; preds = %334
  br label %810

362:                                              ; preds = %310
  %363 = load ptr, ptr %4, align 8, !tbaa !5
  %364 = getelementptr inbounds i8, ptr %363, i64 0
  %365 = load i8, ptr %364, align 1, !tbaa !9
  %366 = sext i8 %365 to i32
  %367 = icmp eq i32 %366, 76
  br i1 %367, label %368, label %426

368:                                              ; preds = %362
  %369 = load ptr, ptr %4, align 8, !tbaa !5
  %370 = getelementptr inbounds i8, ptr %369, i64 1
  %371 = load i8, ptr %370, align 1, !tbaa !9
  %372 = sext i8 %371 to i32
  %373 = icmp ne i32 %372, 68
  br i1 %373, label %374, label %426

374:                                              ; preds = %368
  %375 = load ptr, ptr %4, align 8, !tbaa !5
  %376 = getelementptr inbounds i8, ptr %375, i64 1
  %377 = load i8, ptr %376, align 1, !tbaa !9
  %378 = sext i8 %377 to i32
  %379 = icmp ne i32 %378, 77
  br i1 %379, label %380, label %426

380:                                              ; preds = %374
  store i32 0, ptr %6, align 4, !tbaa !10
  br label %381

381:                                              ; preds = %422, %380
  %382 = load i32, ptr %6, align 4, !tbaa !10
  %383 = sext i32 %382 to i64
  %384 = getelementptr inbounds [14 x %struct.L_RECORD], ptr @l_record, i64 0, i64 %383
  %385 = getelementptr inbounds %struct.L_RECORD, ptr %384, i32 0, i32 0
  %386 = load i32, ptr %385, align 8, !tbaa !26
  %387 = icmp sgt i32 %386, 0
  br i1 %387, label %388, label %398

388:                                              ; preds = %381
  %389 = load i32, ptr %6, align 4, !tbaa !10
  %390 = sext i32 %389 to i64
  %391 = getelementptr inbounds [14 x %struct.L_RECORD], ptr @l_record, i64 0, i64 %390
  %392 = getelementptr inbounds %struct.L_RECORD, ptr %391, i32 0, i32 0
  %393 = load i32, ptr %392, align 8, !tbaa !26
  %394 = sext i32 %393 to i64
  %395 = load ptr, ptr %4, align 8, !tbaa !5
  %396 = call i64 @strlen(ptr noundef %395) #5
  %397 = icmp ult i64 %394, %396
  br label %398

398:                                              ; preds = %388, %381
  %399 = phi i1 [ false, %381 ], [ %397, %388 ]
  br i1 %399, label %400, label %425

400:                                              ; preds = %398
  %401 = load i32, ptr %6, align 4, !tbaa !10
  %402 = sext i32 %401 to i64
  %403 = getelementptr inbounds [14 x %struct.L_RECORD], ptr @l_record, i64 0, i64 %402
  %404 = getelementptr inbounds %struct.L_RECORD, ptr %403, i32 0, i32 0
  %405 = load i32, ptr %404, align 8, !tbaa !26
  store i32 %405, ptr %7, align 4, !tbaa !10
  %406 = load i32, ptr %6, align 4, !tbaa !10
  %407 = sext i32 %406 to i64
  %408 = getelementptr inbounds [14 x %struct.L_RECORD], ptr @l_record, i64 0, i64 %407
  %409 = getelementptr inbounds %struct.L_RECORD, ptr %408, i32 0, i32 1
  %410 = load i32, ptr %409, align 4, !tbaa !28
  store i32 %410, ptr %8, align 4, !tbaa !10
  %411 = load ptr, ptr %4, align 8, !tbaa !5
  %412 = load i32, ptr %7, align 4, !tbaa !10
  %413 = sub nsw i32 %412, 1
  %414 = sext i32 %413 to i64
  %415 = getelementptr inbounds i8, ptr %411, i64 %414
  %416 = load i32, ptr %8, align 4, !tbaa !10
  %417 = call i32 @is_float(ptr noundef %415, i32 noundef %416)
  %418 = icmp eq i32 %417, 0
  br i1 %418, label %419, label %422

419:                                              ; preds = %400
  %420 = load i32, ptr %7, align 4, !tbaa !10
  %421 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 %420, ptr %421, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

422:                                              ; preds = %400
  %423 = load i32, ptr %6, align 4, !tbaa !10
  %424 = add nsw i32 %423, 1
  store i32 %424, ptr %6, align 4, !tbaa !10
  br label %381, !llvm.loop !29

425:                                              ; preds = %398
  br label %809

426:                                              ; preds = %374, %368, %362
  %427 = load ptr, ptr %4, align 8, !tbaa !5
  %428 = getelementptr inbounds i8, ptr %427, i64 0
  %429 = load i8, ptr %428, align 1, !tbaa !9
  %430 = sext i8 %429 to i32
  %431 = icmp eq i32 %430, 76
  br i1 %431, label %432, label %484

432:                                              ; preds = %426
  %433 = load ptr, ptr %4, align 8, !tbaa !5
  %434 = getelementptr inbounds i8, ptr %433, i64 1
  %435 = load i8, ptr %434, align 1, !tbaa !9
  %436 = sext i8 %435 to i32
  %437 = icmp eq i32 %436, 68
  br i1 %437, label %438, label %484

438:                                              ; preds = %432
  store i32 0, ptr %6, align 4, !tbaa !10
  br label %439

439:                                              ; preds = %480, %438
  %440 = load i32, ptr %6, align 4, !tbaa !10
  %441 = sext i32 %440 to i64
  %442 = getelementptr inbounds [14 x %struct.LD_RECORD], ptr @ld_record, i64 0, i64 %441
  %443 = getelementptr inbounds %struct.LD_RECORD, ptr %442, i32 0, i32 0
  %444 = load i32, ptr %443, align 8, !tbaa !30
  %445 = icmp sgt i32 %444, 0
  br i1 %445, label %446, label %456

446:                                              ; preds = %439
  %447 = load i32, ptr %6, align 4, !tbaa !10
  %448 = sext i32 %447 to i64
  %449 = getelementptr inbounds [14 x %struct.LD_RECORD], ptr @ld_record, i64 0, i64 %448
  %450 = getelementptr inbounds %struct.LD_RECORD, ptr %449, i32 0, i32 0
  %451 = load i32, ptr %450, align 8, !tbaa !30
  %452 = sext i32 %451 to i64
  %453 = load ptr, ptr %4, align 8, !tbaa !5
  %454 = call i64 @strlen(ptr noundef %453) #5
  %455 = icmp ult i64 %452, %454
  br label %456

456:                                              ; preds = %446, %439
  %457 = phi i1 [ false, %439 ], [ %455, %446 ]
  br i1 %457, label %458, label %483

458:                                              ; preds = %456
  %459 = load i32, ptr %6, align 4, !tbaa !10
  %460 = sext i32 %459 to i64
  %461 = getelementptr inbounds [14 x %struct.LD_RECORD], ptr @ld_record, i64 0, i64 %460
  %462 = getelementptr inbounds %struct.LD_RECORD, ptr %461, i32 0, i32 0
  %463 = load i32, ptr %462, align 8, !tbaa !30
  store i32 %463, ptr %7, align 4, !tbaa !10
  %464 = load i32, ptr %6, align 4, !tbaa !10
  %465 = sext i32 %464 to i64
  %466 = getelementptr inbounds [14 x %struct.LD_RECORD], ptr @ld_record, i64 0, i64 %465
  %467 = getelementptr inbounds %struct.LD_RECORD, ptr %466, i32 0, i32 1
  %468 = load i32, ptr %467, align 4, !tbaa !32
  store i32 %468, ptr %8, align 4, !tbaa !10
  %469 = load ptr, ptr %4, align 8, !tbaa !5
  %470 = load i32, ptr %7, align 4, !tbaa !10
  %471 = sub nsw i32 %470, 1
  %472 = sext i32 %471 to i64
  %473 = getelementptr inbounds i8, ptr %469, i64 %472
  %474 = load i32, ptr %8, align 4, !tbaa !10
  %475 = call i32 @is_float(ptr noundef %473, i32 noundef %474)
  %476 = icmp eq i32 %475, 0
  br i1 %476, label %477, label %480

477:                                              ; preds = %458
  %478 = load i32, ptr %7, align 4, !tbaa !10
  %479 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 %478, ptr %479, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

480:                                              ; preds = %458
  %481 = load i32, ptr %6, align 4, !tbaa !10
  %482 = add nsw i32 %481, 1
  store i32 %482, ptr %6, align 4, !tbaa !10
  br label %439, !llvm.loop !33

483:                                              ; preds = %456
  br label %808

484:                                              ; preds = %432, %426
  %485 = load ptr, ptr %4, align 8, !tbaa !5
  %486 = getelementptr inbounds i8, ptr %485, i64 0
  %487 = load i8, ptr %486, align 1, !tbaa !9
  %488 = sext i8 %487 to i32
  %489 = icmp eq i32 %488, 76
  br i1 %489, label %490, label %542

490:                                              ; preds = %484
  %491 = load ptr, ptr %4, align 8, !tbaa !5
  %492 = getelementptr inbounds i8, ptr %491, i64 1
  %493 = load i8, ptr %492, align 1, !tbaa !9
  %494 = sext i8 %493 to i32
  %495 = icmp eq i32 %494, 77
  br i1 %495, label %496, label %542

496:                                              ; preds = %490
  store i32 0, ptr %6, align 4, !tbaa !10
  br label %497

497:                                              ; preds = %538, %496
  %498 = load i32, ptr %6, align 4, !tbaa !10
  %499 = sext i32 %498 to i64
  %500 = getelementptr inbounds [10 x %struct.LD_RECORD], ptr @lm_record, i64 0, i64 %499
  %501 = getelementptr inbounds %struct.LD_RECORD, ptr %500, i32 0, i32 0
  %502 = load i32, ptr %501, align 8, !tbaa !30
  %503 = icmp sgt i32 %502, 0
  br i1 %503, label %504, label %514

504:                                              ; preds = %497
  %505 = load i32, ptr %6, align 4, !tbaa !10
  %506 = sext i32 %505 to i64
  %507 = getelementptr inbounds [10 x %struct.LD_RECORD], ptr @lm_record, i64 0, i64 %506
  %508 = getelementptr inbounds %struct.LD_RECORD, ptr %507, i32 0, i32 0
  %509 = load i32, ptr %508, align 8, !tbaa !30
  %510 = sext i32 %509 to i64
  %511 = load ptr, ptr %4, align 8, !tbaa !5
  %512 = call i64 @strlen(ptr noundef %511) #5
  %513 = icmp ult i64 %510, %512
  br label %514

514:                                              ; preds = %504, %497
  %515 = phi i1 [ false, %497 ], [ %513, %504 ]
  br i1 %515, label %516, label %541

516:                                              ; preds = %514
  %517 = load i32, ptr %6, align 4, !tbaa !10
  %518 = sext i32 %517 to i64
  %519 = getelementptr inbounds [10 x %struct.LD_RECORD], ptr @lm_record, i64 0, i64 %518
  %520 = getelementptr inbounds %struct.LD_RECORD, ptr %519, i32 0, i32 0
  %521 = load i32, ptr %520, align 8, !tbaa !30
  store i32 %521, ptr %7, align 4, !tbaa !10
  %522 = load i32, ptr %6, align 4, !tbaa !10
  %523 = sext i32 %522 to i64
  %524 = getelementptr inbounds [10 x %struct.LD_RECORD], ptr @lm_record, i64 0, i64 %523
  %525 = getelementptr inbounds %struct.LD_RECORD, ptr %524, i32 0, i32 1
  %526 = load i32, ptr %525, align 4, !tbaa !32
  store i32 %526, ptr %8, align 4, !tbaa !10
  %527 = load ptr, ptr %4, align 8, !tbaa !5
  %528 = load i32, ptr %7, align 4, !tbaa !10
  %529 = sub nsw i32 %528, 1
  %530 = sext i32 %529 to i64
  %531 = getelementptr inbounds i8, ptr %527, i64 %530
  %532 = load i32, ptr %8, align 4, !tbaa !10
  %533 = call i32 @is_float(ptr noundef %531, i32 noundef %532)
  %534 = icmp eq i32 %533, 0
  br i1 %534, label %535, label %538

535:                                              ; preds = %516
  %536 = load i32, ptr %7, align 4, !tbaa !10
  %537 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 %536, ptr %537, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

538:                                              ; preds = %516
  %539 = load i32, ptr %6, align 4, !tbaa !10
  %540 = add nsw i32 %539, 1
  store i32 %540, ptr %6, align 4, !tbaa !10
  br label %497, !llvm.loop !34

541:                                              ; preds = %514
  br label %807

542:                                              ; preds = %490, %484
  %543 = load ptr, ptr %4, align 8, !tbaa !5
  %544 = getelementptr inbounds i8, ptr %543, i64 0
  %545 = load i8, ptr %544, align 1, !tbaa !9
  %546 = sext i8 %545 to i32
  %547 = icmp eq i32 %546, 69
  br i1 %547, label %548, label %594

548:                                              ; preds = %542
  store i32 0, ptr %6, align 4, !tbaa !10
  br label %549

549:                                              ; preds = %590, %548
  %550 = load i32, ptr %6, align 4, !tbaa !10
  %551 = sext i32 %550 to i64
  %552 = getelementptr inbounds [15 x %struct.E_RECORD], ptr @e_record, i64 0, i64 %551
  %553 = getelementptr inbounds %struct.E_RECORD, ptr %552, i32 0, i32 0
  %554 = load i32, ptr %553, align 8, !tbaa !35
  %555 = icmp sgt i32 %554, 0
  br i1 %555, label %556, label %566

556:                                              ; preds = %549
  %557 = load i32, ptr %6, align 4, !tbaa !10
  %558 = sext i32 %557 to i64
  %559 = getelementptr inbounds [15 x %struct.E_RECORD], ptr @e_record, i64 0, i64 %558
  %560 = getelementptr inbounds %struct.E_RECORD, ptr %559, i32 0, i32 0
  %561 = load i32, ptr %560, align 8, !tbaa !35
  %562 = sext i32 %561 to i64
  %563 = load ptr, ptr %4, align 8, !tbaa !5
  %564 = call i64 @strlen(ptr noundef %563) #5
  %565 = icmp ult i64 %562, %564
  br label %566

566:                                              ; preds = %556, %549
  %567 = phi i1 [ false, %549 ], [ %565, %556 ]
  br i1 %567, label %568, label %593

568:                                              ; preds = %566
  %569 = load i32, ptr %6, align 4, !tbaa !10
  %570 = sext i32 %569 to i64
  %571 = getelementptr inbounds [15 x %struct.E_RECORD], ptr @e_record, i64 0, i64 %570
  %572 = getelementptr inbounds %struct.E_RECORD, ptr %571, i32 0, i32 0
  %573 = load i32, ptr %572, align 8, !tbaa !35
  store i32 %573, ptr %7, align 4, !tbaa !10
  %574 = load i32, ptr %6, align 4, !tbaa !10
  %575 = sext i32 %574 to i64
  %576 = getelementptr inbounds [15 x %struct.E_RECORD], ptr @e_record, i64 0, i64 %575
  %577 = getelementptr inbounds %struct.E_RECORD, ptr %576, i32 0, i32 1
  %578 = load i32, ptr %577, align 4, !tbaa !37
  store i32 %578, ptr %8, align 4, !tbaa !10
  %579 = load ptr, ptr %4, align 8, !tbaa !5
  %580 = load i32, ptr %7, align 4, !tbaa !10
  %581 = sub nsw i32 %580, 1
  %582 = sext i32 %581 to i64
  %583 = getelementptr inbounds i8, ptr %579, i64 %582
  %584 = load i32, ptr %8, align 4, !tbaa !10
  %585 = call i32 @is_float(ptr noundef %583, i32 noundef %584)
  %586 = icmp eq i32 %585, 0
  br i1 %586, label %587, label %590

587:                                              ; preds = %568
  %588 = load i32, ptr %7, align 4, !tbaa !10
  %589 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 %588, ptr %589, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

590:                                              ; preds = %568
  %591 = load i32, ptr %6, align 4, !tbaa !10
  %592 = add nsw i32 %591, 1
  store i32 %592, ptr %6, align 4, !tbaa !10
  br label %549, !llvm.loop !38

593:                                              ; preds = %566
  br label %806

594:                                              ; preds = %542
  %595 = load ptr, ptr %4, align 8, !tbaa !5
  %596 = getelementptr inbounds i8, ptr %595, i64 0
  %597 = load i8, ptr %596, align 1, !tbaa !9
  %598 = sext i8 %597 to i32
  %599 = icmp eq i32 %598, 82
  br i1 %599, label %600, label %646

600:                                              ; preds = %594
  store i32 0, ptr %6, align 4, !tbaa !10
  br label %601

601:                                              ; preds = %642, %600
  %602 = load i32, ptr %6, align 4, !tbaa !10
  %603 = sext i32 %602 to i64
  %604 = getelementptr inbounds [10 x %struct.R_RECORD], ptr @r_record, i64 0, i64 %603
  %605 = getelementptr inbounds %struct.R_RECORD, ptr %604, i32 0, i32 0
  %606 = load i32, ptr %605, align 8, !tbaa !39
  %607 = icmp sgt i32 %606, 0
  br i1 %607, label %608, label %618

608:                                              ; preds = %601
  %609 = load i32, ptr %6, align 4, !tbaa !10
  %610 = sext i32 %609 to i64
  %611 = getelementptr inbounds [10 x %struct.R_RECORD], ptr @r_record, i64 0, i64 %610
  %612 = getelementptr inbounds %struct.R_RECORD, ptr %611, i32 0, i32 0
  %613 = load i32, ptr %612, align 8, !tbaa !39
  %614 = sext i32 %613 to i64
  %615 = load ptr, ptr %4, align 8, !tbaa !5
  %616 = call i64 @strlen(ptr noundef %615) #5
  %617 = icmp ult i64 %614, %616
  br label %618

618:                                              ; preds = %608, %601
  %619 = phi i1 [ false, %601 ], [ %617, %608 ]
  br i1 %619, label %620, label %645

620:                                              ; preds = %618
  %621 = load i32, ptr %6, align 4, !tbaa !10
  %622 = sext i32 %621 to i64
  %623 = getelementptr inbounds [10 x %struct.R_RECORD], ptr @r_record, i64 0, i64 %622
  %624 = getelementptr inbounds %struct.R_RECORD, ptr %623, i32 0, i32 0
  %625 = load i32, ptr %624, align 8, !tbaa !39
  store i32 %625, ptr %7, align 4, !tbaa !10
  %626 = load i32, ptr %6, align 4, !tbaa !10
  %627 = sext i32 %626 to i64
  %628 = getelementptr inbounds [10 x %struct.R_RECORD], ptr @r_record, i64 0, i64 %627
  %629 = getelementptr inbounds %struct.R_RECORD, ptr %628, i32 0, i32 1
  %630 = load i32, ptr %629, align 4, !tbaa !41
  store i32 %630, ptr %8, align 4, !tbaa !10
  %631 = load ptr, ptr %4, align 8, !tbaa !5
  %632 = load i32, ptr %7, align 4, !tbaa !10
  %633 = sub nsw i32 %632, 1
  %634 = sext i32 %633 to i64
  %635 = getelementptr inbounds i8, ptr %631, i64 %634
  %636 = load i32, ptr %8, align 4, !tbaa !10
  %637 = call i32 @is_float(ptr noundef %635, i32 noundef %636)
  %638 = icmp eq i32 %637, 0
  br i1 %638, label %639, label %642

639:                                              ; preds = %620
  %640 = load i32, ptr %7, align 4, !tbaa !10
  %641 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 %640, ptr %641, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

642:                                              ; preds = %620
  %643 = load i32, ptr %6, align 4, !tbaa !10
  %644 = add nsw i32 %643, 1
  store i32 %644, ptr %6, align 4, !tbaa !10
  br label %601, !llvm.loop !42

645:                                              ; preds = %618
  br label %805

646:                                              ; preds = %594
  %647 = load ptr, ptr %4, align 8, !tbaa !5
  %648 = getelementptr inbounds i8, ptr %647, i64 0
  %649 = load i8, ptr %648, align 1, !tbaa !9
  %650 = sext i8 %649 to i32
  %651 = icmp eq i32 %650, 84
  br i1 %651, label %652, label %698

652:                                              ; preds = %646
  store i32 0, ptr %6, align 4, !tbaa !10
  br label %653

653:                                              ; preds = %694, %652
  %654 = load i32, ptr %6, align 4, !tbaa !10
  %655 = sext i32 %654 to i64
  %656 = getelementptr inbounds [16 x %struct.T_RECORD], ptr @t_record, i64 0, i64 %655
  %657 = getelementptr inbounds %struct.T_RECORD, ptr %656, i32 0, i32 0
  %658 = load i32, ptr %657, align 8, !tbaa !43
  %659 = icmp sgt i32 %658, 0
  br i1 %659, label %660, label %670

660:                                              ; preds = %653
  %661 = load i32, ptr %6, align 4, !tbaa !10
  %662 = sext i32 %661 to i64
  %663 = getelementptr inbounds [16 x %struct.T_RECORD], ptr @t_record, i64 0, i64 %662
  %664 = getelementptr inbounds %struct.T_RECORD, ptr %663, i32 0, i32 0
  %665 = load i32, ptr %664, align 8, !tbaa !43
  %666 = sext i32 %665 to i64
  %667 = load ptr, ptr %4, align 8, !tbaa !5
  %668 = call i64 @strlen(ptr noundef %667) #5
  %669 = icmp ult i64 %666, %668
  br label %670

670:                                              ; preds = %660, %653
  %671 = phi i1 [ false, %653 ], [ %669, %660 ]
  br i1 %671, label %672, label %697

672:                                              ; preds = %670
  %673 = load i32, ptr %6, align 4, !tbaa !10
  %674 = sext i32 %673 to i64
  %675 = getelementptr inbounds [16 x %struct.T_RECORD], ptr @t_record, i64 0, i64 %674
  %676 = getelementptr inbounds %struct.T_RECORD, ptr %675, i32 0, i32 0
  %677 = load i32, ptr %676, align 8, !tbaa !43
  store i32 %677, ptr %7, align 4, !tbaa !10
  %678 = load i32, ptr %6, align 4, !tbaa !10
  %679 = sext i32 %678 to i64
  %680 = getelementptr inbounds [16 x %struct.T_RECORD], ptr @t_record, i64 0, i64 %679
  %681 = getelementptr inbounds %struct.T_RECORD, ptr %680, i32 0, i32 1
  %682 = load i32, ptr %681, align 4, !tbaa !45
  store i32 %682, ptr %8, align 4, !tbaa !10
  %683 = load ptr, ptr %4, align 8, !tbaa !5
  %684 = load i32, ptr %7, align 4, !tbaa !10
  %685 = sub nsw i32 %684, 1
  %686 = sext i32 %685 to i64
  %687 = getelementptr inbounds i8, ptr %683, i64 %686
  %688 = load i32, ptr %8, align 4, !tbaa !10
  %689 = call i32 @is_float(ptr noundef %687, i32 noundef %688)
  %690 = icmp eq i32 %689, 0
  br i1 %690, label %691, label %694

691:                                              ; preds = %672
  %692 = load i32, ptr %7, align 4, !tbaa !10
  %693 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 %692, ptr %693, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

694:                                              ; preds = %672
  %695 = load i32, ptr %6, align 4, !tbaa !10
  %696 = add nsw i32 %695, 1
  store i32 %696, ptr %6, align 4, !tbaa !10
  br label %653, !llvm.loop !46

697:                                              ; preds = %670
  br label %804

698:                                              ; preds = %646
  %699 = load ptr, ptr %4, align 8, !tbaa !5
  %700 = getelementptr inbounds i8, ptr %699, i64 0
  %701 = load i8, ptr %700, align 1, !tbaa !9
  %702 = sext i8 %701 to i32
  %703 = icmp eq i32 %702, 65
  br i1 %703, label %704, label %750

704:                                              ; preds = %698
  store i32 0, ptr %6, align 4, !tbaa !10
  br label %705

705:                                              ; preds = %746, %704
  %706 = load i32, ptr %6, align 4, !tbaa !10
  %707 = sext i32 %706 to i64
  %708 = getelementptr inbounds [5 x %struct.A_RECORD], ptr @a_record, i64 0, i64 %707
  %709 = getelementptr inbounds %struct.A_RECORD, ptr %708, i32 0, i32 0
  %710 = load i32, ptr %709, align 8, !tbaa !47
  %711 = icmp sgt i32 %710, 0
  br i1 %711, label %712, label %722

712:                                              ; preds = %705
  %713 = load i32, ptr %6, align 4, !tbaa !10
  %714 = sext i32 %713 to i64
  %715 = getelementptr inbounds [5 x %struct.A_RECORD], ptr @a_record, i64 0, i64 %714
  %716 = getelementptr inbounds %struct.A_RECORD, ptr %715, i32 0, i32 0
  %717 = load i32, ptr %716, align 8, !tbaa !47
  %718 = sext i32 %717 to i64
  %719 = load ptr, ptr %4, align 8, !tbaa !5
  %720 = call i64 @strlen(ptr noundef %719) #5
  %721 = icmp ult i64 %718, %720
  br label %722

722:                                              ; preds = %712, %705
  %723 = phi i1 [ false, %705 ], [ %721, %712 ]
  br i1 %723, label %724, label %749

724:                                              ; preds = %722
  %725 = load i32, ptr %6, align 4, !tbaa !10
  %726 = sext i32 %725 to i64
  %727 = getelementptr inbounds [5 x %struct.A_RECORD], ptr @a_record, i64 0, i64 %726
  %728 = getelementptr inbounds %struct.A_RECORD, ptr %727, i32 0, i32 0
  %729 = load i32, ptr %728, align 8, !tbaa !47
  store i32 %729, ptr %7, align 4, !tbaa !10
  %730 = load i32, ptr %6, align 4, !tbaa !10
  %731 = sext i32 %730 to i64
  %732 = getelementptr inbounds [5 x %struct.A_RECORD], ptr @a_record, i64 0, i64 %731
  %733 = getelementptr inbounds %struct.A_RECORD, ptr %732, i32 0, i32 1
  %734 = load i32, ptr %733, align 4, !tbaa !49
  store i32 %734, ptr %8, align 4, !tbaa !10
  %735 = load ptr, ptr %4, align 8, !tbaa !5
  %736 = load i32, ptr %7, align 4, !tbaa !10
  %737 = sub nsw i32 %736, 1
  %738 = sext i32 %737 to i64
  %739 = getelementptr inbounds i8, ptr %735, i64 %738
  %740 = load i32, ptr %8, align 4, !tbaa !10
  %741 = call i32 @is_float(ptr noundef %739, i32 noundef %740)
  %742 = icmp eq i32 %741, 0
  br i1 %742, label %743, label %746

743:                                              ; preds = %724
  %744 = load i32, ptr %7, align 4, !tbaa !10
  %745 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 %744, ptr %745, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

746:                                              ; preds = %724
  %747 = load i32, ptr %6, align 4, !tbaa !10
  %748 = add nsw i32 %747, 1
  store i32 %748, ptr %6, align 4, !tbaa !10
  br label %705, !llvm.loop !50

749:                                              ; preds = %722
  br label %803

750:                                              ; preds = %698
  %751 = load ptr, ptr %4, align 8, !tbaa !5
  %752 = getelementptr inbounds i8, ptr %751, i64 0
  %753 = load i8, ptr %752, align 1, !tbaa !9
  %754 = sext i8 %753 to i32
  %755 = icmp eq i32 %754, 73
  br i1 %755, label %756, label %802

756:                                              ; preds = %750
  store i32 0, ptr %6, align 4, !tbaa !10
  br label %757

757:                                              ; preds = %798, %756
  %758 = load i32, ptr %6, align 4, !tbaa !10
  %759 = sext i32 %758 to i64
  %760 = getelementptr inbounds [2 x %struct.I_RECORD], ptr @i_record, i64 0, i64 %759
  %761 = getelementptr inbounds %struct.I_RECORD, ptr %760, i32 0, i32 0
  %762 = load i32, ptr %761, align 8, !tbaa !51
  %763 = icmp sgt i32 %762, 0
  br i1 %763, label %764, label %774

764:                                              ; preds = %757
  %765 = load i32, ptr %6, align 4, !tbaa !10
  %766 = sext i32 %765 to i64
  %767 = getelementptr inbounds [2 x %struct.I_RECORD], ptr @i_record, i64 0, i64 %766
  %768 = getelementptr inbounds %struct.I_RECORD, ptr %767, i32 0, i32 0
  %769 = load i32, ptr %768, align 8, !tbaa !51
  %770 = sext i32 %769 to i64
  %771 = load ptr, ptr %4, align 8, !tbaa !5
  %772 = call i64 @strlen(ptr noundef %771) #5
  %773 = icmp ult i64 %770, %772
  br label %774

774:                                              ; preds = %764, %757
  %775 = phi i1 [ false, %757 ], [ %773, %764 ]
  br i1 %775, label %776, label %801

776:                                              ; preds = %774
  %777 = load i32, ptr %6, align 4, !tbaa !10
  %778 = sext i32 %777 to i64
  %779 = getelementptr inbounds [2 x %struct.I_RECORD], ptr @i_record, i64 0, i64 %778
  %780 = getelementptr inbounds %struct.I_RECORD, ptr %779, i32 0, i32 0
  %781 = load i32, ptr %780, align 8, !tbaa !51
  store i32 %781, ptr %7, align 4, !tbaa !10
  %782 = load i32, ptr %6, align 4, !tbaa !10
  %783 = sext i32 %782 to i64
  %784 = getelementptr inbounds [2 x %struct.I_RECORD], ptr @i_record, i64 0, i64 %783
  %785 = getelementptr inbounds %struct.I_RECORD, ptr %784, i32 0, i32 1
  %786 = load i32, ptr %785, align 4, !tbaa !53
  store i32 %786, ptr %8, align 4, !tbaa !10
  %787 = load ptr, ptr %4, align 8, !tbaa !5
  %788 = load i32, ptr %7, align 4, !tbaa !10
  %789 = sub nsw i32 %788, 1
  %790 = sext i32 %789 to i64
  %791 = getelementptr inbounds i8, ptr %787, i64 %790
  %792 = load i32, ptr %8, align 4, !tbaa !10
  %793 = call i32 @is_float(ptr noundef %791, i32 noundef %792)
  %794 = icmp eq i32 %793, 0
  br i1 %794, label %795, label %798

795:                                              ; preds = %776
  %796 = load i32, ptr %7, align 4, !tbaa !10
  %797 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 %796, ptr %797, align 4, !tbaa !10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

798:                                              ; preds = %776
  %799 = load i32, ptr %6, align 4, !tbaa !10
  %800 = add nsw i32 %799, 1
  store i32 %800, ptr %6, align 4, !tbaa !10
  br label %757, !llvm.loop !54

801:                                              ; preds = %774
  br label %802

802:                                              ; preds = %801, %750
  br label %803

803:                                              ; preds = %802, %749
  br label %804

804:                                              ; preds = %803, %697
  br label %805

805:                                              ; preds = %804, %645
  br label %806

806:                                              ; preds = %805, %593
  br label %807

807:                                              ; preds = %806, %541
  br label %808

808:                                              ; preds = %807, %483
  br label %809

809:                                              ; preds = %808, %425
  br label %810

810:                                              ; preds = %809, %361
  br label %811

811:                                              ; preds = %810, %309
  br label %812

812:                                              ; preds = %811, %257
  br label %813

813:                                              ; preds = %812, %193
  store i32 1, ptr %3, align 4
  store i32 1, ptr %9, align 4
  br label %814

814:                                              ; preds = %813, %795, %743, %691, %639, %587, %535, %477, %419, %355, %303, %251, %187, %123, %107, %91, %75, %59, %43, %40, %23
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #4
  %815 = load i32, ptr %3, align 4
  ret i32 %815
}

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

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

; Function Attrs: nounwind willreturn memory(read)
declare i64 @strlen(ptr noundef) #2

declare i32 @is_float(ptr noundef, i32 noundef) #3

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

attributes #0 = { 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 #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { 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 #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 = { nounwind }
attributes #5 = { 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/C++ TBAA"}
!9 = !{!7, !7, i64 0}
!10 = !{!11, !11, i64 0}
!11 = !{!"int", !7, i64 0}
!12 = !{!13, !11, i64 0}
!13 = !{!"B_RECORD", !11, i64 0, !11, i64 4}
!14 = !{!13, !11, i64 4}
!15 = distinct !{!15, !16}
!16 = !{!"llvm.loop.mustprogress"}
!17 = !{!18, !11, i64 0}
!18 = !{!"BM_RECORD", !11, i64 0, !11, i64 4}
!19 = !{!18, !11, i64 4}
!20 = distinct !{!20, !16}
!21 = distinct !{!21, !16}
!22 = !{!23, !11, i64 0}
!23 = !{!"X_RECORD", !11, i64 0, !11, i64 4}
!24 = !{!23, !11, i64 4}
!25 = distinct !{!25, !16}
!26 = !{!27, !11, i64 0}
!27 = !{!"L_RECORD", !11, i64 0, !11, i64 4}
!28 = !{!27, !11, i64 4}
!29 = distinct !{!29, !16}
!30 = !{!31, !11, i64 0}
!31 = !{!"LD_RECORD", !11, i64 0, !11, i64 4}
!32 = !{!31, !11, i64 4}
!33 = distinct !{!33, !16}
!34 = distinct !{!34, !16}
!35 = !{!36, !11, i64 0}
!36 = !{!"E_RECORD", !11, i64 0, !11, i64 4}
!37 = !{!36, !11, i64 4}
!38 = distinct !{!38, !16}
!39 = !{!40, !11, i64 0}
!40 = !{!"R_RECORD", !11, i64 0, !11, i64 4}
!41 = !{!40, !11, i64 4}
!42 = distinct !{!42, !16}
!43 = !{!44, !11, i64 0}
!44 = !{!"T_RECORD", !11, i64 0, !11, i64 4}
!45 = !{!44, !11, i64 4}
!46 = distinct !{!46, !16}
!47 = !{!48, !11, i64 0}
!48 = !{!"A_RECORD", !11, i64 0, !11, i64 4}
!49 = !{!48, !11, i64 4}
!50 = distinct !{!50, !16}
!51 = !{!52, !11, i64 0}
!52 = !{!"I_RECORD", !11, i64 0, !11, i64 4}
!53 = !{!52, !11, i64 4}
!54 = distinct !{!54, !16}


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

%struct.B_RECORD = type { i32, i32 }
%struct.BM_RECORD = type { i32, i32 }
%struct.X_RECORD = type { i32, i32 }
%struct.L_RECORD = type { i32, i32 }
%struct.LD_RECORD = type { i32, i32 }
%struct.E_RECORD = type { i32, i32 }
%struct.R_RECORD = type { i32, i32 }
%struct.T_RECORD = type { i32, i32 }
%struct.A_RECORD = type { i32, i32 }
%struct.I_RECORD = type { i32, i32 }

@b_record = external dso_local local_unnamed_addr global [14 x %struct.B_RECORD], align 16
@bm_record = external dso_local local_unnamed_addr global [13 x %struct.BM_RECORD], align 16
@x_record = external dso_local local_unnamed_addr global [19 x %struct.X_RECORD], align 16
@l_record = external dso_local local_unnamed_addr global [14 x %struct.L_RECORD], align 16
@ld_record = external dso_local local_unnamed_addr global [14 x %struct.LD_RECORD], align 16
@lm_record = external dso_local local_unnamed_addr global [10 x %struct.LD_RECORD], align 16
@e_record = external dso_local local_unnamed_addr global [15 x %struct.E_RECORD], align 16
@r_record = external dso_local local_unnamed_addr global [10 x %struct.R_RECORD], align 16
@t_record = external dso_local local_unnamed_addr global [16 x %struct.T_RECORD], align 16
@a_record = external dso_local local_unnamed_addr global [5 x %struct.A_RECORD], align 16
@i_record = external dso_local local_unnamed_addr global [2 x %struct.I_RECORD], align 16
@.str = external hidden unnamed_addr constant [8 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [8 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local range(i32 0, 2) i32 @isValidP(ptr noundef %0, ptr nocapture noundef writeonly %1) local_unnamed_addr #0 {
  %3 = load i8, ptr %0, align 1, !tbaa !5
  %4 = sext i8 %3 to i32
  %5 = tail call ptr @strchr(ptr noundef nonnull dereferenceable(1) @.str, i32 noundef %4) #3
  %.not = icmp eq ptr %5, null
  br i1 %.not, label %12, label %6

6:                                                ; preds = %2
  %7 = getelementptr inbounds i8, ptr %0, i64 2
  %8 = load i8, ptr %7, align 1, !tbaa !5
  %9 = sext i8 %8 to i32
  %10 = tail call ptr @strchr(ptr noundef nonnull dereferenceable(1) @.str.1, i32 noundef %9) #3
  %11 = icmp eq ptr %10, null
  br i1 %11, label %.critedge.sink.split, label %20

12:                                               ; preds = %2
  %13 = tail call ptr @strchr(ptr noundef nonnull dereferenceable(1) @.str.2, i32 noundef %4) #3
  %.not214 = icmp eq ptr %13, null
  br i1 %.not214, label %.critedge.sink.split, label %14

14:                                               ; preds = %12
  %15 = getelementptr inbounds i8, ptr %0, i64 2
  %16 = load i8, ptr %15, align 1, !tbaa !5
  %17 = sext i8 %16 to i32
  %18 = tail call ptr @strchr(ptr noundef nonnull dereferenceable(1) @.str.3, i32 noundef %17) #3
  %19 = icmp eq ptr %18, null
  br i1 %19, label %.critedge.sink.split, label %20

20:                                               ; preds = %14, %6
  switch i8 %3, label %.critedge [
    i8 65, label %27
    i8 66, label %33
    i8 76, label %39
    i8 84, label %45
    i8 82, label %51
    i8 43, label %.preheader248
    i8 88, label %.preheader250
    i8 69, label %.preheader
    i8 73, label %.preheader236
  ]

.preheader250:                                    ; preds = %20
  %invariant.gep = getelementptr i8, ptr %0, i64 -1
  %21 = load i32, ptr @x_record, align 16, !tbaa !8
  %22 = icmp sgt i32 %21, 0
  br i1 %22, label %.lr.ph, label %.critedge

.preheader248:                                    ; preds = %20
  %invariant.gep266 = getelementptr i8, ptr %0, i64 -1
  %23 = load i32, ptr @b_record, align 16, !tbaa !11
  %24 = icmp sgt i32 %23, 0
  br i1 %24, label %.lr.ph269, label %.critedge

.preheader236:                                    ; preds = %20
  %invariant.gep296 = getelementptr i8, ptr %0, i64 -1
  %25 = load i32, ptr @i_record, align 16, !tbaa !13
  %26 = icmp sgt i32 %25, 0
  br i1 %26, label %.lr.ph299, label %.critedge

27:                                               ; preds = %20
  %28 = getelementptr inbounds i8, ptr %0, i64 1
  %29 = load i8, ptr %28, align 1, !tbaa !5
  %30 = sext i8 %29 to i32
  %31 = tail call ptr @strchr(ptr noundef nonnull dereferenceable(1) @.str.4, i32 noundef %30) #3
  %32 = icmp eq ptr %31, null
  br i1 %32, label %.critedge.sink.split, label %.preheader234

33:                                               ; preds = %20
  %34 = getelementptr inbounds i8, ptr %0, i64 1
  %35 = load i8, ptr %34, align 1, !tbaa !5
  %36 = sext i8 %35 to i32
  %37 = tail call ptr @strchr(ptr noundef nonnull dereferenceable(1) @.str.5, i32 noundef %36) #3
  %38 = icmp eq ptr %37, null
  br i1 %38, label %.critedge.sink.split, label %57

39:                                               ; preds = %20
  %40 = getelementptr inbounds i8, ptr %0, i64 1
  %41 = load i8, ptr %40, align 1, !tbaa !5
  %42 = sext i8 %41 to i32
  %43 = tail call ptr @strchr(ptr noundef nonnull dereferenceable(1) @.str.6, i32 noundef %42) #3
  %44 = icmp eq ptr %43, null
  br i1 %44, label %.critedge.sink.split, label %.thread224

45:                                               ; preds = %20
  %46 = getelementptr inbounds i8, ptr %0, i64 1
  %47 = load i8, ptr %46, align 1, !tbaa !5
  %48 = sext i8 %47 to i32
  %49 = tail call ptr @strchr(ptr noundef nonnull dereferenceable(1) @.str.7, i32 noundef %48) #3
  %50 = icmp eq ptr %49, null
  br i1 %50, label %.critedge.sink.split, label %.preheader232

51:                                               ; preds = %20
  %52 = getelementptr inbounds i8, ptr %0, i64 1
  %53 = load i8, ptr %52, align 1, !tbaa !5
  %54 = sext i8 %53 to i32
  %55 = tail call ptr @strchr(ptr noundef nonnull dereferenceable(1) @.str.8, i32 noundef %54) #3
  %56 = icmp eq ptr %55, null
  br i1 %56, label %.critedge.sink.split, label %.preheader230

57:                                               ; preds = %33
  switch i8 %35, label %.preheader238 [
    i8 68, label %.critedge
    i8 77, label %.preheader240
  ]

.preheader238:                                    ; preds = %57
  %invariant.gep291 = getelementptr i8, ptr %0, i64 -1
  %58 = load i32, ptr @b_record, align 16, !tbaa !11
  %59 = icmp sgt i32 %58, 0
  br i1 %59, label %.lr.ph294, label %.critedge

60:                                               ; preds = %69
  %indvars.iv.next361 = add nuw nsw i64 %indvars.iv360, 1
  %61 = getelementptr inbounds [14 x %struct.B_RECORD], ptr @b_record, i64 0, i64 %indvars.iv.next361
  %62 = load i32, ptr %61, align 8, !tbaa !11
  %63 = icmp sgt i32 %62, 0
  br i1 %63, label %.lr.ph294, label %.critedge, !llvm.loop !15

.lr.ph294:                                        ; preds = %.preheader238, %60
  %indvars.iv360 = phi i64 [ %indvars.iv.next361, %60 ], [ 0, %.preheader238 ]
  %64 = phi i32 [ %62, %60 ], [ %58, %.preheader238 ]
  %65 = phi ptr [ %61, %60 ], [ @b_record, %.preheader238 ]
  %66 = zext nneg i32 %64 to i64
  %67 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %0) #3
  %68 = icmp ugt i64 %67, %66
  br i1 %68, label %69, label %.critedge

69:                                               ; preds = %.lr.ph294
  %70 = getelementptr inbounds i8, ptr %65, i64 4
  %71 = load i32, ptr %70, align 4, !tbaa !17
  %gep292 = getelementptr i8, ptr %invariant.gep291, i64 %66
  %72 = tail call i32 @is_float(ptr noundef %gep292, i32 noundef %71) #4
  %73 = icmp eq i32 %72, 0
  br i1 %73, label %.critedge.sink.split, label %60

.preheader240:                                    ; preds = %57
  %invariant.gep286 = getelementptr i8, ptr %0, i64 -1
  %74 = load i32, ptr @bm_record, align 16, !tbaa !18
  %75 = icmp sgt i32 %74, 0
  br i1 %75, label %.lr.ph289, label %.critedge

76:                                               ; preds = %85
  %indvars.iv.next358 = add nuw nsw i64 %indvars.iv357, 1
  %77 = getelementptr inbounds [13 x %struct.BM_RECORD], ptr @bm_record, i64 0, i64 %indvars.iv.next358
  %78 = load i32, ptr %77, align 8, !tbaa !18
  %79 = icmp sgt i32 %78, 0
  br i1 %79, label %.lr.ph289, label %.critedge, !llvm.loop !20

.lr.ph289:                                        ; preds = %.preheader240, %76
  %indvars.iv357 = phi i64 [ %indvars.iv.next358, %76 ], [ 0, %.preheader240 ]
  %80 = phi i32 [ %78, %76 ], [ %74, %.preheader240 ]
  %81 = phi ptr [ %77, %76 ], [ @bm_record, %.preheader240 ]
  %82 = zext nneg i32 %80 to i64
  %83 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %0) #3
  %84 = icmp ugt i64 %83, %82
  br i1 %84, label %85, label %.critedge

85:                                               ; preds = %.lr.ph289
  %86 = getelementptr inbounds i8, ptr %81, i64 4
  %87 = load i32, ptr %86, align 4, !tbaa !21
  %gep287 = getelementptr i8, ptr %invariant.gep286, i64 %82
  %88 = tail call i32 @is_float(ptr noundef %gep287, i32 noundef %87) #4
  %89 = icmp eq i32 %88, 0
  br i1 %89, label %.critedge.sink.split, label %76

90:                                               ; preds = %99
  %indvars.iv.next346 = add nuw nsw i64 %indvars.iv345, 1
  %91 = getelementptr inbounds [14 x %struct.B_RECORD], ptr @b_record, i64 0, i64 %indvars.iv.next346
  %92 = load i32, ptr %91, align 8, !tbaa !11
  %93 = icmp sgt i32 %92, 0
  br i1 %93, label %.lr.ph269, label %.critedge, !llvm.loop !22

.lr.ph269:                                        ; preds = %.preheader248, %90
  %indvars.iv345 = phi i64 [ %indvars.iv.next346, %90 ], [ 0, %.preheader248 ]
  %94 = phi i32 [ %92, %90 ], [ %23, %.preheader248 ]
  %95 = phi ptr [ %91, %90 ], [ @b_record, %.preheader248 ]
  %96 = zext nneg i32 %94 to i64
  %97 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %0) #3
  %98 = icmp ugt i64 %97, %96
  br i1 %98, label %99, label %.critedge

99:                                               ; preds = %.lr.ph269
  %100 = getelementptr inbounds i8, ptr %95, i64 4
  %101 = load i32, ptr %100, align 4, !tbaa !17
  %gep267 = getelementptr i8, ptr %invariant.gep266, i64 %96
  %102 = tail call i32 @is_float(ptr noundef %gep267, i32 noundef %101) #4
  %103 = icmp eq i32 %102, 0
  br i1 %103, label %.critedge.sink.split, label %90

104:                                              ; preds = %113
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %105 = getelementptr inbounds [19 x %struct.X_RECORD], ptr @x_record, i64 0, i64 %indvars.iv.next
  %106 = load i32, ptr %105, align 8, !tbaa !8
  %107 = icmp sgt i32 %106, 0
  br i1 %107, label %.lr.ph, label %.critedge, !llvm.loop !23

.lr.ph:                                           ; preds = %.preheader250, %104
  %indvars.iv = phi i64 [ %indvars.iv.next, %104 ], [ 0, %.preheader250 ]
  %108 = phi i32 [ %106, %104 ], [ %21, %.preheader250 ]
  %109 = phi ptr [ %105, %104 ], [ @x_record, %.preheader250 ]
  %110 = zext nneg i32 %108 to i64
  %111 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %0) #3
  %112 = icmp ugt i64 %111, %110
  br i1 %112, label %113, label %.critedge

113:                                              ; preds = %.lr.ph
  %114 = getelementptr inbounds i8, ptr %109, i64 4
  %115 = load i32, ptr %114, align 4, !tbaa !24
  %gep = getelementptr i8, ptr %invariant.gep, i64 %110
  %116 = tail call i32 @is_float(ptr noundef %gep, i32 noundef %115) #4
  %117 = icmp eq i32 %116, 0
  br i1 %117, label %.critedge.sink.split, label %104

.thread224:                                       ; preds = %39
  %invariant.gep281 = getelementptr i8, ptr %0, i64 -1
  switch i8 %41, label %.preheader242 [
    i8 68, label %.preheader244
    i8 77, label %.preheader246
  ]

.preheader242:                                    ; preds = %.thread224
  %118 = load i32, ptr @l_record, align 16, !tbaa !25
  %119 = icmp sgt i32 %118, 0
  br i1 %119, label %.lr.ph284, label %.critedge

120:                                              ; preds = %129
  %indvars.iv.next355 = add nuw nsw i64 %indvars.iv354, 1
  %121 = getelementptr inbounds [14 x %struct.L_RECORD], ptr @l_record, i64 0, i64 %indvars.iv.next355
  %122 = load i32, ptr %121, align 8, !tbaa !25
  %123 = icmp sgt i32 %122, 0
  br i1 %123, label %.lr.ph284, label %.critedge, !llvm.loop !27

.lr.ph284:                                        ; preds = %.preheader242, %120
  %indvars.iv354 = phi i64 [ %indvars.iv.next355, %120 ], [ 0, %.preheader242 ]
  %124 = phi i32 [ %122, %120 ], [ %118, %.preheader242 ]
  %125 = phi ptr [ %121, %120 ], [ @l_record, %.preheader242 ]
  %126 = zext nneg i32 %124 to i64
  %127 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %0) #3
  %128 = icmp ugt i64 %127, %126
  br i1 %128, label %129, label %.critedge

129:                                              ; preds = %.lr.ph284
  %130 = getelementptr inbounds i8, ptr %125, i64 4
  %131 = load i32, ptr %130, align 4, !tbaa !28
  %gep282 = getelementptr i8, ptr %invariant.gep281, i64 %126
  %132 = tail call i32 @is_float(ptr noundef %gep282, i32 noundef %131) #4
  %133 = icmp eq i32 %132, 0
  br i1 %133, label %.critedge.sink.split, label %120

.preheader244:                                    ; preds = %.thread224
  %134 = load i32, ptr @ld_record, align 16, !tbaa !29
  %135 = icmp sgt i32 %134, 0
  br i1 %135, label %.lr.ph279, label %.critedge

136:                                              ; preds = %145
  %indvars.iv.next352 = add nuw nsw i64 %indvars.iv351, 1
  %137 = getelementptr inbounds [14 x %struct.LD_RECORD], ptr @ld_record, i64 0, i64 %indvars.iv.next352
  %138 = load i32, ptr %137, align 8, !tbaa !29
  %139 = icmp sgt i32 %138, 0
  br i1 %139, label %.lr.ph279, label %.critedge, !llvm.loop !31

.lr.ph279:                                        ; preds = %.preheader244, %136
  %indvars.iv351 = phi i64 [ %indvars.iv.next352, %136 ], [ 0, %.preheader244 ]
  %140 = phi i32 [ %138, %136 ], [ %134, %.preheader244 ]
  %141 = phi ptr [ %137, %136 ], [ @ld_record, %.preheader244 ]
  %142 = zext nneg i32 %140 to i64
  %143 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %0) #3
  %144 = icmp ugt i64 %143, %142
  br i1 %144, label %145, label %.critedge

145:                                              ; preds = %.lr.ph279
  %146 = getelementptr inbounds i8, ptr %141, i64 4
  %147 = load i32, ptr %146, align 4, !tbaa !32
  %gep277 = getelementptr i8, ptr %invariant.gep281, i64 %142
  %148 = tail call i32 @is_float(ptr noundef %gep277, i32 noundef %147) #4
  %149 = icmp eq i32 %148, 0
  br i1 %149, label %.critedge.sink.split, label %136

.preheader246:                                    ; preds = %.thread224
  %150 = load i32, ptr @lm_record, align 16, !tbaa !29
  %151 = icmp sgt i32 %150, 0
  br i1 %151, label %.lr.ph274, label %.critedge

152:                                              ; preds = %161
  %indvars.iv.next349 = add nuw nsw i64 %indvars.iv348, 1
  %153 = getelementptr inbounds [10 x %struct.LD_RECORD], ptr @lm_record, i64 0, i64 %indvars.iv.next349
  %154 = load i32, ptr %153, align 8, !tbaa !29
  %155 = icmp sgt i32 %154, 0
  br i1 %155, label %.lr.ph274, label %.critedge, !llvm.loop !33

.lr.ph274:                                        ; preds = %.preheader246, %152
  %indvars.iv348 = phi i64 [ %indvars.iv.next349, %152 ], [ 0, %.preheader246 ]
  %156 = phi i32 [ %154, %152 ], [ %150, %.preheader246 ]
  %157 = phi ptr [ %153, %152 ], [ @lm_record, %.preheader246 ]
  %158 = zext nneg i32 %156 to i64
  %159 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %0) #3
  %160 = icmp ugt i64 %159, %158
  br i1 %160, label %161, label %.critedge

161:                                              ; preds = %.lr.ph274
  %162 = getelementptr inbounds i8, ptr %157, i64 4
  %163 = load i32, ptr %162, align 4, !tbaa !32
  %gep272 = getelementptr i8, ptr %invariant.gep281, i64 %158
  %164 = tail call i32 @is_float(ptr noundef %gep272, i32 noundef %163) #4
  %165 = icmp eq i32 %164, 0
  br i1 %165, label %.critedge.sink.split, label %152

.preheader234:                                    ; preds = %27
  %invariant.gep301 = getelementptr i8, ptr %0, i64 -1
  %166 = load i32, ptr @a_record, align 16, !tbaa !34
  %167 = icmp sgt i32 %166, 0
  br i1 %167, label %.lr.ph304, label %.critedge

.preheader232:                                    ; preds = %45
  %invariant.gep306 = getelementptr i8, ptr %0, i64 -1
  %168 = load i32, ptr @t_record, align 16, !tbaa !36
  %169 = icmp sgt i32 %168, 0
  br i1 %169, label %.lr.ph309, label %.critedge

.preheader230:                                    ; preds = %51
  %invariant.gep311 = getelementptr i8, ptr %0, i64 -1
  %170 = load i32, ptr @r_record, align 16, !tbaa !38
  %171 = icmp sgt i32 %170, 0
  br i1 %171, label %.lr.ph314, label %.critedge

.preheader:                                       ; preds = %20
  %invariant.gep316 = getelementptr i8, ptr %0, i64 -1
  %172 = load i32, ptr @e_record, align 16, !tbaa !40
  %173 = icmp sgt i32 %172, 0
  br i1 %173, label %.lr.ph319, label %.critedge

174:                                              ; preds = %183
  %indvars.iv.next376 = add nuw nsw i64 %indvars.iv375, 1
  %175 = getelementptr inbounds [15 x %struct.E_RECORD], ptr @e_record, i64 0, i64 %indvars.iv.next376
  %176 = load i32, ptr %175, align 8, !tbaa !40
  %177 = icmp sgt i32 %176, 0
  br i1 %177, label %.lr.ph319, label %.critedge, !llvm.loop !42

.lr.ph319:                                        ; preds = %.preheader, %174
  %indvars.iv375 = phi i64 [ %indvars.iv.next376, %174 ], [ 0, %.preheader ]
  %178 = phi i32 [ %176, %174 ], [ %172, %.preheader ]
  %179 = phi ptr [ %175, %174 ], [ @e_record, %.preheader ]
  %180 = zext nneg i32 %178 to i64
  %181 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %0) #3
  %182 = icmp ugt i64 %181, %180
  br i1 %182, label %183, label %.critedge

183:                                              ; preds = %.lr.ph319
  %184 = getelementptr inbounds i8, ptr %179, i64 4
  %185 = load i32, ptr %184, align 4, !tbaa !43
  %gep317 = getelementptr i8, ptr %invariant.gep316, i64 %180
  %186 = tail call i32 @is_float(ptr noundef %gep317, i32 noundef %185) #4
  %187 = icmp eq i32 %186, 0
  br i1 %187, label %.critedge.sink.split, label %174

188:                                              ; preds = %197
  %indvars.iv.next373 = add nuw nsw i64 %indvars.iv372, 1
  %189 = getelementptr inbounds [10 x %struct.R_RECORD], ptr @r_record, i64 0, i64 %indvars.iv.next373
  %190 = load i32, ptr %189, align 8, !tbaa !38
  %191 = icmp sgt i32 %190, 0
  br i1 %191, label %.lr.ph314, label %.critedge, !llvm.loop !44

.lr.ph314:                                        ; preds = %.preheader230, %188
  %indvars.iv372 = phi i64 [ %indvars.iv.next373, %188 ], [ 0, %.preheader230 ]
  %192 = phi i32 [ %190, %188 ], [ %170, %.preheader230 ]
  %193 = phi ptr [ %189, %188 ], [ @r_record, %.preheader230 ]
  %194 = zext nneg i32 %192 to i64
  %195 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %0) #3
  %196 = icmp ugt i64 %195, %194
  br i1 %196, label %197, label %.critedge

197:                                              ; preds = %.lr.ph314
  %198 = getelementptr inbounds i8, ptr %193, i64 4
  %199 = load i32, ptr %198, align 4, !tbaa !45
  %gep312 = getelementptr i8, ptr %invariant.gep311, i64 %194
  %200 = tail call i32 @is_float(ptr noundef %gep312, i32 noundef %199) #4
  %201 = icmp eq i32 %200, 0
  br i1 %201, label %.critedge.sink.split, label %188

202:                                              ; preds = %211
  %indvars.iv.next370 = add nuw nsw i64 %indvars.iv369, 1
  %203 = getelementptr inbounds [16 x %struct.T_RECORD], ptr @t_record, i64 0, i64 %indvars.iv.next370
  %204 = load i32, ptr %203, align 8, !tbaa !36
  %205 = icmp sgt i32 %204, 0
  br i1 %205, label %.lr.ph309, label %.critedge, !llvm.loop !46

.lr.ph309:                                        ; preds = %.preheader232, %202
  %indvars.iv369 = phi i64 [ %indvars.iv.next370, %202 ], [ 0, %.preheader232 ]
  %206 = phi i32 [ %204, %202 ], [ %168, %.preheader232 ]
  %207 = phi ptr [ %203, %202 ], [ @t_record, %.preheader232 ]
  %208 = zext nneg i32 %206 to i64
  %209 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %0) #3
  %210 = icmp ugt i64 %209, %208
  br i1 %210, label %211, label %.critedge

211:                                              ; preds = %.lr.ph309
  %212 = getelementptr inbounds i8, ptr %207, i64 4
  %213 = load i32, ptr %212, align 4, !tbaa !47
  %gep307 = getelementptr i8, ptr %invariant.gep306, i64 %208
  %214 = tail call i32 @is_float(ptr noundef %gep307, i32 noundef %213) #4
  %215 = icmp eq i32 %214, 0
  br i1 %215, label %.critedge.sink.split, label %202

216:                                              ; preds = %225
  %indvars.iv.next367 = add nuw nsw i64 %indvars.iv366, 1
  %217 = getelementptr inbounds [5 x %struct.A_RECORD], ptr @a_record, i64 0, i64 %indvars.iv.next367
  %218 = load i32, ptr %217, align 8, !tbaa !34
  %219 = icmp sgt i32 %218, 0
  br i1 %219, label %.lr.ph304, label %.critedge, !llvm.loop !48

.lr.ph304:                                        ; preds = %.preheader234, %216
  %indvars.iv366 = phi i64 [ %indvars.iv.next367, %216 ], [ 0, %.preheader234 ]
  %220 = phi i32 [ %218, %216 ], [ %166, %.preheader234 ]
  %221 = phi ptr [ %217, %216 ], [ @a_record, %.preheader234 ]
  %222 = zext nneg i32 %220 to i64
  %223 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %0) #3
  %224 = icmp ugt i64 %223, %222
  br i1 %224, label %225, label %.critedge

225:                                              ; preds = %.lr.ph304
  %226 = getelementptr inbounds i8, ptr %221, i64 4
  %227 = load i32, ptr %226, align 4, !tbaa !49
  %gep302 = getelementptr i8, ptr %invariant.gep301, i64 %222
  %228 = tail call i32 @is_float(ptr noundef %gep302, i32 noundef %227) #4
  %229 = icmp eq i32 %228, 0
  br i1 %229, label %.critedge.sink.split, label %216

230:                                              ; preds = %239
  %indvars.iv.next364 = add nuw nsw i64 %indvars.iv363, 1
  %231 = getelementptr inbounds [2 x %struct.I_RECORD], ptr @i_record, i64 0, i64 %indvars.iv.next364
  %232 = load i32, ptr %231, align 8, !tbaa !13
  %233 = icmp sgt i32 %232, 0
  br i1 %233, label %.lr.ph299, label %.critedge, !llvm.loop !50

.lr.ph299:                                        ; preds = %.preheader236, %230
  %indvars.iv363 = phi i64 [ %indvars.iv.next364, %230 ], [ 0, %.preheader236 ]
  %234 = phi i32 [ %232, %230 ], [ %25, %.preheader236 ]
  %235 = phi ptr [ %231, %230 ], [ @i_record, %.preheader236 ]
  %236 = zext nneg i32 %234 to i64
  %237 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %0) #3
  %238 = icmp ugt i64 %237, %236
  br i1 %238, label %239, label %.critedge

239:                                              ; preds = %.lr.ph299
  %240 = getelementptr inbounds i8, ptr %235, i64 4
  %241 = load i32, ptr %240, align 4, !tbaa !51
  %gep297 = getelementptr i8, ptr %invariant.gep296, i64 %236
  %242 = tail call i32 @is_float(ptr noundef %gep297, i32 noundef %241) #4
  %243 = icmp eq i32 %242, 0
  br i1 %243, label %.critedge.sink.split, label %230

.critedge.sink.split:                             ; preds = %239, %183, %113, %99, %197, %211, %161, %145, %129, %85, %69, %225, %51, %45, %39, %33, %27, %12, %14, %6
  %.lcssa401.sink = phi i32 [ 3, %6 ], [ 3, %14 ], [ 1, %12 ], [ 2, %27 ], [ 2, %33 ], [ 2, %39 ], [ 2, %45 ], [ 2, %51 ], [ %220, %225 ], [ %64, %69 ], [ %80, %85 ], [ %124, %129 ], [ %140, %145 ], [ %156, %161 ], [ %206, %211 ], [ %192, %197 ], [ %94, %99 ], [ %108, %113 ], [ %178, %183 ], [ %234, %239 ]
  store i32 %.lcssa401.sink, ptr %1, align 4, !tbaa !52
  br label %.critedge

.critedge:                                        ; preds = %230, %.lr.ph299, %174, %.lr.ph319, %104, %.lr.ph, %.lr.ph269, %90, %.lr.ph314, %188, %202, %.lr.ph309, %.lr.ph274, %152, %136, %.lr.ph279, %.lr.ph284, %120, %76, %.lr.ph289, %.lr.ph294, %60, %.lr.ph304, %216, %.critedge.sink.split, %57, %.preheader250, %.preheader248, %.preheader246, %.preheader244, %.preheader242, %.preheader240, %.preheader238, %.preheader236, %.preheader234, %.preheader232, %.preheader230, %.preheader, %20
  %.0196 = phi i32 [ 1, %20 ], [ 1, %.preheader ], [ 1, %.preheader230 ], [ 1, %.preheader232 ], [ 1, %.preheader234 ], [ 1, %.preheader236 ], [ 1, %.preheader238 ], [ 1, %.preheader240 ], [ 1, %.preheader242 ], [ 1, %.preheader244 ], [ 1, %.preheader246 ], [ 1, %.preheader248 ], [ 1, %.preheader250 ], [ 1, %57 ], [ 0, %.critedge.sink.split ], [ 1, %216 ], [ 1, %.lr.ph304 ], [ 1, %60 ], [ 1, %.lr.ph294 ], [ 1, %.lr.ph289 ], [ 1, %76 ], [ 1, %120 ], [ 1, %.lr.ph284 ], [ 1, %.lr.ph279 ], [ 1, %136 ], [ 1, %152 ], [ 1, %.lr.ph274 ], [ 1, %.lr.ph309 ], [ 1, %202 ], [ 1, %188 ], [ 1, %.lr.ph314 ], [ 1, %90 ], [ 1, %.lr.ph269 ], [ 1, %.lr.ph ], [ 1, %104 ], [ 1, %.lr.ph319 ], [ 1, %174 ], [ 1, %.lr.ph299 ], [ 1, %230 ]
  ret i32 %.0196
}

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

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare i64 @strlen(ptr nocapture noundef) local_unnamed_addr #1

declare i32 @is_float(ptr noundef, i32 noundef) local_unnamed_addr #2

attributes #0 = { 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 #1 = { 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 #2 = { "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 willreturn memory(read) }
attributes #4 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C/C++ TBAA"}
!8 = !{!9, !10, i64 0}
!9 = !{!"X_RECORD", !10, i64 0, !10, i64 4}
!10 = !{!"int", !6, i64 0}
!11 = !{!12, !10, i64 0}
!12 = !{!"B_RECORD", !10, i64 0, !10, i64 4}
!13 = !{!14, !10, i64 0}
!14 = !{!"I_RECORD", !10, i64 0, !10, i64 4}
!15 = distinct !{!15, !16}
!16 = !{!"llvm.loop.mustprogress"}
!17 = !{!12, !10, i64 4}
!18 = !{!19, !10, i64 0}
!19 = !{!"BM_RECORD", !10, i64 0, !10, i64 4}
!20 = distinct !{!20, !16}
!21 = !{!19, !10, i64 4}
!22 = distinct !{!22, !16}
!23 = distinct !{!23, !16}
!24 = !{!9, !10, i64 4}
!25 = !{!26, !10, i64 0}
!26 = !{!"L_RECORD", !10, i64 0, !10, i64 4}
!27 = distinct !{!27, !16}
!28 = !{!26, !10, i64 4}
!29 = !{!30, !10, i64 0}
!30 = !{!"LD_RECORD", !10, i64 0, !10, i64 4}
!31 = distinct !{!31, !16}
!32 = !{!30, !10, i64 4}
!33 = distinct !{!33, !16}
!34 = !{!35, !10, i64 0}
!35 = !{!"A_RECORD", !10, i64 0, !10, i64 4}
!36 = !{!37, !10, i64 0}
!37 = !{!"T_RECORD", !10, i64 0, !10, i64 4}
!38 = !{!39, !10, i64 0}
!39 = !{!"R_RECORD", !10, i64 0, !10, i64 4}
!40 = !{!41, !10, i64 0}
!41 = !{!"E_RECORD", !10, i64 0, !10, i64 4}
!42 = distinct !{!42, !16}
!43 = !{!41, !10, i64 4}
!44 = distinct !{!44, !16}
!45 = !{!39, !10, i64 4}
!46 = distinct !{!46, !16}
!47 = !{!37, !10, i64 4}
!48 = distinct !{!48, !16}
!49 = !{!35, !10, i64 4}
!50 = distinct !{!50, !16}
!51 = !{!14, !10, i64 4}
!52 = !{!10, !10, i64 0}


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