; LLVM IR from erthink/libmdbx :: src (dbi)

; 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.libmdbx_globals = type { %union.bin128, i32, i32, i8, i8, i8, i8, i32, %union.logger_union, %union.pthread_mutex_t, i64, ptr }
%union.bin128 = type { %struct.anon }
%struct.anon = type { i64, i64 }
%union.logger_union = type { ptr }
%union.pthread_mutex_t = type { %struct.__pthread_mutex_s }
%struct.__pthread_mutex_s = type { i32, i32, i32, i32, i32, i16, i16, %struct.__pthread_internal_list }
%struct.__pthread_internal_list = type { ptr, ptr }
%struct.MDBX_txn = type { i32, i32, i64, i64, ptr, ptr, %struct.geo, i64, i64, ptr, ptr, ptr, ptr, ptr, ptr, %struct.MDBX_canary, ptr, %union.anon.2 }
%struct.geo = type { i16, i16, i32, i32, %union.anon, %union.anon.1 }
%union.anon = type { i32 }
%union.anon.1 = type { i32 }
%struct.MDBX_canary = type { i64, i64, i64, i64 }
%union.anon.2 = type { %struct.anon.4 }
%struct.anon.4 = type { %struct.troika, ptr, %struct.anon.5, i8, i32, i32, i64, ptr, ptr, ptr, i64, %union.anon.6 }
%struct.troika = type { i8, i8, i8, i8, i32, [3 x i64] }
%struct.anon.5 = type { %struct.MDBX_rkl, i64, %struct.MDBX_rkl }
%struct.MDBX_rkl = type { i64, i64, i32, i32, ptr, [12 x i64] }
%union.anon.6 = type { %struct.anon.7 }
%struct.anon.7 = type { i64, ptr }
%struct.MDBX_env = type { %union.mdbx_atomic_uint32_t, i32, i32, %struct.osal_mmap, i32, i32, %struct.osal_mmap, ptr, i16, i16, i16, i16, i16, i16, %union.mdbx_atomic_uint32_t, i8, i8, i16, i32, i32, i32, i32, %struct.anon.9, ptr, ptr, ptr, ptr, ptr, i32, i32, i32, ptr, ptr, i64, %struct.anon.10, %struct.anon.14, i8, ptr, ptr, ptr, %struct.anon.15, %union.pthread_mutex_t, i32, i32, ptr, %struct.osal_ioring, %union.pthread_mutex_t, [71 x %union.mdbx_atomic_uint64_t] }
%struct.osal_mmap = type { %union.anon.8, i32, i64, i64, i64 }
%union.anon.8 = type { ptr }
%union.mdbx_atomic_uint32_t = type { i32 }
%struct.anon.9 = type { ptr, ptr, ptr, ptr }
%struct.anon.10 = type { i32, i32, i32, i32, i64, i8, i8, i8, i8, i32, i32, i8, i8, i8, %struct.anon.11, %union.anon.12 }
%struct.anon.11 = type { i16, i16, i16, i16 }
%union.anon.12 = type { i32 }
%struct.anon.14 = type { i64, i64, i64, i64, i64 }
%struct.anon.15 = type { i64 }
%struct.osal_ioring = type { i32, i32, i32, ptr, ptr, ptr }
%union.mdbx_atomic_uint64_t = type { i64 }
%struct.kvx = type { %struct.clc2, %struct.iovec }
%struct.clc2 = type { %struct.clc, %struct.clc }
%struct.clc = type { ptr, i64, i64 }
%struct.iovec = type { ptr, i64 }
%struct.tree = type { i16, i16, i32, i32, i32, i32, i32, i64, i64, i64 }

@globals = external global %struct.libmdbx_globals, align 8
@.str.18 = external hidden unnamed_addr constant [37 x i8], align 1
@__func__.dbi_bind = external hidden unnamed_addr constant [9 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [232 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [94 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [73 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [87 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [92 x i8], align 1

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(none)
declare i64 @llvm.expect.i64(i64, i64) #0

; Function Attrs: noreturn
declare void @mdbx_assert_fail(ptr noundef, ptr noundef, ptr noundef, i32 noundef) #1

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

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @dbi_seq_next(ptr noundef, i64 noundef) #3

; Function Attrs: alwaysinline nounwind uwtable
declare hidden i32 @atomic_store32(ptr noundef, i32 noundef, i32 noundef) #4

; Function Attrs: nounwind uwtable
define dso_local i32 @dbi_bind(ptr noundef %0, i64 noundef %1, i32 noundef %2, ptr noundef %3, ptr noundef %4) #5 {
  %6 = alloca i32, align 4
  %7 = alloca ptr, align 8
  %8 = alloca i64, align 8
  %9 = alloca i32, align 4
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i16, align 2
  store ptr %0, ptr %7, align 8, !tbaa !5
  store i64 %1, ptr %8, align 8, !tbaa !9
  store i32 %2, ptr %9, align 4, !tbaa !11
  store ptr %3, ptr %10, align 8, !tbaa !5
  store ptr %4, ptr %11, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #7
  %17 = load ptr, ptr %7, align 8, !tbaa !5
  %18 = getelementptr inbounds %struct.MDBX_txn, ptr %17, i32 0, i32 9
  %19 = load ptr, ptr %18, align 8, !tbaa !13
  store ptr %19, ptr %12, align 8, !tbaa !5
  br label %20

20:                                               ; preds = %5
  %21 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !18
  %22 = zext i8 %21 to i32
  %23 = and i32 %22, 1
  %24 = icmp ne i32 %23, 0
  %25 = xor i1 %24, true
  %26 = xor i1 %25, true
  %27 = zext i1 %26 to i32
  %28 = sext i32 %27 to i64
  %29 = call i64 @llvm.expect.i64(i64 %28, i64 1)
  %30 = icmp ne i64 %29, 0
  br i1 %30, label %31, label %59

31:                                               ; preds = %20
  br label %32

32:                                               ; preds = %31
  %33 = load i64, ptr %8, align 8, !tbaa !9
  %34 = load ptr, ptr %7, align 8, !tbaa !5
  %35 = getelementptr inbounds %struct.MDBX_txn, ptr %34, i32 0, i32 2
  %36 = load i64, ptr %35, align 8, !tbaa !21
  %37 = icmp ult i64 %33, %36
  br i1 %37, label %38, label %45

38:                                               ; preds = %32
  %39 = load i64, ptr %8, align 8, !tbaa !9
  %40 = load ptr, ptr %12, align 8, !tbaa !5
  %41 = getelementptr inbounds %struct.MDBX_env, ptr %40, i32 0, i32 42
  %42 = load i32, ptr %41, align 8, !tbaa !22
  %43 = zext i32 %42 to i64
  %44 = icmp ult i64 %39, %43
  br label %45

45:                                               ; preds = %38, %32
  %46 = phi i1 [ false, %32 ], [ %44, %38 ]
  %47 = xor i1 %46, true
  %48 = xor i1 %47, true
  %49 = xor i1 %48, true
  %50 = zext i1 %49 to i32
  %51 = sext i32 %50 to i64
  %52 = call i64 @llvm.expect.i64(i64 %51, i64 0)
  %53 = icmp ne i64 %52, 0
  br i1 %53, label %54, label %56

54:                                               ; preds = %45
  %55 = load ptr, ptr %12, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %55, ptr noundef @.str.18, ptr noundef @__func__.dbi_bind, i32 noundef 233) #8
  unreachable

56:                                               ; preds = %45
  br label %57

57:                                               ; preds = %56
  br label %58

58:                                               ; preds = %57
  br label %59

59:                                               ; preds = %58, %20
  br label %60

60:                                               ; preds = %59
  br label %61

61:                                               ; preds = %60
  br label %62

62:                                               ; preds = %61
  %63 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !18
  %64 = zext i8 %63 to i32
  %65 = and i32 %64, 1
  %66 = icmp ne i32 %65, 0
  %67 = xor i1 %66, true
  %68 = xor i1 %67, true
  %69 = zext i1 %68 to i32
  %70 = sext i32 %69 to i64
  %71 = call i64 @llvm.expect.i64(i64 %70, i64 1)
  %72 = icmp ne i64 %71, 0
  br i1 %72, label %73, label %93

73:                                               ; preds = %62
  br label %74

74:                                               ; preds = %73
  %75 = load ptr, ptr %7, align 8, !tbaa !5
  %76 = load i64, ptr %8, align 8, !tbaa !9
  %77 = call zeroext i8 @dbi_state(ptr noundef %75, i64 noundef %76)
  %78 = zext i8 %77 to i32
  %79 = and i32 %78, 128
  %80 = icmp ne i32 %79, 0
  %81 = xor i1 %80, true
  %82 = xor i1 %81, true
  %83 = xor i1 %82, true
  %84 = zext i1 %83 to i32
  %85 = sext i32 %84 to i64
  %86 = call i64 @llvm.expect.i64(i64 %85, i64 0)
  %87 = icmp ne i64 %86, 0
  br i1 %87, label %88, label %90

88:                                               ; preds = %74
  %89 = load ptr, ptr %12, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %89, ptr noundef @.str.19, ptr noundef @__func__.dbi_bind, i32 noundef 234) #8
  unreachable

90:                                               ; preds = %74
  br label %91

91:                                               ; preds = %90
  br label %92

92:                                               ; preds = %91
  br label %93

93:                                               ; preds = %92, %62
  br label %94

94:                                               ; preds = %93
  br label %95

95:                                               ; preds = %94
  br label %96

96:                                               ; preds = %95
  %97 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !18
  %98 = zext i8 %97 to i32
  %99 = and i32 %98, 1
  %100 = icmp ne i32 %99, 0
  %101 = xor i1 %100, true
  %102 = xor i1 %101, true
  %103 = zext i1 %102 to i32
  %104 = sext i32 %103 to i64
  %105 = call i64 @llvm.expect.i64(i64 %104, i64 1)
  %106 = icmp ne i64 %105, 0
  br i1 %106, label %107, label %129

107:                                              ; preds = %96
  br label %108

108:                                              ; preds = %107
  %109 = load ptr, ptr %12, align 8, !tbaa !5
  %110 = getelementptr inbounds %struct.MDBX_env, ptr %109, i32 0, i32 26
  %111 = load ptr, ptr %110, align 8, !tbaa !31
  %112 = load i64, ptr %8, align 8, !tbaa !9
  %113 = getelementptr inbounds i8, ptr %111, i64 %112
  %114 = load i8, ptr %113, align 1, !tbaa !32
  %115 = zext i8 %114 to i32
  %116 = icmp ne i32 %115, 127
  %117 = xor i1 %116, true
  %118 = xor i1 %117, true
  %119 = xor i1 %118, true
  %120 = zext i1 %119 to i32
  %121 = sext i32 %120 to i64
  %122 = call i64 @llvm.expect.i64(i64 %121, i64 0)
  %123 = icmp ne i64 %122, 0
  br i1 %123, label %124, label %126

124:                                              ; preds = %108
  %125 = load ptr, ptr %12, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %125, ptr noundef @.str.20, ptr noundef @__func__.dbi_bind, i32 noundef 235) #8
  unreachable

126:                                              ; preds = %108
  br label %127

127:                                              ; preds = %126
  br label %128

128:                                              ; preds = %127
  br label %129

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

130:                                              ; preds = %129
  br label %131

131:                                              ; preds = %130
  %132 = load ptr, ptr %12, align 8, !tbaa !5
  %133 = getelementptr inbounds %struct.MDBX_env, ptr %132, i32 0, i32 26
  %134 = load ptr, ptr %133, align 8, !tbaa !31
  %135 = load i64, ptr %8, align 8, !tbaa !9
  %136 = getelementptr inbounds i8, ptr %134, i64 %135
  %137 = load i8, ptr %136, align 1, !tbaa !32
  %138 = zext i8 %137 to i32
  %139 = and i32 %138, 128
  %140 = icmp eq i32 %139, 0
  br i1 %140, label %141, label %258

141:                                              ; preds = %131
  br label %142

142:                                              ; preds = %141
  %143 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !18
  %144 = zext i8 %143 to i32
  %145 = and i32 %144, 1
  %146 = icmp ne i32 %145, 0
  %147 = xor i1 %146, true
  %148 = xor i1 %147, true
  %149 = zext i1 %148 to i32
  %150 = sext i32 %149 to i64
  %151 = call i64 @llvm.expect.i64(i64 %150, i64 1)
  %152 = icmp ne i64 %151, 0
  br i1 %152, label %153, label %255

153:                                              ; preds = %142
  br label %154

154:                                              ; preds = %153
  %155 = load ptr, ptr %12, align 8, !tbaa !5
  %156 = getelementptr inbounds %struct.MDBX_env, ptr %155, i32 0, i32 25
  %157 = load ptr, ptr %156, align 8, !tbaa !33
  %158 = load i64, ptr %8, align 8, !tbaa !9
  %159 = getelementptr inbounds %struct.kvx, ptr %157, i64 %158
  %160 = getelementptr inbounds %struct.kvx, ptr %159, i32 0, i32 0
  %161 = getelementptr inbounds %struct.clc2, ptr %160, i32 0, i32 0
  %162 = getelementptr inbounds %struct.clc, ptr %161, i32 0, i32 0
  %163 = load ptr, ptr %162, align 8, !tbaa !34
  %164 = icmp ne ptr %163, null
  br i1 %164, label %241, label %165

165:                                              ; preds = %154
  %166 = load ptr, ptr %12, align 8, !tbaa !5
  %167 = getelementptr inbounds %struct.MDBX_env, ptr %166, i32 0, i32 25
  %168 = load ptr, ptr %167, align 8, !tbaa !33
  %169 = load i64, ptr %8, align 8, !tbaa !9
  %170 = getelementptr inbounds %struct.kvx, ptr %168, i64 %169
  %171 = getelementptr inbounds %struct.kvx, ptr %170, i32 0, i32 0
  %172 = getelementptr inbounds %struct.clc2, ptr %171, i32 0, i32 1
  %173 = getelementptr inbounds %struct.clc, ptr %172, i32 0, i32 0
  %174 = load ptr, ptr %173, align 8, !tbaa !39
  %175 = icmp ne ptr %174, null
  br i1 %175, label %241, label %176

176:                                              ; preds = %165
  %177 = load ptr, ptr %12, align 8, !tbaa !5
  %178 = getelementptr inbounds %struct.MDBX_env, ptr %177, i32 0, i32 25
  %179 = load ptr, ptr %178, align 8, !tbaa !33
  %180 = load i64, ptr %8, align 8, !tbaa !9
  %181 = getelementptr inbounds %struct.kvx, ptr %179, i64 %180
  %182 = getelementptr inbounds %struct.kvx, ptr %181, i32 0, i32 1
  %183 = getelementptr inbounds %struct.iovec, ptr %182, i32 0, i32 1
  %184 = load i64, ptr %183, align 8, !tbaa !40
  %185 = icmp ne i64 %184, 0
  br i1 %185, label %241, label %186

186:                                              ; preds = %176
  %187 = load ptr, ptr %12, align 8, !tbaa !5
  %188 = getelementptr inbounds %struct.MDBX_env, ptr %187, i32 0, i32 25
  %189 = load ptr, ptr %188, align 8, !tbaa !33
  %190 = load i64, ptr %8, align 8, !tbaa !9
  %191 = getelementptr inbounds %struct.kvx, ptr %189, i64 %190
  %192 = getelementptr inbounds %struct.kvx, ptr %191, i32 0, i32 1
  %193 = getelementptr inbounds %struct.iovec, ptr %192, i32 0, i32 0
  %194 = load ptr, ptr %193, align 8, !tbaa !41
  %195 = icmp ne ptr %194, null
  br i1 %195, label %241, label %196

196:                                              ; preds = %186
  %197 = load ptr, ptr %12, align 8, !tbaa !5
  %198 = getelementptr inbounds %struct.MDBX_env, ptr %197, i32 0, i32 25
  %199 = load ptr, ptr %198, align 8, !tbaa !33
  %200 = load i64, ptr %8, align 8, !tbaa !9
  %201 = getelementptr inbounds %struct.kvx, ptr %199, i64 %200
  %202 = getelementptr inbounds %struct.kvx, ptr %201, i32 0, i32 0
  %203 = getelementptr inbounds %struct.clc2, ptr %202, i32 0, i32 0
  %204 = getelementptr inbounds %struct.clc, ptr %203, i32 0, i32 2
  %205 = load i64, ptr %204, align 8, !tbaa !42
  %206 = icmp ne i64 %205, 0
  br i1 %206, label %241, label %207

207:                                              ; preds = %196
  %208 = load ptr, ptr %12, align 8, !tbaa !5
  %209 = getelementptr inbounds %struct.MDBX_env, ptr %208, i32 0, i32 25
  %210 = load ptr, ptr %209, align 8, !tbaa !33
  %211 = load i64, ptr %8, align 8, !tbaa !9
  %212 = getelementptr inbounds %struct.kvx, ptr %210, i64 %211
  %213 = getelementptr inbounds %struct.kvx, ptr %212, i32 0, i32 0
  %214 = getelementptr inbounds %struct.clc2, ptr %213, i32 0, i32 0
  %215 = getelementptr inbounds %struct.clc, ptr %214, i32 0, i32 1
  %216 = load i64, ptr %215, align 8, !tbaa !43
  %217 = icmp ne i64 %216, 0
  br i1 %217, label %241, label %218

218:                                              ; preds = %207
  %219 = load ptr, ptr %12, align 8, !tbaa !5
  %220 = getelementptr inbounds %struct.MDBX_env, ptr %219, i32 0, i32 25
  %221 = load ptr, ptr %220, align 8, !tbaa !33
  %222 = load i64, ptr %8, align 8, !tbaa !9
  %223 = getelementptr inbounds %struct.kvx, ptr %221, i64 %222
  %224 = getelementptr inbounds %struct.kvx, ptr %223, i32 0, i32 0
  %225 = getelementptr inbounds %struct.clc2, ptr %224, i32 0, i32 1
  %226 = getelementptr inbounds %struct.clc, ptr %225, i32 0, i32 2
  %227 = load i64, ptr %226, align 8, !tbaa !44
  %228 = icmp ne i64 %227, 0
  br i1 %228, label %241, label %229

229:                                              ; preds = %218
  %230 = load ptr, ptr %12, align 8, !tbaa !5
  %231 = getelementptr inbounds %struct.MDBX_env, ptr %230, i32 0, i32 25
  %232 = load ptr, ptr %231, align 8, !tbaa !33
  %233 = load i64, ptr %8, align 8, !tbaa !9
  %234 = getelementptr inbounds %struct.kvx, ptr %232, i64 %233
  %235 = getelementptr inbounds %struct.kvx, ptr %234, i32 0, i32 0
  %236 = getelementptr inbounds %struct.clc2, ptr %235, i32 0, i32 1
  %237 = getelementptr inbounds %struct.clc, ptr %236, i32 0, i32 1
  %238 = load i64, ptr %237, align 8, !tbaa !45
  %239 = icmp ne i64 %238, 0
  %240 = xor i1 %239, true
  br label %241

241:                                              ; preds = %229, %218, %207, %196, %186, %176, %165, %154
  %242 = phi i1 [ false, %218 ], [ false, %207 ], [ false, %196 ], [ false, %186 ], [ false, %176 ], [ false, %165 ], [ false, %154 ], [ %240, %229 ]
  %243 = xor i1 %242, true
  %244 = xor i1 %243, true
  %245 = xor i1 %244, true
  %246 = zext i1 %245 to i32
  %247 = sext i32 %246 to i64
  %248 = call i64 @llvm.expect.i64(i64 %247, i64 0)
  %249 = icmp ne i64 %248, 0
  br i1 %249, label %250, label %252

250:                                              ; preds = %241
  %251 = load ptr, ptr %12, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %251, ptr noundef @.str.21, ptr noundef @__func__.dbi_bind, i32 noundef 239) #8
  unreachable

252:                                              ; preds = %241
  br label %253

253:                                              ; preds = %252
  br label %254

254:                                              ; preds = %253
  br label %255

255:                                              ; preds = %254, %142
  br label %256

256:                                              ; preds = %255
  br label %257

257:                                              ; preds = %256
  br label %358

258:                                              ; preds = %131
  br label %259

259:                                              ; preds = %258
  %260 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !18
  %261 = zext i8 %260 to i32
  %262 = and i32 %261, 1
  %263 = icmp ne i32 %262, 0
  %264 = xor i1 %263, true
  %265 = xor i1 %264, true
  %266 = zext i1 %265 to i32
  %267 = sext i32 %266 to i64
  %268 = call i64 @llvm.expect.i64(i64 %267, i64 1)
  %269 = icmp ne i64 %268, 0
  br i1 %269, label %270, label %313

270:                                              ; preds = %259
  br label %271

271:                                              ; preds = %270
  %272 = load ptr, ptr %7, align 8, !tbaa !5
  %273 = getelementptr inbounds %struct.MDBX_txn, ptr %272, i32 0, i32 12
  %274 = load ptr, ptr %273, align 8, !tbaa !46
  %275 = load i64, ptr %8, align 8, !tbaa !9
  %276 = getelementptr inbounds i8, ptr %274, i64 %275
  %277 = load i8, ptr %276, align 1, !tbaa !32
  %278 = zext i8 %277 to i32
  %279 = and i32 %278, 16
  %280 = icmp ne i32 %279, 0
  br i1 %280, label %281, label %299

281:                                              ; preds = %271
  %282 = load ptr, ptr %7, align 8, !tbaa !5
  %283 = getelementptr inbounds %struct.MDBX_txn, ptr %282, i32 0, i32 10
  %284 = load ptr, ptr %283, align 8, !tbaa !47
  %285 = load i64, ptr %8, align 8, !tbaa !9
  %286 = getelementptr inbounds %struct.tree, ptr %284, i64 %285
  %287 = getelementptr inbounds %struct.tree, ptr %286, i32 0, i32 0
  %288 = load i16, ptr %287, align 4, !tbaa !48
  %289 = zext i16 %288 to i32
  %290 = or i32 %289, 128
  %291 = load ptr, ptr %12, align 8, !tbaa !5
  %292 = getelementptr inbounds %struct.MDBX_env, ptr %291, i32 0, i32 26
  %293 = load ptr, ptr %292, align 8, !tbaa !31
  %294 = load i64, ptr %8, align 8, !tbaa !9
  %295 = getelementptr inbounds i8, ptr %293, i64 %294
  %296 = load i8, ptr %295, align 1, !tbaa !32
  %297 = zext i8 %296 to i32
  %298 = icmp eq i32 %290, %297
  br label %299

299:                                              ; preds = %281, %271
  %300 = phi i1 [ true, %271 ], [ %298, %281 ]
  %301 = xor i1 %300, true
  %302 = xor i1 %301, true
  %303 = xor i1 %302, true
  %304 = zext i1 %303 to i32
  %305 = sext i32 %304 to i64
  %306 = call i64 @llvm.expect.i64(i64 %305, i64 0)
  %307 = icmp ne i64 %306, 0
  br i1 %307, label %308, label %310

308:                                              ; preds = %299
  %309 = load ptr, ptr %12, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %309, ptr noundef @.str.22, ptr noundef @__func__.dbi_bind, i32 noundef 241) #8
  unreachable

310:                                              ; preds = %299
  br label %311

311:                                              ; preds = %310
  br label %312

312:                                              ; preds = %311
  br label %313

313:                                              ; preds = %312, %259
  br label %314

314:                                              ; preds = %313
  br label %315

315:                                              ; preds = %314
  br label %316

316:                                              ; preds = %315
  %317 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !18
  %318 = zext i8 %317 to i32
  %319 = and i32 %318, 1
  %320 = icmp ne i32 %319, 0
  %321 = xor i1 %320, true
  %322 = xor i1 %321, true
  %323 = zext i1 %322 to i32
  %324 = sext i32 %323 to i64
  %325 = call i64 @llvm.expect.i64(i64 %324, i64 1)
  %326 = icmp ne i64 %325, 0
  br i1 %326, label %327, label %355

327:                                              ; preds = %316
  br label %328

328:                                              ; preds = %327
  %329 = load ptr, ptr %12, align 8, !tbaa !5
  %330 = getelementptr inbounds %struct.MDBX_env, ptr %329, i32 0, i32 25
  %331 = load ptr, ptr %330, align 8, !tbaa !33
  %332 = load i64, ptr %8, align 8, !tbaa !9
  %333 = getelementptr inbounds %struct.kvx, ptr %331, i64 %332
  %334 = getelementptr inbounds %struct.kvx, ptr %333, i32 0, i32 1
  %335 = getelementptr inbounds %struct.iovec, ptr %334, i32 0, i32 0
  %336 = load ptr, ptr %335, align 8, !tbaa !41
  %337 = icmp ne ptr %336, null
  br i1 %337, label %341, label %338

338:                                              ; preds = %328
  %339 = load i64, ptr %8, align 8, !tbaa !9
  %340 = icmp ult i64 %339, 2
  br label %341

341:                                              ; preds = %338, %328
  %342 = phi i1 [ true, %328 ], [ %340, %338 ]
  %343 = xor i1 %342, true
  %344 = xor i1 %343, true
  %345 = xor i1 %344, true
  %346 = zext i1 %345 to i32
  %347 = sext i32 %346 to i64
  %348 = call i64 @llvm.expect.i64(i64 %347, i64 0)
  %349 = icmp ne i64 %348, 0
  br i1 %349, label %350, label %352

350:                                              ; preds = %341
  %351 = load ptr, ptr %12, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %351, ptr noundef @.str.23, ptr noundef @__func__.dbi_bind, i32 noundef 242) #8
  unreachable

352:                                              ; preds = %341
  br label %353

353:                                              ; preds = %352
  br label %354

354:                                              ; preds = %353
  br label %355

355:                                              ; preds = %354, %316
  br label %356

356:                                              ; preds = %355
  br label %357

357:                                              ; preds = %356
  br label %358

358:                                              ; preds = %357, %257
  %359 = load i32, ptr %9, align 4, !tbaa !11
  %360 = and i32 %359, -262145
  %361 = load ptr, ptr %12, align 8, !tbaa !5
  %362 = getelementptr inbounds %struct.MDBX_env, ptr %361, i32 0, i32 26
  %363 = load ptr, ptr %362, align 8, !tbaa !31
  %364 = load i64, ptr %8, align 8, !tbaa !9
  %365 = getelementptr inbounds i8, ptr %363, i64 %364
  %366 = load i8, ptr %365, align 1, !tbaa !32
  %367 = zext i8 %366 to i32
  %368 = and i32 %367, 126
  %369 = icmp ne i32 %360, %368
  br i1 %369, label %370, label %790

370:                                              ; preds = %358
  %371 = load i32, ptr %9, align 4, !tbaa !11
  %372 = icmp ne i32 %371, 0
  br i1 %372, label %403, label %373

373:                                              ; preds = %370
  %374 = load ptr, ptr %10, align 8, !tbaa !5
  %375 = icmp ne ptr %374, null
  br i1 %375, label %376, label %388

376:                                              ; preds = %373
  %377 = load ptr, ptr %10, align 8, !tbaa !5
  %378 = load ptr, ptr %12, align 8, !tbaa !5
  %379 = getelementptr inbounds %struct.MDBX_env, ptr %378, i32 0, i32 25
  %380 = load ptr, ptr %379, align 8, !tbaa !33
  %381 = load i64, ptr %8, align 8, !tbaa !9
  %382 = getelementptr inbounds %struct.kvx, ptr %380, i64 %381
  %383 = getelementptr inbounds %struct.kvx, ptr %382, i32 0, i32 0
  %384 = getelementptr inbounds %struct.clc2, ptr %383, i32 0, i32 0
  %385 = getelementptr inbounds %struct.clc, ptr %384, i32 0, i32 0
  %386 = load ptr, ptr %385, align 8, !tbaa !34
  %387 = icmp eq ptr %377, %386
  br i1 %387, label %388, label %403

388:                                              ; preds = %376, %373
  %389 = load ptr, ptr %11, align 8, !tbaa !5
  %390 = icmp ne ptr %389, null
  br i1 %390, label %391, label %406

391:                                              ; preds = %388
  %392 = load ptr, ptr %11, align 8, !tbaa !5
  %393 = load ptr, ptr %12, align 8, !tbaa !5
  %394 = getelementptr inbounds %struct.MDBX_env, ptr %393, i32 0, i32 25
  %395 = load ptr, ptr %394, align 8, !tbaa !33
  %396 = load i64, ptr %8, align 8, !tbaa !9
  %397 = getelementptr inbounds %struct.kvx, ptr %395, i64 %396
  %398 = getelementptr inbounds %struct.kvx, ptr %397, i32 0, i32 0
  %399 = getelementptr inbounds %struct.clc2, ptr %398, i32 0, i32 1
  %400 = getelementptr inbounds %struct.clc, ptr %399, i32 0, i32 0
  %401 = load ptr, ptr %400, align 8, !tbaa !39
  %402 = icmp eq ptr %392, %401
  br i1 %402, label %406, label %403

403:                                              ; preds = %391, %376, %370
  %404 = load i32, ptr %9, align 4, !tbaa !11
  %405 = icmp eq i32 %404, 1073741824
  br i1 %405, label %406, label %415

406:                                              ; preds = %403, %391, %388
  %407 = load ptr, ptr %12, align 8, !tbaa !5
  %408 = getelementptr inbounds %struct.MDBX_env, ptr %407, i32 0, i32 26
  %409 = load ptr, ptr %408, align 8, !tbaa !31
  %410 = load i64, ptr %8, align 8, !tbaa !9
  %411 = getelementptr inbounds i8, ptr %409, i64 %410
  %412 = load i8, ptr %411, align 1, !tbaa !32
  %413 = zext i8 %412 to i32
  %414 = and i32 %413, 126
  store i32 %414, ptr %9, align 4, !tbaa !11
  br label %789

415:                                              ; preds = %403
  %416 = load i32, ptr %9, align 4, !tbaa !11
  %417 = and i32 %416, 262144
  %418 = icmp eq i32 %417, 0
  br i1 %418, label %419, label %420

419:                                              ; preds = %415
  store i32 -30784, ptr %6, align 4
  store i32 1, ptr %13, align 4
  br label %913

420:                                              ; preds = %415
  %421 = load ptr, ptr %7, align 8, !tbaa !5
  %422 = getelementptr inbounds %struct.MDBX_txn, ptr %421, i32 0, i32 12
  %423 = load ptr, ptr %422, align 8, !tbaa !46
  %424 = load i64, ptr %8, align 8, !tbaa !9
  %425 = getelementptr inbounds i8, ptr %423, i64 %424
  %426 = load i8, ptr %425, align 1, !tbaa !32
  %427 = zext i8 %426 to i32
  %428 = and i32 %427, 2
  %429 = icmp ne i32 %428, 0
  br i1 %429, label %430, label %485

430:                                              ; preds = %420
  br label %431

431:                                              ; preds = %430
  %432 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !18
  %433 = zext i8 %432 to i32
  %434 = and i32 %433, 1
  %435 = icmp ne i32 %434, 0
  %436 = xor i1 %435, true
  %437 = xor i1 %436, true
  %438 = zext i1 %437 to i32
  %439 = sext i32 %438 to i64
  %440 = call i64 @llvm.expect.i64(i64 %439, i64 1)
  %441 = icmp ne i64 %440, 0
  br i1 %441, label %442, label %465

442:                                              ; preds = %431
  br label %443

443:                                              ; preds = %442
  %444 = load ptr, ptr %12, align 8, !tbaa !5
  %445 = getelementptr inbounds %struct.MDBX_env, ptr %444, i32 0, i32 26
  %446 = load ptr, ptr %445, align 8, !tbaa !31
  %447 = load i64, ptr %8, align 8, !tbaa !9
  %448 = getelementptr inbounds i8, ptr %446, i64 %447
  %449 = load i8, ptr %448, align 1, !tbaa !32
  %450 = zext i8 %449 to i32
  %451 = and i32 %450, 128
  %452 = icmp ne i32 %451, 0
  %453 = xor i1 %452, true
  %454 = xor i1 %453, true
  %455 = xor i1 %454, true
  %456 = zext i1 %455 to i32
  %457 = sext i32 %456 to i64
  %458 = call i64 @llvm.expect.i64(i64 %457, i64 0)
  %459 = icmp ne i64 %458, 0
  br i1 %459, label %460, label %462

460:                                              ; preds = %443
  %461 = load ptr, ptr %12, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %461, ptr noundef @.str.24, ptr noundef @__func__.dbi_bind, i32 noundef 267) #8
  unreachable

462:                                              ; preds = %443
  br label %463

463:                                              ; preds = %462
  br label %464

464:                                              ; preds = %463
  br label %465

465:                                              ; preds = %464, %431
  br label %466

466:                                              ; preds = %465
  br label %467

467:                                              ; preds = %466
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #7
  %468 = load ptr, ptr %7, align 8, !tbaa !5
  %469 = load i64, ptr %8, align 8, !tbaa !9
  %470 = call i32 @tbl_fetch(ptr noundef %468, i64 noundef %469)
  store i32 %470, ptr %14, align 4, !tbaa !11
  %471 = load i32, ptr %14, align 4, !tbaa !11
  %472 = icmp eq i32 %471, 0
  %473 = xor i1 %472, true
  %474 = xor i1 %473, true
  %475 = zext i1 %474 to i32
  %476 = sext i32 %475 to i64
  %477 = call i64 @llvm.expect.i64(i64 %476, i64 0)
  %478 = icmp ne i64 %477, 0
  br i1 %478, label %479, label %481

479:                                              ; preds = %467
  %480 = load i32, ptr %14, align 4, !tbaa !11
  store i32 %480, ptr %6, align 4
  store i32 1, ptr %13, align 4
  br label %482

481:                                              ; preds = %467
  store i32 0, ptr %13, align 4
  br label %482

482:                                              ; preds = %481, %479
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #7
  %483 = load i32, ptr %13, align 4
  switch i32 %483, label %913 [
    i32 0, label %484
  ]

484:                                              ; preds = %482
  br label %485

485:                                              ; preds = %484, %420
  br label %486

486:                                              ; preds = %485
  %487 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !18
  %488 = zext i8 %487 to i32
  %489 = and i32 %488, 1
  %490 = icmp ne i32 %489, 0
  %491 = xor i1 %490, true
  %492 = xor i1 %491, true
  %493 = zext i1 %492 to i32
  %494 = sext i32 %493 to i64
  %495 = call i64 @llvm.expect.i64(i64 %494, i64 1)
  %496 = icmp ne i64 %495, 0
  br i1 %496, label %497, label %529

497:                                              ; preds = %486
  br label %498

498:                                              ; preds = %497
  %499 = load ptr, ptr %12, align 8, !tbaa !5
  %500 = getelementptr inbounds %struct.MDBX_env, ptr %499, i32 0, i32 26
  %501 = load ptr, ptr %500, align 8, !tbaa !31
  %502 = load i64, ptr %8, align 8, !tbaa !9
  %503 = getelementptr inbounds i8, ptr %501, i64 %502
  %504 = load i8, ptr %503, align 1, !tbaa !32
  %505 = zext i8 %504 to i32
  %506 = load ptr, ptr %7, align 8, !tbaa !5
  %507 = getelementptr inbounds %struct.MDBX_txn, ptr %506, i32 0, i32 10
  %508 = load ptr, ptr %507, align 8, !tbaa !47
  %509 = load i64, ptr %8, align 8, !tbaa !9
  %510 = getelementptr inbounds %struct.tree, ptr %508, i64 %509
  %511 = getelementptr inbounds %struct.tree, ptr %510, i32 0, i32 0
  %512 = load i16, ptr %511, align 4, !tbaa !48
  %513 = zext i16 %512 to i32
  %514 = xor i32 %505, %513
  %515 = and i32 %514, 126
  %516 = icmp eq i32 %515, 0
  %517 = xor i1 %516, true
  %518 = xor i1 %517, true
  %519 = xor i1 %518, true
  %520 = zext i1 %519 to i32
  %521 = sext i32 %520 to i64
  %522 = call i64 @llvm.expect.i64(i64 %521, i64 0)
  %523 = icmp ne i64 %522, 0
  br i1 %523, label %524, label %526

524:                                              ; preds = %498
  %525 = load ptr, ptr %12, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %525, ptr noundef @.str.25, ptr noundef @__func__.dbi_bind, i32 noundef 272) #8
  unreachable

526:                                              ; preds = %498
  br label %527

527:                                              ; preds = %526
  br label %528

528:                                              ; preds = %527
  br label %529

529:                                              ; preds = %528, %486
  br label %530

530:                                              ; preds = %529
  br label %531

531:                                              ; preds = %530
  br label %532

532:                                              ; preds = %531
  %533 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !18
  %534 = zext i8 %533 to i32
  %535 = and i32 %534, 1
  %536 = icmp ne i32 %535, 0
  %537 = xor i1 %536, true
  %538 = xor i1 %537, true
  %539 = zext i1 %538 to i32
  %540 = sext i32 %539 to i64
  %541 = call i64 @llvm.expect.i64(i64 %540, i64 1)
  %542 = icmp ne i64 %541, 0
  br i1 %542, label %543, label %566

543:                                              ; preds = %532
  br label %544

544:                                              ; preds = %543
  %545 = load ptr, ptr %7, align 8, !tbaa !5
  %546 = getelementptr inbounds %struct.MDBX_txn, ptr %545, i32 0, i32 12
  %547 = load ptr, ptr %546, align 8, !tbaa !46
  %548 = load i64, ptr %8, align 8, !tbaa !9
  %549 = getelementptr inbounds i8, ptr %547, i64 %548
  %550 = load i8, ptr %549, align 1, !tbaa !32
  %551 = zext i8 %550 to i32
  %552 = and i32 %551, 146
  %553 = icmp eq i32 %552, 144
  %554 = xor i1 %553, true
  %555 = xor i1 %554, true
  %556 = xor i1 %555, true
  %557 = zext i1 %556 to i32
  %558 = sext i32 %557 to i64
  %559 = call i64 @llvm.expect.i64(i64 %558, i64 0)
  %560 = icmp ne i64 %559, 0
  br i1 %560, label %561, label %563

561:                                              ; preds = %544
  %562 = load ptr, ptr %12, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %562, ptr noundef @.str.26, ptr noundef @__func__.dbi_bind, i32 noundef 273) #8
  unreachable

563:                                              ; preds = %544
  br label %564

564:                                              ; preds = %563
  br label %565

565:                                              ; preds = %564
  br label %566

566:                                              ; preds = %565, %532
  br label %567

567:                                              ; preds = %566
  br label %568

568:                                              ; preds = %567
  %569 = load ptr, ptr %7, align 8, !tbaa !5
  %570 = getelementptr inbounds %struct.MDBX_txn, ptr %569, i32 0, i32 10
  %571 = load ptr, ptr %570, align 8, !tbaa !47
  %572 = load i64, ptr %8, align 8, !tbaa !9
  %573 = getelementptr inbounds %struct.tree, ptr %571, i64 %572
  %574 = getelementptr inbounds %struct.tree, ptr %573, i32 0, i32 5
  %575 = load i32, ptr %574, align 4, !tbaa !50
  %576 = icmp ne i32 %575, 0
  %577 = xor i1 %576, true
  %578 = xor i1 %577, true
  %579 = zext i1 %578 to i32
  %580 = sext i32 %579 to i64
  %581 = call i64 @llvm.expect.i64(i64 %580, i64 0)
  %582 = icmp ne i64 %581, 0
  br i1 %582, label %583, label %584

583:                                              ; preds = %568
  store i32 -30784, ptr %6, align 4
  store i32 1, ptr %13, align 4
  br label %913

584:                                              ; preds = %568
  %585 = load ptr, ptr %7, align 8, !tbaa !5
  %586 = getelementptr inbounds %struct.MDBX_txn, ptr %585, i32 0, i32 14
  %587 = load ptr, ptr %586, align 8, !tbaa !51
  %588 = load i64, ptr %8, align 8, !tbaa !9
  %589 = getelementptr inbounds ptr, ptr %587, i64 %588
  %590 = load ptr, ptr %589, align 8, !tbaa !5
  %591 = icmp ne ptr %590, null
  %592 = xor i1 %591, true
  %593 = xor i1 %592, true
  %594 = zext i1 %593 to i32
  %595 = sext i32 %594 to i64
  %596 = call i64 @llvm.expect.i64(i64 %595, i64 0)
  %597 = icmp ne i64 %596, 0
  br i1 %597, label %598, label %599

598:                                              ; preds = %584
  store i32 -30412, ptr %6, align 4
  store i32 1, ptr %13, align 4
  br label %913

599:                                              ; preds = %584
  %600 = load ptr, ptr %12, align 8, !tbaa !5
  %601 = getelementptr inbounds %struct.MDBX_env, ptr %600, i32 0, i32 26
  %602 = load ptr, ptr %601, align 8, !tbaa !31
  %603 = load i64, ptr %8, align 8, !tbaa !9
  %604 = getelementptr inbounds i8, ptr %602, i64 %603
  store i8 127, ptr %604, align 1, !tbaa !32
  %605 = load ptr, ptr %12, align 8, !tbaa !5
  %606 = getelementptr inbounds %struct.MDBX_env, ptr %605, i32 0, i32 27
  %607 = load ptr, ptr %606, align 8, !tbaa !52
  %608 = load i64, ptr %8, align 8, !tbaa !9
  %609 = getelementptr inbounds %union.mdbx_atomic_uint32_t, ptr %607, i64 %608
  %610 = load ptr, ptr %12, align 8, !tbaa !5
  %611 = load i64, ptr %8, align 8, !tbaa !9
  %612 = call i32 @dbi_seq_next(ptr noundef %610, i64 noundef %611)
  %613 = call i32 @atomic_store32(ptr noundef %609, i32 noundef %612, i32 noundef 1)
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #7
  %614 = load ptr, ptr %12, align 8, !tbaa !5
  %615 = load i64, ptr %8, align 8, !tbaa !9
  %616 = call i32 @dbi_seq_next(ptr noundef %614, i64 noundef %615)
  store i32 %616, ptr %15, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 2, ptr %16) #7
  %617 = load i32, ptr %9, align 4, !tbaa !11
  %618 = and i32 %617, 126
  %619 = trunc i32 %618 to i16
  store i16 %619, ptr %16, align 2, !tbaa !53
  br label %620

620:                                              ; preds = %599
  %621 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !18
  %622 = zext i8 %621 to i32
  %623 = and i32 %622, 1
  %624 = icmp ne i32 %623, 0
  %625 = xor i1 %624, true
  %626 = xor i1 %625, true
  %627 = zext i1 %626 to i32
  %628 = sext i32 %627 to i64
  %629 = call i64 @llvm.expect.i64(i64 %628, i64 1)
  %630 = icmp ne i64 %629, 0
  br i1 %630, label %631, label %674

631:                                              ; preds = %620
  br label %632

632:                                              ; preds = %631
  %633 = load ptr, ptr %7, align 8, !tbaa !5
  %634 = getelementptr inbounds %struct.MDBX_txn, ptr %633, i32 0, i32 10
  %635 = load ptr, ptr %634, align 8, !tbaa !47
  %636 = load i64, ptr %8, align 8, !tbaa !9
  %637 = getelementptr inbounds %struct.tree, ptr %635, i64 %636
  %638 = getelementptr inbounds %struct.tree, ptr %637, i32 0, i32 1
  %639 = load i16, ptr %638, align 2, !tbaa !54
  %640 = zext i16 %639 to i32
  %641 = icmp eq i32 %640, 0
  br i1 %641, label %642, label %660

642:                                              ; preds = %632
  %643 = load ptr, ptr %7, align 8, !tbaa !5
  %644 = getelementptr inbounds %struct.MDBX_txn, ptr %643, i32 0, i32 10
  %645 = load ptr, ptr %644, align 8, !tbaa !47
  %646 = load i64, ptr %8, align 8, !tbaa !9
  %647 = getelementptr inbounds %struct.tree, ptr %645, i64 %646
  %648 = getelementptr inbounds %struct.tree, ptr %647, i32 0, i32 8
  %649 = load i64, ptr %648, align 4, !tbaa !55
  %650 = icmp eq i64 %649, 0
  br i1 %650, label %651, label %660

651:                                              ; preds = %642
  %652 = load ptr, ptr %7, align 8, !tbaa !5
  %653 = getelementptr inbounds %struct.MDBX_txn, ptr %652, i32 0, i32 10
  %654 = load ptr, ptr %653, align 8, !tbaa !47
  %655 = load i64, ptr %8, align 8, !tbaa !9
  %656 = getelementptr inbounds %struct.tree, ptr %654, i64 %655
  %657 = getelementptr inbounds %struct.tree, ptr %656, i32 0, i32 3
  %658 = load i32, ptr %657, align 4, !tbaa !56
  %659 = icmp eq i32 %658, -1
  br label %660

660:                                              ; preds = %651, %642, %632
  %661 = phi i1 [ false, %642 ], [ false, %632 ], [ %659, %651 ]
  %662 = xor i1 %661, true
  %663 = xor i1 %662, true
  %664 = xor i1 %663, true
  %665 = zext i1 %664 to i32
  %666 = sext i32 %665 to i64
  %667 = call i64 @llvm.expect.i64(i64 %666, i64 0)
  %668 = icmp ne i64 %667, 0
  br i1 %668, label %669, label %671

669:                                              ; preds = %660
  %670 = load ptr, ptr %12, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %670, ptr noundef @.str.27, ptr noundef @__func__.dbi_bind, i32 noundef 285) #8
  unreachable

671:                                              ; preds = %660
  br label %672

672:                                              ; preds = %671
  br label %673

673:                                              ; preds = %672
  br label %674

674:                                              ; preds = %673, %620
  br label %675

675:                                              ; preds = %674
  br label %676

676:                                              ; preds = %675
  %677 = load ptr, ptr %10, align 8, !tbaa !5
  %678 = icmp ne ptr %677, null
  br i1 %678, label %679, label %681

679:                                              ; preds = %676
  %680 = load ptr, ptr %10, align 8, !tbaa !5
  br label %684

681:                                              ; preds = %676
  %682 = load i32, ptr %9, align 4, !tbaa !11
  %683 = call ptr @builtin_keycmp(i32 noundef %682)
  br label %684

684:                                              ; preds = %681, %679
  %685 = phi ptr [ %680, %679 ], [ %683, %681 ]
  %686 = load ptr, ptr %12, align 8, !tbaa !5
  %687 = getelementptr inbounds %struct.MDBX_env, ptr %686, i32 0, i32 25
  %688 = load ptr, ptr %687, align 8, !tbaa !33
  %689 = load i64, ptr %8, align 8, !tbaa !9
  %690 = getelementptr inbounds %struct.kvx, ptr %688, i64 %689
  %691 = getelementptr inbounds %struct.kvx, ptr %690, i32 0, i32 0
  %692 = getelementptr inbounds %struct.clc2, ptr %691, i32 0, i32 0
  %693 = getelementptr inbounds %struct.clc, ptr %692, i32 0, i32 0
  store ptr %685, ptr %693, align 8, !tbaa !34
  %694 = load ptr, ptr %11, align 8, !tbaa !5
  %695 = icmp ne ptr %694, null
  br i1 %695, label %696, label %698

696:                                              ; preds = %684
  %697 = load ptr, ptr %11, align 8, !tbaa !5
  br label %701

698:                                              ; preds = %684
  %699 = load i32, ptr %9, align 4, !tbaa !11
  %700 = call ptr @builtin_datacmp(i32 noundef %699)
  br label %701

701:                                              ; preds = %698, %696
  %702 = phi ptr [ %697, %696 ], [ %700, %698 ]
  %703 = load ptr, ptr %12, align 8, !tbaa !5
  %704 = getelementptr inbounds %struct.MDBX_env, ptr %703, i32 0, i32 25
  %705 = load ptr, ptr %704, align 8, !tbaa !33
  %706 = load i64, ptr %8, align 8, !tbaa !9
  %707 = getelementptr inbounds %struct.kvx, ptr %705, i64 %706
  %708 = getelementptr inbounds %struct.kvx, ptr %707, i32 0, i32 0
  %709 = getelementptr inbounds %struct.clc2, ptr %708, i32 0, i32 1
  %710 = getelementptr inbounds %struct.clc, ptr %709, i32 0, i32 0
  store ptr %702, ptr %710, align 8, !tbaa !39
  %711 = load i16, ptr %16, align 2, !tbaa !53
  %712 = load ptr, ptr %7, align 8, !tbaa !5
  %713 = getelementptr inbounds %struct.MDBX_txn, ptr %712, i32 0, i32 10
  %714 = load ptr, ptr %713, align 8, !tbaa !47
  %715 = load i64, ptr %8, align 8, !tbaa !9
  %716 = getelementptr inbounds %struct.tree, ptr %714, i64 %715
  %717 = getelementptr inbounds %struct.tree, ptr %716, i32 0, i32 0
  store i16 %711, ptr %717, align 4, !tbaa !48
  %718 = load ptr, ptr %7, align 8, !tbaa !5
  %719 = getelementptr inbounds %struct.MDBX_txn, ptr %718, i32 0, i32 10
  %720 = load ptr, ptr %719, align 8, !tbaa !47
  %721 = load i64, ptr %8, align 8, !tbaa !9
  %722 = getelementptr inbounds %struct.tree, ptr %720, i64 %721
  %723 = getelementptr inbounds %struct.tree, ptr %722, i32 0, i32 2
  store i32 0, ptr %723, align 4, !tbaa !57
  %724 = load ptr, ptr %12, align 8, !tbaa !5
  %725 = load ptr, ptr %12, align 8, !tbaa !5
  %726 = getelementptr inbounds %struct.MDBX_env, ptr %725, i32 0, i32 25
  %727 = load ptr, ptr %726, align 8, !tbaa !33
  %728 = load i64, ptr %8, align 8, !tbaa !9
  %729 = getelementptr inbounds %struct.kvx, ptr %727, i64 %728
  %730 = load ptr, ptr %7, align 8, !tbaa !5
  %731 = getelementptr inbounds %struct.MDBX_txn, ptr %730, i32 0, i32 10
  %732 = load ptr, ptr %731, align 8, !tbaa !47
  %733 = load i64, ptr %8, align 8, !tbaa !9
  %734 = getelementptr inbounds %struct.tree, ptr %732, i64 %733
  %735 = call i32 @tbl_setup(ptr noundef %724, ptr noundef %729, ptr noundef %734)
  %736 = icmp ne i32 %735, 0
  %737 = xor i1 %736, true
  %738 = xor i1 %737, true
  %739 = zext i1 %738 to i32
  %740 = sext i32 %739 to i64
  %741 = call i64 @llvm.expect.i64(i64 %740, i64 0)
  %742 = icmp ne i64 %741, 0
  br i1 %742, label %743, label %753

743:                                              ; preds = %701
  %744 = load ptr, ptr %7, align 8, !tbaa !5
  %745 = getelementptr inbounds %struct.MDBX_txn, ptr %744, i32 0, i32 12
  %746 = load ptr, ptr %745, align 8, !tbaa !46
  %747 = load i64, ptr %8, align 8, !tbaa !9
  %748 = getelementptr inbounds i8, ptr %746, i64 %747
  store i8 -128, ptr %748, align 1, !tbaa !32
  %749 = load ptr, ptr %7, align 8, !tbaa !5
  %750 = getelementptr inbounds %struct.MDBX_txn, ptr %749, i32 0, i32 1
  %751 = load i32, ptr %750, align 4, !tbaa !58
  %752 = or i32 %751, 2
  store i32 %752, ptr %750, align 4, !tbaa !58
  store i32 -30779, ptr %6, align 4
  store i32 1, ptr %13, align 4
  br label %785

753:                                              ; preds = %701
  %754 = load i16, ptr %16, align 2, !tbaa !53
  %755 = zext i16 %754 to i32
  %756 = or i32 %755, 128
  %757 = trunc i32 %756 to i8
  %758 = load ptr, ptr %12, align 8, !tbaa !5
  %759 = getelementptr inbounds %struct.MDBX_env, ptr %758, i32 0, i32 26
  %760 = load ptr, ptr %759, align 8, !tbaa !31
  %761 = load i64, ptr %8, align 8, !tbaa !9
  %762 = getelementptr inbounds i8, ptr %760, i64 %761
  store i8 %757, ptr %762, align 1, !tbaa !32
  %763 = load ptr, ptr %12, align 8, !tbaa !5
  %764 = getelementptr inbounds %struct.MDBX_env, ptr %763, i32 0, i32 27
  %765 = load ptr, ptr %764, align 8, !tbaa !52
  %766 = load i64, ptr %8, align 8, !tbaa !9
  %767 = getelementptr inbounds %union.mdbx_atomic_uint32_t, ptr %765, i64 %766
  %768 = load i32, ptr %15, align 4, !tbaa !11
  %769 = call i32 @atomic_store32(ptr noundef %767, i32 noundef %768, i32 noundef 1)
  %770 = load i32, ptr %15, align 4, !tbaa !11
  %771 = load ptr, ptr %7, align 8, !tbaa !5
  %772 = getelementptr inbounds %struct.MDBX_txn, ptr %771, i32 0, i32 13
  %773 = load ptr, ptr %772, align 8, !tbaa !59
  %774 = load i64, ptr %8, align 8, !tbaa !9
  %775 = getelementptr inbounds i32, ptr %773, i64 %774
  store i32 %770, ptr %775, align 4, !tbaa !11
  %776 = load ptr, ptr %7, align 8, !tbaa !5
  %777 = getelementptr inbounds %struct.MDBX_txn, ptr %776, i32 0, i32 12
  %778 = load ptr, ptr %777, align 8, !tbaa !46
  %779 = load i64, ptr %8, align 8, !tbaa !9
  %780 = getelementptr inbounds i8, ptr %778, i64 %779
  store i8 -103, ptr %780, align 1, !tbaa !32
  %781 = load ptr, ptr %7, align 8, !tbaa !5
  %782 = getelementptr inbounds %struct.MDBX_txn, ptr %781, i32 0, i32 1
  %783 = load i32, ptr %782, align 4, !tbaa !58
  %784 = or i32 %783, 4
  store i32 %784, ptr %782, align 4, !tbaa !58
  store i32 0, ptr %13, align 4
  br label %785

785:                                              ; preds = %753, %743
  call void @llvm.lifetime.end.p0(i64 2, ptr %16) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #7
  %786 = load i32, ptr %13, align 4
  switch i32 %786, label %913 [
    i32 0, label %787
  ]

787:                                              ; preds = %785
  br label %788

788:                                              ; preds = %787
  br label %789

789:                                              ; preds = %788, %406
  br label %790

790:                                              ; preds = %789, %358
  %791 = load ptr, ptr %10, align 8, !tbaa !5
  %792 = icmp ne ptr %791, null
  br i1 %792, label %818, label %793

793:                                              ; preds = %790
  %794 = load ptr, ptr %12, align 8, !tbaa !5
  %795 = getelementptr inbounds %struct.MDBX_env, ptr %794, i32 0, i32 26
  %796 = load ptr, ptr %795, align 8, !tbaa !31
  %797 = load i64, ptr %8, align 8, !tbaa !9
  %798 = getelementptr inbounds i8, ptr %796, i64 %797
  %799 = load i8, ptr %798, align 1, !tbaa !32
  %800 = zext i8 %799 to i32
  %801 = and i32 %800, 128
  %802 = icmp ne i32 %801, 0
  br i1 %802, label %803, label %813

803:                                              ; preds = %793
  %804 = load ptr, ptr %12, align 8, !tbaa !5
  %805 = getelementptr inbounds %struct.MDBX_env, ptr %804, i32 0, i32 25
  %806 = load ptr, ptr %805, align 8, !tbaa !33
  %807 = load i64, ptr %8, align 8, !tbaa !9
  %808 = getelementptr inbounds %struct.kvx, ptr %806, i64 %807
  %809 = getelementptr inbounds %struct.kvx, ptr %808, i32 0, i32 0
  %810 = getelementptr inbounds %struct.clc2, ptr %809, i32 0, i32 0
  %811 = getelementptr inbounds %struct.clc, ptr %810, i32 0, i32 0
  %812 = load ptr, ptr %811, align 8, !tbaa !34
  br label %816

813:                                              ; preds = %793
  %814 = load i32, ptr %9, align 4, !tbaa !11
  %815 = call ptr @builtin_keycmp(i32 noundef %814)
  br label %816

816:                                              ; preds = %813, %803
  %817 = phi ptr [ %812, %803 ], [ %815, %813 ]
  store ptr %817, ptr %10, align 8, !tbaa !5
  br label %818

818:                                              ; preds = %816, %790
  %819 = load ptr, ptr %12, align 8, !tbaa !5
  %820 = getelementptr inbounds %struct.MDBX_env, ptr %819, i32 0, i32 25
  %821 = load ptr, ptr %820, align 8, !tbaa !33
  %822 = load i64, ptr %8, align 8, !tbaa !9
  %823 = getelementptr inbounds %struct.kvx, ptr %821, i64 %822
  %824 = getelementptr inbounds %struct.kvx, ptr %823, i32 0, i32 0
  %825 = getelementptr inbounds %struct.clc2, ptr %824, i32 0, i32 0
  %826 = getelementptr inbounds %struct.clc, ptr %825, i32 0, i32 0
  %827 = load ptr, ptr %826, align 8, !tbaa !34
  %828 = load ptr, ptr %10, align 8, !tbaa !5
  %829 = icmp ne ptr %827, %828
  br i1 %829, label %830, label %851

830:                                              ; preds = %818
  %831 = load ptr, ptr %12, align 8, !tbaa !5
  %832 = getelementptr inbounds %struct.MDBX_env, ptr %831, i32 0, i32 26
  %833 = load ptr, ptr %832, align 8, !tbaa !31
  %834 = load i64, ptr %8, align 8, !tbaa !9
  %835 = getelementptr inbounds i8, ptr %833, i64 %834
  %836 = load i8, ptr %835, align 1, !tbaa !32
  %837 = zext i8 %836 to i32
  %838 = and i32 %837, 128
  %839 = icmp ne i32 %838, 0
  br i1 %839, label %840, label %841

840:                                              ; preds = %830
  store i32 22, ptr %6, align 4
  store i32 1, ptr %13, align 4
  br label %913

841:                                              ; preds = %830
  %842 = load ptr, ptr %10, align 8, !tbaa !5
  %843 = load ptr, ptr %12, align 8, !tbaa !5
  %844 = getelementptr inbounds %struct.MDBX_env, ptr %843, i32 0, i32 25
  %845 = load ptr, ptr %844, align 8, !tbaa !33
  %846 = load i64, ptr %8, align 8, !tbaa !9
  %847 = getelementptr inbounds %struct.kvx, ptr %845, i64 %846
  %848 = getelementptr inbounds %struct.kvx, ptr %847, i32 0, i32 0
  %849 = getelementptr inbounds %struct.clc2, ptr %848, i32 0, i32 0
  %850 = getelementptr inbounds %struct.clc, ptr %849, i32 0, i32 0
  store ptr %842, ptr %850, align 8, !tbaa !34
  br label %851

851:                                              ; preds = %841, %818
  %852 = load ptr, ptr %11, align 8, !tbaa !5
  %853 = icmp ne ptr %852, null
  br i1 %853, label %879, label %854

854:                                              ; preds = %851
  %855 = load ptr, ptr %12, align 8, !tbaa !5
  %856 = getelementptr inbounds %struct.MDBX_env, ptr %855, i32 0, i32 26
  %857 = load ptr, ptr %856, align 8, !tbaa !31
  %858 = load i64, ptr %8, align 8, !tbaa !9
  %859 = getelementptr inbounds i8, ptr %857, i64 %858
  %860 = load i8, ptr %859, align 1, !tbaa !32
  %861 = zext i8 %860 to i32
  %862 = and i32 %861, 128
  %863 = icmp ne i32 %862, 0
  br i1 %863, label %864, label %874

864:                                              ; preds = %854
  %865 = load ptr, ptr %12, align 8, !tbaa !5
  %866 = getelementptr inbounds %struct.MDBX_env, ptr %865, i32 0, i32 25
  %867 = load ptr, ptr %866, align 8, !tbaa !33
  %868 = load i64, ptr %8, align 8, !tbaa !9
  %869 = getelementptr inbounds %struct.kvx, ptr %867, i64 %868
  %870 = getelementptr inbounds %struct.kvx, ptr %869, i32 0, i32 0
  %871 = getelementptr inbounds %struct.clc2, ptr %870, i32 0, i32 1
  %872 = getelementptr inbounds %struct.clc, ptr %871, i32 0, i32 0
  %873 = load ptr, ptr %872, align 8, !tbaa !39
  br label %877

874:                                              ; preds = %854
  %875 = load i32, ptr %9, align 4, !tbaa !11
  %876 = call ptr @builtin_datacmp(i32 noundef %875)
  br label %877

877:                                              ; preds = %874, %864
  %878 = phi ptr [ %873, %864 ], [ %876, %874 ]
  store ptr %878, ptr %11, align 8, !tbaa !5
  br label %879

879:                                              ; preds = %877, %851
  %880 = load ptr, ptr %12, align 8, !tbaa !5
  %881 = getelementptr inbounds %struct.MDBX_env, ptr %880, i32 0, i32 25
  %882 = load ptr, ptr %881, align 8, !tbaa !33
  %883 = load i64, ptr %8, align 8, !tbaa !9
  %884 = getelementptr inbounds %struct.kvx, ptr %882, i64 %883
  %885 = getelementptr inbounds %struct.kvx, ptr %884, i32 0, i32 0
  %886 = getelementptr inbounds %struct.clc2, ptr %885, i32 0, i32 1
  %887 = getelementptr inbounds %struct.clc, ptr %886, i32 0, i32 0
  %888 = load ptr, ptr %887, align 8, !tbaa !39
  %889 = load ptr, ptr %11, align 8, !tbaa !5
  %890 = icmp ne ptr %888, %889
  br i1 %890, label %891, label %912

891:                                              ; preds = %879
  %892 = load ptr, ptr %12, align 8, !tbaa !5
  %893 = getelementptr inbounds %struct.MDBX_env, ptr %892, i32 0, i32 26
  %894 = load ptr, ptr %893, align 8, !tbaa !31
  %895 = load i64, ptr %8, align 8, !tbaa !9
  %896 = getelementptr inbounds i8, ptr %894, i64 %895
  %897 = load i8, ptr %896, align 1, !tbaa !32
  %898 = zext i8 %897 to i32
  %899 = and i32 %898, 128
  %900 = icmp ne i32 %899, 0
  br i1 %900, label %901, label %902

901:                                              ; preds = %891
  store i32 22, ptr %6, align 4
  store i32 1, ptr %13, align 4
  br label %913

902:                                              ; preds = %891
  %903 = load ptr, ptr %11, align 8, !tbaa !5
  %904 = load ptr, ptr %12, align 8, !tbaa !5
  %905 = getelementptr inbounds %struct.MDBX_env, ptr %904, i32 0, i32 25
  %906 = load ptr, ptr %905, align 8, !tbaa !33
  %907 = load i64, ptr %8, align 8, !tbaa !9
  %908 = getelementptr inbounds %struct.kvx, ptr %906, i64 %907
  %909 = getelementptr inbounds %struct.kvx, ptr %908, i32 0, i32 0
  %910 = getelementptr inbounds %struct.clc2, ptr %909, i32 0, i32 1
  %911 = getelementptr inbounds %struct.clc, ptr %910, i32 0, i32 0
  store ptr %903, ptr %911, align 8, !tbaa !39
  br label %912

912:                                              ; preds = %902, %879
  store i32 0, ptr %6, align 4
  store i32 1, ptr %13, align 4
  br label %913

913:                                              ; preds = %912, %901, %840, %785, %598, %583, %482, %419
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #7
  %914 = load i32, ptr %6, align 4
  ret i32 %914
}

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i8 @dbi_state(ptr noundef, i64 noundef) #3

declare i32 @tbl_fetch(ptr noundef, i64 noundef) #6

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @builtin_keycmp(i32 noundef) #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @builtin_datacmp(i32 noundef) #3

declare i32 @tbl_setup(ptr noundef, ptr noundef, ptr noundef) #6

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(none) }
attributes #1 = { noreturn "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 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { 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 #4 = { alwaysinline 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 #5 = { 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 #6 = { "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 #7 = { nounwind }
attributes #8 = { noreturn }

!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 = !{!"long", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{!14, !6, i64 80}
!14 = !{!"MDBX_txn", !12, i64 0, !12, i64 4, !10, i64 8, !10, i64 16, !6, i64 24, !6, i64 32, !15, i64 40, !10, i64 64, !10, i64 72, !6, i64 80, !6, i64 88, !6, i64 96, !6, i64 104, !6, i64 112, !6, i64 120, !17, i64 128, !6, i64 160, !7, i64 168}
!15 = !{!"geo", !16, i64 0, !16, i64 2, !12, i64 4, !12, i64 8, !7, i64 12, !7, i64 16}
!16 = !{!"short", !7, i64 0}
!17 = !{!"MDBX_canary", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24}
!18 = !{!19, !7, i64 25}
!19 = !{!"libmdbx_globals", !7, i64 0, !12, i64 16, !12, i64 20, !7, i64 24, !7, i64 25, !7, i64 26, !20, i64 27, !12, i64 28, !7, i64 32, !7, i64 40, !10, i64 80, !6, i64 88}
!20 = !{!"_Bool", !7, i64 0}
!21 = !{!14, !10, i64 8}
!22 = !{!23, !12, i64 440}
!23 = !{!"MDBX_env", !7, i64 0, !12, i64 4, !12, i64 8, !24, i64 16, !12, i64 56, !12, i64 60, !24, i64 64, !6, i64 104, !16, i64 112, !16, i64 114, !16, i64 116, !16, i64 118, !16, i64 120, !16, i64 122, !7, i64 124, !7, i64 128, !7, i64 129, !16, i64 130, !12, i64 132, !12, i64 136, !12, i64 140, !12, i64 144, !25, i64 152, !6, i64 184, !6, i64 192, !6, i64 200, !6, i64 208, !6, i64 216, !12, i64 224, !12, i64 228, !12, i64 232, !6, i64 240, !6, i64 248, !10, i64 256, !26, i64 264, !28, i64 320, !20, i64 360, !6, i64 368, !6, i64 376, !6, i64 384, !29, i64 392, !7, i64 400, !12, i64 440, !12, i64 444, !6, i64 448, !30, i64 456, !7, i64 496, !7, i64 536}
!24 = !{!"osal_mmap", !7, i64 0, !12, i64 8, !10, i64 16, !10, i64 24, !10, i64 32}
!25 = !{!"", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!26 = !{!"", !12, i64 0, !12, i64 4, !12, i64 8, !12, i64 12, !10, i64 16, !7, i64 24, !7, i64 25, !7, i64 26, !7, i64 27, !12, i64 28, !12, i64 32, !20, i64 36, !20, i64 37, !20, i64 38, !27, i64 40, !7, i64 48}
!27 = !{!"", !16, i64 0, !16, i64 2, !16, i64 4, !16, i64 6}
!28 = !{!"", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32}
!29 = !{!"", !10, i64 0}
!30 = !{!"osal_ioring", !12, i64 0, !12, i64 4, !12, i64 8, !6, i64 16, !6, i64 24, !6, i64 32}
!31 = !{!23, !6, i64 208}
!32 = !{!7, !7, i64 0}
!33 = !{!23, !6, i64 200}
!34 = !{!35, !6, i64 0}
!35 = !{!"kvx", !36, i64 0, !38, i64 48}
!36 = !{!"clc2", !37, i64 0, !37, i64 24}
!37 = !{!"clc", !6, i64 0, !10, i64 8, !10, i64 16}
!38 = !{!"iovec", !6, i64 0, !10, i64 8}
!39 = !{!35, !6, i64 24}
!40 = !{!35, !10, i64 56}
!41 = !{!35, !6, i64 48}
!42 = !{!35, !10, i64 16}
!43 = !{!35, !10, i64 8}
!44 = !{!35, !10, i64 40}
!45 = !{!35, !10, i64 32}
!46 = !{!14, !6, i64 104}
!47 = !{!14, !6, i64 88}
!48 = !{!49, !16, i64 0}
!49 = !{!"tree", !16, i64 0, !16, i64 2, !12, i64 4, !12, i64 8, !12, i64 12, !12, i64 16, !12, i64 20, !10, i64 24, !10, i64 32, !10, i64 40}
!50 = !{!49, !12, i64 16}
!51 = !{!14, !6, i64 120}
!52 = !{!23, !6, i64 216}
!53 = !{!16, !16, i64 0}
!54 = !{!49, !16, i64 2}
!55 = !{!49, !10, i64 32}
!56 = !{!49, !12, i64 8}
!57 = !{!49, !12, i64 4}
!58 = !{!14, !12, i64 4}
!59 = !{!14, !6, i64 112}


; 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.libmdbx_globals = type { %union.bin128, i32, i32, i8, i8, i8, i8, i32, %union.logger_union, %union.pthread_mutex_t, i64, ptr }
%union.bin128 = type { %struct.anon }
%struct.anon = type { i64, i64 }
%union.logger_union = type { ptr }
%union.pthread_mutex_t = type { %struct.__pthread_mutex_s }
%struct.__pthread_mutex_s = type { i32, i32, i32, i32, i32, i16, i16, %struct.__pthread_internal_list }
%struct.__pthread_internal_list = type { ptr, ptr }
%struct.kvx = type { %struct.clc2, %struct.iovec }
%struct.clc2 = type { %struct.clc, %struct.clc }
%struct.clc = type { ptr, i64, i64 }
%struct.iovec = type { ptr, i64 }
%struct.tree = type { i16, i16, i32, i32, i32, i32, i32, i64, i64, i64 }
%union.mdbx_atomic_uint32_t = type { i32 }

@globals = external local_unnamed_addr global %struct.libmdbx_globals, align 8
@.str.18 = external hidden unnamed_addr constant [37 x i8], align 1
@__func__.dbi_bind = external hidden unnamed_addr constant [9 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [232 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [94 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [73 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [87 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [92 x i8], align 1

; Function Attrs: noreturn
declare void @mdbx_assert_fail(ptr noundef, ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #0

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

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

; Function Attrs: nounwind uwtable
define dso_local noundef i32 @dbi_bind(ptr noundef %0, i64 noundef %1, i32 noundef %2, ptr noundef %3, ptr noundef %4) local_unnamed_addr #3 {
  %6 = getelementptr inbounds i8, ptr %0, i64 80
  %7 = load ptr, ptr %6, align 8, !tbaa !5
  %8 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !15
  %9 = and i8 %8, 1
  %.not = icmp eq i8 %9, 0
  br i1 %.not, label %.thread, label %10, !prof !18

10:                                               ; preds = %5
  %11 = getelementptr inbounds i8, ptr %0, i64 8
  %12 = load i64, ptr %11, align 8, !tbaa !19
  %13 = icmp ugt i64 %12, %1
  br i1 %13, label %14, label %.critedge, !prof !20

14:                                               ; preds = %10
  %15 = getelementptr inbounds i8, ptr %7, i64 440
  %16 = load i32, ptr %15, align 8, !tbaa !21
  %17 = zext i32 %16 to i64
  %18 = icmp ugt i64 %17, %1
  br i1 %18, label %19, label %.critedge, !prof !20

.critedge:                                        ; preds = %10, %14
  tail call void @mdbx_assert_fail(ptr noundef %7, ptr noundef nonnull @.str.18, ptr noundef nonnull @__func__.dbi_bind, i32 noundef 233) #5
  unreachable

19:                                               ; preds = %14
  %20 = tail call zeroext i8 @dbi_state(ptr noundef nonnull %0, i64 noundef %1)
  %.not176 = icmp sgt i8 %20, -1
  br i1 %.not176, label %21, label %..thread_crit_edge, !prof !18

..thread_crit_edge:                               ; preds = %19
  %.pre = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !15
  br label %.thread

21:                                               ; preds = %19
  tail call void @mdbx_assert_fail(ptr noundef nonnull %7, ptr noundef nonnull @.str.19, ptr noundef nonnull @__func__.dbi_bind, i32 noundef 234) #5
  unreachable

.thread:                                          ; preds = %..thread_crit_edge, %5
  %22 = phi i8 [ %.pre, %..thread_crit_edge ], [ %8, %5 ]
  %23 = and i8 %22, 1
  %.not177.not = icmp eq i8 %23, 0
  %24 = getelementptr inbounds i8, ptr %7, i64 208
  %25 = load ptr, ptr %24, align 8, !tbaa !30
  %26 = getelementptr inbounds i8, ptr %25, i64 %1
  %27 = load i8, ptr %26, align 1, !tbaa !31
  br i1 %.not177.not, label %.critedge223, label %28, !prof !18

28:                                               ; preds = %.thread
  %.not178 = icmp eq i8 %27, 127
  br i1 %.not178, label %29, label %.thread226, !prof !18

29:                                               ; preds = %28
  tail call void @mdbx_assert_fail(ptr noundef nonnull %7, ptr noundef nonnull @.str.20, ptr noundef nonnull @__func__.dbi_bind, i32 noundef 235) #5
  unreachable

.thread226:                                       ; preds = %28
  %30 = icmp sgt i8 %27, -1
  br i1 %30, label %31, label %57

31:                                               ; preds = %.thread226
  %32 = getelementptr inbounds i8, ptr %7, i64 200
  %33 = load ptr, ptr %32, align 8, !tbaa !32
  %34 = getelementptr inbounds %struct.kvx, ptr %33, i64 %1
  %35 = load ptr, ptr %34, align 8, !tbaa !33
  %.not186 = icmp eq ptr %35, null
  br i1 %.not186, label %36, label %.critedge221, !prof !20

36:                                               ; preds = %31
  %37 = getelementptr inbounds i8, ptr %34, i64 24
  %38 = load ptr, ptr %37, align 8, !tbaa !38
  %.not187 = icmp eq ptr %38, null
  br i1 %.not187, label %39, label %.critedge221, !prof !20

39:                                               ; preds = %36
  %40 = getelementptr inbounds i8, ptr %34, i64 56
  %41 = load i64, ptr %40, align 8, !tbaa !39
  %.not188 = icmp eq i64 %41, 0
  br i1 %.not188, label %42, label %.critedge221, !prof !20

42:                                               ; preds = %39
  %43 = getelementptr inbounds i8, ptr %34, i64 48
  %44 = load ptr, ptr %43, align 8, !tbaa !40
  %.not189 = icmp eq ptr %44, null
  br i1 %.not189, label %45, label %.critedge221, !prof !20

45:                                               ; preds = %42
  %46 = getelementptr inbounds i8, ptr %34, i64 16
  %47 = load i64, ptr %46, align 8, !tbaa !41
  %.not190 = icmp eq i64 %47, 0
  br i1 %.not190, label %48, label %.critedge221, !prof !20

48:                                               ; preds = %45
  %49 = getelementptr inbounds i8, ptr %34, i64 8
  %50 = load i64, ptr %49, align 8, !tbaa !42
  %.not191 = icmp eq i64 %50, 0
  br i1 %.not191, label %51, label %.critedge221, !prof !20

51:                                               ; preds = %48
  %52 = getelementptr inbounds i8, ptr %34, i64 40
  %53 = load i64, ptr %52, align 8, !tbaa !43
  %.not192 = icmp eq i64 %53, 0
  br i1 %.not192, label %54, label %.critedge221, !prof !20

54:                                               ; preds = %51
  %55 = getelementptr inbounds i8, ptr %34, i64 32
  %56 = load i64, ptr %55, align 8, !tbaa !44
  %.not193 = icmp eq i64 %56, 0
  br i1 %.not193, label %.critedge223, label %.critedge221, !prof !20

.critedge221:                                     ; preds = %51, %48, %45, %42, %39, %36, %31, %54
  tail call void @mdbx_assert_fail(ptr noundef nonnull %7, ptr noundef nonnull @.str.21, ptr noundef nonnull @__func__.dbi_bind, i32 noundef 239) #5
  unreachable

57:                                               ; preds = %.thread226
  %58 = getelementptr inbounds i8, ptr %0, i64 104
  %59 = load ptr, ptr %58, align 8, !tbaa !45
  %60 = getelementptr inbounds i8, ptr %59, i64 %1
  %61 = load i8, ptr %60, align 1, !tbaa !31
  %62 = and i8 %61, 16
  %.not180 = icmp eq i8 %62, 0
  br i1 %.not180, label %72, label %63

63:                                               ; preds = %57
  %64 = getelementptr inbounds i8, ptr %0, i64 88
  %65 = load ptr, ptr %64, align 8, !tbaa !46
  %66 = getelementptr inbounds %struct.tree, ptr %65, i64 %1
  %67 = load i16, ptr %66, align 4, !tbaa !47
  %68 = or i16 %67, 128
  %69 = zext i8 %27 to i16
  %70 = icmp eq i16 %68, %69
  br i1 %70, label %72, label %71, !prof !20

71:                                               ; preds = %63
  tail call void @mdbx_assert_fail(ptr noundef nonnull %7, ptr noundef nonnull @.str.22, ptr noundef nonnull @__func__.dbi_bind, i32 noundef 241) #5
  unreachable

72:                                               ; preds = %57, %63
  %73 = getelementptr inbounds i8, ptr %7, i64 200
  %74 = load ptr, ptr %73, align 8, !tbaa !32
  %75 = getelementptr inbounds %struct.kvx, ptr %74, i64 %1, i32 1
  %76 = load ptr, ptr %75, align 8, !tbaa !40
  %77 = icmp eq ptr %76, null
  %78 = icmp ugt i64 %1, 1
  %.not184 = and i1 %78, %77
  br i1 %.not184, label %79, label %.critedge223, !prof !18

79:                                               ; preds = %72
  tail call void @mdbx_assert_fail(ptr noundef nonnull %7, ptr noundef nonnull @.str.23, ptr noundef nonnull @__func__.dbi_bind, i32 noundef 242) #5
  unreachable

.critedge223:                                     ; preds = %.thread, %72, %54
  %brmerge.not = phi i1 [ false, %72 ], [ true, %54 ], [ false, %.thread ]
  %80 = and i32 %2, -262145
  %81 = and i8 %27, 126
  %82 = zext nneg i8 %81 to i32
  %.not194 = icmp eq i32 %80, %82
  br i1 %.not194, label %209, label %83

83:                                               ; preds = %.critedge223
  switch i32 %2, label %98 [
    i32 0, label %84
    i32 1073741824, label %209
  ]

84:                                               ; preds = %83
  %.not196 = icmp eq ptr %3, null
  br i1 %.not196, label %91, label %85

85:                                               ; preds = %84
  %86 = getelementptr inbounds i8, ptr %7, i64 200
  %87 = load ptr, ptr %86, align 8, !tbaa !32
  %88 = getelementptr inbounds %struct.kvx, ptr %87, i64 %1
  %89 = load ptr, ptr %88, align 8, !tbaa !33
  %90 = icmp eq ptr %89, %3
  br i1 %90, label %91, label %.thread229

91:                                               ; preds = %85, %84
  %.not197 = icmp eq ptr %4, null
  br i1 %.not197, label %209, label %92

92:                                               ; preds = %91
  %93 = getelementptr inbounds i8, ptr %7, i64 200
  %94 = load ptr, ptr %93, align 8, !tbaa !32
  %95 = getelementptr inbounds %struct.kvx, ptr %94, i64 %1, i32 0, i32 1
  %96 = load ptr, ptr %95, align 8, !tbaa !38
  %97 = icmp eq ptr %96, %4
  br i1 %97, label %209, label %.thread229

98:                                               ; preds = %83
  %99 = and i32 %2, 262144
  %100 = icmp eq i32 %99, 0
  br i1 %100, label %.thread229, label %101

101:                                              ; preds = %98
  %102 = getelementptr inbounds i8, ptr %0, i64 104
  %103 = load ptr, ptr %102, align 8, !tbaa !45
  %104 = getelementptr inbounds i8, ptr %103, i64 %1
  %105 = load i8, ptr %104, align 1, !tbaa !31
  %106 = and i8 %105, 2
  %.not198 = icmp eq i8 %106, 0
  br i1 %.not198, label %111, label %107

107:                                              ; preds = %101
  br i1 %brmerge.not, label %108, label %109, !prof !49

108:                                              ; preds = %107
  tail call void @mdbx_assert_fail(ptr noundef nonnull %7, ptr noundef nonnull @.str.24, ptr noundef nonnull @__func__.dbi_bind, i32 noundef 267) #5
  unreachable

109:                                              ; preds = %107
  %110 = tail call i32 @tbl_fetch(ptr noundef nonnull %0, i64 noundef %1) #6
  %.not201 = icmp eq i32 %110, 0
  br i1 %.not201, label %.thread229, label %._crit_edge

._crit_edge:                                      ; preds = %109
  %.pre234 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !15
  br label %111

111:                                              ; preds = %._crit_edge, %101
  %112 = phi i8 [ %.pre234, %._crit_edge ], [ %22, %101 ]
  %113 = and i8 %112, 1
  %.not202 = icmp eq i8 %113, 0
  br i1 %.not202, label %..thread230_crit_edge, label %114, !prof !18

..thread230_crit_edge:                            ; preds = %111
  %.phi.trans.insert = getelementptr inbounds i8, ptr %0, i64 88
  %.pre235 = load ptr, ptr %.phi.trans.insert, align 8, !tbaa !46
  br label %.thread230

114:                                              ; preds = %111
  %115 = load ptr, ptr %24, align 8, !tbaa !30
  %116 = getelementptr inbounds i8, ptr %115, i64 %1
  %117 = load i8, ptr %116, align 1, !tbaa !31
  %118 = getelementptr inbounds i8, ptr %0, i64 88
  %119 = load ptr, ptr %118, align 8, !tbaa !46
  %120 = getelementptr inbounds %struct.tree, ptr %119, i64 %1
  %121 = load i16, ptr %120, align 4, !tbaa !47
  %122 = zext i8 %117 to i16
  %123 = xor i16 %121, %122
  %124 = and i16 %123, 126
  %.not203 = icmp eq i16 %124, 0
  br i1 %.not203, label %126, label %125, !prof !20

125:                                              ; preds = %114
  tail call void @mdbx_assert_fail(ptr noundef nonnull %7, ptr noundef nonnull @.str.25, ptr noundef nonnull @__func__.dbi_bind, i32 noundef 272) #5
  unreachable

126:                                              ; preds = %114
  %127 = load ptr, ptr %102, align 8, !tbaa !45
  %128 = getelementptr inbounds i8, ptr %127, i64 %1
  %129 = load i8, ptr %128, align 1, !tbaa !31
  %130 = and i8 %129, -110
  %.not205 = icmp eq i8 %130, -112
  br i1 %.not205, label %.thread230, label %131, !prof !20

131:                                              ; preds = %126
  tail call void @mdbx_assert_fail(ptr noundef nonnull %7, ptr noundef nonnull @.str.26, ptr noundef nonnull @__func__.dbi_bind, i32 noundef 273) #5
  unreachable

.thread230:                                       ; preds = %..thread230_crit_edge, %126
  %132 = phi ptr [ %.pre235, %..thread230_crit_edge ], [ %119, %126 ]
  %133 = getelementptr inbounds i8, ptr %0, i64 88
  %134 = getelementptr inbounds %struct.tree, ptr %132, i64 %1, i32 5
  %135 = load i32, ptr %134, align 4, !tbaa !50
  %.not206 = icmp eq i32 %135, 0
  br i1 %.not206, label %136, label %.thread229, !prof !20

136:                                              ; preds = %.thread230
  %137 = getelementptr inbounds i8, ptr %0, i64 120
  %138 = load ptr, ptr %137, align 8, !tbaa !51
  %139 = getelementptr inbounds ptr, ptr %138, i64 %1
  %140 = load ptr, ptr %139, align 8, !tbaa !52
  %.not207 = icmp eq ptr %140, null
  br i1 %.not207, label %141, label %.thread229, !prof !20

141:                                              ; preds = %136
  %142 = load ptr, ptr %24, align 8, !tbaa !30
  %143 = getelementptr inbounds i8, ptr %142, i64 %1
  store i8 127, ptr %143, align 1, !tbaa !31
  %144 = getelementptr inbounds i8, ptr %7, i64 216
  %145 = load ptr, ptr %144, align 8, !tbaa !53
  %146 = getelementptr inbounds %union.mdbx_atomic_uint32_t, ptr %145, i64 %1
  %147 = tail call i32 @dbi_seq_next(ptr noundef nonnull %7, i64 noundef %1)
  %148 = tail call i32 @atomic_store32(ptr noundef %146, i32 noundef %147, i32 noundef 1)
  %149 = tail call i32 @dbi_seq_next(ptr noundef nonnull %7, i64 noundef %1)
  %150 = trunc i32 %2 to i16
  %151 = and i16 %150, 126
  %152 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !15
  %153 = and i8 %152, 1
  %.not208 = icmp eq i8 %153, 0
  br i1 %.not208, label %168, label %154, !prof !18

154:                                              ; preds = %141
  %155 = load ptr, ptr %133, align 8, !tbaa !46
  %156 = getelementptr inbounds %struct.tree, ptr %155, i64 %1
  %157 = getelementptr inbounds i8, ptr %156, i64 2
  %158 = load i16, ptr %157, align 2, !tbaa !54
  %159 = icmp eq i16 %158, 0
  br i1 %159, label %160, label %.critedge225, !prof !20

160:                                              ; preds = %154
  %161 = getelementptr inbounds i8, ptr %156, i64 32
  %162 = load i64, ptr %161, align 4, !tbaa !55
  %163 = icmp eq i64 %162, 0
  br i1 %163, label %164, label %.critedge225, !prof !20

164:                                              ; preds = %160
  %165 = getelementptr inbounds i8, ptr %156, i64 8
  %166 = load i32, ptr %165, align 4, !tbaa !56
  %167 = icmp eq i32 %166, -1
  br i1 %167, label %168, label %.critedge225, !prof !20

.critedge225:                                     ; preds = %160, %154, %164
  tail call void @mdbx_assert_fail(ptr noundef nonnull %7, ptr noundef nonnull @.str.27, ptr noundef nonnull @__func__.dbi_bind, i32 noundef 285) #5
  unreachable

168:                                              ; preds = %164, %141
  %.not209 = icmp eq ptr %3, null
  br i1 %.not209, label %169, label %171

169:                                              ; preds = %168
  %170 = tail call ptr @builtin_keycmp(i32 noundef %2)
  br label %171

171:                                              ; preds = %168, %169
  %172 = phi ptr [ %170, %169 ], [ %3, %168 ]
  %173 = getelementptr inbounds i8, ptr %7, i64 200
  %174 = load ptr, ptr %173, align 8, !tbaa !32
  %175 = getelementptr inbounds %struct.kvx, ptr %174, i64 %1
  store ptr %172, ptr %175, align 8, !tbaa !33
  %.not210 = icmp eq ptr %4, null
  br i1 %.not210, label %176, label %178

176:                                              ; preds = %171
  %177 = tail call ptr @builtin_datacmp(i32 noundef %2)
  %.pre236 = load ptr, ptr %173, align 8, !tbaa !32
  br label %178

178:                                              ; preds = %171, %176
  %179 = phi ptr [ %.pre236, %176 ], [ %174, %171 ]
  %180 = phi ptr [ %177, %176 ], [ %4, %171 ]
  %181 = getelementptr inbounds %struct.kvx, ptr %179, i64 %1, i32 0, i32 1
  store ptr %180, ptr %181, align 8, !tbaa !38
  %182 = load ptr, ptr %133, align 8, !tbaa !46
  %183 = getelementptr inbounds %struct.tree, ptr %182, i64 %1
  store i16 %151, ptr %183, align 4, !tbaa !47
  %184 = getelementptr inbounds %struct.tree, ptr %182, i64 %1, i32 2
  store i32 0, ptr %184, align 4, !tbaa !57
  %185 = getelementptr inbounds %struct.kvx, ptr %179, i64 %1
  %186 = tail call i32 @tbl_setup(ptr noundef nonnull %7, ptr noundef %185, ptr noundef nonnull %183) #6
  %.not211 = icmp eq i32 %186, 0
  br i1 %.not211, label %.thread231, label %203, !prof !20

.thread231:                                       ; preds = %178
  %187 = trunc i32 %2 to i8
  %188 = and i8 %187, 126
  %189 = or disjoint i8 %188, -128
  %190 = load ptr, ptr %24, align 8, !tbaa !30
  %191 = getelementptr inbounds i8, ptr %190, i64 %1
  store i8 %189, ptr %191, align 1, !tbaa !31
  %192 = load ptr, ptr %144, align 8, !tbaa !53
  %193 = getelementptr inbounds %union.mdbx_atomic_uint32_t, ptr %192, i64 %1
  %194 = tail call i32 @atomic_store32(ptr noundef %193, i32 noundef %149, i32 noundef 1)
  %195 = getelementptr inbounds i8, ptr %0, i64 112
  %196 = load ptr, ptr %195, align 8, !tbaa !58
  %197 = getelementptr inbounds i32, ptr %196, i64 %1
  store i32 %149, ptr %197, align 4, !tbaa !59
  %198 = load ptr, ptr %102, align 8, !tbaa !45
  %199 = getelementptr inbounds i8, ptr %198, i64 %1
  store i8 -103, ptr %199, align 1, !tbaa !31
  %200 = getelementptr inbounds i8, ptr %0, i64 4
  %201 = load i32, ptr %200, align 4, !tbaa !60
  %202 = or i32 %201, 4
  store i32 %202, ptr %200, align 4, !tbaa !60
  br label %209

203:                                              ; preds = %178
  %204 = load ptr, ptr %102, align 8, !tbaa !45
  %205 = getelementptr inbounds i8, ptr %204, i64 %1
  store i8 -128, ptr %205, align 1, !tbaa !31
  %206 = getelementptr inbounds i8, ptr %0, i64 4
  %207 = load i32, ptr %206, align 4, !tbaa !60
  %208 = or i32 %207, 2
  store i32 %208, ptr %206, align 4, !tbaa !60
  br label %.thread229

209:                                              ; preds = %.thread231, %91, %92, %83, %.critedge223
  %.0163 = phi i32 [ %2, %.critedge223 ], [ %82, %83 ], [ %82, %92 ], [ %82, %91 ], [ %2, %.thread231 ]
  %.not212 = icmp eq ptr %3, null
  br i1 %.not212, label %210, label %221

210:                                              ; preds = %209
  %211 = load ptr, ptr %24, align 8, !tbaa !30
  %212 = getelementptr inbounds i8, ptr %211, i64 %1
  %213 = load i8, ptr %212, align 1, !tbaa !31
  %.not213 = icmp sgt i8 %213, -1
  br i1 %.not213, label %219, label %214

214:                                              ; preds = %210
  %215 = getelementptr inbounds i8, ptr %7, i64 200
  %216 = load ptr, ptr %215, align 8, !tbaa !32
  %217 = getelementptr inbounds %struct.kvx, ptr %216, i64 %1
  %218 = load ptr, ptr %217, align 8, !tbaa !33
  br label %221

219:                                              ; preds = %210
  %220 = tail call ptr @builtin_keycmp(i32 noundef %.0163)
  br label %221

221:                                              ; preds = %214, %219, %209
  %.0164 = phi ptr [ %3, %209 ], [ %218, %214 ], [ %220, %219 ]
  %222 = getelementptr inbounds i8, ptr %7, i64 200
  %223 = load ptr, ptr %222, align 8, !tbaa !32
  %224 = getelementptr inbounds %struct.kvx, ptr %223, i64 %1
  %225 = load ptr, ptr %224, align 8, !tbaa !33
  %.not214 = icmp eq ptr %225, %.0164
  br i1 %.not214, label %231, label %226

226:                                              ; preds = %221
  %227 = load ptr, ptr %24, align 8, !tbaa !30
  %228 = getelementptr inbounds i8, ptr %227, i64 %1
  %229 = load i8, ptr %228, align 1, !tbaa !31
  %.not215 = icmp sgt i8 %229, -1
  br i1 %.not215, label %230, label %.thread229

230:                                              ; preds = %226
  store ptr %.0164, ptr %224, align 8, !tbaa !33
  br label %231

231:                                              ; preds = %230, %221
  %.not216 = icmp eq ptr %4, null
  br i1 %.not216, label %232, label %241

232:                                              ; preds = %231
  %233 = load ptr, ptr %24, align 8, !tbaa !30
  %234 = getelementptr inbounds i8, ptr %233, i64 %1
  %235 = load i8, ptr %234, align 1, !tbaa !31
  %.not217 = icmp sgt i8 %235, -1
  br i1 %.not217, label %239, label %236

236:                                              ; preds = %232
  %237 = getelementptr inbounds %struct.kvx, ptr %223, i64 %1, i32 0, i32 1
  %238 = load ptr, ptr %237, align 8, !tbaa !38
  br label %241

239:                                              ; preds = %232
  %240 = tail call ptr @builtin_datacmp(i32 noundef %.0163)
  %.pre237 = load ptr, ptr %222, align 8, !tbaa !32
  br label %241

241:                                              ; preds = %236, %239, %231
  %242 = phi ptr [ %223, %231 ], [ %223, %236 ], [ %.pre237, %239 ]
  %.0167 = phi ptr [ %4, %231 ], [ %238, %236 ], [ %240, %239 ]
  %243 = getelementptr inbounds %struct.kvx, ptr %242, i64 %1, i32 0, i32 1
  %244 = load ptr, ptr %243, align 8, !tbaa !38
  %.not218 = icmp eq ptr %244, %.0167
  br i1 %.not218, label %.thread229, label %245

245:                                              ; preds = %241
  %246 = load ptr, ptr %24, align 8, !tbaa !30
  %247 = getelementptr inbounds i8, ptr %246, i64 %1
  %248 = load i8, ptr %247, align 1, !tbaa !31
  %.not219 = icmp sgt i8 %248, -1
  br i1 %.not219, label %249, label %.thread229

249:                                              ; preds = %245
  store ptr %.0167, ptr %243, align 8, !tbaa !38
  br label %.thread229

.thread229:                                       ; preds = %92, %85, %203, %241, %249, %245, %226, %136, %.thread230, %98, %109
  %.3 = phi i32 [ -30779, %203 ], [ 0, %109 ], [ -30784, %98 ], [ -30784, %.thread230 ], [ -30412, %136 ], [ 22, %226 ], [ 22, %245 ], [ 0, %249 ], [ 0, %241 ], [ -30784, %85 ], [ -30784, %92 ]
  ret i32 %.3
}

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i8 @dbi_state(ptr noundef, i64 noundef) local_unnamed_addr #1

declare i32 @tbl_fetch(ptr noundef, i64 noundef) local_unnamed_addr #4

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

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

declare i32 @tbl_setup(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #4

attributes #0 = { noreturn "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" }
attributes #2 = { alwaysinline 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 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 #4 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { noreturn nounwind }
attributes #6 = { 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, !11, i64 80}
!6 = !{!"MDBX_txn", !7, i64 0, !7, i64 4, !10, i64 8, !10, i64 16, !11, i64 24, !11, i64 32, !12, i64 40, !10, i64 64, !10, i64 72, !11, i64 80, !11, i64 88, !11, i64 96, !11, i64 104, !11, i64 112, !11, i64 120, !14, i64 128, !11, i64 160, !8, i64 168}
!7 = !{!"int", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"long", !8, i64 0}
!11 = !{!"any pointer", !8, i64 0}
!12 = !{!"geo", !13, i64 0, !13, i64 2, !7, i64 4, !7, i64 8, !8, i64 12, !8, i64 16}
!13 = !{!"short", !8, i64 0}
!14 = !{!"MDBX_canary", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24}
!15 = !{!16, !8, i64 25}
!16 = !{!"libmdbx_globals", !8, i64 0, !7, i64 16, !7, i64 20, !8, i64 24, !8, i64 25, !8, i64 26, !17, i64 27, !7, i64 28, !8, i64 32, !8, i64 40, !10, i64 80, !11, i64 88}
!17 = !{!"_Bool", !8, i64 0}
!18 = !{!"branch_weights", !"expected", i32 1, i32 2000}
!19 = !{!6, !10, i64 8}
!20 = !{!"branch_weights", !"expected", i32 2000, i32 1}
!21 = !{!22, !7, i64 440}
!22 = !{!"MDBX_env", !8, i64 0, !7, i64 4, !7, i64 8, !23, i64 16, !7, i64 56, !7, i64 60, !23, i64 64, !11, i64 104, !13, i64 112, !13, i64 114, !13, i64 116, !13, i64 118, !13, i64 120, !13, i64 122, !8, i64 124, !8, i64 128, !8, i64 129, !13, i64 130, !7, i64 132, !7, i64 136, !7, i64 140, !7, i64 144, !24, i64 152, !11, i64 184, !11, i64 192, !11, i64 200, !11, i64 208, !11, i64 216, !7, i64 224, !7, i64 228, !7, i64 232, !11, i64 240, !11, i64 248, !10, i64 256, !25, i64 264, !27, i64 320, !17, i64 360, !11, i64 368, !11, i64 376, !11, i64 384, !28, i64 392, !8, i64 400, !7, i64 440, !7, i64 444, !11, i64 448, !29, i64 456, !8, i64 496, !8, i64 536}
!23 = !{!"osal_mmap", !8, i64 0, !7, i64 8, !10, i64 16, !10, i64 24, !10, i64 32}
!24 = !{!"", !11, i64 0, !11, i64 8, !11, i64 16, !11, i64 24}
!25 = !{!"", !7, i64 0, !7, i64 4, !7, i64 8, !7, i64 12, !10, i64 16, !8, i64 24, !8, i64 25, !8, i64 26, !8, i64 27, !7, i64 28, !7, i64 32, !17, i64 36, !17, i64 37, !17, i64 38, !26, i64 40, !8, i64 48}
!26 = !{!"", !13, i64 0, !13, i64 2, !13, i64 4, !13, i64 6}
!27 = !{!"", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32}
!28 = !{!"", !10, i64 0}
!29 = !{!"osal_ioring", !7, i64 0, !7, i64 4, !7, i64 8, !11, i64 16, !11, i64 24, !11, i64 32}
!30 = !{!22, !11, i64 208}
!31 = !{!8, !8, i64 0}
!32 = !{!22, !11, i64 200}
!33 = !{!34, !11, i64 0}
!34 = !{!"kvx", !35, i64 0, !37, i64 48}
!35 = !{!"clc2", !36, i64 0, !36, i64 24}
!36 = !{!"clc", !11, i64 0, !10, i64 8, !10, i64 16}
!37 = !{!"iovec", !11, i64 0, !10, i64 8}
!38 = !{!34, !11, i64 24}
!39 = !{!34, !10, i64 56}
!40 = !{!34, !11, i64 48}
!41 = !{!34, !10, i64 16}
!42 = !{!34, !10, i64 8}
!43 = !{!34, !10, i64 40}
!44 = !{!34, !10, i64 32}
!45 = !{!6, !11, i64 104}
!46 = !{!6, !11, i64 88}
!47 = !{!48, !13, i64 0}
!48 = !{!"tree", !13, i64 0, !13, i64 2, !7, i64 4, !7, i64 8, !7, i64 12, !7, i64 16, !7, i64 20, !10, i64 24, !10, i64 32, !10, i64 40}
!49 = !{!"branch_weights", i32 2000, i32 4002001}
!50 = !{!48, !7, i64 16}
!51 = !{!6, !11, i64 120}
!52 = !{!11, !11, i64 0}
!53 = !{!22, !11, i64 216}
!54 = !{!48, !13, i64 2}
!55 = !{!48, !10, i64 32}
!56 = !{!48, !7, i64 8}
!57 = !{!48, !7, i64 4}
!58 = !{!6, !11, i64 112}
!59 = !{!7, !7, i64 0}
!60 = !{!6, !7, i64 4}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LowerExpectIntrinsicPass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass