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

@globals = external global %struct.libmdbx_globals, align 8
@.str.28 = external hidden unnamed_addr constant [17 x i8], align 1
@__func__.dbi_open = external hidden unnamed_addr constant [9 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [60 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: alwaysinline nounwind uwtable
declare hidden i32 @atomic_load32(ptr noundef, i32 noundef) #3

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

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

; 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) #5

declare i32 @osal_fastmutex_release(ptr noundef) #6

declare i32 @osal_fastmutex_acquire(ptr noundef) #6

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @osal_compiler_barrier() #4

; Function Attrs: nounwind uwtable
declare dso_local i32 @dbi_bind(ptr noundef, i64 noundef, i32 noundef, ptr noundef, ptr noundef) #7

; Function Attrs: nounwind uwtable
define dso_local i32 @dbi_open(ptr noundef %0, ptr noundef %1, i32 noundef %2, ptr noundef %3, ptr noundef %4, ptr noundef %5) #7 {
  %7 = alloca i32, align 4
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca ptr, align 8
  %17 = alloca i64, align 8
  %18 = alloca i64, align 8
  %19 = alloca i32, align 4
  %20 = alloca i16, align 2
  %21 = alloca %struct.iovec, align 8
  %22 = alloca i32, align 4
  %23 = alloca ptr, align 8
  %24 = alloca i8, align 1
  store ptr %0, ptr %8, align 8, !tbaa !5
  store ptr %1, ptr %9, align 8, !tbaa !5
  store i32 %2, ptr %10, align 4, !tbaa !9
  store ptr %3, ptr %11, align 8, !tbaa !5
  store ptr %4, ptr %12, align 8, !tbaa !5
  store ptr %5, ptr %13, align 8, !tbaa !5
  %25 = load ptr, ptr %11, align 8, !tbaa !5
  %26 = icmp ne ptr %25, null
  %27 = xor i1 %26, true
  %28 = xor i1 %27, true
  %29 = xor i1 %28, true
  %30 = zext i1 %29 to i32
  %31 = sext i32 %30 to i64
  %32 = call i64 @llvm.expect.i64(i64 %31, i64 0)
  %33 = icmp ne i64 %32, 0
  br i1 %33, label %34, label %35

34:                                               ; preds = %6
  store i32 22, ptr %7, align 4
  br label %542

35:                                               ; preds = %6
  %36 = load ptr, ptr %11, align 8, !tbaa !5
  store i32 0, ptr %36, align 4, !tbaa !9
  %37 = load i32, ptr %10, align 4, !tbaa !9
  %38 = icmp ne i32 %37, 1073741824
  br i1 %38, label %39, label %51

39:                                               ; preds = %35
  %40 = load i32, ptr %10, align 4, !tbaa !9
  %41 = and i32 %40, -262145
  %42 = call zeroext i1 @check_table_flags(i32 noundef %41)
  %43 = xor i1 %42, true
  %44 = xor i1 %43, true
  %45 = xor i1 %44, true
  %46 = zext i1 %45 to i32
  %47 = sext i32 %46 to i64
  %48 = call i64 @llvm.expect.i64(i64 %47, i64 0)
  %49 = icmp ne i64 %48, 0
  br i1 %49, label %50, label %51

50:                                               ; preds = %39
  store i32 22, ptr %7, align 4
  br label %542

51:                                               ; preds = %39, %35
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #8
  %52 = load ptr, ptr %8, align 8, !tbaa !5
  %53 = call i32 @check_txn(ptr noundef %52, i32 noundef 51)
  store i32 %53, ptr %14, align 4, !tbaa !9
  %54 = load i32, ptr %14, align 4, !tbaa !9
  %55 = icmp ne i32 %54, 0
  %56 = xor i1 %55, true
  %57 = xor i1 %56, true
  %58 = zext i1 %57 to i32
  %59 = sext i32 %58 to i64
  %60 = call i64 @llvm.expect.i64(i64 %59, i64 0)
  %61 = icmp ne i64 %60, 0
  br i1 %61, label %62, label %64

62:                                               ; preds = %51
  %63 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %63, ptr %7, align 4
  store i32 1, ptr %15, align 4
  br label %541

64:                                               ; preds = %51
  %65 = load i32, ptr %10, align 4, !tbaa !9
  %66 = and i32 %65, 262144
  %67 = icmp ne i32 %66, 0
  br i1 %67, label %68, label %81

68:                                               ; preds = %64
  %69 = load ptr, ptr %8, align 8, !tbaa !5
  %70 = getelementptr inbounds %struct.MDBX_txn, ptr %69, i32 0, i32 1
  %71 = load i32, ptr %70, align 4, !tbaa !11
  %72 = and i32 %71, 131072
  %73 = icmp ne i32 %72, 0
  %74 = xor i1 %73, true
  %75 = xor i1 %74, true
  %76 = zext i1 %75 to i32
  %77 = sext i32 %76 to i64
  %78 = call i64 @llvm.expect.i64(i64 %77, i64 0)
  %79 = icmp ne i64 %78, 0
  br i1 %79, label %80, label %81

80:                                               ; preds = %68
  store i32 13, ptr %7, align 4
  store i32 1, ptr %15, align 4
  br label %541

81:                                               ; preds = %68, %64
  %82 = load ptr, ptr %9, align 8, !tbaa !5
  %83 = icmp eq ptr %82, null
  br i1 %83, label %89, label %84

84:                                               ; preds = %81
  %85 = load ptr, ptr %9, align 8, !tbaa !5
  %86 = getelementptr inbounds %struct.iovec, ptr %85, i32 0, i32 0
  %87 = load ptr, ptr %86, align 8, !tbaa !17
  %88 = icmp eq ptr %87, null
  br label %89

89:                                               ; preds = %84, %81
  %90 = phi i1 [ true, %81 ], [ %88, %84 ]
  %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 %115

97:                                               ; preds = %89
  %98 = load ptr, ptr %8, align 8, !tbaa !5
  %99 = load i32, ptr %10, align 4, !tbaa !9
  %100 = load ptr, ptr %12, align 8, !tbaa !5
  %101 = load ptr, ptr %13, align 8, !tbaa !5
  %102 = call i32 @dbi_bind(ptr noundef %98, i64 noundef 1, i32 noundef %99, ptr noundef %100, ptr noundef %101)
  store i32 %102, ptr %14, align 4, !tbaa !9
  %103 = load i32, ptr %14, align 4, !tbaa !9
  %104 = icmp eq i32 %103, 0
  %105 = xor i1 %104, true
  %106 = xor i1 %105, true
  %107 = zext i1 %106 to i32
  %108 = sext i32 %107 to i64
  %109 = call i64 @llvm.expect.i64(i64 %108, i64 1)
  %110 = icmp ne i64 %109, 0
  br i1 %110, label %111, label %113

111:                                              ; preds = %97
  %112 = load ptr, ptr %11, align 8, !tbaa !5
  store i32 1, ptr %112, align 4, !tbaa !9
  br label %113

113:                                              ; preds = %111, %97
  %114 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %114, ptr %7, align 4
  store i32 1, ptr %15, align 4
  br label %541

115:                                              ; preds = %89
  %116 = load ptr, ptr %9, align 8, !tbaa !5
  %117 = icmp eq ptr %116, inttoptr (i64 -1 to ptr)
  br i1 %117, label %123, label %118

118:                                              ; preds = %115
  %119 = load ptr, ptr %9, align 8, !tbaa !5
  %120 = getelementptr inbounds %struct.iovec, ptr %119, i32 0, i32 0
  %121 = load ptr, ptr %120, align 8, !tbaa !17
  %122 = icmp eq ptr %121, inttoptr (i64 -1 to ptr)
  br label %123

123:                                              ; preds = %118, %115
  %124 = phi i1 [ true, %115 ], [ %122, %118 ]
  %125 = xor i1 %124, true
  %126 = xor i1 %125, true
  %127 = zext i1 %126 to i32
  %128 = sext i32 %127 to i64
  %129 = call i64 @llvm.expect.i64(i64 %128, i64 0)
  %130 = icmp ne i64 %129, 0
  br i1 %130, label %131, label %149

131:                                              ; preds = %123
  %132 = load ptr, ptr %8, align 8, !tbaa !5
  %133 = load i32, ptr %10, align 4, !tbaa !9
  %134 = load ptr, ptr %12, align 8, !tbaa !5
  %135 = load ptr, ptr %13, align 8, !tbaa !5
  %136 = call i32 @dbi_bind(ptr noundef %132, i64 noundef 0, i32 noundef %133, ptr noundef %134, ptr noundef %135)
  store i32 %136, ptr %14, align 4, !tbaa !9
  %137 = load i32, ptr %14, align 4, !tbaa !9
  %138 = icmp eq i32 %137, 0
  %139 = xor i1 %138, true
  %140 = xor i1 %139, true
  %141 = zext i1 %140 to i32
  %142 = sext i32 %141 to i64
  %143 = call i64 @llvm.expect.i64(i64 %142, i64 1)
  %144 = icmp ne i64 %143, 0
  br i1 %144, label %145, label %147

145:                                              ; preds = %131
  %146 = load ptr, ptr %11, align 8, !tbaa !5
  store i32 0, ptr %146, align 4, !tbaa !9
  br label %147

147:                                              ; preds = %145, %131
  %148 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %148, ptr %7, align 4
  store i32 1, ptr %15, align 4
  br label %541

149:                                              ; preds = %123
  %150 = load ptr, ptr %9, align 8, !tbaa !5
  %151 = icmp eq ptr %150, inttoptr (i64 -2 to ptr)
  br i1 %151, label %157, label %152

152:                                              ; preds = %149
  %153 = load ptr, ptr %9, align 8, !tbaa !5
  %154 = getelementptr inbounds %struct.iovec, ptr %153, i32 0, i32 0
  %155 = load ptr, ptr %154, align 8, !tbaa !17
  %156 = icmp eq ptr %155, inttoptr (i64 -2 to ptr)
  br label %157

157:                                              ; preds = %152, %149
  %158 = phi i1 [ true, %149 ], [ %156, %152 ]
  %159 = xor i1 %158, true
  %160 = xor i1 %159, true
  %161 = zext i1 %160 to i32
  %162 = sext i32 %161 to i64
  %163 = call i64 @llvm.expect.i64(i64 %162, i64 0)
  %164 = icmp ne i64 %163, 0
  br i1 %164, label %165, label %166

165:                                              ; preds = %157
  store i32 22, ptr %7, align 4
  store i32 1, ptr %15, align 4
  br label %541

166:                                              ; preds = %157
  %167 = load ptr, ptr %9, align 8, !tbaa !5
  %168 = getelementptr inbounds %struct.iovec, ptr %167, i32 0, i32 1
  %169 = load i64, ptr %168, align 8, !tbaa !19
  %170 = load ptr, ptr %8, align 8, !tbaa !5
  %171 = getelementptr inbounds %struct.MDBX_txn, ptr %170, i32 0, i32 9
  %172 = load ptr, ptr %171, align 8, !tbaa !20
  %173 = getelementptr inbounds %struct.MDBX_env, ptr %172, i32 0, i32 8
  %174 = load i16, ptr %173, align 8, !tbaa !21
  %175 = zext i16 %174 to i32
  %176 = sub i32 %175, 8
  %177 = zext i32 %176 to i64
  %178 = sub i64 %177, 48
  %179 = icmp ugt i64 %169, %178
  %180 = xor i1 %179, true
  %181 = xor i1 %180, true
  %182 = zext i1 %181 to i32
  %183 = sext i32 %182 to i64
  %184 = call i64 @llvm.expect.i64(i64 %183, i64 0)
  %185 = icmp ne i64 %184, 0
  br i1 %185, label %186, label %187

186:                                              ; preds = %166
  store i32 22, ptr %7, align 4
  store i32 1, ptr %15, align 4
  br label %541

187:                                              ; preds = %166
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #8
  %188 = load ptr, ptr %8, align 8, !tbaa !5
  %189 = getelementptr inbounds %struct.MDBX_txn, ptr %188, i32 0, i32 9
  %190 = load ptr, ptr %189, align 8, !tbaa !20
  store ptr %190, ptr %16, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #8
  %191 = load ptr, ptr %16, align 8, !tbaa !5
  %192 = getelementptr inbounds %struct.MDBX_env, ptr %191, i32 0, i32 42
  %193 = load i32, ptr %192, align 8, !tbaa !31
  %194 = zext i32 %193 to i64
  store i64 %194, ptr %17, align 8, !tbaa !32
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #8
  store i64 2, ptr %18, align 8, !tbaa !32
  br label %195

195:                                              ; preds = %476, %187
  %196 = load i64, ptr %18, align 8, !tbaa !32
  %197 = load ptr, ptr %16, align 8, !tbaa !5
  %198 = getelementptr inbounds %struct.MDBX_env, ptr %197, i32 0, i32 42
  %199 = load i32, ptr %198, align 8, !tbaa !31
  %200 = zext i32 %199 to i64
  %201 = icmp ult i64 %196, %200
  br i1 %201, label %203, label %202

202:                                              ; preds = %195
  store i32 2, ptr %15, align 4
  br label %479

203:                                              ; preds = %195
  br label %204

204:                                              ; preds = %380, %203
  %205 = load ptr, ptr %16, align 8, !tbaa !5
  %206 = getelementptr inbounds %struct.MDBX_env, ptr %205, i32 0, i32 26
  %207 = load ptr, ptr %206, align 8, !tbaa !33
  %208 = load i64, ptr %18, align 8, !tbaa !32
  %209 = getelementptr inbounds i8, ptr %207, i64 %208
  %210 = load i8, ptr %209, align 1, !tbaa !34
  %211 = zext i8 %210 to i32
  %212 = and i32 %211, 128
  %213 = icmp eq i32 %212, 0
  br i1 %213, label %214, label %216

214:                                              ; preds = %204
  %215 = load i64, ptr %18, align 8, !tbaa !32
  store i64 %215, ptr %17, align 8, !tbaa !32
  br label %476

216:                                              ; preds = %204
  %217 = load ptr, ptr %16, align 8, !tbaa !5
  %218 = getelementptr inbounds %struct.MDBX_env, ptr %217, i32 0, i32 27
  %219 = load ptr, ptr %218, align 8, !tbaa !35
  %220 = load i64, ptr %18, align 8, !tbaa !32
  %221 = getelementptr inbounds %union.mdbx_atomic_uint32_t, ptr %219, i64 %220
  %222 = call i32 @atomic_load32(ptr noundef %221, i32 noundef 1)
  store i32 %222, ptr %19, align 4, !tbaa !9
  %223 = load ptr, ptr %16, align 8, !tbaa !5
  %224 = getelementptr inbounds %struct.MDBX_env, ptr %223, i32 0, i32 26
  %225 = load ptr, ptr %224, align 8, !tbaa !33
  %226 = load i64, ptr %18, align 8, !tbaa !32
  %227 = getelementptr inbounds i8, ptr %225, i64 %226
  %228 = load i8, ptr %227, align 1, !tbaa !34
  %229 = zext i8 %228 to i16
  store i16 %229, ptr %20, align 2, !tbaa !36
  %230 = load ptr, ptr %16, align 8, !tbaa !5
  %231 = getelementptr inbounds %struct.MDBX_env, ptr %230, i32 0, i32 25
  %232 = load ptr, ptr %231, align 8, !tbaa !37
  %233 = load i64, ptr %18, align 8, !tbaa !32
  %234 = getelementptr inbounds %struct.kvx, ptr %232, i64 %233
  %235 = getelementptr inbounds %struct.kvx, ptr %234, i32 0, i32 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %21, ptr align 8 %235, i64 16, i1 false), !tbaa.struct !38
  %236 = load i32, ptr %10, align 4, !tbaa !9
  %237 = icmp ne i32 %236, 1073741824
  br i1 %237, label %238, label %276

238:                                              ; preds = %216
  %239 = load i32, ptr %10, align 4, !tbaa !9
  %240 = load i16, ptr %20, align 2, !tbaa !36
  %241 = zext i16 %240 to i32
  %242 = xor i32 %239, %241
  %243 = and i32 %242, 126
  %244 = icmp ne i32 %243, 0
  br i1 %244, label %275, label %245

245:                                              ; preds = %238
  %246 = load ptr, ptr %12, align 8, !tbaa !5
  %247 = icmp ne ptr %246, null
  br i1 %247, label %248, label %260

248:                                              ; preds = %245
  %249 = load ptr, ptr %12, align 8, !tbaa !5
  %250 = load ptr, ptr %16, align 8, !tbaa !5
  %251 = getelementptr inbounds %struct.MDBX_env, ptr %250, i32 0, i32 25
  %252 = load ptr, ptr %251, align 8, !tbaa !37
  %253 = load i64, ptr %18, align 8, !tbaa !32
  %254 = getelementptr inbounds %struct.kvx, ptr %252, i64 %253
  %255 = getelementptr inbounds %struct.kvx, ptr %254, i32 0, i32 0
  %256 = getelementptr inbounds %struct.clc2, ptr %255, i32 0, i32 0
  %257 = getelementptr inbounds %struct.clc, ptr %256, i32 0, i32 0
  %258 = load ptr, ptr %257, align 8, !tbaa !39
  %259 = icmp ne ptr %249, %258
  br i1 %259, label %275, label %260

260:                                              ; preds = %248, %245
  %261 = load ptr, ptr %13, align 8, !tbaa !5
  %262 = icmp ne ptr %261, null
  br i1 %262, label %263, label %276

263:                                              ; preds = %260
  %264 = load ptr, ptr %13, align 8, !tbaa !5
  %265 = load ptr, ptr %16, align 8, !tbaa !5
  %266 = getelementptr inbounds %struct.MDBX_env, ptr %265, i32 0, i32 25
  %267 = load ptr, ptr %266, align 8, !tbaa !37
  %268 = load i64, ptr %18, align 8, !tbaa !32
  %269 = getelementptr inbounds %struct.kvx, ptr %267, i64 %268
  %270 = getelementptr inbounds %struct.kvx, ptr %269, i32 0, i32 0
  %271 = getelementptr inbounds %struct.clc2, ptr %270, i32 0, i32 1
  %272 = getelementptr inbounds %struct.clc, ptr %271, i32 0, i32 0
  %273 = load ptr, ptr %272, align 8, !tbaa !43
  %274 = icmp ne ptr %264, %273
  br i1 %274, label %275, label %276

275:                                              ; preds = %263, %248, %238
  br label %476

276:                                              ; preds = %263, %260, %216
  %277 = load ptr, ptr %16, align 8, !tbaa !5
  %278 = getelementptr inbounds %struct.MDBX_env, ptr %277, i32 0, i32 27
  %279 = load ptr, ptr %278, align 8, !tbaa !35
  %280 = getelementptr inbounds %union.mdbx_atomic_uint32_t, ptr %279, i64 1
  %281 = call i32 @atomic_load32(ptr noundef %280, i32 noundef 1)
  store i32 %281, ptr %22, align 4, !tbaa !9
  %282 = load ptr, ptr %16, align 8, !tbaa !5
  %283 = getelementptr inbounds %struct.MDBX_env, ptr %282, i32 0, i32 25
  %284 = load ptr, ptr %283, align 8, !tbaa !37
  %285 = getelementptr inbounds %struct.kvx, ptr %284, i64 1
  %286 = getelementptr inbounds %struct.kvx, ptr %285, i32 0, i32 0
  %287 = getelementptr inbounds %struct.clc2, ptr %286, i32 0, i32 0
  %288 = getelementptr inbounds %struct.clc, ptr %287, i32 0, i32 0
  %289 = load ptr, ptr %288, align 8, !tbaa !39
  store ptr %289, ptr %23, align 8, !tbaa !5
  %290 = load i16, ptr %20, align 2, !tbaa !36
  %291 = zext i16 %290 to i32
  %292 = and i32 %291, 128
  %293 = icmp ne i32 %292, 0
  br i1 %293, label %294, label %306

294:                                              ; preds = %276
  %295 = getelementptr inbounds %struct.iovec, ptr %21, i32 0, i32 0
  %296 = load ptr, ptr %295, align 8, !tbaa !17
  %297 = icmp ne ptr %296, null
  br i1 %297, label %298, label %306

298:                                              ; preds = %294
  %299 = getelementptr inbounds %struct.iovec, ptr %21, i32 0, i32 1
  %300 = load i64, ptr %299, align 8, !tbaa !19
  %301 = icmp ne i64 %300, 0
  br i1 %301, label %302, label %306

302:                                              ; preds = %298
  %303 = load ptr, ptr %23, align 8, !tbaa !5
  %304 = icmp ne ptr %303, null
  %305 = xor i1 %304, true
  br label %306

306:                                              ; preds = %302, %298, %294, %276
  %307 = phi i1 [ true, %298 ], [ true, %294 ], [ true, %276 ], [ %305, %302 ]
  %308 = xor i1 %307, true
  %309 = xor i1 %308, true
  %310 = zext i1 %309 to i32
  %311 = sext i32 %310 to i64
  %312 = call i64 @llvm.expect.i64(i64 %311, i64 0)
  %313 = icmp ne i64 %312, 0
  br i1 %313, label %314, label %315

314:                                              ; preds = %306
  br label %476

315:                                              ; preds = %306
  %316 = load ptr, ptr %23, align 8, !tbaa !5
  %317 = load ptr, ptr %9, align 8, !tbaa !5
  %318 = call i32 %316(ptr noundef %21, ptr noundef %317)
  %319 = icmp eq i32 %318, 0
  %320 = zext i1 %319 to i8
  store i8 %320, ptr %24, align 1, !tbaa !44
  call void @osal_compiler_barrier()
  %321 = load i32, ptr %19, align 4, !tbaa !9
  %322 = load ptr, ptr %16, align 8, !tbaa !5
  %323 = getelementptr inbounds %struct.MDBX_env, ptr %322, i32 0, i32 27
  %324 = load ptr, ptr %323, align 8, !tbaa !35
  %325 = load i64, ptr %18, align 8, !tbaa !32
  %326 = getelementptr inbounds %union.mdbx_atomic_uint32_t, ptr %324, i64 %325
  %327 = call i32 @atomic_load32(ptr noundef %326, i32 noundef 1)
  %328 = icmp ne i32 %321, %327
  br i1 %328, label %372, label %329

329:                                              ; preds = %315
  %330 = load i32, ptr %22, align 4, !tbaa !9
  %331 = load ptr, ptr %16, align 8, !tbaa !5
  %332 = getelementptr inbounds %struct.MDBX_env, ptr %331, i32 0, i32 27
  %333 = load ptr, ptr %332, align 8, !tbaa !35
  %334 = getelementptr inbounds %union.mdbx_atomic_uint32_t, ptr %333, i64 1
  %335 = call i32 @atomic_load32(ptr noundef %334, i32 noundef 1)
  %336 = icmp ne i32 %330, %335
  br i1 %336, label %372, label %337

337:                                              ; preds = %329
  %338 = load i16, ptr %20, align 2, !tbaa !36
  %339 = zext i16 %338 to i32
  %340 = load ptr, ptr %16, align 8, !tbaa !5
  %341 = getelementptr inbounds %struct.MDBX_env, ptr %340, i32 0, i32 26
  %342 = load ptr, ptr %341, align 8, !tbaa !33
  %343 = load i64, ptr %18, align 8, !tbaa !32
  %344 = getelementptr inbounds i8, ptr %342, i64 %343
  %345 = load i8, ptr %344, align 1, !tbaa !34
  %346 = zext i8 %345 to i32
  %347 = icmp ne i32 %339, %346
  br i1 %347, label %372, label %348

348:                                              ; preds = %337
  %349 = getelementptr inbounds %struct.iovec, ptr %21, i32 0, i32 0
  %350 = load ptr, ptr %349, align 8, !tbaa !17
  %351 = load ptr, ptr %16, align 8, !tbaa !5
  %352 = getelementptr inbounds %struct.MDBX_env, ptr %351, i32 0, i32 25
  %353 = load ptr, ptr %352, align 8, !tbaa !37
  %354 = load i64, ptr %18, align 8, !tbaa !32
  %355 = getelementptr inbounds %struct.kvx, ptr %353, i64 %354
  %356 = getelementptr inbounds %struct.kvx, ptr %355, i32 0, i32 1
  %357 = getelementptr inbounds %struct.iovec, ptr %356, i32 0, i32 0
  %358 = load ptr, ptr %357, align 8, !tbaa !45
  %359 = icmp ne ptr %350, %358
  br i1 %359, label %372, label %360

360:                                              ; preds = %348
  %361 = getelementptr inbounds %struct.iovec, ptr %21, i32 0, i32 1
  %362 = load i64, ptr %361, align 8, !tbaa !19
  %363 = load ptr, ptr %16, align 8, !tbaa !5
  %364 = getelementptr inbounds %struct.MDBX_env, ptr %363, i32 0, i32 25
  %365 = load ptr, ptr %364, align 8, !tbaa !37
  %366 = load i64, ptr %18, align 8, !tbaa !32
  %367 = getelementptr inbounds %struct.kvx, ptr %365, i64 %366
  %368 = getelementptr inbounds %struct.kvx, ptr %367, i32 0, i32 1
  %369 = getelementptr inbounds %struct.iovec, ptr %368, i32 0, i32 1
  %370 = load i64, ptr %369, align 8, !tbaa !46
  %371 = icmp ne i64 %362, %370
  br label %372

372:                                              ; preds = %360, %348, %337, %329, %315
  %373 = phi i1 [ true, %348 ], [ true, %337 ], [ true, %329 ], [ true, %315 ], [ %371, %360 ]
  %374 = xor i1 %373, true
  %375 = xor i1 %374, true
  %376 = zext i1 %375 to i32
  %377 = sext i32 %376 to i64
  %378 = call i64 @llvm.expect.i64(i64 %377, i64 0)
  %379 = icmp ne i64 %378, 0
  br i1 %379, label %380, label %381

380:                                              ; preds = %372
  br label %204

381:                                              ; preds = %372
  %382 = load i8, ptr %24, align 1, !tbaa !44, !range !47, !noundef !48
  %383 = trunc i8 %382 to i1
  br i1 %383, label %384, label %475

384:                                              ; preds = %381
  %385 = load ptr, ptr %8, align 8, !tbaa !5
  %386 = load i64, ptr %18, align 8, !tbaa !32
  %387 = call i32 @dbi_check(ptr noundef %385, i64 noundef %386)
  store i32 %387, ptr %14, align 4, !tbaa !9
  %388 = load i32, ptr %14, align 4, !tbaa !9
  %389 = icmp eq i32 %388, -30780
  br i1 %389, label %390, label %444

390:                                              ; preds = %384
  %391 = load ptr, ptr %8, align 8, !tbaa !5
  %392 = getelementptr inbounds %struct.MDBX_txn, ptr %391, i32 0, i32 12
  %393 = load ptr, ptr %392, align 8, !tbaa !49
  %394 = load i64, ptr %18, align 8, !tbaa !32
  %395 = getelementptr inbounds i8, ptr %393, i64 %394
  %396 = load i8, ptr %395, align 1, !tbaa !34
  %397 = zext i8 %396 to i32
  %398 = icmp eq i32 %397, 192
  br i1 %398, label %399, label %444

399:                                              ; preds = %390
  br label %400

400:                                              ; preds = %399
  %401 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !50
  %402 = zext i8 %401 to i32
  %403 = and i32 %402, 1
  %404 = icmp ne i32 %403, 0
  %405 = xor i1 %404, true
  %406 = xor i1 %405, true
  %407 = zext i1 %406 to i32
  %408 = sext i32 %407 to i64
  %409 = call i64 @llvm.expect.i64(i64 %408, i64 1)
  %410 = icmp ne i64 %409, 0
  br i1 %410, label %411, label %433

411:                                              ; preds = %400
  br label %412

412:                                              ; preds = %411
  %413 = load ptr, ptr %8, align 8, !tbaa !5
  %414 = getelementptr inbounds %struct.MDBX_txn, ptr %413, i32 0, i32 14
  %415 = load ptr, ptr %414, align 8, !tbaa !52
  %416 = load i64, ptr %18, align 8, !tbaa !32
  %417 = getelementptr inbounds ptr, ptr %415, i64 %416
  %418 = load ptr, ptr %417, align 8, !tbaa !5
  %419 = icmp ne ptr %418, null
  %420 = xor i1 %419, true
  %421 = xor i1 %420, true
  %422 = xor i1 %421, true
  %423 = xor i1 %422, true
  %424 = zext i1 %423 to i32
  %425 = sext i32 %424 to i64
  %426 = call i64 @llvm.expect.i64(i64 %425, i64 0)
  %427 = icmp ne i64 %426, 0
  br i1 %427, label %428, label %430

428:                                              ; preds = %412
  %429 = load ptr, ptr %16, align 8, !tbaa !5
  call void @mdbx_assert_fail(ptr noundef %429, ptr noundef @.str.28, ptr noundef @__func__.dbi_open, i32 noundef 565) #9
  unreachable

430:                                              ; preds = %412
  br label %431

431:                                              ; preds = %430
  br label %432

432:                                              ; preds = %431
  br label %433

433:                                              ; preds = %432, %400
  br label %434

434:                                              ; preds = %433
  br label %435

435:                                              ; preds = %434
  %436 = load ptr, ptr %8, align 8, !tbaa !5
  %437 = getelementptr inbounds %struct.MDBX_txn, ptr %436, i32 0, i32 12
  %438 = load ptr, ptr %437, align 8, !tbaa !49
  %439 = load i64, ptr %18, align 8, !tbaa !32
  %440 = getelementptr inbounds i8, ptr %438, i64 %439
  store i8 -128, ptr %440, align 1, !tbaa !34
  %441 = load ptr, ptr %8, align 8, !tbaa !5
  %442 = load i64, ptr %18, align 8, !tbaa !32
  %443 = call i32 @dbi_check(ptr noundef %441, i64 noundef %442)
  store i32 %443, ptr %14, align 4, !tbaa !9
  br label %444

444:                                              ; preds = %435, %390, %384
  %445 = load i32, ptr %14, align 4, !tbaa !9
  %446 = icmp eq i32 %445, 0
  %447 = xor i1 %446, true
  %448 = xor i1 %447, true
  %449 = zext i1 %448 to i32
  %450 = sext i32 %449 to i64
  %451 = call i64 @llvm.expect.i64(i64 %450, i64 1)
  %452 = icmp ne i64 %451, 0
  br i1 %452, label %453, label %473

453:                                              ; preds = %444
  %454 = load ptr, ptr %8, align 8, !tbaa !5
  %455 = load i64, ptr %18, align 8, !tbaa !32
  %456 = load i32, ptr %10, align 4, !tbaa !9
  %457 = load ptr, ptr %12, align 8, !tbaa !5
  %458 = load ptr, ptr %13, align 8, !tbaa !5
  %459 = call i32 @dbi_bind(ptr noundef %454, i64 noundef %455, i32 noundef %456, ptr noundef %457, ptr noundef %458)
  store i32 %459, ptr %14, align 4, !tbaa !9
  %460 = load i32, ptr %14, align 4, !tbaa !9
  %461 = icmp eq i32 %460, 0
  %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 1)
  %467 = icmp ne i64 %466, 0
  br i1 %467, label %468, label %472

468:                                              ; preds = %453
  %469 = load i64, ptr %18, align 8, !tbaa !32
  %470 = trunc i64 %469 to i32
  %471 = load ptr, ptr %11, align 8, !tbaa !5
  store i32 %470, ptr %471, align 4, !tbaa !9
  br label %472

472:                                              ; preds = %468, %453
  br label %473

473:                                              ; preds = %472, %444
  %474 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %474, ptr %7, align 4
  store i32 1, ptr %15, align 4
  br label %479

475:                                              ; preds = %381
  br label %476

476:                                              ; preds = %475, %314, %275, %214
  %477 = load i64, ptr %18, align 8, !tbaa !32
  %478 = add i64 %477, 1
  store i64 %478, ptr %18, align 8, !tbaa !32
  br label %195, !llvm.loop !53

479:                                              ; preds = %473, %202
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #8
  %480 = load i32, ptr %15, align 4
  switch i32 %480, label %540 [
    i32 2, label %481
  ]

481:                                              ; preds = %479
  %482 = load i64, ptr %17, align 8, !tbaa !32
  %483 = load ptr, ptr %16, align 8, !tbaa !5
  %484 = getelementptr inbounds %struct.MDBX_env, ptr %483, i32 0, i32 19
  %485 = load i32, ptr %484, align 8, !tbaa !55
  %486 = zext i32 %485 to i64
  %487 = icmp uge i64 %482, %486
  %488 = xor i1 %487, true
  %489 = xor i1 %488, true
  %490 = zext i1 %489 to i32
  %491 = sext i32 %490 to i64
  %492 = call i64 @llvm.expect.i64(i64 %491, i64 0)
  %493 = icmp ne i64 %492, 0
  br i1 %493, label %494, label %495

494:                                              ; preds = %481
  store i32 -30791, ptr %7, align 4
  store i32 1, ptr %15, align 4
  br label %540

495:                                              ; preds = %481
  %496 = load ptr, ptr %8, align 8, !tbaa !5
  %497 = getelementptr inbounds %struct.MDBX_txn, ptr %496, i32 0, i32 9
  %498 = load ptr, ptr %497, align 8, !tbaa !20
  %499 = getelementptr inbounds %struct.MDBX_env, ptr %498, i32 0, i32 41
  %500 = call i32 @osal_fastmutex_acquire(ptr noundef %499)
  store i32 %500, ptr %14, align 4, !tbaa !9
  %501 = load i32, ptr %14, align 4, !tbaa !9
  %502 = icmp eq i32 %501, 0
  %503 = xor i1 %502, true
  %504 = xor i1 %503, true
  %505 = zext i1 %504 to i32
  %506 = sext i32 %505 to i64
  %507 = call i64 @llvm.expect.i64(i64 %506, i64 1)
  %508 = icmp ne i64 %507, 0
  br i1 %508, label %509, label %538

509:                                              ; preds = %495
  %510 = load ptr, ptr %8, align 8, !tbaa !5
  %511 = load i32, ptr %10, align 4, !tbaa !9
  %512 = load ptr, ptr %11, align 8, !tbaa !5
  %513 = load ptr, ptr %12, align 8, !tbaa !5
  %514 = load ptr, ptr %13, align 8, !tbaa !5
  %515 = load ptr, ptr %9, align 8, !tbaa !5
  %516 = call i32 @dbi_open_locked(ptr noundef %510, i32 noundef %511, ptr noundef %512, ptr noundef %513, ptr noundef %514, ptr noundef byval(%struct.iovec) align 8 %515)
  store i32 %516, ptr %14, align 4, !tbaa !9
  br label %517

517:                                              ; preds = %509
  %518 = load ptr, ptr %8, align 8, !tbaa !5
  %519 = getelementptr inbounds %struct.MDBX_txn, ptr %518, i32 0, i32 9
  %520 = load ptr, ptr %519, align 8, !tbaa !20
  %521 = getelementptr inbounds %struct.MDBX_env, ptr %520, i32 0, i32 41
  %522 = call i32 @osal_fastmutex_release(ptr noundef %521)
  %523 = icmp eq i32 %522, 0
  %524 = xor i1 %523, true
  %525 = xor i1 %524, true
  %526 = xor i1 %525, true
  %527 = zext i1 %526 to i32
  %528 = sext i32 %527 to i64
  %529 = call i64 @llvm.expect.i64(i64 %528, i64 0)
  %530 = icmp ne i64 %529, 0
  br i1 %530, label %531, label %535

531:                                              ; preds = %517
  %532 = load ptr, ptr %8, align 8, !tbaa !5
  %533 = getelementptr inbounds %struct.MDBX_txn, ptr %532, i32 0, i32 9
  %534 = load ptr, ptr %533, align 8, !tbaa !20
  call void @mdbx_assert_fail(ptr noundef %534, ptr noundef @.str.29, ptr noundef @__func__.dbi_open, i32 noundef 586) #9
  unreachable

535:                                              ; preds = %517
  br label %536

536:                                              ; preds = %535
  br label %537

537:                                              ; preds = %536
  br label %538

538:                                              ; preds = %537, %495
  %539 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %539, ptr %7, align 4
  store i32 1, ptr %15, align 4
  br label %540

540:                                              ; preds = %538, %494, %479
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #8
  br label %541

541:                                              ; preds = %540, %186, %165, %147, %113, %80, %62
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #8
  br label %542

542:                                              ; preds = %541, %50, %34
  %543 = load i32, ptr %7, align 4
  ret i32 %543
}

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i1 @check_table_flags(i32 noundef) #4

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

; Function Attrs: nounwind uwtable
declare hidden i32 @dbi_open_locked(ptr noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef byval(%struct.iovec) align 8) #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 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { alwaysinline nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { 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 #5 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #6 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { nounwind 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 #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 = !{!"int", !7, i64 0}
!11 = !{!12, !10, i64 4}
!12 = !{!"MDBX_txn", !10, i64 0, !10, i64 4, !13, i64 8, !13, i64 16, !6, i64 24, !6, i64 32, !14, i64 40, !13, i64 64, !13, 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 = !{!"long", !7, i64 0}
!14 = !{!"geo", !15, i64 0, !15, i64 2, !10, i64 4, !10, i64 8, !7, i64 12, !7, i64 16}
!15 = !{!"short", !7, i64 0}
!16 = !{!"MDBX_canary", !13, i64 0, !13, i64 8, !13, i64 16, !13, i64 24}
!17 = !{!18, !6, i64 0}
!18 = !{!"iovec", !6, i64 0, !13, i64 8}
!19 = !{!18, !13, i64 8}
!20 = !{!12, !6, i64 80}
!21 = !{!22, !15, i64 112}
!22 = !{!"MDBX_env", !7, i64 0, !10, i64 4, !10, i64 8, !23, i64 16, !10, i64 56, !10, i64 60, !23, 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, !10, i64 132, !10, i64 136, !10, i64 140, !10, i64 144, !24, 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, !13, i64 256, !25, i64 264, !28, i64 320, !26, i64 360, !6, i64 368, !6, i64 376, !6, i64 384, !29, i64 392, !7, i64 400, !10, i64 440, !10, i64 444, !6, i64 448, !30, i64 456, !7, i64 496, !7, i64 536}
!23 = !{!"osal_mmap", !7, i64 0, !10, i64 8, !13, i64 16, !13, i64 24, !13, i64 32}
!24 = !{!"", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!25 = !{!"", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !13, i64 16, !7, i64 24, !7, i64 25, !7, i64 26, !7, i64 27, !10, i64 28, !10, i64 32, !26, i64 36, !26, i64 37, !26, i64 38, !27, i64 40, !7, i64 48}
!26 = !{!"_Bool", !7, i64 0}
!27 = !{!"", !15, i64 0, !15, i64 2, !15, i64 4, !15, i64 6}
!28 = !{!"", !13, i64 0, !13, i64 8, !13, i64 16, !13, i64 24, !13, i64 32}
!29 = !{!"", !13, i64 0}
!30 = !{!"osal_ioring", !10, i64 0, !10, i64 4, !10, i64 8, !6, i64 16, !6, i64 24, !6, i64 32}
!31 = !{!22, !10, i64 440}
!32 = !{!13, !13, i64 0}
!33 = !{!22, !6, i64 208}
!34 = !{!7, !7, i64 0}
!35 = !{!22, !6, i64 216}
!36 = !{!15, !15, i64 0}
!37 = !{!22, !6, i64 200}
!38 = !{i64 0, i64 8, !5, i64 8, i64 8, !32}
!39 = !{!40, !6, i64 0}
!40 = !{!"kvx", !41, i64 0, !18, i64 48}
!41 = !{!"clc2", !42, i64 0, !42, i64 24}
!42 = !{!"clc", !6, i64 0, !13, i64 8, !13, i64 16}
!43 = !{!40, !6, i64 24}
!44 = !{!26, !26, i64 0}
!45 = !{!40, !6, i64 48}
!46 = !{!40, !13, i64 56}
!47 = !{i8 0, i8 2}
!48 = !{}
!49 = !{!12, !6, i64 104}
!50 = !{!51, !7, i64 25}
!51 = !{!"libmdbx_globals", !7, i64 0, !10, i64 16, !10, i64 20, !7, i64 24, !7, i64 25, !7, i64 26, !26, i64 27, !10, i64 28, !7, i64 32, !7, i64 40, !13, i64 80, !6, i64 88}
!52 = !{!12, !6, i64 120}
!53 = distinct !{!53, !54}
!54 = !{!"llvm.loop.mustprogress"}
!55 = !{!22, !10, i64 136}


; 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.iovec = type { ptr, i64 }
%union.mdbx_atomic_uint32_t = type { i32 }
%struct.kvx = type { %struct.clc2, %struct.iovec }
%struct.clc2 = type { %struct.clc, %struct.clc }
%struct.clc = type { ptr, i64, i64 }

@globals = external local_unnamed_addr global %struct.libmdbx_globals, align 8
@.str.28 = external hidden unnamed_addr constant [17 x i8], align 1
@__func__.dbi_open = external hidden unnamed_addr constant [9 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [60 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: alwaysinline nounwind uwtable
declare hidden i32 @atomic_load32(ptr noundef, i32 noundef) local_unnamed_addr #1

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

; 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) #3

declare i32 @osal_fastmutex_release(ptr noundef) local_unnamed_addr #4

declare i32 @osal_fastmutex_acquire(ptr noundef) local_unnamed_addr #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @osal_compiler_barrier() local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local i32 @dbi_bind(ptr noundef, i64 noundef, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #5

; Function Attrs: nounwind uwtable
define dso_local i32 @dbi_open(ptr noundef %0, ptr noundef %1, i32 noundef %2, ptr noundef %3, ptr noundef %4, ptr noundef %5) local_unnamed_addr #5 {
  %7 = alloca %struct.iovec, align 8
  %.not = icmp eq ptr %3, null
  br i1 %.not, label %.critedge162, label %8, !prof !5

8:                                                ; preds = %6
  store i32 0, ptr %3, align 4, !tbaa !6
  %.not136 = icmp eq i32 %2, 1073741824
  br i1 %.not136, label %12, label %9

9:                                                ; preds = %8
  %10 = and i32 %2, -262145
  %11 = tail call zeroext i1 @check_table_flags(i32 noundef %10)
  br i1 %11, label %12, label %.critedge162, !prof !10

12:                                               ; preds = %9, %8
  %13 = tail call i32 @check_txn(ptr noundef %0, i32 noundef 51)
  %.not137 = icmp eq i32 %13, 0
  br i1 %.not137, label %14, label %.critedge162, !prof !10

14:                                               ; preds = %12
  %15 = and i32 %2, 262144
  %.not138 = icmp eq i32 %15, 0
  br i1 %.not138, label %20, label %16

16:                                               ; preds = %14
  %17 = getelementptr inbounds i8, ptr %0, i64 4
  %18 = load i32, ptr %17, align 4, !tbaa !11
  %19 = and i32 %18, 131072
  %.not139 = icmp eq i32 %19, 0
  br i1 %.not139, label %20, label %.critedge162, !prof !10

20:                                               ; preds = %16, %14
  %21 = icmp eq ptr %1, null
  br i1 %21, label %.critedge, label %22, !prof !5

22:                                               ; preds = %20
  %23 = load ptr, ptr %1, align 8, !tbaa !18
  %24 = icmp eq ptr %23, null
  br i1 %24, label %.critedge, label %27, !prof !5

.critedge:                                        ; preds = %20, %22
  %25 = tail call i32 @dbi_bind(ptr noundef %0, i64 noundef 1, i32 noundef %2, ptr noundef %4, ptr noundef %5)
  %26 = icmp eq i32 %25, 0
  br i1 %26, label %.critedge162.sink.split, label %.critedge162, !prof !10

27:                                               ; preds = %22
  %28 = icmp eq ptr %1, inttoptr (i64 -1 to ptr)
  %29 = icmp eq ptr %23, inttoptr (i64 -1 to ptr)
  %or.cond = or i1 %28, %29
  br i1 %or.cond, label %.critedge160, label %32, !prof !20

.critedge160:                                     ; preds = %27
  %30 = tail call i32 @dbi_bind(ptr noundef %0, i64 noundef 0, i32 noundef %2, ptr noundef %4, ptr noundef %5)
  %31 = icmp eq i32 %30, 0
  br i1 %31, label %.critedge162.sink.split, label %.critedge162, !prof !10

32:                                               ; preds = %27
  %33 = icmp eq ptr %1, inttoptr (i64 -2 to ptr)
  %34 = icmp eq ptr %23, inttoptr (i64 -2 to ptr)
  %or.cond168 = or i1 %33, %34
  br i1 %or.cond168, label %.critedge162, label %35, !prof !20

35:                                               ; preds = %32
  %36 = getelementptr inbounds i8, ptr %1, i64 8
  %37 = load i64, ptr %36, align 8, !tbaa !21
  %38 = getelementptr inbounds i8, ptr %0, i64 80
  %39 = load ptr, ptr %38, align 8, !tbaa !22
  %40 = getelementptr inbounds i8, ptr %39, i64 112
  %41 = load i16, ptr %40, align 8, !tbaa !23
  %42 = zext i16 %41 to i64
  %43 = add nuw nsw i64 %42, 4294967288
  %44 = and i64 %43, 4294967295
  %45 = add nsw i64 %44, -48
  %46 = icmp ugt i64 %37, %45
  br i1 %46, label %.critedge162, label %47, !prof !5

47:                                               ; preds = %35
  %48 = getelementptr inbounds i8, ptr %39, i64 440
  %49 = load i32, ptr %48, align 8, !tbaa !33
  %50 = zext i32 %49 to i64
  %.not156182 = icmp ugt i32 %49, 2
  br i1 %.not156182, label %.preheader.lr.ph, label %.thread166

.preheader.lr.ph:                                 ; preds = %47
  %51 = getelementptr inbounds i8, ptr %39, i64 208
  %52 = getelementptr inbounds i8, ptr %39, i64 216
  %53 = getelementptr inbounds i8, ptr %39, i64 200
  %.not141 = icmp eq ptr %4, null
  %.not143 = icmp eq ptr %5, null
  %54 = getelementptr inbounds i8, ptr %7, i64 8
  br label %.preheader

.preheader:                                       ; preds = %.preheader.lr.ph, %.loopexit
  %.0120185 = phi i64 [ %50, %.preheader.lr.ph ], [ %.1121, %.loopexit ]
  %.0122183 = phi i64 [ 2, %.preheader.lr.ph ], [ %146, %.loopexit ]
  %55 = load ptr, ptr %51, align 8, !tbaa !34
  %56 = getelementptr inbounds i8, ptr %55, i64 %.0122183
  %57 = load i8, ptr %56, align 1, !tbaa !35
  %58 = icmp sgt i8 %57, -1
  br i1 %58, label %.loopexit, label %.lr.ph

.lr.ph:                                           ; preds = %.preheader, %.backedge
  %59 = load ptr, ptr %52, align 8, !tbaa !36
  %60 = getelementptr inbounds %union.mdbx_atomic_uint32_t, ptr %59, i64 %.0122183
  %61 = call i32 @atomic_load32(ptr noundef nonnull %60, i32 noundef 1)
  %62 = load ptr, ptr %51, align 8, !tbaa !34
  %63 = getelementptr inbounds i8, ptr %62, i64 %.0122183
  %64 = load i8, ptr %63, align 1, !tbaa !35
  %65 = load ptr, ptr %53, align 8, !tbaa !37
  %66 = getelementptr inbounds %struct.kvx, ptr %65, i64 %.0122183, i32 1
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %7, ptr noundef nonnull align 8 dereferenceable(16) %66, i64 16, i1 false), !tbaa.struct !38
  br i1 %.not136, label %79, label %67

67:                                               ; preds = %.lr.ph
  %68 = zext i8 %64 to i32
  %69 = xor i32 %68, %2
  %70 = and i32 %69, 126
  %.not140 = icmp eq i32 %70, 0
  br i1 %.not140, label %71, label %.loopexit

71:                                               ; preds = %67
  br i1 %.not141, label %75, label %72

72:                                               ; preds = %71
  %73 = getelementptr inbounds %struct.kvx, ptr %65, i64 %.0122183
  %74 = load ptr, ptr %73, align 8, !tbaa !41
  %.not142 = icmp eq ptr %74, %4
  br i1 %.not142, label %75, label %.loopexit

75:                                               ; preds = %72, %71
  br i1 %.not143, label %79, label %76

76:                                               ; preds = %75
  %77 = getelementptr inbounds %struct.kvx, ptr %65, i64 %.0122183, i32 0, i32 1
  %78 = load ptr, ptr %77, align 8, !tbaa !45
  %.not144 = icmp eq ptr %78, %5
  br i1 %.not144, label %79, label %.loopexit

79:                                               ; preds = %76, %75, %.lr.ph
  %80 = load ptr, ptr %52, align 8, !tbaa !36
  %81 = getelementptr inbounds i8, ptr %80, i64 4
  %82 = call i32 @atomic_load32(ptr noundef nonnull %81, i32 noundef 1)
  %83 = load ptr, ptr %53, align 8, !tbaa !37
  %84 = getelementptr inbounds i8, ptr %83, i64 64
  %85 = load ptr, ptr %84, align 8, !tbaa !41
  %86 = icmp sgt i8 %64, -1
  %87 = load ptr, ptr %7, align 8
  %88 = icmp eq ptr %87, null
  %or.cond.not149 = select i1 %86, i1 true, i1 %88
  %89 = load i64, ptr %54, align 8
  %90 = icmp eq i64 %89, 0
  %or.cond5.not = select i1 %or.cond.not149, i1 true, i1 %90
  %.not145 = icmp eq ptr %85, null
  %91 = select i1 %or.cond5.not, i1 true, i1 %.not145
  br i1 %91, label %.loopexit, label %92, !prof !5

92:                                               ; preds = %79
  %93 = call i32 %85(ptr noundef nonnull %7, ptr noundef nonnull %1) #6
  call void @osal_compiler_barrier()
  %94 = load ptr, ptr %52, align 8, !tbaa !36
  %95 = getelementptr inbounds %union.mdbx_atomic_uint32_t, ptr %94, i64 %.0122183
  %96 = call i32 @atomic_load32(ptr noundef nonnull %95, i32 noundef 1)
  %.not150 = icmp eq i32 %61, %96
  br i1 %.not150, label %97, label %..backedge_crit_edge, !prof !10

..backedge_crit_edge:                             ; preds = %92
  %.pre = load ptr, ptr %51, align 8, !tbaa !34
  br label %.backedge

97:                                               ; preds = %92
  %98 = load ptr, ptr %52, align 8, !tbaa !36
  %99 = getelementptr inbounds i8, ptr %98, i64 4
  %100 = call i32 @atomic_load32(ptr noundef nonnull %99, i32 noundef 1)
  %.not151 = icmp eq i32 %82, %100
  %.pre187 = load ptr, ptr %51, align 8, !tbaa !34
  br i1 %.not151, label %101, label %.backedge, !prof !10

101:                                              ; preds = %97
  %102 = getelementptr inbounds i8, ptr %.pre187, i64 %.0122183
  %103 = load i8, ptr %102, align 1, !tbaa !35
  %.not152 = icmp eq i8 %64, %103
  br i1 %.not152, label %104, label %.backedge, !prof !10

104:                                              ; preds = %101
  %105 = load ptr, ptr %7, align 8, !tbaa !18
  %106 = load ptr, ptr %53, align 8, !tbaa !37
  %107 = getelementptr inbounds %struct.kvx, ptr %106, i64 %.0122183, i32 1
  %108 = load ptr, ptr %107, align 8, !tbaa !46
  %.not153 = icmp eq ptr %105, %108
  br i1 %.not153, label %109, label %.backedge, !prof !10

109:                                              ; preds = %104
  %110 = load i64, ptr %54, align 8, !tbaa !21
  %111 = getelementptr inbounds i8, ptr %107, i64 8
  %112 = load i64, ptr %111, align 8, !tbaa !47
  %.not169 = icmp eq i64 %110, %112
  br i1 %.not169, label %117, label %.backedge, !prof !10

.backedge:                                        ; preds = %..backedge_crit_edge, %104, %101, %97, %109
  %113 = phi ptr [ %.pre, %..backedge_crit_edge ], [ %.pre187, %104 ], [ %.pre187, %101 ], [ %.pre187, %97 ], [ %.pre187, %109 ]
  %114 = getelementptr inbounds i8, ptr %113, i64 %.0122183
  %115 = load i8, ptr %114, align 1, !tbaa !35
  %116 = icmp sgt i8 %115, -1
  br i1 %116, label %.loopexit, label %.lr.ph

117:                                              ; preds = %109
  %118 = icmp eq i32 %93, 0
  br i1 %118, label %119, label %.loopexit

119:                                              ; preds = %117
  %120 = call i32 @dbi_check(ptr noundef %0, i64 noundef %.0122183)
  %121 = icmp eq i32 %120, -30780
  br i1 %121, label %122, label %139

122:                                              ; preds = %119
  %123 = getelementptr inbounds i8, ptr %0, i64 104
  %124 = load ptr, ptr %123, align 8, !tbaa !48
  %125 = getelementptr inbounds i8, ptr %124, i64 %.0122183
  %126 = load i8, ptr %125, align 1, !tbaa !35
  %127 = icmp eq i8 %126, -64
  br i1 %127, label %128, label %.critedge162

128:                                              ; preds = %122
  %129 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !49
  %130 = and i8 %129, 1
  %.not154 = icmp eq i8 %130, 0
  br i1 %.not154, label %137, label %131, !prof !5

131:                                              ; preds = %128
  %132 = getelementptr inbounds i8, ptr %0, i64 120
  %133 = load ptr, ptr %132, align 8, !tbaa !51
  %134 = getelementptr inbounds ptr, ptr %133, i64 %.0122183
  %135 = load ptr, ptr %134, align 8, !tbaa !39
  %.not155 = icmp eq ptr %135, null
  br i1 %.not155, label %137, label %136, !prof !10

136:                                              ; preds = %131
  call void @mdbx_assert_fail(ptr noundef nonnull %39, ptr noundef nonnull @.str.28, ptr noundef nonnull @__func__.dbi_open, i32 noundef 565) #7
  unreachable

137:                                              ; preds = %131, %128
  store i8 -128, ptr %125, align 1, !tbaa !35
  %138 = call i32 @dbi_check(ptr noundef nonnull %0, i64 noundef %.0122183)
  br label %139

139:                                              ; preds = %137, %119
  %.0116 = phi i32 [ %138, %137 ], [ %120, %119 ]
  %140 = icmp eq i32 %.0116, 0
  br i1 %140, label %141, label %.critedge162, !prof !52

141:                                              ; preds = %139
  %142 = call i32 @dbi_bind(ptr noundef %0, i64 noundef %.0122183, i32 noundef %2, ptr noundef %4, ptr noundef %5)
  %143 = icmp eq i32 %142, 0
  br i1 %143, label %144, label %.critedge162, !prof !10

144:                                              ; preds = %141
  %145 = trunc i64 %.0122183 to i32
  br label %.critedge162.sink.split

.loopexit:                                        ; preds = %76, %72, %67, %79, %.backedge, %.preheader, %117
  %.1121 = phi i64 [ %.0120185, %117 ], [ %.0122183, %.preheader ], [ %.0120185, %76 ], [ %.0120185, %72 ], [ %.0120185, %67 ], [ %.0120185, %79 ], [ %.0122183, %.backedge ]
  %146 = add nuw nsw i64 %.0122183, 1
  %147 = load i32, ptr %48, align 8, !tbaa !33
  %148 = zext i32 %147 to i64
  %.not156 = icmp ult i64 %146, %148
  br i1 %.not156, label %.preheader, label %.thread166, !llvm.loop !53

.thread166:                                       ; preds = %.loopexit, %47
  %.0120.lcssa = phi i64 [ %50, %47 ], [ %.1121, %.loopexit ]
  %149 = getelementptr inbounds i8, ptr %39, i64 136
  %150 = load i32, ptr %149, align 8, !tbaa !55
  %151 = zext i32 %150 to i64
  %.not157 = icmp ult i64 %.0120.lcssa, %151
  br i1 %.not157, label %152, label %.critedge162, !prof !10

152:                                              ; preds = %.thread166
  %153 = load ptr, ptr %38, align 8, !tbaa !22
  %154 = getelementptr inbounds i8, ptr %153, i64 400
  %155 = call i32 @osal_fastmutex_acquire(ptr noundef nonnull %154) #6
  %156 = icmp eq i32 %155, 0
  br i1 %156, label %157, label %.critedge162, !prof !10

157:                                              ; preds = %152
  %158 = call i32 @dbi_open_locked(ptr noundef nonnull %0, i32 noundef %2, ptr noundef nonnull %3, ptr noundef %4, ptr noundef %5, ptr noundef nonnull byval(%struct.iovec) align 8 %1)
  %159 = load ptr, ptr %38, align 8, !tbaa !22
  %160 = getelementptr inbounds i8, ptr %159, i64 400
  %161 = call i32 @osal_fastmutex_release(ptr noundef nonnull %160) #6
  %.not158 = icmp eq i32 %161, 0
  br i1 %.not158, label %.critedge162, label %162, !prof !10

162:                                              ; preds = %157
  %163 = load ptr, ptr %38, align 8, !tbaa !22
  call void @mdbx_assert_fail(ptr noundef %163, ptr noundef nonnull @.str.29, ptr noundef nonnull @__func__.dbi_open, i32 noundef 586) #7
  unreachable

.critedge162.sink.split:                          ; preds = %.critedge160, %.critedge, %144
  %.sink = phi i32 [ %145, %144 ], [ 1, %.critedge ], [ 0, %.critedge160 ]
  store i32 %.sink, ptr %3, align 4, !tbaa !6
  br label %.critedge162

.critedge162:                                     ; preds = %.critedge162.sink.split, %141, %139, %122, %32, %12, %16, %.critedge, %.critedge160, %35, %152, %157, %.thread166, %9, %6
  %.3 = phi i32 [ 22, %6 ], [ 22, %9 ], [ %13, %12 ], [ 13, %16 ], [ %25, %.critedge ], [ %30, %.critedge160 ], [ 22, %35 ], [ -30791, %.thread166 ], [ %158, %157 ], [ %155, %152 ], [ 22, %32 ], [ %142, %141 ], [ %.0116, %139 ], [ -30780, %122 ], [ 0, %.critedge162.sink.split ]
  ret i32 %.3
}

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i1 @check_table_flags(i32 noundef) local_unnamed_addr #2

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

; Function Attrs: nounwind uwtable
declare hidden i32 @dbi_open_locked(ptr noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef byval(%struct.iovec) align 8) local_unnamed_addr #5

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


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