; 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.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.extension_store_t = type { ptr, ptr, ptr, i32, i32, i32 }
%struct.extension_t = type { ptr, ptr, i32, %struct.dfs_code_t }
%struct.dfs_code_t = type { i16, i16, i32, i32, %struct.edge_label_t, i32 }
%struct.edge_label_t = type { i32, i32 }
%struct.config_t = type { i32, i32, i32, i32, i32, float, %struct.mismatch_matrix_t }
%struct.mismatch_matrix_t = type { ptr, 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
define dso_local void @count_fuzzy_support(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 i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca ptr, align 8
  %17 = alloca i16, align 2
  %18 = alloca i16, align 2
  %19 = alloca ptr, align 8
  %20 = alloca ptr, align 8
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca ptr, align 8
  %26 = alloca i16, align 2
  %27 = alloca ptr, align 8
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca ptr, align 8
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca ptr, align 8
  %34 = alloca i16, align 2
  %35 = alloca i16, align 2
  %36 = alloca ptr, align 8
  %37 = alloca i32, align 4
  %38 = alloca i32, align 4
  %39 = alloca ptr, align 8
  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
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #3
  store i32 0, ptr %9, align 4, !tbaa !9
  br label %40

40:                                               ; preds = %365, %4
  %41 = load i32, ptr %9, align 4, !tbaa !9
  %42 = load ptr, ptr %7, align 8, !tbaa !5
  %43 = getelementptr inbounds %struct.subgraph_t, ptr %42, i32 0, i32 10
  %44 = load i32, ptr %43, align 8, !tbaa !11
  %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) #3
  br label %368

47:                                               ; preds = %40
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #3
  %48 = load ptr, ptr %7, align 8, !tbaa !5
  %49 = getelementptr inbounds %struct.subgraph_t, ptr %48, i32 0, i32 3
  %50 = load ptr, ptr %49, align 8, !tbaa !14
  %51 = load i32, ptr %9, align 4, !tbaa !9
  %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
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #3
  %54 = load ptr, ptr %11, align 8, !tbaa !5
  %55 = getelementptr inbounds %struct.db_mapping_t, ptr %54, i32 0, i32 1
  %56 = load i32, ptr %55, align 8, !tbaa !15
  store i32 %56, ptr %12, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #3
  %57 = load ptr, ptr %6, align 8, !tbaa !5
  %58 = getelementptr inbounds %struct.database_t, ptr %57, i32 0, i32 0
  %59 = load ptr, ptr %58, align 8, !tbaa !17
  %60 = load i32, ptr %12, align 4, !tbaa !9
  %61 = zext i32 %60 to i64
  %62 = getelementptr inbounds %struct.database_entry_t, ptr %59, i64 %61
  %63 = getelementptr inbounds %struct.database_entry_t, ptr %62, i32 0, i32 0
  %64 = load ptr, ptr %63, align 8, !tbaa !19
  store ptr %64, ptr %13, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #3
  %65 = load ptr, ptr %7, align 8, !tbaa !5
  %66 = getelementptr inbounds %struct.subgraph_t, ptr %65, i32 0, i32 10
  %67 = load i32, ptr %66, align 8, !tbaa !11
  %68 = load i32, ptr %9, align 4, !tbaa !9
  %69 = sub i32 %67, %68
  store i32 %69, ptr %14, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #3
  store i32 0, ptr %15, align 4, !tbaa !9
  br label %70

70:                                               ; preds = %361, %47
  %71 = load i32, ptr %15, align 4, !tbaa !9
  %72 = load ptr, ptr %8, align 8, !tbaa !5
  %73 = getelementptr inbounds %struct.extension_store_t, ptr %72, i32 0, i32 3
  %74 = load i32, ptr %73, align 8, !tbaa !21
  %75 = icmp ult i32 %71, %74
  br i1 %75, label %77, label %76

76:                                               ; preds = %70
  store i32 5, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #3
  br label %364

77:                                               ; preds = %70
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #3
  %78 = load ptr, ptr %8, align 8, !tbaa !5
  %79 = getelementptr inbounds %struct.extension_store_t, ptr %78, i32 0, i32 0
  %80 = load ptr, ptr %79, align 8, !tbaa !23
  %81 = load i32, ptr %15, align 4, !tbaa !9
  %82 = zext i32 %81 to i64
  %83 = getelementptr inbounds %struct.extension_t, ptr %80, i64 %82
  store ptr %83, ptr %16, align 8, !tbaa !5
  %84 = load ptr, ptr %16, align 8, !tbaa !5
  %85 = getelementptr inbounds %struct.extension_t, ptr %84, i32 0, i32 1
  %86 = load ptr, ptr %85, align 8, !tbaa !24
  %87 = load i32, ptr %12, align 4, !tbaa !9
  %88 = zext i32 %87 to i64
  %89 = getelementptr inbounds i32, ptr %86, i64 %88
  %90 = load i32, ptr %89, align 4, !tbaa !9
  %91 = icmp ne i32 %90, 0
  br i1 %91, label %92, label %93

92:                                               ; preds = %77
  store i32 7, ptr %10, align 4
  br label %358

93:                                               ; preds = %77
  %94 = load ptr, ptr %16, align 8, !tbaa !5
  %95 = getelementptr inbounds %struct.extension_t, ptr %94, i32 0, i32 2
  %96 = load i32, ptr %95, align 8, !tbaa !28
  %97 = load i32, ptr %14, align 4, !tbaa !9
  %98 = add i32 %96, %97
  %99 = load ptr, ptr %5, align 8, !tbaa !5
  %100 = getelementptr inbounds %struct.config_t, ptr %99, i32 0, i32 2
  %101 = load i32, ptr %100, align 8, !tbaa !29
  %102 = icmp ult i32 %98, %101
  br i1 %102, label %103, label %104

103:                                              ; preds = %93
  store i32 7, ptr %10, align 4
  br label %358

104:                                              ; preds = %93
  call void @llvm.lifetime.start.p0(i64 2, ptr %17) #3
  %105 = load ptr, ptr %16, align 8, !tbaa !5
  %106 = getelementptr inbounds %struct.extension_t, ptr %105, i32 0, i32 3
  %107 = getelementptr inbounds %struct.dfs_code_t, ptr %106, i32 0, i32 0
  %108 = load i16, ptr %107, align 4, !tbaa !33
  store i16 %108, ptr %17, align 2, !tbaa !34
  call void @llvm.lifetime.start.p0(i64 2, ptr %18) #3
  %109 = load ptr, ptr %16, align 8, !tbaa !5
  %110 = getelementptr inbounds %struct.extension_t, ptr %109, i32 0, i32 3
  %111 = getelementptr inbounds %struct.dfs_code_t, ptr %110, i32 0, i32 1
  %112 = load i16, ptr %111, align 2, !tbaa !35
  store i16 %112, ptr %18, align 2, !tbaa !34
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #3
  %113 = load ptr, ptr %16, align 8, !tbaa !5
  %114 = getelementptr inbounds %struct.extension_t, ptr %113, i32 0, i32 3
  %115 = getelementptr inbounds %struct.dfs_code_t, ptr %114, i32 0, i32 3
  store ptr %115, ptr %19, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #3
  %116 = load ptr, ptr %16, align 8, !tbaa !5
  %117 = getelementptr inbounds %struct.extension_t, ptr %116, i32 0, i32 3
  %118 = getelementptr inbounds %struct.dfs_code_t, ptr %117, i32 0, i32 4
  store ptr %118, ptr %20, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #3
  %119 = load ptr, ptr %16, align 8, !tbaa !5
  %120 = getelementptr inbounds %struct.extension_t, ptr %119, i32 0, i32 3
  %121 = getelementptr inbounds %struct.dfs_code_t, ptr %120, i32 0, i32 5
  %122 = load i32, ptr %121, align 4, !tbaa !36
  store i32 %122, ptr %21, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #3
  store i32 0, ptr %22, align 4, !tbaa !9
  %123 = load i16, ptr %18, align 2, !tbaa !34
  %124 = zext i16 %123 to i32
  %125 = load i16, ptr %17, align 2, !tbaa !34
  %126 = zext i16 %125 to i32
  %127 = icmp sgt i32 %124, %126
  br i1 %127, label %128, label %240

128:                                              ; preds = %104
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #3
  %129 = load ptr, ptr %11, align 8, !tbaa !5
  %130 = getelementptr inbounds %struct.db_mapping_t, ptr %129, i32 0, i32 0
  %131 = load ptr, ptr %130, align 8, !tbaa !37
  store ptr %131, ptr %23, align 8, !tbaa !5
  br label %132

132:                                              ; preds = %234, %128
  %133 = load ptr, ptr %23, align 8, !tbaa !5
  %134 = icmp ne ptr %133, null
  br i1 %134, label %136, label %135

135:                                              ; preds = %132
  store i32 8, ptr %10, align 4
  br label %238

136:                                              ; preds = %132
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #3
  %137 = load ptr, ptr %23, align 8, !tbaa !5
  %138 = getelementptr inbounds %struct.mapping_t, ptr %137, i32 0, i32 1
  %139 = load ptr, ptr %138, align 8, !tbaa !38
  store ptr %139, ptr %24, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #3
  %140 = load ptr, ptr %23, align 8, !tbaa !5
  %141 = getelementptr inbounds %struct.mapping_t, ptr %140, i32 0, i32 3
  store ptr %141, ptr %25, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 2, ptr %26) #3
  %142 = load ptr, ptr %11, align 8, !tbaa !5
  %143 = load ptr, ptr %24, align 8, !tbaa !5
  %144 = load i16, ptr %17, align 2, !tbaa !34
  %145 = call i32 @map(ptr noundef %142, ptr noundef %143, i16 noundef zeroext %144)
  %146 = trunc i32 %145 to i16
  store i16 %146, ptr %26, align 2, !tbaa !34
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #3
  %147 = load ptr, ptr %6, align 8, !tbaa !5
  %148 = getelementptr inbounds %struct.database_t, ptr %147, i32 0, i32 0
  %149 = load ptr, ptr %148, align 8, !tbaa !17
  %150 = load i32, ptr %12, align 4, !tbaa !9
  %151 = zext i32 %150 to i64
  %152 = getelementptr inbounds %struct.database_entry_t, ptr %149, i64 %151
  %153 = getelementptr inbounds %struct.database_entry_t, ptr %152, i32 0, i32 2
  %154 = load ptr, ptr %153, align 8, !tbaa !41
  %155 = load i16, ptr %26, align 2, !tbaa !34
  %156 = zext i16 %155 to i64
  %157 = getelementptr inbounds ptr, ptr %154, i64 %156
  %158 = load ptr, ptr %157, align 8, !tbaa !5
  store ptr %158, ptr %27, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #3
  %159 = load ptr, ptr %6, align 8, !tbaa !5
  %160 = getelementptr inbounds %struct.database_t, ptr %159, i32 0, i32 0
  %161 = load ptr, ptr %160, align 8, !tbaa !17
  %162 = load i32, ptr %12, align 4, !tbaa !9
  %163 = zext i32 %162 to i64
  %164 = getelementptr inbounds %struct.database_entry_t, ptr %161, i64 %163
  %165 = getelementptr inbounds %struct.database_entry_t, ptr %164, i32 0, i32 1
  %166 = load ptr, ptr %165, align 8, !tbaa !42
  %167 = load i16, ptr %26, align 2, !tbaa !34
  %168 = zext i16 %167 to i64
  %169 = getelementptr inbounds i32, ptr %166, i64 %168
  %170 = load i32, ptr %169, align 4, !tbaa !9
  store i32 %170, ptr %28, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #3
  store i32 0, ptr %29, align 4, !tbaa !9
  br label %171

171:                                              ; preds = %222, %136
  %172 = load i32, ptr %29, align 4, !tbaa !9
  %173 = load i32, ptr %28, align 4, !tbaa !9
  %174 = icmp ult i32 %172, %173
  br i1 %174, label %176, label %175

175:                                              ; preds = %171
  store i32 11, ptr %10, align 4
  br label %225

176:                                              ; preds = %171
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #3
  %177 = load ptr, ptr %27, align 8, !tbaa !5
  %178 = load i32, ptr %29, align 4, !tbaa !9
  %179 = zext i32 %178 to i64
  %180 = getelementptr inbounds %struct.neighbor_t, ptr %177, i64 %179
  store ptr %180, ptr %30, align 8, !tbaa !5
  %181 = load i32, ptr %21, align 4, !tbaa !9
  %182 = load ptr, ptr %30, align 8, !tbaa !5
  %183 = getelementptr inbounds %struct.neighbor_t, ptr %182, i32 0, i32 2
  %184 = load i32, ptr %183, align 4, !tbaa !43
  %185 = icmp ne i32 %181, %184
  br i1 %185, label %186, label %187

186:                                              ; preds = %176
  store i32 13, ptr %10, align 4
  br label %220

187:                                              ; preds = %176
  %188 = load ptr, ptr %5, align 8, !tbaa !5
  %189 = load ptr, ptr %25, align 8, !tbaa !5
  %190 = load ptr, ptr %13, align 8, !tbaa !5
  %191 = load ptr, ptr %30, align 8, !tbaa !5
  %192 = getelementptr inbounds %struct.neighbor_t, ptr %191, i32 0, i32 0
  %193 = load i16, ptr %192, align 4, !tbaa !45
  %194 = zext i16 %193 to i64
  %195 = getelementptr inbounds i32, ptr %190, i64 %194
  %196 = load ptr, ptr %19, align 8, !tbaa !5
  %197 = call i32 @vertex_label_match(ptr noundef %188, ptr noundef %189, ptr noundef %195, ptr noundef %196, ptr noundef null)
  %198 = icmp ne i32 %197, 0
  br i1 %198, label %200, label %199

199:                                              ; preds = %187
  store i32 13, ptr %10, align 4
  br label %220

200:                                              ; preds = %187
  %201 = load ptr, ptr %5, align 8, !tbaa !5
  %202 = load ptr, ptr %25, align 8, !tbaa !5
  %203 = load ptr, ptr %30, align 8, !tbaa !5
  %204 = getelementptr inbounds %struct.neighbor_t, ptr %203, i32 0, i32 1
  %205 = load ptr, ptr %20, align 8, !tbaa !5
  %206 = call i32 @edge_label_match(ptr noundef %201, ptr noundef %202, ptr noundef %204, ptr noundef %205, ptr noundef null)
  %207 = icmp ne i32 %206, 0
  br i1 %207, label %209, label %208

208:                                              ; preds = %200
  store i32 13, ptr %10, align 4
  br label %220

209:                                              ; preds = %200
  %210 = load ptr, ptr %11, align 8, !tbaa !5
  %211 = load ptr, ptr %24, align 8, !tbaa !5
  %212 = load ptr, ptr %30, align 8, !tbaa !5
  %213 = getelementptr inbounds %struct.neighbor_t, ptr %212, i32 0, i32 0
  %214 = load i16, ptr %213, align 4, !tbaa !45
  %215 = call zeroext i16 @reverse_map(ptr noundef %210, ptr noundef %211, i16 noundef zeroext %214)
  %216 = zext i16 %215 to i32
  %217 = icmp ne i32 %216, 65535
  br i1 %217, label %218, label %219

218:                                              ; preds = %209
  store i32 13, ptr %10, align 4
  br label %220

219:                                              ; preds = %209
  store i32 1, ptr %22, align 4, !tbaa !9
  store i32 11, ptr %10, align 4
  br label %220

220:                                              ; preds = %219, %218, %208, %199, %186
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #3
  %221 = load i32, ptr %10, align 4
  switch i32 %221, label %225 [
    i32 13, label %222
  ]

222:                                              ; preds = %220
  %223 = load i32, ptr %29, align 4, !tbaa !9
  %224 = add i32 %223, 1
  store i32 %224, ptr %29, align 4, !tbaa !9
  br label %171, !llvm.loop !46

225:                                              ; preds = %220, %175
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #3
  br label %226

226:                                              ; preds = %225
  %227 = load i32, ptr %22, align 4, !tbaa !9
  %228 = icmp ne i32 %227, 0
  br i1 %228, label %229, label %230

229:                                              ; preds = %226
  store i32 8, ptr %10, align 4
  br label %231

230:                                              ; preds = %226
  store i32 0, ptr %10, align 4
  br label %231

231:                                              ; preds = %230, %229
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr %26) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #3
  %232 = load i32, ptr %10, align 4
  switch i32 %232, label %238 [
    i32 0, label %233
  ]

233:                                              ; preds = %231
  br label %234

234:                                              ; preds = %233
  %235 = load ptr, ptr %23, align 8, !tbaa !5
  %236 = getelementptr inbounds %struct.mapping_t, ptr %235, i32 0, i32 0
  %237 = load ptr, ptr %236, align 8, !tbaa !48
  store ptr %237, ptr %23, align 8, !tbaa !5
  br label %132, !llvm.loop !49

238:                                              ; preds = %231, %135
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #3
  br label %239

239:                                              ; preds = %238
  br label %343

240:                                              ; preds = %104
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #3
  %241 = load ptr, ptr %11, align 8, !tbaa !5
  %242 = getelementptr inbounds %struct.db_mapping_t, ptr %241, i32 0, i32 0
  %243 = load ptr, ptr %242, align 8, !tbaa !37
  store ptr %243, ptr %31, align 8, !tbaa !5
  br label %244

244:                                              ; preds = %337, %240
  %245 = load ptr, ptr %31, align 8, !tbaa !5
  %246 = icmp ne ptr %245, null
  br i1 %246, label %248, label %247

247:                                              ; preds = %244
  store i32 14, ptr %10, align 4
  br label %341

248:                                              ; preds = %244
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #3
  %249 = load ptr, ptr %31, align 8, !tbaa !5
  %250 = getelementptr inbounds %struct.mapping_t, ptr %249, i32 0, i32 1
  %251 = load ptr, ptr %250, align 8, !tbaa !38
  store ptr %251, ptr %32, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #3
  %252 = load ptr, ptr %31, align 8, !tbaa !5
  %253 = getelementptr inbounds %struct.mapping_t, ptr %252, i32 0, i32 3
  store ptr %253, ptr %33, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 2, ptr %34) #3
  %254 = load ptr, ptr %11, align 8, !tbaa !5
  %255 = load ptr, ptr %32, align 8, !tbaa !5
  %256 = load i16, ptr %18, align 2, !tbaa !34
  %257 = call i32 @map(ptr noundef %254, ptr noundef %255, i16 noundef zeroext %256)
  %258 = trunc i32 %257 to i16
  store i16 %258, ptr %34, align 2, !tbaa !34
  call void @llvm.lifetime.start.p0(i64 2, ptr %35) #3
  %259 = load ptr, ptr %11, align 8, !tbaa !5
  %260 = load ptr, ptr %32, align 8, !tbaa !5
  %261 = load i16, ptr %17, align 2, !tbaa !34
  %262 = call i32 @map(ptr noundef %259, ptr noundef %260, i16 noundef zeroext %261)
  %263 = trunc i32 %262 to i16
  store i16 %263, ptr %35, align 2, !tbaa !34
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #3
  %264 = load ptr, ptr %6, align 8, !tbaa !5
  %265 = getelementptr inbounds %struct.database_t, ptr %264, i32 0, i32 0
  %266 = load ptr, ptr %265, align 8, !tbaa !17
  %267 = load i32, ptr %12, align 4, !tbaa !9
  %268 = zext i32 %267 to i64
  %269 = getelementptr inbounds %struct.database_entry_t, ptr %266, i64 %268
  %270 = getelementptr inbounds %struct.database_entry_t, ptr %269, i32 0, i32 2
  %271 = load ptr, ptr %270, align 8, !tbaa !41
  %272 = load i16, ptr %35, align 2, !tbaa !34
  %273 = zext i16 %272 to i64
  %274 = getelementptr inbounds ptr, ptr %271, i64 %273
  %275 = load ptr, ptr %274, align 8, !tbaa !5
  store ptr %275, ptr %36, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #3
  %276 = load ptr, ptr %6, align 8, !tbaa !5
  %277 = getelementptr inbounds %struct.database_t, ptr %276, i32 0, i32 0
  %278 = load ptr, ptr %277, align 8, !tbaa !17
  %279 = load i32, ptr %12, align 4, !tbaa !9
  %280 = zext i32 %279 to i64
  %281 = getelementptr inbounds %struct.database_entry_t, ptr %278, i64 %280
  %282 = getelementptr inbounds %struct.database_entry_t, ptr %281, i32 0, i32 1
  %283 = load ptr, ptr %282, align 8, !tbaa !42
  %284 = load i16, ptr %35, align 2, !tbaa !34
  %285 = zext i16 %284 to i64
  %286 = getelementptr inbounds i32, ptr %283, i64 %285
  %287 = load i32, ptr %286, align 4, !tbaa !9
  store i32 %287, ptr %37, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #3
  store i32 0, ptr %38, align 4, !tbaa !9
  br label %288

288:                                              ; preds = %325, %248
  %289 = load i32, ptr %38, align 4, !tbaa !9
  %290 = load i32, ptr %37, align 4, !tbaa !9
  %291 = icmp ult i32 %289, %290
  br i1 %291, label %293, label %292

292:                                              ; preds = %288
  store i32 17, ptr %10, align 4
  br label %328

293:                                              ; preds = %288
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #3
  %294 = load ptr, ptr %36, align 8, !tbaa !5
  %295 = load i32, ptr %38, align 4, !tbaa !9
  %296 = zext i32 %295 to i64
  %297 = getelementptr inbounds %struct.neighbor_t, ptr %294, i64 %296
  store ptr %297, ptr %39, align 8, !tbaa !5
  %298 = load i16, ptr %34, align 2, !tbaa !34
  %299 = zext i16 %298 to i32
  %300 = load ptr, ptr %39, align 8, !tbaa !5
  %301 = getelementptr inbounds %struct.neighbor_t, ptr %300, i32 0, i32 0
  %302 = load i16, ptr %301, align 4, !tbaa !45
  %303 = zext i16 %302 to i32
  %304 = icmp ne i32 %299, %303
  br i1 %304, label %305, label %306

305:                                              ; preds = %293
  store i32 19, ptr %10, align 4
  br label %323

306:                                              ; preds = %293
  %307 = load i32, ptr %21, align 4, !tbaa !9
  %308 = load ptr, ptr %39, align 8, !tbaa !5
  %309 = getelementptr inbounds %struct.neighbor_t, ptr %308, i32 0, i32 2
  %310 = load i32, ptr %309, align 4, !tbaa !43
  %311 = icmp ne i32 %307, %310
  br i1 %311, label %312, label %313

312:                                              ; preds = %306
  store i32 19, ptr %10, align 4
  br label %323

313:                                              ; preds = %306
  %314 = load ptr, ptr %5, align 8, !tbaa !5
  %315 = load ptr, ptr %33, align 8, !tbaa !5
  %316 = load ptr, ptr %39, align 8, !tbaa !5
  %317 = getelementptr inbounds %struct.neighbor_t, ptr %316, i32 0, i32 1
  %318 = load ptr, ptr %20, align 8, !tbaa !5
  %319 = call i32 @edge_label_match(ptr noundef %314, ptr noundef %315, ptr noundef %317, ptr noundef %318, ptr noundef null)
  %320 = icmp ne i32 %319, 0
  br i1 %320, label %322, label %321

321:                                              ; preds = %313
  store i32 19, ptr %10, align 4
  br label %323

322:                                              ; preds = %313
  store i32 1, ptr %22, align 4, !tbaa !9
  store i32 17, ptr %10, align 4
  br label %323

323:                                              ; preds = %322, %321, %312, %305
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #3
  %324 = load i32, ptr %10, align 4
  switch i32 %324, label %328 [
    i32 19, label %325
  ]

325:                                              ; preds = %323
  %326 = load i32, ptr %38, align 4, !tbaa !9
  %327 = add i32 %326, 1
  store i32 %327, ptr %38, align 4, !tbaa !9
  br label %288, !llvm.loop !50

328:                                              ; preds = %323, %292
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #3
  br label %329

329:                                              ; preds = %328
  %330 = load i32, ptr %22, align 4, !tbaa !9
  %331 = icmp ne i32 %330, 0
  br i1 %331, label %332, label %333

332:                                              ; preds = %329
  store i32 14, ptr %10, align 4
  br label %334

333:                                              ; preds = %329
  store i32 0, ptr %10, align 4
  br label %334

334:                                              ; preds = %333, %332
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr %35) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr %34) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #3
  %335 = load i32, ptr %10, align 4
  switch i32 %335, label %341 [
    i32 0, label %336
  ]

336:                                              ; preds = %334
  br label %337

337:                                              ; preds = %336
  %338 = load ptr, ptr %31, align 8, !tbaa !5
  %339 = getelementptr inbounds %struct.mapping_t, ptr %338, i32 0, i32 0
  %340 = load ptr, ptr %339, align 8, !tbaa !48
  store ptr %340, ptr %31, align 8, !tbaa !5
  br label %244, !llvm.loop !51

341:                                              ; preds = %334, %247
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #3
  br label %342

342:                                              ; preds = %341
  br label %343

343:                                              ; preds = %342, %239
  %344 = load i32, ptr %22, align 4, !tbaa !9
  %345 = icmp ne i32 %344, 0
  br i1 %345, label %346, label %357

346:                                              ; preds = %343
  %347 = load ptr, ptr %16, align 8, !tbaa !5
  %348 = getelementptr inbounds %struct.extension_t, ptr %347, i32 0, i32 1
  %349 = load ptr, ptr %348, align 8, !tbaa !24
  %350 = load i32, ptr %12, align 4, !tbaa !9
  %351 = zext i32 %350 to i64
  %352 = getelementptr inbounds i32, ptr %349, i64 %351
  store i32 1, ptr %352, align 4, !tbaa !9
  %353 = load ptr, ptr %16, align 8, !tbaa !5
  %354 = getelementptr inbounds %struct.extension_t, ptr %353, i32 0, i32 2
  %355 = load i32, ptr %354, align 8, !tbaa !28
  %356 = add i32 %355, 1
  store i32 %356, ptr %354, align 8, !tbaa !28
  br label %357

357:                                              ; preds = %346, %343
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr %18) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr %17) #3
  store i32 0, ptr %10, align 4
  br label %358

358:                                              ; preds = %357, %103, %92
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #3
  %359 = load i32, ptr %10, align 4
  switch i32 %359, label %369 [
    i32 0, label %360
    i32 7, label %361
  ]

360:                                              ; preds = %358
  br label %361

361:                                              ; preds = %360, %358
  %362 = load i32, ptr %15, align 4, !tbaa !9
  %363 = add i32 %362, 1
  store i32 %363, ptr %15, align 4, !tbaa !9
  br label %70, !llvm.loop !52

364:                                              ; preds = %76
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #3
  br label %365

365:                                              ; preds = %364
  %366 = load i32, ptr %9, align 4, !tbaa !9
  %367 = add i32 %366, 1
  store i32 %367, ptr %9, align 4, !tbaa !9
  br label %40, !llvm.loop !53

368:                                              ; preds = %46
  ret void

369:                                              ; preds = %358
  unreachable
}

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

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

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i16 @reverse_map(ptr noundef, ptr noundef, i16 noundef zeroext) #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 = { 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 = !{!"int", !7, i64 0}
!11 = !{!12, !10, i64 72}
!12 = !{!"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, !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, !13, i64 104, !10, i64 108, !6, i64 112}
!13 = !{!"short", !7, i64 0}
!14 = !{!12, !6, i64 24}
!15 = !{!16, !10, i64 8}
!16 = !{!"db_mapping_t", !6, i64 0, !10, i64 8, !13, i64 12, !10, i64 16}
!17 = !{!18, !6, i64 0}
!18 = !{!"database_t", !6, i64 0, !10, i64 8, !10, i64 12, !10, i64 16}
!19 = !{!20, !6, i64 0}
!20 = !{!"database_entry_t", !6, i64 0, !6, i64 8, !6, i64 16, !10, i64 24, !10, i64 28, !10, i64 32, !10, i64 36}
!21 = !{!22, !10, i64 24}
!22 = !{!"extension_store_t", !6, i64 0, !6, i64 8, !6, i64 16, !10, i64 24, !10, i64 28, !10, i64 32}
!23 = !{!22, !6, i64 0}
!24 = !{!25, !6, i64 8}
!25 = !{!"extension_t", !6, i64 0, !6, i64 8, !10, i64 16, !26, i64 20}
!26 = !{!"dfs_code_t", !13, i64 0, !13, i64 2, !10, i64 4, !10, i64 8, !27, i64 12, !10, i64 20}
!27 = !{!"edge_label_t", !10, i64 0, !10, i64 4}
!28 = !{!25, !10, i64 16}
!29 = !{!30, !10, i64 8}
!30 = !{!"config_t", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !31, i64 20, !32, i64 24}
!31 = !{!"float", !7, i64 0}
!32 = !{!"mismatch_matrix_t", !6, i64 0, !10, i64 8}
!33 = !{!25, !13, i64 20}
!34 = !{!13, !13, i64 0}
!35 = !{!25, !13, i64 22}
!36 = !{!25, !10, i64 40}
!37 = !{!16, !6, i64 0}
!38 = !{!39, !6, i64 8}
!39 = !{!"mapping_t", !6, i64 0, !6, i64 8, !10, i64 16, !40, i64 20}
!40 = !{!"mapping_info_t", !10, i64 0, !31, i64 4}
!41 = !{!20, !6, i64 16}
!42 = !{!20, !6, i64 8}
!43 = !{!44, !10, i64 12}
!44 = !{!"neighbor_t", !13, i64 0, !27, i64 4, !10, i64 12}
!45 = !{!44, !13, i64 0}
!46 = distinct !{!46, !47}
!47 = !{!"llvm.loop.mustprogress"}
!48 = !{!39, !6, i64 0}
!49 = distinct !{!49, !47}
!50 = distinct !{!50, !47}
!51 = distinct !{!51, !47}
!52 = distinct !{!52, !47}
!53 = distinct !{!53, !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.db_mapping_t = type { ptr, i32, i16, i32 }
%struct.database_entry_t = type { ptr, ptr, ptr, i32, i32, i32, i32 }
%struct.extension_t = type { ptr, ptr, i32, %struct.dfs_code_t }
%struct.dfs_code_t = type { i16, i16, i32, i32, %struct.edge_label_t, i32 }
%struct.edge_label_t = type { i32, i32 }
%struct.neighbor_t = type { i16, %struct.edge_label_t, i32 }

; Function Attrs: nounwind uwtable
define dso_local void @count_fuzzy_support(ptr noundef %0, ptr nocapture noundef readonly %1, ptr nocapture noundef readonly %2, ptr nocapture noundef readonly %3) local_unnamed_addr #0 {
  %5 = getelementptr inbounds i8, ptr %2, i64 72
  %6 = load i32, ptr %5, align 8, !tbaa !5
  %.not160 = icmp eq i32 %6, 0
  br i1 %.not160, label %._crit_edge159, label %.lr.ph158

.lr.ph158:                                        ; preds = %4
  %7 = getelementptr inbounds i8, ptr %2, i64 24
  %8 = getelementptr inbounds i8, ptr %3, i64 24
  %9 = getelementptr inbounds i8, ptr %0, i64 8
  %10 = load i32, ptr %8, align 8, !tbaa !12
  %.not161 = icmp eq i32 %10, 0
  br i1 %.not161, label %._crit_edge159, label %.lr.ph158.split

._crit_edge159:                                   ; preds = %._crit_edge155, %.lr.ph158, %4
  ret void

.lr.ph158.split:                                  ; preds = %.lr.ph158, %._crit_edge155
  %11 = phi i32 [ %23, %._crit_edge155 ], [ %6, %.lr.ph158 ]
  %12 = phi i32 [ %24, %._crit_edge155 ], [ 1, %.lr.ph158 ]
  %indvars.iv176 = phi i64 [ %indvars.iv.next177, %._crit_edge155 ], [ 0, %.lr.ph158 ]
  %13 = load ptr, ptr %7, align 8, !tbaa !14
  %14 = getelementptr inbounds %struct.db_mapping_t, ptr %13, i64 %indvars.iv176
  %15 = getelementptr inbounds i8, ptr %14, i64 8
  %16 = load i32, ptr %15, align 8, !tbaa !15
  %17 = load ptr, ptr %1, align 8, !tbaa !17
  %18 = zext i32 %16 to i64
  %19 = getelementptr inbounds %struct.database_entry_t, ptr %17, i64 %18
  %20 = load ptr, ptr %19, align 8, !tbaa !19
  %21 = trunc nuw i64 %indvars.iv176 to i32
  %22 = sub i32 %11, %21
  %.not162 = icmp eq i32 %12, 0
  br i1 %.not162, label %._crit_edge155, label %.lr.ph154

._crit_edge155.loopexit:                          ; preds = %.thread135
  %.pre = load i32, ptr %5, align 8, !tbaa !5
  br label %._crit_edge155

._crit_edge155:                                   ; preds = %._crit_edge155.loopexit, %.lr.ph158.split
  %23 = phi i32 [ %.pre, %._crit_edge155.loopexit ], [ %11, %.lr.ph158.split ]
  %24 = phi i32 [ %111, %._crit_edge155.loopexit ], [ 0, %.lr.ph158.split ]
  %indvars.iv.next177 = add nuw nsw i64 %indvars.iv176, 1
  %25 = zext i32 %23 to i64
  %26 = icmp ult i64 %indvars.iv.next177, %25
  br i1 %26, label %.lr.ph158.split, label %._crit_edge159, !llvm.loop !21

.lr.ph154:                                        ; preds = %.lr.ph158.split, %.thread135
  %indvars.iv173 = phi i64 [ %indvars.iv.next174, %.thread135 ], [ 0, %.lr.ph158.split ]
  %27 = load ptr, ptr %3, align 8, !tbaa !24
  %28 = getelementptr inbounds %struct.extension_t, ptr %27, i64 %indvars.iv173
  %29 = getelementptr inbounds i8, ptr %28, i64 8
  %30 = load ptr, ptr %29, align 8, !tbaa !25
  %31 = getelementptr inbounds i32, ptr %30, i64 %18
  %32 = load i32, ptr %31, align 4, !tbaa !29
  %.not = icmp eq i32 %32, 0
  br i1 %.not, label %33, label %.thread135

33:                                               ; preds = %.lr.ph154
  %34 = getelementptr inbounds i8, ptr %28, i64 16
  %35 = load i32, ptr %34, align 8, !tbaa !30
  %36 = add i32 %22, %35
  %37 = load i32, ptr %9, align 8, !tbaa !31
  %38 = icmp ult i32 %36, %37
  br i1 %38, label %.thread135, label %39

39:                                               ; preds = %33
  %40 = getelementptr inbounds i8, ptr %28, i64 20
  %41 = load i16, ptr %40, align 4, !tbaa !35
  %42 = getelementptr inbounds i8, ptr %28, i64 22
  %43 = load i16, ptr %42, align 2, !tbaa !36
  %44 = getelementptr inbounds i8, ptr %28, i64 28
  %45 = getelementptr inbounds i8, ptr %28, i64 32
  %46 = getelementptr inbounds i8, ptr %28, i64 40
  %47 = load i32, ptr %46, align 4, !tbaa !37
  %48 = icmp ugt i16 %43, %41
  br i1 %48, label %.preheader, label %.critedge.preheader

.critedge.preheader:                              ; preds = %39
  %.0111143 = load ptr, ptr %14, align 8, !tbaa !38
  %.not113144 = icmp eq ptr %.0111143, null
  br i1 %.not113144, label %.thread135, label %.lr.ph146

.preheader:                                       ; preds = %39, %.preheader.backedge
  %.0109.in = phi ptr [ %.0109, %.preheader.backedge ], [ %14, %39 ]
  %.0109 = load ptr, ptr %.0109.in, align 8, !tbaa !38
  %.not118 = icmp eq ptr %.0109, null
  br i1 %.not118, label %.thread135, label %49

49:                                               ; preds = %.preheader
  %50 = getelementptr inbounds i8, ptr %.0109, i64 8
  %51 = load ptr, ptr %50, align 8, !tbaa !39
  %52 = getelementptr inbounds i8, ptr %.0109, i64 20
  %53 = tail call i32 @map(ptr noundef %14, ptr noundef %51, i16 noundef zeroext %41)
  %54 = load ptr, ptr %1, align 8, !tbaa !17
  %55 = getelementptr inbounds %struct.database_entry_t, ptr %54, i64 %18
  %56 = getelementptr inbounds i8, ptr %55, i64 16
  %57 = load ptr, ptr %56, align 8, !tbaa !42
  %58 = and i32 %53, 65535
  %59 = zext nneg i32 %58 to i64
  %60 = getelementptr inbounds ptr, ptr %57, i64 %59
  %61 = load ptr, ptr %60, align 8, !tbaa !38
  %62 = getelementptr inbounds i8, ptr %55, i64 8
  %63 = load ptr, ptr %62, align 8, !tbaa !43
  %64 = getelementptr inbounds i32, ptr %63, i64 %59
  %65 = load i32, ptr %64, align 4, !tbaa !29
  %.not163 = icmp eq i32 %65, 0
  br i1 %.not163, label %.preheader.backedge, label %.lr.ph149.preheader

.preheader.backedge:                              ; preds = %.thread, %49
  br label %.preheader

.lr.ph149.preheader:                              ; preds = %49
  %wide.trip.count171 = zext i32 %65 to i64
  br label %.lr.ph149

.lr.ph149:                                        ; preds = %.lr.ph149.preheader, %.thread
  %indvars.iv168 = phi i64 [ 0, %.lr.ph149.preheader ], [ %indvars.iv.next169, %.thread ]
  %66 = getelementptr inbounds %struct.neighbor_t, ptr %61, i64 %indvars.iv168
  %67 = getelementptr inbounds i8, ptr %66, i64 12
  %68 = load i32, ptr %67, align 4, !tbaa !44
  %.not119 = icmp eq i32 %47, %68
  br i1 %.not119, label %69, label %.thread

69:                                               ; preds = %.lr.ph149
  %70 = load i16, ptr %66, align 4, !tbaa !46
  %71 = zext i16 %70 to i64
  %72 = getelementptr inbounds i32, ptr %20, i64 %71
  %73 = tail call i32 @vertex_label_match(ptr noundef %0, ptr noundef nonnull %52, ptr noundef %72, ptr noundef nonnull %44, ptr noundef null)
  %.not120 = icmp eq i32 %73, 0
  br i1 %.not120, label %.thread, label %74

74:                                               ; preds = %69
  %75 = getelementptr inbounds i8, ptr %66, i64 4
  %76 = tail call i32 @edge_label_match(ptr noundef %0, ptr noundef nonnull %52, ptr noundef nonnull %75, ptr noundef nonnull %45, ptr noundef null)
  %.not121 = icmp eq i32 %76, 0
  br i1 %.not121, label %.thread, label %77

77:                                               ; preds = %74
  %78 = load i16, ptr %66, align 4, !tbaa !46
  %79 = tail call zeroext i16 @reverse_map(ptr noundef %14, ptr noundef %51, i16 noundef zeroext %78)
  %.not122.not = icmp eq i16 %79, -1
  br i1 %.not122.not, label %.loopexit, label %.thread

.thread:                                          ; preds = %74, %69, %.lr.ph149, %77
  %indvars.iv.next169 = add nuw nsw i64 %indvars.iv168, 1
  %exitcond172.not = icmp eq i64 %indvars.iv.next169, %wide.trip.count171
  br i1 %exitcond172.not, label %.preheader.backedge, label %.lr.ph149, !llvm.loop !47

.lr.ph146:                                        ; preds = %.critedge.preheader, %.critedge.backedge
  %.0111145 = phi ptr [ %.0111, %.critedge.backedge ], [ %.0111143, %.critedge.preheader ]
  %80 = getelementptr inbounds i8, ptr %.0111145, i64 8
  %81 = load ptr, ptr %80, align 8, !tbaa !39
  %82 = getelementptr inbounds i8, ptr %.0111145, i64 20
  %83 = tail call i32 @map(ptr noundef nonnull %14, ptr noundef %81, i16 noundef zeroext %43)
  %84 = tail call i32 @map(ptr noundef nonnull %14, ptr noundef %81, i16 noundef zeroext %41)
  %85 = load ptr, ptr %1, align 8, !tbaa !17
  %86 = getelementptr inbounds %struct.database_entry_t, ptr %85, i64 %18
  %87 = getelementptr inbounds i8, ptr %86, i64 16
  %88 = load ptr, ptr %87, align 8, !tbaa !42
  %89 = and i32 %84, 65535
  %90 = zext nneg i32 %89 to i64
  %91 = getelementptr inbounds ptr, ptr %88, i64 %90
  %92 = load ptr, ptr %91, align 8, !tbaa !38
  %93 = getelementptr inbounds i8, ptr %86, i64 8
  %94 = load ptr, ptr %93, align 8, !tbaa !43
  %95 = getelementptr inbounds i32, ptr %94, i64 %90
  %96 = load i32, ptr %95, align 4, !tbaa !29
  %.not138141.not = icmp eq i32 %96, 0
  br i1 %.not138141.not, label %.critedge.backedge, label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph146
  %97 = trunc i32 %83 to i16
  %wide.trip.count = zext i32 %96 to i64
  br label %98

98:                                               ; preds = %.lr.ph, %.thread130
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %.thread130 ]
  %99 = getelementptr inbounds %struct.neighbor_t, ptr %92, i64 %indvars.iv
  %100 = load i16, ptr %99, align 4, !tbaa !46
  %.not114 = icmp eq i16 %100, %97
  br i1 %.not114, label %101, label %.thread130

101:                                              ; preds = %98
  %102 = getelementptr inbounds i8, ptr %99, i64 12
  %103 = load i32, ptr %102, align 4, !tbaa !44
  %.not115 = icmp eq i32 %47, %103
  br i1 %.not115, label %104, label %.thread130

104:                                              ; preds = %101
  %105 = getelementptr inbounds i8, ptr %99, i64 4
  %106 = tail call i32 @edge_label_match(ptr noundef %0, ptr noundef nonnull %82, ptr noundef nonnull %105, ptr noundef nonnull %45, ptr noundef null)
  %.not116 = icmp eq i32 %106, 0
  br i1 %.not116, label %.thread130, label %.loopexit

.thread130:                                       ; preds = %101, %98, %104
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %.critedge.backedge, label %98, !llvm.loop !48

.critedge.backedge:                               ; preds = %.thread130, %.lr.ph146
  %.0111 = load ptr, ptr %.0111145, align 8, !tbaa !38
  %.not113 = icmp eq ptr %.0111, null
  br i1 %.not113, label %.thread135, label %.lr.ph146, !llvm.loop !49

.loopexit:                                        ; preds = %104, %77
  %107 = load ptr, ptr %29, align 8, !tbaa !25
  %108 = getelementptr inbounds i32, ptr %107, i64 %18
  store i32 1, ptr %108, align 4, !tbaa !29
  %109 = load i32, ptr %34, align 8, !tbaa !30
  %110 = add i32 %109, 1
  store i32 %110, ptr %34, align 8, !tbaa !30
  br label %.thread135

.thread135:                                       ; preds = %.critedge.backedge, %.preheader, %.critedge.preheader, %.loopexit, %33, %.lr.ph154
  %indvars.iv.next174 = add nuw nsw i64 %indvars.iv173, 1
  %111 = load i32, ptr %8, align 8, !tbaa !12
  %112 = zext i32 %111 to i64
  %113 = icmp ult i64 %indvars.iv.next174, %112
  br i1 %113, label %.lr.ph154, label %._crit_edge155.loopexit, !llvm.loop !50
}

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

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

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

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { 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" }

!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 72}
!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 = !{!13, !10, i64 24}
!13 = !{!"extension_store_t", !7, i64 0, !7, i64 8, !7, i64 16, !10, i64 24, !10, i64 28, !10, i64 32}
!14 = !{!6, !7, i64 24}
!15 = !{!16, !10, i64 8}
!16 = !{!"db_mapping_t", !7, i64 0, !10, i64 8, !11, i64 12, !10, i64 16}
!17 = !{!18, !7, i64 0}
!18 = !{!"database_t", !7, i64 0, !10, i64 8, !10, i64 12, !10, i64 16}
!19 = !{!20, !7, i64 0}
!20 = !{!"database_entry_t", !7, i64 0, !7, i64 8, !7, i64 16, !10, i64 24, !10, i64 28, !10, i64 32, !10, i64 36}
!21 = distinct !{!21, !22, !23}
!22 = !{!"llvm.loop.mustprogress"}
!23 = !{!"llvm.loop.unswitch.partial.disable"}
!24 = !{!13, !7, i64 0}
!25 = !{!26, !7, i64 8}
!26 = !{!"extension_t", !7, i64 0, !7, i64 8, !10, i64 16, !27, i64 20}
!27 = !{!"dfs_code_t", !11, i64 0, !11, i64 2, !10, i64 4, !10, i64 8, !28, i64 12, !10, i64 20}
!28 = !{!"edge_label_t", !10, i64 0, !10, i64 4}
!29 = !{!10, !10, i64 0}
!30 = !{!26, !10, i64 16}
!31 = !{!32, !10, i64 8}
!32 = !{!"config_t", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !33, i64 20, !34, i64 24}
!33 = !{!"float", !8, i64 0}
!34 = !{!"mismatch_matrix_t", !7, i64 0, !10, i64 8}
!35 = !{!26, !11, i64 20}
!36 = !{!26, !11, i64 22}
!37 = !{!26, !10, i64 40}
!38 = !{!7, !7, i64 0}
!39 = !{!40, !7, i64 8}
!40 = !{!"mapping_t", !7, i64 0, !7, i64 8, !10, i64 16, !41, i64 20}
!41 = !{!"mapping_info_t", !10, i64 0, !33, i64 4}
!42 = !{!20, !7, i64 16}
!43 = !{!20, !7, i64 8}
!44 = !{!45, !10, i64 12}
!45 = !{!"neighbor_t", !11, i64 0, !28, i64 4, !10, i64 12}
!46 = !{!45, !11, i64 0}
!47 = distinct !{!47, !22}
!48 = distinct !{!48, !22}
!49 = distinct !{!49, !22}
!50 = distinct !{!50, !22}


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