; LLVM IR from siconos/siconos :: externals/lbl/metis4/sfm.ll_ (FM_2WayNodeRefine_OneSided)

; 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.PQueueType = type { i32, i32, i32, i32, i32, i32, i32, ptr, ptr, ptr, ptr }
%struct.graphdef = type { ptr, ptr, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, ptr, ptr, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, ptr, ptr, ptr, ptr }
%struct.controldef = type { i32, i32, i32, i32, i32, i32, float, i32, i32, i32, i32, %struct.workspacedef, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double }
%struct.workspacedef = type { ptr, i32, i32, ptr, ptr, i32, ptr, ptr }
%struct.nrinfodef = type { [2 x i32] }

@.str.2 = external hidden unnamed_addr constant [55 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [60 x i8], align 1

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

; Function Attrs: nounwind uwtable
declare dso_local i32 @__ComputeMaxNodeGain(i32 noundef, ptr noundef, ptr noundef, ptr noundef) #1

declare void @__PQueueInit(ptr noundef, ptr noundef, i32 noundef, i32 noundef) #2

declare ptr @__idxwspacemalloc(ptr noundef, i32 noundef) #2

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

declare void @__PQueueReset(ptr noundef) #2

declare void @__RandomPermute(i32 noundef, ptr noundef, i32 noundef) #2

declare i32 @__PQueueInsert(ptr noundef, i32 noundef, i32 noundef) #2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.abs.i32(i32, i1 immarg) #3

declare i32 @__PQueueGetMax(ptr noundef) #2

declare void @__PQueueFree(ptr noundef, ptr noundef) #2

declare void @__idxwspacefree(ptr noundef, i32 noundef) #2

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

; Function Attrs: nounwind uwtable
define dso_local void @__FM_2WayNodeRefine_OneSided(ptr noundef %0, ptr noundef %1, float noundef %2, i32 noundef %3) #1 {
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca float, 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 ptr, align 8
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca ptr, align 8
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca ptr, align 8
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca ptr, align 8
  %30 = alloca ptr, align 8
  %31 = alloca %struct.PQueueType, align 8
  %32 = alloca ptr, align 8
  %33 = alloca i32, align 4
  %34 = alloca i32, align 4
  %35 = alloca i32, align 4
  %36 = alloca i32, align 4
  %37 = alloca i32, align 4
  %38 = alloca i32, align 4
  %39 = alloca i32, align 4
  %40 = alloca i32, align 4
  %41 = alloca i32, align 4
  %42 = alloca i32, align 4
  %43 = alloca i32, align 4
  %44 = alloca i32, align 4
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store float %2, ptr %7, align 4, !tbaa !9
  store i32 %3, ptr %8, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #4
  call void @llvm.lifetime.start.p0(i64 64, ptr %31) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #4
  %45 = load ptr, ptr %6, align 8, !tbaa !5
  %46 = getelementptr inbounds %struct.graphdef, ptr %45, i32 0, i32 2
  %47 = load i32, ptr %46, align 8, !tbaa !13
  store i32 %47, ptr %15, align 4, !tbaa !11
  %48 = load ptr, ptr %6, align 8, !tbaa !5
  %49 = getelementptr inbounds %struct.graphdef, ptr %48, i32 0, i32 4
  %50 = load ptr, ptr %49, align 8, !tbaa !15
  store ptr %50, ptr %19, align 8, !tbaa !5
  %51 = load ptr, ptr %6, align 8, !tbaa !5
  %52 = getelementptr inbounds %struct.graphdef, ptr %51, i32 0, i32 7
  %53 = load ptr, ptr %52, align 8, !tbaa !16
  store ptr %53, ptr %21, align 8, !tbaa !5
  %54 = load ptr, ptr %6, align 8, !tbaa !5
  %55 = getelementptr inbounds %struct.graphdef, ptr %54, i32 0, i32 5
  %56 = load ptr, ptr %55, align 8, !tbaa !17
  store ptr %56, ptr %20, align 8, !tbaa !5
  %57 = load ptr, ptr %6, align 8, !tbaa !5
  %58 = getelementptr inbounds %struct.graphdef, ptr %57, i32 0, i32 18
  %59 = load ptr, ptr %58, align 8, !tbaa !18
  store ptr %59, ptr %25, align 8, !tbaa !5
  %60 = load ptr, ptr %6, align 8, !tbaa !5
  %61 = getelementptr inbounds %struct.graphdef, ptr %60, i32 0, i32 17
  %62 = load ptr, ptr %61, align 8, !tbaa !19
  store ptr %62, ptr %26, align 8, !tbaa !5
  %63 = load ptr, ptr %6, align 8, !tbaa !5
  %64 = getelementptr inbounds %struct.graphdef, ptr %63, i32 0, i32 14
  %65 = load ptr, ptr %64, align 8, !tbaa !20
  store ptr %65, ptr %22, align 8, !tbaa !5
  %66 = load ptr, ptr %6, align 8, !tbaa !5
  %67 = getelementptr inbounds %struct.graphdef, ptr %66, i32 0, i32 15
  %68 = load ptr, ptr %67, align 8, !tbaa !21
  store ptr %68, ptr %23, align 8, !tbaa !5
  %69 = load ptr, ptr %6, align 8, !tbaa !5
  %70 = getelementptr inbounds %struct.graphdef, ptr %69, i32 0, i32 23
  %71 = load ptr, ptr %70, align 8, !tbaa !22
  store ptr %71, ptr %32, align 8, !tbaa !5
  %72 = load ptr, ptr %5, align 8, !tbaa !5
  %73 = load i32, ptr %15, align 4, !tbaa !11
  %74 = load i32, ptr %15, align 4, !tbaa !11
  %75 = load ptr, ptr %19, align 8, !tbaa !5
  %76 = load ptr, ptr %21, align 8, !tbaa !5
  %77 = load ptr, ptr %20, align 8, !tbaa !5
  %78 = call i32 @__ComputeMaxNodeGain(i32 noundef %74, ptr noundef %75, ptr noundef %76, ptr noundef %77)
  call void @__PQueueInit(ptr noundef %72, ptr noundef %31, i32 noundef %73, i32 noundef %78)
  %79 = load ptr, ptr %5, align 8, !tbaa !5
  %80 = load i32, ptr %15, align 4, !tbaa !11
  %81 = call ptr @__idxwspacemalloc(ptr noundef %79, i32 noundef %80)
  store ptr %81, ptr %30, align 8, !tbaa !5
  %82 = load ptr, ptr %5, align 8, !tbaa !5
  %83 = load i32, ptr %15, align 4, !tbaa !11
  %84 = call ptr @__idxwspacemalloc(ptr noundef %82, i32 noundef %83)
  store ptr %84, ptr %29, align 8, !tbaa !5
  %85 = load ptr, ptr %5, align 8, !tbaa !5
  %86 = load i32, ptr %15, align 4, !tbaa !11
  %87 = call ptr @__idxwspacemalloc(ptr noundef %85, i32 noundef %86)
  store ptr %87, ptr %27, align 8, !tbaa !5
  %88 = load ptr, ptr %5, align 8, !tbaa !5
  %89 = load i32, ptr %15, align 4, !tbaa !11
  %90 = add nsw i32 %89, 1
  %91 = call ptr @__idxwspacemalloc(ptr noundef %88, i32 noundef %90)
  store ptr %91, ptr %28, align 8, !tbaa !5
  %92 = load ptr, ptr %5, align 8, !tbaa !5
  %93 = getelementptr inbounds %struct.controldef, ptr %92, i32 0, i32 1
  %94 = load i32, ptr %93, align 4, !tbaa !23
  %95 = and i32 %94, 8
  %96 = icmp ne i32 %95, 0
  br i1 %96, label %97, label %114

97:                                               ; preds = %4
  %98 = load ptr, ptr %23, align 8, !tbaa !5
  %99 = getelementptr inbounds i32, ptr %98, i64 0
  %100 = load i32, ptr %99, align 4, !tbaa !11
  %101 = load ptr, ptr %23, align 8, !tbaa !5
  %102 = getelementptr inbounds i32, ptr %101, i64 1
  %103 = load i32, ptr %102, align 4, !tbaa !11
  %104 = load ptr, ptr %6, align 8, !tbaa !5
  %105 = getelementptr inbounds %struct.graphdef, ptr %104, i32 0, i32 2
  %106 = load i32, ptr %105, align 8, !tbaa !13
  %107 = load ptr, ptr %6, align 8, !tbaa !5
  %108 = getelementptr inbounds %struct.graphdef, ptr %107, i32 0, i32 16
  %109 = load i32, ptr %108, align 8, !tbaa !27
  %110 = load ptr, ptr %6, align 8, !tbaa !5
  %111 = getelementptr inbounds %struct.graphdef, ptr %110, i32 0, i32 12
  %112 = load i32, ptr %111, align 8, !tbaa !28
  %113 = call i32 (ptr, ...) @printf(ptr noundef @.str.3, i32 noundef %100, i32 noundef %103, i32 noundef %106, i32 noundef %109, i32 noundef %112)
  br label %114

114:                                              ; preds = %97, %4
  %115 = load float, ptr %7, align 4, !tbaa !9
  %116 = load ptr, ptr %23, align 8, !tbaa !5
  %117 = getelementptr inbounds i32, ptr %116, i64 0
  %118 = load i32, ptr %117, align 4, !tbaa !11
  %119 = load ptr, ptr %23, align 8, !tbaa !5
  %120 = getelementptr inbounds i32, ptr %119, i64 1
  %121 = load i32, ptr %120, align 4, !tbaa !11
  %122 = add nsw i32 %118, %121
  %123 = load ptr, ptr %23, align 8, !tbaa !5
  %124 = getelementptr inbounds i32, ptr %123, i64 2
  %125 = load i32, ptr %124, align 4, !tbaa !11
  %126 = add nsw i32 %122, %125
  %127 = sitofp i32 %126 to float
  %128 = fmul float %115, %127
  %129 = fdiv float %128, 2.000000e+00
  %130 = fptosi float %129 to i32
  store i32 %130, ptr %42, align 4, !tbaa !11
  %131 = load ptr, ptr %23, align 8, !tbaa !5
  %132 = getelementptr inbounds i32, ptr %131, i64 0
  %133 = load i32, ptr %132, align 4, !tbaa !11
  %134 = load ptr, ptr %23, align 8, !tbaa !5
  %135 = getelementptr inbounds i32, ptr %134, i64 1
  %136 = load i32, ptr %135, align 4, !tbaa !11
  %137 = icmp slt i32 %133, %136
  %138 = zext i1 %137 to i64
  %139 = select i1 %137, i32 1, i32 0
  store i32 %139, ptr %39, align 4, !tbaa !11
  store i32 0, ptr %38, align 4, !tbaa !11
  br label %140

140:                                              ; preds = %955, %114
  %141 = load i32, ptr %38, align 4, !tbaa !11
  %142 = load i32, ptr %8, align 4, !tbaa !11
  %143 = icmp slt i32 %141, %142
  br i1 %143, label %144, label %958

144:                                              ; preds = %140
  %145 = load i32, ptr %39, align 4, !tbaa !11
  store i32 %145, ptr %40, align 4, !tbaa !11
  %146 = load i32, ptr %39, align 4, !tbaa !11
  %147 = add nsw i32 %146, 1
  %148 = srem i32 %147, 2
  store i32 %148, ptr %39, align 4, !tbaa !11
  call void @__PQueueReset(ptr noundef %31)
  store i32 -1, ptr %37, align 4, !tbaa !11
  %149 = load ptr, ptr %6, align 8, !tbaa !5
  %150 = getelementptr inbounds %struct.graphdef, ptr %149, i32 0, i32 12
  %151 = load i32, ptr %150, align 8, !tbaa !28
  store i32 %151, ptr %35, align 4, !tbaa !11
  store i32 %151, ptr %36, align 4, !tbaa !11
  %152 = load ptr, ptr %6, align 8, !tbaa !5
  %153 = getelementptr inbounds %struct.graphdef, ptr %152, i32 0, i32 16
  %154 = load i32, ptr %153, align 8, !tbaa !27
  store i32 %154, ptr %16, align 4, !tbaa !11
  %155 = load i32, ptr %16, align 4, !tbaa !11
  %156 = load ptr, ptr %30, align 8, !tbaa !5
  call void @__RandomPermute(i32 noundef %155, ptr noundef %156, i32 noundef 1)
  store i32 0, ptr %10, align 4, !tbaa !11
  br label %157

157:                                              ; preds = %188, %144
  %158 = load i32, ptr %10, align 4, !tbaa !11
  %159 = load i32, ptr %16, align 4, !tbaa !11
  %160 = icmp slt i32 %158, %159
  br i1 %160, label %161, label %191

161:                                              ; preds = %157
  %162 = load ptr, ptr %25, align 8, !tbaa !5
  %163 = load ptr, ptr %30, align 8, !tbaa !5
  %164 = load i32, ptr %10, align 4, !tbaa !11
  %165 = sext i32 %164 to i64
  %166 = getelementptr inbounds i32, ptr %163, i64 %165
  %167 = load i32, ptr %166, align 4, !tbaa !11
  %168 = sext i32 %167 to i64
  %169 = getelementptr inbounds i32, ptr %162, i64 %168
  %170 = load i32, ptr %169, align 4, !tbaa !11
  store i32 %170, ptr %9, align 4, !tbaa !11
  %171 = load i32, ptr %9, align 4, !tbaa !11
  %172 = load ptr, ptr %20, align 8, !tbaa !5
  %173 = load i32, ptr %9, align 4, !tbaa !11
  %174 = sext i32 %173 to i64
  %175 = getelementptr inbounds i32, ptr %172, i64 %174
  %176 = load i32, ptr %175, align 4, !tbaa !11
  %177 = load ptr, ptr %32, align 8, !tbaa !5
  %178 = load i32, ptr %9, align 4, !tbaa !11
  %179 = sext i32 %178 to i64
  %180 = getelementptr inbounds %struct.nrinfodef, ptr %177, i64 %179
  %181 = getelementptr inbounds %struct.nrinfodef, ptr %180, i32 0, i32 0
  %182 = load i32, ptr %40, align 4, !tbaa !11
  %183 = sext i32 %182 to i64
  %184 = getelementptr inbounds [2 x i32], ptr %181, i64 0, i64 %183
  %185 = load i32, ptr %184, align 4, !tbaa !11
  %186 = sub nsw i32 %176, %185
  %187 = call i32 @__PQueueInsert(ptr noundef %31, i32 noundef %171, i32 noundef %186)
  br label %188

188:                                              ; preds = %161
  %189 = load i32, ptr %10, align 4, !tbaa !11
  %190 = add nsw i32 %189, 1
  store i32 %190, ptr %10, align 4, !tbaa !11
  br label %157, !llvm.loop !29

191:                                              ; preds = %157
  %192 = load ptr, ptr %5, align 8, !tbaa !5
  %193 = getelementptr inbounds %struct.controldef, ptr %192, i32 0, i32 10
  %194 = load i32, ptr %193, align 8, !tbaa !31
  %195 = and i32 %194, 1
  %196 = icmp ne i32 %195, 0
  br i1 %196, label %197, label %207

197:                                              ; preds = %191
  %198 = load i32, ptr %16, align 4, !tbaa !11
  %199 = mul nsw i32 5, %198
  %200 = icmp sge i32 %199, 400
  br i1 %200, label %201, label %202

201:                                              ; preds = %197
  br label %205

202:                                              ; preds = %197
  %203 = load i32, ptr %16, align 4, !tbaa !11
  %204 = mul nsw i32 5, %203
  br label %205

205:                                              ; preds = %202, %201
  %206 = phi i32 [ 400, %201 ], [ %204, %202 ]
  br label %217

207:                                              ; preds = %191
  %208 = load i32, ptr %16, align 4, !tbaa !11
  %209 = mul nsw i32 2, %208
  %210 = icmp sge i32 %209, 300
  br i1 %210, label %211, label %212

211:                                              ; preds = %207
  br label %215

212:                                              ; preds = %207
  %213 = load i32, ptr %16, align 4, !tbaa !11
  %214 = mul nsw i32 2, %213
  br label %215

215:                                              ; preds = %212, %211
  %216 = phi i32 [ 300, %211 ], [ %214, %212 ]
  br label %217

217:                                              ; preds = %215, %205
  %218 = phi i32 [ %206, %205 ], [ %216, %215 ]
  store i32 %218, ptr %41, align 4, !tbaa !11
  store i32 0, ptr %18, align 4, !tbaa !11
  %219 = load ptr, ptr %27, align 8, !tbaa !5
  %220 = getelementptr inbounds i32, ptr %219, i64 0
  store i32 0, ptr %220, align 4, !tbaa !11
  %221 = load ptr, ptr %23, align 8, !tbaa !5
  %222 = getelementptr inbounds i32, ptr %221, i64 0
  %223 = load i32, ptr %222, align 4, !tbaa !11
  %224 = load ptr, ptr %23, align 8, !tbaa !5
  %225 = getelementptr inbounds i32, ptr %224, i64 1
  %226 = load i32, ptr %225, align 4, !tbaa !11
  %227 = sub nsw i32 %223, %226
  %228 = call i32 @llvm.abs.i32(i32 %227, i1 true)
  store i32 %228, ptr %43, align 4, !tbaa !11
  store i32 0, ptr %17, align 4, !tbaa !11
  br label %229

229:                                              ; preds = %653, %217
  %230 = load i32, ptr %17, align 4, !tbaa !11
  %231 = load i32, ptr %15, align 4, !tbaa !11
  %232 = icmp slt i32 %230, %231
  br i1 %232, label %233, label %656

233:                                              ; preds = %229
  %234 = call i32 @__PQueueGetMax(ptr noundef %31)
  store i32 %234, ptr %33, align 4, !tbaa !11
  %235 = icmp eq i32 %234, -1
  br i1 %235, label %236, label %237

236:                                              ; preds = %233
  br label %656

237:                                              ; preds = %233
  %238 = load ptr, ptr %23, align 8, !tbaa !5
  %239 = load i32, ptr %39, align 4, !tbaa !11
  %240 = sext i32 %239 to i64
  %241 = getelementptr inbounds i32, ptr %238, i64 %240
  %242 = load i32, ptr %241, align 4, !tbaa !11
  %243 = load ptr, ptr %20, align 8, !tbaa !5
  %244 = load i32, ptr %33, align 4, !tbaa !11
  %245 = sext i32 %244 to i64
  %246 = getelementptr inbounds i32, ptr %243, i64 %245
  %247 = load i32, ptr %246, align 4, !tbaa !11
  %248 = add nsw i32 %242, %247
  %249 = load i32, ptr %42, align 4, !tbaa !11
  %250 = icmp sgt i32 %248, %249
  br i1 %250, label %251, label %252

251:                                              ; preds = %237
  br label %656

252:                                              ; preds = %237
  %253 = load ptr, ptr %20, align 8, !tbaa !5
  %254 = load i32, ptr %33, align 4, !tbaa !11
  %255 = sext i32 %254 to i64
  %256 = getelementptr inbounds i32, ptr %253, i64 %255
  %257 = load i32, ptr %256, align 4, !tbaa !11
  %258 = load ptr, ptr %32, align 8, !tbaa !5
  %259 = load i32, ptr %33, align 4, !tbaa !11
  %260 = sext i32 %259 to i64
  %261 = getelementptr inbounds %struct.nrinfodef, ptr %258, i64 %260
  %262 = getelementptr inbounds %struct.nrinfodef, ptr %261, i32 0, i32 0
  %263 = load i32, ptr %40, align 4, !tbaa !11
  %264 = sext i32 %263 to i64
  %265 = getelementptr inbounds [2 x i32], ptr %262, i64 0, i64 %264
  %266 = load i32, ptr %265, align 4, !tbaa !11
  %267 = sub nsw i32 %257, %266
  %268 = load ptr, ptr %23, align 8, !tbaa !5
  %269 = getelementptr inbounds i32, ptr %268, i64 2
  %270 = load i32, ptr %269, align 4, !tbaa !11
  %271 = sub nsw i32 %270, %267
  store i32 %271, ptr %269, align 4, !tbaa !11
  %272 = load ptr, ptr %23, align 8, !tbaa !5
  %273 = load i32, ptr %39, align 4, !tbaa !11
  %274 = sext i32 %273 to i64
  %275 = getelementptr inbounds i32, ptr %272, i64 %274
  %276 = load i32, ptr %275, align 4, !tbaa !11
  %277 = load ptr, ptr %20, align 8, !tbaa !5
  %278 = load i32, ptr %33, align 4, !tbaa !11
  %279 = sext i32 %278 to i64
  %280 = getelementptr inbounds i32, ptr %277, i64 %279
  %281 = load i32, ptr %280, align 4, !tbaa !11
  %282 = add nsw i32 %276, %281
  %283 = load ptr, ptr %23, align 8, !tbaa !5
  %284 = load i32, ptr %40, align 4, !tbaa !11
  %285 = sext i32 %284 to i64
  %286 = getelementptr inbounds i32, ptr %283, i64 %285
  %287 = load i32, ptr %286, align 4, !tbaa !11
  %288 = load ptr, ptr %32, align 8, !tbaa !5
  %289 = load i32, ptr %33, align 4, !tbaa !11
  %290 = sext i32 %289 to i64
  %291 = getelementptr inbounds %struct.nrinfodef, ptr %288, i64 %290
  %292 = getelementptr inbounds %struct.nrinfodef, ptr %291, i32 0, i32 0
  %293 = load i32, ptr %40, align 4, !tbaa !11
  %294 = sext i32 %293 to i64
  %295 = getelementptr inbounds [2 x i32], ptr %292, i64 0, i64 %294
  %296 = load i32, ptr %295, align 4, !tbaa !11
  %297 = sub nsw i32 %287, %296
  %298 = sub nsw i32 %282, %297
  %299 = call i32 @llvm.abs.i32(i32 %298, i1 true)
  store i32 %299, ptr %44, align 4, !tbaa !11
  %300 = load ptr, ptr %23, align 8, !tbaa !5
  %301 = getelementptr inbounds i32, ptr %300, i64 2
  %302 = load i32, ptr %301, align 4, !tbaa !11
  %303 = load i32, ptr %35, align 4, !tbaa !11
  %304 = icmp slt i32 %302, %303
  br i1 %304, label %315, label %305

305:                                              ; preds = %252
  %306 = load ptr, ptr %23, align 8, !tbaa !5
  %307 = getelementptr inbounds i32, ptr %306, i64 2
  %308 = load i32, ptr %307, align 4, !tbaa !11
  %309 = load i32, ptr %35, align 4, !tbaa !11
  %310 = icmp eq i32 %308, %309
  br i1 %310, label %311, label %321

311:                                              ; preds = %305
  %312 = load i32, ptr %44, align 4, !tbaa !11
  %313 = load i32, ptr %43, align 4, !tbaa !11
  %314 = icmp slt i32 %312, %313
  br i1 %314, label %315, label %321

315:                                              ; preds = %311, %252
  %316 = load ptr, ptr %23, align 8, !tbaa !5
  %317 = getelementptr inbounds i32, ptr %316, i64 2
  %318 = load i32, ptr %317, align 4, !tbaa !11
  store i32 %318, ptr %35, align 4, !tbaa !11
  %319 = load i32, ptr %17, align 4, !tbaa !11
  store i32 %319, ptr %37, align 4, !tbaa !11
  %320 = load i32, ptr %44, align 4, !tbaa !11
  store i32 %320, ptr %43, align 4, !tbaa !11
  br label %348

321:                                              ; preds = %311, %305
  %322 = load i32, ptr %17, align 4, !tbaa !11
  %323 = load i32, ptr %37, align 4, !tbaa !11
  %324 = sub nsw i32 %322, %323
  %325 = load i32, ptr %41, align 4, !tbaa !11
  %326 = icmp sgt i32 %324, %325
  br i1 %326, label %327, label %347

327:                                              ; preds = %321
  %328 = load ptr, ptr %20, align 8, !tbaa !5
  %329 = load i32, ptr %33, align 4, !tbaa !11
  %330 = sext i32 %329 to i64
  %331 = getelementptr inbounds i32, ptr %328, i64 %330
  %332 = load i32, ptr %331, align 4, !tbaa !11
  %333 = load ptr, ptr %32, align 8, !tbaa !5
  %334 = load i32, ptr %33, align 4, !tbaa !11
  %335 = sext i32 %334 to i64
  %336 = getelementptr inbounds %struct.nrinfodef, ptr %333, i64 %335
  %337 = getelementptr inbounds %struct.nrinfodef, ptr %336, i32 0, i32 0
  %338 = load i32, ptr %40, align 4, !tbaa !11
  %339 = sext i32 %338 to i64
  %340 = getelementptr inbounds [2 x i32], ptr %337, i64 0, i64 %339
  %341 = load i32, ptr %340, align 4, !tbaa !11
  %342 = sub nsw i32 %332, %341
  %343 = load ptr, ptr %23, align 8, !tbaa !5
  %344 = getelementptr inbounds i32, ptr %343, i64 2
  %345 = load i32, ptr %344, align 4, !tbaa !11
  %346 = add nsw i32 %345, %342
  store i32 %346, ptr %344, align 4, !tbaa !11
  br label %656

347:                                              ; preds = %321
  br label %348

348:                                              ; preds = %347, %315
  br label %349

349:                                              ; preds = %348
  %350 = load ptr, ptr %25, align 8, !tbaa !5
  %351 = load i32, ptr %16, align 4, !tbaa !11
  %352 = add nsw i32 %351, -1
  store i32 %352, ptr %16, align 4, !tbaa !11
  %353 = sext i32 %352 to i64
  %354 = getelementptr inbounds i32, ptr %350, i64 %353
  %355 = load i32, ptr %354, align 4, !tbaa !11
  %356 = load ptr, ptr %25, align 8, !tbaa !5
  %357 = load ptr, ptr %26, align 8, !tbaa !5
  %358 = load i32, ptr %33, align 4, !tbaa !11
  %359 = sext i32 %358 to i64
  %360 = getelementptr inbounds i32, ptr %357, i64 %359
  %361 = load i32, ptr %360, align 4, !tbaa !11
  %362 = sext i32 %361 to i64
  %363 = getelementptr inbounds i32, ptr %356, i64 %362
  store i32 %355, ptr %363, align 4, !tbaa !11
  %364 = load ptr, ptr %26, align 8, !tbaa !5
  %365 = load i32, ptr %33, align 4, !tbaa !11
  %366 = sext i32 %365 to i64
  %367 = getelementptr inbounds i32, ptr %364, i64 %366
  %368 = load i32, ptr %367, align 4, !tbaa !11
  %369 = load ptr, ptr %26, align 8, !tbaa !5
  %370 = load ptr, ptr %25, align 8, !tbaa !5
  %371 = load i32, ptr %16, align 4, !tbaa !11
  %372 = sext i32 %371 to i64
  %373 = getelementptr inbounds i32, ptr %370, i64 %372
  %374 = load i32, ptr %373, align 4, !tbaa !11
  %375 = sext i32 %374 to i64
  %376 = getelementptr inbounds i32, ptr %369, i64 %375
  store i32 %368, ptr %376, align 4, !tbaa !11
  %377 = load ptr, ptr %26, align 8, !tbaa !5
  %378 = load i32, ptr %33, align 4, !tbaa !11
  %379 = sext i32 %378 to i64
  %380 = getelementptr inbounds i32, ptr %377, i64 %379
  store i32 -1, ptr %380, align 4, !tbaa !11
  br label %381

381:                                              ; preds = %349
  br label %382

382:                                              ; preds = %381
  %383 = load ptr, ptr %20, align 8, !tbaa !5
  %384 = load i32, ptr %33, align 4, !tbaa !11
  %385 = sext i32 %384 to i64
  %386 = getelementptr inbounds i32, ptr %383, i64 %385
  %387 = load i32, ptr %386, align 4, !tbaa !11
  %388 = load ptr, ptr %23, align 8, !tbaa !5
  %389 = load i32, ptr %39, align 4, !tbaa !11
  %390 = sext i32 %389 to i64
  %391 = getelementptr inbounds i32, ptr %388, i64 %390
  %392 = load i32, ptr %391, align 4, !tbaa !11
  %393 = add nsw i32 %392, %387
  store i32 %393, ptr %391, align 4, !tbaa !11
  %394 = load i32, ptr %39, align 4, !tbaa !11
  %395 = load ptr, ptr %22, align 8, !tbaa !5
  %396 = load i32, ptr %33, align 4, !tbaa !11
  %397 = sext i32 %396 to i64
  %398 = getelementptr inbounds i32, ptr %395, i64 %397
  store i32 %394, ptr %398, align 4, !tbaa !11
  %399 = load i32, ptr %33, align 4, !tbaa !11
  %400 = load ptr, ptr %29, align 8, !tbaa !5
  %401 = load i32, ptr %17, align 4, !tbaa !11
  %402 = sext i32 %401 to i64
  %403 = getelementptr inbounds i32, ptr %400, i64 %402
  store i32 %399, ptr %403, align 4, !tbaa !11
  %404 = load ptr, ptr %19, align 8, !tbaa !5
  %405 = load i32, ptr %33, align 4, !tbaa !11
  %406 = sext i32 %405 to i64
  %407 = getelementptr inbounds i32, ptr %404, i64 %406
  %408 = load i32, ptr %407, align 4, !tbaa !11
  store i32 %408, ptr %11, align 4, !tbaa !11
  br label %409

409:                                              ; preds = %602, %382
  %410 = load i32, ptr %11, align 4, !tbaa !11
  %411 = load ptr, ptr %19, align 8, !tbaa !5
  %412 = load i32, ptr %33, align 4, !tbaa !11
  %413 = add nsw i32 %412, 1
  %414 = sext i32 %413 to i64
  %415 = getelementptr inbounds i32, ptr %411, i64 %414
  %416 = load i32, ptr %415, align 4, !tbaa !11
  %417 = icmp slt i32 %410, %416
  br i1 %417, label %418, label %605

418:                                              ; preds = %409
  %419 = load ptr, ptr %21, align 8, !tbaa !5
  %420 = load i32, ptr %11, align 4, !tbaa !11
  %421 = sext i32 %420 to i64
  %422 = getelementptr inbounds i32, ptr %419, i64 %421
  %423 = load i32, ptr %422, align 4, !tbaa !11
  store i32 %423, ptr %12, align 4, !tbaa !11
  %424 = load ptr, ptr %22, align 8, !tbaa !5
  %425 = load i32, ptr %12, align 4, !tbaa !11
  %426 = sext i32 %425 to i64
  %427 = getelementptr inbounds i32, ptr %424, i64 %426
  %428 = load i32, ptr %427, align 4, !tbaa !11
  %429 = icmp eq i32 %428, 2
  br i1 %429, label %430, label %446

430:                                              ; preds = %418
  %431 = load ptr, ptr %20, align 8, !tbaa !5
  %432 = load i32, ptr %33, align 4, !tbaa !11
  %433 = sext i32 %432 to i64
  %434 = getelementptr inbounds i32, ptr %431, i64 %433
  %435 = load i32, ptr %434, align 4, !tbaa !11
  %436 = load ptr, ptr %32, align 8, !tbaa !5
  %437 = load i32, ptr %12, align 4, !tbaa !11
  %438 = sext i32 %437 to i64
  %439 = getelementptr inbounds %struct.nrinfodef, ptr %436, i64 %438
  %440 = getelementptr inbounds %struct.nrinfodef, ptr %439, i32 0, i32 0
  %441 = load i32, ptr %39, align 4, !tbaa !11
  %442 = sext i32 %441 to i64
  %443 = getelementptr inbounds [2 x i32], ptr %440, i64 0, i64 %442
  %444 = load i32, ptr %443, align 4, !tbaa !11
  %445 = add nsw i32 %444, %435
  store i32 %445, ptr %443, align 4, !tbaa !11
  br label %601

446:                                              ; preds = %418
  %447 = load ptr, ptr %22, align 8, !tbaa !5
  %448 = load i32, ptr %12, align 4, !tbaa !11
  %449 = sext i32 %448 to i64
  %450 = getelementptr inbounds i32, ptr %447, i64 %449
  %451 = load i32, ptr %450, align 4, !tbaa !11
  %452 = load i32, ptr %40, align 4, !tbaa !11
  %453 = icmp eq i32 %451, %452
  br i1 %453, label %454, label %600

454:                                              ; preds = %446
  br label %455

455:                                              ; preds = %454
  %456 = load i32, ptr %12, align 4, !tbaa !11
  %457 = load ptr, ptr %25, align 8, !tbaa !5
  %458 = load i32, ptr %16, align 4, !tbaa !11
  %459 = sext i32 %458 to i64
  %460 = getelementptr inbounds i32, ptr %457, i64 %459
  store i32 %456, ptr %460, align 4, !tbaa !11
  %461 = load i32, ptr %16, align 4, !tbaa !11
  %462 = add nsw i32 %461, 1
  store i32 %462, ptr %16, align 4, !tbaa !11
  %463 = load ptr, ptr %26, align 8, !tbaa !5
  %464 = load i32, ptr %12, align 4, !tbaa !11
  %465 = sext i32 %464 to i64
  %466 = getelementptr inbounds i32, ptr %463, i64 %465
  store i32 %461, ptr %466, align 4, !tbaa !11
  br label %467

467:                                              ; preds = %455
  br label %468

468:                                              ; preds = %467
  %469 = load i32, ptr %12, align 4, !tbaa !11
  %470 = load ptr, ptr %28, align 8, !tbaa !5
  %471 = load i32, ptr %18, align 4, !tbaa !11
  %472 = add nsw i32 %471, 1
  store i32 %472, ptr %18, align 4, !tbaa !11
  %473 = sext i32 %471 to i64
  %474 = getelementptr inbounds i32, ptr %470, i64 %473
  store i32 %469, ptr %474, align 4, !tbaa !11
  %475 = load ptr, ptr %22, align 8, !tbaa !5
  %476 = load i32, ptr %12, align 4, !tbaa !11
  %477 = sext i32 %476 to i64
  %478 = getelementptr inbounds i32, ptr %475, i64 %477
  store i32 2, ptr %478, align 4, !tbaa !11
  %479 = load ptr, ptr %20, align 8, !tbaa !5
  %480 = load i32, ptr %12, align 4, !tbaa !11
  %481 = sext i32 %480 to i64
  %482 = getelementptr inbounds i32, ptr %479, i64 %481
  %483 = load i32, ptr %482, align 4, !tbaa !11
  %484 = load ptr, ptr %23, align 8, !tbaa !5
  %485 = load i32, ptr %40, align 4, !tbaa !11
  %486 = sext i32 %485 to i64
  %487 = getelementptr inbounds i32, ptr %484, i64 %486
  %488 = load i32, ptr %487, align 4, !tbaa !11
  %489 = sub nsw i32 %488, %483
  store i32 %489, ptr %487, align 4, !tbaa !11
  %490 = load ptr, ptr %32, align 8, !tbaa !5
  %491 = load i32, ptr %12, align 4, !tbaa !11
  %492 = sext i32 %491 to i64
  %493 = getelementptr inbounds %struct.nrinfodef, ptr %490, i64 %492
  %494 = getelementptr inbounds %struct.nrinfodef, ptr %493, i32 0, i32 0
  %495 = getelementptr inbounds [2 x i32], ptr %494, i64 0, i64 0
  store ptr %495, ptr %24, align 8, !tbaa !5
  %496 = load ptr, ptr %24, align 8, !tbaa !5
  %497 = getelementptr inbounds i32, ptr %496, i64 1
  store i32 0, ptr %497, align 4, !tbaa !11
  %498 = load ptr, ptr %24, align 8, !tbaa !5
  %499 = getelementptr inbounds i32, ptr %498, i64 0
  store i32 0, ptr %499, align 4, !tbaa !11
  %500 = load ptr, ptr %19, align 8, !tbaa !5
  %501 = load i32, ptr %12, align 4, !tbaa !11
  %502 = sext i32 %501 to i64
  %503 = getelementptr inbounds i32, ptr %500, i64 %502
  %504 = load i32, ptr %503, align 4, !tbaa !11
  store i32 %504, ptr %13, align 4, !tbaa !11
  br label %505

505:                                              ; preds = %583, %468
  %506 = load i32, ptr %13, align 4, !tbaa !11
  %507 = load ptr, ptr %19, align 8, !tbaa !5
  %508 = load i32, ptr %12, align 4, !tbaa !11
  %509 = add nsw i32 %508, 1
  %510 = sext i32 %509 to i64
  %511 = getelementptr inbounds i32, ptr %507, i64 %510
  %512 = load i32, ptr %511, align 4, !tbaa !11
  %513 = icmp slt i32 %506, %512
  br i1 %513, label %514, label %586

514:                                              ; preds = %505
  %515 = load ptr, ptr %21, align 8, !tbaa !5
  %516 = load i32, ptr %13, align 4, !tbaa !11
  %517 = sext i32 %516 to i64
  %518 = getelementptr inbounds i32, ptr %515, i64 %517
  %519 = load i32, ptr %518, align 4, !tbaa !11
  store i32 %519, ptr %14, align 4, !tbaa !11
  %520 = load ptr, ptr %22, align 8, !tbaa !5
  %521 = load i32, ptr %14, align 4, !tbaa !11
  %522 = sext i32 %521 to i64
  %523 = getelementptr inbounds i32, ptr %520, i64 %522
  %524 = load i32, ptr %523, align 4, !tbaa !11
  %525 = icmp ne i32 %524, 2
  br i1 %525, label %526, label %542

526:                                              ; preds = %514
  %527 = load ptr, ptr %20, align 8, !tbaa !5
  %528 = load i32, ptr %14, align 4, !tbaa !11
  %529 = sext i32 %528 to i64
  %530 = getelementptr inbounds i32, ptr %527, i64 %529
  %531 = load i32, ptr %530, align 4, !tbaa !11
  %532 = load ptr, ptr %24, align 8, !tbaa !5
  %533 = load ptr, ptr %22, align 8, !tbaa !5
  %534 = load i32, ptr %14, align 4, !tbaa !11
  %535 = sext i32 %534 to i64
  %536 = getelementptr inbounds i32, ptr %533, i64 %535
  %537 = load i32, ptr %536, align 4, !tbaa !11
  %538 = sext i32 %537 to i64
  %539 = getelementptr inbounds i32, ptr %532, i64 %538
  %540 = load i32, ptr %539, align 4, !tbaa !11
  %541 = add nsw i32 %540, %531
  store i32 %541, ptr %539, align 4, !tbaa !11
  br label %582

542:                                              ; preds = %514
  %543 = load ptr, ptr %20, align 8, !tbaa !5
  %544 = load i32, ptr %14, align 4, !tbaa !11
  %545 = sext i32 %544 to i64
  %546 = getelementptr inbounds i32, ptr %543, i64 %545
  %547 = load i32, ptr %546, align 4, !tbaa !11
  %548 = load ptr, ptr %32, align 8, !tbaa !5
  %549 = load i32, ptr %14, align 4, !tbaa !11
  %550 = sext i32 %549 to i64
  %551 = getelementptr inbounds %struct.nrinfodef, ptr %548, i64 %550
  %552 = getelementptr inbounds %struct.nrinfodef, ptr %551, i32 0, i32 0
  %553 = load i32, ptr %40, align 4, !tbaa !11
  %554 = sext i32 %553 to i64
  %555 = getelementptr inbounds [2 x i32], ptr %552, i64 0, i64 %554
  %556 = load i32, ptr %555, align 4, !tbaa !11
  %557 = sub nsw i32 %547, %556
  store i32 %557, ptr %34, align 4, !tbaa !11
  %558 = load ptr, ptr %20, align 8, !tbaa !5
  %559 = load i32, ptr %12, align 4, !tbaa !11
  %560 = sext i32 %559 to i64
  %561 = getelementptr inbounds i32, ptr %558, i64 %560
  %562 = load i32, ptr %561, align 4, !tbaa !11
  %563 = load ptr, ptr %32, align 8, !tbaa !5
  %564 = load i32, ptr %14, align 4, !tbaa !11
  %565 = sext i32 %564 to i64
  %566 = getelementptr inbounds %struct.nrinfodef, ptr %563, i64 %565
  %567 = getelementptr inbounds %struct.nrinfodef, ptr %566, i32 0, i32 0
  %568 = load i32, ptr %40, align 4, !tbaa !11
  %569 = sext i32 %568 to i64
  %570 = getelementptr inbounds [2 x i32], ptr %567, i64 0, i64 %569
  %571 = load i32, ptr %570, align 4, !tbaa !11
  %572 = sub nsw i32 %571, %562
  store i32 %572, ptr %570, align 4, !tbaa !11
  %573 = load i32, ptr %14, align 4, !tbaa !11
  %574 = load i32, ptr %34, align 4, !tbaa !11
  %575 = load i32, ptr %34, align 4, !tbaa !11
  %576 = load ptr, ptr %20, align 8, !tbaa !5
  %577 = load i32, ptr %12, align 4, !tbaa !11
  %578 = sext i32 %577 to i64
  %579 = getelementptr inbounds i32, ptr %576, i64 %578
  %580 = load i32, ptr %579, align 4, !tbaa !11
  %581 = add nsw i32 %575, %580
  call void @__PQueueUpdateUp(ptr noundef %31, i32 noundef %573, i32 noundef %574, i32 noundef %581)
  br label %582

582:                                              ; preds = %542, %526
  br label %583

583:                                              ; preds = %582
  %584 = load i32, ptr %13, align 4, !tbaa !11
  %585 = add nsw i32 %584, 1
  store i32 %585, ptr %13, align 4, !tbaa !11
  br label %505, !llvm.loop !32

586:                                              ; preds = %505
  %587 = load i32, ptr %12, align 4, !tbaa !11
  %588 = load ptr, ptr %20, align 8, !tbaa !5
  %589 = load i32, ptr %12, align 4, !tbaa !11
  %590 = sext i32 %589 to i64
  %591 = getelementptr inbounds i32, ptr %588, i64 %590
  %592 = load i32, ptr %591, align 4, !tbaa !11
  %593 = load ptr, ptr %24, align 8, !tbaa !5
  %594 = load i32, ptr %40, align 4, !tbaa !11
  %595 = sext i32 %594 to i64
  %596 = getelementptr inbounds i32, ptr %593, i64 %595
  %597 = load i32, ptr %596, align 4, !tbaa !11
  %598 = sub nsw i32 %592, %597
  %599 = call i32 @__PQueueInsert(ptr noundef %31, i32 noundef %587, i32 noundef %598)
  br label %600

600:                                              ; preds = %586, %446
  br label %601

601:                                              ; preds = %600, %430
  br label %602

602:                                              ; preds = %601
  %603 = load i32, ptr %11, align 4, !tbaa !11
  %604 = add nsw i32 %603, 1
  store i32 %604, ptr %11, align 4, !tbaa !11
  br label %409, !llvm.loop !33

605:                                              ; preds = %409
  %606 = load i32, ptr %18, align 4, !tbaa !11
  %607 = load ptr, ptr %27, align 8, !tbaa !5
  %608 = load i32, ptr %17, align 4, !tbaa !11
  %609 = add nsw i32 %608, 1
  %610 = sext i32 %609 to i64
  %611 = getelementptr inbounds i32, ptr %607, i64 %610
  store i32 %606, ptr %611, align 4, !tbaa !11
  %612 = load ptr, ptr %5, align 8, !tbaa !5
  %613 = getelementptr inbounds %struct.controldef, ptr %612, i32 0, i32 1
  %614 = load i32, ptr %613, align 4, !tbaa !23
  %615 = and i32 %614, 32
  %616 = icmp ne i32 %615, 0
  br i1 %616, label %617, label %652

617:                                              ; preds = %605
  %618 = load i32, ptr %33, align 4, !tbaa !11
  %619 = load i32, ptr %39, align 4, !tbaa !11
  %620 = load ptr, ptr %20, align 8, !tbaa !5
  %621 = load i32, ptr %33, align 4, !tbaa !11
  %622 = sext i32 %621 to i64
  %623 = getelementptr inbounds i32, ptr %620, i64 %622
  %624 = load i32, ptr %623, align 4, !tbaa !11
  %625 = load ptr, ptr %32, align 8, !tbaa !5
  %626 = load i32, ptr %33, align 4, !tbaa !11
  %627 = sext i32 %626 to i64
  %628 = getelementptr inbounds %struct.nrinfodef, ptr %625, i64 %627
  %629 = getelementptr inbounds %struct.nrinfodef, ptr %628, i32 0, i32 0
  %630 = load i32, ptr %40, align 4, !tbaa !11
  %631 = sext i32 %630 to i64
  %632 = getelementptr inbounds [2 x i32], ptr %629, i64 0, i64 %631
  %633 = load i32, ptr %632, align 4, !tbaa !11
  %634 = sub nsw i32 %624, %633
  %635 = load ptr, ptr %20, align 8, !tbaa !5
  %636 = load i32, ptr %33, align 4, !tbaa !11
  %637 = sext i32 %636 to i64
  %638 = getelementptr inbounds i32, ptr %635, i64 %637
  %639 = load i32, ptr %638, align 4, !tbaa !11
  %640 = load ptr, ptr %23, align 8, !tbaa !5
  %641 = getelementptr inbounds i32, ptr %640, i64 0
  %642 = load i32, ptr %641, align 4, !tbaa !11
  %643 = load ptr, ptr %23, align 8, !tbaa !5
  %644 = getelementptr inbounds i32, ptr %643, i64 1
  %645 = load i32, ptr %644, align 4, !tbaa !11
  %646 = load ptr, ptr %23, align 8, !tbaa !5
  %647 = getelementptr inbounds i32, ptr %646, i64 2
  %648 = load i32, ptr %647, align 4, !tbaa !11
  %649 = load i32, ptr %17, align 4, !tbaa !11
  %650 = load i32, ptr %41, align 4, !tbaa !11
  %651 = call i32 (ptr, ...) @printf(ptr noundef @.str.4, i32 noundef %618, i32 noundef %619, i32 noundef %634, i32 noundef %639, i32 noundef %642, i32 noundef %645, i32 noundef %648, i32 noundef %649, i32 noundef %650)
  br label %652

652:                                              ; preds = %617, %605
  br label %653

653:                                              ; preds = %652
  %654 = load i32, ptr %17, align 4, !tbaa !11
  %655 = add nsw i32 %654, 1
  store i32 %655, ptr %17, align 4, !tbaa !11
  br label %229, !llvm.loop !34

656:                                              ; preds = %327, %251, %236, %229
  %657 = load i32, ptr %17, align 4, !tbaa !11
  %658 = add nsw i32 %657, -1
  store i32 %658, ptr %17, align 4, !tbaa !11
  br label %659

659:                                              ; preds = %916, %656
  %660 = load i32, ptr %17, align 4, !tbaa !11
  %661 = load i32, ptr %37, align 4, !tbaa !11
  %662 = icmp sgt i32 %660, %661
  br i1 %662, label %663, label %919

663:                                              ; preds = %659
  %664 = load ptr, ptr %29, align 8, !tbaa !5
  %665 = load i32, ptr %17, align 4, !tbaa !11
  %666 = sext i32 %665 to i64
  %667 = getelementptr inbounds i32, ptr %664, i64 %666
  %668 = load i32, ptr %667, align 4, !tbaa !11
  store i32 %668, ptr %33, align 4, !tbaa !11
  br label %669

669:                                              ; preds = %663
  %670 = load ptr, ptr %20, align 8, !tbaa !5
  %671 = load i32, ptr %33, align 4, !tbaa !11
  %672 = sext i32 %671 to i64
  %673 = getelementptr inbounds i32, ptr %670, i64 %672
  %674 = load i32, ptr %673, align 4, !tbaa !11
  %675 = load ptr, ptr %23, align 8, !tbaa !5
  %676 = getelementptr inbounds i32, ptr %675, i64 2
  %677 = load i32, ptr %676, align 4, !tbaa !11
  %678 = add nsw i32 %677, %674
  store i32 %678, ptr %676, align 4, !tbaa !11
  %679 = load ptr, ptr %20, align 8, !tbaa !5
  %680 = load i32, ptr %33, align 4, !tbaa !11
  %681 = sext i32 %680 to i64
  %682 = getelementptr inbounds i32, ptr %679, i64 %681
  %683 = load i32, ptr %682, align 4, !tbaa !11
  %684 = load ptr, ptr %23, align 8, !tbaa !5
  %685 = load i32, ptr %39, align 4, !tbaa !11
  %686 = sext i32 %685 to i64
  %687 = getelementptr inbounds i32, ptr %684, i64 %686
  %688 = load i32, ptr %687, align 4, !tbaa !11
  %689 = sub nsw i32 %688, %683
  store i32 %689, ptr %687, align 4, !tbaa !11
  br label %690

690:                                              ; preds = %669
  br label %691

691:                                              ; preds = %690
  %692 = load ptr, ptr %22, align 8, !tbaa !5
  %693 = load i32, ptr %33, align 4, !tbaa !11
  %694 = sext i32 %693 to i64
  %695 = getelementptr inbounds i32, ptr %692, i64 %694
  store i32 2, ptr %695, align 4, !tbaa !11
  br label %696

696:                                              ; preds = %691
  %697 = load i32, ptr %33, align 4, !tbaa !11
  %698 = load ptr, ptr %25, align 8, !tbaa !5
  %699 = load i32, ptr %16, align 4, !tbaa !11
  %700 = sext i32 %699 to i64
  %701 = getelementptr inbounds i32, ptr %698, i64 %700
  store i32 %697, ptr %701, align 4, !tbaa !11
  %702 = load i32, ptr %16, align 4, !tbaa !11
  %703 = add nsw i32 %702, 1
  store i32 %703, ptr %16, align 4, !tbaa !11
  %704 = load ptr, ptr %26, align 8, !tbaa !5
  %705 = load i32, ptr %33, align 4, !tbaa !11
  %706 = sext i32 %705 to i64
  %707 = getelementptr inbounds i32, ptr %704, i64 %706
  store i32 %702, ptr %707, align 4, !tbaa !11
  br label %708

708:                                              ; preds = %696
  br label %709

709:                                              ; preds = %708
  %710 = load ptr, ptr %32, align 8, !tbaa !5
  %711 = load i32, ptr %33, align 4, !tbaa !11
  %712 = sext i32 %711 to i64
  %713 = getelementptr inbounds %struct.nrinfodef, ptr %710, i64 %712
  %714 = getelementptr inbounds %struct.nrinfodef, ptr %713, i32 0, i32 0
  %715 = getelementptr inbounds [2 x i32], ptr %714, i64 0, i64 0
  store ptr %715, ptr %24, align 8, !tbaa !5
  %716 = load ptr, ptr %24, align 8, !tbaa !5
  %717 = getelementptr inbounds i32, ptr %716, i64 1
  store i32 0, ptr %717, align 4, !tbaa !11
  %718 = load ptr, ptr %24, align 8, !tbaa !5
  %719 = getelementptr inbounds i32, ptr %718, i64 0
  store i32 0, ptr %719, align 4, !tbaa !11
  %720 = load ptr, ptr %19, align 8, !tbaa !5
  %721 = load i32, ptr %33, align 4, !tbaa !11
  %722 = sext i32 %721 to i64
  %723 = getelementptr inbounds i32, ptr %720, i64 %722
  %724 = load i32, ptr %723, align 4, !tbaa !11
  store i32 %724, ptr %11, align 4, !tbaa !11
  br label %725

725:                                              ; preds = %779, %709
  %726 = load i32, ptr %11, align 4, !tbaa !11
  %727 = load ptr, ptr %19, align 8, !tbaa !5
  %728 = load i32, ptr %33, align 4, !tbaa !11
  %729 = add nsw i32 %728, 1
  %730 = sext i32 %729 to i64
  %731 = getelementptr inbounds i32, ptr %727, i64 %730
  %732 = load i32, ptr %731, align 4, !tbaa !11
  %733 = icmp slt i32 %726, %732
  br i1 %733, label %734, label %782

734:                                              ; preds = %725
  %735 = load ptr, ptr %21, align 8, !tbaa !5
  %736 = load i32, ptr %11, align 4, !tbaa !11
  %737 = sext i32 %736 to i64
  %738 = getelementptr inbounds i32, ptr %735, i64 %737
  %739 = load i32, ptr %738, align 4, !tbaa !11
  store i32 %739, ptr %12, align 4, !tbaa !11
  %740 = load ptr, ptr %22, align 8, !tbaa !5
  %741 = load i32, ptr %12, align 4, !tbaa !11
  %742 = sext i32 %741 to i64
  %743 = getelementptr inbounds i32, ptr %740, i64 %742
  %744 = load i32, ptr %743, align 4, !tbaa !11
  %745 = icmp eq i32 %744, 2
  br i1 %745, label %746, label %762

746:                                              ; preds = %734
  %747 = load ptr, ptr %20, align 8, !tbaa !5
  %748 = load i32, ptr %33, align 4, !tbaa !11
  %749 = sext i32 %748 to i64
  %750 = getelementptr inbounds i32, ptr %747, i64 %749
  %751 = load i32, ptr %750, align 4, !tbaa !11
  %752 = load ptr, ptr %32, align 8, !tbaa !5
  %753 = load i32, ptr %12, align 4, !tbaa !11
  %754 = sext i32 %753 to i64
  %755 = getelementptr inbounds %struct.nrinfodef, ptr %752, i64 %754
  %756 = getelementptr inbounds %struct.nrinfodef, ptr %755, i32 0, i32 0
  %757 = load i32, ptr %39, align 4, !tbaa !11
  %758 = sext i32 %757 to i64
  %759 = getelementptr inbounds [2 x i32], ptr %756, i64 0, i64 %758
  %760 = load i32, ptr %759, align 4, !tbaa !11
  %761 = sub nsw i32 %760, %751
  store i32 %761, ptr %759, align 4, !tbaa !11
  br label %778

762:                                              ; preds = %734
  %763 = load ptr, ptr %20, align 8, !tbaa !5
  %764 = load i32, ptr %12, align 4, !tbaa !11
  %765 = sext i32 %764 to i64
  %766 = getelementptr inbounds i32, ptr %763, i64 %765
  %767 = load i32, ptr %766, align 4, !tbaa !11
  %768 = load ptr, ptr %24, align 8, !tbaa !5
  %769 = load ptr, ptr %22, align 8, !tbaa !5
  %770 = load i32, ptr %12, align 4, !tbaa !11
  %771 = sext i32 %770 to i64
  %772 = getelementptr inbounds i32, ptr %769, i64 %771
  %773 = load i32, ptr %772, align 4, !tbaa !11
  %774 = sext i32 %773 to i64
  %775 = getelementptr inbounds i32, ptr %768, i64 %774
  %776 = load i32, ptr %775, align 4, !tbaa !11
  %777 = add nsw i32 %776, %767
  store i32 %777, ptr %775, align 4, !tbaa !11
  br label %778

778:                                              ; preds = %762, %746
  br label %779

779:                                              ; preds = %778
  %780 = load i32, ptr %11, align 4, !tbaa !11
  %781 = add nsw i32 %780, 1
  store i32 %781, ptr %11, align 4, !tbaa !11
  br label %725, !llvm.loop !35

782:                                              ; preds = %725
  %783 = load ptr, ptr %27, align 8, !tbaa !5
  %784 = load i32, ptr %17, align 4, !tbaa !11
  %785 = sext i32 %784 to i64
  %786 = getelementptr inbounds i32, ptr %783, i64 %785
  %787 = load i32, ptr %786, align 4, !tbaa !11
  store i32 %787, ptr %11, align 4, !tbaa !11
  br label %788

788:                                              ; preds = %912, %782
  %789 = load i32, ptr %11, align 4, !tbaa !11
  %790 = load ptr, ptr %27, align 8, !tbaa !5
  %791 = load i32, ptr %17, align 4, !tbaa !11
  %792 = add nsw i32 %791, 1
  %793 = sext i32 %792 to i64
  %794 = getelementptr inbounds i32, ptr %790, i64 %793
  %795 = load i32, ptr %794, align 4, !tbaa !11
  %796 = icmp slt i32 %789, %795
  br i1 %796, label %797, label %915

797:                                              ; preds = %788
  %798 = load ptr, ptr %28, align 8, !tbaa !5
  %799 = load i32, ptr %11, align 4, !tbaa !11
  %800 = sext i32 %799 to i64
  %801 = getelementptr inbounds i32, ptr %798, i64 %800
  %802 = load i32, ptr %801, align 4, !tbaa !11
  store i32 %802, ptr %12, align 4, !tbaa !11
  %803 = load i32, ptr %40, align 4, !tbaa !11
  %804 = load ptr, ptr %22, align 8, !tbaa !5
  %805 = load i32, ptr %12, align 4, !tbaa !11
  %806 = sext i32 %805 to i64
  %807 = getelementptr inbounds i32, ptr %804, i64 %806
  store i32 %803, ptr %807, align 4, !tbaa !11
  br label %808

808:                                              ; preds = %797
  %809 = load ptr, ptr %20, align 8, !tbaa !5
  %810 = load i32, ptr %12, align 4, !tbaa !11
  %811 = sext i32 %810 to i64
  %812 = getelementptr inbounds i32, ptr %809, i64 %811
  %813 = load i32, ptr %812, align 4, !tbaa !11
  %814 = load ptr, ptr %23, align 8, !tbaa !5
  %815 = load i32, ptr %40, align 4, !tbaa !11
  %816 = sext i32 %815 to i64
  %817 = getelementptr inbounds i32, ptr %814, i64 %816
  %818 = load i32, ptr %817, align 4, !tbaa !11
  %819 = add nsw i32 %818, %813
  store i32 %819, ptr %817, align 4, !tbaa !11
  %820 = load ptr, ptr %20, align 8, !tbaa !5
  %821 = load i32, ptr %12, align 4, !tbaa !11
  %822 = sext i32 %821 to i64
  %823 = getelementptr inbounds i32, ptr %820, i64 %822
  %824 = load i32, ptr %823, align 4, !tbaa !11
  %825 = load ptr, ptr %23, align 8, !tbaa !5
  %826 = getelementptr inbounds i32, ptr %825, i64 2
  %827 = load i32, ptr %826, align 4, !tbaa !11
  %828 = sub nsw i32 %827, %824
  store i32 %828, ptr %826, align 4, !tbaa !11
  br label %829

829:                                              ; preds = %808
  br label %830

830:                                              ; preds = %829
  br label %831

831:                                              ; preds = %830
  %832 = load ptr, ptr %25, align 8, !tbaa !5
  %833 = load i32, ptr %16, align 4, !tbaa !11
  %834 = add nsw i32 %833, -1
  store i32 %834, ptr %16, align 4, !tbaa !11
  %835 = sext i32 %834 to i64
  %836 = getelementptr inbounds i32, ptr %832, i64 %835
  %837 = load i32, ptr %836, align 4, !tbaa !11
  %838 = load ptr, ptr %25, align 8, !tbaa !5
  %839 = load ptr, ptr %26, align 8, !tbaa !5
  %840 = load i32, ptr %12, align 4, !tbaa !11
  %841 = sext i32 %840 to i64
  %842 = getelementptr inbounds i32, ptr %839, i64 %841
  %843 = load i32, ptr %842, align 4, !tbaa !11
  %844 = sext i32 %843 to i64
  %845 = getelementptr inbounds i32, ptr %838, i64 %844
  store i32 %837, ptr %845, align 4, !tbaa !11
  %846 = load ptr, ptr %26, align 8, !tbaa !5
  %847 = load i32, ptr %12, align 4, !tbaa !11
  %848 = sext i32 %847 to i64
  %849 = getelementptr inbounds i32, ptr %846, i64 %848
  %850 = load i32, ptr %849, align 4, !tbaa !11
  %851 = load ptr, ptr %26, align 8, !tbaa !5
  %852 = load ptr, ptr %25, align 8, !tbaa !5
  %853 = load i32, ptr %16, align 4, !tbaa !11
  %854 = sext i32 %853 to i64
  %855 = getelementptr inbounds i32, ptr %852, i64 %854
  %856 = load i32, ptr %855, align 4, !tbaa !11
  %857 = sext i32 %856 to i64
  %858 = getelementptr inbounds i32, ptr %851, i64 %857
  store i32 %850, ptr %858, align 4, !tbaa !11
  %859 = load ptr, ptr %26, align 8, !tbaa !5
  %860 = load i32, ptr %12, align 4, !tbaa !11
  %861 = sext i32 %860 to i64
  %862 = getelementptr inbounds i32, ptr %859, i64 %861
  store i32 -1, ptr %862, align 4, !tbaa !11
  br label %863

863:                                              ; preds = %831
  br label %864

864:                                              ; preds = %863
  %865 = load ptr, ptr %19, align 8, !tbaa !5
  %866 = load i32, ptr %12, align 4, !tbaa !11
  %867 = sext i32 %866 to i64
  %868 = getelementptr inbounds i32, ptr %865, i64 %867
  %869 = load i32, ptr %868, align 4, !tbaa !11
  store i32 %869, ptr %13, align 4, !tbaa !11
  br label %870

870:                                              ; preds = %908, %864
  %871 = load i32, ptr %13, align 4, !tbaa !11
  %872 = load ptr, ptr %19, align 8, !tbaa !5
  %873 = load i32, ptr %12, align 4, !tbaa !11
  %874 = add nsw i32 %873, 1
  %875 = sext i32 %874 to i64
  %876 = getelementptr inbounds i32, ptr %872, i64 %875
  %877 = load i32, ptr %876, align 4, !tbaa !11
  %878 = icmp slt i32 %871, %877
  br i1 %878, label %879, label %911

879:                                              ; preds = %870
  %880 = load ptr, ptr %21, align 8, !tbaa !5
  %881 = load i32, ptr %13, align 4, !tbaa !11
  %882 = sext i32 %881 to i64
  %883 = getelementptr inbounds i32, ptr %880, i64 %882
  %884 = load i32, ptr %883, align 4, !tbaa !11
  store i32 %884, ptr %14, align 4, !tbaa !11
  %885 = load ptr, ptr %22, align 8, !tbaa !5
  %886 = load i32, ptr %14, align 4, !tbaa !11
  %887 = sext i32 %886 to i64
  %888 = getelementptr inbounds i32, ptr %885, i64 %887
  %889 = load i32, ptr %888, align 4, !tbaa !11
  %890 = icmp eq i32 %889, 2
  br i1 %890, label %891, label %907

891:                                              ; preds = %879
  %892 = load ptr, ptr %20, align 8, !tbaa !5
  %893 = load i32, ptr %12, align 4, !tbaa !11
  %894 = sext i32 %893 to i64
  %895 = getelementptr inbounds i32, ptr %892, i64 %894
  %896 = load i32, ptr %895, align 4, !tbaa !11
  %897 = load ptr, ptr %32, align 8, !tbaa !5
  %898 = load i32, ptr %14, align 4, !tbaa !11
  %899 = sext i32 %898 to i64
  %900 = getelementptr inbounds %struct.nrinfodef, ptr %897, i64 %899
  %901 = getelementptr inbounds %struct.nrinfodef, ptr %900, i32 0, i32 0
  %902 = load i32, ptr %40, align 4, !tbaa !11
  %903 = sext i32 %902 to i64
  %904 = getelementptr inbounds [2 x i32], ptr %901, i64 0, i64 %903
  %905 = load i32, ptr %904, align 4, !tbaa !11
  %906 = add nsw i32 %905, %896
  store i32 %906, ptr %904, align 4, !tbaa !11
  br label %907

907:                                              ; preds = %891, %879
  br label %908

908:                                              ; preds = %907
  %909 = load i32, ptr %13, align 4, !tbaa !11
  %910 = add nsw i32 %909, 1
  store i32 %910, ptr %13, align 4, !tbaa !11
  br label %870, !llvm.loop !36

911:                                              ; preds = %870
  br label %912

912:                                              ; preds = %911
  %913 = load i32, ptr %11, align 4, !tbaa !11
  %914 = add nsw i32 %913, 1
  store i32 %914, ptr %11, align 4, !tbaa !11
  br label %788, !llvm.loop !37

915:                                              ; preds = %788
  br label %916

916:                                              ; preds = %915
  %917 = load i32, ptr %17, align 4, !tbaa !11
  %918 = add nsw i32 %917, -1
  store i32 %918, ptr %17, align 4, !tbaa !11
  br label %659, !llvm.loop !38

919:                                              ; preds = %659
  %920 = load ptr, ptr %5, align 8, !tbaa !5
  %921 = getelementptr inbounds %struct.controldef, ptr %920, i32 0, i32 1
  %922 = load i32, ptr %921, align 4, !tbaa !23
  %923 = and i32 %922, 8
  %924 = icmp ne i32 %923, 0
  br i1 %924, label %925, label %936

925:                                              ; preds = %919
  %926 = load i32, ptr %35, align 4, !tbaa !11
  %927 = load i32, ptr %37, align 4, !tbaa !11
  %928 = load ptr, ptr %23, align 8, !tbaa !5
  %929 = getelementptr inbounds i32, ptr %928, i64 0
  %930 = load i32, ptr %929, align 4, !tbaa !11
  %931 = load ptr, ptr %23, align 8, !tbaa !5
  %932 = getelementptr inbounds i32, ptr %931, i64 1
  %933 = load i32, ptr %932, align 4, !tbaa !11
  %934 = load i32, ptr %16, align 4, !tbaa !11
  %935 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, i32 noundef %926, i32 noundef %927, i32 noundef %930, i32 noundef %933, i32 noundef %934)
  br label %936

936:                                              ; preds = %925, %919
  %937 = load i32, ptr %35, align 4, !tbaa !11
  %938 = load ptr, ptr %6, align 8, !tbaa !5
  %939 = getelementptr inbounds %struct.graphdef, ptr %938, i32 0, i32 12
  store i32 %937, ptr %939, align 8, !tbaa !28
  %940 = load i32, ptr %16, align 4, !tbaa !11
  %941 = load ptr, ptr %6, align 8, !tbaa !5
  %942 = getelementptr inbounds %struct.graphdef, ptr %941, i32 0, i32 16
  store i32 %940, ptr %942, align 8, !tbaa !27
  %943 = load i32, ptr %38, align 4, !tbaa !11
  %944 = srem i32 %943, 2
  %945 = icmp eq i32 %944, 1
  br i1 %945, label %946, label %954

946:                                              ; preds = %936
  %947 = load i32, ptr %37, align 4, !tbaa !11
  %948 = icmp eq i32 %947, -1
  br i1 %948, label %953, label %949

949:                                              ; preds = %946
  %950 = load i32, ptr %35, align 4, !tbaa !11
  %951 = load i32, ptr %36, align 4, !tbaa !11
  %952 = icmp sge i32 %950, %951
  br i1 %952, label %953, label %954

953:                                              ; preds = %949, %946
  br label %958

954:                                              ; preds = %949, %936
  br label %955

955:                                              ; preds = %954
  %956 = load i32, ptr %38, align 4, !tbaa !11
  %957 = add nsw i32 %956, 1
  store i32 %957, ptr %38, align 4, !tbaa !11
  br label %140, !llvm.loop !39

958:                                              ; preds = %953, %140
  %959 = load ptr, ptr %5, align 8, !tbaa !5
  call void @__PQueueFree(ptr noundef %959, ptr noundef %31)
  %960 = load ptr, ptr %5, align 8, !tbaa !5
  %961 = load i32, ptr %15, align 4, !tbaa !11
  %962 = add nsw i32 %961, 1
  call void @__idxwspacefree(ptr noundef %960, i32 noundef %962)
  %963 = load ptr, ptr %5, align 8, !tbaa !5
  %964 = load i32, ptr %15, align 4, !tbaa !11
  call void @__idxwspacefree(ptr noundef %963, i32 noundef %964)
  %965 = load ptr, ptr %5, align 8, !tbaa !5
  %966 = load i32, ptr %15, align 4, !tbaa !11
  call void @__idxwspacefree(ptr noundef %965, i32 noundef %966)
  %967 = load ptr, ptr %5, align 8, !tbaa !5
  %968 = load i32, ptr %15, align 4, !tbaa !11
  call void @__idxwspacefree(ptr noundef %967, i32 noundef %968)
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #4
  call void @llvm.lifetime.end.p0(i64 64, ptr %31) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #4
  ret void
}

declare void @__PQueueUpdateUp(ptr noundef, i32 noundef, i32 noundef, i32 noundef) #2

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { "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 speculatable willreturn memory(none) }
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 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"float", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{!14, !12, i64 16}
!14 = !{!"graphdef", !6, i64 0, !6, i64 8, !12, i64 16, !12, i64 20, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !12, i64 88, !12, i64 92, !6, i64 96, !6, i64 104, !12, i64 112, !6, i64 120, !6, i64 128, !6, i64 136, !6, i64 144, !6, i64 152, !6, i64 160, !6, i64 168, !12, i64 176, !6, i64 184, !6, i64 192, !6, i64 200, !6, i64 208}
!15 = !{!14, !6, i64 24}
!16 = !{!14, !6, i64 48}
!17 = !{!14, !6, i64 32}
!18 = !{!14, !6, i64 128}
!19 = !{!14, !6, i64 120}
!20 = !{!14, !6, i64 96}
!21 = !{!14, !6, i64 104}
!22 = !{!14, !6, i64 168}
!23 = !{!24, !12, i64 4}
!24 = !{!"controldef", !12, i64 0, !12, i64 4, !12, i64 8, !12, i64 12, !12, i64 16, !12, i64 20, !10, i64 24, !12, i64 28, !12, i64 32, !12, i64 36, !12, i64 40, !25, i64 48, !26, i64 104, !26, i64 112, !26, i64 120, !26, i64 128, !26, i64 136, !26, i64 144, !26, i64 152, !26, i64 160, !26, i64 168, !26, i64 176, !26, i64 184, !26, i64 192, !26, i64 200, !26, i64 208, !26, i64 216, !26, i64 224}
!25 = !{!"workspacedef", !6, i64 0, !12, i64 8, !12, i64 12, !6, i64 16, !6, i64 24, !12, i64 32, !6, i64 40, !6, i64 48}
!26 = !{!"double", !7, i64 0}
!27 = !{!14, !12, i64 112}
!28 = !{!14, !12, i64 88}
!29 = distinct !{!29, !30}
!30 = !{!"llvm.loop.mustprogress"}
!31 = !{!24, !12, i64 40}
!32 = distinct !{!32, !30}
!33 = distinct !{!33, !30}
!34 = distinct !{!34, !30}
!35 = distinct !{!35, !30}
!36 = distinct !{!36, !30}
!37 = distinct !{!37, !30}
!38 = distinct !{!38, !30}
!39 = distinct !{!39, !30}


; 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.PQueueType = type { i32, i32, i32, i32, i32, i32, i32, ptr, ptr, ptr, ptr }
%struct.nrinfodef = type { [2 x i32] }

@.str.2 = external hidden unnamed_addr constant [55 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [60 x i8], align 1

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

; Function Attrs: nounwind uwtable
declare dso_local i32 @__ComputeMaxNodeGain(i32 noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #1

declare void @__PQueueInit(ptr noundef, ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

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

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

declare void @__PQueueReset(ptr noundef) local_unnamed_addr #2

declare void @__RandomPermute(i32 noundef, ptr noundef, i32 noundef) local_unnamed_addr #2

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

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.abs.i32(i32, i1 immarg) #4

declare i32 @__PQueueGetMax(ptr noundef) local_unnamed_addr #2

declare void @__PQueueFree(ptr noundef, ptr noundef) local_unnamed_addr #2

declare void @__idxwspacefree(ptr noundef, i32 noundef) local_unnamed_addr #2

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

; Function Attrs: nounwind uwtable
define dso_local void @__FM_2WayNodeRefine_OneSided(ptr noundef %0, ptr nocapture noundef %1, float noundef %2, i32 noundef %3) local_unnamed_addr #1 {
  %5 = alloca %struct.PQueueType, align 8
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %5) #5
  %6 = getelementptr inbounds i8, ptr %1, i64 16
  %7 = load i32, ptr %6, align 8, !tbaa !5
  %8 = getelementptr inbounds i8, ptr %1, i64 24
  %9 = load ptr, ptr %8, align 8, !tbaa !11
  %10 = getelementptr inbounds i8, ptr %1, i64 48
  %11 = load ptr, ptr %10, align 8, !tbaa !12
  %12 = getelementptr inbounds i8, ptr %1, i64 32
  %13 = load ptr, ptr %12, align 8, !tbaa !13
  %14 = getelementptr inbounds i8, ptr %1, i64 128
  %15 = load ptr, ptr %14, align 8, !tbaa !14
  %16 = getelementptr inbounds i8, ptr %1, i64 120
  %17 = load ptr, ptr %16, align 8, !tbaa !15
  %18 = getelementptr inbounds i8, ptr %1, i64 96
  %19 = load ptr, ptr %18, align 8, !tbaa !16
  %20 = getelementptr inbounds i8, ptr %1, i64 104
  %21 = load ptr, ptr %20, align 8, !tbaa !17
  %22 = getelementptr inbounds i8, ptr %1, i64 168
  %23 = load ptr, ptr %22, align 8, !tbaa !18
  %24 = tail call i32 @__ComputeMaxNodeGain(i32 noundef %7, ptr noundef %9, ptr noundef %11, ptr noundef %13)
  call void @__PQueueInit(ptr noundef %0, ptr noundef nonnull %5, i32 noundef %7, i32 noundef %24) #5
  %25 = call ptr @__idxwspacemalloc(ptr noundef %0, i32 noundef %7) #5
  %26 = call ptr @__idxwspacemalloc(ptr noundef %0, i32 noundef %7) #5
  %27 = call ptr @__idxwspacemalloc(ptr noundef %0, i32 noundef %7) #5
  %28 = add nsw i32 %7, 1
  %29 = call ptr @__idxwspacemalloc(ptr noundef %0, i32 noundef %28) #5
  %30 = getelementptr inbounds i8, ptr %0, i64 4
  %31 = load i32, ptr %30, align 4, !tbaa !19
  %32 = and i32 %31, 8
  %.not = icmp eq i32 %32, 0
  br i1 %.not, label %43, label %33

33:                                               ; preds = %4
  %34 = load i32, ptr %21, align 4, !tbaa !24
  %35 = getelementptr inbounds i8, ptr %21, i64 4
  %36 = load i32, ptr %35, align 4, !tbaa !24
  %37 = load i32, ptr %6, align 8, !tbaa !5
  %38 = getelementptr inbounds i8, ptr %1, i64 112
  %39 = load i32, ptr %38, align 8, !tbaa !25
  %40 = getelementptr inbounds i8, ptr %1, i64 88
  %41 = load i32, ptr %40, align 8, !tbaa !26
  %42 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.3, i32 noundef %34, i32 noundef %36, i32 noundef %37, i32 noundef %39, i32 noundef %41)
  br label %43

43:                                               ; preds = %33, %4
  %44 = load i32, ptr %21, align 4, !tbaa !24
  %45 = getelementptr inbounds i8, ptr %21, i64 4
  %46 = load i32, ptr %45, align 4, !tbaa !24
  %47 = add nsw i32 %46, %44
  %48 = getelementptr inbounds i8, ptr %21, i64 8
  %49 = load i32, ptr %48, align 4, !tbaa !24
  %50 = add nsw i32 %47, %49
  %51 = sitofp i32 %50 to float
  %52 = fmul float %51, %2
  %53 = fmul float %52, 5.000000e-01
  %54 = fptosi float %53 to i32
  %55 = icmp sgt i32 %3, 0
  br i1 %55, label %.lr.ph443, label %._crit_edge444

.lr.ph443:                                        ; preds = %43
  %56 = icmp slt i32 %44, %46
  %57 = zext i1 %56 to i32
  %58 = getelementptr inbounds i8, ptr %1, i64 88
  %59 = getelementptr inbounds i8, ptr %1, i64 112
  %60 = getelementptr inbounds i8, ptr %0, i64 40
  %61 = icmp sgt i32 %7, 0
  %wide.trip.count465 = zext nneg i32 %7 to i64
  br label %.backedge

.backedge:                                        ; preds = %.backedge.backedge, %.lr.ph443
  %.0334441 = phi i32 [ %57, %.lr.ph443 ], [ %63, %.backedge.backedge ]
  %.0335440 = phi i32 [ 0, %.lr.ph443 ], [ %.0335440.be, %.backedge.backedge ]
  %62 = and i32 %.0334441, 1
  %63 = xor i32 %62, 1
  call void @__PQueueReset(ptr noundef nonnull %5) #5
  %64 = load i32, ptr %58, align 8, !tbaa !26
  %65 = load i32, ptr %59, align 8, !tbaa !25
  call void @__RandomPermute(i32 noundef %65, ptr noundef %25, i32 noundef 1) #5
  %66 = icmp sgt i32 %65, 0
  br i1 %66, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %.backedge
  %67 = zext nneg i32 %.0334441 to i64
  %invariant.gep = getelementptr [2 x i32], ptr %23, i64 0, i64 %67
  %wide.trip.count = zext nneg i32 %65 to i64
  br label %68

68:                                               ; preds = %.lr.ph, %68
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %68 ]
  %69 = getelementptr inbounds i32, ptr %25, i64 %indvars.iv
  %70 = load i32, ptr %69, align 4, !tbaa !24
  %71 = sext i32 %70 to i64
  %72 = getelementptr inbounds i32, ptr %15, i64 %71
  %73 = load i32, ptr %72, align 4, !tbaa !24
  %74 = sext i32 %73 to i64
  %75 = getelementptr inbounds i32, ptr %13, i64 %74
  %76 = load i32, ptr %75, align 4, !tbaa !24
  %gep = getelementptr %struct.nrinfodef, ptr %invariant.gep, i64 %74
  %77 = load i32, ptr %gep, align 4, !tbaa !24
  %78 = sub nsw i32 %76, %77
  %79 = call i32 @__PQueueInsert(ptr noundef nonnull %5, i32 noundef %73, i32 noundef %78) #5
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge, label %68, !llvm.loop !27

._crit_edge:                                      ; preds = %68, %.backedge
  %80 = load i32, ptr %60, align 8, !tbaa !29
  %81 = and i32 %80, 1
  %.not354 = icmp eq i32 %81, 0
  br i1 %.not354, label %86, label %82

82:                                               ; preds = %._crit_edge
  %83 = mul nsw i32 %65, 5
  %84 = icmp sgt i32 %65, 79
  %85 = select i1 %84, i32 400, i32 %83
  br label %90

86:                                               ; preds = %._crit_edge
  %87 = shl nsw i32 %65, 1
  %88 = icmp sgt i32 %65, 149
  %89 = select i1 %88, i32 300, i32 %87
  br label %90

90:                                               ; preds = %86, %82
  %91 = phi i32 [ %85, %82 ], [ %89, %86 ]
  store i32 0, ptr %27, align 4, !tbaa !24
  br i1 %61, label %.lr.ph398, label %.loopexit364

.lr.ph398:                                        ; preds = %90
  %92 = load i32, ptr %21, align 4, !tbaa !24
  %93 = load i32, ptr %45, align 4, !tbaa !24
  %94 = sub nsw i32 %92, %93
  %95 = call i32 @llvm.abs.i32(i32 %94, i1 true)
  %96 = zext nneg i32 %63 to i64
  %97 = getelementptr inbounds i32, ptr %21, i64 %96
  %98 = zext nneg i32 %.0334441 to i64
  %invariant.gep413 = getelementptr [2 x i32], ptr %23, i64 0, i64 %98
  %99 = getelementptr inbounds i32, ptr %21, i64 %98
  %invariant.gep382 = getelementptr [2 x i32], ptr %23, i64 0, i64 %96
  br label %100

100:                                              ; preds = %.lr.ph398, %229
  %indvars.iv462 = phi i64 [ 0, %.lr.ph398 ], [ %indvars.iv.next463, %229 ]
  %.0329396 = phi i32 [ %95, %.lr.ph398 ], [ %.1, %229 ]
  %.0336395 = phi i32 [ -1, %.lr.ph398 ], [ %.1337, %229 ]
  %.0338394 = phi i32 [ %64, %.lr.ph398 ], [ %.1339, %229 ]
  %.0340393 = phi i32 [ %65, %.lr.ph398 ], [ %.1341.lcssa, %229 ]
  %.0345391 = phi i32 [ 0, %.lr.ph398 ], [ %.1346.lcssa, %229 ]
  %101 = call i32 @__PQueueGetMax(ptr noundef nonnull %5) #5
  %102 = icmp eq i32 %101, -1
  %103 = trunc nuw nsw i64 %indvars.iv462 to i32
  br i1 %102, label %.loopexit364, label %104

104:                                              ; preds = %100
  %105 = load i32, ptr %97, align 4, !tbaa !24
  %106 = sext i32 %101 to i64
  %107 = getelementptr inbounds i32, ptr %13, i64 %106
  %108 = load i32, ptr %107, align 4, !tbaa !24
  %109 = add nsw i32 %108, %105
  %110 = icmp sgt i32 %109, %54
  br i1 %110, label %.loopexit364, label %111

111:                                              ; preds = %104
  %gep414 = getelementptr %struct.nrinfodef, ptr %invariant.gep413, i64 %106
  %112 = load i32, ptr %gep414, align 4, !tbaa !24
  %.neg = sub i32 %112, %108
  %113 = load i32, ptr %48, align 4, !tbaa !24
  %114 = add i32 %.neg, %113
  store i32 %114, ptr %48, align 4, !tbaa !24
  %115 = load i32, ptr %107, align 4, !tbaa !24
  %116 = load i32, ptr %99, align 4, !tbaa !24
  %117 = load i32, ptr %gep414, align 4, !tbaa !24
  %.neg355 = add i32 %115, %105
  %118 = sub i32 %.neg355, %116
  %119 = add i32 %118, %117
  %120 = call i32 @llvm.abs.i32(i32 %119, i1 true)
  %121 = icmp slt i32 %114, %.0338394
  br i1 %121, label %131, label %122

122:                                              ; preds = %111
  %123 = icmp eq i32 %114, %.0338394
  %124 = icmp slt i32 %120, %.0329396
  %or.cond = select i1 %123, i1 %124, i1 false
  br i1 %or.cond, label %131, label %125

125:                                              ; preds = %122
  %126 = sub nsw i32 %103, %.0336395
  %127 = icmp sgt i32 %126, %91
  br i1 %127, label %128, label %131

128:                                              ; preds = %125
  %129 = add i32 %115, %114
  %130 = sub i32 %129, %117
  store i32 %130, ptr %48, align 4, !tbaa !24
  br label %.loopexit364

131:                                              ; preds = %111, %122, %125
  %.1339 = phi i32 [ %.0338394, %125 ], [ %.0338394, %122 ], [ %114, %111 ]
  %.1337 = phi i32 [ %.0336395, %125 ], [ %103, %122 ], [ %103, %111 ]
  %.1 = phi i32 [ %.0329396, %125 ], [ %120, %122 ], [ %120, %111 ]
  %132 = add nsw i32 %.0340393, -1
  %133 = sext i32 %132 to i64
  %134 = getelementptr inbounds i32, ptr %15, i64 %133
  %135 = load i32, ptr %134, align 4, !tbaa !24
  %136 = getelementptr inbounds i32, ptr %17, i64 %106
  %137 = load i32, ptr %136, align 4, !tbaa !24
  %138 = sext i32 %137 to i64
  %139 = getelementptr inbounds i32, ptr %15, i64 %138
  store i32 %135, ptr %139, align 4, !tbaa !24
  %140 = load i32, ptr %136, align 4, !tbaa !24
  %141 = sext i32 %135 to i64
  %142 = getelementptr inbounds i32, ptr %17, i64 %141
  store i32 %140, ptr %142, align 4, !tbaa !24
  store i32 -1, ptr %136, align 4, !tbaa !24
  %143 = load i32, ptr %107, align 4, !tbaa !24
  %144 = load i32, ptr %97, align 4, !tbaa !24
  %145 = add nsw i32 %144, %143
  store i32 %145, ptr %97, align 4, !tbaa !24
  %146 = getelementptr inbounds i32, ptr %19, i64 %106
  store i32 %63, ptr %146, align 4, !tbaa !24
  %147 = getelementptr inbounds i32, ptr %26, i64 %indvars.iv462
  store i32 %101, ptr %147, align 4, !tbaa !24
  %148 = getelementptr inbounds i32, ptr %9, i64 %106
  %149 = load i32, ptr %148, align 4, !tbaa !24
  %150 = getelementptr i8, ptr %148, i64 4
  %151 = load i32, ptr %150, align 4, !tbaa !24
  %152 = icmp slt i32 %149, %151
  br i1 %152, label %.lr.ph388.preheader, label %._crit_edge389

.lr.ph388.preheader:                              ; preds = %131
  %153 = sext i32 %149 to i64
  br label %.lr.ph388

.lr.ph388:                                        ; preds = %.lr.ph388.preheader, %214
  %indvars.iv459 = phi i64 [ %153, %.lr.ph388.preheader ], [ %indvars.iv.next460, %214 ]
  %.1341385 = phi i32 [ %132, %.lr.ph388.preheader ], [ %.2342, %214 ]
  %.1346384 = phi i32 [ %.0345391, %.lr.ph388.preheader ], [ %.2347, %214 ]
  %154 = getelementptr inbounds i32, ptr %11, i64 %indvars.iv459
  %155 = load i32, ptr %154, align 4, !tbaa !24
  %156 = sext i32 %155 to i64
  %157 = getelementptr inbounds i32, ptr %19, i64 %156
  %158 = load i32, ptr %157, align 4, !tbaa !24
  %159 = icmp eq i32 %158, 2
  br i1 %159, label %160, label %164

160:                                              ; preds = %.lr.ph388
  %161 = load i32, ptr %107, align 4, !tbaa !24
  %gep383 = getelementptr %struct.nrinfodef, ptr %invariant.gep382, i64 %156
  %162 = load i32, ptr %gep383, align 4, !tbaa !24
  %163 = add nsw i32 %162, %161
  store i32 %163, ptr %gep383, align 4, !tbaa !24
  br label %214

164:                                              ; preds = %.lr.ph388
  %165 = icmp eq i32 %158, %.0334441
  br i1 %165, label %166, label %214

166:                                              ; preds = %164
  %167 = sext i32 %.1341385 to i64
  %168 = getelementptr inbounds i32, ptr %15, i64 %167
  store i32 %155, ptr %168, align 4, !tbaa !24
  %169 = add nsw i32 %.1341385, 1
  %170 = getelementptr inbounds i32, ptr %17, i64 %156
  store i32 %.1341385, ptr %170, align 4, !tbaa !24
  %171 = add nsw i32 %.1346384, 1
  %172 = sext i32 %.1346384 to i64
  %173 = getelementptr inbounds i32, ptr %29, i64 %172
  store i32 %155, ptr %173, align 4, !tbaa !24
  store i32 2, ptr %157, align 4, !tbaa !24
  %174 = getelementptr inbounds i32, ptr %13, i64 %156
  %175 = load i32, ptr %174, align 4, !tbaa !24
  %176 = load i32, ptr %99, align 4, !tbaa !24
  %177 = sub nsw i32 %176, %175
  store i32 %177, ptr %99, align 4, !tbaa !24
  %178 = getelementptr inbounds %struct.nrinfodef, ptr %23, i64 %156
  %179 = getelementptr inbounds i8, ptr %178, i64 4
  store i32 0, ptr %179, align 4, !tbaa !24
  store i32 0, ptr %178, align 4, !tbaa !24
  %180 = getelementptr inbounds i32, ptr %9, i64 %156
  %181 = load i32, ptr %180, align 4, !tbaa !24
  %182 = getelementptr i8, ptr %180, i64 4
  %183 = load i32, ptr %182, align 4, !tbaa !24
  %184 = icmp slt i32 %181, %183
  br i1 %184, label %.lr.ph380.preheader, label %._crit_edge381

.lr.ph380.preheader:                              ; preds = %166
  %185 = sext i32 %181 to i64
  br label %.lr.ph380

.lr.ph380:                                        ; preds = %.lr.ph380.preheader, %205
  %indvars.iv456 = phi i64 [ %185, %.lr.ph380.preheader ], [ %indvars.iv.next457, %205 ]
  %186 = getelementptr inbounds i32, ptr %11, i64 %indvars.iv456
  %187 = load i32, ptr %186, align 4, !tbaa !24
  %188 = sext i32 %187 to i64
  %189 = getelementptr inbounds i32, ptr %19, i64 %188
  %190 = load i32, ptr %189, align 4, !tbaa !24
  %.not357 = icmp eq i32 %190, 2
  %191 = getelementptr inbounds i32, ptr %13, i64 %188
  %192 = load i32, ptr %191, align 4, !tbaa !24
  br i1 %.not357, label %198, label %193

193:                                              ; preds = %.lr.ph380
  %194 = sext i32 %190 to i64
  %195 = getelementptr inbounds i32, ptr %178, i64 %194
  %196 = load i32, ptr %195, align 4, !tbaa !24
  %197 = add nsw i32 %196, %192
  store i32 %197, ptr %195, align 4, !tbaa !24
  br label %205

198:                                              ; preds = %.lr.ph380
  %gep377 = getelementptr %struct.nrinfodef, ptr %invariant.gep413, i64 %188
  %199 = load i32, ptr %gep377, align 4, !tbaa !24
  %200 = sub nsw i32 %192, %199
  %201 = load i32, ptr %174, align 4, !tbaa !24
  %202 = sub nsw i32 %199, %201
  store i32 %202, ptr %gep377, align 4, !tbaa !24
  %203 = load i32, ptr %174, align 4, !tbaa !24
  %204 = add nsw i32 %203, %200
  call void @__PQueueUpdateUp(ptr noundef nonnull %5, i32 noundef %187, i32 noundef %200, i32 noundef %204) #5
  br label %205

205:                                              ; preds = %193, %198
  %indvars.iv.next457 = add nsw i64 %indvars.iv456, 1
  %206 = load i32, ptr %182, align 4, !tbaa !24
  %207 = sext i32 %206 to i64
  %208 = icmp slt i64 %indvars.iv.next457, %207
  br i1 %208, label %.lr.ph380, label %._crit_edge381, !llvm.loop !30

._crit_edge381:                                   ; preds = %205, %166
  %209 = load i32, ptr %174, align 4, !tbaa !24
  %210 = getelementptr inbounds i32, ptr %178, i64 %98
  %211 = load i32, ptr %210, align 4, !tbaa !24
  %212 = sub nsw i32 %209, %211
  %213 = call i32 @__PQueueInsert(ptr noundef nonnull %5, i32 noundef %155, i32 noundef %212) #5
  br label %214

214:                                              ; preds = %160, %._crit_edge381, %164
  %.2347 = phi i32 [ %.1346384, %160 ], [ %171, %._crit_edge381 ], [ %.1346384, %164 ]
  %.2342 = phi i32 [ %.1341385, %160 ], [ %169, %._crit_edge381 ], [ %.1341385, %164 ]
  %indvars.iv.next460 = add nsw i64 %indvars.iv459, 1
  %215 = load i32, ptr %150, align 4, !tbaa !24
  %216 = sext i32 %215 to i64
  %217 = icmp slt i64 %indvars.iv.next460, %216
  br i1 %217, label %.lr.ph388, label %._crit_edge389, !llvm.loop !31

._crit_edge389:                                   ; preds = %214, %131
  %.1346.lcssa = phi i32 [ %.0345391, %131 ], [ %.2347, %214 ]
  %.1341.lcssa = phi i32 [ %132, %131 ], [ %.2342, %214 ]
  %indvars.iv.next463 = add nuw nsw i64 %indvars.iv462, 1
  %218 = getelementptr inbounds i32, ptr %27, i64 %indvars.iv.next463
  store i32 %.1346.lcssa, ptr %218, align 4, !tbaa !24
  %219 = load i32, ptr %30, align 4, !tbaa !19
  %220 = and i32 %219, 32
  %.not356 = icmp eq i32 %220, 0
  br i1 %.not356, label %229, label %221

221:                                              ; preds = %._crit_edge389
  %222 = load i32, ptr %107, align 4, !tbaa !24
  %223 = load i32, ptr %gep414, align 4, !tbaa !24
  %224 = sub nsw i32 %222, %223
  %225 = load i32, ptr %21, align 4, !tbaa !24
  %226 = load i32, ptr %45, align 4, !tbaa !24
  %227 = load i32, ptr %48, align 4, !tbaa !24
  %228 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.4, i32 noundef %101, i32 noundef %63, i32 noundef %224, i32 noundef %222, i32 noundef %225, i32 noundef %226, i32 noundef %227, i32 noundef %103, i32 noundef %91)
  br label %229

229:                                              ; preds = %._crit_edge389, %221
  %exitcond466.not = icmp eq i64 %indvars.iv.next463, %wide.trip.count465
  br i1 %exitcond466.not, label %.loopexit364, label %100, !llvm.loop !32

.loopexit364:                                     ; preds = %229, %100, %104, %90, %128
  %.0343372 = phi i32 [ %103, %128 ], [ 0, %90 ], [ %7, %229 ], [ %103, %100 ], [ %103, %104 ]
  %.0340370 = phi i32 [ %.0340393, %128 ], [ %65, %90 ], [ %.1341.lcssa, %229 ], [ %.0340393, %100 ], [ %.0340393, %104 ]
  %.0338368 = phi i32 [ %.0338394, %128 ], [ %64, %90 ], [ %.1339, %229 ], [ %.0338394, %100 ], [ %.0338394, %104 ]
  %.0336366 = phi i32 [ %.0336395, %128 ], [ -1, %90 ], [ %.1337, %229 ], [ %.0336395, %100 ], [ %.0336395, %104 ]
  %.1344432 = add nsw i32 %.0343372, -1
  %230 = icmp sgt i32 %.1344432, %.0336366
  br i1 %230, label %.lr.ph437, label %._crit_edge438

.lr.ph437:                                        ; preds = %.loopexit364
  %231 = zext nneg i32 %63 to i64
  %232 = getelementptr inbounds i32, ptr %21, i64 %231
  %invariant.gep415 = getelementptr [2 x i32], ptr %23, i64 0, i64 %231
  %233 = zext nneg i32 %.0334441 to i64
  %234 = getelementptr inbounds i32, ptr %21, i64 %233
  %invariant.gep421 = getelementptr [2 x i32], ptr %23, i64 0, i64 %233
  %235 = sext i32 %.0343372 to i64
  %236 = add nsw i64 %235, -1
  %237 = sext i32 %.0336366 to i64
  br label %240

.loopexit.loopexit:                               ; preds = %._crit_edge426
  %238 = trunc nsw i64 %indvars.iv.next476 to i32
  br label %.loopexit

.loopexit:                                        ; preds = %.loopexit.loopexit, %._crit_edge420
  %.4.lcssa = phi i32 [ %254, %._crit_edge420 ], [ %238, %.loopexit.loopexit ]
  %indvars.iv.next481 = add nsw i64 %indvars.iv480, -1
  %239 = icmp sgt i64 %indvars.iv.next481, %237
  %indvars.iv.next483 = add nsw i64 %indvars.iv482, -1
  br i1 %239, label %240, label %._crit_edge438, !llvm.loop !33

240:                                              ; preds = %.lr.ph437, %.loopexit
  %indvars.iv482 = phi i64 [ %235, %.lr.ph437 ], [ %indvars.iv.next483, %.loopexit ]
  %indvars.iv480 = phi i64 [ %236, %.lr.ph437 ], [ %indvars.iv.next481, %.loopexit ]
  %.3434 = phi i32 [ %.0340370, %.lr.ph437 ], [ %.4.lcssa, %.loopexit ]
  %241 = getelementptr inbounds i32, ptr %26, i64 %indvars.iv480
  %242 = load i32, ptr %241, align 4, !tbaa !24
  %243 = sext i32 %242 to i64
  %244 = getelementptr inbounds i32, ptr %13, i64 %243
  %245 = load i32, ptr %244, align 4, !tbaa !24
  %246 = load i32, ptr %48, align 4, !tbaa !24
  %247 = add nsw i32 %246, %245
  store i32 %247, ptr %48, align 4, !tbaa !24
  %248 = load i32, ptr %244, align 4, !tbaa !24
  %249 = load i32, ptr %232, align 4, !tbaa !24
  %250 = sub nsw i32 %249, %248
  store i32 %250, ptr %232, align 4, !tbaa !24
  %251 = getelementptr inbounds i32, ptr %19, i64 %243
  store i32 2, ptr %251, align 4, !tbaa !24
  %252 = sext i32 %.3434 to i64
  %253 = getelementptr inbounds i32, ptr %15, i64 %252
  store i32 %242, ptr %253, align 4, !tbaa !24
  %254 = add i32 %.3434, 1
  %255 = getelementptr inbounds i32, ptr %17, i64 %243
  store i32 %.3434, ptr %255, align 4, !tbaa !24
  %256 = getelementptr inbounds %struct.nrinfodef, ptr %23, i64 %243
  %257 = getelementptr inbounds i8, ptr %256, i64 4
  store i32 0, ptr %257, align 4, !tbaa !24
  store i32 0, ptr %256, align 4, !tbaa !24
  %258 = getelementptr inbounds i32, ptr %9, i64 %243
  %259 = load i32, ptr %258, align 4, !tbaa !24
  %260 = getelementptr i8, ptr %258, i64 4
  %261 = load i32, ptr %260, align 4, !tbaa !24
  %262 = icmp slt i32 %259, %261
  br i1 %262, label %.lr.ph419.preheader, label %._crit_edge420

.lr.ph419.preheader:                              ; preds = %240
  %263 = sext i32 %259 to i64
  br label %.lr.ph419

.lr.ph419:                                        ; preds = %.lr.ph419.preheader, %281
  %indvars.iv467 = phi i64 [ %263, %.lr.ph419.preheader ], [ %indvars.iv.next468, %281 ]
  %264 = getelementptr inbounds i32, ptr %11, i64 %indvars.iv467
  %265 = load i32, ptr %264, align 4, !tbaa !24
  %266 = sext i32 %265 to i64
  %267 = getelementptr inbounds i32, ptr %19, i64 %266
  %268 = load i32, ptr %267, align 4, !tbaa !24
  %269 = icmp eq i32 %268, 2
  br i1 %269, label %270, label %274

270:                                              ; preds = %.lr.ph419
  %271 = load i32, ptr %244, align 4, !tbaa !24
  %gep416 = getelementptr %struct.nrinfodef, ptr %invariant.gep415, i64 %266
  %272 = load i32, ptr %gep416, align 4, !tbaa !24
  %273 = sub nsw i32 %272, %271
  store i32 %273, ptr %gep416, align 4, !tbaa !24
  br label %281

274:                                              ; preds = %.lr.ph419
  %275 = getelementptr inbounds i32, ptr %13, i64 %266
  %276 = load i32, ptr %275, align 4, !tbaa !24
  %277 = sext i32 %268 to i64
  %278 = getelementptr inbounds i32, ptr %256, i64 %277
  %279 = load i32, ptr %278, align 4, !tbaa !24
  %280 = add nsw i32 %279, %276
  store i32 %280, ptr %278, align 4, !tbaa !24
  br label %281

281:                                              ; preds = %270, %274
  %indvars.iv.next468 = add nsw i64 %indvars.iv467, 1
  %282 = load i32, ptr %260, align 4, !tbaa !24
  %283 = sext i32 %282 to i64
  %284 = icmp slt i64 %indvars.iv.next468, %283
  br i1 %284, label %.lr.ph419, label %._crit_edge420, !llvm.loop !34

._crit_edge420:                                   ; preds = %281, %240
  %285 = getelementptr inbounds i32, ptr %27, i64 %indvars.iv480
  %286 = load i32, ptr %285, align 4, !tbaa !24
  %287 = getelementptr inbounds i32, ptr %27, i64 %indvars.iv482
  %288 = load i32, ptr %287, align 4, !tbaa !24
  %289 = icmp slt i32 %286, %288
  br i1 %289, label %.lr.ph430.preheader, label %.loopexit

.lr.ph430.preheader:                              ; preds = %._crit_edge420
  %290 = sext i32 %286 to i64
  %291 = sext i32 %254 to i64
  br label %.lr.ph430

.lr.ph430:                                        ; preds = %.lr.ph430.preheader, %._crit_edge426
  %indvars.iv475 = phi i64 [ %291, %.lr.ph430.preheader ], [ %indvars.iv.next476, %._crit_edge426 ]
  %indvars.iv473 = phi i64 [ %290, %.lr.ph430.preheader ], [ %indvars.iv.next474, %._crit_edge426 ]
  %292 = getelementptr inbounds i32, ptr %29, i64 %indvars.iv473
  %293 = load i32, ptr %292, align 4, !tbaa !24
  %294 = sext i32 %293 to i64
  %295 = getelementptr inbounds i32, ptr %19, i64 %294
  store i32 %.0334441, ptr %295, align 4, !tbaa !24
  %296 = getelementptr inbounds i32, ptr %13, i64 %294
  %297 = load i32, ptr %296, align 4, !tbaa !24
  %298 = load i32, ptr %234, align 4, !tbaa !24
  %299 = add nsw i32 %298, %297
  store i32 %299, ptr %234, align 4, !tbaa !24
  %300 = load i32, ptr %296, align 4, !tbaa !24
  %301 = load i32, ptr %48, align 4, !tbaa !24
  %302 = sub nsw i32 %301, %300
  store i32 %302, ptr %48, align 4, !tbaa !24
  %indvars.iv.next476 = add nsw i64 %indvars.iv475, -1
  %303 = getelementptr inbounds i32, ptr %15, i64 %indvars.iv.next476
  %304 = load i32, ptr %303, align 4, !tbaa !24
  %305 = getelementptr inbounds i32, ptr %17, i64 %294
  %306 = load i32, ptr %305, align 4, !tbaa !24
  %307 = sext i32 %306 to i64
  %308 = getelementptr inbounds i32, ptr %15, i64 %307
  store i32 %304, ptr %308, align 4, !tbaa !24
  %309 = load i32, ptr %305, align 4, !tbaa !24
  %310 = sext i32 %304 to i64
  %311 = getelementptr inbounds i32, ptr %17, i64 %310
  store i32 %309, ptr %311, align 4, !tbaa !24
  store i32 -1, ptr %305, align 4, !tbaa !24
  %312 = getelementptr inbounds i32, ptr %9, i64 %294
  %313 = load i32, ptr %312, align 4, !tbaa !24
  %314 = getelementptr i8, ptr %312, i64 4
  %315 = load i32, ptr %314, align 4, !tbaa !24
  %316 = icmp slt i32 %313, %315
  br i1 %316, label %.lr.ph425.preheader, label %._crit_edge426

.lr.ph425.preheader:                              ; preds = %.lr.ph430
  %317 = sext i32 %313 to i64
  br label %.lr.ph425

.lr.ph425:                                        ; preds = %.lr.ph425.preheader, %329
  %318 = phi i32 [ %315, %.lr.ph425.preheader ], [ %330, %329 ]
  %indvars.iv470 = phi i64 [ %317, %.lr.ph425.preheader ], [ %indvars.iv.next471, %329 ]
  %319 = getelementptr inbounds i32, ptr %11, i64 %indvars.iv470
  %320 = load i32, ptr %319, align 4, !tbaa !24
  %321 = sext i32 %320 to i64
  %322 = getelementptr inbounds i32, ptr %19, i64 %321
  %323 = load i32, ptr %322, align 4, !tbaa !24
  %324 = icmp eq i32 %323, 2
  br i1 %324, label %325, label %329

325:                                              ; preds = %.lr.ph425
  %326 = load i32, ptr %296, align 4, !tbaa !24
  %gep422 = getelementptr %struct.nrinfodef, ptr %invariant.gep421, i64 %321
  %327 = load i32, ptr %gep422, align 4, !tbaa !24
  %328 = add nsw i32 %327, %326
  store i32 %328, ptr %gep422, align 4, !tbaa !24
  %.pre = load i32, ptr %314, align 4, !tbaa !24
  br label %329

329:                                              ; preds = %.lr.ph425, %325
  %330 = phi i32 [ %318, %.lr.ph425 ], [ %.pre, %325 ]
  %indvars.iv.next471 = add nsw i64 %indvars.iv470, 1
  %331 = sext i32 %330 to i64
  %332 = icmp slt i64 %indvars.iv.next471, %331
  br i1 %332, label %.lr.ph425, label %._crit_edge426, !llvm.loop !35

._crit_edge426:                                   ; preds = %329, %.lr.ph430
  %indvars.iv.next474 = add nsw i64 %indvars.iv473, 1
  %333 = load i32, ptr %287, align 4, !tbaa !24
  %334 = sext i32 %333 to i64
  %335 = icmp slt i64 %indvars.iv.next474, %334
  br i1 %335, label %.lr.ph430, label %.loopexit.loopexit, !llvm.loop !36

._crit_edge438:                                   ; preds = %.loopexit, %.loopexit364
  %.3.lcssa = phi i32 [ %.0340370, %.loopexit364 ], [ %.4.lcssa, %.loopexit ]
  %336 = load i32, ptr %30, align 4, !tbaa !19
  %337 = and i32 %336, 8
  %.not358 = icmp eq i32 %337, 0
  br i1 %.not358, label %342, label %338

338:                                              ; preds = %._crit_edge438
  %339 = load i32, ptr %21, align 4, !tbaa !24
  %340 = load i32, ptr %45, align 4, !tbaa !24
  %341 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.2, i32 noundef %.0338368, i32 noundef %.0336366, i32 noundef %339, i32 noundef %340, i32 noundef %.3.lcssa)
  br label %342

342:                                              ; preds = %338, %._crit_edge438
  store i32 %.0338368, ptr %58, align 8, !tbaa !26
  store i32 %.3.lcssa, ptr %59, align 8, !tbaa !25
  %343 = and i32 %.0335440, 1
  %.not359 = icmp eq i32 %343, 0
  br i1 %.not359, label %348, label %344

344:                                              ; preds = %342
  %345 = icmp ne i32 %.0336366, -1
  %.not360 = icmp slt i32 %.0338368, %64
  %or.cond361 = select i1 %345, i1 %.not360, i1 false
  %346 = add nuw nsw i32 %.0335440, 1
  %347 = icmp slt i32 %346, %3
  %or.cond447 = select i1 %or.cond361, i1 %347, i1 false
  br i1 %or.cond447, label %.backedge.backedge, label %._crit_edge444

348:                                              ; preds = %342
  %.old = or disjoint i32 %.0335440, 1
  %.old446 = icmp slt i32 %.old, %3
  br i1 %.old446, label %.backedge.backedge, label %._crit_edge444

.backedge.backedge:                               ; preds = %348, %344
  %.0335440.be = phi i32 [ %.old, %348 ], [ %346, %344 ]
  br label %.backedge, !llvm.loop !37

._crit_edge444:                                   ; preds = %348, %344, %43
  call void @__PQueueFree(ptr noundef nonnull %0, ptr noundef nonnull %5) #5
  call void @__idxwspacefree(ptr noundef nonnull %0, i32 noundef %28) #5
  call void @__idxwspacefree(ptr noundef nonnull %0, i32 noundef %7) #5
  call void @__idxwspacefree(ptr noundef nonnull %0, i32 noundef %7) #5
  call void @__idxwspacefree(ptr noundef nonnull %0, i32 noundef %7) #5
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %5) #5
  ret void
}

declare void @__PQueueUpdateUp(ptr noundef, i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !10, i64 16}
!6 = !{!"graphdef", !7, i64 0, !7, i64 8, !10, i64 16, !10, i64 20, !7, i64 24, !7, i64 32, !7, i64 40, !7, i64 48, !7, i64 56, !7, i64 64, !7, i64 72, !7, i64 80, !10, i64 88, !10, i64 92, !7, i64 96, !7, i64 104, !10, i64 112, !7, i64 120, !7, i64 128, !7, i64 136, !7, i64 144, !7, i64 152, !7, i64 160, !7, i64 168, !10, i64 176, !7, i64 184, !7, i64 192, !7, i64 200, !7, i64 208}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"int", !8, i64 0}
!11 = !{!6, !7, i64 24}
!12 = !{!6, !7, i64 48}
!13 = !{!6, !7, i64 32}
!14 = !{!6, !7, i64 128}
!15 = !{!6, !7, i64 120}
!16 = !{!6, !7, i64 96}
!17 = !{!6, !7, i64 104}
!18 = !{!6, !7, i64 168}
!19 = !{!20, !10, i64 4}
!20 = !{!"controldef", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !10, i64 20, !21, i64 24, !10, i64 28, !10, i64 32, !10, i64 36, !10, i64 40, !22, i64 48, !23, i64 104, !23, i64 112, !23, i64 120, !23, i64 128, !23, i64 136, !23, i64 144, !23, i64 152, !23, i64 160, !23, i64 168, !23, i64 176, !23, i64 184, !23, i64 192, !23, i64 200, !23, i64 208, !23, i64 216, !23, i64 224}
!21 = !{!"float", !8, i64 0}
!22 = !{!"workspacedef", !7, i64 0, !10, i64 8, !10, i64 12, !7, i64 16, !7, i64 24, !10, i64 32, !7, i64 40, !7, i64 48}
!23 = !{!"double", !8, i64 0}
!24 = !{!10, !10, i64 0}
!25 = !{!6, !10, i64 112}
!26 = !{!6, !10, i64 88}
!27 = distinct !{!27, !28}
!28 = !{!"llvm.loop.mustprogress"}
!29 = !{!20, !10, i64 40}
!30 = distinct !{!30, !28}
!31 = distinct !{!31, !28}
!32 = distinct !{!32, !28}
!33 = distinct !{!33, !28}
!34 = distinct !{!34, !28}
!35 = distinct !{!35, !28}
!36 = distinct !{!36, !28}
!37 = distinct !{!37, !28}


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