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

; 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.14 }
%struct.anon.14 = 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.1 }
%struct.geo = type { i16, i16, i32, i32, %union.anon, %union.anon.0 }
%union.anon = type { i32 }
%union.anon.0 = type { i32 }
%struct.MDBX_canary = type { i64, i64, i64, i64 }
%union.anon.1 = type { %struct.anon.2 }
%struct.anon.2 = type { %struct.troika, ptr, %struct.anon.3, i8, i32, i32, i64, ptr, ptr, ptr, i64, %union.anon.4 }
%struct.troika = type { i8, i8, i8, i8, i32, [3 x i64] }
%struct.anon.3 = type { %struct.MDBX_rkl, i64, %struct.MDBX_rkl }
%struct.MDBX_rkl = type { i64, i64, i32, i32, ptr, [12 x i64] }
%union.anon.4 = type { %struct.anon.5 }
%struct.anon.5 = 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.7, ptr, ptr, ptr, ptr, ptr, i32, i32, i32, ptr, ptr, i64, %struct.anon.8, %struct.anon.12, i8, ptr, ptr, ptr, %struct.anon.13, %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.6, i32, i64, i64, i64 }
%union.anon.6 = type { ptr }
%union.mdbx_atomic_uint32_t = type { i32 }
%struct.anon.7 = type { ptr, ptr, ptr, ptr }
%struct.anon.8 = type { i32, i32, i32, i32, i64, i8, i8, i8, i8, i32, i32, i8, i8, i8, %struct.anon.9, %union.anon.10 }
%struct.anon.9 = type { i16, i16, i16, i16 }
%union.anon.10 = type { i32 }
%struct.anon.12 = type { i64, i64, i64, i64, i64 }
%struct.anon.13 = type { i64 }
%struct.osal_ioring = type { i32, i32, i32, ptr, ptr, ptr }
%union.mdbx_atomic_uint64_t = type { i64 }
%struct.dpl = type { i64, i64, i64, i64, [18 x %struct.dp] }
%struct.dp = type { ptr, i32, i32 }
%struct.page = type <{ i64, i16, i16, %union.anon.16, i32, [0 x i16] }>
%union.anon.16 = type { i32 }

@__func__.txn_nested_create = external hidden unnamed_addr constant [18 x i8], align 1
@globals = external global %struct.libmdbx_globals, align 8
@.str = external hidden unnamed_addr constant [30 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [59 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [101 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [135 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [120 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [33 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local i32 @txn_nested_create(ptr noundef %0, i32 noundef %1) #0 {
  %3 = alloca i32, align 4
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca ptr, align 8
  %9 = alloca i32, align 4
  %10 = alloca i64, align 8
  %11 = alloca ptr, align 8
  store ptr %0, ptr %4, align 8, !tbaa !5
  store i32 %1, ptr %5, align 4, !tbaa !9
  %12 = load ptr, ptr %4, align 8, !tbaa !5
  %13 = getelementptr inbounds %struct.MDBX_txn, ptr %12, i32 0, i32 9
  %14 = load ptr, ptr %13, align 8, !tbaa !11
  %15 = getelementptr inbounds %struct.MDBX_env, ptr %14, i32 0, i32 34
  %16 = getelementptr inbounds %struct.anon.8, ptr %15, i32 0, i32 8
  %17 = load i8, ptr %16, align 1, !tbaa !17
  %18 = icmp ne i8 %17, 0
  br i1 %18, label %19, label %51

19:                                               ; preds = %2
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #9
  %20 = load ptr, ptr %4, align 8, !tbaa !5
  %21 = load ptr, ptr %4, align 8, !tbaa !5
  %22 = getelementptr inbounds %struct.MDBX_txn, ptr %21, i32 0, i32 17
  %23 = getelementptr inbounds %struct.anon.2, ptr %22, i32 0, i32 7
  %24 = load ptr, ptr %23, align 8, !tbaa !27
  %25 = getelementptr inbounds %struct.dpl, ptr %24, i32 0, i32 1
  %26 = load i64, ptr %25, align 8, !tbaa !28
  %27 = load ptr, ptr %4, align 8, !tbaa !5
  %28 = getelementptr inbounds %struct.MDBX_txn, ptr %27, i32 0, i32 9
  %29 = load ptr, ptr %28, align 8, !tbaa !11
  %30 = getelementptr inbounds %struct.MDBX_env, ptr %29, i32 0, i32 34
  %31 = getelementptr inbounds %struct.anon.8, ptr %30, i32 0, i32 8
  %32 = load i8, ptr %31, align 1, !tbaa !17
  %33 = zext i8 %32 to i64
  %34 = udiv i64 %26, %33
  %35 = call i32 @txn_spill(ptr noundef %20, ptr noundef null, i64 noundef %34)
  store i32 %35, ptr %6, align 4, !tbaa !9
  %36 = load i32, ptr %6, align 4, !tbaa !9
  %37 = icmp ne i32 %36, 0
  %38 = xor i1 %37, true
  %39 = xor i1 %38, true
  %40 = zext i1 %39 to i32
  %41 = sext i32 %40 to i64
  %42 = call i64 @llvm.expect.i64(i64 %41, i64 0)
  %43 = icmp ne i64 %42, 0
  br i1 %43, label %44, label %47

44:                                               ; preds = %19
  %45 = load i32, ptr %6, align 4, !tbaa !9
  %46 = call i32 @log_if_error(i32 noundef %45, ptr noundef @__func__.txn_nested_create, i32 noundef 342)
  store i32 %46, ptr %3, align 4
  store i32 1, ptr %7, align 4
  br label %48

47:                                               ; preds = %19
  store i32 0, ptr %7, align 4
  br label %48

48:                                               ; preds = %47, %44
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #9
  %49 = load i32, ptr %7, align 4
  switch i32 %49, label %806 [
    i32 0, label %50
    i32 1, label %804
  ]

50:                                               ; preds = %48
  br label %51

51:                                               ; preds = %50, %2
  br label %52

52:                                               ; preds = %51
  %53 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !30
  %54 = zext i8 %53 to i32
  %55 = and i32 %54, 1
  %56 = icmp ne i32 %55, 0
  %57 = xor i1 %56, true
  %58 = xor i1 %57, true
  %59 = zext i1 %58 to i32
  %60 = sext i32 %59 to i64
  %61 = call i64 @llvm.expect.i64(i64 %60, i64 1)
  %62 = icmp ne i64 %61, 0
  br i1 %62, label %63, label %81

63:                                               ; preds = %52
  br label %64

64:                                               ; preds = %63
  %65 = load ptr, ptr %4, align 8, !tbaa !5
  %66 = call i32 @audit_ex(ptr noundef %65, i64 noundef 0, i1 noundef zeroext false)
  %67 = icmp eq i32 %66, 0
  %68 = xor i1 %67, true
  %69 = xor i1 %68, true
  %70 = xor i1 %69, true
  %71 = zext i1 %70 to i32
  %72 = sext i32 %71 to i64
  %73 = call i64 @llvm.expect.i64(i64 %72, i64 0)
  %74 = icmp ne i64 %73, 0
  br i1 %74, label %75, label %79

75:                                               ; preds = %64
  %76 = load ptr, ptr %4, align 8, !tbaa !5
  %77 = getelementptr inbounds %struct.MDBX_txn, ptr %76, i32 0, i32 9
  %78 = load ptr, ptr %77, align 8, !tbaa !11
  call void @mdbx_assert_fail(ptr noundef %78, ptr noundef @.str, ptr noundef @__func__.txn_nested_create, i32 noundef 344) #10
  unreachable

79:                                               ; preds = %64
  br label %80

80:                                               ; preds = %79
  br label %81

81:                                               ; preds = %80, %52
  br label %82

82:                                               ; preds = %81
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #9
  %83 = load i32, ptr %5, align 4, !tbaa !9
  %84 = load ptr, ptr %4, align 8, !tbaa !5
  %85 = getelementptr inbounds %struct.MDBX_txn, ptr %84, i32 0, i32 9
  %86 = load ptr, ptr %85, align 8, !tbaa !11
  %87 = call ptr @txn_alloc(i32 noundef %83, ptr noundef %86)
  store ptr %87, ptr %8, align 8, !tbaa !5
  %88 = load ptr, ptr %8, align 8, !tbaa !5
  %89 = icmp ne ptr %88, null
  %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 %99

97:                                               ; preds = %82
  %98 = call i32 @log_if_error(i32 noundef 12, ptr noundef @__func__.txn_nested_create, i32 noundef 348)
  store i32 %98, ptr %3, align 4
  store i32 1, ptr %7, align 4
  br label %803

99:                                               ; preds = %82
  br label %100

100:                                              ; preds = %99
  %101 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !30
  %102 = zext i8 %101 to i32
  %103 = and i32 %102, 1
  %104 = icmp ne 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 %129

111:                                              ; preds = %100
  br label %112

112:                                              ; preds = %111
  %113 = load ptr, ptr %4, align 8, !tbaa !5
  %114 = call zeroext i1 @dpl_check(ptr noundef %113)
  %115 = xor i1 %114, true
  %116 = xor i1 %115, true
  %117 = xor i1 %116, true
  %118 = zext i1 %117 to i32
  %119 = sext i32 %118 to i64
  %120 = call i64 @llvm.expect.i64(i64 %119, i64 0)
  %121 = icmp ne i64 %120, 0
  br i1 %121, label %122, label %126

122:                                              ; preds = %112
  %123 = load ptr, ptr %4, align 8, !tbaa !5
  %124 = getelementptr inbounds %struct.MDBX_txn, ptr %123, i32 0, i32 9
  %125 = load ptr, ptr %124, align 8, !tbaa !11
  call void @mdbx_assert_fail(ptr noundef %125, ptr noundef @.str.1, ptr noundef @__func__.txn_nested_create, i32 noundef 350) #10
  unreachable

126:                                              ; preds = %112
  br label %127

127:                                              ; preds = %126
  br label %128

128:                                              ; preds = %127
  br label %129

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

130:                                              ; preds = %129
  br label %131

131:                                              ; preds = %130
  %132 = load ptr, ptr %4, align 8, !tbaa !5
  %133 = getelementptr inbounds %struct.MDBX_txn, ptr %132, i32 0, i32 7
  %134 = load i64, ptr %133, align 8, !tbaa !32
  %135 = load ptr, ptr %8, align 8, !tbaa !5
  %136 = getelementptr inbounds %struct.MDBX_txn, ptr %135, i32 0, i32 7
  store i64 %134, ptr %136, align 8, !tbaa !32
  %137 = load ptr, ptr %4, align 8, !tbaa !5
  %138 = getelementptr inbounds %struct.MDBX_txn, ptr %137, i32 0, i32 8
  %139 = load i64, ptr %138, align 8, !tbaa !33
  %140 = add i64 %139, 1
  %141 = load ptr, ptr %8, align 8, !tbaa !5
  %142 = getelementptr inbounds %struct.MDBX_txn, ptr %141, i32 0, i32 8
  store i64 %140, ptr %142, align 8, !tbaa !33
  %143 = load ptr, ptr %8, align 8, !tbaa !5
  %144 = getelementptr inbounds %struct.MDBX_txn, ptr %143, i32 0, i32 15
  %145 = load ptr, ptr %4, align 8, !tbaa !5
  %146 = getelementptr inbounds %struct.MDBX_txn, ptr %145, i32 0, i32 15
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %144, ptr align 8 %146, i64 32, i1 false), !tbaa.struct !34
  %147 = load ptr, ptr %4, align 8, !tbaa !5
  %148 = getelementptr inbounds %struct.MDBX_txn, ptr %147, i32 0, i32 1
  %149 = load i32, ptr %148, align 4, !tbaa !36
  %150 = or i32 %149, 16
  store i32 %150, ptr %148, align 4, !tbaa !36
  %151 = load ptr, ptr %8, align 8, !tbaa !5
  %152 = load ptr, ptr %4, align 8, !tbaa !5
  %153 = getelementptr inbounds %struct.MDBX_txn, ptr %152, i32 0, i32 5
  store ptr %151, ptr %153, align 8, !tbaa !37
  %154 = load ptr, ptr %4, align 8, !tbaa !5
  %155 = load ptr, ptr %8, align 8, !tbaa !5
  %156 = getelementptr inbounds %struct.MDBX_txn, ptr %155, i32 0, i32 4
  store ptr %154, ptr %156, align 8, !tbaa !38
  %157 = load ptr, ptr %8, align 8, !tbaa !5
  %158 = load ptr, ptr %8, align 8, !tbaa !5
  %159 = getelementptr inbounds %struct.MDBX_txn, ptr %158, i32 0, i32 9
  %160 = load ptr, ptr %159, align 8, !tbaa !11
  %161 = getelementptr inbounds %struct.MDBX_env, ptr %160, i32 0, i32 39
  store ptr %157, ptr %161, align 8, !tbaa !39
  %162 = load ptr, ptr %4, align 8, !tbaa !5
  %163 = getelementptr inbounds %struct.MDBX_txn, ptr %162, i32 0, i32 3
  %164 = load i64, ptr %163, align 8, !tbaa !40
  %165 = load ptr, ptr %8, align 8, !tbaa !5
  %166 = getelementptr inbounds %struct.MDBX_txn, ptr %165, i32 0, i32 3
  store i64 %164, ptr %166, align 8, !tbaa !40
  %167 = load ptr, ptr %8, align 8, !tbaa !5
  %168 = getelementptr inbounds %struct.MDBX_txn, ptr %167, i32 0, i32 17
  %169 = getelementptr inbounds %struct.anon.2, ptr %168, i32 0, i32 0
  %170 = load ptr, ptr %4, align 8, !tbaa !5
  %171 = getelementptr inbounds %struct.MDBX_txn, ptr %170, i32 0, i32 17
  %172 = getelementptr inbounds %struct.anon.2, ptr %171, i32 0, i32 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %169, ptr align 8 %172, i64 32, i1 false), !tbaa.struct !41
  %173 = load ptr, ptr %8, align 8, !tbaa !5
  %174 = getelementptr inbounds %struct.MDBX_txn, ptr %173, i32 0, i32 17
  %175 = getelementptr inbounds %struct.anon.2, ptr %174, i32 0, i32 2
  %176 = getelementptr inbounds %struct.anon.3, ptr %175, i32 0, i32 0
  call void @rkl_init(ptr noundef %176)
  %177 = load ptr, ptr %4, align 8, !tbaa !5
  %178 = getelementptr inbounds %struct.MDBX_txn, ptr %177, i32 0, i32 11
  %179 = load ptr, ptr %178, align 8, !tbaa !42
  %180 = load ptr, ptr %8, align 8, !tbaa !5
  %181 = getelementptr inbounds %struct.MDBX_txn, ptr %180, i32 0, i32 11
  store ptr %179, ptr %181, align 8, !tbaa !42
  %182 = load ptr, ptr %4, align 8, !tbaa !5
  %183 = getelementptr inbounds %struct.MDBX_txn, ptr %182, i32 0, i32 13
  %184 = load ptr, ptr %183, align 8, !tbaa !43
  %185 = load ptr, ptr %8, align 8, !tbaa !5
  %186 = getelementptr inbounds %struct.MDBX_txn, ptr %185, i32 0, i32 13
  store ptr %184, ptr %186, align 8, !tbaa !43
  %187 = load ptr, ptr %8, align 8, !tbaa !5
  %188 = getelementptr inbounds %struct.MDBX_txn, ptr %187, i32 0, i32 6
  %189 = load ptr, ptr %4, align 8, !tbaa !5
  %190 = getelementptr inbounds %struct.MDBX_txn, ptr %189, i32 0, i32 6
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %188, ptr align 8 %190, i64 20, i1 false), !tbaa.struct !44
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #9
  %191 = load ptr, ptr %8, align 8, !tbaa !5
  %192 = call i32 @dpl_alloc(ptr noundef %191)
  store i32 %192, ptr %9, align 4, !tbaa !9
  %193 = load i32, ptr %9, align 4, !tbaa !9
  %194 = icmp ne i32 %193, 0
  %195 = xor i1 %194, true
  %196 = xor i1 %195, true
  %197 = zext i1 %196 to i32
  %198 = sext i32 %197 to i64
  %199 = call i64 @llvm.expect.i64(i64 %198, i64 0)
  %200 = icmp ne i64 %199, 0
  br i1 %200, label %201, label %204

201:                                              ; preds = %131
  %202 = load i32, ptr %9, align 4, !tbaa !9
  %203 = call i32 @log_if_error(i32 noundef %202, ptr noundef @__func__.txn_nested_create, i32 noundef 370)
  store i32 %203, ptr %3, align 4
  store i32 1, ptr %7, align 4
  br label %802

204:                                              ; preds = %131
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #9
  %205 = load ptr, ptr %4, align 8, !tbaa !5
  %206 = getelementptr inbounds %struct.MDBX_txn, ptr %205, i32 0, i32 17
  %207 = getelementptr inbounds %struct.anon.2, ptr %206, i32 0, i32 1
  %208 = load ptr, ptr %207, align 8, !tbaa !27
  %209 = getelementptr inbounds i32, ptr %208, i64 0
  %210 = load i32, ptr %209, align 4, !tbaa !9
  %211 = zext i32 %210 to i64
  %212 = load ptr, ptr %4, align 8, !tbaa !5
  %213 = getelementptr inbounds %struct.MDBX_txn, ptr %212, i32 0, i32 17
  %214 = getelementptr inbounds %struct.anon.2, ptr %213, i32 0, i32 10
  %215 = load i64, ptr %214, align 8, !tbaa !27
  %216 = add i64 %211, %215
  store i64 %216, ptr %10, align 8, !tbaa !35
  %217 = load i64, ptr %10, align 8, !tbaa !35
  %218 = icmp ugt i64 %217, 1018
  br i1 %218, label %219, label %221

219:                                              ; preds = %204
  %220 = load i64, ptr %10, align 8, !tbaa !35
  br label %222

221:                                              ; preds = %204
  br label %222

222:                                              ; preds = %221, %219
  %223 = phi i64 [ %220, %219 ], [ 1018, %221 ]
  %224 = call ptr @pnl_alloc(i64 noundef %223)
  %225 = load ptr, ptr %8, align 8, !tbaa !5
  %226 = getelementptr inbounds %struct.MDBX_txn, ptr %225, i32 0, i32 17
  %227 = getelementptr inbounds %struct.anon.2, ptr %226, i32 0, i32 1
  store ptr %224, ptr %227, align 8, !tbaa !27
  %228 = load ptr, ptr %8, align 8, !tbaa !5
  %229 = getelementptr inbounds %struct.MDBX_txn, ptr %228, i32 0, i32 17
  %230 = getelementptr inbounds %struct.anon.2, ptr %229, i32 0, i32 1
  %231 = load ptr, ptr %230, align 8, !tbaa !27
  %232 = icmp ne ptr %231, null
  %233 = xor i1 %232, true
  %234 = xor i1 %233, true
  %235 = xor i1 %234, true
  %236 = zext i1 %235 to i32
  %237 = sext i32 %236 to i64
  %238 = call i64 @llvm.expect.i64(i64 %237, i64 0)
  %239 = icmp ne i64 %238, 0
  br i1 %239, label %240, label %242

240:                                              ; preds = %222
  %241 = call i32 @log_if_error(i32 noundef 12, ptr noundef @__func__.txn_nested_create, i32 noundef 375)
  store i32 %241, ptr %3, align 4
  store i32 1, ptr %7, align 4
  br label %801

242:                                              ; preds = %222
  %243 = load ptr, ptr %4, align 8, !tbaa !5
  %244 = getelementptr inbounds %struct.MDBX_txn, ptr %243, i32 0, i32 17
  %245 = getelementptr inbounds %struct.anon.2, ptr %244, i32 0, i32 10
  %246 = load i64, ptr %245, align 8, !tbaa !27
  %247 = icmp ne i64 %246, 0
  br i1 %247, label %248, label %402

248:                                              ; preds = %242
  br label %249

249:                                              ; preds = %357, %248
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #9
  %250 = load ptr, ptr %4, align 8, !tbaa !5
  %251 = getelementptr inbounds %struct.MDBX_txn, ptr %250, i32 0, i32 17
  %252 = getelementptr inbounds %struct.anon.2, ptr %251, i32 0, i32 9
  %253 = load ptr, ptr %252, align 8, !tbaa !27
  store ptr %253, ptr %11, align 8, !tbaa !5
  br label %254

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

265:                                              ; preds = %254
  br label %266

266:                                              ; preds = %265
  %267 = load ptr, ptr %11, align 8, !tbaa !5
  %268 = getelementptr inbounds %struct.page, ptr %267, i32 0, i32 2
  %269 = load i16, ptr %268, align 1, !tbaa !45
  %270 = zext i16 %269 to i32
  %271 = icmp eq i32 %270, 16384
  %272 = xor i1 %271, true
  %273 = xor i1 %272, true
  %274 = xor i1 %273, true
  %275 = zext i1 %274 to i32
  %276 = sext i32 %275 to i64
  %277 = call i64 @llvm.expect.i64(i64 %276, i64 0)
  %278 = icmp ne i64 %277, 0
  br i1 %278, label %279, label %283

279:                                              ; preds = %266
  %280 = load ptr, ptr %4, align 8, !tbaa !5
  %281 = getelementptr inbounds %struct.MDBX_txn, ptr %280, i32 0, i32 9
  %282 = load ptr, ptr %281, align 8, !tbaa !11
  call void @mdbx_assert_fail(ptr noundef %282, ptr noundef @.str.2, ptr noundef @__func__.txn_nested_create, i32 noundef 381) #10
  unreachable

283:                                              ; preds = %266
  br label %284

284:                                              ; preds = %283
  br label %285

285:                                              ; preds = %284
  br label %286

286:                                              ; preds = %285, %254
  br label %287

287:                                              ; preds = %286
  br label %288

288:                                              ; preds = %287
  %289 = load ptr, ptr %4, align 8, !tbaa !5
  %290 = getelementptr inbounds %struct.MDBX_txn, ptr %289, i32 0, i32 17
  %291 = getelementptr inbounds %struct.anon.2, ptr %290, i32 0, i32 1
  %292 = load ptr, ptr %11, align 8, !tbaa !5
  %293 = getelementptr inbounds %struct.page, ptr %292, i32 0, i32 4
  %294 = load i32, ptr %293, align 1, !tbaa !9
  %295 = call i32 @pnl_insert_span(ptr noundef %291, i32 noundef %294, i64 noundef 1)
  store i32 %295, ptr %9, align 4, !tbaa !9
  %296 = load i32, ptr %9, align 4, !tbaa !9
  %297 = icmp ne i32 %296, 0
  %298 = xor i1 %297, true
  %299 = xor i1 %298, true
  %300 = zext i1 %299 to i32
  %301 = sext i32 %300 to i64
  %302 = call i64 @llvm.expect.i64(i64 %301, i64 0)
  %303 = icmp ne i64 %302, 0
  br i1 %303, label %304, label %307

304:                                              ; preds = %288
  %305 = load i32, ptr %9, align 4, !tbaa !9
  %306 = call i32 @log_if_error(i32 noundef %305, ptr noundef @__func__.txn_nested_create, i32 noundef 384)
  store i32 %306, ptr %3, align 4
  store i32 1, ptr %7, align 4
  br label %354

307:                                              ; preds = %288
  br label %308

308:                                              ; preds = %307
  br label %309

309:                                              ; preds = %308
  %310 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 5), align 2, !tbaa !46
  %311 = zext i8 %310 to i32
  %312 = icmp sle i32 6, %311
  %313 = xor i1 %312, true
  %314 = xor i1 %313, true
  %315 = zext i1 %314 to i32
  %316 = sext i32 %315 to i64
  %317 = call i64 @llvm.expect.i64(i64 %316, i64 0)
  %318 = icmp ne i64 %317, 0
  br i1 %318, label %319, label %326

319:                                              ; preds = %309
  %320 = load ptr, ptr %11, align 8, !tbaa !5
  %321 = getelementptr inbounds %struct.page, ptr %320, i32 0, i32 5
  %322 = getelementptr inbounds [0 x i16], ptr %321, i64 0, i64 0
  %323 = ptrtoint ptr %322 to i64
  %324 = add nsw i64 %323, 4
  %325 = inttoptr i64 %324 to ptr
  call void (i32, ptr, i32, ptr, ...) @debug_log(i32 noundef 6, ptr noundef @__func__.txn_nested_create, i32 noundef 385, ptr noundef @.str.3, ptr noundef %325, i64 noundef 8, i32 noundef 385)
  br label %326

326:                                              ; preds = %319, %309
  br label %327

327:                                              ; preds = %326
  br label %328

328:                                              ; preds = %327
  %329 = load ptr, ptr %11, align 8, !tbaa !5
  %330 = getelementptr inbounds %struct.page, ptr %329, i32 0, i32 5
  %331 = getelementptr inbounds [0 x i16], ptr %330, i64 0, i64 0
  %332 = ptrtoint ptr %331 to i64
  %333 = add nsw i64 %332, 4
  %334 = inttoptr i64 %333 to ptr
  br label %335

335:                                              ; preds = %328
  br label %336

336:                                              ; preds = %335
  %337 = load ptr, ptr %11, align 8, !tbaa !5
  %338 = getelementptr inbounds %struct.page, ptr %337, i32 0, i32 5
  %339 = getelementptr inbounds [0 x i16], ptr %338, i64 0, i64 0
  %340 = ptrtoint ptr %339 to i64
  %341 = add nsw i64 %340, 4
  %342 = inttoptr i64 %341 to ptr
  %343 = load ptr, ptr %342, align 8, !tbaa !5
  %344 = load ptr, ptr %4, align 8, !tbaa !5
  %345 = getelementptr inbounds %struct.MDBX_txn, ptr %344, i32 0, i32 17
  %346 = getelementptr inbounds %struct.anon.2, ptr %345, i32 0, i32 9
  store ptr %343, ptr %346, align 8, !tbaa !27
  %347 = load ptr, ptr %4, align 8, !tbaa !5
  %348 = load ptr, ptr %4, align 8, !tbaa !5
  %349 = load ptr, ptr %11, align 8, !tbaa !5
  %350 = getelementptr inbounds %struct.page, ptr %349, i32 0, i32 4
  %351 = load i32, ptr %350, align 1, !tbaa !9
  %352 = call i64 @dpl_exist(ptr noundef %348, i32 noundef %351) #11
  %353 = load ptr, ptr %11, align 8, !tbaa !5
  call void @page_wash(ptr noundef %347, i64 noundef %352, ptr noundef %353, i64 noundef 1)
  store i32 0, ptr %7, align 4
  br label %354

354:                                              ; preds = %336, %304
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #9
  %355 = load i32, ptr %7, align 4
  switch i32 %355, label %801 [
    i32 0, label %356
  ]

356:                                              ; preds = %354
  br label %357

357:                                              ; preds = %356
  %358 = load ptr, ptr %4, align 8, !tbaa !5
  %359 = getelementptr inbounds %struct.MDBX_txn, ptr %358, i32 0, i32 17
  %360 = getelementptr inbounds %struct.anon.2, ptr %359, i32 0, i32 9
  %361 = load ptr, ptr %360, align 8, !tbaa !27
  %362 = icmp ne ptr %361, null
  br i1 %362, label %249, label %363, !llvm.loop !47

363:                                              ; preds = %357
  %364 = load ptr, ptr %4, align 8, !tbaa !5
  %365 = getelementptr inbounds %struct.MDBX_txn, ptr %364, i32 0, i32 17
  %366 = getelementptr inbounds %struct.anon.2, ptr %365, i32 0, i32 10
  store i64 0, ptr %366, align 8, !tbaa !27
  %367 = load ptr, ptr %4, align 8, !tbaa !5
  %368 = getelementptr inbounds %struct.MDBX_txn, ptr %367, i32 0, i32 17
  %369 = getelementptr inbounds %struct.anon.2, ptr %368, i32 0, i32 4
  store i32 0, ptr %369, align 4, !tbaa !27
  br label %370

370:                                              ; preds = %363
  %371 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !30
  %372 = zext i8 %371 to i32
  %373 = and i32 %372, 1
  %374 = icmp ne i32 %373, 0
  %375 = xor i1 %374, true
  %376 = xor i1 %375, true
  %377 = zext i1 %376 to i32
  %378 = sext i32 %377 to i64
  %379 = call i64 @llvm.expect.i64(i64 %378, i64 1)
  %380 = icmp ne i64 %379, 0
  br i1 %380, label %381, label %399

381:                                              ; preds = %370
  br label %382

382:                                              ; preds = %381
  %383 = load ptr, ptr %4, align 8, !tbaa !5
  %384 = call zeroext i1 @dpl_check(ptr noundef %383)
  %385 = xor i1 %384, true
  %386 = xor i1 %385, true
  %387 = xor i1 %386, true
  %388 = zext i1 %387 to i32
  %389 = sext i32 %388 to i64
  %390 = call i64 @llvm.expect.i64(i64 %389, i64 0)
  %391 = icmp ne i64 %390, 0
  br i1 %391, label %392, label %396

392:                                              ; preds = %382
  %393 = load ptr, ptr %4, align 8, !tbaa !5
  %394 = getelementptr inbounds %struct.MDBX_txn, ptr %393, i32 0, i32 9
  %395 = load ptr, ptr %394, align 8, !tbaa !11
  call void @mdbx_assert_fail(ptr noundef %395, ptr noundef @.str.1, ptr noundef @__func__.txn_nested_create, i32 noundef 395) #10
  unreachable

396:                                              ; preds = %382
  br label %397

397:                                              ; preds = %396
  br label %398

398:                                              ; preds = %397
  br label %399

399:                                              ; preds = %398, %370
  br label %400

400:                                              ; preds = %399
  br label %401

401:                                              ; preds = %400
  br label %402

402:                                              ; preds = %401, %242
  %403 = load ptr, ptr %8, align 8, !tbaa !5
  %404 = getelementptr inbounds %struct.MDBX_txn, ptr %403, i32 0, i32 17
  %405 = getelementptr inbounds %struct.anon.2, ptr %404, i32 0, i32 4
  store i32 0, ptr %405, align 4, !tbaa !27
  %406 = load ptr, ptr %4, align 8, !tbaa !5
  %407 = getelementptr inbounds %struct.MDBX_txn, ptr %406, i32 0, i32 17
  %408 = getelementptr inbounds %struct.anon.2, ptr %407, i32 0, i32 6
  %409 = load i64, ptr %408, align 8, !tbaa !27
  %410 = load ptr, ptr %8, align 8, !tbaa !5
  %411 = getelementptr inbounds %struct.MDBX_txn, ptr %410, i32 0, i32 17
  %412 = getelementptr inbounds %struct.anon.2, ptr %411, i32 0, i32 6
  store i64 %409, ptr %412, align 8, !tbaa !27
  %413 = load ptr, ptr %4, align 8, !tbaa !5
  %414 = getelementptr inbounds %struct.MDBX_txn, ptr %413, i32 0, i32 17
  %415 = getelementptr inbounds %struct.anon.2, ptr %414, i32 0, i32 5
  %416 = load i32, ptr %415, align 8, !tbaa !27
  %417 = load ptr, ptr %8, align 8, !tbaa !5
  %418 = getelementptr inbounds %struct.MDBX_txn, ptr %417, i32 0, i32 17
  %419 = getelementptr inbounds %struct.anon.2, ptr %418, i32 0, i32 5
  store i32 %416, ptr %419, align 8, !tbaa !27
  %420 = load ptr, ptr %4, align 8, !tbaa !5
  %421 = call ptr @dpl_sort(ptr noundef %420)
  %422 = load ptr, ptr %4, align 8, !tbaa !5
  %423 = getelementptr inbounds %struct.MDBX_txn, ptr %422, i32 0, i32 17
  %424 = getelementptr inbounds %struct.anon.2, ptr %423, i32 0, i32 11
  %425 = getelementptr inbounds %struct.anon.5, ptr %424, i32 0, i32 1
  %426 = load ptr, ptr %425, align 8, !tbaa !27
  %427 = icmp ne ptr %426, null
  br i1 %427, label %428, label %431

428:                                              ; preds = %402
  %429 = load ptr, ptr %4, align 8, !tbaa !5
  %430 = call ptr @spill_purge(ptr noundef %429)
  br label %431

431:                                              ; preds = %428, %402
  br label %432

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

443:                                              ; preds = %432
  br label %444

444:                                              ; preds = %443
  %445 = load ptr, ptr %8, align 8, !tbaa !5
  %446 = getelementptr inbounds %struct.MDBX_txn, ptr %445, i32 0, i32 17
  %447 = getelementptr inbounds %struct.anon.2, ptr %446, i32 0, i32 1
  %448 = load ptr, ptr %447, align 8, !tbaa !27
  %449 = getelementptr inbounds i32, ptr %448, i64 -1
  %450 = load i32, ptr %449, align 4, !tbaa !9
  %451 = zext i32 %450 to i64
  %452 = load ptr, ptr %4, align 8, !tbaa !5
  %453 = getelementptr inbounds %struct.MDBX_txn, ptr %452, i32 0, i32 17
  %454 = getelementptr inbounds %struct.anon.2, ptr %453, i32 0, i32 1
  %455 = load ptr, ptr %454, align 8, !tbaa !27
  %456 = getelementptr inbounds i32, ptr %455, i64 0
  %457 = load i32, ptr %456, align 4, !tbaa !9
  %458 = zext i32 %457 to i64
  %459 = icmp uge i64 %451, %458
  %460 = xor i1 %459, true
  %461 = xor i1 %460, true
  %462 = xor i1 %461, true
  %463 = zext i1 %462 to i32
  %464 = sext i32 %463 to i64
  %465 = call i64 @llvm.expect.i64(i64 %464, i64 0)
  %466 = icmp ne i64 %465, 0
  br i1 %466, label %467, label %471

467:                                              ; preds = %444
  %468 = load ptr, ptr %8, align 8, !tbaa !5
  %469 = getelementptr inbounds %struct.MDBX_txn, ptr %468, i32 0, i32 9
  %470 = load ptr, ptr %469, align 8, !tbaa !11
  call void @mdbx_assert_fail(ptr noundef %470, ptr noundef @.str.4, ptr noundef @__func__.txn_nested_create, i32 noundef 407) #10
  unreachable

471:                                              ; preds = %444
  br label %472

472:                                              ; preds = %471
  br label %473

473:                                              ; preds = %472
  br label %474

474:                                              ; preds = %473, %432
  br label %475

475:                                              ; preds = %474
  br label %476

476:                                              ; preds = %475
  %477 = load ptr, ptr %8, align 8, !tbaa !5
  %478 = getelementptr inbounds %struct.MDBX_txn, ptr %477, i32 0, i32 17
  %479 = getelementptr inbounds %struct.anon.2, ptr %478, i32 0, i32 1
  %480 = load ptr, ptr %479, align 8, !tbaa !27
  %481 = load ptr, ptr %4, align 8, !tbaa !5
  %482 = getelementptr inbounds %struct.MDBX_txn, ptr %481, i32 0, i32 17
  %483 = getelementptr inbounds %struct.anon.2, ptr %482, i32 0, i32 1
  %484 = load ptr, ptr %483, align 8, !tbaa !27
  %485 = load ptr, ptr %4, align 8, !tbaa !5
  %486 = getelementptr inbounds %struct.MDBX_txn, ptr %485, i32 0, i32 17
  %487 = getelementptr inbounds %struct.anon.2, ptr %486, i32 0, i32 1
  %488 = load ptr, ptr %487, align 8, !tbaa !27
  %489 = getelementptr inbounds i32, ptr %488, i64 0
  %490 = load i32, ptr %489, align 4, !tbaa !9
  %491 = zext i32 %490 to i64
  %492 = add i64 %491, 1
  %493 = mul i64 %492, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %480, ptr align 4 %484, i64 %493, i1 false)
  br label %494

494:                                              ; preds = %476
  %495 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !30
  %496 = zext i8 %495 to i32
  %497 = and i32 %496, 1
  %498 = icmp ne i32 %497, 0
  %499 = xor i1 %498, true
  %500 = xor i1 %499, true
  %501 = zext i1 %500 to i32
  %502 = sext i32 %501 to i64
  %503 = call i64 @llvm.expect.i64(i64 %502, i64 1)
  %504 = icmp ne i64 %503, 0
  br i1 %504, label %505, label %535

505:                                              ; preds = %494
  br label %506

506:                                              ; preds = %505
  %507 = load ptr, ptr %8, align 8, !tbaa !5
  %508 = getelementptr inbounds %struct.MDBX_txn, ptr %507, i32 0, i32 17
  %509 = getelementptr inbounds %struct.anon.2, ptr %508, i32 0, i32 1
  %510 = load ptr, ptr %509, align 8, !tbaa !27
  %511 = load ptr, ptr %4, align 8, !tbaa !5
  %512 = getelementptr inbounds %struct.MDBX_txn, ptr %511, i32 0, i32 6
  %513 = getelementptr inbounds %struct.geo, ptr %512, i32 0, i32 5
  %514 = load i32, ptr %513, align 8, !tbaa !27
  %515 = load ptr, ptr %8, 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 5
  store i32 %514, ptr %517, align 8, !tbaa !27
  %518 = sub i32 %514, 1
  %519 = zext i32 %518 to i64
  %520 = call zeroext i1 @pnl_check_allocated(ptr noundef %510, i64 noundef %519)
  %521 = xor i1 %520, true
  %522 = xor i1 %521, true
  %523 = xor i1 %522, true
  %524 = zext i1 %523 to i32
  %525 = sext i32 %524 to i64
  %526 = call i64 @llvm.expect.i64(i64 %525, i64 0)
  %527 = icmp ne i64 %526, 0
  br i1 %527, label %528, label %532

528:                                              ; preds = %506
  %529 = load ptr, ptr %8, align 8, !tbaa !5
  %530 = getelementptr inbounds %struct.MDBX_txn, ptr %529, i32 0, i32 9
  %531 = load ptr, ptr %530, align 8, !tbaa !11
  call void @mdbx_assert_fail(ptr noundef %531, ptr noundef @.str.5, ptr noundef @__func__.txn_nested_create, i32 noundef 413) #10
  unreachable

532:                                              ; preds = %506
  br label %533

533:                                              ; preds = %532
  br label %534

534:                                              ; preds = %533
  br label %535

535:                                              ; preds = %534, %494
  br label %536

536:                                              ; preds = %535
  br label %537

537:                                              ; preds = %536
  %538 = load ptr, ptr %4, align 8, !tbaa !5
  %539 = getelementptr inbounds %struct.MDBX_txn, ptr %538, i32 0, i32 17
  %540 = getelementptr inbounds %struct.anon.2, ptr %539, i32 0, i32 2
  %541 = getelementptr inbounds %struct.anon.3, ptr %540, i32 0, i32 1
  %542 = load i64, ptr %541, align 8, !tbaa !27
  %543 = load ptr, ptr %8, align 8, !tbaa !5
  %544 = getelementptr inbounds %struct.MDBX_txn, ptr %543, i32 0, i32 17
  %545 = getelementptr inbounds %struct.anon.2, ptr %544, i32 0, i32 2
  %546 = getelementptr inbounds %struct.anon.3, ptr %545, i32 0, i32 1
  store i64 %542, ptr %546, align 8, !tbaa !27
  %547 = load ptr, ptr %8, align 8, !tbaa !5
  %548 = getelementptr inbounds %struct.MDBX_txn, ptr %547, i32 0, i32 17
  %549 = getelementptr inbounds %struct.anon.2, ptr %548, i32 0, i32 2
  %550 = getelementptr inbounds %struct.anon.3, ptr %549, i32 0, i32 2
  call void @rkl_init(ptr noundef %550)
  %551 = load ptr, ptr %4, align 8, !tbaa !5
  %552 = getelementptr inbounds %struct.MDBX_txn, ptr %551, i32 0, i32 17
  %553 = getelementptr inbounds %struct.anon.2, ptr %552, i32 0, i32 2
  %554 = getelementptr inbounds %struct.anon.3, ptr %553, i32 0, i32 0
  %555 = load ptr, ptr %8, align 8, !tbaa !5
  %556 = getelementptr inbounds %struct.MDBX_txn, ptr %555, i32 0, i32 17
  %557 = getelementptr inbounds %struct.anon.2, ptr %556, i32 0, i32 2
  %558 = getelementptr inbounds %struct.anon.3, ptr %557, i32 0, i32 0
  %559 = call i32 @rkl_copy(ptr noundef %554, ptr noundef %558)
  store i32 %559, ptr %9, align 4, !tbaa !9
  %560 = load i32, ptr %9, align 4, !tbaa !9
  %561 = icmp ne i32 %560, 0
  %562 = xor i1 %561, true
  %563 = xor i1 %562, true
  %564 = zext i1 %563 to i32
  %565 = sext i32 %564 to i64
  %566 = call i64 @llvm.expect.i64(i64 %565, i64 0)
  %567 = icmp ne i64 %566, 0
  br i1 %567, label %568, label %570

568:                                              ; preds = %537
  %569 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %569, ptr %3, align 4
  store i32 1, ptr %7, align 4
  br label %801

570:                                              ; preds = %537
  %571 = load ptr, ptr %4, align 8, !tbaa !5
  %572 = getelementptr inbounds %struct.MDBX_txn, ptr %571, i32 0, i32 17
  %573 = getelementptr inbounds %struct.anon.2, ptr %572, i32 0, i32 8
  %574 = load ptr, ptr %573, align 8, !tbaa !27
  %575 = load ptr, ptr %8, align 8, !tbaa !5
  %576 = getelementptr inbounds %struct.MDBX_txn, ptr %575, i32 0, i32 17
  %577 = getelementptr inbounds %struct.anon.2, ptr %576, i32 0, i32 8
  store ptr %574, ptr %577, align 8, !tbaa !27
  %578 = load ptr, ptr %4, align 8, !tbaa !5
  %579 = getelementptr inbounds %struct.MDBX_txn, ptr %578, i32 0, i32 17
  %580 = getelementptr inbounds %struct.anon.2, ptr %579, i32 0, i32 8
  %581 = load ptr, ptr %580, align 8, !tbaa !27
  %582 = getelementptr inbounds i32, ptr %581, i64 0
  %583 = load i32, ptr %582, align 4, !tbaa !9
  %584 = zext i32 %583 to i64
  %585 = inttoptr i64 %584 to ptr
  %586 = load ptr, ptr %4, align 8, !tbaa !5
  %587 = getelementptr inbounds %struct.MDBX_txn, ptr %586, i32 0, i32 17
  %588 = getelementptr inbounds %struct.anon.2, ptr %587, i32 0, i32 8
  store ptr %585, ptr %588, align 8, !tbaa !27
  %589 = load ptr, ptr %8, align 8, !tbaa !5
  %590 = getelementptr inbounds %struct.MDBX_txn, ptr %589, i32 0, i32 14
  %591 = load ptr, ptr %590, align 8, !tbaa !49
  %592 = getelementptr inbounds ptr, ptr %591, i64 0
  store ptr null, ptr %592, align 8, !tbaa !5
  %593 = load ptr, ptr %8, align 8, !tbaa !5
  %594 = getelementptr inbounds %struct.MDBX_txn, ptr %593, i32 0, i32 14
  %595 = load ptr, ptr %594, align 8, !tbaa !49
  %596 = getelementptr inbounds ptr, ptr %595, i64 1
  store ptr null, ptr %596, align 8, !tbaa !5
  %597 = load ptr, ptr %4, align 8, !tbaa !5
  %598 = getelementptr inbounds %struct.MDBX_txn, ptr %597, i32 0, i32 12
  %599 = load ptr, ptr %598, align 8, !tbaa !50
  %600 = getelementptr inbounds i8, ptr %599, i64 0
  %601 = load i8, ptr %600, align 1, !tbaa !27
  %602 = zext i8 %601 to i32
  %603 = and i32 %602, -14
  %604 = trunc i32 %603 to i8
  %605 = load ptr, ptr %8, align 8, !tbaa !5
  %606 = getelementptr inbounds %struct.MDBX_txn, ptr %605, i32 0, i32 12
  %607 = load ptr, ptr %606, align 8, !tbaa !50
  %608 = getelementptr inbounds i8, ptr %607, i64 0
  store i8 %604, ptr %608, align 1, !tbaa !27
  %609 = load ptr, ptr %4, align 8, !tbaa !5
  %610 = getelementptr inbounds %struct.MDBX_txn, ptr %609, i32 0, i32 12
  %611 = load ptr, ptr %610, align 8, !tbaa !50
  %612 = getelementptr inbounds i8, ptr %611, i64 1
  %613 = load i8, ptr %612, align 1, !tbaa !27
  %614 = zext i8 %613 to i32
  %615 = and i32 %614, -14
  %616 = trunc i32 %615 to i8
  %617 = load ptr, ptr %8, align 8, !tbaa !5
  %618 = getelementptr inbounds %struct.MDBX_txn, ptr %617, i32 0, i32 12
  %619 = load ptr, ptr %618, align 8, !tbaa !50
  %620 = getelementptr inbounds i8, ptr %619, i64 1
  store i8 %616, ptr %620, align 1, !tbaa !27
  %621 = load ptr, ptr %8, align 8, !tbaa !5
  %622 = getelementptr inbounds %struct.MDBX_txn, ptr %621, i32 0, i32 12
  %623 = load ptr, ptr %622, align 8, !tbaa !50
  %624 = getelementptr inbounds i8, ptr %623, i64 2
  %625 = load ptr, ptr %4, align 8, !tbaa !5
  %626 = getelementptr inbounds %struct.MDBX_txn, ptr %625, i32 0, i32 2
  %627 = load i64, ptr %626, align 8, !tbaa !51
  %628 = load ptr, ptr %8, align 8, !tbaa !5
  %629 = getelementptr inbounds %struct.MDBX_txn, ptr %628, i32 0, i32 2
  store i64 %627, ptr %629, align 8, !tbaa !51
  %630 = sub i64 %627, 2
  call void @llvm.memset.p0.i64(ptr align 1 %624, i8 0, i64 %630, i1 false)
  %631 = load ptr, ptr %8, align 8, !tbaa !5
  %632 = getelementptr inbounds %struct.MDBX_txn, ptr %631, i32 0, i32 10
  %633 = load ptr, ptr %632, align 8, !tbaa !52
  %634 = load ptr, ptr %4, align 8, !tbaa !5
  %635 = getelementptr inbounds %struct.MDBX_txn, ptr %634, i32 0, i32 10
  %636 = load ptr, ptr %635, align 8, !tbaa !52
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %633, ptr align 4 %636, i64 96, i1 false)
  br label %637

637:                                              ; preds = %570
  %638 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !30
  %639 = zext i8 %638 to i32
  %640 = and i32 %639, 1
  %641 = icmp ne i32 %640, 0
  %642 = xor i1 %641, true
  %643 = xor i1 %642, true
  %644 = zext i1 %643 to i32
  %645 = sext i32 %644 to i64
  %646 = call i64 @llvm.expect.i64(i64 %645, i64 1)
  %647 = icmp ne i64 %646, 0
  br i1 %647, label %648, label %697

648:                                              ; preds = %637
  br label %649

649:                                              ; preds = %648
  %650 = load ptr, ptr %4, align 8, !tbaa !5
  %651 = getelementptr inbounds %struct.MDBX_txn, ptr %650, i32 0, i32 17
  %652 = getelementptr inbounds %struct.anon.2, ptr %651, i32 0, i32 6
  %653 = load i64, ptr %652, align 8, !tbaa !27
  %654 = load ptr, ptr %4, align 8, !tbaa !5
  %655 = getelementptr inbounds %struct.MDBX_txn, ptr %654, i32 0, i32 17
  %656 = getelementptr inbounds %struct.anon.2, ptr %655, i32 0, i32 7
  %657 = load ptr, ptr %656, align 8, !tbaa !27
  %658 = getelementptr inbounds %struct.dpl, ptr %657, i32 0, i32 1
  %659 = load i64, ptr %658, align 8, !tbaa !28
  %660 = add i64 %653, %659
  %661 = load ptr, ptr %4, align 8, !tbaa !5
  %662 = getelementptr inbounds %struct.MDBX_txn, ptr %661, i32 0, i32 4
  %663 = load ptr, ptr %662, align 8, !tbaa !38
  %664 = icmp ne ptr %663, null
  br i1 %664, label %665, label %672

665:                                              ; preds = %649
  %666 = load ptr, ptr %4, align 8, !tbaa !5
  %667 = getelementptr inbounds %struct.MDBX_txn, ptr %666, i32 0, i32 4
  %668 = load ptr, ptr %667, align 8, !tbaa !38
  %669 = getelementptr inbounds %struct.MDBX_txn, ptr %668, i32 0, i32 17
  %670 = getelementptr inbounds %struct.anon.2, ptr %669, i32 0, i32 6
  %671 = load i64, ptr %670, align 8, !tbaa !27
  br label %680

672:                                              ; preds = %649
  %673 = load ptr, ptr %4, align 8, !tbaa !5
  %674 = getelementptr inbounds %struct.MDBX_txn, ptr %673, i32 0, i32 9
  %675 = load ptr, ptr %674, align 8, !tbaa !11
  %676 = getelementptr inbounds %struct.MDBX_env, ptr %675, i32 0, i32 34
  %677 = getelementptr inbounds %struct.anon.8, ptr %676, i32 0, i32 2
  %678 = load i32, ptr %677, align 8, !tbaa !53
  %679 = zext i32 %678 to i64
  br label %680

680:                                              ; preds = %672, %665
  %681 = phi i64 [ %671, %665 ], [ %679, %672 ]
  %682 = icmp eq i64 %660, %681
  %683 = xor i1 %682, true
  %684 = xor i1 %683, true
  %685 = xor i1 %684, true
  %686 = zext i1 %685 to i32
  %687 = sext i32 %686 to i64
  %688 = call i64 @llvm.expect.i64(i64 %687, i64 0)
  %689 = icmp ne i64 %688, 0
  br i1 %689, label %690, label %694

690:                                              ; preds = %680
  %691 = load ptr, ptr %4, align 8, !tbaa !5
  %692 = getelementptr inbounds %struct.MDBX_txn, ptr %691, i32 0, i32 9
  %693 = load ptr, ptr %692, align 8, !tbaa !11
  call void @mdbx_assert_fail(ptr noundef %693, ptr noundef @.str.6, ptr noundef @__func__.txn_nested_create, i32 noundef 432) #10
  unreachable

694:                                              ; preds = %680
  br label %695

695:                                              ; preds = %694
  br label %696

696:                                              ; preds = %695
  br label %697

697:                                              ; preds = %696, %637
  br label %698

698:                                              ; preds = %697
  br label %699

699:                                              ; preds = %698
  br label %700

700:                                              ; preds = %699
  %701 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !30
  %702 = zext i8 %701 to i32
  %703 = and i32 %702, 1
  %704 = icmp ne i32 %703, 0
  %705 = xor i1 %704, true
  %706 = xor i1 %705, true
  %707 = zext i1 %706 to i32
  %708 = sext i32 %707 to i64
  %709 = call i64 @llvm.expect.i64(i64 %708, i64 1)
  %710 = icmp ne i64 %709, 0
  br i1 %710, label %711, label %760

711:                                              ; preds = %700
  br label %712

712:                                              ; preds = %711
  %713 = load ptr, ptr %8, align 8, !tbaa !5
  %714 = getelementptr inbounds %struct.MDBX_txn, ptr %713, i32 0, i32 17
  %715 = getelementptr inbounds %struct.anon.2, ptr %714, i32 0, i32 6
  %716 = load i64, ptr %715, align 8, !tbaa !27
  %717 = load ptr, ptr %8, align 8, !tbaa !5
  %718 = getelementptr inbounds %struct.MDBX_txn, ptr %717, i32 0, i32 17
  %719 = getelementptr inbounds %struct.anon.2, ptr %718, i32 0, i32 7
  %720 = load ptr, ptr %719, align 8, !tbaa !27
  %721 = getelementptr inbounds %struct.dpl, ptr %720, i32 0, i32 1
  %722 = load i64, ptr %721, align 8, !tbaa !28
  %723 = add i64 %716, %722
  %724 = load ptr, ptr %8, align 8, !tbaa !5
  %725 = getelementptr inbounds %struct.MDBX_txn, ptr %724, i32 0, i32 4
  %726 = load ptr, ptr %725, align 8, !tbaa !38
  %727 = icmp ne ptr %726, null
  br i1 %727, label %728, label %735

728:                                              ; preds = %712
  %729 = load ptr, ptr %8, align 8, !tbaa !5
  %730 = getelementptr inbounds %struct.MDBX_txn, ptr %729, i32 0, i32 4
  %731 = load ptr, ptr %730, align 8, !tbaa !38
  %732 = getelementptr inbounds %struct.MDBX_txn, ptr %731, i32 0, i32 17
  %733 = getelementptr inbounds %struct.anon.2, ptr %732, i32 0, i32 6
  %734 = load i64, ptr %733, align 8, !tbaa !27
  br label %743

735:                                              ; preds = %712
  %736 = load ptr, ptr %8, align 8, !tbaa !5
  %737 = getelementptr inbounds %struct.MDBX_txn, ptr %736, i32 0, i32 9
  %738 = load ptr, ptr %737, align 8, !tbaa !11
  %739 = getelementptr inbounds %struct.MDBX_env, ptr %738, i32 0, i32 34
  %740 = getelementptr inbounds %struct.anon.8, ptr %739, i32 0, i32 2
  %741 = load i32, ptr %740, align 8, !tbaa !53
  %742 = zext i32 %741 to i64
  br label %743

743:                                              ; preds = %735, %728
  %744 = phi i64 [ %734, %728 ], [ %742, %735 ]
  %745 = icmp eq i64 %723, %744
  %746 = xor i1 %745, true
  %747 = xor i1 %746, true
  %748 = xor i1 %747, true
  %749 = zext i1 %748 to i32
  %750 = sext i32 %749 to i64
  %751 = call i64 @llvm.expect.i64(i64 %750, i64 0)
  %752 = icmp ne i64 %751, 0
  br i1 %752, label %753, label %757

753:                                              ; preds = %743
  %754 = load ptr, ptr %8, align 8, !tbaa !5
  %755 = getelementptr inbounds %struct.MDBX_txn, ptr %754, i32 0, i32 9
  %756 = load ptr, ptr %755, align 8, !tbaa !11
  call void @mdbx_assert_fail(ptr noundef %756, ptr noundef @.str.7, ptr noundef @__func__.txn_nested_create, i32 noundef 434) #10
  unreachable

757:                                              ; preds = %743
  br label %758

758:                                              ; preds = %757
  br label %759

759:                                              ; preds = %758
  br label %760

760:                                              ; preds = %759, %700
  br label %761

761:                                              ; preds = %760
  br label %762

762:                                              ; preds = %761
  br label %763

763:                                              ; preds = %762
  %764 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !30
  %765 = zext i8 %764 to i32
  %766 = and i32 %765, 1
  %767 = icmp ne i32 %766, 0
  %768 = xor i1 %767, true
  %769 = xor i1 %768, true
  %770 = zext i1 %769 to i32
  %771 = sext i32 %770 to i64
  %772 = call i64 @llvm.expect.i64(i64 %771, i64 1)
  %773 = icmp ne i64 %772, 0
  br i1 %773, label %774, label %796

774:                                              ; preds = %763
  br label %775

775:                                              ; preds = %774
  %776 = load ptr, ptr %4, align 8, !tbaa !5
  %777 = getelementptr inbounds %struct.MDBX_txn, ptr %776, i32 0, i32 14
  %778 = load ptr, ptr %777, align 8, !tbaa !49
  %779 = getelementptr inbounds ptr, ptr %778, i64 0
  %780 = load ptr, ptr %779, align 8, !tbaa !5
  %781 = icmp eq ptr %780, null
  %782 = xor i1 %781, true
  %783 = xor i1 %782, true
  %784 = xor i1 %783, true
  %785 = zext i1 %784 to i32
  %786 = sext i32 %785 to i64
  %787 = call i64 @llvm.expect.i64(i64 %786, i64 0)
  %788 = icmp ne i64 %787, 0
  br i1 %788, label %789, label %793

789:                                              ; preds = %775
  %790 = load ptr, ptr %4, align 8, !tbaa !5
  %791 = getelementptr inbounds %struct.MDBX_txn, ptr %790, i32 0, i32 9
  %792 = load ptr, ptr %791, align 8, !tbaa !11
  call void @mdbx_assert_fail(ptr noundef %792, ptr noundef @.str.8, ptr noundef @__func__.txn_nested_create, i32 noundef 435) #10
  unreachable

793:                                              ; preds = %775
  br label %794

794:                                              ; preds = %793
  br label %795

795:                                              ; preds = %794
  br label %796

796:                                              ; preds = %795, %763
  br label %797

797:                                              ; preds = %796
  br label %798

798:                                              ; preds = %797
  %799 = load ptr, ptr %4, align 8, !tbaa !5
  %800 = call i32 @txn_shadow_cursors(ptr noundef %799, i64 noundef 1)
  store i32 %800, ptr %3, align 4
  store i32 1, ptr %7, align 4
  br label %801

801:                                              ; preds = %798, %568, %354, %240
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #9
  br label %802

802:                                              ; preds = %801, %201
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #9
  br label %803

803:                                              ; preds = %802, %97
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #9
  br label %804

804:                                              ; preds = %803, %48
  %805 = load i32, ptr %3, align 4
  ret i32 %805

806:                                              ; preds = %48
  unreachable
}

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

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

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

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

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

declare i32 @audit_ex(ptr noundef, i64 noundef, i1 noundef zeroext) #4

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

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

declare zeroext i1 @dpl_check(ptr 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) #6

declare void @rkl_init(ptr noundef) #4

declare i32 @dpl_alloc(ptr noundef) #4

declare ptr @pnl_alloc(i64 noundef) #4

declare i32 @pnl_insert_span(ptr noundef, i32 noundef, i64 noundef) #4

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @page_wash(ptr noundef, i64 noundef, ptr noundef, i64 noundef) #2

; Function Attrs: inlinehint nounwind willreturn memory(read) uwtable
declare hidden i64 @dpl_exist(ptr noundef, i32 noundef) #7

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

declare ptr @spill_purge(ptr noundef) #4

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

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

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

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
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 = { nocallback nofree nosync nounwind willreturn memory(none) }
attributes #4 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { noreturn "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #7 = { inlinehint nounwind willreturn memory(read) 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 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #9 = { nounwind }
attributes #10 = { noreturn }
attributes #11 = { 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, !6, i64 80}
!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, !7, i64 291}
!18 = !{!"MDBX_env", !7, i64 0, !10, i64 4, !10, i64 8, !19, i64 16, !10, i64 56, !10, i64 60, !19, i64 64, !6, i64 104, !15, i64 112, !15, i64 114, !15, i64 116, !15, i64 118, !15, i64 120, !15, i64 122, !7, i64 124, !7, i64 128, !7, i64 129, !15, i64 130, !10, i64 132, !10, i64 136, !10, i64 140, !10, i64 144, !20, 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, !21, i64 264, !24, i64 320, !22, i64 360, !6, i64 368, !6, i64 376, !6, i64 384, !25, i64 392, !7, i64 400, !10, i64 440, !10, i64 444, !6, i64 448, !26, i64 456, !7, i64 496, !7, i64 536}
!19 = !{!"osal_mmap", !7, i64 0, !10, i64 8, !13, i64 16, !13, i64 24, !13, i64 32}
!20 = !{!"", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!21 = !{!"", !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, !22, i64 36, !22, i64 37, !22, i64 38, !23, i64 40, !7, i64 48}
!22 = !{!"_Bool", !7, i64 0}
!23 = !{!"", !15, i64 0, !15, i64 2, !15, i64 4, !15, i64 6}
!24 = !{!"", !13, i64 0, !13, i64 8, !13, i64 16, !13, i64 24, !13, i64 32}
!25 = !{!"", !13, i64 0}
!26 = !{!"osal_ioring", !10, i64 0, !10, i64 4, !10, i64 8, !6, i64 16, !6, i64 24, !6, i64 32}
!27 = !{!7, !7, i64 0}
!28 = !{!29, !13, i64 8}
!29 = !{!"dpl", !13, i64 0, !13, i64 8, !13, i64 16, !13, i64 24, !7, i64 32}
!30 = !{!31, !7, i64 25}
!31 = !{!"libmdbx_globals", !7, i64 0, !10, i64 16, !10, i64 20, !7, i64 24, !7, i64 25, !7, i64 26, !22, i64 27, !10, i64 28, !7, i64 32, !7, i64 40, !13, i64 80, !6, i64 88}
!32 = !{!12, !13, i64 64}
!33 = !{!12, !13, i64 72}
!34 = !{i64 0, i64 8, !35, i64 8, i64 8, !35, i64 16, i64 8, !35, i64 24, i64 8, !35}
!35 = !{!13, !13, i64 0}
!36 = !{!12, !10, i64 4}
!37 = !{!12, !6, i64 32}
!38 = !{!12, !6, i64 24}
!39 = !{!18, !6, i64 384}
!40 = !{!12, !13, i64 16}
!41 = !{i64 0, i64 1, !27, i64 1, i64 1, !27, i64 2, i64 1, !27, i64 3, i64 1, !27, i64 4, i64 4, !9, i64 8, i64 24, !27}
!42 = !{!12, !6, i64 96}
!43 = !{!12, !6, i64 112}
!44 = !{i64 0, i64 2, !45, i64 2, i64 2, !45, i64 4, i64 4, !9, i64 8, i64 4, !9, i64 12, i64 4, !27, i64 16, i64 4, !27}
!45 = !{!15, !15, i64 0}
!46 = !{!31, !7, i64 26}
!47 = distinct !{!47, !48}
!48 = !{!"llvm.loop.mustprogress"}
!49 = !{!12, !6, i64 120}
!50 = !{!12, !6, i64 104}
!51 = !{!12, !13, i64 8}
!52 = !{!12, !6, i64 88}
!53 = !{!18, !10, i64 272}


; 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.14 }
%struct.anon.14 = 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 }

@__func__.txn_nested_create = external hidden unnamed_addr constant [18 x i8], align 1
@globals = external local_unnamed_addr global %struct.libmdbx_globals, align 8
@.str = external hidden unnamed_addr constant [30 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [59 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [101 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [135 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [120 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [33 x i8], align 1

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

7:                                                ; preds = %2
  %8 = getelementptr inbounds i8, ptr %0, i64 496
  %9 = load ptr, ptr %8, align 8, !tbaa !25
  %10 = getelementptr inbounds i8, ptr %9, i64 8
  %11 = load i64, ptr %10, align 8, !tbaa !26
  %12 = zext i8 %6 to i64
  %13 = udiv i64 %11, %12
  %14 = tail call i32 @txn_spill(ptr noundef nonnull %0, ptr noundef null, i64 noundef %13)
  %.not133.not = icmp eq i32 %14, 0
  br i1 %.not133.not, label %.thread, label %15, !prof !28

15:                                               ; preds = %7
  %16 = tail call i32 @log_if_error(i32 noundef %14, ptr noundef nonnull @__func__.txn_nested_create, i32 noundef 342)
  br label %251

.thread:                                          ; preds = %7, %2
  %17 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !29
  %18 = and i8 %17, 1
  %.not134 = icmp eq i8 %18, 0
  br i1 %.not134, label %.thread._crit_edge, label %19, !prof !31

.thread._crit_edge:                               ; preds = %.thread
  %.pre = load ptr, ptr %3, align 8, !tbaa !5
  br label %22

19:                                               ; preds = %.thread
  %20 = tail call i32 @audit_ex(ptr noundef nonnull %0, i64 noundef 0, i1 noundef zeroext false) #8
  %.not135 = icmp eq i32 %20, 0
  %.pre168 = load ptr, ptr %3, align 8, !tbaa !5
  br i1 %.not135, label %22, label %21, !prof !28

21:                                               ; preds = %19
  tail call void @mdbx_assert_fail(ptr noundef %.pre168, ptr noundef nonnull @.str, ptr noundef nonnull @__func__.txn_nested_create, i32 noundef 344) #9
  unreachable

22:                                               ; preds = %.thread._crit_edge, %19
  %23 = phi ptr [ %.pre, %.thread._crit_edge ], [ %.pre168, %19 ]
  %24 = tail call ptr @txn_alloc(i32 noundef %1, ptr noundef %23) #8
  %.not136 = icmp eq ptr %24, null
  br i1 %.not136, label %25, label %27, !prof !31

25:                                               ; preds = %22
  %26 = tail call i32 @log_if_error(i32 noundef 12, ptr noundef nonnull @__func__.txn_nested_create, i32 noundef 348)
  br label %251

27:                                               ; preds = %22
  %28 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !29
  %29 = and i8 %28, 1
  %.not137 = icmp eq i8 %29, 0
  br i1 %.not137, label %34, label %30, !prof !31

30:                                               ; preds = %27
  %31 = tail call zeroext i1 @dpl_check(ptr noundef nonnull %0) #8
  br i1 %31, label %34, label %32, !prof !28

32:                                               ; preds = %30
  %33 = load ptr, ptr %3, align 8, !tbaa !5
  tail call void @mdbx_assert_fail(ptr noundef %33, ptr noundef nonnull @.str.1, ptr noundef nonnull @__func__.txn_nested_create, i32 noundef 350) #9
  unreachable

34:                                               ; preds = %30, %27
  %35 = getelementptr inbounds i8, ptr %0, i64 64
  %36 = load i64, ptr %35, align 8, !tbaa !32
  %37 = getelementptr inbounds i8, ptr %24, i64 64
  store i64 %36, ptr %37, align 8, !tbaa !32
  %38 = getelementptr inbounds i8, ptr %0, i64 72
  %39 = load i64, ptr %38, align 8, !tbaa !33
  %40 = add i64 %39, 1
  %41 = getelementptr inbounds i8, ptr %24, i64 72
  store i64 %40, ptr %41, align 8, !tbaa !33
  %42 = getelementptr inbounds i8, ptr %24, i64 128
  %43 = getelementptr inbounds i8, ptr %0, i64 128
  tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(32) %42, ptr noundef nonnull align 8 dereferenceable(32) %43, i64 32, i1 false), !tbaa.struct !34
  %44 = getelementptr inbounds i8, ptr %0, i64 4
  %45 = load i32, ptr %44, align 4, !tbaa !36
  %46 = or i32 %45, 16
  store i32 %46, ptr %44, align 4, !tbaa !36
  %47 = getelementptr inbounds i8, ptr %0, i64 32
  store ptr %24, ptr %47, align 8, !tbaa !37
  %48 = getelementptr inbounds i8, ptr %24, i64 24
  store ptr %0, ptr %48, align 8, !tbaa !38
  %49 = getelementptr inbounds i8, ptr %24, i64 80
  %50 = load ptr, ptr %49, align 8, !tbaa !5
  %51 = getelementptr inbounds i8, ptr %50, i64 384
  store ptr %24, ptr %51, align 8, !tbaa !39
  %52 = getelementptr inbounds i8, ptr %0, i64 16
  %53 = load i64, ptr %52, align 8, !tbaa !40
  %54 = getelementptr inbounds i8, ptr %24, i64 16
  store i64 %53, ptr %54, align 8, !tbaa !40
  %55 = getelementptr inbounds i8, ptr %24, i64 168
  %56 = getelementptr inbounds i8, ptr %0, i64 168
  tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(32) %55, ptr noundef nonnull align 8 dereferenceable(32) %56, i64 32, i1 false), !tbaa.struct !41
  %57 = getelementptr inbounds i8, ptr %24, i64 208
  tail call void @rkl_init(ptr noundef nonnull %57) #8
  %58 = getelementptr inbounds i8, ptr %0, i64 96
  %59 = load ptr, ptr %58, align 8, !tbaa !43
  %60 = getelementptr inbounds i8, ptr %24, i64 96
  store ptr %59, ptr %60, align 8, !tbaa !43
  %61 = getelementptr inbounds i8, ptr %0, i64 112
  %62 = load ptr, ptr %61, align 8, !tbaa !44
  %63 = getelementptr inbounds i8, ptr %24, i64 112
  store ptr %62, ptr %63, align 8, !tbaa !44
  %64 = getelementptr inbounds i8, ptr %24, i64 40
  %65 = getelementptr inbounds i8, ptr %0, i64 40
  tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(20) %64, ptr noundef nonnull align 8 dereferenceable(20) %65, i64 20, i1 false), !tbaa.struct !45
  %66 = tail call i32 @dpl_alloc(ptr noundef nonnull %24) #8
  %.not138 = icmp eq i32 %66, 0
  br i1 %.not138, label %69, label %67, !prof !28

67:                                               ; preds = %34
  %68 = tail call i32 @log_if_error(i32 noundef %66, ptr noundef nonnull @__func__.txn_nested_create, i32 noundef 370)
  br label %251

69:                                               ; preds = %34
  %70 = getelementptr inbounds i8, ptr %0, i64 200
  %71 = load ptr, ptr %70, align 8, !tbaa !25
  %72 = load i32, ptr %71, align 4, !tbaa !42
  %73 = zext i32 %72 to i64
  %74 = getelementptr inbounds i8, ptr %0, i64 520
  %75 = load i64, ptr %74, align 8, !tbaa !25
  %76 = add i64 %75, %73
  %77 = tail call i64 @llvm.umax.i64(i64 %76, i64 1018)
  %78 = tail call ptr @pnl_alloc(i64 noundef %77) #8
  %79 = getelementptr inbounds i8, ptr %24, i64 200
  store ptr %78, ptr %79, align 8, !tbaa !25
  %.not139 = icmp eq ptr %78, null
  br i1 %.not139, label %80, label %82, !prof !31

80:                                               ; preds = %69
  %81 = tail call i32 @log_if_error(i32 noundef 12, ptr noundef nonnull @__func__.txn_nested_create, i32 noundef 375)
  br label %251

82:                                               ; preds = %69
  %83 = load i64, ptr %74, align 8, !tbaa !25
  %.not140 = icmp eq i64 %83, 0
  br i1 %.not140, label %124, label %.preheader

.preheader:                                       ; preds = %82
  %84 = getelementptr inbounds i8, ptr %0, i64 512
  %.pre169 = load ptr, ptr %84, align 8, !tbaa !25
  br label %85

85:                                               ; preds = %.preheader, %._crit_edge
  %86 = phi ptr [ %.pre169, %.preheader ], [ %115, %._crit_edge ]
  %87 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !29
  %88 = and i8 %87, 1
  %.not141 = icmp eq i8 %88, 0
  br i1 %.not141, label %94, label %89, !prof !31

89:                                               ; preds = %85
  %90 = getelementptr inbounds i8, ptr %86, i64 10
  %91 = load i16, ptr %90, align 1, !tbaa !46
  %.not142 = icmp eq i16 %91, 16384
  br i1 %.not142, label %94, label %92, !prof !28

92:                                               ; preds = %89
  %93 = load ptr, ptr %3, align 8, !tbaa !5
  tail call void @mdbx_assert_fail(ptr noundef %93, ptr noundef nonnull @.str.2, ptr noundef nonnull @__func__.txn_nested_create, i32 noundef 381) #9
  unreachable

94:                                               ; preds = %89, %85
  %95 = getelementptr inbounds i8, ptr %86, i64 16
  %96 = load i32, ptr %95, align 1, !tbaa !42
  %97 = tail call i32 @pnl_insert_span(ptr noundef nonnull %70, i32 noundef %96, i64 noundef 1) #8
  %.not143 = icmp eq i32 %97, 0
  br i1 %.not143, label %98, label %106, !prof !28

98:                                               ; preds = %94
  %99 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 26), align 2, !tbaa !47
  %100 = icmp ugt i8 %99, 5
  br i1 %100, label %101, label %._crit_edge, !prof !31

101:                                              ; preds = %98
  %102 = getelementptr inbounds i8, ptr %86, i64 20
  %103 = ptrtoint ptr %102 to i64
  %104 = add nsw i64 %103, 4
  %105 = inttoptr i64 %104 to ptr
  tail call void (i32, ptr, i32, ptr, ...) @debug_log(i32 noundef 6, ptr noundef nonnull @__func__.txn_nested_create, i32 noundef 385, ptr noundef nonnull @.str.3, ptr noundef %105, i64 noundef 8, i32 noundef 385) #8
  br label %._crit_edge

106:                                              ; preds = %94
  %107 = tail call i32 @log_if_error(i32 noundef %97, ptr noundef nonnull @__func__.txn_nested_create, i32 noundef 384)
  br label %251

._crit_edge:                                      ; preds = %98, %101
  %108 = getelementptr inbounds i8, ptr %86, i64 20
  %109 = ptrtoint ptr %108 to i64
  %110 = add nsw i64 %109, 4
  %111 = inttoptr i64 %110 to ptr
  %112 = load ptr, ptr %111, align 8, !tbaa !48
  store ptr %112, ptr %84, align 8, !tbaa !25
  %113 = load i32, ptr %95, align 1, !tbaa !42
  %114 = tail call i64 @dpl_exist(ptr noundef nonnull %0, i32 noundef %113) #10
  tail call void @page_wash(ptr noundef nonnull %0, i64 noundef %114, ptr noundef nonnull %86, i64 noundef 1)
  %115 = load ptr, ptr %84, align 8, !tbaa !25
  %.not144 = icmp eq ptr %115, null
  br i1 %.not144, label %116, label %85, !llvm.loop !49

116:                                              ; preds = %._crit_edge
  store i64 0, ptr %74, align 8, !tbaa !25
  %117 = getelementptr inbounds i8, ptr %0, i64 476
  store i32 0, ptr %117, align 4, !tbaa !25
  %118 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !29
  %119 = and i8 %118, 1
  %.not145 = icmp eq i8 %119, 0
  br i1 %.not145, label %124, label %120, !prof !31

120:                                              ; preds = %116
  %121 = tail call zeroext i1 @dpl_check(ptr noundef nonnull %0) #8
  br i1 %121, label %124, label %122, !prof !28

122:                                              ; preds = %120
  %123 = load ptr, ptr %3, align 8, !tbaa !5
  tail call void @mdbx_assert_fail(ptr noundef %123, ptr noundef nonnull @.str.1, ptr noundef nonnull @__func__.txn_nested_create, i32 noundef 395) #9
  unreachable

124:                                              ; preds = %116, %120, %82
  %125 = getelementptr inbounds i8, ptr %24, i64 476
  store i32 0, ptr %125, align 4, !tbaa !25
  %126 = getelementptr inbounds i8, ptr %0, i64 488
  %127 = load i64, ptr %126, align 8, !tbaa !25
  %128 = getelementptr inbounds i8, ptr %24, i64 488
  store i64 %127, ptr %128, align 8, !tbaa !25
  %129 = getelementptr inbounds i8, ptr %0, i64 480
  %130 = load i32, ptr %129, align 8, !tbaa !25
  %131 = getelementptr inbounds i8, ptr %24, i64 480
  store i32 %130, ptr %131, align 8, !tbaa !25
  %132 = tail call ptr @dpl_sort(ptr noundef nonnull %0)
  %133 = getelementptr inbounds i8, ptr %0, i64 536
  %134 = load ptr, ptr %133, align 8, !tbaa !25
  %.not146 = icmp eq ptr %134, null
  br i1 %.not146, label %137, label %135

135:                                              ; preds = %124
  %136 = tail call ptr @spill_purge(ptr noundef nonnull %0) #8
  br label %137

137:                                              ; preds = %124, %135
  %138 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !29
  %139 = and i8 %138, 1
  %.not147 = icmp eq i8 %139, 0
  %.pre170 = load ptr, ptr %79, align 8, !tbaa !25
  %.pre171 = load ptr, ptr %70, align 8, !tbaa !25
  %.pre172 = load i32, ptr %.pre171, align 4, !tbaa !42
  br i1 %.not147, label %145, label %140, !prof !31

140:                                              ; preds = %137
  %141 = getelementptr inbounds i8, ptr %.pre170, i64 -4
  %142 = load i32, ptr %141, align 4, !tbaa !42
  %.not148 = icmp ult i32 %142, %.pre172
  br i1 %.not148, label %143, label %145, !prof !31

143:                                              ; preds = %140
  %144 = load ptr, ptr %49, align 8, !tbaa !5
  tail call void @mdbx_assert_fail(ptr noundef %144, ptr noundef nonnull @.str.4, ptr noundef nonnull @__func__.txn_nested_create, i32 noundef 407) #9
  unreachable

145:                                              ; preds = %140, %137
  %146 = zext i32 %.pre172 to i64
  %147 = shl nuw nsw i64 %146, 2
  %148 = add nuw nsw i64 %147, 4
  tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(1) %.pre170, ptr noundef nonnull align 4 dereferenceable(1) %.pre171, i64 %148, i1 false)
  %149 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !29
  %150 = and i8 %149, 1
  %.not149 = icmp eq i8 %150, 0
  br i1 %.not149, label %161, label %151, !prof !31

151:                                              ; preds = %145
  %152 = load ptr, ptr %79, align 8, !tbaa !25
  %153 = getelementptr inbounds i8, ptr %0, i64 56
  %154 = load i32, ptr %153, align 8, !tbaa !25
  %155 = getelementptr inbounds i8, ptr %24, i64 56
  store i32 %154, ptr %155, align 8, !tbaa !25
  %156 = add i32 %154, -1
  %157 = zext i32 %156 to i64
  %158 = tail call zeroext i1 @pnl_check_allocated(ptr noundef %152, i64 noundef %157)
  br i1 %158, label %161, label %159, !prof !28

159:                                              ; preds = %151
  %160 = load ptr, ptr %49, align 8, !tbaa !5
  tail call void @mdbx_assert_fail(ptr noundef %160, ptr noundef nonnull @.str.5, ptr noundef nonnull @__func__.txn_nested_create, i32 noundef 413) #9
  unreachable

161:                                              ; preds = %151, %145
  %162 = getelementptr inbounds i8, ptr %0, i64 208
  %163 = getelementptr inbounds i8, ptr %0, i64 336
  %164 = load i64, ptr %163, align 8, !tbaa !25
  %165 = getelementptr inbounds i8, ptr %24, i64 336
  store i64 %164, ptr %165, align 8, !tbaa !25
  %166 = getelementptr inbounds i8, ptr %24, i64 344
  tail call void @rkl_init(ptr noundef nonnull %166) #8
  %167 = tail call i32 @rkl_copy(ptr noundef nonnull %162, ptr noundef nonnull %57) #8
  %.not150 = icmp eq i32 %167, 0
  br i1 %.not150, label %168, label %251, !prof !28

168:                                              ; preds = %161
  %169 = getelementptr inbounds i8, ptr %0, i64 504
  %170 = load ptr, ptr %169, align 8, !tbaa !25
  %171 = getelementptr inbounds i8, ptr %24, i64 504
  store ptr %170, ptr %171, align 8, !tbaa !25
  %172 = load i32, ptr %170, align 4, !tbaa !42
  %173 = zext i32 %172 to i64
  %174 = inttoptr i64 %173 to ptr
  store ptr %174, ptr %169, align 8, !tbaa !25
  %175 = getelementptr inbounds i8, ptr %24, i64 120
  %176 = load ptr, ptr %175, align 8, !tbaa !51
  store ptr null, ptr %176, align 8, !tbaa !48
  %177 = load ptr, ptr %175, align 8, !tbaa !51
  %178 = getelementptr inbounds i8, ptr %177, i64 8
  store ptr null, ptr %178, align 8, !tbaa !48
  %179 = getelementptr inbounds i8, ptr %0, i64 104
  %180 = load ptr, ptr %179, align 8, !tbaa !52
  %181 = load i8, ptr %180, align 1, !tbaa !25
  %182 = and i8 %181, -14
  %183 = getelementptr inbounds i8, ptr %24, i64 104
  %184 = load ptr, ptr %183, align 8, !tbaa !52
  store i8 %182, ptr %184, align 1, !tbaa !25
  %185 = load ptr, ptr %179, align 8, !tbaa !52
  %186 = getelementptr inbounds i8, ptr %185, i64 1
  %187 = load i8, ptr %186, align 1, !tbaa !25
  %188 = and i8 %187, -14
  %189 = load ptr, ptr %183, align 8, !tbaa !52
  %190 = getelementptr inbounds i8, ptr %189, i64 1
  store i8 %188, ptr %190, align 1, !tbaa !25
  %191 = load ptr, ptr %183, align 8, !tbaa !52
  %192 = getelementptr inbounds i8, ptr %191, i64 2
  %193 = getelementptr inbounds i8, ptr %0, i64 8
  %194 = load i64, ptr %193, align 8, !tbaa !53
  %195 = getelementptr inbounds i8, ptr %24, i64 8
  store i64 %194, ptr %195, align 8, !tbaa !53
  %196 = add i64 %194, -2
  tail call void @llvm.memset.p0.i64(ptr nonnull align 1 %192, i8 0, i64 %196, i1 false)
  %197 = getelementptr inbounds i8, ptr %24, i64 88
  %198 = load ptr, ptr %197, align 8, !tbaa !54
  %199 = getelementptr inbounds i8, ptr %0, i64 88
  %200 = load ptr, ptr %199, align 8, !tbaa !54
  tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(96) %198, ptr noundef nonnull align 4 dereferenceable(96) %200, i64 96, i1 false)
  %201 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !29
  %202 = and i8 %201, 1
  %.not151 = icmp eq i8 %202, 0
  br i1 %.not151, label %.thread165, label %203, !prof !31

203:                                              ; preds = %168
  %204 = load i64, ptr %126, align 8, !tbaa !25
  %205 = getelementptr inbounds i8, ptr %0, i64 496
  %206 = load ptr, ptr %205, align 8, !tbaa !25
  %207 = getelementptr inbounds i8, ptr %206, i64 8
  %208 = load i64, ptr %207, align 8, !tbaa !26
  %209 = add i64 %208, %204
  %210 = getelementptr inbounds i8, ptr %0, i64 24
  %211 = load ptr, ptr %210, align 8, !tbaa !38
  %.not152 = icmp eq ptr %211, null
  br i1 %.not152, label %215, label %212

212:                                              ; preds = %203
  %213 = getelementptr inbounds i8, ptr %211, i64 488
  %214 = load i64, ptr %213, align 8, !tbaa !25
  br label %220

215:                                              ; preds = %203
  %216 = load ptr, ptr %3, align 8, !tbaa !5
  %217 = getelementptr inbounds i8, ptr %216, i64 272
  %218 = load i32, ptr %217, align 8, !tbaa !55
  %219 = zext i32 %218 to i64
  br label %220

220:                                              ; preds = %215, %212
  %221 = phi i64 [ %214, %212 ], [ %219, %215 ]
  %.not153 = icmp eq i64 %209, %221
  br i1 %.not153, label %224, label %222, !prof !28

222:                                              ; preds = %220
  %223 = load ptr, ptr %3, align 8, !tbaa !5
  tail call void @mdbx_assert_fail(ptr noundef %223, ptr noundef nonnull @.str.6, ptr noundef nonnull @__func__.txn_nested_create, i32 noundef 432) #9
  unreachable

224:                                              ; preds = %220
  %225 = load i64, ptr %128, align 8, !tbaa !25
  %226 = getelementptr inbounds i8, ptr %24, i64 496
  %227 = load ptr, ptr %226, align 8, !tbaa !25
  %228 = getelementptr inbounds i8, ptr %227, i64 8
  %229 = load i64, ptr %228, align 8, !tbaa !26
  %230 = add i64 %229, %225
  %231 = load ptr, ptr %48, align 8, !tbaa !38
  %.not155 = icmp eq ptr %231, null
  br i1 %.not155, label %235, label %232

232:                                              ; preds = %224
  %233 = getelementptr inbounds i8, ptr %231, i64 488
  %234 = load i64, ptr %233, align 8, !tbaa !25
  br label %240

235:                                              ; preds = %224
  %236 = load ptr, ptr %49, align 8, !tbaa !5
  %237 = getelementptr inbounds i8, ptr %236, i64 272
  %238 = load i32, ptr %237, align 8, !tbaa !55
  %239 = zext i32 %238 to i64
  br label %240

240:                                              ; preds = %235, %232
  %241 = phi i64 [ %234, %232 ], [ %239, %235 ]
  %.not156 = icmp eq i64 %230, %241
  br i1 %.not156, label %244, label %242, !prof !28

242:                                              ; preds = %240
  %243 = load ptr, ptr %49, align 8, !tbaa !5
  tail call void @mdbx_assert_fail(ptr noundef %243, ptr noundef nonnull @.str.7, ptr noundef nonnull @__func__.txn_nested_create, i32 noundef 434) #9
  unreachable

244:                                              ; preds = %240
  %245 = getelementptr inbounds i8, ptr %0, i64 120
  %246 = load ptr, ptr %245, align 8, !tbaa !51
  %247 = load ptr, ptr %246, align 8, !tbaa !48
  %.not158 = icmp eq ptr %247, null
  br i1 %.not158, label %.thread165, label %248, !prof !28

248:                                              ; preds = %244
  %249 = load ptr, ptr %3, align 8, !tbaa !5
  tail call void @mdbx_assert_fail(ptr noundef %249, ptr noundef nonnull @.str.8, ptr noundef nonnull @__func__.txn_nested_create, i32 noundef 435) #9
  unreachable

.thread165:                                       ; preds = %168, %244
  %250 = tail call i32 @txn_shadow_cursors(ptr noundef nonnull %0, i64 noundef 1) #8
  br label %251

251:                                              ; preds = %106, %15, %25, %80, %.thread165, %161, %67
  %.7 = phi i32 [ %16, %15 ], [ %26, %25 ], [ %68, %67 ], [ %81, %80 ], [ %250, %.thread165 ], [ %107, %106 ], [ %167, %161 ]
  ret i32 %.7
}

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

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

declare i32 @audit_ex(ptr noundef, i64 noundef, i1 noundef zeroext) local_unnamed_addr #2

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

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

declare zeroext i1 @dpl_check(ptr 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) #4

declare void @rkl_init(ptr noundef) local_unnamed_addr #2

declare i32 @dpl_alloc(ptr noundef) local_unnamed_addr #2

declare ptr @pnl_alloc(i64 noundef) local_unnamed_addr #2

declare i32 @pnl_insert_span(ptr noundef, i32 noundef, i64 noundef) local_unnamed_addr #2

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

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

; Function Attrs: inlinehint mustprogress nofree nounwind willreturn memory(read) uwtable
declare hidden i64 @dpl_exist(ptr noundef, i32 noundef) local_unnamed_addr #5

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

declare ptr @spill_purge(ptr noundef) local_unnamed_addr #2

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

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

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

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

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

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


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