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

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

@globals = external global %struct.libmdbx_globals, align 8
@txn_end.names = external hidden constant [8 x ptr], align 16
@__func__.txn_end = external hidden unnamed_addr constant [8 x i8], align 1
@.str.36 = external hidden unnamed_addr constant [50 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [86 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [79 x i8], align 1
@.str.39 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.41 = external hidden unnamed_addr constant [67 x i8], align 1
@.str.42 = external hidden unnamed_addr constant [67 x i8], align 1
@.str.43 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.44 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.45 = external hidden unnamed_addr constant [84 x i8], align 1
@.str.46 = external hidden unnamed_addr constant [69 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: nounwind uwtable
declare dso_local void @txn_done_cursors(ptr noundef) #3

; Function Attrs: nounwind uwtable
define dso_local i32 @txn_end(ptr noundef %0, i32 noundef %1) #3 {
  %3 = alloca i32, align 4
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store i32 %1, ptr %5, align 4, !tbaa !9
  br label %12

12:                                               ; preds = %2
  %13 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 5), align 2, !tbaa !11
  %14 = zext i8 %13 to i32
  %15 = icmp sle i32 5, %14
  %16 = xor i1 %15, true
  %17 = xor i1 %16, true
  %18 = zext i1 %17 to i32
  %19 = sext i32 %18 to i64
  %20 = call i64 @llvm.expect.i64(i64 %19, i64 0)
  %21 = icmp ne i64 %20, 0
  br i1 %21, label %22, label %57

22:                                               ; preds = %12
  %23 = load i32, ptr %5, align 4, !tbaa !9
  %24 = and i32 %23, 7
  %25 = zext i32 %24 to i64
  %26 = getelementptr inbounds [8 x ptr], ptr @txn_end.names, i64 0, i64 %25
  %27 = load ptr, ptr %26, align 8, !tbaa !5
  %28 = load ptr, ptr %4, align 8, !tbaa !5
  %29 = getelementptr inbounds %struct.MDBX_txn, ptr %28, i32 0, i32 7
  %30 = load i64, ptr %29, align 8, !tbaa !15
  %31 = load ptr, ptr %4, align 8, !tbaa !5
  %32 = getelementptr inbounds %struct.MDBX_txn, ptr %31, i32 0, i32 1
  %33 = load i32, ptr %32, align 4, !tbaa !20
  %34 = and i32 %33, 131072
  %35 = icmp ne i32 %34, 0
  %36 = zext i1 %35 to i64
  %37 = select i1 %35, i32 114, i32 119
  %38 = load ptr, ptr %4, align 8, !tbaa !5
  %39 = getelementptr inbounds %struct.MDBX_txn, ptr %38, i32 0, i32 1
  %40 = load i32, ptr %39, align 4, !tbaa !20
  %41 = load ptr, ptr %4, align 8, !tbaa !5
  %42 = load ptr, ptr %4, align 8, !tbaa !5
  %43 = getelementptr inbounds %struct.MDBX_txn, ptr %42, i32 0, i32 9
  %44 = load ptr, ptr %43, align 8, !tbaa !21
  %45 = load ptr, ptr %4, align 8, !tbaa !5
  %46 = getelementptr inbounds %struct.MDBX_txn, ptr %45, i32 0, i32 10
  %47 = load ptr, ptr %46, align 8, !tbaa !22
  %48 = getelementptr inbounds %struct.tree, ptr %47, i64 1
  %49 = getelementptr inbounds %struct.tree, ptr %48, i32 0, i32 3
  %50 = load i32, ptr %49, align 4, !tbaa !23
  %51 = load ptr, ptr %4, align 8, !tbaa !5
  %52 = getelementptr inbounds %struct.MDBX_txn, ptr %51, i32 0, i32 10
  %53 = load ptr, ptr %52, align 8, !tbaa !22
  %54 = getelementptr inbounds %struct.tree, ptr %53, i64 0
  %55 = getelementptr inbounds %struct.tree, ptr %54, i32 0, i32 3
  %56 = load i32, ptr %55, align 4, !tbaa !23
  call void (i32, ptr, i32, ptr, ...) @debug_log(i32 noundef 5, ptr noundef @__func__.txn_end, i32 noundef 339, ptr noundef @.str.36, ptr noundef %27, i64 noundef %30, i32 noundef %37, i32 noundef %40, ptr noundef %41, ptr noundef %44, i32 noundef %50, i32 noundef %56)
  br label %57

57:                                               ; preds = %22, %12
  br label %58

58:                                               ; preds = %57
  br label %59

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

70:                                               ; preds = %59
  br label %71

71:                                               ; preds = %70
  %72 = load ptr, ptr %4, align 8, !tbaa !5
  %73 = getelementptr inbounds %struct.MDBX_txn, ptr %72, i32 0, i32 0
  %74 = load i32, ptr %73, align 8, !tbaa !26
  %75 = icmp eq i32 %74, 332741169
  br i1 %75, label %76, label %88

76:                                               ; preds = %71
  %77 = load ptr, ptr %4, align 8, !tbaa !5
  %78 = getelementptr inbounds %struct.MDBX_txn, ptr %77, i32 0, i32 5
  %79 = load ptr, ptr %78, align 8, !tbaa !27
  %80 = icmp ne ptr %79, null
  br i1 %80, label %88, label %81

81:                                               ; preds = %76
  %82 = load ptr, ptr %4, align 8, !tbaa !5
  %83 = getelementptr inbounds %struct.MDBX_txn, ptr %82, i32 0, i32 1
  %84 = load i32, ptr %83, align 4, !tbaa !20
  %85 = and i32 %84, 16
  %86 = icmp ne i32 %85, 0
  %87 = xor i1 %86, true
  br label %88

88:                                               ; preds = %81, %76, %71
  %89 = phi i1 [ false, %76 ], [ false, %71 ], [ %87, %81 ]
  %90 = xor i1 %89, true
  %91 = xor i1 %90, true
  %92 = xor i1 %91, true
  %93 = zext i1 %92 to i32
  %94 = sext i32 %93 to i64
  %95 = call i64 @llvm.expect.i64(i64 %94, i64 0)
  %96 = icmp ne i64 %95, 0
  br i1 %96, label %97, label %101

97:                                               ; preds = %88
  %98 = load ptr, ptr %4, align 8, !tbaa !5
  %99 = getelementptr inbounds %struct.MDBX_txn, ptr %98, i32 0, i32 9
  %100 = load ptr, ptr %99, align 8, !tbaa !21
  call void @mdbx_assert_fail(ptr noundef %100, ptr noundef @.str.37, ptr noundef @__func__.txn_end, i32 noundef 341) #7
  unreachable

101:                                              ; preds = %88
  br label %102

102:                                              ; preds = %101
  br label %103

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

104:                                              ; preds = %103
  %105 = load ptr, ptr %4, align 8, !tbaa !5
  %106 = getelementptr inbounds %struct.MDBX_txn, ptr %105, i32 0, i32 1
  %107 = load i32, ptr %106, align 4, !tbaa !20
  %108 = and i32 %107, 256
  %109 = icmp ne i32 %108, 0
  br i1 %109, label %110, label %112

110:                                              ; preds = %104
  %111 = load ptr, ptr %4, align 8, !tbaa !5
  call void @txn_done_cursors(ptr noundef %111)
  br label %112

112:                                              ; preds = %110, %104
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #8
  %113 = load ptr, ptr %4, align 8, !tbaa !5
  %114 = getelementptr inbounds %struct.MDBX_txn, ptr %113, i32 0, i32 9
  %115 = load ptr, ptr %114, align 8, !tbaa !21
  store ptr %115, ptr %6, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #8
  %116 = load ptr, ptr %4, align 8, !tbaa !5
  %117 = getelementptr inbounds %struct.MDBX_txn, ptr %116, i32 0, i32 4
  %118 = load ptr, ptr %117, align 8, !tbaa !28
  store ptr %118, ptr %7, align 8, !tbaa !5
  %119 = load ptr, ptr %4, align 8, !tbaa !5
  %120 = load ptr, ptr %6, align 8, !tbaa !5
  %121 = getelementptr inbounds %struct.MDBX_env, ptr %120, i32 0, i32 24
  %122 = load ptr, ptr %121, align 8, !tbaa !29
  %123 = icmp eq ptr %119, %122
  br i1 %123, label %124, label %173

124:                                              ; preds = %112
  br label %125

125:                                              ; preds = %124
  %126 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !25
  %127 = zext i8 %126 to i32
  %128 = and i32 %127, 1
  %129 = icmp ne i32 %128, 0
  %130 = xor i1 %129, true
  %131 = xor i1 %130, true
  %132 = zext i1 %131 to i32
  %133 = sext i32 %132 to i64
  %134 = call i64 @llvm.expect.i64(i64 %133, i64 1)
  %135 = icmp ne i64 %134, 0
  br i1 %135, label %136, label %167

136:                                              ; preds = %125
  br label %137

137:                                              ; preds = %136
  %138 = load ptr, ptr %7, align 8, !tbaa !5
  %139 = icmp ne ptr %138, null
  br i1 %139, label %151, label %140

140:                                              ; preds = %137
  %141 = load ptr, ptr %4, align 8, !tbaa !5
  %142 = getelementptr inbounds %struct.MDBX_txn, ptr %141, i32 0, i32 1
  %143 = load i32, ptr %142, align 4, !tbaa !20
  %144 = and i32 %143, 131073
  %145 = icmp ne i32 %144, 0
  br i1 %145, label %151, label %146

146:                                              ; preds = %140
  %147 = load ptr, ptr %4, align 8, !tbaa !5
  %148 = getelementptr inbounds %struct.MDBX_txn, ptr %147, i32 0, i32 3
  %149 = load i64, ptr %148, align 8, !tbaa !38
  %150 = icmp ne i64 %149, 0
  br label %151

151:                                              ; preds = %146, %140, %137
  %152 = phi i1 [ false, %140 ], [ false, %137 ], [ %150, %146 ]
  %153 = xor i1 %152, true
  %154 = xor i1 %153, true
  %155 = xor i1 %154, true
  %156 = zext i1 %155 to i32
  %157 = sext i32 %156 to i64
  %158 = call i64 @llvm.expect.i64(i64 %157, i64 0)
  %159 = icmp ne i64 %158, 0
  br i1 %159, label %160, label %164

160:                                              ; preds = %151
  %161 = load ptr, ptr %4, align 8, !tbaa !5
  %162 = getelementptr inbounds %struct.MDBX_txn, ptr %161, i32 0, i32 9
  %163 = load ptr, ptr %162, align 8, !tbaa !21
  call void @mdbx_assert_fail(ptr noundef %163, ptr noundef @.str.38, ptr noundef @__func__.txn_end, i32 noundef 348) #7
  unreachable

164:                                              ; preds = %151
  br label %165

165:                                              ; preds = %164
  br label %166

166:                                              ; preds = %165
  br label %167

167:                                              ; preds = %166, %125
  br label %168

168:                                              ; preds = %167
  br label %169

169:                                              ; preds = %168
  %170 = load ptr, ptr %4, align 8, !tbaa !5
  %171 = load i32, ptr %5, align 4, !tbaa !9
  %172 = call i32 @txn_basal_end(ptr noundef %170, i32 noundef %171)
  store i32 %172, ptr %3, align 4
  store i32 1, ptr %8, align 4
  br label %582

173:                                              ; preds = %112
  %174 = load ptr, ptr %4, align 8, !tbaa !5
  %175 = getelementptr inbounds %struct.MDBX_txn, ptr %174, i32 0, i32 1
  %176 = load i32, ptr %175, align 4, !tbaa !20
  %177 = and i32 %176, 131072
  %178 = icmp ne i32 %177, 0
  br i1 %178, label %179, label %224

179:                                              ; preds = %173
  br label %180

180:                                              ; preds = %179
  %181 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !25
  %182 = zext i8 %181 to i32
  %183 = and i32 %182, 1
  %184 = icmp ne i32 %183, 0
  %185 = xor i1 %184, true
  %186 = xor i1 %185, true
  %187 = zext i1 %186 to i32
  %188 = sext i32 %187 to i64
  %189 = call i64 @llvm.expect.i64(i64 %188, i64 1)
  %190 = icmp ne i64 %189, 0
  br i1 %190, label %191, label %218

191:                                              ; preds = %180
  br label %192

192:                                              ; preds = %191
  %193 = load ptr, ptr %4, align 8, !tbaa !5
  %194 = load ptr, ptr %6, align 8, !tbaa !5
  %195 = getelementptr inbounds %struct.MDBX_env, ptr %194, i32 0, i32 39
  %196 = load ptr, ptr %195, align 8, !tbaa !39
  %197 = icmp ne ptr %193, %196
  br i1 %197, label %198, label %202

198:                                              ; preds = %192
  %199 = load ptr, ptr %7, align 8, !tbaa !5
  %200 = icmp ne ptr %199, null
  %201 = xor i1 %200, true
  br label %202

202:                                              ; preds = %198, %192
  %203 = phi i1 [ false, %192 ], [ %201, %198 ]
  %204 = xor i1 %203, true
  %205 = xor i1 %204, true
  %206 = xor i1 %205, true
  %207 = zext i1 %206 to i32
  %208 = sext i32 %207 to i64
  %209 = call i64 @llvm.expect.i64(i64 %208, i64 0)
  %210 = icmp ne i64 %209, 0
  br i1 %210, label %211, label %215

211:                                              ; preds = %202
  %212 = load ptr, ptr %4, align 8, !tbaa !5
  %213 = getelementptr inbounds %struct.MDBX_txn, ptr %212, i32 0, i32 9
  %214 = load ptr, ptr %213, align 8, !tbaa !21
  call void @mdbx_assert_fail(ptr noundef %214, ptr noundef @.str.39, ptr noundef @__func__.txn_end, i32 noundef 353) #7
  unreachable

215:                                              ; preds = %202
  br label %216

216:                                              ; preds = %215
  br label %217

217:                                              ; preds = %216
  br label %218

218:                                              ; preds = %217, %180
  br label %219

219:                                              ; preds = %218
  br label %220

220:                                              ; preds = %219
  %221 = load ptr, ptr %4, align 8, !tbaa !5
  %222 = load i32, ptr %5, align 4, !tbaa !9
  %223 = call i32 @txn_ro_end(ptr noundef %221, i32 noundef %222)
  store i32 %223, ptr %3, align 4
  store i32 1, ptr %8, align 4
  br label %582

224:                                              ; preds = %173
  %225 = load ptr, ptr %7, align 8, !tbaa !5
  %226 = icmp ne ptr %225, null
  br i1 %226, label %227, label %256

227:                                              ; preds = %224
  %228 = load ptr, ptr %4, align 8, !tbaa !5
  %229 = load ptr, ptr %6, align 8, !tbaa !5
  %230 = getelementptr inbounds %struct.MDBX_env, ptr %229, i32 0, i32 39
  %231 = load ptr, ptr %230, align 8, !tbaa !39
  %232 = icmp ne ptr %228, %231
  br i1 %232, label %256, label %233

233:                                              ; preds = %227
  %234 = load ptr, ptr %7, align 8, !tbaa !5
  %235 = getelementptr inbounds %struct.MDBX_txn, ptr %234, i32 0, i32 0
  %236 = load i32, ptr %235, align 8, !tbaa !26
  %237 = icmp ne i32 %236, 332741169
  br i1 %237, label %256, label %238

238:                                              ; preds = %233
  %239 = load ptr, ptr %7, align 8, !tbaa !5
  %240 = getelementptr inbounds %struct.MDBX_txn, ptr %239, i32 0, i32 5
  %241 = load ptr, ptr %240, align 8, !tbaa !27
  %242 = load ptr, ptr %4, align 8, !tbaa !5
  %243 = icmp ne ptr %241, %242
  br i1 %243, label %256, label %244

244:                                              ; preds = %238
  %245 = load ptr, ptr %7, align 8, !tbaa !5
  %246 = getelementptr inbounds %struct.MDBX_txn, ptr %245, i32 0, i32 1
  %247 = load i32, ptr %246, align 4, !tbaa !20
  %248 = and i32 %247, 16
  %249 = icmp ne i32 %248, 0
  br i1 %249, label %250, label %256

250:                                              ; preds = %244
  %251 = load ptr, ptr %4, align 8, !tbaa !5
  %252 = load ptr, ptr %6, align 8, !tbaa !5
  %253 = getelementptr inbounds %struct.MDBX_env, ptr %252, i32 0, i32 24
  %254 = load ptr, ptr %253, align 8, !tbaa !29
  %255 = icmp eq ptr %251, %254
  br label %256

256:                                              ; preds = %250, %244, %238, %233, %227, %224
  %257 = phi i1 [ true, %244 ], [ true, %238 ], [ true, %233 ], [ true, %227 ], [ true, %224 ], [ %255, %250 ]
  %258 = xor i1 %257, true
  %259 = xor i1 %258, true
  %260 = zext i1 %259 to i32
  %261 = sext i32 %260 to i64
  %262 = call i64 @llvm.expect.i64(i64 %261, i64 0)
  %263 = icmp ne i64 %262, 0
  br i1 %263, label %264, label %281

264:                                              ; preds = %256
  br label %265

265:                                              ; preds = %264
  %266 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 5), align 2, !tbaa !11
  %267 = zext i8 %266 to i32
  %268 = icmp sle i32 1, %267
  %269 = xor i1 %268, true
  %270 = xor i1 %269, true
  %271 = zext i1 %270 to i32
  %272 = sext i32 %271 to i64
  %273 = call i64 @llvm.expect.i64(i64 %272, i64 0)
  %274 = icmp ne i64 %273, 0
  br i1 %274, label %275, label %278

275:                                              ; preds = %265
  %276 = load ptr, ptr %7, align 8, !tbaa !5
  %277 = load ptr, ptr %4, align 8, !tbaa !5
  call void (i32, ptr, i32, ptr, ...) @debug_log(i32 noundef 1, ptr noundef @__func__.txn_end, i32 noundef 359, ptr noundef @.str.40, ptr noundef %276, ptr noundef %277)
  br label %278

278:                                              ; preds = %275, %265
  br label %279

279:                                              ; preds = %278
  br label %280

280:                                              ; preds = %279
  store i32 -30779, ptr %3, align 4
  store i32 1, ptr %8, align 4
  br label %582

281:                                              ; preds = %256
  br label %282

282:                                              ; preds = %281
  %283 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !25
  %284 = zext i8 %283 to i32
  %285 = and i32 %284, 1
  %286 = icmp ne i32 %285, 0
  %287 = xor i1 %286, true
  %288 = xor i1 %287, true
  %289 = zext i1 %288 to i32
  %290 = sext i32 %289 to i64
  %291 = call i64 @llvm.expect.i64(i64 %290, i64 1)
  %292 = icmp ne i64 %291, 0
  br i1 %292, label %293, label %320

293:                                              ; preds = %282
  br label %294

294:                                              ; preds = %293
  %295 = load ptr, ptr %4, align 8, !tbaa !5
  %296 = getelementptr inbounds %struct.MDBX_txn, ptr %295, i32 0, i32 17
  %297 = getelementptr inbounds %struct.anon.4, ptr %296, i32 0, i32 1
  %298 = load ptr, ptr %297, align 8, !tbaa !40
  %299 = load ptr, ptr %4, align 8, !tbaa !5
  %300 = getelementptr inbounds %struct.MDBX_txn, ptr %299, i32 0, i32 6
  %301 = getelementptr inbounds %struct.geo, ptr %300, i32 0, i32 5
  %302 = load i32, ptr %301, align 8, !tbaa !40
  %303 = sub i32 %302, 1
  %304 = zext i32 %303 to i64
  %305 = call zeroext i1 @pnl_check_allocated(ptr noundef %298, i64 noundef %304)
  %306 = xor i1 %305, true
  %307 = xor i1 %306, true
  %308 = xor i1 %307, true
  %309 = zext i1 %308 to i32
  %310 = sext i32 %309 to i64
  %311 = call i64 @llvm.expect.i64(i64 %310, i64 0)
  %312 = icmp ne i64 %311, 0
  br i1 %312, label %313, label %317

313:                                              ; preds = %294
  %314 = load ptr, ptr %4, align 8, !tbaa !5
  %315 = getelementptr inbounds %struct.MDBX_txn, ptr %314, i32 0, i32 9
  %316 = load ptr, ptr %315, align 8, !tbaa !21
  call void @mdbx_assert_fail(ptr noundef %316, ptr noundef @.str.41, ptr noundef @__func__.txn_end, i32 noundef 362) #7
  unreachable

317:                                              ; preds = %294
  br label %318

318:                                              ; preds = %317
  br label %319

319:                                              ; preds = %318
  br label %320

320:                                              ; preds = %319, %282
  br label %321

321:                                              ; preds = %320
  br label %322

322:                                              ; preds = %321
  br label %323

323:                                              ; preds = %322
  %324 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !25
  %325 = zext i8 %324 to i32
  %326 = and i32 %325, 1
  %327 = icmp ne i32 %326, 0
  %328 = xor i1 %327, true
  %329 = xor i1 %328, true
  %330 = zext i1 %329 to i32
  %331 = sext i32 %330 to i64
  %332 = call i64 @llvm.expect.i64(i64 %331, i64 1)
  %333 = icmp ne i64 %332, 0
  br i1 %333, label %334, label %358

334:                                              ; preds = %323
  br label %335

335:                                              ; preds = %334
  %336 = load ptr, ptr %4, align 8, !tbaa !5
  %337 = getelementptr inbounds %struct.MDBX_txn, ptr %336, i32 0, i32 17
  %338 = getelementptr inbounds %struct.anon.4, ptr %337, i32 0, i32 0
  %339 = load ptr, ptr %7, align 8, !tbaa !5
  %340 = getelementptr inbounds %struct.MDBX_txn, ptr %339, i32 0, i32 17
  %341 = getelementptr inbounds %struct.anon.4, ptr %340, i32 0, i32 0
  %342 = call i32 @memcmp(ptr noundef %338, ptr noundef %341, i64 noundef 32) #9
  %343 = icmp eq i32 %342, 0
  %344 = xor i1 %343, true
  %345 = xor i1 %344, true
  %346 = xor i1 %345, true
  %347 = zext i1 %346 to i32
  %348 = sext i32 %347 to i64
  %349 = call i64 @llvm.expect.i64(i64 %348, i64 0)
  %350 = icmp ne i64 %349, 0
  br i1 %350, label %351, label %355

351:                                              ; preds = %335
  %352 = load ptr, ptr %4, align 8, !tbaa !5
  %353 = getelementptr inbounds %struct.MDBX_txn, ptr %352, i32 0, i32 9
  %354 = load ptr, ptr %353, align 8, !tbaa !21
  call void @mdbx_assert_fail(ptr noundef %354, ptr noundef @.str.42, ptr noundef @__func__.txn_end, i32 noundef 363) #7
  unreachable

355:                                              ; preds = %335
  br label %356

356:                                              ; preds = %355
  br label %357

357:                                              ; preds = %356
  br label %358

358:                                              ; preds = %357, %323
  br label %359

359:                                              ; preds = %358
  br label %360

360:                                              ; preds = %359
  br label %361

361:                                              ; preds = %360
  %362 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !25
  %363 = zext i8 %362 to i32
  %364 = and i32 %363, 1
  %365 = icmp ne i32 %364, 0
  %366 = xor i1 %365, true
  %367 = xor i1 %366, true
  %368 = zext i1 %367 to i32
  %369 = sext i32 %368 to i64
  %370 = call i64 @llvm.expect.i64(i64 %369, i64 1)
  %371 = icmp ne i64 %370, 0
  br i1 %371, label %372, label %391

372:                                              ; preds = %361
  br label %373

373:                                              ; preds = %372
  %374 = load i32, ptr %5, align 4, !tbaa !9
  %375 = and i32 %374, 32
  %376 = icmp ne i32 %375, 0
  %377 = xor i1 %376, true
  %378 = xor i1 %377, true
  %379 = xor i1 %378, true
  %380 = zext i1 %379 to i32
  %381 = sext i32 %380 to i64
  %382 = call i64 @llvm.expect.i64(i64 %381, i64 0)
  %383 = icmp ne i64 %382, 0
  br i1 %383, label %384, label %388

384:                                              ; preds = %373
  %385 = load ptr, ptr %4, align 8, !tbaa !5
  %386 = getelementptr inbounds %struct.MDBX_txn, ptr %385, i32 0, i32 9
  %387 = load ptr, ptr %386, align 8, !tbaa !21
  call void @mdbx_assert_fail(ptr noundef %387, ptr noundef @.str.43, ptr noundef @__func__.txn_end, i32 noundef 364) #7
  unreachable

388:                                              ; preds = %373
  br label %389

389:                                              ; preds = %388
  br label %390

390:                                              ; preds = %389
  br label %391

391:                                              ; preds = %390, %361
  br label %392

392:                                              ; preds = %391
  br label %393

393:                                              ; preds = %392
  br label %394

394:                                              ; preds = %393
  %395 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !25
  %396 = zext i8 %395 to i32
  %397 = and i32 %396, 1
  %398 = icmp ne i32 %397, 0
  %399 = xor i1 %398, true
  %400 = xor i1 %399, true
  %401 = zext i1 %400 to i32
  %402 = sext i32 %401 to i64
  %403 = call i64 @llvm.expect.i64(i64 %402, i64 1)
  %404 = icmp ne i64 %403, 0
  br i1 %404, label %405, label %426

405:                                              ; preds = %394
  br label %406

406:                                              ; preds = %405
  %407 = load ptr, ptr %7, align 8, !tbaa !5
  %408 = getelementptr inbounds %struct.MDBX_txn, ptr %407, i32 0, i32 1
  %409 = load i32, ptr %408, align 4, !tbaa !20
  %410 = and i32 %409, 16
  %411 = icmp ne i32 %410, 0
  %412 = xor i1 %411, true
  %413 = xor i1 %412, true
  %414 = xor i1 %413, true
  %415 = zext i1 %414 to i32
  %416 = sext i32 %415 to i64
  %417 = call i64 @llvm.expect.i64(i64 %416, i64 0)
  %418 = icmp ne i64 %417, 0
  br i1 %418, label %419, label %423

419:                                              ; preds = %406
  %420 = load ptr, ptr %7, align 8, !tbaa !5
  %421 = getelementptr inbounds %struct.MDBX_txn, ptr %420, i32 0, i32 9
  %422 = load ptr, ptr %421, align 8, !tbaa !21
  call void @mdbx_assert_fail(ptr noundef %422, ptr noundef @.str.44, ptr noundef @__func__.txn_end, i32 noundef 365) #7
  unreachable

423:                                              ; preds = %406
  br label %424

424:                                              ; preds = %423
  br label %425

425:                                              ; preds = %424
  br label %426

426:                                              ; preds = %425, %394
  br label %427

427:                                              ; preds = %426
  br label %428

428:                                              ; preds = %427
  %429 = load ptr, ptr %7, align 8, !tbaa !5
  %430 = load ptr, ptr %6, align 8, !tbaa !5
  %431 = getelementptr inbounds %struct.MDBX_env, ptr %430, i32 0, i32 39
  store ptr %429, ptr %431, align 8, !tbaa !39
  %432 = load ptr, ptr %7, align 8, !tbaa !5
  %433 = getelementptr inbounds %struct.MDBX_txn, ptr %432, i32 0, i32 5
  store ptr null, ptr %433, align 8, !tbaa !27
  %434 = load ptr, ptr %7, align 8, !tbaa !5
  %435 = getelementptr inbounds %struct.MDBX_txn, ptr %434, i32 0, i32 1
  %436 = load i32, ptr %435, align 4, !tbaa !20
  %437 = sub i32 %436, 16
  store i32 %437, ptr %435, align 4, !tbaa !20
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #8
  %438 = load ptr, ptr %4, align 8, !tbaa !5
  %439 = getelementptr inbounds %struct.MDBX_txn, ptr %438, i32 0, i32 6
  %440 = getelementptr inbounds %struct.geo, ptr %439, i32 0, i32 4
  %441 = load i32, ptr %440, align 4, !tbaa !40
  store i32 %441, ptr %9, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #8
  %442 = load ptr, ptr %4, align 8, !tbaa !5
  %443 = getelementptr inbounds %struct.MDBX_txn, ptr %442, i32 0, i32 6
  %444 = getelementptr inbounds %struct.geo, ptr %443, i32 0, i32 3
  %445 = load i32, ptr %444, align 8, !tbaa !41
  store i32 %445, ptr %10, align 4, !tbaa !9
  %446 = load ptr, ptr %4, align 8, !tbaa !5
  call void @txn_nested_abort(ptr noundef %446)
  %447 = load ptr, ptr %7, align 8, !tbaa !5
  %448 = getelementptr inbounds %struct.MDBX_txn, ptr %447, i32 0, i32 6
  %449 = getelementptr inbounds %struct.geo, ptr %448, i32 0, i32 3
  %450 = load i32, ptr %449, align 8, !tbaa !41
  %451 = load i32, ptr %10, align 4, !tbaa !9
  %452 = icmp ne i32 %450, %451
  br i1 %452, label %460, label %453

453:                                              ; preds = %428
  %454 = load ptr, ptr %7, align 8, !tbaa !5
  %455 = getelementptr inbounds %struct.MDBX_txn, ptr %454, i32 0, i32 6
  %456 = getelementptr inbounds %struct.geo, ptr %455, i32 0, i32 4
  %457 = load i32, ptr %456, align 4, !tbaa !40
  %458 = load i32, ptr %9, align 4, !tbaa !9
  %459 = icmp ne i32 %457, %458
  br label %460

460:                                              ; preds = %453, %428
  %461 = phi i1 [ true, %428 ], [ %459, %453 ]
  %462 = xor i1 %461, true
  %463 = xor i1 %462, true
  %464 = zext i1 %463 to i32
  %465 = sext i32 %464 to i64
  %466 = call i64 @llvm.expect.i64(i64 %465, i64 0)
  %467 = icmp ne i64 %466, 0
  br i1 %467, label %468, label %580

468:                                              ; preds = %460
  %469 = load ptr, ptr %7, align 8, !tbaa !5
  %470 = getelementptr inbounds %struct.MDBX_txn, ptr %469, i32 0, i32 1
  %471 = load i32, ptr %470, align 4, !tbaa !20
  %472 = and i32 %471, 2
  %473 = icmp ne i32 %472, 0
  br i1 %473, label %580, label %474

474:                                              ; preds = %468
  %475 = load ptr, ptr %6, align 8, !tbaa !5
  %476 = getelementptr inbounds %struct.MDBX_env, ptr %475, i32 0, i32 1
  %477 = load i32, ptr %476, align 4, !tbaa !42
  %478 = and i32 %477, -2147483648
  %479 = icmp ne i32 %478, 0
  br i1 %479, label %580, label %480

480:                                              ; preds = %474
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #8
  %481 = load ptr, ptr %6, align 8, !tbaa !5
  %482 = load ptr, ptr %7, align 8, !tbaa !5
  %483 = getelementptr inbounds %struct.MDBX_txn, ptr %482, i32 0, i32 6
  %484 = getelementptr inbounds %struct.geo, ptr %483, i32 0, i32 5
  %485 = load i32, ptr %484, align 8, !tbaa !40
  %486 = load ptr, ptr %7, align 8, !tbaa !5
  %487 = getelementptr inbounds %struct.MDBX_txn, ptr %486, i32 0, i32 6
  %488 = getelementptr inbounds %struct.geo, ptr %487, i32 0, i32 4
  %489 = load i32, ptr %488, align 4, !tbaa !40
  %490 = load ptr, ptr %7, align 8, !tbaa !5
  %491 = getelementptr inbounds %struct.MDBX_txn, ptr %490, i32 0, i32 6
  %492 = getelementptr inbounds %struct.geo, ptr %491, i32 0, i32 3
  %493 = load i32, ptr %492, align 8, !tbaa !41
  %494 = call i32 @dxb_resize(ptr noundef %481, i32 noundef %485, i32 noundef %489, i32 noundef %493, i32 noundef 1)
  store i32 %494, ptr %11, align 4, !tbaa !9
  %495 = load i32, ptr %11, align 4, !tbaa !9
  %496 = icmp eq i32 %495, 1
  br i1 %496, label %497, label %530

497:                                              ; preds = %480
  br label %498

498:                                              ; preds = %497
  %499 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 5), align 2, !tbaa !11
  %500 = zext i8 %499 to i32
  %501 = icmp sle i32 2, %500
  %502 = xor i1 %501, true
  %503 = xor i1 %502, true
  %504 = zext i1 %503 to i32
  %505 = sext i32 %504 to i64
  %506 = call i64 @llvm.expect.i64(i64 %505, i64 0)
  %507 = icmp ne i64 %506, 0
  br i1 %507, label %508, label %519

508:                                              ; preds = %498
  %509 = load i32, ptr %9, align 4, !tbaa !9
  %510 = load ptr, ptr %7, align 8, !tbaa !5
  %511 = getelementptr inbounds %struct.MDBX_txn, ptr %510, i32 0, i32 6
  %512 = getelementptr inbounds %struct.geo, ptr %511, i32 0, i32 4
  %513 = load i32, ptr %512, align 4, !tbaa !40
  %514 = load i32, ptr %10, align 4, !tbaa !9
  %515 = load ptr, ptr %7, align 8, !tbaa !5
  %516 = getelementptr inbounds %struct.MDBX_txn, ptr %515, i32 0, i32 6
  %517 = getelementptr inbounds %struct.geo, ptr %516, i32 0, i32 3
  %518 = load i32, ptr %517, align 8, !tbaa !41
  call void (i32, ptr, i32, ptr, ...) @debug_log(i32 noundef 2, ptr noundef @__func__.txn_end, i32 noundef 381, ptr noundef @.str.45, i32 noundef %509, i32 noundef %513, i32 noundef %514, i32 noundef %518)
  br label %519

519:                                              ; preds = %508, %498
  br label %520

520:                                              ; preds = %519
  br label %521

521:                                              ; preds = %520
  %522 = load i32, ptr %9, align 4, !tbaa !9
  %523 = load ptr, ptr %7, align 8, !tbaa !5
  %524 = getelementptr inbounds %struct.MDBX_txn, ptr %523, i32 0, i32 6
  %525 = getelementptr inbounds %struct.geo, ptr %524, i32 0, i32 4
  store i32 %522, ptr %525, align 4, !tbaa !40
  %526 = load ptr, ptr %7, align 8, !tbaa !5
  %527 = getelementptr inbounds %struct.MDBX_txn, ptr %526, i32 0, i32 1
  %528 = load i32, ptr %527, align 4, !tbaa !20
  %529 = or i32 %528, 4
  store i32 %529, ptr %527, align 4, !tbaa !20
  br label %576

530:                                              ; preds = %480
  %531 = load i32, ptr %11, align 4, !tbaa !9
  %532 = icmp ne i32 %531, 0
  %533 = xor i1 %532, true
  %534 = xor i1 %533, true
  %535 = zext i1 %534 to i32
  %536 = sext i32 %535 to i64
  %537 = call i64 @llvm.expect.i64(i64 %536, i64 0)
  %538 = icmp ne i64 %537, 0
  br i1 %538, label %539, label %575

539:                                              ; preds = %530
  br label %540

540:                                              ; preds = %539
  %541 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 5), align 2, !tbaa !11
  %542 = zext i8 %541 to i32
  %543 = icmp sle i32 1, %542
  %544 = xor i1 %543, true
  %545 = xor i1 %544, true
  %546 = zext i1 %545 to i32
  %547 = sext i32 %546 to i64
  %548 = call i64 @llvm.expect.i64(i64 %547, i64 0)
  %549 = icmp ne i64 %548, 0
  br i1 %549, label %550, label %552

550:                                              ; preds = %540
  %551 = load i32, ptr %11, align 4, !tbaa !9
  call void (i32, ptr, i32, ptr, ...) @debug_log(i32 noundef 1, ptr noundef @__func__.txn_end, i32 noundef 385, ptr noundef @.str.46, i32 noundef %551)
  br label %552

552:                                              ; preds = %550, %540
  br label %553

553:                                              ; preds = %552
  br label %554

554:                                              ; preds = %553
  %555 = load ptr, ptr %6, align 8, !tbaa !5
  %556 = getelementptr inbounds %struct.MDBX_env, ptr %555, i32 0, i32 24
  %557 = load ptr, ptr %556, align 8, !tbaa !29
  %558 = call i32 @mdbx_txn_break(ptr noundef %557)
  %559 = load ptr, ptr %7, align 8, !tbaa !5
  %560 = getelementptr inbounds %struct.MDBX_txn, ptr %559, i32 0, i32 1
  %561 = load i32, ptr %560, align 4, !tbaa !20
  %562 = or i32 %561, 2
  store i32 %562, ptr %560, align 4, !tbaa !20
  %563 = load ptr, ptr %6, align 8, !tbaa !5
  %564 = getelementptr inbounds %struct.MDBX_env, ptr %563, i32 0, i32 3
  %565 = getelementptr inbounds %struct.osal_mmap, ptr %564, i32 0, i32 0
  %566 = load ptr, ptr %565, align 8, !tbaa !40
  %567 = icmp ne ptr %566, null
  br i1 %567, label %573, label %568

568:                                              ; preds = %554
  %569 = load ptr, ptr %6, align 8, !tbaa !5
  %570 = getelementptr inbounds %struct.MDBX_env, ptr %569, i32 0, i32 1
  %571 = load i32, ptr %570, align 4, !tbaa !42
  %572 = or i32 %571, -2147483648
  store i32 %572, ptr %570, align 4, !tbaa !42
  br label %573

573:                                              ; preds = %568, %554
  %574 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %574, ptr %3, align 4
  store i32 1, ptr %8, align 4
  br label %577

575:                                              ; preds = %530
  br label %576

576:                                              ; preds = %575, %521
  store i32 0, ptr %8, align 4
  br label %577

577:                                              ; preds = %576, %573
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #8
  %578 = load i32, ptr %8, align 4
  switch i32 %578, label %581 [
    i32 0, label %579
  ]

579:                                              ; preds = %577
  br label %580

580:                                              ; preds = %579, %474, %468, %460
  store i32 0, ptr %3, align 4
  store i32 1, ptr %8, align 4
  br label %581

581:                                              ; preds = %580, %577
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #8
  br label %582

582:                                              ; preds = %581, %280, %220, %169
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #8
  %583 = load i32, ptr %3, align 4
  ret i32 %583
}

declare void @debug_log(i32 noundef, ptr noundef, i32 noundef, ptr noundef, ...) #4

declare i32 @dxb_resize(ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) #4

declare i32 @txn_basal_end(ptr noundef, i32 noundef) #4

declare i32 @txn_ro_end(ptr noundef, i32 noundef) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i1 @pnl_check_allocated(ptr noundef, i64 noundef) #5

; Function Attrs: nounwind willreturn memory(read)
declare i32 @memcmp(ptr noundef, ptr noundef, i64 noundef) #6

declare void @txn_nested_abort(ptr noundef) #4

declare i32 @mdbx_txn_break(ptr noundef) #4

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 = { 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 = { 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 = { nounwind willreturn memory(read) "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 = { noreturn }
attributes #8 = { nounwind }
attributes #9 = { nounwind willreturn memory(read) }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !7, i64 26}
!12 = !{!"libmdbx_globals", !7, i64 0, !10, i64 16, !10, i64 20, !7, i64 24, !7, i64 25, !7, i64 26, !13, i64 27, !10, i64 28, !7, i64 32, !7, i64 40, !14, i64 80, !6, i64 88}
!13 = !{!"_Bool", !7, i64 0}
!14 = !{!"long", !7, i64 0}
!15 = !{!16, !14, i64 64}
!16 = !{!"MDBX_txn", !10, i64 0, !10, i64 4, !14, i64 8, !14, i64 16, !6, i64 24, !6, i64 32, !17, i64 40, !14, i64 64, !14, i64 72, !6, i64 80, !6, i64 88, !6, i64 96, !6, i64 104, !6, i64 112, !6, i64 120, !19, i64 128, !6, i64 160, !7, i64 168}
!17 = !{!"geo", !18, i64 0, !18, i64 2, !10, i64 4, !10, i64 8, !7, i64 12, !7, i64 16}
!18 = !{!"short", !7, i64 0}
!19 = !{!"MDBX_canary", !14, i64 0, !14, i64 8, !14, i64 16, !14, i64 24}
!20 = !{!16, !10, i64 4}
!21 = !{!16, !6, i64 80}
!22 = !{!16, !6, i64 88}
!23 = !{!24, !10, i64 8}
!24 = !{!"tree", !18, i64 0, !18, i64 2, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !10, i64 20, !14, i64 24, !14, i64 32, !14, i64 40}
!25 = !{!12, !7, i64 25}
!26 = !{!16, !10, i64 0}
!27 = !{!16, !6, i64 32}
!28 = !{!16, !6, i64 24}
!29 = !{!30, !6, i64 192}
!30 = !{!"MDBX_env", !7, i64 0, !10, i64 4, !10, i64 8, !31, i64 16, !10, i64 56, !10, i64 60, !31, i64 64, !6, i64 104, !18, i64 112, !18, i64 114, !18, i64 116, !18, i64 118, !18, i64 120, !18, i64 122, !7, i64 124, !7, i64 128, !7, i64 129, !18, i64 130, !10, i64 132, !10, i64 136, !10, i64 140, !10, i64 144, !32, i64 152, !6, i64 184, !6, i64 192, !6, i64 200, !6, i64 208, !6, i64 216, !10, i64 224, !10, i64 228, !10, i64 232, !6, i64 240, !6, i64 248, !14, i64 256, !33, i64 264, !35, i64 320, !13, i64 360, !6, i64 368, !6, i64 376, !6, i64 384, !36, i64 392, !7, i64 400, !10, i64 440, !10, i64 444, !6, i64 448, !37, i64 456, !7, i64 496, !7, i64 536}
!31 = !{!"osal_mmap", !7, i64 0, !10, i64 8, !14, i64 16, !14, i64 24, !14, i64 32}
!32 = !{!"", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!33 = !{!"", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !14, i64 16, !7, i64 24, !7, i64 25, !7, i64 26, !7, i64 27, !10, i64 28, !10, i64 32, !13, i64 36, !13, i64 37, !13, i64 38, !34, i64 40, !7, i64 48}
!34 = !{!"", !18, i64 0, !18, i64 2, !18, i64 4, !18, i64 6}
!35 = !{!"", !14, i64 0, !14, i64 8, !14, i64 16, !14, i64 24, !14, i64 32}
!36 = !{!"", !14, i64 0}
!37 = !{!"osal_ioring", !10, i64 0, !10, i64 4, !10, i64 8, !6, i64 16, !6, i64 24, !6, i64 32}
!38 = !{!16, !14, i64 16}
!39 = !{!30, !6, i64 384}
!40 = !{!7, !7, i64 0}
!41 = !{!16, !10, i64 48}
!42 = !{!30, !10, i64 4}


; 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 }

@globals = external local_unnamed_addr global %struct.libmdbx_globals, align 8
@txn_end.names = external hidden local_unnamed_addr constant [8 x ptr], align 16
@__func__.txn_end = external hidden unnamed_addr constant [8 x i8], align 1
@.str.36 = external hidden unnamed_addr constant [50 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [86 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [79 x i8], align 1
@.str.39 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.41 = external hidden unnamed_addr constant [67 x i8], align 1
@.str.42 = external hidden unnamed_addr constant [67 x i8], align 1
@.str.43 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.44 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.45 = external hidden unnamed_addr constant [84 x i8], align 1
@.str.46 = external hidden unnamed_addr constant [69 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 void @txn_done_cursors(ptr noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
define dso_local i32 @txn_end(ptr noundef %0, i32 noundef %1) local_unnamed_addr #1 {
  %3 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 26), align 2, !tbaa !5
  %4 = icmp ugt i8 %3, 4
  br i1 %4, label %5, label %24, !prof !13

5:                                                ; preds = %2
  %6 = and i32 %1, 7
  %7 = zext nneg i32 %6 to i64
  %8 = getelementptr inbounds [8 x ptr], ptr @txn_end.names, i64 0, i64 %7
  %9 = load ptr, ptr %8, align 8, !tbaa !14
  %10 = getelementptr inbounds i8, ptr %0, i64 64
  %11 = load i64, ptr %10, align 8, !tbaa !15
  %12 = getelementptr inbounds i8, ptr %0, i64 4
  %13 = load i32, ptr %12, align 4, !tbaa !20
  %14 = and i32 %13, 131072
  %.not = icmp eq i32 %14, 0
  %15 = select i1 %.not, i32 119, i32 114
  %16 = getelementptr inbounds i8, ptr %0, i64 80
  %17 = load ptr, ptr %16, align 8, !tbaa !21
  %18 = getelementptr inbounds i8, ptr %0, i64 88
  %19 = load ptr, ptr %18, align 8, !tbaa !22
  %20 = getelementptr inbounds i8, ptr %19, i64 56
  %21 = load i32, ptr %20, align 4, !tbaa !23
  %22 = getelementptr inbounds i8, ptr %19, i64 8
  %23 = load i32, ptr %22, align 4, !tbaa !23
  tail call void (i32, ptr, i32, ptr, ...) @debug_log(i32 noundef 5, ptr noundef nonnull @__func__.txn_end, i32 noundef 339, ptr noundef nonnull @.str.36, ptr noundef %9, i64 noundef %11, i32 noundef %15, i32 noundef %13, ptr noundef %0, ptr noundef %17, i32 noundef %21, i32 noundef %23) #5
  br label %24

24:                                               ; preds = %5, %2
  %25 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !25
  %26 = and i8 %25, 1
  %.not89 = icmp eq i8 %26, 0
  br i1 %.not89, label %._crit_edge, label %27, !prof !13

._crit_edge:                                      ; preds = %24
  %.phi.trans.insert = getelementptr inbounds i8, ptr %0, i64 4
  %.pre = load i32, ptr %.phi.trans.insert, align 4, !tbaa !20
  br label %39

27:                                               ; preds = %24
  %28 = load i32, ptr %0, align 8, !tbaa !26
  %29 = icmp eq i32 %28, 332741169
  br i1 %29, label %30, label %.critedge, !prof !27

30:                                               ; preds = %27
  %31 = getelementptr inbounds i8, ptr %0, i64 32
  %32 = load ptr, ptr %31, align 8, !tbaa !28
  %.not90 = icmp eq ptr %32, null
  br i1 %.not90, label %33, label %.critedge, !prof !27

33:                                               ; preds = %30
  %34 = getelementptr inbounds i8, ptr %0, i64 4
  %35 = load i32, ptr %34, align 4, !tbaa !20
  %36 = and i32 %35, 16
  %.not91 = icmp eq i32 %36, 0
  br i1 %.not91, label %39, label %.critedge, !prof !27

.critedge:                                        ; preds = %30, %27, %33
  %37 = getelementptr inbounds i8, ptr %0, i64 80
  %38 = load ptr, ptr %37, align 8, !tbaa !21
  tail call void @mdbx_assert_fail(ptr noundef %38, ptr noundef nonnull @.str.37, ptr noundef nonnull @__func__.txn_end, i32 noundef 341) #6
  unreachable

39:                                               ; preds = %._crit_edge, %33
  %40 = phi i32 [ %.pre, %._crit_edge ], [ %35, %33 ]
  %41 = getelementptr inbounds i8, ptr %0, i64 4
  %42 = and i32 %40, 256
  %.not92 = icmp eq i32 %42, 0
  br i1 %.not92, label %44, label %43

43:                                               ; preds = %39
  tail call void @txn_done_cursors(ptr noundef nonnull %0)
  br label %44

44:                                               ; preds = %43, %39
  %45 = getelementptr inbounds i8, ptr %0, i64 80
  %46 = load ptr, ptr %45, align 8, !tbaa !21
  %47 = getelementptr inbounds i8, ptr %0, i64 24
  %48 = load ptr, ptr %47, align 8, !tbaa !29
  %49 = getelementptr inbounds i8, ptr %46, i64 192
  %50 = load ptr, ptr %49, align 8, !tbaa !30
  %51 = icmp eq ptr %50, %0
  br i1 %51, label %52, label %65

52:                                               ; preds = %44
  %53 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !25
  %54 = and i8 %53, 1
  %.not117 = icmp eq i8 %54, 0
  br i1 %.not117, label %63, label %55, !prof !13

55:                                               ; preds = %52
  %.not118 = icmp eq ptr %48, null
  br i1 %.not118, label %56, label %.critedge121, !prof !27

56:                                               ; preds = %55
  %57 = load i32, ptr %41, align 4, !tbaa !20
  %58 = and i32 %57, 131073
  %.not119 = icmp eq i32 %58, 0
  br i1 %.not119, label %59, label %.critedge121, !prof !27

59:                                               ; preds = %56
  %60 = getelementptr inbounds i8, ptr %0, i64 16
  %61 = load i64, ptr %60, align 8, !tbaa !39
  %62 = icmp eq i64 %61, 0
  br i1 %62, label %.critedge121, label %63, !prof !13

.critedge121:                                     ; preds = %56, %55, %59
  tail call void @mdbx_assert_fail(ptr noundef nonnull %46, ptr noundef nonnull @.str.38, ptr noundef nonnull @__func__.txn_end, i32 noundef 348) #6
  unreachable

63:                                               ; preds = %59, %52
  %64 = tail call i32 @txn_basal_end(ptr noundef nonnull %0, i32 noundef %1) #5
  br label %.critedge127

65:                                               ; preds = %44
  %66 = load i32, ptr %41, align 4, !tbaa !20
  %67 = and i32 %66, 131072
  %.not93 = icmp eq i32 %67, 0
  br i1 %.not93, label %78, label %68

68:                                               ; preds = %65
  %69 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !25
  %70 = and i8 %69, 1
  %.not113 = icmp eq i8 %70, 0
  br i1 %.not113, label %76, label %71, !prof !13

71:                                               ; preds = %68
  %72 = getelementptr inbounds i8, ptr %46, i64 384
  %73 = load ptr, ptr %72, align 8, !tbaa !40
  %74 = icmp eq ptr %73, %0
  %.not114 = icmp ne ptr %48, null
  %.not116 = select i1 %74, i1 true, i1 %.not114
  br i1 %.not116, label %75, label %76, !prof !13

75:                                               ; preds = %71
  tail call void @mdbx_assert_fail(ptr noundef nonnull %46, ptr noundef nonnull @.str.39, ptr noundef nonnull @__func__.txn_end, i32 noundef 353) #6
  unreachable

76:                                               ; preds = %71, %68
  %77 = tail call i32 @txn_ro_end(ptr noundef nonnull %0, i32 noundef %1) #5
  br label %.critedge127

78:                                               ; preds = %65
  %.not94 = icmp eq ptr %48, null
  br i1 %.not94, label %.critedge123, label %79, !prof !13

79:                                               ; preds = %78
  %80 = getelementptr inbounds i8, ptr %46, i64 384
  %81 = load ptr, ptr %80, align 8, !tbaa !40
  %.not95 = icmp eq ptr %81, %0
  br i1 %.not95, label %82, label %.critedge123, !prof !27

82:                                               ; preds = %79
  %83 = load i32, ptr %48, align 8, !tbaa !26
  %.not96 = icmp eq i32 %83, 332741169
  br i1 %.not96, label %84, label %.critedge123, !prof !27

84:                                               ; preds = %82
  %85 = getelementptr inbounds i8, ptr %48, i64 32
  %86 = load ptr, ptr %85, align 8, !tbaa !28
  %.not97 = icmp eq ptr %86, %0
  br i1 %.not97, label %87, label %.critedge123, !prof !27

87:                                               ; preds = %84
  %88 = getelementptr inbounds i8, ptr %48, i64 4
  %89 = load i32, ptr %88, align 4, !tbaa !20
  %90 = and i32 %89, 16
  %.not98 = icmp eq i32 %90, 0
  br i1 %.not98, label %.critedge123, label %93, !prof !13

.critedge123:                                     ; preds = %84, %82, %79, %78, %87
  %91 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 26), align 2, !tbaa !5
  %.not112 = icmp eq i8 %91, 0
  br i1 %.not112, label %.critedge127, label %92, !prof !27

92:                                               ; preds = %.critedge123
  tail call void (i32, ptr, i32, ptr, ...) @debug_log(i32 noundef 1, ptr noundef nonnull @__func__.txn_end, i32 noundef 359, ptr noundef nonnull @.str.40, ptr noundef %48, ptr noundef nonnull %0) #5
  br label %.critedge127

93:                                               ; preds = %87
  %94 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !25
  %95 = and i8 %94, 1
  %.not99 = icmp eq i8 %95, 0
  br i1 %.not99, label %106, label %96, !prof !13

96:                                               ; preds = %93
  %97 = getelementptr inbounds i8, ptr %0, i64 200
  %98 = load ptr, ptr %97, align 8, !tbaa !41
  %99 = getelementptr inbounds i8, ptr %0, i64 56
  %100 = load i32, ptr %99, align 8, !tbaa !41
  %101 = add i32 %100, -1
  %102 = zext i32 %101 to i64
  %103 = tail call zeroext i1 @pnl_check_allocated(ptr noundef %98, i64 noundef %102)
  br i1 %103, label %._crit_edge133, label %104, !prof !27

._crit_edge133:                                   ; preds = %96
  %.pre134 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !25
  br label %106

104:                                              ; preds = %96
  %105 = load ptr, ptr %45, align 8, !tbaa !21
  tail call void @mdbx_assert_fail(ptr noundef %105, ptr noundef nonnull @.str.41, ptr noundef nonnull @__func__.txn_end, i32 noundef 362) #6
  unreachable

106:                                              ; preds = %._crit_edge133, %93
  %107 = phi i8 [ %.pre134, %._crit_edge133 ], [ %94, %93 ]
  %108 = and i8 %107, 1
  %.not100 = icmp eq i8 %108, 0
  br i1 %.not100, label %..thread131_crit_edge, label %109, !prof !13

..thread131_crit_edge:                            ; preds = %106
  %.pre135 = load i32, ptr %88, align 4, !tbaa !20
  br label %.thread131

109:                                              ; preds = %106
  %110 = getelementptr inbounds i8, ptr %0, i64 168
  %111 = getelementptr inbounds i8, ptr %48, i64 168
  %bcmp = tail call i32 @bcmp(ptr noundef nonnull dereferenceable(32) %110, ptr noundef nonnull dereferenceable(32) %111, i64 32)
  %.not101 = icmp eq i32 %bcmp, 0
  br i1 %.not101, label %114, label %112, !prof !27

112:                                              ; preds = %109
  %113 = load ptr, ptr %45, align 8, !tbaa !21
  tail call void @mdbx_assert_fail(ptr noundef %113, ptr noundef nonnull @.str.42, ptr noundef nonnull @__func__.txn_end, i32 noundef 363) #6
  unreachable

114:                                              ; preds = %109
  %115 = and i32 %1, 32
  %.not103 = icmp eq i32 %115, 0
  br i1 %.not103, label %116, label %118, !prof !42

116:                                              ; preds = %114
  %117 = load ptr, ptr %45, align 8, !tbaa !21
  tail call void @mdbx_assert_fail(ptr noundef %117, ptr noundef nonnull @.str.43, ptr noundef nonnull @__func__.txn_end, i32 noundef 364) #6
  unreachable

118:                                              ; preds = %114
  %119 = load i32, ptr %88, align 4, !tbaa !20
  %120 = and i32 %119, 16
  %.not105 = icmp eq i32 %120, 0
  br i1 %.not105, label %121, label %.thread131, !prof !13

121:                                              ; preds = %118
  %122 = getelementptr inbounds i8, ptr %48, i64 80
  %123 = load ptr, ptr %122, align 8, !tbaa !21
  tail call void @mdbx_assert_fail(ptr noundef %123, ptr noundef nonnull @.str.44, ptr noundef nonnull @__func__.txn_end, i32 noundef 365) #6
  unreachable

.thread131:                                       ; preds = %..thread131_crit_edge, %118
  %124 = phi i32 [ %.pre135, %..thread131_crit_edge ], [ %119, %118 ]
  store ptr %48, ptr %80, align 8, !tbaa !40
  store ptr null, ptr %85, align 8, !tbaa !28
  %125 = add i32 %124, -16
  store i32 %125, ptr %88, align 4, !tbaa !20
  %126 = getelementptr inbounds i8, ptr %0, i64 52
  %127 = load i32, ptr %126, align 4, !tbaa !41
  %128 = getelementptr inbounds i8, ptr %0, i64 48
  %129 = load i32, ptr %128, align 8, !tbaa !43
  tail call void @txn_nested_abort(ptr noundef nonnull %0) #5
  %130 = getelementptr inbounds i8, ptr %48, i64 48
  %131 = load i32, ptr %130, align 8, !tbaa !43
  %.not106 = icmp eq i32 %131, %129
  br i1 %.not106, label %132, label %.critedge125, !prof !27

132:                                              ; preds = %.thread131
  %133 = getelementptr inbounds i8, ptr %48, i64 52
  %134 = load i32, ptr %133, align 4, !tbaa !41
  %.not132 = icmp eq i32 %134, %127
  br i1 %.not132, label %.critedge127, label %.critedge125, !prof !27

.critedge125:                                     ; preds = %.thread131, %132
  %135 = load i32, ptr %88, align 4, !tbaa !20
  %136 = and i32 %135, 2
  %.not107 = icmp eq i32 %136, 0
  br i1 %.not107, label %137, label %.critedge127

137:                                              ; preds = %.critedge125
  %138 = getelementptr inbounds i8, ptr %46, i64 4
  %139 = load i32, ptr %138, align 4, !tbaa !44
  %.not108 = icmp sgt i32 %139, -1
  br i1 %.not108, label %140, label %.critedge127

140:                                              ; preds = %137
  %141 = getelementptr inbounds i8, ptr %48, i64 56
  %142 = load i32, ptr %141, align 8, !tbaa !41
  %143 = getelementptr inbounds i8, ptr %48, i64 52
  %144 = load i32, ptr %143, align 4, !tbaa !41
  %145 = tail call i32 @dxb_resize(ptr noundef nonnull %46, i32 noundef %142, i32 noundef %144, i32 noundef %131, i32 noundef 1) #5
  switch i32 %145, label %155 [
    i32 1, label %146
    i32 0, label %.critedge127
  ], !prof !45

146:                                              ; preds = %140
  %147 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 26), align 2, !tbaa !5
  %148 = icmp ugt i8 %147, 1
  br i1 %148, label %149, label %152, !prof !13

149:                                              ; preds = %146
  %150 = load i32, ptr %143, align 4, !tbaa !41
  %151 = load i32, ptr %130, align 8, !tbaa !43
  tail call void (i32, ptr, i32, ptr, ...) @debug_log(i32 noundef 2, ptr noundef nonnull @__func__.txn_end, i32 noundef 381, ptr noundef nonnull @.str.45, i32 noundef %127, i32 noundef %150, i32 noundef %129, i32 noundef %151) #5
  br label %152

152:                                              ; preds = %149, %146
  store i32 %127, ptr %143, align 4, !tbaa !41
  %153 = load i32, ptr %88, align 4, !tbaa !20
  %154 = or i32 %153, 4
  store i32 %154, ptr %88, align 4, !tbaa !20
  br label %.critedge127

155:                                              ; preds = %140
  %156 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 26), align 2, !tbaa !5
  %.not110 = icmp eq i8 %156, 0
  br i1 %.not110, label %158, label %157, !prof !27

157:                                              ; preds = %155
  tail call void (i32, ptr, i32, ptr, ...) @debug_log(i32 noundef 1, ptr noundef nonnull @__func__.txn_end, i32 noundef 385, ptr noundef nonnull @.str.46, i32 noundef %145) #5
  br label %158

158:                                              ; preds = %157, %155
  %159 = load ptr, ptr %49, align 8, !tbaa !30
  %160 = tail call i32 @mdbx_txn_break(ptr noundef %159) #5
  %161 = load i32, ptr %88, align 4, !tbaa !20
  %162 = or i32 %161, 2
  store i32 %162, ptr %88, align 4, !tbaa !20
  %163 = getelementptr inbounds i8, ptr %46, i64 16
  %164 = load ptr, ptr %163, align 8, !tbaa !41
  %.not111 = icmp eq ptr %164, null
  br i1 %.not111, label %165, label %.critedge127

165:                                              ; preds = %158
  %166 = load i32, ptr %138, align 4, !tbaa !44
  %167 = or i32 %166, -2147483648
  store i32 %167, ptr %138, align 4, !tbaa !44
  br label %.critedge127

.critedge127:                                     ; preds = %140, %152, %137, %.critedge125, %132, %158, %165, %.critedge123, %92, %76, %63
  %.2 = phi i32 [ %64, %63 ], [ %77, %76 ], [ -30779, %92 ], [ -30779, %.critedge123 ], [ %145, %140 ], [ 0, %152 ], [ 0, %137 ], [ 0, %.critedge125 ], [ 0, %132 ], [ %145, %158 ], [ %145, %165 ]
  ret i32 %.2
}

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

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

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

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i1 @pnl_check_allocated(ptr noundef, i64 noundef) local_unnamed_addr #3

declare void @txn_nested_abort(ptr noundef) local_unnamed_addr #2

declare i32 @mdbx_txn_break(ptr noundef) local_unnamed_addr #2

; Function Attrs: nofree nounwind willreturn memory(argmem: read)
declare i32 @bcmp(ptr nocapture, ptr nocapture, i64) 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 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { 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 = { nofree nounwind willreturn memory(argmem: read) }
attributes #5 = { nounwind }
attributes #6 = { noreturn 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, !7, i64 26}
!6 = !{!"libmdbx_globals", !7, i64 0, !9, i64 16, !9, i64 20, !7, i64 24, !7, i64 25, !7, i64 26, !10, i64 27, !9, i64 28, !7, i64 32, !7, i64 40, !11, i64 80, !12, i64 88}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!"int", !7, i64 0}
!10 = !{!"_Bool", !7, i64 0}
!11 = !{!"long", !7, i64 0}
!12 = !{!"any pointer", !7, i64 0}
!13 = !{!"branch_weights", !"expected", i32 1, i32 2000}
!14 = !{!12, !12, i64 0}
!15 = !{!16, !11, i64 64}
!16 = !{!"MDBX_txn", !9, i64 0, !9, i64 4, !11, i64 8, !11, i64 16, !12, i64 24, !12, i64 32, !17, i64 40, !11, i64 64, !11, i64 72, !12, i64 80, !12, i64 88, !12, i64 96, !12, i64 104, !12, i64 112, !12, i64 120, !19, i64 128, !12, i64 160, !7, i64 168}
!17 = !{!"geo", !18, i64 0, !18, i64 2, !9, i64 4, !9, i64 8, !7, i64 12, !7, i64 16}
!18 = !{!"short", !7, i64 0}
!19 = !{!"MDBX_canary", !11, i64 0, !11, i64 8, !11, i64 16, !11, i64 24}
!20 = !{!16, !9, i64 4}
!21 = !{!16, !12, i64 80}
!22 = !{!16, !12, i64 88}
!23 = !{!24, !9, i64 8}
!24 = !{!"tree", !18, i64 0, !18, i64 2, !9, i64 4, !9, i64 8, !9, i64 12, !9, i64 16, !9, i64 20, !11, i64 24, !11, i64 32, !11, i64 40}
!25 = !{!6, !7, i64 25}
!26 = !{!16, !9, i64 0}
!27 = !{!"branch_weights", !"expected", i32 2000, i32 1}
!28 = !{!16, !12, i64 32}
!29 = !{!16, !12, i64 24}
!30 = !{!31, !12, i64 192}
!31 = !{!"MDBX_env", !7, i64 0, !9, i64 4, !9, i64 8, !32, i64 16, !9, i64 56, !9, i64 60, !32, i64 64, !12, i64 104, !18, i64 112, !18, i64 114, !18, i64 116, !18, i64 118, !18, i64 120, !18, i64 122, !7, i64 124, !7, i64 128, !7, i64 129, !18, i64 130, !9, i64 132, !9, i64 136, !9, i64 140, !9, i64 144, !33, i64 152, !12, i64 184, !12, i64 192, !12, i64 200, !12, i64 208, !12, i64 216, !9, i64 224, !9, i64 228, !9, i64 232, !12, i64 240, !12, i64 248, !11, i64 256, !34, i64 264, !36, i64 320, !10, i64 360, !12, i64 368, !12, i64 376, !12, i64 384, !37, i64 392, !7, i64 400, !9, i64 440, !9, i64 444, !12, i64 448, !38, i64 456, !7, i64 496, !7, i64 536}
!32 = !{!"osal_mmap", !7, i64 0, !9, i64 8, !11, i64 16, !11, i64 24, !11, i64 32}
!33 = !{!"", !12, i64 0, !12, i64 8, !12, i64 16, !12, i64 24}
!34 = !{!"", !9, i64 0, !9, i64 4, !9, i64 8, !9, i64 12, !11, i64 16, !7, i64 24, !7, i64 25, !7, i64 26, !7, i64 27, !9, i64 28, !9, i64 32, !10, i64 36, !10, i64 37, !10, i64 38, !35, i64 40, !7, i64 48}
!35 = !{!"", !18, i64 0, !18, i64 2, !18, i64 4, !18, i64 6}
!36 = !{!"", !11, i64 0, !11, i64 8, !11, i64 16, !11, i64 24, !11, i64 32}
!37 = !{!"", !11, i64 0}
!38 = !{!"osal_ioring", !9, i64 0, !9, i64 4, !9, i64 8, !12, i64 16, !12, i64 24, !12, i64 32}
!39 = !{!16, !11, i64 16}
!40 = !{!31, !12, i64 384}
!41 = !{!7, !7, i64 0}
!42 = !{!"branch_weights", i32 1073205, i32 2146410443}
!43 = !{!16, !9, i64 48}
!44 = !{!31, !9, i64 4}
!45 = !{!"branch_weights", i32 1, i32 2001, i32 2000}


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