; LLVM IR from kalininalab/rinminer :: rinminer (rinminer)

; 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.dfs_code_t = type { i16, i16, i32, i32, %struct.edge_label_t, i32 }
%struct.edge_label_t = type { i32, i32 }
%struct.subgraph_t = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i16, i32, ptr }
%struct.db_mapping_t = type { ptr, i32, i16, i32 }
%struct.database_t = type { ptr, i32, i32, i32 }
%struct.database_entry_t = type { ptr, ptr, ptr, i32, i32, i32, i32 }
%struct.mapping_t = type { ptr, ptr, i32, %struct.mapping_info_t }
%struct.mapping_info_t = type { i32, float }
%struct.neighbor_t = type { i16, %struct.edge_label_t, i32 }

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

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

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @map(ptr noundef, ptr noundef, i16 noundef zeroext) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i16 @reverse_map(ptr noundef, ptr noundef, i16 noundef zeroext) #2

; Function Attrs: nounwind uwtable
define dso_local void @rightmost_path_extensions(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3) #1 {
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca ptr, align 8
  %12 = alloca i32, align 4
  %13 = alloca ptr, align 8
  %14 = alloca %struct.dfs_code_t, align 4
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca i16, align 2
  %18 = alloca ptr, align 8
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca ptr, align 8
  %22 = alloca i16, align 2
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca i32, align 4
  %26 = alloca i16, align 2
  %27 = alloca i16, align 2
  %28 = alloca ptr, align 8
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca ptr, align 8
  %32 = alloca i16, align 2
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store ptr %2, ptr %7, align 8, !tbaa !5
  store ptr %3, ptr %8, align 8, !tbaa !5
  %33 = load ptr, ptr %7, align 8, !tbaa !5
  %34 = load ptr, ptr %8, align 8, !tbaa !5
  %35 = getelementptr inbounds %struct.subgraph_t, ptr %34, i32 0, i32 12
  %36 = load i32, ptr %35, align 8, !tbaa !9
  %37 = load ptr, ptr %8, align 8, !tbaa !5
  %38 = getelementptr inbounds %struct.subgraph_t, ptr %37, i32 0, i32 13
  %39 = load i32, ptr %38, align 4, !tbaa !13
  call void @prepare_extension_store(ptr noundef %33, i32 noundef %36, i32 noundef %39)
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #4
  store i32 0, ptr %9, align 4, !tbaa !14
  br label %40

40:                                               ; preds = %333, %4
  %41 = load i32, ptr %9, align 4, !tbaa !14
  %42 = load ptr, ptr %8, align 8, !tbaa !5
  %43 = getelementptr inbounds %struct.subgraph_t, ptr %42, i32 0, i32 10
  %44 = load i32, ptr %43, align 8, !tbaa !15
  %45 = icmp ult i32 %41, %44
  br i1 %45, label %47, label %46

46:                                               ; preds = %40
  store i32 2, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #4
  br label %336

47:                                               ; preds = %40
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #4
  %48 = load ptr, ptr %8, align 8, !tbaa !5
  %49 = getelementptr inbounds %struct.subgraph_t, ptr %48, i32 0, i32 3
  %50 = load ptr, ptr %49, align 8, !tbaa !16
  %51 = load i32, ptr %9, align 4, !tbaa !14
  %52 = zext i32 %51 to i64
  %53 = getelementptr inbounds %struct.db_mapping_t, ptr %50, i64 %52
  store ptr %53, ptr %11, align 8, !tbaa !5
  %54 = load ptr, ptr %11, align 8, !tbaa !5
  %55 = getelementptr inbounds %struct.db_mapping_t, ptr %54, i32 0, i32 3
  %56 = load i32, ptr %55, align 8, !tbaa !17
  %57 = icmp ne i32 %56, 0
  br i1 %57, label %59, label %58

58:                                               ; preds = %47
  store i32 4, ptr %10, align 4
  br label %330

59:                                               ; preds = %47
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #4
  %60 = load ptr, ptr %11, align 8, !tbaa !5
  %61 = getelementptr inbounds %struct.db_mapping_t, ptr %60, i32 0, i32 1
  %62 = load i32, ptr %61, align 8, !tbaa !19
  store i32 %62, ptr %12, align 4, !tbaa !14
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #4
  %63 = load ptr, ptr %6, align 8, !tbaa !5
  %64 = getelementptr inbounds %struct.database_t, ptr %63, i32 0, i32 0
  %65 = load ptr, ptr %64, align 8, !tbaa !20
  %66 = load i32, ptr %12, align 4, !tbaa !14
  %67 = zext i32 %66 to i64
  %68 = getelementptr inbounds %struct.database_entry_t, ptr %65, i64 %67
  store ptr %68, ptr %13, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 24, ptr %14) #4
  %69 = load ptr, ptr %8, align 8, !tbaa !5
  %70 = getelementptr inbounds %struct.subgraph_t, ptr %69, i32 0, i32 18
  %71 = load i16, ptr %70, align 8, !tbaa !22
  %72 = getelementptr inbounds %struct.dfs_code_t, ptr %14, i32 0, i32 0
  store i16 %71, ptr %72, align 4, !tbaa !23
  %73 = load ptr, ptr %8, align 8, !tbaa !5
  %74 = getelementptr inbounds %struct.subgraph_t, ptr %73, i32 0, i32 1
  %75 = load ptr, ptr %74, align 8, !tbaa !26
  %76 = load ptr, ptr %8, align 8, !tbaa !5
  %77 = getelementptr inbounds %struct.subgraph_t, ptr %76, i32 0, i32 18
  %78 = load i16, ptr %77, align 8, !tbaa !22
  %79 = zext i16 %78 to i64
  %80 = getelementptr inbounds i32, ptr %75, i64 %79
  %81 = load i32, ptr %80, align 4, !tbaa !14
  %82 = getelementptr inbounds %struct.dfs_code_t, ptr %14, i32 0, i32 2
  store i32 %81, ptr %82, align 4, !tbaa !27
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #4
  %83 = load ptr, ptr %11, align 8, !tbaa !5
  %84 = getelementptr inbounds %struct.db_mapping_t, ptr %83, i32 0, i32 0
  %85 = load ptr, ptr %84, align 8, !tbaa !28
  store ptr %85, ptr %15, align 8, !tbaa !5
  br label %86

86:                                               ; preds = %199, %59
  %87 = load ptr, ptr %15, align 8, !tbaa !5
  %88 = icmp ne ptr %87, null
  br i1 %88, label %90, label %89

89:                                               ; preds = %86
  store i32 5, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #4
  br label %203

90:                                               ; preds = %86
  %91 = load ptr, ptr %15, align 8, !tbaa !5
  %92 = getelementptr inbounds %struct.mapping_t, ptr %91, i32 0, i32 2
  %93 = load i32, ptr %92, align 8, !tbaa !29
  %94 = icmp ne i32 %93, 0
  br i1 %94, label %96, label %95

95:                                               ; preds = %90
  br label %199

96:                                               ; preds = %90
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #4
  %97 = load ptr, ptr %15, align 8, !tbaa !5
  %98 = getelementptr inbounds %struct.mapping_t, ptr %97, i32 0, i32 1
  %99 = load ptr, ptr %98, align 8, !tbaa !33
  store ptr %99, ptr %16, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 2, ptr %17) #4
  %100 = load ptr, ptr %11, align 8, !tbaa !5
  %101 = load ptr, ptr %16, align 8, !tbaa !5
  %102 = load ptr, ptr %8, align 8, !tbaa !5
  %103 = getelementptr inbounds %struct.subgraph_t, ptr %102, i32 0, i32 18
  %104 = load i16, ptr %103, align 8, !tbaa !22
  %105 = call i32 @map(ptr noundef %100, ptr noundef %101, i16 noundef zeroext %104)
  %106 = trunc i32 %105 to i16
  store i16 %106, ptr %17, align 2, !tbaa !34
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #4
  %107 = load ptr, ptr %13, align 8, !tbaa !5
  %108 = getelementptr inbounds %struct.database_entry_t, ptr %107, i32 0, i32 2
  %109 = load ptr, ptr %108, align 8, !tbaa !35
  %110 = load i16, ptr %17, align 2, !tbaa !34
  %111 = zext i16 %110 to i64
  %112 = getelementptr inbounds ptr, ptr %109, i64 %111
  %113 = load ptr, ptr %112, align 8, !tbaa !5
  store ptr %113, ptr %18, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #4
  %114 = load ptr, ptr %13, align 8, !tbaa !5
  %115 = getelementptr inbounds %struct.database_entry_t, ptr %114, i32 0, i32 1
  %116 = load ptr, ptr %115, align 8, !tbaa !37
  %117 = load i16, ptr %17, align 2, !tbaa !34
  %118 = zext i16 %117 to i64
  %119 = getelementptr inbounds i32, ptr %116, i64 %118
  %120 = load i32, ptr %119, align 4, !tbaa !14
  store i32 %120, ptr %19, align 4, !tbaa !14
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #4
  store i32 0, ptr %20, align 4, !tbaa !14
  br label %121

121:                                              ; preds = %195, %96
  %122 = load i32, ptr %20, align 4, !tbaa !14
  %123 = load i32, ptr %19, align 4, !tbaa !14
  %124 = icmp ult i32 %122, %123
  br i1 %124, label %126, label %125

125:                                              ; preds = %121
  store i32 8, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #4
  br label %198

126:                                              ; preds = %121
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #4
  %127 = load ptr, ptr %18, align 8, !tbaa !5
  %128 = load i32, ptr %20, align 4, !tbaa !14
  %129 = zext i32 %128 to i64
  %130 = getelementptr inbounds %struct.neighbor_t, ptr %127, i64 %129
  store ptr %130, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 2, ptr %22) #4
  %131 = load ptr, ptr %11, align 8, !tbaa !5
  %132 = load ptr, ptr %16, align 8, !tbaa !5
  %133 = load ptr, ptr %21, align 8, !tbaa !5
  %134 = getelementptr inbounds %struct.neighbor_t, ptr %133, i32 0, i32 0
  %135 = load i16, ptr %134, align 4, !tbaa !38
  %136 = call zeroext i16 @reverse_map(ptr noundef %131, ptr noundef %132, i16 noundef zeroext %135)
  store i16 %136, ptr %22, align 2, !tbaa !34
  %137 = load i16, ptr %22, align 2, !tbaa !34
  %138 = zext i16 %137 to i32
  %139 = icmp eq i32 %138, 65535
  br i1 %139, label %140, label %141

140:                                              ; preds = %126
  store i32 10, ptr %10, align 4
  br label %192

141:                                              ; preds = %126
  %142 = load ptr, ptr %8, align 8, !tbaa !5
  %143 = getelementptr inbounds %struct.subgraph_t, ptr %142, i32 0, i32 2
  %144 = load ptr, ptr %143, align 8, !tbaa !40
  %145 = load ptr, ptr %8, align 8, !tbaa !5
  %146 = getelementptr inbounds %struct.subgraph_t, ptr %145, i32 0, i32 13
  %147 = load i32, ptr %146, align 4, !tbaa !13
  %148 = load i16, ptr %22, align 2, !tbaa !34
  %149 = call i32 @rightmost_path_search(ptr noundef %144, i32 noundef %147, i16 noundef zeroext %148)
  %150 = icmp eq i32 %149, -1
  br i1 %150, label %151, label %152

151:                                              ; preds = %141
  store i32 10, ptr %10, align 4
  br label %192

152:                                              ; preds = %141
  %153 = load ptr, ptr %8, align 8, !tbaa !5
  %154 = load ptr, ptr %8, align 8, !tbaa !5
  %155 = getelementptr inbounds %struct.subgraph_t, ptr %154, i32 0, i32 18
  %156 = load i16, ptr %155, align 8, !tbaa !22
  %157 = load i16, ptr %22, align 2, !tbaa !34
  %158 = load ptr, ptr %21, align 8, !tbaa !5
  %159 = getelementptr inbounds %struct.neighbor_t, ptr %158, i32 0, i32 1
  %160 = load ptr, ptr %21, align 8, !tbaa !5
  %161 = getelementptr inbounds %struct.neighbor_t, ptr %160, i32 0, i32 2
  %162 = load i32, ptr %161, align 4, !tbaa !41
  %163 = call i32 @contains_edge(ptr noundef %153, i16 noundef zeroext %156, i16 noundef zeroext %157, ptr noundef %159, i32 noundef %162)
  %164 = icmp ne i32 %163, 0
  br i1 %164, label %165, label %166

165:                                              ; preds = %152
  store i32 10, ptr %10, align 4
  br label %192

166:                                              ; preds = %152
  %167 = load i16, ptr %22, align 2, !tbaa !34
  %168 = getelementptr inbounds %struct.dfs_code_t, ptr %14, i32 0, i32 1
  store i16 %167, ptr %168, align 2, !tbaa !42
  %169 = load ptr, ptr %8, align 8, !tbaa !5
  %170 = getelementptr inbounds %struct.subgraph_t, ptr %169, i32 0, i32 1
  %171 = load ptr, ptr %170, align 8, !tbaa !26
  %172 = load i16, ptr %22, align 2, !tbaa !34
  %173 = zext i16 %172 to i64
  %174 = getelementptr inbounds i32, ptr %171, i64 %173
  %175 = load i32, ptr %174, align 4, !tbaa !14
  %176 = getelementptr inbounds %struct.dfs_code_t, ptr %14, i32 0, i32 3
  store i32 %175, ptr %176, align 4, !tbaa !43
  %177 = getelementptr inbounds %struct.dfs_code_t, ptr %14, i32 0, i32 4
  %178 = load ptr, ptr %21, align 8, !tbaa !5
  %179 = getelementptr inbounds %struct.neighbor_t, ptr %178, i32 0, i32 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %177, ptr align 4 %179, i64 8, i1 false), !tbaa.struct !44
  %180 = load ptr, ptr %21, align 8, !tbaa !5
  %181 = getelementptr inbounds %struct.neighbor_t, ptr %180, i32 0, i32 2
  %182 = load i32, ptr %181, align 4, !tbaa !41
  %183 = getelementptr inbounds %struct.dfs_code_t, ptr %14, i32 0, i32 5
  store i32 %182, ptr %183, align 4, !tbaa !45
  %184 = load ptr, ptr %8, align 8, !tbaa !5
  %185 = call i32 @canonicality_pre_check(ptr noundef %184, ptr noundef %14)
  %186 = icmp ne i32 %185, 0
  br i1 %186, label %188, label %187

187:                                              ; preds = %166
  store i32 10, ptr %10, align 4
  br label %192

188:                                              ; preds = %166
  %189 = load ptr, ptr %6, align 8, !tbaa !5
  %190 = load i32, ptr %12, align 4, !tbaa !14
  %191 = load ptr, ptr %7, align 8, !tbaa !5
  call void @update_extensions(ptr noundef %189, i32 noundef %190, ptr noundef %191, ptr noundef %14)
  store i32 0, ptr %10, align 4
  br label %192

192:                                              ; preds = %188, %187, %165, %151, %140
  call void @llvm.lifetime.end.p0(i64 2, ptr %22) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #4
  %193 = load i32, ptr %10, align 4
  switch i32 %193, label %341 [
    i32 0, label %194
    i32 10, label %195
  ]

194:                                              ; preds = %192
  br label %195

195:                                              ; preds = %194, %192
  %196 = load i32, ptr %20, align 4, !tbaa !14
  %197 = add i32 %196, 1
  store i32 %197, ptr %20, align 4, !tbaa !14
  br label %121, !llvm.loop !46

198:                                              ; preds = %125
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #4
  call void @llvm.lifetime.end.p0(i64 2, ptr %17) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #4
  br label %199

199:                                              ; preds = %198, %95
  %200 = load ptr, ptr %15, align 8, !tbaa !5
  %201 = getelementptr inbounds %struct.mapping_t, ptr %200, i32 0, i32 0
  %202 = load ptr, ptr %201, align 8, !tbaa !48
  store ptr %202, ptr %15, align 8, !tbaa !5
  br label %86, !llvm.loop !49

203:                                              ; preds = %89
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #4
  %204 = load ptr, ptr %11, align 8, !tbaa !5
  %205 = getelementptr inbounds %struct.db_mapping_t, ptr %204, i32 0, i32 0
  %206 = load ptr, ptr %205, align 8, !tbaa !28
  store ptr %206, ptr %23, align 8, !tbaa !5
  br label %207

207:                                              ; preds = %325, %203
  %208 = load ptr, ptr %23, align 8, !tbaa !5
  %209 = icmp ne ptr %208, null
  br i1 %209, label %211, label %210

210:                                              ; preds = %207
  store i32 11, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #4
  br label %329

211:                                              ; preds = %207
  %212 = load ptr, ptr %23, align 8, !tbaa !5
  %213 = getelementptr inbounds %struct.mapping_t, ptr %212, i32 0, i32 2
  %214 = load i32, ptr %213, align 8, !tbaa !29
  %215 = icmp ne i32 %214, 0
  br i1 %215, label %217, label %216

216:                                              ; preds = %211
  br label %325

217:                                              ; preds = %211
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #4
  %218 = load ptr, ptr %23, align 8, !tbaa !5
  %219 = getelementptr inbounds %struct.mapping_t, ptr %218, i32 0, i32 1
  %220 = load ptr, ptr %219, align 8, !tbaa !33
  store ptr %220, ptr %24, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #4
  %221 = load ptr, ptr %8, align 8, !tbaa !5
  %222 = getelementptr inbounds %struct.subgraph_t, ptr %221, i32 0, i32 13
  %223 = load i32, ptr %222, align 4, !tbaa !13
  store i32 %223, ptr %25, align 4, !tbaa !14
  br label %224

224:                                              ; preds = %323, %217
  %225 = load i32, ptr %25, align 4, !tbaa !14
  %226 = add i32 %225, -1
  store i32 %226, ptr %25, align 4, !tbaa !14
  %227 = icmp ugt i32 %225, 0
  br i1 %227, label %229, label %228

228:                                              ; preds = %224
  store i32 14, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #4
  br label %324

229:                                              ; preds = %224
  call void @llvm.lifetime.start.p0(i64 2, ptr %26) #4
  %230 = load ptr, ptr %8, align 8, !tbaa !5
  %231 = getelementptr inbounds %struct.subgraph_t, ptr %230, i32 0, i32 2
  %232 = load ptr, ptr %231, align 8, !tbaa !40
  %233 = load i32, ptr %25, align 4, !tbaa !14
  %234 = zext i32 %233 to i64
  %235 = getelementptr inbounds i16, ptr %232, i64 %234
  %236 = load i16, ptr %235, align 2, !tbaa !34
  store i16 %236, ptr %26, align 2, !tbaa !34
  call void @llvm.lifetime.start.p0(i64 2, ptr %27) #4
  %237 = load ptr, ptr %11, align 8, !tbaa !5
  %238 = load ptr, ptr %24, align 8, !tbaa !5
  %239 = load i16, ptr %26, align 2, !tbaa !34
  %240 = call i32 @map(ptr noundef %237, ptr noundef %238, i16 noundef zeroext %239)
  %241 = trunc i32 %240 to i16
  store i16 %241, ptr %27, align 2, !tbaa !34
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #4
  %242 = load ptr, ptr %13, align 8, !tbaa !5
  %243 = getelementptr inbounds %struct.database_entry_t, ptr %242, i32 0, i32 2
  %244 = load ptr, ptr %243, align 8, !tbaa !35
  %245 = load i16, ptr %27, align 2, !tbaa !34
  %246 = zext i16 %245 to i64
  %247 = getelementptr inbounds ptr, ptr %244, i64 %246
  %248 = load ptr, ptr %247, align 8, !tbaa !5
  store ptr %248, ptr %28, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #4
  %249 = load ptr, ptr %13, align 8, !tbaa !5
  %250 = getelementptr inbounds %struct.database_entry_t, ptr %249, i32 0, i32 1
  %251 = load ptr, ptr %250, align 8, !tbaa !37
  %252 = load i16, ptr %27, align 2, !tbaa !34
  %253 = zext i16 %252 to i64
  %254 = getelementptr inbounds i32, ptr %251, i64 %253
  %255 = load i32, ptr %254, align 4, !tbaa !14
  store i32 %255, ptr %29, align 4, !tbaa !14
  %256 = load i16, ptr %26, align 2, !tbaa !34
  %257 = getelementptr inbounds %struct.dfs_code_t, ptr %14, i32 0, i32 0
  store i16 %256, ptr %257, align 4, !tbaa !23
  %258 = load ptr, ptr %8, align 8, !tbaa !5
  %259 = getelementptr inbounds %struct.subgraph_t, ptr %258, i32 0, i32 1
  %260 = load ptr, ptr %259, align 8, !tbaa !26
  %261 = load i16, ptr %26, align 2, !tbaa !34
  %262 = zext i16 %261 to i64
  %263 = getelementptr inbounds i32, ptr %260, i64 %262
  %264 = load i32, ptr %263, align 4, !tbaa !14
  %265 = getelementptr inbounds %struct.dfs_code_t, ptr %14, i32 0, i32 2
  store i32 %264, ptr %265, align 4, !tbaa !27
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #4
  store i32 0, ptr %30, align 4, !tbaa !14
  br label %266

266:                                              ; preds = %320, %229
  %267 = load i32, ptr %30, align 4, !tbaa !14
  %268 = load i32, ptr %29, align 4, !tbaa !14
  %269 = icmp ult i32 %267, %268
  br i1 %269, label %271, label %270

270:                                              ; preds = %266
  store i32 16, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #4
  br label %323

271:                                              ; preds = %266
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #4
  %272 = load ptr, ptr %28, align 8, !tbaa !5
  %273 = load i32, ptr %30, align 4, !tbaa !14
  %274 = zext i32 %273 to i64
  %275 = getelementptr inbounds %struct.neighbor_t, ptr %272, i64 %274
  store ptr %275, ptr %31, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 2, ptr %32) #4
  %276 = load ptr, ptr %31, align 8, !tbaa !5
  %277 = getelementptr inbounds %struct.neighbor_t, ptr %276, i32 0, i32 0
  %278 = load i16, ptr %277, align 4, !tbaa !38
  store i16 %278, ptr %32, align 2, !tbaa !34
  %279 = load ptr, ptr %11, align 8, !tbaa !5
  %280 = load ptr, ptr %24, align 8, !tbaa !5
  %281 = load i16, ptr %32, align 2, !tbaa !34
  %282 = call zeroext i16 @reverse_map(ptr noundef %279, ptr noundef %280, i16 noundef zeroext %281)
  %283 = zext i16 %282 to i32
  %284 = icmp ne i32 %283, 65535
  br i1 %284, label %285, label %286

285:                                              ; preds = %271
  store i32 18, ptr %10, align 4
  br label %317

286:                                              ; preds = %271
  %287 = load ptr, ptr %8, align 8, !tbaa !5
  %288 = getelementptr inbounds %struct.subgraph_t, ptr %287, i32 0, i32 18
  %289 = load i16, ptr %288, align 8, !tbaa !22
  %290 = zext i16 %289 to i32
  %291 = add nsw i32 %290, 1
  %292 = trunc i32 %291 to i16
  %293 = getelementptr inbounds %struct.dfs_code_t, ptr %14, i32 0, i32 1
  store i16 %292, ptr %293, align 2, !tbaa !42
  %294 = load ptr, ptr %13, align 8, !tbaa !5
  %295 = getelementptr inbounds %struct.database_entry_t, ptr %294, i32 0, i32 0
  %296 = load ptr, ptr %295, align 8, !tbaa !50
  %297 = load i16, ptr %32, align 2, !tbaa !34
  %298 = zext i16 %297 to i64
  %299 = getelementptr inbounds i32, ptr %296, i64 %298
  %300 = load i32, ptr %299, align 4, !tbaa !14
  %301 = getelementptr inbounds %struct.dfs_code_t, ptr %14, i32 0, i32 3
  store i32 %300, ptr %301, align 4, !tbaa !43
  %302 = getelementptr inbounds %struct.dfs_code_t, ptr %14, i32 0, i32 4
  %303 = load ptr, ptr %31, align 8, !tbaa !5
  %304 = getelementptr inbounds %struct.neighbor_t, ptr %303, i32 0, i32 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %302, ptr align 4 %304, i64 8, i1 false), !tbaa.struct !44
  %305 = load ptr, ptr %31, align 8, !tbaa !5
  %306 = getelementptr inbounds %struct.neighbor_t, ptr %305, i32 0, i32 2
  %307 = load i32, ptr %306, align 4, !tbaa !41
  %308 = getelementptr inbounds %struct.dfs_code_t, ptr %14, i32 0, i32 5
  store i32 %307, ptr %308, align 4, !tbaa !45
  %309 = load ptr, ptr %8, align 8, !tbaa !5
  %310 = call i32 @canonicality_pre_check(ptr noundef %309, ptr noundef %14)
  %311 = icmp ne i32 %310, 0
  br i1 %311, label %313, label %312

312:                                              ; preds = %286
  store i32 18, ptr %10, align 4
  br label %317

313:                                              ; preds = %286
  %314 = load ptr, ptr %6, align 8, !tbaa !5
  %315 = load i32, ptr %12, align 4, !tbaa !14
  %316 = load ptr, ptr %7, align 8, !tbaa !5
  call void @update_extensions(ptr noundef %314, i32 noundef %315, ptr noundef %316, ptr noundef %14)
  store i32 0, ptr %10, align 4
  br label %317

317:                                              ; preds = %313, %312, %285
  call void @llvm.lifetime.end.p0(i64 2, ptr %32) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #4
  %318 = load i32, ptr %10, align 4
  switch i32 %318, label %341 [
    i32 0, label %319
    i32 18, label %320
  ]

319:                                              ; preds = %317
  br label %320

320:                                              ; preds = %319, %317
  %321 = load i32, ptr %30, align 4, !tbaa !14
  %322 = add i32 %321, 1
  store i32 %322, ptr %30, align 4, !tbaa !14
  br label %266, !llvm.loop !51

323:                                              ; preds = %270
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #4
  call void @llvm.lifetime.end.p0(i64 2, ptr %27) #4
  call void @llvm.lifetime.end.p0(i64 2, ptr %26) #4
  br label %224, !llvm.loop !52

324:                                              ; preds = %228
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #4
  br label %325

325:                                              ; preds = %324, %216
  %326 = load ptr, ptr %23, align 8, !tbaa !5
  %327 = getelementptr inbounds %struct.mapping_t, ptr %326, i32 0, i32 0
  %328 = load ptr, ptr %327, align 8, !tbaa !48
  store ptr %328, ptr %23, align 8, !tbaa !5
  br label %207, !llvm.loop !53

329:                                              ; preds = %210
  call void @llvm.lifetime.end.p0(i64 24, ptr %14) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #4
  store i32 0, ptr %10, align 4
  br label %330

330:                                              ; preds = %329, %58
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #4
  %331 = load i32, ptr %10, align 4
  switch i32 %331, label %341 [
    i32 0, label %332
    i32 4, label %333
  ]

332:                                              ; preds = %330
  br label %333

333:                                              ; preds = %332, %330
  %334 = load i32, ptr %9, align 4, !tbaa !14
  %335 = add i32 %334, 1
  store i32 %335, ptr %9, align 4, !tbaa !14
  br label %40, !llvm.loop !54

336:                                              ; preds = %46
  %337 = load ptr, ptr %5, align 8, !tbaa !5
  %338 = load ptr, ptr %6, align 8, !tbaa !5
  %339 = load ptr, ptr %8, align 8, !tbaa !5
  %340 = load ptr, ptr %7, align 8, !tbaa !5
  call void @count_fuzzy_support(ptr noundef %337, ptr noundef %338, ptr noundef %339, ptr noundef %340)
  ret void

341:                                              ; preds = %330, %317, %192
  unreachable
}

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @prepare_extension_store(ptr noundef, i32 noundef, i32 noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @rightmost_path_search(ptr noundef, i32 noundef, i16 noundef zeroext) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @contains_edge(ptr noundef, i16 noundef zeroext, i16 noundef zeroext, ptr noundef, i32 noundef) #2

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @canonicality_pre_check(ptr noundef, ptr noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @update_extensions(ptr noundef, i32 noundef, ptr noundef, ptr 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 = { inlinehint nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
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, !11, i64 80}
!10 = !{!"subgraph_t", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !11, i64 64, !11, i64 68, !11, i64 72, !11, i64 76, !11, i64 80, !11, i64 84, !11, i64 88, !11, i64 92, !11, i64 96, !11, i64 100, !12, i64 104, !11, i64 108, !6, i64 112}
!11 = !{!"int", !7, i64 0}
!12 = !{!"short", !7, i64 0}
!13 = !{!10, !11, i64 84}
!14 = !{!11, !11, i64 0}
!15 = !{!10, !11, i64 72}
!16 = !{!10, !6, i64 24}
!17 = !{!18, !11, i64 16}
!18 = !{!"db_mapping_t", !6, i64 0, !11, i64 8, !12, i64 12, !11, i64 16}
!19 = !{!18, !11, i64 8}
!20 = !{!21, !6, i64 0}
!21 = !{!"database_t", !6, i64 0, !11, i64 8, !11, i64 12, !11, i64 16}
!22 = !{!10, !12, i64 104}
!23 = !{!24, !12, i64 0}
!24 = !{!"dfs_code_t", !12, i64 0, !12, i64 2, !11, i64 4, !11, i64 8, !25, i64 12, !11, i64 20}
!25 = !{!"edge_label_t", !11, i64 0, !11, i64 4}
!26 = !{!10, !6, i64 8}
!27 = !{!24, !11, i64 4}
!28 = !{!18, !6, i64 0}
!29 = !{!30, !11, i64 16}
!30 = !{!"mapping_t", !6, i64 0, !6, i64 8, !11, i64 16, !31, i64 20}
!31 = !{!"mapping_info_t", !11, i64 0, !32, i64 4}
!32 = !{!"float", !7, i64 0}
!33 = !{!30, !6, i64 8}
!34 = !{!12, !12, i64 0}
!35 = !{!36, !6, i64 16}
!36 = !{!"database_entry_t", !6, i64 0, !6, i64 8, !6, i64 16, !11, i64 24, !11, i64 28, !11, i64 32, !11, i64 36}
!37 = !{!36, !6, i64 8}
!38 = !{!39, !12, i64 0}
!39 = !{!"neighbor_t", !12, i64 0, !25, i64 4, !11, i64 12}
!40 = !{!10, !6, i64 16}
!41 = !{!39, !11, i64 12}
!42 = !{!24, !12, i64 2}
!43 = !{!24, !11, i64 8}
!44 = !{i64 0, i64 4, !14, i64 4, i64 4, !14}
!45 = !{!24, !11, i64 20}
!46 = distinct !{!46, !47}
!47 = !{!"llvm.loop.mustprogress"}
!48 = !{!30, !6, i64 0}
!49 = distinct !{!49, !47}
!50 = !{!36, !6, i64 0}
!51 = distinct !{!51, !47}
!52 = distinct !{!52, !47}
!53 = distinct !{!53, !47}
!54 = distinct !{!54, !47}


; 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.dfs_code_t = type { i16, i16, i32, i32, %struct.edge_label_t, i32 }
%struct.edge_label_t = type { i32, i32 }
%struct.db_mapping_t = type { ptr, i32, i16, i32 }
%struct.database_entry_t = type { ptr, ptr, ptr, i32, i32, i32, i32 }
%struct.neighbor_t = type { i16, %struct.edge_label_t, i32 }

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

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

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @map(ptr noundef, ptr noundef, i16 noundef zeroext) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i16 @reverse_map(ptr noundef, ptr noundef, i16 noundef zeroext) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
define dso_local void @rightmost_path_extensions(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3) local_unnamed_addr #1 {
  %5 = alloca %struct.dfs_code_t, align 4
  %6 = getelementptr inbounds i8, ptr %3, i64 80
  %7 = load i32, ptr %6, align 8, !tbaa !5
  %8 = getelementptr inbounds i8, ptr %3, i64 84
  %9 = load i32, ptr %8, align 4, !tbaa !12
  tail call void @prepare_extension_store(ptr noundef %2, i32 noundef %7, i32 noundef %9)
  %10 = getelementptr inbounds i8, ptr %3, i64 72
  %11 = load i32, ptr %10, align 8, !tbaa !13
  %.not126 = icmp eq i32 %11, 0
  br i1 %.not126, label %._crit_edge125, label %.lr.ph124

.lr.ph124:                                        ; preds = %4
  %12 = getelementptr inbounds i8, ptr %3, i64 24
  %13 = getelementptr inbounds i8, ptr %3, i64 104
  %14 = getelementptr inbounds i8, ptr %3, i64 8
  %15 = getelementptr inbounds i8, ptr %5, i64 4
  %16 = getelementptr inbounds i8, ptr %3, i64 16
  %17 = getelementptr inbounds i8, ptr %5, i64 2
  %18 = getelementptr inbounds i8, ptr %5, i64 8
  %19 = getelementptr inbounds i8, ptr %5, i64 12
  %20 = getelementptr inbounds i8, ptr %5, i64 20
  br label %21

._crit_edge125:                                   ; preds = %125, %4
  call void @count_fuzzy_support(ptr noundef %0, ptr noundef %1, ptr noundef nonnull %3, ptr noundef %2)
  ret void

21:                                               ; preds = %.lr.ph124, %125
  %22 = phi i32 [ %11, %.lr.ph124 ], [ %126, %125 ]
  %indvars.iv138 = phi i64 [ 0, %.lr.ph124 ], [ %indvars.iv.next139, %125 ]
  %23 = load ptr, ptr %12, align 8, !tbaa !14
  %24 = getelementptr inbounds %struct.db_mapping_t, ptr %23, i64 %indvars.iv138
  %25 = getelementptr inbounds i8, ptr %24, i64 16
  %26 = load i32, ptr %25, align 8, !tbaa !15
  %.not = icmp eq i32 %26, 0
  br i1 %.not, label %125, label %27

27:                                               ; preds = %21
  %28 = getelementptr inbounds i8, ptr %24, i64 8
  %29 = load i32, ptr %28, align 8, !tbaa !17
  %30 = load ptr, ptr %1, align 8, !tbaa !18
  %31 = zext i32 %29 to i64
  %32 = getelementptr inbounds %struct.database_entry_t, ptr %30, i64 %31
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %5) #3
  %33 = load i16, ptr %13, align 8, !tbaa !20
  store i16 %33, ptr %5, align 4, !tbaa !21
  %34 = load ptr, ptr %14, align 8, !tbaa !24
  %35 = zext i16 %33 to i64
  %36 = getelementptr inbounds i32, ptr %34, i64 %35
  %37 = load i32, ptr %36, align 4, !tbaa !25
  store i32 %37, ptr %15, align 4, !tbaa !26
  %.094110 = load ptr, ptr %24, align 8, !tbaa !27
  %.not98111 = icmp eq ptr %.094110, null
  br i1 %.not98111, label %._crit_edge, label %.lr.ph113

.lr.ph113:                                        ; preds = %27
  %38 = getelementptr inbounds i8, ptr %32, i64 16
  %39 = getelementptr inbounds i8, ptr %32, i64 8
  br label %42

.preheader:                                       ; preds = %.loopexit108
  %.096118.pre = load ptr, ptr %24, align 8, !tbaa !27
  %.not99119 = icmp eq ptr %.096118.pre, null
  br i1 %.not99119, label %._crit_edge, label %.lr.ph121

.lr.ph121:                                        ; preds = %.preheader
  %40 = getelementptr inbounds i8, ptr %32, i64 16
  %41 = getelementptr inbounds i8, ptr %32, i64 8
  br label %83

42:                                               ; preds = %.lr.ph113, %.loopexit108
  %.094112 = phi ptr [ %.094110, %.lr.ph113 ], [ %.094, %.loopexit108 ]
  %43 = getelementptr inbounds i8, ptr %.094112, i64 16
  %44 = load i32, ptr %43, align 8, !tbaa !28
  %.not104 = icmp eq i32 %44, 0
  br i1 %.not104, label %.loopexit108, label %45

45:                                               ; preds = %42
  %46 = getelementptr inbounds i8, ptr %.094112, i64 8
  %47 = load ptr, ptr %46, align 8, !tbaa !32
  %48 = load i16, ptr %13, align 8, !tbaa !20
  %49 = call i32 @map(ptr noundef nonnull %24, ptr noundef %47, i16 noundef zeroext %48)
  %50 = load ptr, ptr %38, align 8, !tbaa !33
  %51 = and i32 %49, 65535
  %52 = zext nneg i32 %51 to i64
  %53 = getelementptr inbounds ptr, ptr %50, i64 %52
  %54 = load ptr, ptr %53, align 8, !tbaa !27
  %55 = load ptr, ptr %39, align 8, !tbaa !35
  %56 = getelementptr inbounds i32, ptr %55, i64 %52
  %57 = load i32, ptr %56, align 4, !tbaa !25
  %.not127 = icmp eq i32 %57, 0
  br i1 %.not127, label %.loopexit108, label %.lr.ph.preheader

.lr.ph.preheader:                                 ; preds = %45
  %wide.trip.count = zext i32 %57 to i64
  br label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph.preheader, %82
  %indvars.iv = phi i64 [ 0, %.lr.ph.preheader ], [ %indvars.iv.next, %82 ]
  %58 = getelementptr inbounds %struct.neighbor_t, ptr %54, i64 %indvars.iv
  %59 = load i16, ptr %58, align 4, !tbaa !36
  %60 = call zeroext i16 @reverse_map(ptr noundef nonnull %24, ptr noundef %47, i16 noundef zeroext %59)
  %61 = icmp eq i16 %60, -1
  br i1 %61, label %82, label %62

62:                                               ; preds = %.lr.ph
  %63 = load ptr, ptr %16, align 8, !tbaa !38
  %64 = load i32, ptr %8, align 4, !tbaa !12
  %65 = call i32 @rightmost_path_search(ptr noundef %63, i32 noundef %64, i16 noundef zeroext %60)
  %66 = icmp eq i32 %65, -1
  br i1 %66, label %82, label %67

67:                                               ; preds = %62
  %68 = load i16, ptr %13, align 8, !tbaa !20
  %69 = getelementptr inbounds i8, ptr %58, i64 4
  %70 = getelementptr inbounds i8, ptr %58, i64 12
  %71 = load i32, ptr %70, align 4, !tbaa !39
  %72 = call i32 @contains_edge(ptr noundef nonnull %3, i16 noundef zeroext %68, i16 noundef zeroext %60, ptr noundef nonnull %69, i32 noundef %71)
  %.not105 = icmp eq i32 %72, 0
  br i1 %.not105, label %73, label %82

73:                                               ; preds = %67
  store i16 %60, ptr %17, align 2, !tbaa !40
  %74 = load ptr, ptr %14, align 8, !tbaa !24
  %75 = zext i16 %60 to i64
  %76 = getelementptr inbounds i32, ptr %74, i64 %75
  %77 = load i32, ptr %76, align 4, !tbaa !25
  store i32 %77, ptr %18, align 4, !tbaa !41
  %78 = load i64, ptr %69, align 4
  store i64 %78, ptr %19, align 4
  %79 = load i32, ptr %70, align 4, !tbaa !39
  store i32 %79, ptr %20, align 4, !tbaa !42
  %80 = call i32 @canonicality_pre_check(ptr noundef nonnull %3, ptr noundef nonnull %5)
  %.not106 = icmp eq i32 %80, 0
  br i1 %.not106, label %82, label %81

81:                                               ; preds = %73
  call void @update_extensions(ptr noundef nonnull %1, i32 noundef %29, ptr noundef %2, ptr noundef nonnull %5)
  br label %82

82:                                               ; preds = %73, %67, %62, %.lr.ph, %81
  %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 %.loopexit108, label %.lr.ph, !llvm.loop !43

.loopexit108:                                     ; preds = %82, %45, %42
  %.094 = load ptr, ptr %.094112, align 8, !tbaa !27
  %.not98 = icmp eq ptr %.094, null
  br i1 %.not98, label %.preheader, label %42, !llvm.loop !45

._crit_edge:                                      ; preds = %.loopexit107, %27, %.preheader
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %5) #3
  %.pre = load i32, ptr %10, align 8, !tbaa !13
  br label %125

83:                                               ; preds = %.lr.ph121, %.loopexit107
  %.096120 = phi ptr [ %.096118.pre, %.lr.ph121 ], [ %.096, %.loopexit107 ]
  %84 = getelementptr inbounds i8, ptr %.096120, i64 16
  %85 = load i32, ptr %84, align 8, !tbaa !28
  %.not100 = icmp eq i32 %85, 0
  br i1 %.not100, label %.loopexit107, label %86

86:                                               ; preds = %83
  %87 = getelementptr inbounds i8, ptr %.096120, i64 8
  %88 = load ptr, ptr %87, align 8, !tbaa !32
  %89 = load i32, ptr %8, align 4, !tbaa !12
  %.not101116 = icmp eq i32 %89, 0
  br i1 %.not101116, label %.loopexit107, label %.lr.ph117.preheader

.lr.ph117.preheader:                              ; preds = %86
  %90 = zext i32 %89 to i64
  br label %.lr.ph117

.loopexit:                                        ; preds = %124, %.lr.ph117
  %.not101.wide = icmp eq i64 %91, 0
  br i1 %.not101.wide, label %.loopexit107, label %.lr.ph117, !llvm.loop !46

.lr.ph117:                                        ; preds = %.lr.ph117.preheader, %.loopexit
  %indvars.iv135 = phi i64 [ %90, %.lr.ph117.preheader ], [ %91, %.loopexit ]
  %91 = add nsw i64 %indvars.iv135, -1
  %92 = load ptr, ptr %16, align 8, !tbaa !38
  %93 = getelementptr inbounds i16, ptr %92, i64 %91
  %94 = load i16, ptr %93, align 2, !tbaa !47
  %95 = call i32 @map(ptr noundef nonnull %24, ptr noundef %88, i16 noundef zeroext %94)
  %96 = load ptr, ptr %40, align 8, !tbaa !33
  %97 = and i32 %95, 65535
  %98 = zext nneg i32 %97 to i64
  %99 = getelementptr inbounds ptr, ptr %96, i64 %98
  %100 = load ptr, ptr %99, align 8, !tbaa !27
  %101 = load ptr, ptr %41, align 8, !tbaa !35
  %102 = getelementptr inbounds i32, ptr %101, i64 %98
  %103 = load i32, ptr %102, align 4, !tbaa !25
  store i16 %94, ptr %5, align 4, !tbaa !21
  %104 = load ptr, ptr %14, align 8, !tbaa !24
  %105 = zext i16 %94 to i64
  %106 = getelementptr inbounds i32, ptr %104, i64 %105
  %107 = load i32, ptr %106, align 4, !tbaa !25
  store i32 %107, ptr %15, align 4, !tbaa !26
  %.not128 = icmp eq i32 %103, 0
  br i1 %.not128, label %.loopexit, label %.lr.ph115.preheader

.lr.ph115.preheader:                              ; preds = %.lr.ph117
  %wide.trip.count133 = zext i32 %103 to i64
  br label %.lr.ph115

.lr.ph115:                                        ; preds = %.lr.ph115.preheader, %124
  %indvars.iv130 = phi i64 [ 0, %.lr.ph115.preheader ], [ %indvars.iv.next131, %124 ]
  %108 = getelementptr inbounds %struct.neighbor_t, ptr %100, i64 %indvars.iv130
  %109 = load i16, ptr %108, align 4, !tbaa !36
  %110 = call zeroext i16 @reverse_map(ptr noundef nonnull %24, ptr noundef %88, i16 noundef zeroext %109)
  %.not102 = icmp eq i16 %110, -1
  br i1 %.not102, label %111, label %124

111:                                              ; preds = %.lr.ph115
  %112 = load i16, ptr %13, align 8, !tbaa !20
  %113 = add i16 %112, 1
  store i16 %113, ptr %17, align 2, !tbaa !40
  %114 = load ptr, ptr %32, align 8, !tbaa !48
  %115 = zext i16 %109 to i64
  %116 = getelementptr inbounds i32, ptr %114, i64 %115
  %117 = load i32, ptr %116, align 4, !tbaa !25
  store i32 %117, ptr %18, align 4, !tbaa !41
  %118 = getelementptr inbounds i8, ptr %108, i64 4
  %119 = load i64, ptr %118, align 4
  store i64 %119, ptr %19, align 4
  %120 = getelementptr inbounds i8, ptr %108, i64 12
  %121 = load i32, ptr %120, align 4, !tbaa !39
  store i32 %121, ptr %20, align 4, !tbaa !42
  %122 = call i32 @canonicality_pre_check(ptr noundef %3, ptr noundef nonnull %5)
  %.not103 = icmp eq i32 %122, 0
  br i1 %.not103, label %124, label %123

123:                                              ; preds = %111
  call void @update_extensions(ptr noundef nonnull %1, i32 noundef %29, ptr noundef %2, ptr noundef nonnull %5)
  br label %124

124:                                              ; preds = %111, %.lr.ph115, %123
  %indvars.iv.next131 = add nuw nsw i64 %indvars.iv130, 1
  %exitcond134.not = icmp eq i64 %indvars.iv.next131, %wide.trip.count133
  br i1 %exitcond134.not, label %.loopexit, label %.lr.ph115, !llvm.loop !49

.loopexit107:                                     ; preds = %.loopexit, %86, %83
  %.096 = load ptr, ptr %.096120, align 8, !tbaa !27
  %.not99 = icmp eq ptr %.096, null
  br i1 %.not99, label %._crit_edge, label %83, !llvm.loop !50

125:                                              ; preds = %21, %._crit_edge
  %126 = phi i32 [ %22, %21 ], [ %.pre, %._crit_edge ]
  %indvars.iv.next139 = add nuw nsw i64 %indvars.iv138, 1
  %127 = zext i32 %126 to i64
  %128 = icmp ult i64 %indvars.iv.next139, %127
  br i1 %128, label %21, label %._crit_edge125, !llvm.loop !51
}

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @prepare_extension_store(ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @rightmost_path_search(ptr noundef, i32 noundef, i16 noundef zeroext) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @contains_edge(ptr noundef, i16 noundef zeroext, i16 noundef zeroext, ptr noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @canonicality_pre_check(ptr noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @update_extensions(ptr noundef, i32 noundef, ptr noundef, ptr 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 = { inlinehint nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !10, i64 80}
!6 = !{!"subgraph_t", !7, i64 0, !7, i64 8, !7, i64 16, !7, i64 24, !7, i64 32, !7, i64 40, !7, i64 48, !7, i64 56, !10, i64 64, !10, i64 68, !10, i64 72, !10, i64 76, !10, i64 80, !10, i64 84, !10, i64 88, !10, i64 92, !10, i64 96, !10, i64 100, !11, i64 104, !10, i64 108, !7, i64 112}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"int", !8, i64 0}
!11 = !{!"short", !8, i64 0}
!12 = !{!6, !10, i64 84}
!13 = !{!6, !10, i64 72}
!14 = !{!6, !7, i64 24}
!15 = !{!16, !10, i64 16}
!16 = !{!"db_mapping_t", !7, i64 0, !10, i64 8, !11, i64 12, !10, i64 16}
!17 = !{!16, !10, i64 8}
!18 = !{!19, !7, i64 0}
!19 = !{!"database_t", !7, i64 0, !10, i64 8, !10, i64 12, !10, i64 16}
!20 = !{!6, !11, i64 104}
!21 = !{!22, !11, i64 0}
!22 = !{!"dfs_code_t", !11, i64 0, !11, i64 2, !10, i64 4, !10, i64 8, !23, i64 12, !10, i64 20}
!23 = !{!"edge_label_t", !10, i64 0, !10, i64 4}
!24 = !{!6, !7, i64 8}
!25 = !{!10, !10, i64 0}
!26 = !{!22, !10, i64 4}
!27 = !{!7, !7, i64 0}
!28 = !{!29, !10, i64 16}
!29 = !{!"mapping_t", !7, i64 0, !7, i64 8, !10, i64 16, !30, i64 20}
!30 = !{!"mapping_info_t", !10, i64 0, !31, i64 4}
!31 = !{!"float", !8, i64 0}
!32 = !{!29, !7, i64 8}
!33 = !{!34, !7, i64 16}
!34 = !{!"database_entry_t", !7, i64 0, !7, i64 8, !7, i64 16, !10, i64 24, !10, i64 28, !10, i64 32, !10, i64 36}
!35 = !{!34, !7, i64 8}
!36 = !{!37, !11, i64 0}
!37 = !{!"neighbor_t", !11, i64 0, !23, i64 4, !10, i64 12}
!38 = !{!6, !7, i64 16}
!39 = !{!37, !10, i64 12}
!40 = !{!22, !11, i64 2}
!41 = !{!22, !10, i64 8}
!42 = !{!22, !10, i64 20}
!43 = distinct !{!43, !44}
!44 = !{!"llvm.loop.mustprogress"}
!45 = distinct !{!45, !44}
!46 = distinct !{!46, !44}
!47 = !{!11, !11, i64 0}
!48 = !{!34, !7, i64 0}
!49 = distinct !{!49, !44}
!50 = distinct !{!50, !44}
!51 = distinct !{!51, !44}


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