; LLVM IR from tangjz/acm-icpc :: codeforces/complete (500F)

; 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.Node = type { i32, i32, i32 }

@n = external dso_local global i32, align 4
@p = external dso_local global i32, align 4
@f = external dso_local global [4001 x [4001 x i32]], align 16
@g = external dso_local global [4001 x [4001 x i32]], align 16
@q = external dso_local global i32, align 4
@ans = external dso_local global i32, align 4
@s = external dso_local global [4001 x %struct.Node], align 16
@.str = external hidden unnamed_addr constant [5 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [4 x i8], align 1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_Z3maxRKiS0_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) #0

; Function Attrs: mustprogress norecurse uwtable
define dso_local noundef i32 @main() #1 {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %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
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  store i32 0, ptr %1, align 4
  %24 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef @.str, ptr noundef @n, ptr noundef @p)
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #5
  store i32 1, ptr %2, align 4, !tbaa !5
  br label %25

25:                                               ; preds = %44, %0
  %26 = load i32, ptr %2, align 4, !tbaa !5
  %27 = load i32, ptr @n, align 4, !tbaa !5
  %28 = icmp sle i32 %26, %27
  br i1 %28, label %30, label %29

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

30:                                               ; preds = %25
  %31 = load i32, ptr %2, align 4, !tbaa !5
  %32 = sext i32 %31 to i64
  %33 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %32
  %34 = getelementptr inbounds %struct.Node, ptr %33, i32 0, i32 0
  %35 = load i32, ptr %2, align 4, !tbaa !5
  %36 = sext i32 %35 to i64
  %37 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %36
  %38 = getelementptr inbounds %struct.Node, ptr %37, i32 0, i32 1
  %39 = load i32, ptr %2, align 4, !tbaa !5
  %40 = sext i32 %39 to i64
  %41 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %40
  %42 = getelementptr inbounds %struct.Node, ptr %41, i32 0, i32 2
  %43 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef @.str.1, ptr noundef %34, ptr noundef %38, ptr noundef %42)
  br label %44

44:                                               ; preds = %30
  %45 = load i32, ptr %2, align 4, !tbaa !5
  %46 = add nsw i32 %45, 1
  store i32 %46, ptr %2, align 4, !tbaa !5
  br label %25, !llvm.loop !9

47:                                               ; preds = %29
  %48 = load i32, ptr @n, align 4, !tbaa !5
  %49 = sext i32 %48 to i64
  %50 = getelementptr inbounds %struct.Node, ptr @s, i64 %49
  %51 = getelementptr inbounds %struct.Node, ptr %50, i64 1
  call void @_ZSt4sortIP4NodeEvT_S2_(ptr noundef getelementptr inbounds (%struct.Node, ptr @s, i64 1), ptr noundef %51)
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #5
  store i32 1, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #5
  store i32 1, ptr %4, align 4, !tbaa !5
  br label %52

52:                                               ; preds = %345, %47
  %53 = load i32, ptr %3, align 4, !tbaa !5
  %54 = sub nsw i32 %53, 1
  %55 = load i32, ptr @p, align 4, !tbaa !5
  %56 = mul nsw i32 %54, %55
  %57 = add nsw i32 %56, 1
  %58 = icmp slt i32 %57, 20001
  br i1 %58, label %60, label %59

59:                                               ; preds = %52
  store i32 5, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #5
  br label %348

60:                                               ; preds = %52
  br label %61

61:                                               ; preds = %197, %60
  %62 = load i32, ptr %4, align 4, !tbaa !5
  %63 = load i32, ptr @n, align 4, !tbaa !5
  %64 = icmp sle i32 %62, %63
  br i1 %64, label %65, label %75

65:                                               ; preds = %61
  %66 = load i32, ptr %4, align 4, !tbaa !5
  %67 = sext i32 %66 to i64
  %68 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %67
  %69 = getelementptr inbounds %struct.Node, ptr %68, i32 0, i32 2
  %70 = load i32, ptr %69, align 4, !tbaa !11
  %71 = load i32, ptr %3, align 4, !tbaa !5
  %72 = load i32, ptr @p, align 4, !tbaa !5
  %73 = mul nsw i32 %71, %72
  %74 = icmp sle i32 %70, %73
  br label %75

75:                                               ; preds = %65, %61
  %76 = phi i1 [ false, %61 ], [ %74, %65 ]
  br i1 %76, label %77, label %200

77:                                               ; preds = %75
  %78 = load i32, ptr %4, align 4, !tbaa !5
  %79 = icmp sgt i32 %78, 1
  br i1 %79, label %80, label %170

80:                                               ; preds = %77
  %81 = load i32, ptr %3, align 4, !tbaa !5
  %82 = sub nsw i32 %81, 1
  %83 = load i32, ptr @p, align 4, !tbaa !5
  %84 = mul nsw i32 %82, %83
  %85 = load i32, ptr %4, align 4, !tbaa !5
  %86 = sub nsw i32 %85, 1
  %87 = sext i32 %86 to i64
  %88 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %87
  %89 = getelementptr inbounds %struct.Node, ptr %88, i32 0, i32 2
  %90 = load i32, ptr %89, align 4, !tbaa !11
  %91 = icmp slt i32 %84, %90
  br i1 %91, label %92, label %170

92:                                               ; preds = %80
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #5
  store i32 0, ptr %6, align 4, !tbaa !5
  br label %93

93:                                               ; preds = %117, %92
  %94 = load i32, ptr %6, align 4, !tbaa !5
  %95 = load i32, ptr %4, align 4, !tbaa !5
  %96 = sext i32 %95 to i64
  %97 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %96
  %98 = getelementptr inbounds %struct.Node, ptr %97, i32 0, i32 0
  %99 = load i32, ptr %98, align 4, !tbaa !13
  %100 = icmp slt i32 %94, %99
  br i1 %100, label %102, label %101

101:                                              ; preds = %93
  store i32 11, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #5
  br label %120

102:                                              ; preds = %93
  %103 = load i32, ptr %4, align 4, !tbaa !5
  %104 = sub nsw i32 %103, 1
  %105 = sext i32 %104 to i64
  %106 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %105
  %107 = load i32, ptr %6, align 4, !tbaa !5
  %108 = sext i32 %107 to i64
  %109 = getelementptr inbounds [4001 x i32], ptr %106, i64 0, i64 %108
  %110 = load i32, ptr %109, align 4, !tbaa !5
  %111 = load i32, ptr %4, align 4, !tbaa !5
  %112 = sext i32 %111 to i64
  %113 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %112
  %114 = load i32, ptr %6, align 4, !tbaa !5
  %115 = sext i32 %114 to i64
  %116 = getelementptr inbounds [4001 x i32], ptr %113, i64 0, i64 %115
  store i32 %110, ptr %116, align 4, !tbaa !5
  br label %117

117:                                              ; preds = %102
  %118 = load i32, ptr %6, align 4, !tbaa !5
  %119 = add nsw i32 %118, 1
  store i32 %119, ptr %6, align 4, !tbaa !5
  br label %93, !llvm.loop !14

120:                                              ; preds = %101
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #5
  %121 = load i32, ptr %4, align 4, !tbaa !5
  %122 = sext i32 %121 to i64
  %123 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %122
  %124 = getelementptr inbounds %struct.Node, ptr %123, i32 0, i32 0
  %125 = load i32, ptr %124, align 4, !tbaa !13
  store i32 %125, ptr %7, align 4, !tbaa !5
  br label %126

126:                                              ; preds = %166, %120
  %127 = load i32, ptr %7, align 4, !tbaa !5
  %128 = icmp slt i32 %127, 4001
  br i1 %128, label %130, label %129

129:                                              ; preds = %126
  store i32 14, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #5
  br label %169

130:                                              ; preds = %126
  %131 = load i32, ptr %4, align 4, !tbaa !5
  %132 = sub nsw i32 %131, 1
  %133 = sext i32 %132 to i64
  %134 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %133
  %135 = load i32, ptr %7, align 4, !tbaa !5
  %136 = sext i32 %135 to i64
  %137 = getelementptr inbounds [4001 x i32], ptr %134, i64 0, i64 %136
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #5
  %138 = load i32, ptr %4, align 4, !tbaa !5
  %139 = sub nsw i32 %138, 1
  %140 = sext i32 %139 to i64
  %141 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %140
  %142 = load i32, ptr %7, align 4, !tbaa !5
  %143 = load i32, ptr %4, align 4, !tbaa !5
  %144 = sext i32 %143 to i64
  %145 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %144
  %146 = getelementptr inbounds %struct.Node, ptr %145, i32 0, i32 0
  %147 = load i32, ptr %146, align 4, !tbaa !13
  %148 = sub nsw i32 %142, %147
  %149 = sext i32 %148 to i64
  %150 = getelementptr inbounds [4001 x i32], ptr %141, i64 0, i64 %149
  %151 = load i32, ptr %150, align 4, !tbaa !5
  %152 = load i32, ptr %4, align 4, !tbaa !5
  %153 = sext i32 %152 to i64
  %154 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %153
  %155 = getelementptr inbounds %struct.Node, ptr %154, i32 0, i32 1
  %156 = load i32, ptr %155, align 4, !tbaa !15
  %157 = add nsw i32 %151, %156
  store i32 %157, ptr %8, align 4, !tbaa !5
  %158 = call noundef nonnull align 4 dereferenceable(4) ptr @_Z3maxRKiS0_(ptr noundef nonnull align 4 dereferenceable(4) %137, ptr noundef nonnull align 4 dereferenceable(4) %8)
  %159 = load i32, ptr %158, align 4, !tbaa !5
  %160 = load i32, ptr %4, align 4, !tbaa !5
  %161 = sext i32 %160 to i64
  %162 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %161
  %163 = load i32, ptr %7, align 4, !tbaa !5
  %164 = sext i32 %163 to i64
  %165 = getelementptr inbounds [4001 x i32], ptr %162, i64 0, i64 %164
  store i32 %159, ptr %165, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #5
  br label %166

166:                                              ; preds = %130
  %167 = load i32, ptr %7, align 4, !tbaa !5
  %168 = add nsw i32 %167, 1
  store i32 %168, ptr %7, align 4, !tbaa !5
  br label %126, !llvm.loop !16

169:                                              ; preds = %129
  br label %196

170:                                              ; preds = %80, %77
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #5
  %171 = load i32, ptr %4, align 4, !tbaa !5
  %172 = sext i32 %171 to i64
  %173 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %172
  %174 = getelementptr inbounds %struct.Node, ptr %173, i32 0, i32 0
  %175 = load i32, ptr %174, align 4, !tbaa !13
  store i32 %175, ptr %9, align 4, !tbaa !5
  br label %176

176:                                              ; preds = %192, %170
  %177 = load i32, ptr %9, align 4, !tbaa !5
  %178 = icmp slt i32 %177, 4001
  br i1 %178, label %180, label %179

179:                                              ; preds = %176
  store i32 17, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #5
  br label %195

180:                                              ; preds = %176
  %181 = load i32, ptr %4, align 4, !tbaa !5
  %182 = sext i32 %181 to i64
  %183 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %182
  %184 = getelementptr inbounds %struct.Node, ptr %183, i32 0, i32 1
  %185 = load i32, ptr %184, align 4, !tbaa !15
  %186 = load i32, ptr %4, align 4, !tbaa !5
  %187 = sext i32 %186 to i64
  %188 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %187
  %189 = load i32, ptr %9, align 4, !tbaa !5
  %190 = sext i32 %189 to i64
  %191 = getelementptr inbounds [4001 x i32], ptr %188, i64 0, i64 %190
  store i32 %185, ptr %191, align 4, !tbaa !5
  br label %192

192:                                              ; preds = %180
  %193 = load i32, ptr %9, align 4, !tbaa !5
  %194 = add nsw i32 %193, 1
  store i32 %194, ptr %9, align 4, !tbaa !5
  br label %176, !llvm.loop !17

195:                                              ; preds = %179
  br label %196

196:                                              ; preds = %195, %169
  br label %197

197:                                              ; preds = %196
  %198 = load i32, ptr %4, align 4, !tbaa !5
  %199 = add nsw i32 %198, 1
  store i32 %199, ptr %4, align 4, !tbaa !5
  br label %61, !llvm.loop !18

200:                                              ; preds = %75
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #5
  %201 = load i32, ptr %4, align 4, !tbaa !5
  store i32 %201, ptr %10, align 4, !tbaa !5
  %202 = load i32, ptr %4, align 4, !tbaa !5
  %203 = add nsw i32 %202, -1
  store i32 %203, ptr %4, align 4, !tbaa !5
  br label %204

204:                                              ; preds = %340, %200
  %205 = load i32, ptr %4, align 4, !tbaa !5
  %206 = icmp sgt i32 %205, 0
  br i1 %206, label %207, label %218

207:                                              ; preds = %204
  %208 = load i32, ptr %3, align 4, !tbaa !5
  %209 = sub nsw i32 %208, 1
  %210 = load i32, ptr @p, align 4, !tbaa !5
  %211 = mul nsw i32 %209, %210
  %212 = load i32, ptr %4, align 4, !tbaa !5
  %213 = sext i32 %212 to i64
  %214 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %213
  %215 = getelementptr inbounds %struct.Node, ptr %214, i32 0, i32 2
  %216 = load i32, ptr %215, align 4, !tbaa !11
  %217 = icmp slt i32 %211, %216
  br label %218

218:                                              ; preds = %207, %204
  %219 = phi i1 [ false, %204 ], [ %217, %207 ]
  br i1 %219, label %220, label %343

220:                                              ; preds = %218
  %221 = load i32, ptr %4, align 4, !tbaa !5
  %222 = load i32, ptr @n, align 4, !tbaa !5
  %223 = icmp slt i32 %221, %222
  br i1 %223, label %224, label %313

224:                                              ; preds = %220
  %225 = load i32, ptr %4, align 4, !tbaa !5
  %226 = add nsw i32 %225, 1
  %227 = sext i32 %226 to i64
  %228 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %227
  %229 = getelementptr inbounds %struct.Node, ptr %228, i32 0, i32 2
  %230 = load i32, ptr %229, align 4, !tbaa !11
  %231 = load i32, ptr %3, align 4, !tbaa !5
  %232 = load i32, ptr @p, align 4, !tbaa !5
  %233 = mul nsw i32 %231, %232
  %234 = icmp sle i32 %230, %233
  br i1 %234, label %235, label %313

235:                                              ; preds = %224
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #5
  store i32 0, ptr %11, align 4, !tbaa !5
  br label %236

236:                                              ; preds = %260, %235
  %237 = load i32, ptr %11, align 4, !tbaa !5
  %238 = load i32, ptr %4, align 4, !tbaa !5
  %239 = sext i32 %238 to i64
  %240 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %239
  %241 = getelementptr inbounds %struct.Node, ptr %240, i32 0, i32 0
  %242 = load i32, ptr %241, align 4, !tbaa !13
  %243 = icmp slt i32 %237, %242
  br i1 %243, label %245, label %244

244:                                              ; preds = %236
  store i32 23, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #5
  br label %263

245:                                              ; preds = %236
  %246 = load i32, ptr %4, align 4, !tbaa !5
  %247 = add nsw i32 %246, 1
  %248 = sext i32 %247 to i64
  %249 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %248
  %250 = load i32, ptr %11, align 4, !tbaa !5
  %251 = sext i32 %250 to i64
  %252 = getelementptr inbounds [4001 x i32], ptr %249, i64 0, i64 %251
  %253 = load i32, ptr %252, align 4, !tbaa !5
  %254 = load i32, ptr %4, align 4, !tbaa !5
  %255 = sext i32 %254 to i64
  %256 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %255
  %257 = load i32, ptr %11, align 4, !tbaa !5
  %258 = sext i32 %257 to i64
  %259 = getelementptr inbounds [4001 x i32], ptr %256, i64 0, i64 %258
  store i32 %253, ptr %259, align 4, !tbaa !5
  br label %260

260:                                              ; preds = %245
  %261 = load i32, ptr %11, align 4, !tbaa !5
  %262 = add nsw i32 %261, 1
  store i32 %262, ptr %11, align 4, !tbaa !5
  br label %236, !llvm.loop !19

263:                                              ; preds = %244
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #5
  %264 = load i32, ptr %4, align 4, !tbaa !5
  %265 = sext i32 %264 to i64
  %266 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %265
  %267 = getelementptr inbounds %struct.Node, ptr %266, i32 0, i32 0
  %268 = load i32, ptr %267, align 4, !tbaa !13
  store i32 %268, ptr %12, align 4, !tbaa !5
  br label %269

269:                                              ; preds = %309, %263
  %270 = load i32, ptr %12, align 4, !tbaa !5
  %271 = icmp slt i32 %270, 4001
  br i1 %271, label %273, label %272

272:                                              ; preds = %269
  store i32 26, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #5
  br label %312

273:                                              ; preds = %269
  %274 = load i32, ptr %4, align 4, !tbaa !5
  %275 = add nsw i32 %274, 1
  %276 = sext i32 %275 to i64
  %277 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %276
  %278 = load i32, ptr %12, align 4, !tbaa !5
  %279 = sext i32 %278 to i64
  %280 = getelementptr inbounds [4001 x i32], ptr %277, i64 0, i64 %279
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #5
  %281 = load i32, ptr %4, align 4, !tbaa !5
  %282 = add nsw i32 %281, 1
  %283 = sext i32 %282 to i64
  %284 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %283
  %285 = load i32, ptr %12, align 4, !tbaa !5
  %286 = load i32, ptr %4, align 4, !tbaa !5
  %287 = sext i32 %286 to i64
  %288 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %287
  %289 = getelementptr inbounds %struct.Node, ptr %288, i32 0, i32 0
  %290 = load i32, ptr %289, align 4, !tbaa !13
  %291 = sub nsw i32 %285, %290
  %292 = sext i32 %291 to i64
  %293 = getelementptr inbounds [4001 x i32], ptr %284, i64 0, i64 %292
  %294 = load i32, ptr %293, align 4, !tbaa !5
  %295 = load i32, ptr %4, align 4, !tbaa !5
  %296 = sext i32 %295 to i64
  %297 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %296
  %298 = getelementptr inbounds %struct.Node, ptr %297, i32 0, i32 1
  %299 = load i32, ptr %298, align 4, !tbaa !15
  %300 = add nsw i32 %294, %299
  store i32 %300, ptr %13, align 4, !tbaa !5
  %301 = call noundef nonnull align 4 dereferenceable(4) ptr @_Z3maxRKiS0_(ptr noundef nonnull align 4 dereferenceable(4) %280, ptr noundef nonnull align 4 dereferenceable(4) %13)
  %302 = load i32, ptr %301, align 4, !tbaa !5
  %303 = load i32, ptr %4, align 4, !tbaa !5
  %304 = sext i32 %303 to i64
  %305 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %304
  %306 = load i32, ptr %12, align 4, !tbaa !5
  %307 = sext i32 %306 to i64
  %308 = getelementptr inbounds [4001 x i32], ptr %305, i64 0, i64 %307
  store i32 %302, ptr %308, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #5
  br label %309

309:                                              ; preds = %273
  %310 = load i32, ptr %12, align 4, !tbaa !5
  %311 = add nsw i32 %310, 1
  store i32 %311, ptr %12, align 4, !tbaa !5
  br label %269, !llvm.loop !20

312:                                              ; preds = %272
  br label %339

313:                                              ; preds = %224, %220
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #5
  %314 = load i32, ptr %4, align 4, !tbaa !5
  %315 = sext i32 %314 to i64
  %316 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %315
  %317 = getelementptr inbounds %struct.Node, ptr %316, i32 0, i32 0
  %318 = load i32, ptr %317, align 4, !tbaa !13
  store i32 %318, ptr %14, align 4, !tbaa !5
  br label %319

319:                                              ; preds = %335, %313
  %320 = load i32, ptr %14, align 4, !tbaa !5
  %321 = icmp slt i32 %320, 4001
  br i1 %321, label %323, label %322

322:                                              ; preds = %319
  store i32 29, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #5
  br label %338

323:                                              ; preds = %319
  %324 = load i32, ptr %4, align 4, !tbaa !5
  %325 = sext i32 %324 to i64
  %326 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %325
  %327 = getelementptr inbounds %struct.Node, ptr %326, i32 0, i32 1
  %328 = load i32, ptr %327, align 4, !tbaa !15
  %329 = load i32, ptr %4, align 4, !tbaa !5
  %330 = sext i32 %329 to i64
  %331 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %330
  %332 = load i32, ptr %14, align 4, !tbaa !5
  %333 = sext i32 %332 to i64
  %334 = getelementptr inbounds [4001 x i32], ptr %331, i64 0, i64 %333
  store i32 %328, ptr %334, align 4, !tbaa !5
  br label %335

335:                                              ; preds = %323
  %336 = load i32, ptr %14, align 4, !tbaa !5
  %337 = add nsw i32 %336, 1
  store i32 %337, ptr %14, align 4, !tbaa !5
  br label %319, !llvm.loop !21

338:                                              ; preds = %322
  br label %339

339:                                              ; preds = %338, %312
  br label %340

340:                                              ; preds = %339
  %341 = load i32, ptr %4, align 4, !tbaa !5
  %342 = add nsw i32 %341, -1
  store i32 %342, ptr %4, align 4, !tbaa !5
  br label %204, !llvm.loop !22

343:                                              ; preds = %218
  %344 = load i32, ptr %10, align 4, !tbaa !5
  store i32 %344, ptr %4, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #5
  br label %345

345:                                              ; preds = %343
  %346 = load i32, ptr %3, align 4, !tbaa !5
  %347 = add nsw i32 %346, 1
  store i32 %347, ptr %3, align 4, !tbaa !5
  br label %52, !llvm.loop !23

348:                                              ; preds = %59
  %349 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef @.str.2, ptr noundef @q)
  br label %350

350:                                              ; preds = %502, %500, %348
  %351 = load i32, ptr @q, align 4, !tbaa !5
  %352 = add nsw i32 %351, -1
  store i32 %352, ptr @q, align 4, !tbaa !5
  %353 = icmp ne i32 %351, 0
  br i1 %353, label %354, label %503

354:                                              ; preds = %350
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #5
  %355 = load i32, ptr @n, align 4, !tbaa !5
  %356 = add nsw i32 %355, 1
  store i32 %356, ptr %18, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #5
  store i32 0, ptr %19, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #5
  %357 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef @.str, ptr noundef %16, ptr noundef %20)
  %358 = load i32, ptr %16, align 4, !tbaa !5
  %359 = load i32, ptr @p, align 4, !tbaa !5
  %360 = sub nsw i32 %358, %359
  %361 = add nsw i32 %360, 1
  store i32 %361, ptr %15, align 4, !tbaa !5
  %362 = load i32, ptr %16, align 4, !tbaa !5
  %363 = sub nsw i32 %362, 1
  %364 = load i32, ptr @p, align 4, !tbaa !5
  %365 = sdiv i32 %363, %364
  %366 = load i32, ptr @p, align 4, !tbaa !5
  %367 = mul nsw i32 %365, %366
  store i32 %367, ptr %17, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #5
  store i32 1, ptr %21, align 4, !tbaa !5
  br label %368

368:                                              ; preds = %384, %354
  %369 = load i32, ptr %21, align 4, !tbaa !5
  %370 = load i32, ptr @n, align 4, !tbaa !5
  %371 = icmp sle i32 %369, %370
  br i1 %371, label %373, label %372

372:                                              ; preds = %368
  store i32 34, ptr %5, align 4
  br label %387

373:                                              ; preds = %368
  %374 = load i32, ptr %15, align 4, !tbaa !5
  %375 = load i32, ptr %21, align 4, !tbaa !5
  %376 = sext i32 %375 to i64
  %377 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %376
  %378 = getelementptr inbounds %struct.Node, ptr %377, i32 0, i32 2
  %379 = load i32, ptr %378, align 4, !tbaa !11
  %380 = icmp sle i32 %374, %379
  br i1 %380, label %381, label %383

381:                                              ; preds = %373
  %382 = load i32, ptr %21, align 4, !tbaa !5
  store i32 %382, ptr %18, align 4, !tbaa !5
  store i32 34, ptr %5, align 4
  br label %387

383:                                              ; preds = %373
  br label %384

384:                                              ; preds = %383
  %385 = load i32, ptr %21, align 4, !tbaa !5
  %386 = add nsw i32 %385, 1
  store i32 %386, ptr %21, align 4, !tbaa !5
  br label %368, !llvm.loop !24

387:                                              ; preds = %381, %372
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #5
  br label %388

388:                                              ; preds = %387
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #5
  %389 = load i32, ptr @n, align 4, !tbaa !5
  store i32 %389, ptr %22, align 4, !tbaa !5
  br label %390

390:                                              ; preds = %405, %388
  %391 = load i32, ptr %22, align 4, !tbaa !5
  %392 = icmp sgt i32 %391, 0
  br i1 %392, label %394, label %393

393:                                              ; preds = %390
  store i32 37, ptr %5, align 4
  br label %408

394:                                              ; preds = %390
  %395 = load i32, ptr %22, align 4, !tbaa !5
  %396 = sext i32 %395 to i64
  %397 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %396
  %398 = getelementptr inbounds %struct.Node, ptr %397, i32 0, i32 2
  %399 = load i32, ptr %398, align 4, !tbaa !11
  %400 = load i32, ptr %16, align 4, !tbaa !5
  %401 = icmp sle i32 %399, %400
  br i1 %401, label %402, label %404

402:                                              ; preds = %394
  %403 = load i32, ptr %22, align 4, !tbaa !5
  store i32 %403, ptr %19, align 4, !tbaa !5
  store i32 37, ptr %5, align 4
  br label %408

404:                                              ; preds = %394
  br label %405

405:                                              ; preds = %404
  %406 = load i32, ptr %22, align 4, !tbaa !5
  %407 = add nsw i32 %406, -1
  store i32 %407, ptr %22, align 4, !tbaa !5
  br label %390, !llvm.loop !25

408:                                              ; preds = %402, %393
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #5
  br label %409

409:                                              ; preds = %408
  %410 = load i32, ptr %18, align 4, !tbaa !5
  %411 = load i32, ptr %19, align 4, !tbaa !5
  %412 = icmp sgt i32 %410, %411
  br i1 %412, label %413, label %415

413:                                              ; preds = %409
  %414 = call i32 @puts(ptr noundef @.str.3)
  store i32 32, ptr %5, align 4
  br label %500, !llvm.loop !26

415:                                              ; preds = %409
  store i32 0, ptr @ans, align 4, !tbaa !5
  %416 = load i32, ptr %17, align 4, !tbaa !5
  %417 = load i32, ptr %18, align 4, !tbaa !5
  %418 = sext i32 %417 to i64
  %419 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %418
  %420 = getelementptr inbounds %struct.Node, ptr %419, i32 0, i32 2
  %421 = load i32, ptr %420, align 4, !tbaa !11
  %422 = icmp slt i32 %416, %421
  br i1 %422, label %423, label %431

423:                                              ; preds = %415
  %424 = load i32, ptr %19, align 4, !tbaa !5
  %425 = sext i32 %424 to i64
  %426 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %425
  %427 = load i32, ptr %20, align 4, !tbaa !5
  %428 = sext i32 %427 to i64
  %429 = getelementptr inbounds [4001 x i32], ptr %426, i64 0, i64 %428
  %430 = load i32, ptr %429, align 4, !tbaa !5
  store i32 %430, ptr @ans, align 4, !tbaa !5
  br label %497

431:                                              ; preds = %415
  %432 = load i32, ptr %19, align 4, !tbaa !5
  %433 = sext i32 %432 to i64
  %434 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %433
  %435 = getelementptr inbounds %struct.Node, ptr %434, i32 0, i32 2
  %436 = load i32, ptr %435, align 4, !tbaa !11
  %437 = load i32, ptr %17, align 4, !tbaa !5
  %438 = icmp sle i32 %436, %437
  br i1 %438, label %439, label %447

439:                                              ; preds = %431
  %440 = load i32, ptr %18, align 4, !tbaa !5
  %441 = sext i32 %440 to i64
  %442 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %441
  %443 = load i32, ptr %20, align 4, !tbaa !5
  %444 = sext i32 %443 to i64
  %445 = getelementptr inbounds [4001 x i32], ptr %442, i64 0, i64 %444
  %446 = load i32, ptr %445, align 4, !tbaa !5
  store i32 %446, ptr @ans, align 4, !tbaa !5
  br label %496

447:                                              ; preds = %431
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #5
  store i32 0, ptr %23, align 4, !tbaa !5
  br label %448

448:                                              ; preds = %492, %447
  %449 = load i32, ptr %23, align 4, !tbaa !5
  %450 = load i32, ptr %20, align 4, !tbaa !5
  %451 = icmp sle i32 %449, %450
  br i1 %451, label %453, label %452

452:                                              ; preds = %448
  store i32 40, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #5
  br label %495

453:                                              ; preds = %448
  %454 = load i32, ptr @ans, align 4, !tbaa !5
  %455 = load i32, ptr %19, align 4, !tbaa !5
  %456 = sext i32 %455 to i64
  %457 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %456
  %458 = load i32, ptr %23, align 4, !tbaa !5
  %459 = sext i32 %458 to i64
  %460 = getelementptr inbounds [4001 x i32], ptr %457, i64 0, i64 %459
  %461 = load i32, ptr %460, align 4, !tbaa !5
  %462 = load i32, ptr %18, align 4, !tbaa !5
  %463 = sext i32 %462 to i64
  %464 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %463
  %465 = load i32, ptr %20, align 4, !tbaa !5
  %466 = load i32, ptr %23, align 4, !tbaa !5
  %467 = sub nsw i32 %465, %466
  %468 = sext i32 %467 to i64
  %469 = getelementptr inbounds [4001 x i32], ptr %464, i64 0, i64 %468
  %470 = load i32, ptr %469, align 4, !tbaa !5
  %471 = add nsw i32 %461, %470
  %472 = icmp slt i32 %454, %471
  br i1 %472, label %473, label %491

473:                                              ; preds = %453
  %474 = load i32, ptr %19, align 4, !tbaa !5
  %475 = sext i32 %474 to i64
  %476 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %475
  %477 = load i32, ptr %23, align 4, !tbaa !5
  %478 = sext i32 %477 to i64
  %479 = getelementptr inbounds [4001 x i32], ptr %476, i64 0, i64 %478
  %480 = load i32, ptr %479, align 4, !tbaa !5
  %481 = load i32, ptr %18, align 4, !tbaa !5
  %482 = sext i32 %481 to i64
  %483 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %482
  %484 = load i32, ptr %20, align 4, !tbaa !5
  %485 = load i32, ptr %23, align 4, !tbaa !5
  %486 = sub nsw i32 %484, %485
  %487 = sext i32 %486 to i64
  %488 = getelementptr inbounds [4001 x i32], ptr %483, i64 0, i64 %487
  %489 = load i32, ptr %488, align 4, !tbaa !5
  %490 = add nsw i32 %480, %489
  store i32 %490, ptr @ans, align 4, !tbaa !5
  br label %491

491:                                              ; preds = %473, %453
  br label %492

492:                                              ; preds = %491
  %493 = load i32, ptr %23, align 4, !tbaa !5
  %494 = add nsw i32 %493, 1
  store i32 %494, ptr %23, align 4, !tbaa !5
  br label %448, !llvm.loop !27

495:                                              ; preds = %452
  br label %496

496:                                              ; preds = %495, %439
  br label %497

497:                                              ; preds = %496, %423
  %498 = load i32, ptr @ans, align 4, !tbaa !5
  %499 = call i32 (ptr, ...) @printf(ptr noundef @.str.4, i32 noundef %498)
  store i32 0, ptr %5, align 4
  br label %500

500:                                              ; preds = %497, %413
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #5
  %501 = load i32, ptr %5, align 4
  switch i32 %501, label %504 [
    i32 0, label %502
    i32 32, label %350
  ]

502:                                              ; preds = %500
  br label %350, !llvm.loop !26

503:                                              ; preds = %350
  ret i32 0

504:                                              ; preds = %500
  unreachable
}

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZSt4sortIP4NodeEvT_S2_(ptr noundef, ptr noundef) #4

declare i32 @puts(ptr noundef) #2

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = !{!12, !6, i64 8}
!12 = !{!"_ZTS4Node", !6, i64 0, !6, i64 4, !6, i64 8}
!13 = !{!12, !6, i64 0}
!14 = distinct !{!14, !10}
!15 = !{!12, !6, i64 4}
!16 = distinct !{!16, !10}
!17 = distinct !{!17, !10}
!18 = distinct !{!18, !10}
!19 = distinct !{!19, !10}
!20 = distinct !{!20, !10}
!21 = distinct !{!21, !10}
!22 = distinct !{!22, !10}
!23 = distinct !{!23, !10}
!24 = distinct !{!24, !10}
!25 = distinct !{!25, !10}
!26 = distinct !{!26, !10}
!27 = distinct !{!27, !10}


; 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.Node = type { i32, i32, i32 }

@n = external dso_local global i32, align 4
@p = external dso_local global i32, align 4
@f = external dso_local global [4001 x [4001 x i32]], align 16
@g = external dso_local global [4001 x [4001 x i32]], align 16
@q = external dso_local global i32, align 4
@ans = external dso_local local_unnamed_addr global i32, align 4
@s = external dso_local global [4001 x %struct.Node], align 16
@.str = external hidden unnamed_addr constant [5 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [4 x i8], align 1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_Z3maxRKiS0_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #0

; Function Attrs: mustprogress norecurse uwtable
define dso_local noundef i32 @main() local_unnamed_addr #1 {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = tail call i32 (ptr, ...) @__isoc99_scanf(ptr noundef nonnull @.str, ptr noundef nonnull @n, ptr noundef nonnull @p)
  %6 = load i32, ptr @n, align 4, !tbaa !5
  %.not143 = icmp slt i32 %6, 1
  br i1 %.not143, label %.._crit_edge_crit_edge, label %.lr.ph

.._crit_edge_crit_edge:                           ; preds = %0
  %.pre255 = sext i32 %6 to i64
  br label %._crit_edge

._crit_edge:                                      ; preds = %.lr.ph, %.._crit_edge_crit_edge
  %.pre-phi = phi i64 [ %.pre255, %.._crit_edge_crit_edge ], [ %14, %.lr.ph ]
  %7 = getelementptr inbounds %struct.Node, ptr @s, i64 %.pre-phi
  %8 = getelementptr inbounds i8, ptr %7, i64 12
  tail call void @_ZSt4sortIP4NodeEvT_S2_(ptr noundef nonnull getelementptr inbounds (i8, ptr @s, i64 12), ptr noundef nonnull %8)
  br label %.preheader139

.lr.ph:                                           ; preds = %0, %.lr.ph
  %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph ], [ 1, %0 ]
  %9 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %indvars.iv
  %10 = getelementptr inbounds i8, ptr %9, i64 4
  %11 = getelementptr inbounds i8, ptr %9, i64 8
  %12 = tail call i32 (ptr, ...) @__isoc99_scanf(ptr noundef nonnull @.str.1, ptr noundef nonnull %9, ptr noundef nonnull %10, ptr noundef nonnull %11)
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %13 = load i32, ptr @n, align 4, !tbaa !5
  %14 = sext i32 %13 to i64
  %.not.not = icmp slt i64 %indvars.iv, %14
  br i1 %.not.not, label %.lr.ph, label %._crit_edge, !llvm.loop !9

.preheader139:                                    ; preds = %._crit_edge, %.critedge2
  %15 = phi i32 [ 0, %._crit_edge ], [ %.0106174, %.critedge2 ]
  %.0106174 = phi i32 [ 1, %._crit_edge ], [ %148, %.critedge2 ]
  %.0110173 = phi i32 [ 1, %._crit_edge ], [ %.1.lcssa, %.critedge2 ]
  %16 = load i32, ptr @n, align 4, !tbaa !5
  %.not127153 = icmp sgt i32 %.0110173, %16
  br i1 %.not127153, label %.critedge, label %.lr.ph156.preheader

.lr.ph156.preheader:                              ; preds = %.preheader139
  %17 = sext i32 %.0110173 to i64
  br label %.lr.ph156

18:                                               ; preds = %.critedge2
  %19 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef nonnull @.str.2, ptr noundef nonnull @q)
  %20 = load i32, ptr @q, align 4, !tbaa !5
  %21 = add nsw i32 %20, -1
  store i32 %21, ptr @q, align 4, !tbaa !5
  %.not120195 = icmp eq i32 %20, 0
  br i1 %.not120195, label %._crit_edge198, label %.lr.ph197

.lr.ph156:                                        ; preds = %.lr.ph156.preheader, %.loopexit136
  %22 = phi i32 [ %16, %.lr.ph156.preheader ], [ %82, %.loopexit136 ]
  %indvars.iv215 = phi i64 [ %17, %.lr.ph156.preheader ], [ %indvars.iv.next216, %.loopexit136 ]
  %23 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %indvars.iv215
  %24 = getelementptr inbounds i8, ptr %23, i64 8
  %25 = load i32, ptr %24, align 4, !tbaa !11
  %26 = load i32, ptr @p, align 4, !tbaa !5
  %27 = mul nsw i32 %26, %.0106174
  %.not128 = icmp sgt i32 %25, %27
  br i1 %.not128, label %.critedge.loopexit, label %28

28:                                               ; preds = %.lr.ph156
  %29 = icmp sgt i64 %indvars.iv215, 1
  br i1 %29, label %30, label %60

30:                                               ; preds = %28
  %31 = mul nsw i32 %26, %15
  %32 = add nsw i64 %indvars.iv215, -1
  %33 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %32, i32 2
  %34 = load i32, ptr %33, align 4, !tbaa !11
  %35 = icmp slt i32 %31, %34
  br i1 %35, label %.preheader137, label %60

.preheader137:                                    ; preds = %30
  %36 = load i32, ptr %23, align 4, !tbaa !13
  %37 = icmp sgt i32 %36, 0
  br i1 %37, label %.lr.ph149.preheader, label %.lr.ph152

.lr.ph149.preheader:                              ; preds = %.preheader137
  %wide.trip.count = zext nneg i32 %36 to i64
  %min.iters.check282 = icmp ult i32 %36, 4
  br i1 %min.iters.check282, label %.lr.ph149.preheader311, label %vector.ph283

.lr.ph149.preheader311:                           ; preds = %middle.block280, %.lr.ph149.preheader
  %indvars.iv206.ph = phi i64 [ 0, %.lr.ph149.preheader ], [ %n.vec285, %middle.block280 ]
  br label %.lr.ph149

vector.ph283:                                     ; preds = %.lr.ph149.preheader
  %n.vec285 = and i64 %wide.trip.count, 2147483644
  br label %vector.body287

vector.body287:                                   ; preds = %vector.body287, %vector.ph283
  %index288 = phi i64 [ 0, %vector.ph283 ], [ %index.next290, %vector.body287 ]
  %38 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %32, i64 %index288
  %wide.load289 = load <4 x i32>, ptr %38, align 4, !tbaa !5
  %39 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %indvars.iv215, i64 %index288
  store <4 x i32> %wide.load289, ptr %39, align 4, !tbaa !5
  %index.next290 = add nuw i64 %index288, 4
  %40 = icmp eq i64 %index.next290, %n.vec285
  br i1 %40, label %middle.block280, label %vector.body287, !llvm.loop !14

middle.block280:                                  ; preds = %vector.body287
  %cmp.n291 = icmp eq i64 %n.vec285, %wide.trip.count
  br i1 %cmp.n291, label %.preheader135, label %.lr.ph149.preheader311

.preheader135:                                    ; preds = %.lr.ph149, %middle.block280
  %41 = icmp slt i32 %36, 4001
  br i1 %41, label %.lr.ph152, label %.loopexit136

.lr.ph152:                                        ; preds = %.preheader137, %.preheader135
  %42 = getelementptr inbounds i8, ptr %23, i64 4
  %43 = sext i32 %36 to i64
  br label %47

.lr.ph149:                                        ; preds = %.lr.ph149.preheader311, %.lr.ph149
  %indvars.iv206 = phi i64 [ %indvars.iv.next207, %.lr.ph149 ], [ %indvars.iv206.ph, %.lr.ph149.preheader311 ]
  %44 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %32, i64 %indvars.iv206
  %45 = load i32, ptr %44, align 4, !tbaa !5
  %46 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %indvars.iv215, i64 %indvars.iv206
  store i32 %45, ptr %46, align 4, !tbaa !5
  %indvars.iv.next207 = add nuw nsw i64 %indvars.iv206, 1
  %exitcond209.not = icmp eq i64 %indvars.iv.next207, %wide.trip.count
  br i1 %exitcond209.not, label %.preheader135, label %.lr.ph149, !llvm.loop !17

47:                                               ; preds = %.lr.ph152, %47
  %indvars.iv210 = phi i64 [ %43, %.lr.ph152 ], [ %indvars.iv.next211, %47 ]
  %48 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %32, i64 %indvars.iv210
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %1) #5
  %49 = load i32, ptr %23, align 4, !tbaa !13
  %50 = sext i32 %49 to i64
  %51 = sub nsw i64 %indvars.iv210, %50
  %52 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %32, i64 %51
  %53 = load i32, ptr %52, align 4, !tbaa !5
  %54 = load i32, ptr %42, align 4, !tbaa !18
  %55 = add nsw i32 %54, %53
  store i32 %55, ptr %1, align 4, !tbaa !5
  %56 = call noundef nonnull align 4 dereferenceable(4) ptr @_Z3maxRKiS0_(ptr noundef nonnull align 4 dereferenceable(4) %48, ptr noundef nonnull align 4 dereferenceable(4) %1)
  %57 = load i32, ptr %56, align 4, !tbaa !5
  %58 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %indvars.iv215, i64 %indvars.iv210
  store i32 %57, ptr %58, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %1) #5
  %indvars.iv.next211 = add nsw i64 %indvars.iv210, 1
  %59 = and i64 %indvars.iv.next211, 4294967295
  %exitcond214.not = icmp eq i64 %59, 4001
  br i1 %exitcond214.not, label %.loopexit136.loopexit, label %47, !llvm.loop !19

60:                                               ; preds = %30, %28
  %61 = load i32, ptr %23, align 4, !tbaa !13
  %62 = icmp slt i32 %61, 4001
  br i1 %62, label %.lr.ph147, label %.loopexit136

.lr.ph147:                                        ; preds = %60
  %63 = getelementptr inbounds i8, ptr %23, i64 4
  %64 = load i32, ptr %63, align 4, !tbaa !18
  %65 = sext i32 %61 to i64
  %66 = add i32 %61, 1
  %67 = zext i32 %66 to i64
  %68 = sub nsw i64 4002, %67
  %min.iters.check295 = icmp ult i64 %68, 16
  br i1 %min.iters.check295, label %scalar.ph294.preheader, label %vector.scevcheck292

vector.scevcheck292:                              ; preds = %.lr.ph147
  %69 = add i32 %61, 1
  %70 = zext i32 %69 to i64
  %71 = sub nsw i64 4001, %70
  %72 = trunc i64 %71 to i32
  %73 = sub i32 -2, %61
  %74 = icmp ult i32 %73, %72
  %75 = icmp ugt i64 %71, 4294967295
  %76 = or i1 %74, %75
  br i1 %76, label %scalar.ph294.preheader, label %vector.ph296

vector.ph296:                                     ; preds = %vector.scevcheck292
  %n.vec298 = and i64 %68, -8
  %ind.end299 = add nsw i64 %n.vec298, %65
  %broadcast.splatinsert304 = insertelement <4 x i32> poison, i32 %64, i64 0
  %broadcast.splat305 = shufflevector <4 x i32> %broadcast.splatinsert304, <4 x i32> poison, <4 x i32> zeroinitializer
  br label %vector.body301

vector.body301:                                   ; preds = %vector.body301, %vector.ph296
  %index302 = phi i64 [ 0, %vector.ph296 ], [ %index.next306, %vector.body301 ]
  %offset.idx303 = add i64 %index302, %65
  %77 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %indvars.iv215, i64 %offset.idx303
  %78 = getelementptr inbounds i8, ptr %77, i64 16
  store <4 x i32> %broadcast.splat305, ptr %77, align 4, !tbaa !5
  store <4 x i32> %broadcast.splat305, ptr %78, align 4, !tbaa !5
  %index.next306 = add nuw i64 %index302, 8
  %79 = icmp eq i64 %index.next306, %n.vec298
  br i1 %79, label %middle.block293, label %vector.body301, !llvm.loop !20

middle.block293:                                  ; preds = %vector.body301
  %cmp.n307 = icmp eq i64 %68, %n.vec298
  br i1 %cmp.n307, label %.loopexit136, label %scalar.ph294.preheader

scalar.ph294.preheader:                           ; preds = %middle.block293, %vector.scevcheck292, %.lr.ph147
  %indvars.iv202.ph = phi i64 [ %65, %vector.scevcheck292 ], [ %65, %.lr.ph147 ], [ %ind.end299, %middle.block293 ]
  br label %scalar.ph294

scalar.ph294:                                     ; preds = %scalar.ph294.preheader, %scalar.ph294
  %indvars.iv202 = phi i64 [ %indvars.iv.next203, %scalar.ph294 ], [ %indvars.iv202.ph, %scalar.ph294.preheader ]
  %80 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %indvars.iv215, i64 %indvars.iv202
  store i32 %64, ptr %80, align 4, !tbaa !5
  %indvars.iv.next203 = add nsw i64 %indvars.iv202, 1
  %81 = and i64 %indvars.iv.next203, 4294967295
  %exitcond.not = icmp eq i64 %81, 4001
  br i1 %exitcond.not, label %.loopexit136, label %scalar.ph294, !llvm.loop !21

.loopexit136.loopexit:                            ; preds = %47
  %.pre = load i32, ptr @n, align 4, !tbaa !5
  br label %.loopexit136

.loopexit136:                                     ; preds = %scalar.ph294, %middle.block293, %.loopexit136.loopexit, %60, %.preheader135
  %82 = phi i32 [ %.pre, %.loopexit136.loopexit ], [ %22, %60 ], [ %22, %.preheader135 ], [ %22, %middle.block293 ], [ %22, %scalar.ph294 ]
  %indvars.iv.next216 = add nsw i64 %indvars.iv215, 1
  %83 = sext i32 %82 to i64
  %.not127.not = icmp slt i64 %indvars.iv215, %83
  br i1 %.not127.not, label %.lr.ph156, label %.critedge.loopexit, !llvm.loop !22

.critedge.loopexit:                               ; preds = %.loopexit136, %.lr.ph156
  %.1.lcssa.ph.in = phi i64 [ %indvars.iv215, %.lr.ph156 ], [ %indvars.iv.next216, %.loopexit136 ]
  %.1.lcssa.ph = trunc i64 %.1.lcssa.ph.in to i32
  br label %.critedge

.critedge:                                        ; preds = %.critedge.loopexit, %.preheader139
  %.1.lcssa = phi i32 [ %.0110173, %.preheader139 ], [ %.1.lcssa.ph, %.critedge.loopexit ]
  %84 = icmp sgt i32 %.1.lcssa, 1
  br i1 %84, label %.lr.ph171.preheader, label %.critedge2

.lr.ph171.preheader:                              ; preds = %.critedge
  %85 = zext nneg i32 %.1.lcssa to i64
  br label %.lr.ph171

.lr.ph171:                                        ; preds = %.lr.ph171.preheader, %.loopexit131
  %indvars.iv239 = phi i64 [ %85, %.lr.ph171.preheader ], [ %indvars.iv.next240, %.loopexit131 ]
  %indvars.iv.next240 = add nsw i64 %indvars.iv239, -1
  %86 = load i32, ptr @p, align 4, !tbaa !5
  %87 = mul nsw i32 %86, %15
  %88 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %indvars.iv.next240
  %89 = getelementptr inbounds i8, ptr %88, i64 8
  %90 = load i32, ptr %89, align 4, !tbaa !11
  %91 = icmp slt i32 %87, %90
  br i1 %91, label %92, label %.critedge2

92:                                               ; preds = %.lr.ph171
  %93 = load i32, ptr @n, align 4, !tbaa !5
  %94 = sext i32 %93 to i64
  %.not129 = icmp sgt i64 %indvars.iv239, %94
  br i1 %.not129, label %125, label %95

95:                                               ; preds = %92
  %96 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %indvars.iv239, i32 2
  %97 = load i32, ptr %96, align 4, !tbaa !11
  %98 = mul nsw i32 %86, %.0106174
  %.not130 = icmp sgt i32 %97, %98
  br i1 %.not130, label %125, label %.preheader134

.preheader134:                                    ; preds = %95
  %99 = load i32, ptr %88, align 4, !tbaa !13
  %100 = icmp sgt i32 %99, 0
  br i1 %100, label %.lr.ph161.preheader, label %.lr.ph164

.lr.ph161.preheader:                              ; preds = %.preheader134
  %wide.trip.count225 = zext nneg i32 %99 to i64
  %min.iters.check270 = icmp ult i32 %99, 8
  br i1 %min.iters.check270, label %.lr.ph161.preheader310, label %vector.ph271

.lr.ph161.preheader310:                           ; preds = %middle.block268, %.lr.ph161.preheader
  %indvars.iv221.ph = phi i64 [ 0, %.lr.ph161.preheader ], [ %n.vec273, %middle.block268 ]
  br label %.lr.ph161

vector.ph271:                                     ; preds = %.lr.ph161.preheader
  %n.vec273 = and i64 %wide.trip.count225, 2147483640
  br label %vector.body275

vector.body275:                                   ; preds = %vector.body275, %vector.ph271
  %index276 = phi i64 [ 0, %vector.ph271 ], [ %index.next278, %vector.body275 ]
  %101 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %indvars.iv239, i64 %index276
  %102 = getelementptr inbounds i8, ptr %101, i64 16
  %wide.load = load <4 x i32>, ptr %101, align 4, !tbaa !5
  %wide.load277 = load <4 x i32>, ptr %102, align 4, !tbaa !5
  %103 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %indvars.iv.next240, i64 %index276
  %104 = getelementptr inbounds i8, ptr %103, i64 16
  store <4 x i32> %wide.load, ptr %103, align 4, !tbaa !5
  store <4 x i32> %wide.load277, ptr %104, align 4, !tbaa !5
  %index.next278 = add nuw i64 %index276, 8
  %105 = icmp eq i64 %index.next278, %n.vec273
  br i1 %105, label %middle.block268, label %vector.body275, !llvm.loop !23

middle.block268:                                  ; preds = %vector.body275
  %cmp.n279 = icmp eq i64 %n.vec273, %wide.trip.count225
  br i1 %cmp.n279, label %.preheader132, label %.lr.ph161.preheader310

.preheader132:                                    ; preds = %.lr.ph161, %middle.block268
  %106 = icmp slt i32 %99, 4001
  br i1 %106, label %.lr.ph164, label %.loopexit131

.lr.ph164:                                        ; preds = %.preheader134, %.preheader132
  %107 = getelementptr inbounds i8, ptr %88, i64 4
  %108 = sext i32 %99 to i64
  br label %112

.lr.ph161:                                        ; preds = %.lr.ph161.preheader310, %.lr.ph161
  %indvars.iv221 = phi i64 [ %indvars.iv.next222, %.lr.ph161 ], [ %indvars.iv221.ph, %.lr.ph161.preheader310 ]
  %109 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %indvars.iv239, i64 %indvars.iv221
  %110 = load i32, ptr %109, align 4, !tbaa !5
  %111 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %indvars.iv.next240, i64 %indvars.iv221
  store i32 %110, ptr %111, align 4, !tbaa !5
  %indvars.iv.next222 = add nuw nsw i64 %indvars.iv221, 1
  %exitcond226.not = icmp eq i64 %indvars.iv.next222, %wide.trip.count225
  br i1 %exitcond226.not, label %.preheader132, label %.lr.ph161, !llvm.loop !24

112:                                              ; preds = %.lr.ph164, %112
  %indvars.iv227 = phi i64 [ %108, %.lr.ph164 ], [ %indvars.iv.next228, %112 ]
  %113 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %indvars.iv239, i64 %indvars.iv227
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %2) #5
  %114 = load i32, ptr %88, align 4, !tbaa !13
  %115 = sext i32 %114 to i64
  %116 = sub nsw i64 %indvars.iv227, %115
  %117 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %indvars.iv239, i64 %116
  %118 = load i32, ptr %117, align 4, !tbaa !5
  %119 = load i32, ptr %107, align 4, !tbaa !18
  %120 = add nsw i32 %119, %118
  store i32 %120, ptr %2, align 4, !tbaa !5
  %121 = call noundef nonnull align 4 dereferenceable(4) ptr @_Z3maxRKiS0_(ptr noundef nonnull align 4 dereferenceable(4) %113, ptr noundef nonnull align 4 dereferenceable(4) %2)
  %122 = load i32, ptr %121, align 4, !tbaa !5
  %123 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %indvars.iv.next240, i64 %indvars.iv227
  store i32 %122, ptr %123, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #5
  %indvars.iv.next228 = add nsw i64 %indvars.iv227, 1
  %124 = and i64 %indvars.iv.next228, 4294967295
  %exitcond232.not = icmp eq i64 %124, 4001
  br i1 %exitcond232.not, label %.loopexit131, label %112, !llvm.loop !25

125:                                              ; preds = %95, %92
  %126 = load i32, ptr %88, align 4, !tbaa !13
  %127 = icmp slt i32 %126, 4001
  br i1 %127, label %.lr.ph167, label %.loopexit131

.lr.ph167:                                        ; preds = %125
  %128 = getelementptr inbounds i8, ptr %88, i64 4
  %129 = load i32, ptr %128, align 4, !tbaa !18
  %130 = sext i32 %126 to i64
  %131 = add i32 %126, 1
  %132 = zext i32 %131 to i64
  %133 = sub nsw i64 4002, %132
  %min.iters.check = icmp ult i64 %133, 16
  br i1 %min.iters.check, label %scalar.ph.preheader, label %vector.scevcheck

vector.scevcheck:                                 ; preds = %.lr.ph167
  %134 = add i32 %126, 1
  %135 = zext i32 %134 to i64
  %136 = sub nsw i64 4001, %135
  %137 = trunc i64 %136 to i32
  %138 = sub i32 -2, %126
  %139 = icmp ult i32 %138, %137
  %140 = icmp ugt i64 %136, 4294967295
  %141 = or i1 %139, %140
  br i1 %141, label %scalar.ph.preheader, label %vector.ph

vector.ph:                                        ; preds = %vector.scevcheck
  %n.vec = and i64 %133, -8
  %ind.end = add nsw i64 %n.vec, %130
  %broadcast.splatinsert = insertelement <4 x i32> poison, i32 %129, i64 0
  %broadcast.splat = shufflevector <4 x i32> %broadcast.splatinsert, <4 x i32> poison, <4 x i32> zeroinitializer
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %offset.idx = add i64 %index, %130
  %142 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %indvars.iv.next240, i64 %offset.idx
  %143 = getelementptr inbounds i8, ptr %142, i64 16
  store <4 x i32> %broadcast.splat, ptr %142, align 4, !tbaa !5
  store <4 x i32> %broadcast.splat, ptr %143, align 4, !tbaa !5
  %index.next = add nuw i64 %index, 8
  %144 = icmp eq i64 %index.next, %n.vec
  br i1 %144, label %middle.block, label %vector.body, !llvm.loop !26

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %133, %n.vec
  br i1 %cmp.n, label %.loopexit131, label %scalar.ph.preheader

scalar.ph.preheader:                              ; preds = %middle.block, %vector.scevcheck, %.lr.ph167
  %indvars.iv233.ph = phi i64 [ %130, %vector.scevcheck ], [ %130, %.lr.ph167 ], [ %ind.end, %middle.block ]
  br label %scalar.ph

scalar.ph:                                        ; preds = %scalar.ph.preheader, %scalar.ph
  %indvars.iv233 = phi i64 [ %indvars.iv.next234, %scalar.ph ], [ %indvars.iv233.ph, %scalar.ph.preheader ]
  %145 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %indvars.iv.next240, i64 %indvars.iv233
  store i32 %129, ptr %145, align 4, !tbaa !5
  %indvars.iv.next234 = add nsw i64 %indvars.iv233, 1
  %146 = and i64 %indvars.iv.next234, 4294967295
  %exitcond238.not = icmp eq i64 %146, 4001
  br i1 %exitcond238.not, label %.loopexit131, label %scalar.ph, !llvm.loop !27

.loopexit131:                                     ; preds = %112, %scalar.ph, %middle.block, %.preheader132, %125
  %147 = icmp sgt i64 %indvars.iv239, 2
  br i1 %147, label %.lr.ph171, label %.critedge2, !llvm.loop !28

.critedge2:                                       ; preds = %.lr.ph171, %.loopexit131, %.critedge
  %148 = add nuw nsw i32 %.0106174, 1
  %149 = load i32, ptr @p, align 4, !tbaa !5
  %150 = mul nsw i32 %.0106174, %149
  %151 = icmp slt i32 %150, 20000
  br i1 %151, label %.preheader139, label %18, !llvm.loop !29

.lr.ph197:                                        ; preds = %18, %227
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %3) #5
  %152 = load i32, ptr @n, align 4, !tbaa !5
  %153 = add nsw i32 %152, 1
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %4) #5
  %154 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef nonnull @.str, ptr noundef nonnull %3, ptr noundef nonnull %4)
  %155 = load i32, ptr %3, align 4, !tbaa !5
  %.fr121 = freeze i32 %155
  %156 = load i32, ptr @p, align 4, !tbaa !5
  %157 = sub nsw i32 %.fr121, %156
  %158 = add i32 %.fr121, -1
  %159 = srem i32 %158, %156
  %160 = sub nsw i32 %158, %159
  %161 = load i32, ptr @n, align 4, !tbaa !5
  %.not122175 = icmp slt i32 %161, 1
  br i1 %.not122175, label %._crit_edge188, label %.lr.ph178.preheader

.lr.ph178.preheader:                              ; preds = %.lr.ph197
  %162 = add nuw i32 %161, 1
  %wide.trip.count247 = zext i32 %162 to i64
  br label %.lr.ph178

.lr.ph178:                                        ; preds = %.lr.ph178.preheader, %165
  %indvars.iv243 = phi i64 [ 1, %.lr.ph178.preheader ], [ %indvars.iv.next244, %165 ]
  %163 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %indvars.iv243, i32 2
  %164 = load i32, ptr %163, align 4, !tbaa !11
  %.not123.not = icmp slt i32 %157, %164
  br i1 %.not123.not, label %._crit_edge179.split.loop.exit261, label %165

165:                                              ; preds = %.lr.ph178
  %indvars.iv.next244 = add nuw nsw i64 %indvars.iv243, 1
  %exitcond248.not = icmp eq i64 %indvars.iv.next244, %wide.trip.count247
  br i1 %exitcond248.not, label %._crit_edge179, label %.lr.ph178, !llvm.loop !30

._crit_edge179.split.loop.exit261:                ; preds = %.lr.ph178
  %166 = trunc nuw nsw i64 %indvars.iv243 to i32
  br label %._crit_edge179

._crit_edge179:                                   ; preds = %165, %._crit_edge179.split.loop.exit261
  %.0104 = phi i32 [ %166, %._crit_edge179.split.loop.exit261 ], [ %153, %165 ]
  br label %.lr.ph187

.lr.ph187:                                        ; preds = %._crit_edge179, %170
  %.0101185 = phi i32 [ %171, %170 ], [ %161, %._crit_edge179 ]
  %167 = zext nneg i32 %.0101185 to i64
  %168 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %167, i32 2
  %169 = load i32, ptr %168, align 4, !tbaa !11
  %.not124 = icmp sgt i32 %169, %.fr121
  br i1 %.not124, label %170, label %._crit_edge188

170:                                              ; preds = %.lr.ph187
  %171 = add nsw i32 %.0101185, -1
  %172 = icmp sgt i32 %.0101185, 1
  br i1 %172, label %.lr.ph187, label %._crit_edge188, !llvm.loop !31

._crit_edge188:                                   ; preds = %170, %.lr.ph187, %.lr.ph197
  %.0104257 = phi i32 [ %153, %.lr.ph197 ], [ %.0104, %.lr.ph187 ], [ %.0104, %170 ]
  %.0103 = phi i32 [ 0, %.lr.ph197 ], [ 0, %170 ], [ %.0101185, %.lr.ph187 ]
  %173 = icmp sgt i32 %.0104257, %.0103
  br i1 %173, label %174, label %176

174:                                              ; preds = %._crit_edge188
  %175 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.3)
  br label %227, !llvm.loop !32

176:                                              ; preds = %._crit_edge188
  store i32 0, ptr @ans, align 4, !tbaa !5
  %177 = sext i32 %.0104257 to i64
  %178 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %177, i32 2
  %179 = load i32, ptr %178, align 4, !tbaa !11
  %180 = icmp slt i32 %160, %179
  %181 = zext nneg i32 %.0103 to i64
  br i1 %180, label %182, label %186

182:                                              ; preds = %176
  %183 = load i32, ptr %4, align 4, !tbaa !5
  %184 = sext i32 %183 to i64
  %185 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %181, i64 %184
  br label %.loopexit.sink.split

186:                                              ; preds = %176
  %187 = getelementptr inbounds [4001 x %struct.Node], ptr @s, i64 0, i64 %181, i32 2
  %188 = load i32, ptr %187, align 4, !tbaa !11
  %.not125 = icmp sgt i32 %188, %160
  %189 = load i32, ptr %4, align 4, !tbaa !5
  br i1 %.not125, label %.preheader, label %193

.preheader:                                       ; preds = %186
  %.not126192 = icmp slt i32 %189, 0
  br i1 %.not126192, label %.loopexit, label %.lr.ph194.preheader

.lr.ph194.preheader:                              ; preds = %.preheader
  %190 = zext nneg i32 %189 to i64
  %191 = add nuw i32 %189, 1
  %wide.trip.count253 = zext i32 %191 to i64
  %xtraiter = and i64 %wide.trip.count253, 1
  %192 = icmp eq i32 %189, 0
  br i1 %192, label %.loopexit.loopexit.unr-lcssa, label %.lr.ph194.preheader.new

.lr.ph194.preheader.new:                          ; preds = %.lr.ph194.preheader
  %unroll_iter = and i64 %wide.trip.count253, 4294967294
  br label %.lr.ph194

193:                                              ; preds = %186
  %194 = sext i32 %189 to i64
  %195 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %177, i64 %194
  br label %.loopexit.sink.split

.lr.ph194:                                        ; preds = %214, %.lr.ph194.preheader.new
  %indvars.iv249 = phi i64 [ 0, %.lr.ph194.preheader.new ], [ %indvars.iv.next250.1, %214 ]
  %196 = phi i32 [ 0, %.lr.ph194.preheader.new ], [ %215, %214 ]
  %niter = phi i64 [ 0, %.lr.ph194.preheader.new ], [ %niter.next.1, %214 ]
  %197 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %181, i64 %indvars.iv249
  %198 = load i32, ptr %197, align 4, !tbaa !5
  %199 = sub nsw i64 %190, %indvars.iv249
  %200 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %177, i64 %199
  %201 = load i32, ptr %200, align 4, !tbaa !5
  %202 = add nsw i32 %201, %198
  %203 = icmp slt i32 %196, %202
  br i1 %203, label %204, label %.lr.ph194.1

204:                                              ; preds = %.lr.ph194
  store i32 %202, ptr @ans, align 4, !tbaa !5
  br label %.lr.ph194.1

.lr.ph194.1:                                      ; preds = %.lr.ph194, %204
  %205 = phi i32 [ %196, %.lr.ph194 ], [ %202, %204 ]
  %indvars.iv.next250 = or disjoint i64 %indvars.iv249, 1
  %206 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %181, i64 %indvars.iv.next250
  %207 = load i32, ptr %206, align 4, !tbaa !5
  %208 = sub nsw i64 %190, %indvars.iv.next250
  %209 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %177, i64 %208
  %210 = load i32, ptr %209, align 4, !tbaa !5
  %211 = add nsw i32 %210, %207
  %212 = icmp slt i32 %205, %211
  br i1 %212, label %213, label %214

213:                                              ; preds = %.lr.ph194.1
  store i32 %211, ptr @ans, align 4, !tbaa !5
  br label %214

214:                                              ; preds = %213, %.lr.ph194.1
  %215 = phi i32 [ %205, %.lr.ph194.1 ], [ %211, %213 ]
  %indvars.iv.next250.1 = add nuw nsw i64 %indvars.iv249, 2
  %niter.next.1 = add i64 %niter, 2
  %niter.ncmp.1 = icmp eq i64 %niter.next.1, %unroll_iter
  br i1 %niter.ncmp.1, label %.loopexit.loopexit.unr-lcssa, label %.lr.ph194, !llvm.loop !33

.loopexit.sink.split:                             ; preds = %182, %193
  %.sink263 = phi ptr [ %195, %193 ], [ %185, %182 ]
  %216 = load i32, ptr %.sink263, align 4, !tbaa !5
  store i32 %216, ptr @ans, align 4, !tbaa !5
  br label %.loopexit

.loopexit.loopexit.unr-lcssa:                     ; preds = %214, %.lr.ph194.preheader
  %.lcssa.ph = phi i32 [ poison, %.lr.ph194.preheader ], [ %215, %214 ]
  %indvars.iv249.unr = phi i64 [ 0, %.lr.ph194.preheader ], [ %indvars.iv.next250.1, %214 ]
  %.unr = phi i32 [ 0, %.lr.ph194.preheader ], [ %215, %214 ]
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %.loopexit, label %.lr.ph194.epil

.lr.ph194.epil:                                   ; preds = %.loopexit.loopexit.unr-lcssa
  %217 = getelementptr inbounds [4001 x [4001 x i32]], ptr @f, i64 0, i64 %181, i64 %indvars.iv249.unr
  %218 = load i32, ptr %217, align 4, !tbaa !5
  %219 = sub nsw i64 %190, %indvars.iv249.unr
  %220 = getelementptr inbounds [4001 x [4001 x i32]], ptr @g, i64 0, i64 %177, i64 %219
  %221 = load i32, ptr %220, align 4, !tbaa !5
  %222 = add nsw i32 %221, %218
  %223 = icmp slt i32 %.unr, %222
  br i1 %223, label %224, label %.loopexit

224:                                              ; preds = %.lr.ph194.epil
  store i32 %222, ptr @ans, align 4, !tbaa !5
  br label %.loopexit

.loopexit:                                        ; preds = %.loopexit.loopexit.unr-lcssa, %224, %.lr.ph194.epil, %.loopexit.sink.split, %.preheader
  %225 = phi i32 [ 0, %.preheader ], [ %216, %.loopexit.sink.split ], [ %.lcssa.ph, %.loopexit.loopexit.unr-lcssa ], [ %.unr, %.lr.ph194.epil ], [ %222, %224 ]
  %226 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.4, i32 noundef %225)
  br label %227

227:                                              ; preds = %.loopexit, %174
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #5
  %228 = load i32, ptr @q, align 4, !tbaa !5
  %229 = add nsw i32 %228, -1
  store i32 %229, ptr @q, align 4, !tbaa !5
  %.not120 = icmp eq i32 %228, 0
  br i1 %.not120, label %._crit_edge198, label %.lr.ph197

._crit_edge198:                                   ; preds = %227, %18
  ret i32 0
}

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZSt4sortIP4NodeEvT_S2_(ptr noundef, ptr noundef) local_unnamed_addr #4

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = !{!12, !6, i64 8}
!12 = !{!"_ZTS4Node", !6, i64 0, !6, i64 4, !6, i64 8}
!13 = !{!12, !6, i64 0}
!14 = distinct !{!14, !10, !15, !16}
!15 = !{!"llvm.loop.isvectorized", i32 1}
!16 = !{!"llvm.loop.unroll.runtime.disable"}
!17 = distinct !{!17, !10, !16, !15}
!18 = !{!12, !6, i64 4}
!19 = distinct !{!19, !10}
!20 = distinct !{!20, !10, !15, !16}
!21 = distinct !{!21, !10, !15}
!22 = distinct !{!22, !10}
!23 = distinct !{!23, !10, !15, !16}
!24 = distinct !{!24, !10, !16, !15}
!25 = distinct !{!25, !10}
!26 = distinct !{!26, !10, !15, !16}
!27 = distinct !{!27, !10, !15}
!28 = distinct !{!28, !10}
!29 = distinct !{!29, !10}
!30 = distinct !{!30, !10}
!31 = distinct !{!31, !10}
!32 = distinct !{!32, !10}
!33 = distinct !{!33, !10}


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