; 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.dbi_snap_result = type { i32, i32 }
%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.tree = type { i16, i16, i32, i32, i32, i32, i32, i64, i64, i64 }

@globals = external global %struct.libmdbx_globals, align 8
@.str.2 = external hidden unnamed_addr constant [50 x i8], align 1
@__func__.dbi_import = external hidden unnamed_addr constant [11 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [46 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [56 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: nounwind uwtable
declare dso_local i64 @dbi_snap(ptr noundef, i64 noundef) #2

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

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

; Function Attrs: noinline nounwind uwtable
define dso_local i32 @dbi_import(ptr noundef %0, i64 noundef %1) #4 {
  %3 = alloca i32, align 4
  %4 = alloca ptr, align 8
  %5 = alloca i64, align 8
  %6 = alloca ptr, align 8
  %7 = alloca i32, align 4
  %8 = alloca i64, align 8
  %9 = alloca i64, align 8
  %10 = alloca i64, align 8
  %11 = alloca i64, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca i32, align 4
  %16 = alloca %struct.dbi_snap_result, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store i64 %1, ptr %5, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #8
  %17 = load ptr, ptr %4, align 8, !tbaa !5
  %18 = getelementptr inbounds %struct.MDBX_txn, ptr %17, i32 0, i32 9
  %19 = load ptr, ptr %18, align 8, !tbaa !11
  store ptr %19, ptr %6, align 8, !tbaa !5
  %20 = load i64, ptr %5, align 8, !tbaa !9
  %21 = load ptr, ptr %6, align 8, !tbaa !5
  %22 = getelementptr inbounds %struct.MDBX_env, ptr %21, i32 0, i32 42
  %23 = load i32, ptr %22, align 8, !tbaa !17
  %24 = zext i32 %23 to i64
  %25 = icmp uge i64 %20, %24
  br i1 %25, label %34, label %26

26:                                               ; preds = %2
  %27 = load ptr, ptr %6, align 8, !tbaa !5
  %28 = getelementptr inbounds %struct.MDBX_env, ptr %27, i32 0, i32 26
  %29 = load ptr, ptr %28, align 8, !tbaa !27
  %30 = load i64, ptr %5, align 8, !tbaa !9
  %31 = getelementptr inbounds i8, ptr %29, i64 %30
  %32 = load i8, ptr %31, align 1, !tbaa !28
  %33 = icmp ne i8 %32, 0
  br i1 %33, label %35, label %34

34:                                               ; preds = %26, %2
  store i32 -30780, ptr %3, align 4
  store i32 1, ptr %7, align 4
  br label %633

35:                                               ; preds = %26
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #8
  store i64 32, ptr %8, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #8
  %36 = load i64, ptr %5, align 8, !tbaa !9
  %37 = udiv i64 %36, 32
  store i64 %37, ptr %9, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #8
  %38 = load i64, ptr %5, align 8, !tbaa !9
  %39 = urem i64 %38, 32
  %40 = shl i64 1, %39
  store i64 %40, ptr %10, align 8, !tbaa !9
  %41 = load i64, ptr %5, align 8, !tbaa !9
  %42 = load ptr, ptr %4, align 8, !tbaa !5
  %43 = getelementptr inbounds %struct.MDBX_txn, ptr %42, i32 0, i32 2
  %44 = load i64, ptr %43, align 8, !tbaa !29
  %45 = icmp uge i64 %41, %44
  br i1 %45, label %46, label %206

46:                                               ; preds = %35
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #8
  %47 = load ptr, ptr %4, align 8, !tbaa !5
  %48 = getelementptr inbounds %struct.MDBX_txn, ptr %47, i32 0, i32 2
  %49 = load i64, ptr %48, align 8, !tbaa !29
  %50 = add i64 %49, 32
  %51 = sub i64 %50, 1
  %52 = udiv i64 %51, 32
  store i64 %52, ptr %11, align 8, !tbaa !9
  br label %53

53:                                               ; preds = %64, %46
  %54 = load i64, ptr %9, align 8, !tbaa !9
  %55 = load i64, ptr %11, align 8, !tbaa !9
  %56 = icmp uge i64 %54, %55
  br i1 %56, label %58, label %57

57:                                               ; preds = %53
  store i32 2, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #8
  br label %67

58:                                               ; preds = %53
  %59 = load ptr, ptr %4, align 8, !tbaa !5
  %60 = getelementptr inbounds %struct.MDBX_txn, ptr %59, i32 0, i32 11
  %61 = load ptr, ptr %60, align 8, !tbaa !30
  %62 = load i64, ptr %11, align 8, !tbaa !9
  %63 = getelementptr inbounds i32, ptr %61, i64 %62
  store i32 0, ptr %63, align 4, !tbaa !31
  br label %64

64:                                               ; preds = %58
  %65 = load i64, ptr %11, align 8, !tbaa !9
  %66 = add i64 %65, 1
  store i64 %66, ptr %11, align 8, !tbaa !9
  br label %53, !llvm.loop !32

67:                                               ; preds = %57
  br label %68

68:                                               ; preds = %67
  %69 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !34
  %70 = zext i8 %69 to i32
  %71 = and i32 %70, 1
  %72 = icmp ne i32 %71, 0
  %73 = xor i1 %72, true
  %74 = xor i1 %73, true
  %75 = zext i1 %74 to i32
  %76 = sext i32 %75 to i64
  %77 = call i64 @llvm.expect.i64(i64 %76, i64 1)
  %78 = icmp ne i64 %77, 0
  br i1 %78, label %79, label %103

79:                                               ; preds = %68
  br label %80

80:                                               ; preds = %79
  %81 = load ptr, ptr %4, align 8, !tbaa !5
  %82 = getelementptr inbounds %struct.MDBX_txn, ptr %81, i32 0, i32 11
  %83 = load ptr, ptr %82, align 8, !tbaa !30
  %84 = load i64, ptr %9, align 8, !tbaa !9
  %85 = getelementptr inbounds i32, ptr %83, i64 %84
  %86 = load i32, ptr %85, align 4, !tbaa !31
  %87 = zext i32 %86 to i64
  %88 = load i64, ptr %10, align 8, !tbaa !9
  %89 = and i64 %87, %88
  %90 = icmp eq i64 %89, 0
  %91 = xor i1 %90, true
  %92 = xor i1 %91, true
  %93 = xor i1 %92, true
  %94 = zext i1 %93 to i32
  %95 = sext i32 %94 to i64
  %96 = call i64 @llvm.expect.i64(i64 %95, i64 0)
  %97 = icmp ne i64 %96, 0
  br i1 %97, label %98, label %100

98:                                               ; preds = %80
  %99 = load ptr, ptr %6, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %99, ptr noundef @.str.2, ptr noundef @__func__.dbi_import, i32 noundef 48) #9
  unreachable

100:                                              ; preds = %80
  br label %101

101:                                              ; preds = %100
  br label %102

102:                                              ; preds = %101
  br label %103

103:                                              ; preds = %102, %68
  br label %104

104:                                              ; preds = %103
  br label %105

105:                                              ; preds = %104
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #8
  %106 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %106, ptr %12, align 8, !tbaa !5
  br label %107

107:                                              ; preds = %191, %105
  br label %108

108:                                              ; preds = %107
  %109 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !34
  %110 = zext i8 %109 to i32
  %111 = and i32 %110, 1
  %112 = icmp ne i32 %111, 0
  %113 = xor i1 %112, true
  %114 = xor i1 %113, true
  %115 = zext i1 %114 to i32
  %116 = sext i32 %115 to i64
  %117 = call i64 @llvm.expect.i64(i64 %116, i64 1)
  %118 = icmp ne i64 %117, 0
  br i1 %118, label %119, label %140

119:                                              ; preds = %108
  br label %120

120:                                              ; preds = %119
  %121 = load ptr, ptr %12, align 8, !tbaa !5
  %122 = getelementptr inbounds %struct.MDBX_txn, ptr %121, i32 0, i32 11
  %123 = load ptr, ptr %122, align 8, !tbaa !30
  %124 = load ptr, ptr %4, align 8, !tbaa !5
  %125 = getelementptr inbounds %struct.MDBX_txn, ptr %124, i32 0, i32 11
  %126 = load ptr, ptr %125, align 8, !tbaa !30
  %127 = icmp eq ptr %123, %126
  %128 = xor i1 %127, true
  %129 = xor i1 %128, true
  %130 = xor i1 %129, true
  %131 = zext i1 %130 to i32
  %132 = sext i32 %131 to i64
  %133 = call i64 @llvm.expect.i64(i64 %132, i64 0)
  %134 = icmp ne i64 %133, 0
  br i1 %134, label %135, label %137

135:                                              ; preds = %120
  %136 = load ptr, ptr %6, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %136, ptr noundef @.str.3, ptr noundef @__func__.dbi_import, i32 noundef 51) #9
  unreachable

137:                                              ; preds = %120
  br label %138

138:                                              ; preds = %137
  br label %139

139:                                              ; preds = %138
  br label %140

140:                                              ; preds = %139, %108
  br label %141

141:                                              ; preds = %140
  br label %142

142:                                              ; preds = %141
  br label %143

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

154:                                              ; preds = %143
  br label %155

155:                                              ; preds = %154
  %156 = load ptr, ptr %12, align 8, !tbaa !5
  %157 = getelementptr inbounds %struct.MDBX_txn, ptr %156, i32 0, i32 2
  %158 = load i64, ptr %157, align 8, !tbaa !29
  %159 = load i64, ptr %5, align 8, !tbaa !9
  %160 = add i64 %159, 1
  %161 = icmp ult i64 %158, %160
  %162 = xor i1 %161, true
  %163 = xor i1 %162, true
  %164 = xor i1 %163, true
  %165 = zext i1 %164 to i32
  %166 = sext i32 %165 to i64
  %167 = call i64 @llvm.expect.i64(i64 %166, i64 0)
  %168 = icmp ne i64 %167, 0
  br i1 %168, label %169, label %171

169:                                              ; preds = %155
  %170 = load ptr, ptr %6, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %170, ptr noundef @.str.4, ptr noundef @__func__.dbi_import, i32 noundef 52) #9
  unreachable

171:                                              ; preds = %155
  br label %172

172:                                              ; preds = %171
  br label %173

173:                                              ; preds = %172
  br label %174

174:                                              ; preds = %173, %143
  br label %175

175:                                              ; preds = %174
  br label %176

176:                                              ; preds = %175
  %177 = load i64, ptr %5, align 8, !tbaa !9
  %178 = trunc i64 %177 to i32
  %179 = add i32 %178, 1
  %180 = zext i32 %179 to i64
  %181 = load ptr, ptr %12, align 8, !tbaa !5
  %182 = getelementptr inbounds %struct.MDBX_txn, ptr %181, i32 0, i32 2
  store i64 %180, ptr %182, align 8, !tbaa !29
  %183 = load ptr, ptr %12, align 8, !tbaa !5
  %184 = getelementptr inbounds %struct.MDBX_txn, ptr %183, i32 0, i32 12
  %185 = load ptr, ptr %184, align 8, !tbaa !36
  %186 = load i64, ptr %5, align 8, !tbaa !9
  %187 = getelementptr inbounds i8, ptr %185, i64 %186
  store i8 0, ptr %187, align 1, !tbaa !28
  %188 = load ptr, ptr %12, align 8, !tbaa !5
  %189 = getelementptr inbounds %struct.MDBX_txn, ptr %188, i32 0, i32 4
  %190 = load ptr, ptr %189, align 8, !tbaa !37
  store ptr %190, ptr %12, align 8, !tbaa !5
  br label %191

191:                                              ; preds = %176
  %192 = load ptr, ptr %12, align 8, !tbaa !5
  %193 = icmp ne ptr %192, null
  br i1 %193, label %107, label %194, !llvm.loop !38

194:                                              ; preds = %191
  %195 = load i64, ptr %10, align 8, !tbaa !9
  %196 = load ptr, ptr %4, align 8, !tbaa !5
  %197 = getelementptr inbounds %struct.MDBX_txn, ptr %196, i32 0, i32 11
  %198 = load ptr, ptr %197, align 8, !tbaa !30
  %199 = load i64, ptr %9, align 8, !tbaa !9
  %200 = getelementptr inbounds i32, ptr %198, i64 %199
  %201 = load i32, ptr %200, align 4, !tbaa !31
  %202 = zext i32 %201 to i64
  %203 = or i64 %202, %195
  %204 = trunc i64 %203 to i32
  store i32 %204, ptr %200, align 4, !tbaa !31
  store i32 19, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #8
  %205 = load i32, ptr %7, align 4
  switch i32 %205, label %632 [
    i32 19, label %322
  ]

206:                                              ; preds = %35
  %207 = load ptr, ptr %4, align 8, !tbaa !5
  %208 = getelementptr inbounds %struct.MDBX_txn, ptr %207, i32 0, i32 11
  %209 = load ptr, ptr %208, align 8, !tbaa !30
  %210 = load i64, ptr %9, align 8, !tbaa !9
  %211 = getelementptr inbounds i32, ptr %209, i64 %210
  %212 = load i32, ptr %211, align 4, !tbaa !31
  %213 = zext i32 %212 to i64
  %214 = load i64, ptr %10, align 8, !tbaa !9
  %215 = and i64 %213, %214
  %216 = icmp eq i64 %215, 0
  br i1 %216, label %217, label %313

217:                                              ; preds = %206
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #8
  %218 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %218, ptr %13, align 8, !tbaa !5
  br label %219

219:                                              ; preds = %298, %217
  br label %220

220:                                              ; preds = %219
  %221 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !34
  %222 = zext i8 %221 to i32
  %223 = and i32 %222, 1
  %224 = icmp ne i32 %223, 0
  %225 = xor i1 %224, true
  %226 = xor i1 %225, true
  %227 = zext i1 %226 to i32
  %228 = sext i32 %227 to i64
  %229 = call i64 @llvm.expect.i64(i64 %228, i64 1)
  %230 = icmp ne i64 %229, 0
  br i1 %230, label %231, label %252

231:                                              ; preds = %220
  br label %232

232:                                              ; preds = %231
  %233 = load ptr, ptr %13, align 8, !tbaa !5
  %234 = getelementptr inbounds %struct.MDBX_txn, ptr %233, i32 0, i32 11
  %235 = load ptr, ptr %234, align 8, !tbaa !30
  %236 = load ptr, ptr %4, align 8, !tbaa !5
  %237 = getelementptr inbounds %struct.MDBX_txn, ptr %236, i32 0, i32 11
  %238 = load ptr, ptr %237, align 8, !tbaa !30
  %239 = icmp eq ptr %235, %238
  %240 = xor i1 %239, true
  %241 = xor i1 %240, true
  %242 = xor i1 %241, true
  %243 = zext i1 %242 to i32
  %244 = sext i32 %243 to i64
  %245 = call i64 @llvm.expect.i64(i64 %244, i64 0)
  %246 = icmp ne i64 %245, 0
  br i1 %246, label %247, label %249

247:                                              ; preds = %232
  %248 = load ptr, ptr %6, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %248, ptr noundef @.str.3, ptr noundef @__func__.dbi_import, i32 noundef 63) #9
  unreachable

249:                                              ; preds = %232
  br label %250

250:                                              ; preds = %249
  br label %251

251:                                              ; preds = %250
  br label %252

252:                                              ; preds = %251, %220
  br label %253

253:                                              ; preds = %252
  br label %254

254:                                              ; preds = %253
  br label %255

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

266:                                              ; preds = %255
  br label %267

267:                                              ; preds = %266
  %268 = load ptr, ptr %13, align 8, !tbaa !5
  %269 = getelementptr inbounds %struct.MDBX_txn, ptr %268, i32 0, i32 2
  %270 = load i64, ptr %269, align 8, !tbaa !29
  %271 = load ptr, ptr %4, align 8, !tbaa !5
  %272 = getelementptr inbounds %struct.MDBX_txn, ptr %271, i32 0, i32 2
  %273 = load i64, ptr %272, align 8, !tbaa !29
  %274 = icmp eq i64 %270, %273
  %275 = xor i1 %274, true
  %276 = xor i1 %275, true
  %277 = xor i1 %276, true
  %278 = zext i1 %277 to i32
  %279 = sext i32 %278 to i64
  %280 = call i64 @llvm.expect.i64(i64 %279, i64 0)
  %281 = icmp ne i64 %280, 0
  br i1 %281, label %282, label %284

282:                                              ; preds = %267
  %283 = load ptr, ptr %6, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %283, ptr noundef @.str.5, ptr noundef @__func__.dbi_import, i32 noundef 64) #9
  unreachable

284:                                              ; preds = %267
  br label %285

285:                                              ; preds = %284
  br label %286

286:                                              ; preds = %285
  br label %287

287:                                              ; preds = %286, %255
  br label %288

288:                                              ; preds = %287
  br label %289

289:                                              ; preds = %288
  %290 = load ptr, ptr %13, align 8, !tbaa !5
  %291 = getelementptr inbounds %struct.MDBX_txn, ptr %290, i32 0, i32 12
  %292 = load ptr, ptr %291, align 8, !tbaa !36
  %293 = load i64, ptr %5, align 8, !tbaa !9
  %294 = getelementptr inbounds i8, ptr %292, i64 %293
  store i8 0, ptr %294, align 1, !tbaa !28
  %295 = load ptr, ptr %13, align 8, !tbaa !5
  %296 = getelementptr inbounds %struct.MDBX_txn, ptr %295, i32 0, i32 4
  %297 = load ptr, ptr %296, align 8, !tbaa !37
  store ptr %297, ptr %13, align 8, !tbaa !5
  br label %298

298:                                              ; preds = %289
  %299 = load ptr, ptr %13, align 8, !tbaa !5
  %300 = icmp ne ptr %299, null
  br i1 %300, label %219, label %301, !llvm.loop !39

301:                                              ; preds = %298
  %302 = load i64, ptr %10, align 8, !tbaa !9
  %303 = load ptr, ptr %4, align 8, !tbaa !5
  %304 = getelementptr inbounds %struct.MDBX_txn, ptr %303, i32 0, i32 11
  %305 = load ptr, ptr %304, align 8, !tbaa !30
  %306 = load i64, ptr %9, align 8, !tbaa !9
  %307 = getelementptr inbounds i32, ptr %305, i64 %306
  %308 = load i32, ptr %307, align 4, !tbaa !31
  %309 = zext i32 %308 to i64
  %310 = or i64 %309, %302
  %311 = trunc i64 %310 to i32
  store i32 %311, ptr %307, align 4, !tbaa !31
  store i32 19, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #8
  %312 = load i32, ptr %7, align 4
  switch i32 %312, label %632 [
    i32 19, label %322
  ]

313:                                              ; preds = %206
  %314 = load ptr, ptr %4, align 8, !tbaa !5
  %315 = getelementptr inbounds %struct.MDBX_txn, ptr %314, i32 0, i32 12
  %316 = load ptr, ptr %315, align 8, !tbaa !36
  %317 = load i64, ptr %5, align 8, !tbaa !9
  %318 = getelementptr inbounds i8, ptr %316, i64 %317
  %319 = load i8, ptr %318, align 1, !tbaa !28
  %320 = icmp ne i8 %319, 0
  br i1 %320, label %421, label %321

321:                                              ; preds = %313
  br label %322

322:                                              ; preds = %321, %301, %194
  %323 = load ptr, ptr %4, align 8, !tbaa !5
  %324 = getelementptr inbounds %struct.MDBX_txn, ptr %323, i32 0, i32 14
  %325 = load ptr, ptr %324, align 8, !tbaa !40
  %326 = load i64, ptr %5, align 8, !tbaa !9
  %327 = getelementptr inbounds ptr, ptr %325, i64 %326
  store ptr null, ptr %327, align 8, !tbaa !5
  %328 = load ptr, ptr %4, align 8, !tbaa !5
  %329 = getelementptr inbounds %struct.MDBX_txn, ptr %328, i32 0, i32 4
  %330 = load ptr, ptr %329, align 8, !tbaa !37
  store ptr %330, ptr %14, align 8, !tbaa !5
  %331 = load ptr, ptr %14, align 8, !tbaa !5
  %332 = icmp ne ptr %331, null
  br i1 %332, label %333, label %410

333:                                              ; preds = %322
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #8
  %334 = load ptr, ptr %14, align 8, !tbaa !5
  %335 = load i64, ptr %5, align 8, !tbaa !9
  %336 = call i32 @dbi_check(ptr noundef %334, i64 noundef %335)
  store i32 %336, ptr %15, align 4, !tbaa !31
  br label %337

337:                                              ; preds = %333
  %338 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !34
  %339 = zext i8 %338 to i32
  %340 = and i32 %339, 1
  %341 = icmp ne i32 %340, 0
  %342 = xor i1 %341, true
  %343 = xor i1 %342, true
  %344 = zext i1 %343 to i32
  %345 = sext i32 %344 to i64
  %346 = call i64 @llvm.expect.i64(i64 %345, i64 1)
  %347 = icmp ne i64 %346, 0
  br i1 %347, label %348, label %369

348:                                              ; preds = %337
  br label %349

349:                                              ; preds = %348
  %350 = load ptr, ptr %4, align 8, !tbaa !5
  %351 = getelementptr inbounds %struct.MDBX_txn, ptr %350, i32 0, i32 13
  %352 = load ptr, ptr %351, align 8, !tbaa !41
  %353 = load ptr, ptr %14, align 8, !tbaa !5
  %354 = getelementptr inbounds %struct.MDBX_txn, ptr %353, i32 0, i32 13
  %355 = load ptr, ptr %354, align 8, !tbaa !41
  %356 = icmp eq ptr %352, %355
  %357 = xor i1 %356, true
  %358 = xor i1 %357, true
  %359 = xor i1 %358, true
  %360 = zext i1 %359 to i32
  %361 = sext i32 %360 to i64
  %362 = call i64 @llvm.expect.i64(i64 %361, i64 0)
  %363 = icmp ne i64 %362, 0
  br i1 %363, label %364, label %366

364:                                              ; preds = %349
  %365 = load ptr, ptr %6, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %365, ptr noundef @.str.6, ptr noundef @__func__.dbi_import, i32 noundef 91) #9
  unreachable

366:                                              ; preds = %349
  br label %367

367:                                              ; preds = %366
  br label %368

368:                                              ; preds = %367
  br label %369

369:                                              ; preds = %368, %337
  br label %370

370:                                              ; preds = %369
  br label %371

371:                                              ; preds = %370
  %372 = load ptr, ptr %14, align 8, !tbaa !5
  %373 = getelementptr inbounds %struct.MDBX_txn, ptr %372, i32 0, i32 12
  %374 = load ptr, ptr %373, align 8, !tbaa !36
  %375 = load i64, ptr %5, align 8, !tbaa !9
  %376 = getelementptr inbounds i8, ptr %374, i64 %375
  %377 = load i8, ptr %376, align 1, !tbaa !28
  %378 = zext i8 %377 to i32
  %379 = and i32 %378, -14
  %380 = trunc i32 %379 to i8
  %381 = load ptr, ptr %4, align 8, !tbaa !5
  %382 = getelementptr inbounds %struct.MDBX_txn, ptr %381, i32 0, i32 12
  %383 = load ptr, ptr %382, align 8, !tbaa !36
  %384 = load i64, ptr %5, align 8, !tbaa !9
  %385 = getelementptr inbounds i8, ptr %383, i64 %384
  store i8 %380, ptr %385, align 1, !tbaa !28
  %386 = load i32, ptr %15, align 4, !tbaa !31
  %387 = icmp eq i32 %386, 0
  %388 = xor i1 %387, true
  %389 = xor i1 %388, true
  %390 = zext i1 %389 to i32
  %391 = sext i32 %390 to i64
  %392 = call i64 @llvm.expect.i64(i64 %391, i64 1)
  %393 = icmp ne i64 %392, 0
  br i1 %393, label %394, label %408

394:                                              ; preds = %371
  %395 = load ptr, ptr %4, align 8, !tbaa !5
  %396 = getelementptr inbounds %struct.MDBX_txn, ptr %395, i32 0, i32 10
  %397 = load ptr, ptr %396, align 8, !tbaa !42
  %398 = load i64, ptr %5, align 8, !tbaa !9
  %399 = getelementptr inbounds %struct.tree, ptr %397, i64 %398
  %400 = load ptr, ptr %14, align 8, !tbaa !5
  %401 = getelementptr inbounds %struct.MDBX_txn, ptr %400, i32 0, i32 10
  %402 = load ptr, ptr %401, align 8, !tbaa !42
  %403 = load i64, ptr %5, align 8, !tbaa !9
  %404 = getelementptr inbounds %struct.tree, ptr %402, i64 %403
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %399, ptr align 4 %404, i64 48, i1 false), !tbaa.struct !43
  %405 = load ptr, ptr %14, align 8, !tbaa !5
  %406 = load i64, ptr %5, align 8, !tbaa !9
  %407 = call i32 @txn_shadow_cursors(ptr noundef %405, i64 noundef %406)
  store i32 %407, ptr %15, align 4, !tbaa !31
  br label %408

408:                                              ; preds = %394, %371
  %409 = load i32, ptr %15, align 4, !tbaa !31
  store i32 %409, ptr %3, align 4
  store i32 1, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #8
  br label %632

410:                                              ; preds = %322
  %411 = load ptr, ptr %4, align 8, !tbaa !5
  %412 = getelementptr inbounds %struct.MDBX_txn, ptr %411, i32 0, i32 13
  %413 = load ptr, ptr %412, align 8, !tbaa !41
  %414 = load i64, ptr %5, align 8, !tbaa !9
  %415 = getelementptr inbounds i32, ptr %413, i64 %414
  store i32 0, ptr %415, align 4, !tbaa !31
  %416 = load ptr, ptr %4, align 8, !tbaa !5
  %417 = getelementptr inbounds %struct.MDBX_txn, ptr %416, i32 0, i32 12
  %418 = load ptr, ptr %417, align 8, !tbaa !36
  %419 = load i64, ptr %5, align 8, !tbaa !9
  %420 = getelementptr inbounds i8, ptr %418, i64 %419
  store i8 -128, ptr %420, align 1, !tbaa !28
  br label %552

421:                                              ; preds = %313
  br label %422

422:                                              ; preds = %421
  %423 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !34
  %424 = zext i8 %423 to i32
  %425 = and i32 %424, 1
  %426 = icmp ne i32 %425, 0
  %427 = xor i1 %426, true
  %428 = xor i1 %427, true
  %429 = zext i1 %428 to i32
  %430 = sext i32 %429 to i64
  %431 = call i64 @llvm.expect.i64(i64 %430, i64 1)
  %432 = icmp ne i64 %431, 0
  br i1 %432, label %433, label %460

433:                                              ; preds = %422
  br label %434

434:                                              ; preds = %433
  %435 = load ptr, ptr %4, align 8, !tbaa !5
  %436 = getelementptr inbounds %struct.MDBX_txn, ptr %435, i32 0, i32 13
  %437 = load ptr, ptr %436, align 8, !tbaa !41
  %438 = load i64, ptr %5, align 8, !tbaa !9
  %439 = getelementptr inbounds i32, ptr %437, i64 %438
  %440 = load i32, ptr %439, align 4, !tbaa !31
  %441 = load ptr, ptr %6, align 8, !tbaa !5
  %442 = getelementptr inbounds %struct.MDBX_env, ptr %441, i32 0, i32 27
  %443 = load ptr, ptr %442, align 8, !tbaa !45
  %444 = load i64, ptr %5, align 8, !tbaa !9
  %445 = getelementptr inbounds %union.mdbx_atomic_uint32_t, ptr %443, i64 %444
  %446 = load volatile i32, ptr %445, align 4, !tbaa !28
  %447 = icmp ne i32 %440, %446
  %448 = xor i1 %447, true
  %449 = xor i1 %448, true
  %450 = xor i1 %449, true
  %451 = zext i1 %450 to i32
  %452 = sext i32 %451 to i64
  %453 = call i64 @llvm.expect.i64(i64 %452, i64 0)
  %454 = icmp ne i64 %453, 0
  br i1 %454, label %455, label %457

455:                                              ; preds = %434
  %456 = load ptr, ptr %6, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %456, ptr noundef @.str.7, ptr noundef @__func__.dbi_import, i32 noundef 102) #9
  unreachable

457:                                              ; preds = %434
  br label %458

458:                                              ; preds = %457
  br label %459

459:                                              ; preds = %458
  br label %460

460:                                              ; preds = %459, %422
  br label %461

461:                                              ; preds = %460
  br label %462

462:                                              ; preds = %461
  %463 = load ptr, ptr %4, align 8, !tbaa !5
  %464 = getelementptr inbounds %struct.MDBX_txn, ptr %463, i32 0, i32 12
  %465 = load ptr, ptr %464, align 8, !tbaa !36
  %466 = load i64, ptr %5, align 8, !tbaa !9
  %467 = getelementptr inbounds i8, ptr %465, i64 %466
  %468 = load i8, ptr %467, align 1, !tbaa !28
  %469 = zext i8 %468 to i32
  %470 = and i32 %469, 80
  %471 = icmp ne i32 %470, 0
  br i1 %471, label %480, label %472

472:                                              ; preds = %462
  %473 = load ptr, ptr %4, align 8, !tbaa !5
  %474 = getelementptr inbounds %struct.MDBX_txn, ptr %473, i32 0, i32 14
  %475 = load ptr, ptr %474, align 8, !tbaa !40
  %476 = load i64, ptr %5, align 8, !tbaa !9
  %477 = getelementptr inbounds ptr, ptr %475, i64 %476
  %478 = load ptr, ptr %477, align 8, !tbaa !5
  %479 = icmp ne ptr %478, null
  br label %480

480:                                              ; preds = %472, %462
  %481 = phi i1 [ true, %462 ], [ %479, %472 ]
  %482 = xor i1 %481, true
  %483 = xor i1 %482, true
  %484 = zext i1 %483 to i32
  %485 = sext i32 %484 to i64
  %486 = call i64 @llvm.expect.i64(i64 %485, i64 0)
  %487 = icmp ne i64 %486, 0
  br i1 %487, label %488, label %551

488:                                              ; preds = %480
  br label %489

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

500:                                              ; preds = %489
  br label %501

501:                                              ; preds = %500
  %502 = load ptr, ptr %4, align 8, !tbaa !5
  %503 = getelementptr inbounds %struct.MDBX_txn, ptr %502, i32 0, i32 12
  %504 = load ptr, ptr %503, align 8, !tbaa !36
  %505 = load i64, ptr %5, align 8, !tbaa !9
  %506 = getelementptr inbounds i8, ptr %504, i64 %505
  %507 = load i8, ptr %506, align 1, !tbaa !28
  %508 = zext i8 %507 to i32
  %509 = and i32 %508, 2
  %510 = icmp eq i32 %509, 0
  %511 = xor i1 %510, true
  %512 = xor i1 %511, true
  %513 = xor i1 %512, true
  %514 = zext i1 %513 to i32
  %515 = sext i32 %514 to i64
  %516 = call i64 @llvm.expect.i64(i64 %515, i64 0)
  %517 = icmp ne i64 %516, 0
  br i1 %517, label %518, label %520

518:                                              ; preds = %501
  %519 = load ptr, ptr %6, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %519, ptr noundef @.str.8, ptr noundef @__func__.dbi_import, i32 noundef 106) #9
  unreachable

520:                                              ; preds = %501
  br label %521

521:                                              ; preds = %520
  br label %522

522:                                              ; preds = %521
  br label %523

523:                                              ; preds = %522, %489
  br label %524

524:                                              ; preds = %523
  br label %525

525:                                              ; preds = %524
  %526 = load ptr, ptr %6, align 8, !tbaa !5
  %527 = getelementptr inbounds %struct.MDBX_env, ptr %526, i32 0, i32 27
  %528 = load ptr, ptr %527, align 8, !tbaa !45
  %529 = load i64, ptr %5, align 8, !tbaa !9
  %530 = getelementptr inbounds %union.mdbx_atomic_uint32_t, ptr %528, i64 %529
  %531 = load volatile i32, ptr %530, align 4, !tbaa !28
  %532 = load ptr, ptr %4, align 8, !tbaa !5
  %533 = getelementptr inbounds %struct.MDBX_txn, ptr %532, i32 0, i32 13
  %534 = load ptr, ptr %533, align 8, !tbaa !41
  %535 = load i64, ptr %5, align 8, !tbaa !9
  %536 = getelementptr inbounds i32, ptr %534, i64 %535
  store i32 %531, ptr %536, align 4, !tbaa !31
  %537 = load ptr, ptr %4, align 8, !tbaa !5
  %538 = getelementptr inbounds %struct.MDBX_txn, ptr %537, i32 0, i32 12
  %539 = load ptr, ptr %538, align 8, !tbaa !36
  %540 = load i64, ptr %5, align 8, !tbaa !9
  %541 = getelementptr inbounds i8, ptr %539, i64 %540
  store i8 -64, ptr %541, align 1, !tbaa !28
  %542 = load ptr, ptr %4, align 8, !tbaa !5
  %543 = getelementptr inbounds %struct.MDBX_txn, ptr %542, i32 0, i32 14
  %544 = load ptr, ptr %543, align 8, !tbaa !40
  %545 = load i64, ptr %5, align 8, !tbaa !9
  %546 = getelementptr inbounds ptr, ptr %544, i64 %545
  %547 = load ptr, ptr %546, align 8, !tbaa !5
  %548 = icmp ne ptr %547, null
  %549 = zext i1 %548 to i64
  %550 = select i1 %548, i32 -30412, i32 -30780
  store i32 %550, ptr %3, align 4
  store i32 1, ptr %7, align 4
  br label %632

551:                                              ; preds = %480
  br label %552

552:                                              ; preds = %551, %410
  br label %553

553:                                              ; preds = %552
  %554 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !34
  %555 = zext i8 %554 to i32
  %556 = and i32 %555, 1
  %557 = icmp ne i32 %556, 0
  %558 = xor i1 %557, true
  %559 = xor i1 %558, true
  %560 = zext i1 %559 to i32
  %561 = sext i32 %560 to i64
  %562 = call i64 @llvm.expect.i64(i64 %561, i64 1)
  %563 = icmp ne i64 %562, 0
  br i1 %563, label %564, label %598

564:                                              ; preds = %553
  br label %565

565:                                              ; preds = %564
  %566 = load ptr, ptr %4, align 8, !tbaa !5
  %567 = getelementptr inbounds %struct.MDBX_txn, ptr %566, i32 0, i32 12
  %568 = load ptr, ptr %567, align 8, !tbaa !36
  %569 = load i64, ptr %5, align 8, !tbaa !9
  %570 = getelementptr inbounds i8, ptr %568, i64 %569
  %571 = load i8, ptr %570, align 1, !tbaa !28
  %572 = zext i8 %571 to i32
  %573 = and i32 %572, 128
  %574 = icmp ne i32 %573, 0
  br i1 %574, label %575, label %584

575:                                              ; preds = %565
  %576 = load ptr, ptr %4, align 8, !tbaa !5
  %577 = getelementptr inbounds %struct.MDBX_txn, ptr %576, i32 0, i32 14
  %578 = load ptr, ptr %577, align 8, !tbaa !40
  %579 = load i64, ptr %5, align 8, !tbaa !9
  %580 = getelementptr inbounds ptr, ptr %578, i64 %579
  %581 = load ptr, ptr %580, align 8, !tbaa !5
  %582 = icmp ne ptr %581, null
  %583 = xor i1 %582, true
  br label %584

584:                                              ; preds = %575, %565
  %585 = phi i1 [ false, %565 ], [ %583, %575 ]
  %586 = xor i1 %585, true
  %587 = xor i1 %586, true
  %588 = xor i1 %587, true
  %589 = zext i1 %588 to i32
  %590 = sext i32 %589 to i64
  %591 = call i64 @llvm.expect.i64(i64 %590, i64 0)
  %592 = icmp ne i64 %591, 0
  br i1 %592, label %593, label %595

593:                                              ; preds = %584
  %594 = load ptr, ptr %6, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %594, ptr noundef @.str.9, ptr noundef @__func__.dbi_import, i32 noundef 115) #9
  unreachable

595:                                              ; preds = %584
  br label %596

596:                                              ; preds = %595
  br label %597

597:                                              ; preds = %596
  br label %598

598:                                              ; preds = %597, %553
  br label %599

599:                                              ; preds = %598
  br label %600

600:                                              ; preds = %599
  %601 = load ptr, ptr %6, align 8, !tbaa !5
  %602 = load i64, ptr %5, align 8, !tbaa !9
  %603 = call i64 @dbi_snap(ptr noundef %601, i64 noundef %602)
  store i64 %603, ptr %16, align 4
  %604 = getelementptr inbounds %struct.dbi_snap_result, ptr %16, i32 0, i32 0
  %605 = load i32, ptr %604, align 4, !tbaa !46
  %606 = load ptr, ptr %4, align 8, !tbaa !5
  %607 = getelementptr inbounds %struct.MDBX_txn, ptr %606, i32 0, i32 13
  %608 = load ptr, ptr %607, align 8, !tbaa !41
  %609 = load i64, ptr %5, align 8, !tbaa !9
  %610 = getelementptr inbounds i32, ptr %608, i64 %609
  store i32 %605, ptr %610, align 4, !tbaa !31
  %611 = getelementptr inbounds %struct.dbi_snap_result, ptr %16, i32 0, i32 1
  %612 = load i32, ptr %611, align 4, !tbaa !48
  %613 = and i32 %612, 128
  %614 = icmp ne i32 %613, 0
  br i1 %614, label %615, label %631

615:                                              ; preds = %600
  %616 = getelementptr inbounds %struct.dbi_snap_result, ptr %16, i32 0, i32 1
  %617 = load i32, ptr %616, align 4, !tbaa !48
  %618 = and i32 %617, 126
  %619 = trunc i32 %618 to i16
  %620 = load ptr, ptr %4, align 8, !tbaa !5
  %621 = getelementptr inbounds %struct.MDBX_txn, ptr %620, i32 0, i32 10
  %622 = load ptr, ptr %621, align 8, !tbaa !42
  %623 = load i64, ptr %5, align 8, !tbaa !9
  %624 = getelementptr inbounds %struct.tree, ptr %622, i64 %623
  %625 = getelementptr inbounds %struct.tree, ptr %624, i32 0, i32 0
  store i16 %619, ptr %625, align 4, !tbaa !49
  %626 = load ptr, ptr %4, align 8, !tbaa !5
  %627 = getelementptr inbounds %struct.MDBX_txn, ptr %626, i32 0, i32 12
  %628 = load ptr, ptr %627, align 8, !tbaa !36
  %629 = load i64, ptr %5, align 8, !tbaa !9
  %630 = getelementptr inbounds i8, ptr %628, i64 %629
  store i8 -110, ptr %630, align 1, !tbaa !28
  store i32 0, ptr %3, align 4
  store i32 1, ptr %7, align 4
  br label %632

631:                                              ; preds = %600
  store i32 -30780, ptr %3, align 4
  store i32 1, ptr %7, align 4
  br label %632

632:                                              ; preds = %631, %615, %525, %408, %301, %194
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #8
  br label %633

633:                                              ; preds = %632, %34
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #8
  %634 = load i32, ptr %3, align 4
  ret i32 %634
}

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

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

declare i32 @txn_shadow_cursors(ptr noundef, i64 noundef) #7

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 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { noinline 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 = { 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 #6 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #7 = { "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 #8 = { nounwind }
attributes #9 = { 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, !6, i64 80}
!12 = !{!"MDBX_txn", !13, i64 0, !13, i64 4, !10, i64 8, !10, i64 16, !6, i64 24, !6, i64 32, !14, 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, !16, i64 128, !6, i64 160, !7, i64 168}
!13 = !{!"int", !7, i64 0}
!14 = !{!"geo", !15, i64 0, !15, i64 2, !13, i64 4, !13, i64 8, !7, i64 12, !7, i64 16}
!15 = !{!"short", !7, i64 0}
!16 = !{!"MDBX_canary", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24}
!17 = !{!18, !13, i64 440}
!18 = !{!"MDBX_env", !7, i64 0, !13, i64 4, !13, i64 8, !19, i64 16, !13, i64 56, !13, i64 60, !19, i64 64, !6, i64 104, !15, i64 112, !15, i64 114, !15, i64 116, !15, i64 118, !15, i64 120, !15, i64 122, !7, i64 124, !7, i64 128, !7, i64 129, !15, i64 130, !13, i64 132, !13, i64 136, !13, i64 140, !13, i64 144, !20, i64 152, !6, i64 184, !6, i64 192, !6, i64 200, !6, i64 208, !6, i64 216, !13, i64 224, !13, i64 228, !13, i64 232, !6, i64 240, !6, i64 248, !10, i64 256, !21, i64 264, !24, i64 320, !22, i64 360, !6, i64 368, !6, i64 376, !6, i64 384, !25, i64 392, !7, i64 400, !13, i64 440, !13, i64 444, !6, i64 448, !26, i64 456, !7, i64 496, !7, i64 536}
!19 = !{!"osal_mmap", !7, i64 0, !13, i64 8, !10, i64 16, !10, i64 24, !10, i64 32}
!20 = !{!"", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!21 = !{!"", !13, i64 0, !13, i64 4, !13, i64 8, !13, i64 12, !10, i64 16, !7, i64 24, !7, i64 25, !7, i64 26, !7, i64 27, !13, i64 28, !13, i64 32, !22, i64 36, !22, i64 37, !22, i64 38, !23, i64 40, !7, i64 48}
!22 = !{!"_Bool", !7, i64 0}
!23 = !{!"", !15, i64 0, !15, i64 2, !15, i64 4, !15, i64 6}
!24 = !{!"", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32}
!25 = !{!"", !10, i64 0}
!26 = !{!"osal_ioring", !13, i64 0, !13, i64 4, !13, i64 8, !6, i64 16, !6, i64 24, !6, i64 32}
!27 = !{!18, !6, i64 208}
!28 = !{!7, !7, i64 0}
!29 = !{!12, !10, i64 8}
!30 = !{!12, !6, i64 96}
!31 = !{!13, !13, i64 0}
!32 = distinct !{!32, !33}
!33 = !{!"llvm.loop.mustprogress"}
!34 = !{!35, !7, i64 25}
!35 = !{!"libmdbx_globals", !7, i64 0, !13, i64 16, !13, i64 20, !7, i64 24, !7, i64 25, !7, i64 26, !22, i64 27, !13, i64 28, !7, i64 32, !7, i64 40, !10, i64 80, !6, i64 88}
!36 = !{!12, !6, i64 104}
!37 = !{!12, !6, i64 24}
!38 = distinct !{!38, !33}
!39 = distinct !{!39, !33}
!40 = !{!12, !6, i64 120}
!41 = !{!12, !6, i64 112}
!42 = !{!12, !6, i64 88}
!43 = !{i64 0, i64 2, !44, i64 2, i64 2, !44, i64 4, i64 4, !31, i64 8, i64 4, !31, i64 12, i64 4, !31, i64 16, i64 4, !31, i64 20, i64 4, !31, i64 24, i64 8, !9, i64 32, i64 8, !9, i64 40, i64 8, !9}
!44 = !{!15, !15, i64 0}
!45 = !{!18, !6, i64 216}
!46 = !{!47, !13, i64 0}
!47 = !{!"dbi_snap_result", !13, i64 0, !13, i64 4}
!48 = !{!47, !13, i64 4}
!49 = !{!50, !15, i64 0}
!50 = !{!"tree", !15, i64 0, !15, i64 2, !13, i64 4, !13, i64 8, !13, i64 12, !13, i64 16, !13, i64 20, !10, i64 24, !10, i64 32, !10, i64 40}


; 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.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.2 = external hidden unnamed_addr constant [50 x i8], align 1
@__func__.dbi_import = external hidden unnamed_addr constant [11 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [46 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [56 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: nounwind uwtable
declare dso_local i64 @dbi_snap(ptr noundef, i64 noundef) local_unnamed_addr #1

; Function Attrs: noinline nounwind uwtable
define dso_local i32 @dbi_import(ptr nocapture noundef %0, i64 noundef %1) local_unnamed_addr #2 {
  %3 = getelementptr inbounds i8, ptr %0, i64 80
  %4 = load ptr, ptr %3, align 8, !tbaa !5
  %5 = getelementptr inbounds i8, ptr %4, i64 440
  %6 = load i32, ptr %5, align 8, !tbaa !15
  %7 = zext i32 %6 to i64
  %.not = icmp ugt i64 %7, %1
  br i1 %.not, label %8, label %196

8:                                                ; preds = %2
  %9 = getelementptr inbounds i8, ptr %4, i64 208
  %10 = load ptr, ptr %9, align 8, !tbaa !25
  %11 = getelementptr inbounds i8, ptr %10, i64 %1
  %12 = load i8, ptr %11, align 1, !tbaa !26
  %.not127 = icmp eq i8 %12, 0
  br i1 %.not127, label %196, label %13

13:                                               ; preds = %8
  %14 = lshr i64 %1, 5
  %15 = and i64 %1, 31
  %16 = shl nuw nsw i64 1, %15
  %17 = getelementptr inbounds i8, ptr %0, i64 8
  %18 = load i64, ptr %17, align 8, !tbaa !27
  %.not128 = icmp ugt i64 %18, %1
  br i1 %.not128, label %59, label %19

19:                                               ; preds = %13
  %20 = add nuw nsw i64 %18, 31
  %21 = lshr i64 %20, 5
  %.not141160 = icmp ult i64 %14, %21
  br i1 %.not141160, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %19
  %22 = getelementptr inbounds i8, ptr %0, i64 96
  %23 = load ptr, ptr %22, align 8, !tbaa !28
  %24 = shl nuw nsw i64 %21, 2
  %scevgep = getelementptr i8, ptr %23, i64 %24
  %25 = add nuw nsw i64 %14, 1
  %26 = sub nsw i64 %25, %21
  %27 = shl nuw nsw i64 %26, 2
  tail call void @llvm.memset.p0.i64(ptr align 4 %scevgep, i8 0, i64 %27, i1 false), !tbaa !29
  br label %._crit_edge

._crit_edge:                                      ; preds = %.lr.ph, %19
  %28 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !30
  %29 = and i8 %28, 1
  %.not142 = icmp eq i8 %29, 0
  br i1 %.not142, label %38, label %30, !prof !32

30:                                               ; preds = %._crit_edge
  %31 = getelementptr inbounds i8, ptr %0, i64 96
  %32 = load ptr, ptr %31, align 8, !tbaa !28
  %33 = getelementptr inbounds i32, ptr %32, i64 %14
  %34 = load i32, ptr %33, align 4, !tbaa !29
  %35 = zext i32 %34 to i64
  %36 = and i64 %16, %35
  %.not143 = icmp eq i64 %36, 0
  br i1 %.not143, label %38, label %37, !prof !33

37:                                               ; preds = %30
  tail call void @mdbx_assert_fail(ptr noundef nonnull %4, ptr noundef nonnull @.str.2, ptr noundef nonnull @__func__.dbi_import, i32 noundef 48) #7
  unreachable

38:                                               ; preds = %30, %._crit_edge
  %39 = getelementptr inbounds i8, ptr %0, i64 96
  %40 = add nuw nsw i64 %1, 1
  br label %41

41:                                               ; preds = %.thread, %38
  %.0119 = phi ptr [ %0, %38 ], [ %58, %.thread ]
  %42 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !30
  %43 = and i8 %42, 1
  %.not144 = icmp eq i8 %43, 0
  br i1 %.not144, label %.thread, label %44, !prof !32

44:                                               ; preds = %41
  %45 = getelementptr inbounds i8, ptr %.0119, i64 96
  %46 = load ptr, ptr %45, align 8, !tbaa !28
  %47 = load ptr, ptr %39, align 8, !tbaa !28
  %.not145 = icmp eq ptr %46, %47
  br i1 %.not145, label %49, label %48, !prof !33

48:                                               ; preds = %44
  tail call void @mdbx_assert_fail(ptr noundef %4, ptr noundef nonnull @.str.3, ptr noundef nonnull @__func__.dbi_import, i32 noundef 51) #7
  unreachable

49:                                               ; preds = %44
  %50 = getelementptr inbounds i8, ptr %.0119, i64 8
  %51 = load i64, ptr %50, align 8, !tbaa !27
  %.not147 = icmp ugt i64 %51, %1
  br i1 %.not147, label %52, label %.thread, !prof !32

52:                                               ; preds = %49
  tail call void @mdbx_assert_fail(ptr noundef %4, ptr noundef nonnull @.str.4, ptr noundef nonnull @__func__.dbi_import, i32 noundef 52) #7
  unreachable

.thread:                                          ; preds = %41, %49
  %53 = getelementptr inbounds i8, ptr %.0119, i64 8
  store i64 %40, ptr %53, align 8, !tbaa !27
  %54 = getelementptr inbounds i8, ptr %.0119, i64 104
  %55 = load ptr, ptr %54, align 8, !tbaa !34
  %56 = getelementptr inbounds i8, ptr %55, i64 %1
  store i8 0, ptr %56, align 1, !tbaa !26
  %57 = getelementptr inbounds i8, ptr %.0119, i64 24
  %58 = load ptr, ptr %57, align 8, !tbaa !35
  %.not148 = icmp eq ptr %58, null
  br i1 %.not148, label %.sink.split, label %41, !llvm.loop !36

59:                                               ; preds = %13
  %60 = getelementptr inbounds i8, ptr %0, i64 96
  %61 = load ptr, ptr %60, align 8, !tbaa !28
  %62 = getelementptr inbounds i32, ptr %61, i64 %14
  %63 = load i32, ptr %62, align 4, !tbaa !29
  %64 = zext i32 %63 to i64
  %65 = and i64 %16, %64
  %66 = icmp eq i64 %65, 0
  br i1 %66, label %.preheader, label %84

.preheader:                                       ; preds = %59, %.thread158
  %.0118 = phi ptr [ %83, %.thread158 ], [ %0, %59 ]
  %67 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !30
  %68 = and i8 %67, 1
  %.not136 = icmp eq i8 %68, 0
  br i1 %.not136, label %.thread158, label %69, !prof !32

69:                                               ; preds = %.preheader
  %70 = getelementptr inbounds i8, ptr %.0118, i64 96
  %71 = load ptr, ptr %70, align 8, !tbaa !28
  %72 = load ptr, ptr %60, align 8, !tbaa !28
  %.not137 = icmp eq ptr %71, %72
  br i1 %.not137, label %74, label %73, !prof !33

73:                                               ; preds = %69
  tail call void @mdbx_assert_fail(ptr noundef %4, ptr noundef nonnull @.str.3, ptr noundef nonnull @__func__.dbi_import, i32 noundef 63) #7
  unreachable

74:                                               ; preds = %69
  %75 = getelementptr inbounds i8, ptr %.0118, i64 8
  %76 = load i64, ptr %75, align 8, !tbaa !27
  %77 = load i64, ptr %17, align 8, !tbaa !27
  %.not139 = icmp eq i64 %76, %77
  br i1 %.not139, label %.thread158, label %78, !prof !33

78:                                               ; preds = %74
  tail call void @mdbx_assert_fail(ptr noundef %4, ptr noundef nonnull @.str.5, ptr noundef nonnull @__func__.dbi_import, i32 noundef 64) #7
  unreachable

.thread158:                                       ; preds = %.preheader, %74
  %79 = getelementptr inbounds i8, ptr %.0118, i64 104
  %80 = load ptr, ptr %79, align 8, !tbaa !34
  %81 = getelementptr inbounds i8, ptr %80, i64 %1
  store i8 0, ptr %81, align 1, !tbaa !26
  %82 = getelementptr inbounds i8, ptr %.0118, i64 24
  %83 = load ptr, ptr %82, align 8, !tbaa !35
  %.not140 = icmp eq ptr %83, null
  br i1 %.not140, label %.sink.split, label %.preheader, !llvm.loop !38

84:                                               ; preds = %59
  %85 = getelementptr inbounds i8, ptr %0, i64 104
  %86 = load ptr, ptr %85, align 8, !tbaa !34
  %87 = getelementptr inbounds i8, ptr %86, i64 %1
  %88 = load i8, ptr %87, align 1, !tbaa !26
  %.not129 = icmp eq i8 %88, 0
  br i1 %.not129, label %94, label %135

.sink.split:                                      ; preds = %.thread, %.thread158
  %.sink = phi ptr [ %60, %.thread158 ], [ %39, %.thread ]
  %89 = load ptr, ptr %.sink, align 8, !tbaa !28
  %90 = getelementptr inbounds i32, ptr %89, i64 %14
  %91 = load i32, ptr %90, align 4, !tbaa !29
  %92 = trunc nuw i64 %16 to i32
  %93 = or i32 %91, %92
  store i32 %93, ptr %90, align 4, !tbaa !29
  br label %94

94:                                               ; preds = %.sink.split, %84
  %95 = getelementptr inbounds i8, ptr %0, i64 120
  %96 = load ptr, ptr %95, align 8, !tbaa !39
  %97 = getelementptr inbounds ptr, ptr %96, i64 %1
  store ptr null, ptr %97, align 8, !tbaa !40
  %98 = getelementptr inbounds i8, ptr %0, i64 24
  %99 = load ptr, ptr %98, align 8, !tbaa !35
  %.not149 = icmp eq ptr %99, null
  br i1 %.not149, label %128, label %100

100:                                              ; preds = %94
  %101 = tail call i32 @dbi_check(ptr noundef nonnull %99, i64 noundef %1)
  %102 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !30
  %103 = and i8 %102, 1
  %.not154 = icmp eq i8 %103, 0
  br i1 %.not154, label %110, label %104, !prof !32

104:                                              ; preds = %100
  %105 = getelementptr inbounds i8, ptr %0, i64 112
  %106 = load ptr, ptr %105, align 8, !tbaa !41
  %107 = getelementptr inbounds i8, ptr %99, i64 112
  %108 = load ptr, ptr %107, align 8, !tbaa !41
  %.not155 = icmp eq ptr %106, %108
  br i1 %.not155, label %110, label %109, !prof !33

109:                                              ; preds = %104
  tail call void @mdbx_assert_fail(ptr noundef %4, ptr noundef nonnull @.str.6, ptr noundef nonnull @__func__.dbi_import, i32 noundef 91) #7
  unreachable

110:                                              ; preds = %104, %100
  %111 = getelementptr inbounds i8, ptr %99, i64 104
  %112 = load ptr, ptr %111, align 8, !tbaa !34
  %113 = getelementptr inbounds i8, ptr %112, i64 %1
  %114 = load i8, ptr %113, align 1, !tbaa !26
  %115 = and i8 %114, -14
  %116 = getelementptr inbounds i8, ptr %0, i64 104
  %117 = load ptr, ptr %116, align 8, !tbaa !34
  %118 = getelementptr inbounds i8, ptr %117, i64 %1
  store i8 %115, ptr %118, align 1, !tbaa !26
  %119 = icmp eq i32 %101, 0
  br i1 %119, label %120, label %196, !prof !33

120:                                              ; preds = %110
  %121 = getelementptr inbounds i8, ptr %0, i64 88
  %122 = load ptr, ptr %121, align 8, !tbaa !42
  %123 = getelementptr inbounds %struct.tree, ptr %122, i64 %1
  %124 = getelementptr inbounds i8, ptr %99, i64 88
  %125 = load ptr, ptr %124, align 8, !tbaa !42
  %126 = getelementptr inbounds %struct.tree, ptr %125, i64 %1
  tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(48) %123, ptr noundef nonnull align 4 dereferenceable(48) %126, i64 48, i1 false), !tbaa.struct !43
  %127 = tail call i32 @txn_shadow_cursors(ptr noundef nonnull %99, i64 noundef %1) #8
  br label %196

128:                                              ; preds = %94
  %129 = getelementptr inbounds i8, ptr %0, i64 112
  %130 = load ptr, ptr %129, align 8, !tbaa !41
  %131 = getelementptr inbounds i32, ptr %130, i64 %1
  store i32 0, ptr %131, align 4, !tbaa !29
  %132 = getelementptr inbounds i8, ptr %0, i64 104
  %133 = load ptr, ptr %132, align 8, !tbaa !34
  %134 = getelementptr inbounds i8, ptr %133, i64 %1
  store i8 -128, ptr %134, align 1, !tbaa !26
  %.pre = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !30
  %.pre162 = and i8 %.pre, 1
  br label %170

135:                                              ; preds = %84
  %136 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !30
  %137 = and i8 %136, 1
  %.not130 = icmp eq i8 %137, 0
  br i1 %.not130, label %148, label %138, !prof !32

138:                                              ; preds = %135
  %139 = getelementptr inbounds i8, ptr %0, i64 112
  %140 = load ptr, ptr %139, align 8, !tbaa !41
  %141 = getelementptr inbounds i32, ptr %140, i64 %1
  %142 = load i32, ptr %141, align 4, !tbaa !29
  %143 = getelementptr inbounds i8, ptr %4, i64 216
  %144 = load ptr, ptr %143, align 8, !tbaa !46
  %145 = getelementptr inbounds %union.mdbx_atomic_uint32_t, ptr %144, i64 %1
  %146 = load volatile i32, ptr %145, align 4, !tbaa !26
  %.not131 = icmp eq i32 %142, %146
  br i1 %.not131, label %147, label %148, !prof !32

147:                                              ; preds = %138
  tail call void @mdbx_assert_fail(ptr noundef nonnull %4, ptr noundef nonnull @.str.7, ptr noundef nonnull @__func__.dbi_import, i32 noundef 102) #7
  unreachable

148:                                              ; preds = %138, %135
  %149 = and i8 %88, 80
  %.not132 = icmp eq i8 %149, 0
  br i1 %.not132, label %150, label %.critedge, !prof !33

150:                                              ; preds = %148
  %151 = getelementptr inbounds i8, ptr %0, i64 120
  %152 = load ptr, ptr %151, align 8, !tbaa !39
  %153 = getelementptr inbounds ptr, ptr %152, i64 %1
  %154 = load ptr, ptr %153, align 8, !tbaa !40
  %.not159 = icmp eq ptr %154, null
  br i1 %.not159, label %170, label %.critedge, !prof !33

.critedge:                                        ; preds = %148, %150
  %155 = and i8 %88, 2
  %.not134 = icmp eq i8 %155, 0
  %or.cond = or i1 %.not134, %.not130
  br i1 %or.cond, label %157, label %156, !prof !47

156:                                              ; preds = %.critedge
  tail call void @mdbx_assert_fail(ptr noundef nonnull %4, ptr noundef nonnull @.str.8, ptr noundef nonnull @__func__.dbi_import, i32 noundef 106) #7
  unreachable

157:                                              ; preds = %.critedge
  %158 = getelementptr inbounds i8, ptr %4, i64 216
  %159 = load ptr, ptr %158, align 8, !tbaa !46
  %160 = getelementptr inbounds %union.mdbx_atomic_uint32_t, ptr %159, i64 %1
  %161 = load volatile i32, ptr %160, align 4, !tbaa !26
  %162 = getelementptr inbounds i8, ptr %0, i64 112
  %163 = load ptr, ptr %162, align 8, !tbaa !41
  %164 = getelementptr inbounds i32, ptr %163, i64 %1
  store i32 %161, ptr %164, align 4, !tbaa !29
  store i8 -64, ptr %87, align 1, !tbaa !26
  %165 = getelementptr inbounds i8, ptr %0, i64 120
  %166 = load ptr, ptr %165, align 8, !tbaa !39
  %167 = getelementptr inbounds ptr, ptr %166, i64 %1
  %168 = load ptr, ptr %167, align 8, !tbaa !40
  %.not135 = icmp eq ptr %168, null
  %169 = select i1 %.not135, i32 -30780, i32 -30412
  br label %196

170:                                              ; preds = %128, %150
  %.pre-phi = phi i8 [ %.pre162, %128 ], [ %137, %150 ]
  %.not150 = icmp eq i8 %.pre-phi, 0
  br i1 %.not150, label %181, label %171, !prof !32

171:                                              ; preds = %170
  %172 = getelementptr inbounds i8, ptr %0, i64 104
  %173 = load ptr, ptr %172, align 8, !tbaa !34
  %174 = getelementptr inbounds i8, ptr %173, i64 %1
  %175 = load i8, ptr %174, align 1, !tbaa !26
  %.not151 = icmp sgt i8 %175, -1
  br i1 %.not151, label %.critedge157, label %176, !prof !32

176:                                              ; preds = %171
  %177 = getelementptr inbounds i8, ptr %0, i64 120
  %178 = load ptr, ptr %177, align 8, !tbaa !39
  %179 = getelementptr inbounds ptr, ptr %178, i64 %1
  %180 = load ptr, ptr %179, align 8, !tbaa !40
  %.not152.not = icmp eq ptr %180, null
  br i1 %.not152.not, label %181, label %.critedge157, !prof !33

.critedge157:                                     ; preds = %171, %176
  tail call void @mdbx_assert_fail(ptr noundef %4, ptr noundef nonnull @.str.9, ptr noundef nonnull @__func__.dbi_import, i32 noundef 115) #7
  unreachable

181:                                              ; preds = %176, %170
  %182 = tail call i64 @dbi_snap(ptr noundef %4, i64 noundef %1)
  %.sroa.0.0.extract.trunc = trunc i64 %182 to i32
  %183 = getelementptr inbounds i8, ptr %0, i64 112
  %184 = load ptr, ptr %183, align 8, !tbaa !41
  %185 = getelementptr inbounds i32, ptr %184, i64 %1
  store i32 %.sroa.0.0.extract.trunc, ptr %185, align 4, !tbaa !29
  %186 = and i64 %182, 549755813888
  %.not153 = icmp eq i64 %186, 0
  br i1 %.not153, label %196, label %187

187:                                              ; preds = %181
  %.sroa.2.0.extract.shift = lshr i64 %182, 32
  %188 = trunc i64 %.sroa.2.0.extract.shift to i16
  %189 = and i16 %188, 126
  %190 = getelementptr inbounds i8, ptr %0, i64 88
  %191 = load ptr, ptr %190, align 8, !tbaa !42
  %192 = getelementptr inbounds %struct.tree, ptr %191, i64 %1
  store i16 %189, ptr %192, align 4, !tbaa !48
  %193 = getelementptr inbounds i8, ptr %0, i64 104
  %194 = load ptr, ptr %193, align 8, !tbaa !34
  %195 = getelementptr inbounds i8, ptr %194, i64 %1
  store i8 -110, ptr %195, align 1, !tbaa !26
  br label %196

196:                                              ; preds = %157, %187, %120, %110, %181, %2, %8
  %.1 = phi i32 [ -30780, %8 ], [ -30780, %2 ], [ 0, %187 ], [ %169, %157 ], [ %127, %120 ], [ %101, %110 ], [ -30780, %181 ]
  ret i32 %.1
}

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

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

declare i32 @txn_shadow_cursors(ptr noundef, i64 noundef) local_unnamed_addr #5

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #6

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 = { 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 = { noinline 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 = { 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 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #5 = { "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 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #7 = { noreturn nounwind }
attributes #8 = { 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, !7, i64 440}
!16 = !{!"MDBX_env", !8, i64 0, !7, i64 4, !7, i64 8, !17, i64 16, !7, i64 56, !7, i64 60, !17, 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, !18, 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, !19, i64 264, !22, i64 320, !20, i64 360, !11, i64 368, !11, i64 376, !11, i64 384, !23, i64 392, !8, i64 400, !7, i64 440, !7, i64 444, !11, i64 448, !24, i64 456, !8, i64 496, !8, i64 536}
!17 = !{!"osal_mmap", !8, i64 0, !7, i64 8, !10, i64 16, !10, i64 24, !10, i64 32}
!18 = !{!"", !11, i64 0, !11, i64 8, !11, i64 16, !11, i64 24}
!19 = !{!"", !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, !20, i64 36, !20, i64 37, !20, i64 38, !21, i64 40, !8, i64 48}
!20 = !{!"_Bool", !8, i64 0}
!21 = !{!"", !13, i64 0, !13, i64 2, !13, i64 4, !13, i64 6}
!22 = !{!"", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32}
!23 = !{!"", !10, i64 0}
!24 = !{!"osal_ioring", !7, i64 0, !7, i64 4, !7, i64 8, !11, i64 16, !11, i64 24, !11, i64 32}
!25 = !{!16, !11, i64 208}
!26 = !{!8, !8, i64 0}
!27 = !{!6, !10, i64 8}
!28 = !{!6, !11, i64 96}
!29 = !{!7, !7, i64 0}
!30 = !{!31, !8, i64 25}
!31 = !{!"libmdbx_globals", !8, i64 0, !7, i64 16, !7, i64 20, !8, i64 24, !8, i64 25, !8, i64 26, !20, i64 27, !7, i64 28, !8, i64 32, !8, i64 40, !10, i64 80, !11, i64 88}
!32 = !{!"branch_weights", !"expected", i32 1, i32 2000}
!33 = !{!"branch_weights", !"expected", i32 2000, i32 1}
!34 = !{!6, !11, i64 104}
!35 = !{!6, !11, i64 24}
!36 = distinct !{!36, !37}
!37 = !{!"llvm.loop.mustprogress"}
!38 = distinct !{!38, !37}
!39 = !{!6, !11, i64 120}
!40 = !{!11, !11, i64 0}
!41 = !{!6, !11, i64 112}
!42 = !{!6, !11, i64 88}
!43 = !{i64 0, i64 2, !44, i64 2, i64 2, !44, i64 4, i64 4, !29, i64 8, i64 4, !29, i64 12, i64 4, !29, i64 16, i64 4, !29, i64 20, i64 4, !29, i64 24, i64 8, !45, i64 32, i64 8, !45, i64 40, i64 8, !45}
!44 = !{!13, !13, i64 0}
!45 = !{!10, !10, i64 0}
!46 = !{!16, !11, i64 216}
!47 = !{!"branch_weights", i32 4002001, i32 2000}
!48 = !{!49, !13, i64 0}
!49 = !{!"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}


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