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

; 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.6 }
%struct.anon.6 = 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.dpl = type { i64, i64, i64, i64, [18 x %struct.dp] }
%struct.dp = type { ptr, i32, i32 }

@globals = external global %struct.libmdbx_globals, align 8
@.str = external hidden unnamed_addr constant [36 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [73 x i8], align 1
@__func__.dpl_search = external hidden unnamed_addr constant [11 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [17 x i8], align 1

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

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

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

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

; Function Attrs: hot noinline nounwind uwtable
declare dso_local ptr @dpl_sort_slowpath(ptr noundef) #3

; Function Attrs: hot noinline nounwind willreturn memory(read) uwtable
define dso_local i64 @dpl_search(ptr noundef %0, i32 noundef %1) #4 {
  %3 = alloca i64, align 8
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store i32 %1, ptr %5, align 4, !tbaa !9
  br label %9

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

20:                                               ; preds = %9
  br label %21

21:                                               ; preds = %20
  %22 = load ptr, ptr %4, align 8, !tbaa !5
  %23 = getelementptr inbounds %struct.MDBX_txn, ptr %22, i32 0, i32 1
  %24 = load i32, ptr %23, align 4, !tbaa !15
  %25 = and i32 %24, 131072
  %26 = icmp eq i32 %25, 0
  %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 %38

34:                                               ; preds = %21
  %35 = load ptr, ptr %4, align 8, !tbaa !5
  %36 = getelementptr inbounds %struct.MDBX_txn, ptr %35, i32 0, i32 9
  %37 = load ptr, ptr %36, align 8, !tbaa !20
  call void @mdbx_assert_fail(ptr noundef %37, ptr noundef @.str, ptr noundef @__func__.dpl_search, i32 noundef 135) #6
  unreachable

38:                                               ; preds = %21
  br label %39

39:                                               ; preds = %38
  br label %40

40:                                               ; preds = %39, %9
  br label %41

41:                                               ; preds = %40
  br label %42

42:                                               ; preds = %41
  %43 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !11
  %44 = zext i8 %43 to i32
  %45 = and i32 %44, 1
  %46 = icmp ne i32 %45, 0
  %47 = xor i1 %46, true
  %48 = xor i1 %47, true
  %49 = zext i1 %48 to i32
  %50 = sext i32 %49 to i64
  %51 = call i64 @llvm.expect.i64(i64 %50, i64 1)
  %52 = icmp ne i64 %51, 0
  br i1 %52, label %53, label %76

53:                                               ; preds = %42
  br label %54

54:                                               ; preds = %53
  %55 = load ptr, ptr %4, align 8, !tbaa !5
  %56 = getelementptr inbounds %struct.MDBX_txn, ptr %55, i32 0, i32 1
  %57 = load i32, ptr %56, align 4, !tbaa !15
  %58 = and i32 %57, 524288
  %59 = icmp eq i32 %58, 0
  br i1 %59, label %61, label %60

60:                                               ; preds = %54
  br label %61

61:                                               ; preds = %60, %54
  %62 = phi i1 [ true, %54 ], [ false, %60 ]
  %63 = xor i1 %62, true
  %64 = xor i1 %63, true
  %65 = xor i1 %64, true
  %66 = zext i1 %65 to i32
  %67 = sext i32 %66 to i64
  %68 = call i64 @llvm.expect.i64(i64 %67, i64 0)
  %69 = icmp ne i64 %68, 0
  br i1 %69, label %70, label %74

70:                                               ; preds = %61
  %71 = load ptr, ptr %4, align 8, !tbaa !5
  %72 = getelementptr inbounds %struct.MDBX_txn, ptr %71, i32 0, i32 9
  %73 = load ptr, ptr %72, align 8, !tbaa !20
  call void @mdbx_assert_fail(ptr noundef %73, ptr noundef @.str.1, ptr noundef @__func__.dpl_search, i32 noundef 136) #6
  unreachable

74:                                               ; preds = %61
  br label %75

75:                                               ; preds = %74
  br label %76

76:                                               ; preds = %75, %42
  br label %77

77:                                               ; preds = %76
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #7
  %78 = load ptr, ptr %4, align 8, !tbaa !5
  %79 = getelementptr inbounds %struct.MDBX_txn, ptr %78, i32 0, i32 17
  %80 = getelementptr inbounds %struct.anon.2, ptr %79, i32 0, i32 7
  %81 = load ptr, ptr %80, align 8, !tbaa !21
  store ptr %81, ptr %6, align 8, !tbaa !5
  br label %82

82:                                               ; preds = %77
  %83 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !11
  %84 = zext i8 %83 to i32
  %85 = and i32 %84, 1
  %86 = icmp ne i32 %85, 0
  %87 = xor i1 %86, true
  %88 = xor i1 %87, true
  %89 = zext i1 %88 to i32
  %90 = sext i32 %89 to i64
  %91 = call i64 @llvm.expect.i64(i64 %90, i64 1)
  %92 = icmp ne i64 %91, 0
  br i1 %92, label %93, label %125

93:                                               ; preds = %82
  br label %94

94:                                               ; preds = %93
  %95 = load ptr, ptr %6, align 8, !tbaa !5
  %96 = getelementptr inbounds %struct.dpl, ptr %95, i32 0, i32 4
  %97 = getelementptr inbounds [18 x %struct.dp], ptr %96, i64 0, i64 0
  %98 = getelementptr inbounds %struct.dp, ptr %97, i32 0, i32 1
  %99 = load i32, ptr %98, align 8, !tbaa !22
  %100 = icmp eq i32 %99, 0
  br i1 %100, label %101, label %112

101:                                              ; preds = %94
  %102 = load ptr, ptr %6, align 8, !tbaa !5
  %103 = getelementptr inbounds %struct.dpl, ptr %102, i32 0, i32 4
  %104 = load ptr, ptr %6, align 8, !tbaa !5
  %105 = getelementptr inbounds %struct.dpl, ptr %104, i32 0, i32 1
  %106 = load i64, ptr %105, align 8, !tbaa !24
  %107 = add i64 %106, 1
  %108 = getelementptr inbounds [18 x %struct.dp], ptr %103, i64 0, i64 %107
  %109 = getelementptr inbounds %struct.dp, ptr %108, i32 0, i32 1
  %110 = load i32, ptr %109, align 8, !tbaa !22
  %111 = icmp eq i32 %110, -1
  br label %112

112:                                              ; preds = %101, %94
  %113 = phi i1 [ false, %94 ], [ %111, %101 ]
  %114 = xor i1 %113, true
  %115 = xor i1 %114, true
  %116 = xor i1 %115, true
  %117 = zext i1 %116 to i32
  %118 = sext i32 %117 to i64
  %119 = call i64 @llvm.expect.i64(i64 %118, i64 0)
  %120 = icmp ne i64 %119, 0
  br i1 %120, label %121, label %122

121:                                              ; preds = %112
  call void @mdbx_assert_fail(ptr noundef null, ptr noundef @.str.3, ptr noundef @__func__.dpl_search, i32 noundef 139) #6
  unreachable

122:                                              ; preds = %112
  br label %123

123:                                              ; preds = %122
  br label %124

124:                                              ; preds = %123
  br label %125

125:                                              ; preds = %124, %82
  br label %126

126:                                              ; preds = %125
  br label %127

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

138:                                              ; preds = %127
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #7
  %139 = load ptr, ptr %6, align 8, !tbaa !5
  %140 = getelementptr inbounds %struct.dpl, ptr %139, i32 0, i32 4
  %141 = getelementptr inbounds [18 x %struct.dp], ptr %140, i64 0, i64 0
  %142 = load ptr, ptr %6, align 8, !tbaa !5
  %143 = getelementptr inbounds %struct.dpl, ptr %142, i32 0, i32 0
  %144 = load i64, ptr %143, align 8, !tbaa !26
  %145 = getelementptr inbounds %struct.dp, ptr %141, i64 %144
  store ptr %145, ptr %7, align 8, !tbaa !5
  br label %146

146:                                              ; preds = %222, %138
  %147 = load ptr, ptr %7, align 8, !tbaa !5
  %148 = getelementptr inbounds %struct.dp, ptr %147, i32 -1
  store ptr %148, ptr %7, align 8, !tbaa !5
  %149 = load ptr, ptr %6, align 8, !tbaa !5
  %150 = getelementptr inbounds %struct.dpl, ptr %149, i32 0, i32 4
  %151 = getelementptr inbounds [18 x %struct.dp], ptr %150, i64 0, i64 0
  %152 = icmp ugt ptr %148, %151
  br i1 %152, label %154, label %153

153:                                              ; preds = %146
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #7
  br label %223

154:                                              ; preds = %146
  br label %155

155:                                              ; preds = %154
  %156 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !11
  %157 = zext i8 %156 to i32
  %158 = and i32 %157, 1
  %159 = icmp ne i32 %158, 0
  %160 = xor i1 %159, true
  %161 = xor i1 %160, true
  %162 = zext i1 %161 to i32
  %163 = sext i32 %162 to i64
  %164 = call i64 @llvm.expect.i64(i64 %163, i64 1)
  %165 = icmp ne i64 %164, 0
  br i1 %165, label %166, label %188

166:                                              ; preds = %155
  br label %167

167:                                              ; preds = %166
  %168 = load ptr, ptr %7, align 8, !tbaa !5
  %169 = getelementptr inbounds %struct.dp, ptr %168, i64 0
  %170 = getelementptr inbounds %struct.dp, ptr %169, i32 0, i32 1
  %171 = load i32, ptr %170, align 8, !tbaa !22
  %172 = load ptr, ptr %7, align 8, !tbaa !5
  %173 = getelementptr inbounds %struct.dp, ptr %172, i64 1
  %174 = getelementptr inbounds %struct.dp, ptr %173, i32 0, i32 1
  %175 = load i32, ptr %174, align 8, !tbaa !22
  %176 = icmp ult i32 %171, %175
  %177 = xor i1 %176, true
  %178 = xor i1 %177, true
  %179 = xor i1 %178, true
  %180 = zext i1 %179 to i32
  %181 = sext i32 %180 to i64
  %182 = call i64 @llvm.expect.i64(i64 %181, i64 0)
  %183 = icmp ne i64 %182, 0
  br i1 %183, label %184, label %185

184:                                              ; preds = %167
  call void @mdbx_assert_fail(ptr noundef null, ptr noundef @.str.7, ptr noundef @__func__.dpl_search, i32 noundef 142) #6
  unreachable

185:                                              ; preds = %167
  br label %186

186:                                              ; preds = %185
  br label %187

187:                                              ; preds = %186
  br label %188

188:                                              ; preds = %187, %155
  br label %189

189:                                              ; preds = %188
  br label %190

190:                                              ; preds = %189
  br label %191

191:                                              ; preds = %190
  %192 = load i8, ptr getelementptr inbounds (%struct.libmdbx_globals, ptr @globals, i32 0, i32 4), align 1, !tbaa !11
  %193 = zext i8 %192 to i32
  %194 = and i32 %193, 1
  %195 = icmp ne i32 %194, 0
  %196 = xor i1 %195, true
  %197 = xor i1 %196, true
  %198 = zext i1 %197 to i32
  %199 = sext i32 %198 to i64
  %200 = call i64 @llvm.expect.i64(i64 %199, i64 1)
  %201 = icmp ne i64 %200, 0
  br i1 %201, label %202, label %220

202:                                              ; preds = %191
  br label %203

203:                                              ; preds = %202
  %204 = load ptr, ptr %7, align 8, !tbaa !5
  %205 = getelementptr inbounds %struct.dp, ptr %204, i64 0
  %206 = getelementptr inbounds %struct.dp, ptr %205, i32 0, i32 1
  %207 = load i32, ptr %206, align 8, !tbaa !22
  %208 = icmp uge i32 %207, 3
  %209 = xor i1 %208, true
  %210 = xor i1 %209, true
  %211 = xor i1 %210, true
  %212 = zext i1 %211 to i32
  %213 = sext i32 %212 to i64
  %214 = call i64 @llvm.expect.i64(i64 %213, i64 0)
  %215 = icmp ne i64 %214, 0
  br i1 %215, label %216, label %217

216:                                              ; preds = %203
  call void @mdbx_assert_fail(ptr noundef null, ptr noundef @.str.8, ptr noundef @__func__.dpl_search, i32 noundef 143) #6
  unreachable

217:                                              ; preds = %203
  br label %218

218:                                              ; preds = %217
  br label %219

219:                                              ; preds = %218
  br label %220

220:                                              ; preds = %219, %191
  br label %221

221:                                              ; preds = %220
  br label %222

222:                                              ; preds = %221
  br label %146, !llvm.loop !27

223:                                              ; preds = %153
  br label %224

224:                                              ; preds = %223, %127
  %225 = load ptr, ptr %6, align 8, !tbaa !5
  %226 = getelementptr inbounds %struct.dpl, ptr %225, i32 0, i32 1
  %227 = load i64, ptr %226, align 8, !tbaa !24
  %228 = load ptr, ptr %6, align 8, !tbaa !5
  %229 = getelementptr inbounds %struct.dpl, ptr %228, i32 0, i32 0
  %230 = load i64, ptr %229, align 8, !tbaa !26
  %231 = sub i64 %227, %230
  switch i64 %231, label %232 [
    i64 0, label %371
    i64 7, label %235
    i64 6, label %255
    i64 5, label %275
    i64 4, label %295
    i64 3, label %315
    i64 2, label %335
    i64 1, label %355
  ]

232:                                              ; preds = %224
  %233 = load ptr, ptr %4, align 8, !tbaa !5
  %234 = call ptr @dpl_sort_slowpath(ptr noundef %233) #8
  br label %371

235:                                              ; preds = %224
  %236 = load ptr, ptr %6, align 8, !tbaa !5
  %237 = getelementptr inbounds %struct.dpl, ptr %236, i32 0, i32 4
  %238 = load ptr, ptr %6, align 8, !tbaa !5
  %239 = getelementptr inbounds %struct.dpl, ptr %238, i32 0, i32 1
  %240 = load i64, ptr %239, align 8, !tbaa !24
  %241 = sub i64 %240, 7
  %242 = add i64 %241, 1
  %243 = getelementptr inbounds [18 x %struct.dp], ptr %237, i64 0, i64 %242
  %244 = getelementptr inbounds %struct.dp, ptr %243, i32 0, i32 1
  %245 = load i32, ptr %244, align 8, !tbaa !22
  %246 = load i32, ptr %5, align 4, !tbaa !9
  %247 = icmp eq i32 %245, %246
  br i1 %247, label %248, label %254

248:                                              ; preds = %235
  %249 = load ptr, ptr %6, align 8, !tbaa !5
  %250 = getelementptr inbounds %struct.dpl, ptr %249, i32 0, i32 1
  %251 = load i64, ptr %250, align 8, !tbaa !24
  %252 = sub i64 %251, 7
  %253 = add i64 %252, 1
  store i64 %253, ptr %3, align 8
  store i32 1, ptr %8, align 4
  br label %388

254:                                              ; preds = %235
  br label %255

255:                                              ; preds = %254, %224
  %256 = load ptr, ptr %6, align 8, !tbaa !5
  %257 = getelementptr inbounds %struct.dpl, ptr %256, i32 0, i32 4
  %258 = load ptr, ptr %6, align 8, !tbaa !5
  %259 = getelementptr inbounds %struct.dpl, ptr %258, i32 0, i32 1
  %260 = load i64, ptr %259, align 8, !tbaa !24
  %261 = sub i64 %260, 6
  %262 = add i64 %261, 1
  %263 = getelementptr inbounds [18 x %struct.dp], ptr %257, i64 0, i64 %262
  %264 = getelementptr inbounds %struct.dp, ptr %263, i32 0, i32 1
  %265 = load i32, ptr %264, align 8, !tbaa !22
  %266 = load i32, ptr %5, align 4, !tbaa !9
  %267 = icmp eq i32 %265, %266
  br i1 %267, label %268, label %274

268:                                              ; preds = %255
  %269 = load ptr, ptr %6, align 8, !tbaa !5
  %270 = getelementptr inbounds %struct.dpl, ptr %269, i32 0, i32 1
  %271 = load i64, ptr %270, align 8, !tbaa !24
  %272 = sub i64 %271, 6
  %273 = add i64 %272, 1
  store i64 %273, ptr %3, align 8
  store i32 1, ptr %8, align 4
  br label %388

274:                                              ; preds = %255
  br label %275

275:                                              ; preds = %274, %224
  %276 = load ptr, ptr %6, align 8, !tbaa !5
  %277 = getelementptr inbounds %struct.dpl, ptr %276, i32 0, i32 4
  %278 = load ptr, ptr %6, align 8, !tbaa !5
  %279 = getelementptr inbounds %struct.dpl, ptr %278, i32 0, i32 1
  %280 = load i64, ptr %279, align 8, !tbaa !24
  %281 = sub i64 %280, 5
  %282 = add i64 %281, 1
  %283 = getelementptr inbounds [18 x %struct.dp], ptr %277, i64 0, i64 %282
  %284 = getelementptr inbounds %struct.dp, ptr %283, i32 0, i32 1
  %285 = load i32, ptr %284, align 8, !tbaa !22
  %286 = load i32, ptr %5, align 4, !tbaa !9
  %287 = icmp eq i32 %285, %286
  br i1 %287, label %288, label %294

288:                                              ; preds = %275
  %289 = load ptr, ptr %6, align 8, !tbaa !5
  %290 = getelementptr inbounds %struct.dpl, ptr %289, i32 0, i32 1
  %291 = load i64, ptr %290, align 8, !tbaa !24
  %292 = sub i64 %291, 5
  %293 = add i64 %292, 1
  store i64 %293, ptr %3, align 8
  store i32 1, ptr %8, align 4
  br label %388

294:                                              ; preds = %275
  br label %295

295:                                              ; preds = %294, %224
  %296 = load ptr, ptr %6, align 8, !tbaa !5
  %297 = getelementptr inbounds %struct.dpl, ptr %296, i32 0, i32 4
  %298 = load ptr, ptr %6, align 8, !tbaa !5
  %299 = getelementptr inbounds %struct.dpl, ptr %298, i32 0, i32 1
  %300 = load i64, ptr %299, align 8, !tbaa !24
  %301 = sub i64 %300, 4
  %302 = add i64 %301, 1
  %303 = getelementptr inbounds [18 x %struct.dp], ptr %297, i64 0, i64 %302
  %304 = getelementptr inbounds %struct.dp, ptr %303, i32 0, i32 1
  %305 = load i32, ptr %304, align 8, !tbaa !22
  %306 = load i32, ptr %5, align 4, !tbaa !9
  %307 = icmp eq i32 %305, %306
  br i1 %307, label %308, label %314

308:                                              ; preds = %295
  %309 = load ptr, ptr %6, align 8, !tbaa !5
  %310 = getelementptr inbounds %struct.dpl, ptr %309, i32 0, i32 1
  %311 = load i64, ptr %310, align 8, !tbaa !24
  %312 = sub i64 %311, 4
  %313 = add i64 %312, 1
  store i64 %313, ptr %3, align 8
  store i32 1, ptr %8, align 4
  br label %388

314:                                              ; preds = %295
  br label %315

315:                                              ; preds = %314, %224
  %316 = load ptr, ptr %6, align 8, !tbaa !5
  %317 = getelementptr inbounds %struct.dpl, ptr %316, i32 0, i32 4
  %318 = load ptr, ptr %6, align 8, !tbaa !5
  %319 = getelementptr inbounds %struct.dpl, ptr %318, i32 0, i32 1
  %320 = load i64, ptr %319, align 8, !tbaa !24
  %321 = sub i64 %320, 3
  %322 = add i64 %321, 1
  %323 = getelementptr inbounds [18 x %struct.dp], ptr %317, i64 0, i64 %322
  %324 = getelementptr inbounds %struct.dp, ptr %323, i32 0, i32 1
  %325 = load i32, ptr %324, align 8, !tbaa !22
  %326 = load i32, ptr %5, align 4, !tbaa !9
  %327 = icmp eq i32 %325, %326
  br i1 %327, label %328, label %334

328:                                              ; preds = %315
  %329 = load ptr, ptr %6, align 8, !tbaa !5
  %330 = getelementptr inbounds %struct.dpl, ptr %329, i32 0, i32 1
  %331 = load i64, ptr %330, align 8, !tbaa !24
  %332 = sub i64 %331, 3
  %333 = add i64 %332, 1
  store i64 %333, ptr %3, align 8
  store i32 1, ptr %8, align 4
  br label %388

334:                                              ; preds = %315
  br label %335

335:                                              ; preds = %334, %224
  %336 = load ptr, ptr %6, align 8, !tbaa !5
  %337 = getelementptr inbounds %struct.dpl, ptr %336, i32 0, i32 4
  %338 = load ptr, ptr %6, align 8, !tbaa !5
  %339 = getelementptr inbounds %struct.dpl, ptr %338, i32 0, i32 1
  %340 = load i64, ptr %339, align 8, !tbaa !24
  %341 = sub i64 %340, 2
  %342 = add i64 %341, 1
  %343 = getelementptr inbounds [18 x %struct.dp], ptr %337, i64 0, i64 %342
  %344 = getelementptr inbounds %struct.dp, ptr %343, i32 0, i32 1
  %345 = load i32, ptr %344, align 8, !tbaa !22
  %346 = load i32, ptr %5, align 4, !tbaa !9
  %347 = icmp eq i32 %345, %346
  br i1 %347, label %348, label %354

348:                                              ; preds = %335
  %349 = load ptr, ptr %6, align 8, !tbaa !5
  %350 = getelementptr inbounds %struct.dpl, ptr %349, i32 0, i32 1
  %351 = load i64, ptr %350, align 8, !tbaa !24
  %352 = sub i64 %351, 2
  %353 = add i64 %352, 1
  store i64 %353, ptr %3, align 8
  store i32 1, ptr %8, align 4
  br label %388

354:                                              ; preds = %335
  br label %355

355:                                              ; preds = %354, %224
  %356 = load ptr, ptr %6, align 8, !tbaa !5
  %357 = getelementptr inbounds %struct.dpl, ptr %356, i32 0, i32 4
  %358 = load ptr, ptr %6, align 8, !tbaa !5
  %359 = getelementptr inbounds %struct.dpl, ptr %358, i32 0, i32 1
  %360 = load i64, ptr %359, align 8, !tbaa !24
  %361 = getelementptr inbounds [18 x %struct.dp], ptr %357, i64 0, i64 %360
  %362 = getelementptr inbounds %struct.dp, ptr %361, i32 0, i32 1
  %363 = load i32, ptr %362, align 8, !tbaa !22
  %364 = load i32, ptr %5, align 4, !tbaa !9
  %365 = icmp eq i32 %363, %364
  br i1 %365, label %366, label %370

366:                                              ; preds = %355
  %367 = load ptr, ptr %6, align 8, !tbaa !5
  %368 = getelementptr inbounds %struct.dpl, ptr %367, i32 0, i32 1
  %369 = load i64, ptr %368, align 8, !tbaa !24
  store i64 %369, ptr %3, align 8
  store i32 1, ptr %8, align 4
  br label %388

370:                                              ; preds = %355
  br label %371

371:                                              ; preds = %370, %232, %224
  %372 = load ptr, ptr %6, align 8, !tbaa !5
  %373 = getelementptr inbounds %struct.dpl, ptr %372, i32 0, i32 4
  %374 = getelementptr inbounds [18 x %struct.dp], ptr %373, i64 0, i64 0
  %375 = getelementptr inbounds %struct.dp, ptr %374, i64 1
  %376 = load ptr, ptr %6, align 8, !tbaa !5
  %377 = getelementptr inbounds %struct.dpl, ptr %376, i32 0, i32 0
  %378 = load i64, ptr %377, align 8, !tbaa !26
  %379 = load i32, ptr %5, align 4, !tbaa !9
  %380 = call ptr @dp_bsearch(ptr noundef %375, i64 noundef %378, i32 noundef %379)
  %381 = load ptr, ptr %6, align 8, !tbaa !5
  %382 = getelementptr inbounds %struct.dpl, ptr %381, i32 0, i32 4
  %383 = getelementptr inbounds [18 x %struct.dp], ptr %382, i64 0, i64 0
  %384 = ptrtoint ptr %380 to i64
  %385 = ptrtoint ptr %383 to i64
  %386 = sub i64 %384, %385
  %387 = sdiv exact i64 %386, 16
  store i64 %387, ptr %3, align 8
  store i32 1, ptr %8, align 4
  br label %388

388:                                              ; preds = %371, %366, %348, %328, %308, %288, %268, %248
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #7
  %389 = load i64, ptr %3, align 8
  ret i64 %389
}

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

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 = { hot noinline nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { hot noinline 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 #5 = { 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 #6 = { noreturn }
attributes #7 = { nounwind }
attributes #8 = { hot }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !7, i64 25}
!12 = !{!"libmdbx_globals", !7, i64 0, !10, i64 16, !10, i64 20, !7, i64 24, !7, i64 25, !7, i64 26, !13, i64 27, !10, i64 28, !7, i64 32, !7, i64 40, !14, i64 80, !6, i64 88}
!13 = !{!"_Bool", !7, i64 0}
!14 = !{!"long", !7, i64 0}
!15 = !{!16, !10, i64 4}
!16 = !{!"MDBX_txn", !10, i64 0, !10, i64 4, !14, i64 8, !14, i64 16, !6, i64 24, !6, i64 32, !17, i64 40, !14, i64 64, !14, i64 72, !6, i64 80, !6, i64 88, !6, i64 96, !6, i64 104, !6, i64 112, !6, i64 120, !19, i64 128, !6, i64 160, !7, i64 168}
!17 = !{!"geo", !18, i64 0, !18, i64 2, !10, i64 4, !10, i64 8, !7, i64 12, !7, i64 16}
!18 = !{!"short", !7, i64 0}
!19 = !{!"MDBX_canary", !14, i64 0, !14, i64 8, !14, i64 16, !14, i64 24}
!20 = !{!16, !6, i64 80}
!21 = !{!7, !7, i64 0}
!22 = !{!23, !10, i64 8}
!23 = !{!"dp", !6, i64 0, !10, i64 8, !10, i64 12}
!24 = !{!25, !14, i64 8}
!25 = !{!"dpl", !14, i64 0, !14, i64 8, !14, i64 16, !14, i64 24, !7, i64 32}
!26 = !{!25, !14, i64 0}
!27 = distinct !{!27, !28}
!28 = !{!"llvm.loop.mustprogress"}


; 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.6 }
%struct.anon.6 = 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.dp = type { ptr, i32, i32 }

@globals = external local_unnamed_addr global %struct.libmdbx_globals, align 8
@.str = external hidden unnamed_addr constant [36 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [73 x i8], align 1
@__func__.dpl_search = external hidden unnamed_addr constant [11 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [17 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: hot noinline nounwind uwtable
declare dso_local ptr @dpl_sort_slowpath(ptr noundef) local_unnamed_addr #1

; Function Attrs: hot mustprogress nofree noinline nounwind willreturn memory(read) uwtable
define dso_local i64 @dpl_search(ptr noundef %0, i32 noundef %1) local_unnamed_addr #2 {
  %3 = load i8, ptr getelementptr inbounds (i8, ptr @globals, i64 25), align 1, !tbaa !5
  %4 = and i8 %3, 1
  %.not = icmp eq i8 %4, 0
  br i1 %.not, label %.thread62, label %7, !prof !13

.thread62:                                        ; preds = %2
  %5 = getelementptr inbounds i8, ptr %0, i64 496
  %6 = load ptr, ptr %5, align 8, !tbaa !14
  br label %32

7:                                                ; preds = %2
  %8 = getelementptr inbounds i8, ptr %0, i64 4
  %9 = load i32, ptr %8, align 4, !tbaa !15
  %10 = and i32 %9, 131072
  %.not52 = icmp eq i32 %10, 0
  br i1 %.not52, label %14, label %11, !prof !20

11:                                               ; preds = %7
  %12 = getelementptr inbounds i8, ptr %0, i64 80
  %13 = load ptr, ptr %12, align 8, !tbaa !21
  tail call void @mdbx_assert_fail(ptr noundef %13, ptr noundef nonnull @.str, ptr noundef nonnull @__func__.dpl_search, i32 noundef 135) #4
  unreachable

14:                                               ; preds = %7
  %15 = and i32 %9, 524288
  %.not54 = icmp eq i32 %15, 0
  br i1 %.not54, label %19, label %16, !prof !20

16:                                               ; preds = %14
  %17 = getelementptr inbounds i8, ptr %0, i64 80
  %18 = load ptr, ptr %17, align 8, !tbaa !21
  tail call void @mdbx_assert_fail(ptr noundef %18, ptr noundef nonnull @.str.1, ptr noundef nonnull @__func__.dpl_search, i32 noundef 136) #4
  unreachable

19:                                               ; preds = %14
  %20 = getelementptr inbounds i8, ptr %0, i64 496
  %21 = load ptr, ptr %20, align 8, !tbaa !14
  %22 = getelementptr inbounds i8, ptr %21, i64 40
  %23 = load i32, ptr %22, align 8, !tbaa !22
  %24 = icmp eq i32 %23, 0
  br i1 %24, label %25, label %.critedge, !prof !20

25:                                               ; preds = %19
  %26 = getelementptr inbounds i8, ptr %21, i64 32
  %27 = getelementptr inbounds i8, ptr %21, i64 8
  %28 = load i64, ptr %27, align 8, !tbaa !24
  %29 = add i64 %28, 1
  %30 = getelementptr inbounds [18 x %struct.dp], ptr %26, i64 0, i64 %29, i32 1
  %31 = load i32, ptr %30, align 8, !tbaa !22
  %.not64 = icmp eq i32 %31, -1
  br i1 %.not64, label %32, label %.critedge, !prof !20

.critedge:                                        ; preds = %19, %25
  tail call void @mdbx_assert_fail(ptr noundef null, ptr noundef nonnull @.str.3, ptr noundef nonnull @__func__.dpl_search, i32 noundef 139) #4
  unreachable

32:                                               ; preds = %.thread62, %25
  %33 = phi ptr [ %6, %.thread62 ], [ %21, %25 ]
  %34 = and i8 %3, 2
  %.not56 = icmp eq i8 %34, 0
  %.pre = load i64, ptr %33, align 8, !tbaa !26
  br i1 %.not56, label %.loopexit, label %35, !prof !20

35:                                               ; preds = %32
  %invariant.gep = getelementptr i8, ptr %33, i64 8
  %36 = icmp slt i64 %.pre, 2
  %brmerge = or i1 %36, %.not
  br i1 %brmerge, label %.loopexit, label %.lr.ph.split.preheader, !prof !27

.lr.ph.split.preheader:                           ; preds = %35
  %.idx = shl nsw i64 %.pre, 4
  %.0.add65 = add nuw nsw i64 %.idx, 16
  %.add = add nuw nsw i64 %.idx, 32
  %invariant.gep72 = getelementptr i8, ptr %33, i64 8
  br label %.lr.ph.split

.lr.ph.split:                                     ; preds = %.lr.ph.split.preheader, %.thread63
  %.0.add68 = phi i64 [ %.0.add, %.thread63 ], [ %.0.add65, %.lr.ph.split.preheader ]
  %.0.idx67 = phi i64 [ %.0.add68, %.thread63 ], [ %.add, %.lr.ph.split.preheader ]
  %gep73 = getelementptr i8, ptr %invariant.gep72, i64 %.0.add68
  %37 = load i32, ptr %gep73, align 8, !tbaa !22
  %gep = getelementptr i8, ptr %invariant.gep, i64 %.0.idx67
  %38 = load i32, ptr %gep, align 8, !tbaa !22
  %.not60 = icmp ult i32 %37, %38
  br i1 %.not60, label %40, label %39, !prof !20

39:                                               ; preds = %.lr.ph.split
  tail call void @mdbx_assert_fail(ptr noundef null, ptr noundef nonnull @.str.7, ptr noundef nonnull @__func__.dpl_search, i32 noundef 142) #4
  unreachable

40:                                               ; preds = %.lr.ph.split
  %41 = icmp ult i32 %37, 3
  br i1 %41, label %42, label %.thread63, !prof !13

42:                                               ; preds = %40
  tail call void @mdbx_assert_fail(ptr noundef null, ptr noundef nonnull @.str.8, ptr noundef nonnull @__func__.dpl_search, i32 noundef 143) #4
  unreachable

.thread63:                                        ; preds = %40
  %.0.add = add nsw i64 %.0.add68, -16
  %43 = icmp sgt i64 %.0.add68, 48
  br i1 %43, label %.lr.ph.split, label %.loopexit, !llvm.loop !28

.loopexit:                                        ; preds = %.thread63, %35, %32
  %44 = getelementptr inbounds i8, ptr %33, i64 8
  %45 = load i64, ptr %44, align 8, !tbaa !24
  %46 = sub i64 %45, %.pre
  switch i64 %46, label %47 [
    i64 0, label %90
    i64 7, label %49
    i64 6, label %55
    i64 5, label %61
    i64 4, label %67
    i64 3, label %73
    i64 2, label %79
    i64 1, label %85
  ]

47:                                               ; preds = %.loopexit
  %48 = tail call ptr @dpl_sort_slowpath(ptr noundef %0) #5
  %.pre71 = load i64, ptr %33, align 8, !tbaa !26
  br label %90

49:                                               ; preds = %.loopexit
  %50 = getelementptr inbounds i8, ptr %33, i64 32
  %51 = add i64 %45, -6
  %52 = getelementptr inbounds [18 x %struct.dp], ptr %50, i64 0, i64 %51, i32 1
  %53 = load i32, ptr %52, align 8, !tbaa !22
  %54 = icmp eq i32 %53, %1
  br i1 %54, label %99, label %55

55:                                               ; preds = %49, %.loopexit
  %56 = getelementptr inbounds i8, ptr %33, i64 32
  %57 = add i64 %45, -5
  %58 = getelementptr inbounds [18 x %struct.dp], ptr %56, i64 0, i64 %57, i32 1
  %59 = load i32, ptr %58, align 8, !tbaa !22
  %60 = icmp eq i32 %59, %1
  br i1 %60, label %99, label %61

61:                                               ; preds = %55, %.loopexit
  %62 = getelementptr inbounds i8, ptr %33, i64 32
  %63 = add i64 %45, -4
  %64 = getelementptr inbounds [18 x %struct.dp], ptr %62, i64 0, i64 %63, i32 1
  %65 = load i32, ptr %64, align 8, !tbaa !22
  %66 = icmp eq i32 %65, %1
  br i1 %66, label %99, label %67

67:                                               ; preds = %61, %.loopexit
  %68 = getelementptr inbounds i8, ptr %33, i64 32
  %69 = add i64 %45, -3
  %70 = getelementptr inbounds [18 x %struct.dp], ptr %68, i64 0, i64 %69, i32 1
  %71 = load i32, ptr %70, align 8, !tbaa !22
  %72 = icmp eq i32 %71, %1
  br i1 %72, label %99, label %73

73:                                               ; preds = %67, %.loopexit
  %74 = getelementptr inbounds i8, ptr %33, i64 32
  %75 = add i64 %45, -2
  %76 = getelementptr inbounds [18 x %struct.dp], ptr %74, i64 0, i64 %75, i32 1
  %77 = load i32, ptr %76, align 8, !tbaa !22
  %78 = icmp eq i32 %77, %1
  br i1 %78, label %99, label %79

79:                                               ; preds = %73, %.loopexit
  %80 = getelementptr inbounds i8, ptr %33, i64 32
  %81 = add i64 %45, -1
  %82 = getelementptr inbounds [18 x %struct.dp], ptr %80, i64 0, i64 %81, i32 1
  %83 = load i32, ptr %82, align 8, !tbaa !22
  %84 = icmp eq i32 %83, %1
  br i1 %84, label %99, label %85

85:                                               ; preds = %79, %.loopexit
  %86 = getelementptr inbounds i8, ptr %33, i64 32
  %87 = getelementptr inbounds [18 x %struct.dp], ptr %86, i64 0, i64 %45, i32 1
  %88 = load i32, ptr %87, align 8, !tbaa !22
  %89 = icmp eq i32 %88, %1
  br i1 %89, label %99, label %90

90:                                               ; preds = %85, %47, %.loopexit
  %91 = phi i64 [ %.pre, %85 ], [ %.pre71, %47 ], [ %.pre, %.loopexit ]
  %92 = getelementptr inbounds i8, ptr %33, i64 32
  %93 = getelementptr inbounds i8, ptr %33, i64 48
  %94 = tail call ptr @dp_bsearch(ptr noundef nonnull %93, i64 noundef %91, i32 noundef %1)
  %95 = ptrtoint ptr %94 to i64
  %96 = ptrtoint ptr %92 to i64
  %97 = sub i64 %95, %96
  %98 = ashr exact i64 %97, 4
  br label %99

99:                                               ; preds = %85, %79, %73, %67, %61, %55, %49, %90
  %.050 = phi i64 [ %98, %90 ], [ %51, %49 ], [ %57, %55 ], [ %63, %61 ], [ %69, %67 ], [ %75, %73 ], [ %81, %79 ], [ %45, %85 ]
  ret i64 %.050
}

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

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 = { hot noinline nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { hot mustprogress nofree noinline 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 #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 = { noreturn nounwind }
attributes #5 = { hot }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 25}
!6 = !{!"libmdbx_globals", !7, i64 0, !9, i64 16, !9, i64 20, !7, i64 24, !7, i64 25, !7, i64 26, !10, i64 27, !9, i64 28, !7, i64 32, !7, i64 40, !11, i64 80, !12, i64 88}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!"int", !7, i64 0}
!10 = !{!"_Bool", !7, i64 0}
!11 = !{!"long", !7, i64 0}
!12 = !{!"any pointer", !7, i64 0}
!13 = !{!"branch_weights", !"expected", i32 1, i32 2000}
!14 = !{!7, !7, i64 0}
!15 = !{!16, !9, i64 4}
!16 = !{!"MDBX_txn", !9, i64 0, !9, i64 4, !11, i64 8, !11, i64 16, !12, i64 24, !12, i64 32, !17, i64 40, !11, i64 64, !11, i64 72, !12, i64 80, !12, i64 88, !12, i64 96, !12, i64 104, !12, i64 112, !12, i64 120, !19, i64 128, !12, i64 160, !7, i64 168}
!17 = !{!"geo", !18, i64 0, !18, i64 2, !9, i64 4, !9, i64 8, !7, i64 12, !7, i64 16}
!18 = !{!"short", !7, i64 0}
!19 = !{!"MDBX_canary", !11, i64 0, !11, i64 8, !11, i64 16, !11, i64 24}
!20 = !{!"branch_weights", !"expected", i32 2000, i32 1}
!21 = !{!16, !12, i64 80}
!22 = !{!23, !9, i64 8}
!23 = !{!"dp", !12, i64 0, !9, i64 8, !9, i64 12}
!24 = !{!25, !11, i64 8}
!25 = !{!"dpl", !11, i64 0, !11, i64 8, !11, i64 16, !11, i64 24, !7, i64 32}
!26 = !{!25, !11, i64 0}
!27 = !{!"branch_weights", i32 2002, i32 2000}
!28 = distinct !{!28, !29}
!29 = !{!"llvm.loop.mustprogress"}


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