; LLVM IR from ibr-ds/STANlite :: Enclave/sqlite (btree)

; 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.BtCursor = type { ptr, ptr, ptr, ptr, %struct.CellInfo, i64, ptr, i32, i32, i32, i8, i8, i8, i8, i8, i8, ptr, ptr, [20 x i16], [20 x ptr] }
%struct.CellInfo = type { i64, ptr, i32, i16, i16 }
%struct.UnpackedRecord = type { ptr, ptr, i16, i8, i8, i8, i8, i8 }
%struct.MemPage = type { i8, i8, i8, i8, i32, i8, i8, i8, i8, i8, i16, i16, i16, i16, i16, i16, [4 x i16], [4 x ptr], ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }

declare void @sqlite3_free(ptr noundef) #0

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

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

declare ptr @sqlite3Malloc(i64 noundef) #0

declare i32 @sqlite3Get4byte(ptr noundef) #0

declare i32 @sqlite3CorruptError(i32 noundef) #0

; Function Attrs: noinline nounwind uwtable
declare hidden void @getCellInfo(ptr noundef) #2

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

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

; Function Attrs: nounwind uwtable
define dso_local i32 @sqlite3BtreeMovetoUnpacked(ptr noundef %0, ptr noundef %1, i64 noundef %2, i32 noundef %3, ptr noundef %4) #3 {
  %6 = alloca i32, align 4
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca i64, align 8
  %10 = alloca i32, align 4
  %11 = alloca ptr, align 8
  %12 = alloca i32, align 4
  %13 = alloca ptr, align 8
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca i64, align 8
  %23 = alloca i32, align 4
  %24 = alloca ptr, align 8
  %25 = alloca ptr, align 8
  store ptr %0, ptr %7, align 8, !tbaa !5
  store ptr %1, ptr %8, align 8, !tbaa !5
  store i64 %2, ptr %9, align 8, !tbaa !9
  store i32 %3, ptr %10, align 4, !tbaa !11
  store ptr %4, ptr %11, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #4
  %26 = load ptr, ptr %8, align 8, !tbaa !5
  %27 = icmp eq ptr %26, null
  br i1 %27, label %28, label %105

28:                                               ; preds = %5
  %29 = load ptr, ptr %7, align 8, !tbaa !5
  %30 = getelementptr inbounds %struct.BtCursor, ptr %29, i32 0, i32 12
  %31 = load i8, ptr %30, align 2, !tbaa !13
  %32 = zext i8 %31 to i32
  %33 = icmp eq i32 %32, 1
  br i1 %33, label %34, label %105

34:                                               ; preds = %28
  %35 = load ptr, ptr %7, align 8, !tbaa !5
  %36 = getelementptr inbounds %struct.BtCursor, ptr %35, i32 0, i32 10
  %37 = load i8, ptr %36, align 4, !tbaa !17
  %38 = zext i8 %37 to i32
  %39 = and i32 %38, 2
  %40 = icmp ne i32 %39, 0
  br i1 %40, label %41, label %105

41:                                               ; preds = %34
  %42 = load ptr, ptr %7, align 8, !tbaa !5
  %43 = getelementptr inbounds %struct.BtCursor, ptr %42, i32 0, i32 4
  %44 = getelementptr inbounds %struct.CellInfo, ptr %43, i32 0, i32 0
  %45 = load i64, ptr %44, align 8, !tbaa !18
  %46 = load i64, ptr %9, align 8, !tbaa !9
  %47 = icmp eq i64 %45, %46
  br i1 %47, label %48, label %50

48:                                               ; preds = %41
  %49 = load ptr, ptr %11, align 8, !tbaa !5
  store i32 0, ptr %49, align 4, !tbaa !11
  store i32 0, ptr %6, align 4
  store i32 1, ptr %14, align 4
  br label %569

50:                                               ; preds = %41
  %51 = load ptr, ptr %7, align 8, !tbaa !5
  %52 = getelementptr inbounds %struct.BtCursor, ptr %51, i32 0, i32 4
  %53 = getelementptr inbounds %struct.CellInfo, ptr %52, i32 0, i32 0
  %54 = load i64, ptr %53, align 8, !tbaa !18
  %55 = load i64, ptr %9, align 8, !tbaa !9
  %56 = icmp slt i64 %54, %55
  br i1 %56, label %57, label %104

57:                                               ; preds = %50
  %58 = load ptr, ptr %7, align 8, !tbaa !5
  %59 = getelementptr inbounds %struct.BtCursor, ptr %58, i32 0, i32 10
  %60 = load i8, ptr %59, align 4, !tbaa !17
  %61 = zext i8 %60 to i32
  %62 = and i32 %61, 8
  %63 = icmp ne i32 %62, 0
  br i1 %63, label %64, label %66

64:                                               ; preds = %57
  %65 = load ptr, ptr %11, align 8, !tbaa !5
  store i32 -1, ptr %65, align 4, !tbaa !11
  store i32 0, ptr %6, align 4
  store i32 1, ptr %14, align 4
  br label %569

66:                                               ; preds = %57
  %67 = load ptr, ptr %7, align 8, !tbaa !5
  %68 = getelementptr inbounds %struct.BtCursor, ptr %67, i32 0, i32 4
  %69 = getelementptr inbounds %struct.CellInfo, ptr %68, i32 0, i32 0
  %70 = load i64, ptr %69, align 8, !tbaa !18
  %71 = add nsw i64 %70, 1
  %72 = load i64, ptr %9, align 8, !tbaa !9
  %73 = icmp eq i64 %71, %72
  br i1 %73, label %74, label %103

74:                                               ; preds = %66
  %75 = load ptr, ptr %7, align 8, !tbaa !5
  %76 = getelementptr inbounds %struct.BtCursor, ptr %75, i32 0, i32 9
  %77 = load i32, ptr %76, align 8, !tbaa !19
  %78 = icmp ne i32 %77, 0
  br i1 %78, label %103, label %79

79:                                               ; preds = %74
  %80 = load ptr, ptr %11, align 8, !tbaa !5
  store i32 0, ptr %80, align 4, !tbaa !11
  %81 = load ptr, ptr %7, align 8, !tbaa !5
  %82 = load ptr, ptr %11, align 8, !tbaa !5
  %83 = call i32 @sqlite3BtreeNext(ptr noundef %81, ptr noundef %82)
  store i32 %83, ptr %12, align 4, !tbaa !11
  %84 = load i32, ptr %12, align 4, !tbaa !11
  %85 = icmp ne i32 %84, 0
  br i1 %85, label %86, label %88

86:                                               ; preds = %79
  %87 = load i32, ptr %12, align 4, !tbaa !11
  store i32 %87, ptr %6, align 4
  store i32 1, ptr %14, align 4
  br label %569

88:                                               ; preds = %79
  %89 = load ptr, ptr %11, align 8, !tbaa !5
  %90 = load i32, ptr %89, align 4, !tbaa !11
  %91 = icmp eq i32 %90, 0
  br i1 %91, label %92, label %102

92:                                               ; preds = %88
  %93 = load ptr, ptr %7, align 8, !tbaa !5
  call void @getCellInfo(ptr noundef %93)
  %94 = load ptr, ptr %7, align 8, !tbaa !5
  %95 = getelementptr inbounds %struct.BtCursor, ptr %94, i32 0, i32 4
  %96 = getelementptr inbounds %struct.CellInfo, ptr %95, i32 0, i32 0
  %97 = load i64, ptr %96, align 8, !tbaa !18
  %98 = load i64, ptr %9, align 8, !tbaa !9
  %99 = icmp eq i64 %97, %98
  br i1 %99, label %100, label %101

100:                                              ; preds = %92
  store i32 0, ptr %6, align 4
  store i32 1, ptr %14, align 4
  br label %569

101:                                              ; preds = %92
  br label %102

102:                                              ; preds = %101, %88
  br label %103

103:                                              ; preds = %102, %74, %66
  br label %104

104:                                              ; preds = %103, %50
  br label %105

105:                                              ; preds = %104, %34, %28, %5
  %106 = load ptr, ptr %8, align 8, !tbaa !5
  %107 = icmp ne ptr %106, null
  br i1 %107, label %108, label %113

108:                                              ; preds = %105
  %109 = load ptr, ptr %8, align 8, !tbaa !5
  %110 = call ptr @sqlite3VdbeFindCompare(ptr noundef %109)
  store ptr %110, ptr %13, align 8, !tbaa !5
  %111 = load ptr, ptr %8, align 8, !tbaa !5
  %112 = getelementptr inbounds %struct.UnpackedRecord, ptr %111, i32 0, i32 4
  store i8 0, ptr %112, align 1, !tbaa !20
  br label %114

113:                                              ; preds = %105
  store ptr null, ptr %13, align 8, !tbaa !5
  br label %114

114:                                              ; preds = %113, %108
  %115 = load ptr, ptr %7, align 8, !tbaa !5
  %116 = call i32 @moveToRoot(ptr noundef %115)
  store i32 %116, ptr %12, align 4, !tbaa !11
  %117 = load i32, ptr %12, align 4, !tbaa !11
  %118 = icmp ne i32 %117, 0
  br i1 %118, label %119, label %121

119:                                              ; preds = %114
  %120 = load i32, ptr %12, align 4, !tbaa !11
  store i32 %120, ptr %6, align 4
  store i32 1, ptr %14, align 4
  br label %569

121:                                              ; preds = %114
  %122 = load ptr, ptr %7, align 8, !tbaa !5
  %123 = getelementptr inbounds %struct.BtCursor, ptr %122, i32 0, i32 12
  %124 = load i8, ptr %123, align 2, !tbaa !13
  %125 = zext i8 %124 to i32
  %126 = icmp eq i32 %125, 0
  br i1 %126, label %127, label %129

127:                                              ; preds = %121
  %128 = load ptr, ptr %11, align 8, !tbaa !5
  store i32 -1, ptr %128, align 4, !tbaa !11
  store i32 0, ptr %6, align 4
  store i32 1, ptr %14, align 4
  br label %569

129:                                              ; preds = %121
  br label %130

130:                                              ; preds = %562, %129
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #4
  %131 = load ptr, ptr %7, align 8, !tbaa !5
  %132 = getelementptr inbounds %struct.BtCursor, ptr %131, i32 0, i32 19
  %133 = load ptr, ptr %7, align 8, !tbaa !5
  %134 = getelementptr inbounds %struct.BtCursor, ptr %133, i32 0, i32 14
  %135 = load i8, ptr %134, align 8, !tbaa !22
  %136 = sext i8 %135 to i64
  %137 = getelementptr inbounds [20 x ptr], ptr %132, i64 0, i64 %136
  %138 = load ptr, ptr %137, align 8, !tbaa !5
  store ptr %138, ptr %20, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #4
  store i32 0, ptr %15, align 4, !tbaa !11
  %139 = load ptr, ptr %20, align 8, !tbaa !5
  %140 = getelementptr inbounds %struct.MemPage, ptr %139, i32 0, i32 14
  %141 = load i16, ptr %140, align 2, !tbaa !23
  %142 = zext i16 %141 to i32
  %143 = sub nsw i32 %142, 1
  store i32 %143, ptr %16, align 4, !tbaa !11
  %144 = load i32, ptr %16, align 4, !tbaa !11
  %145 = load i32, ptr %10, align 4, !tbaa !11
  %146 = sub nsw i32 1, %145
  %147 = ashr i32 %144, %146
  store i32 %147, ptr %17, align 4, !tbaa !11
  %148 = load i32, ptr %17, align 4, !tbaa !11
  %149 = trunc i32 %148 to i16
  %150 = load ptr, ptr %7, align 8, !tbaa !5
  %151 = getelementptr inbounds %struct.BtCursor, ptr %150, i32 0, i32 18
  %152 = load ptr, ptr %7, align 8, !tbaa !5
  %153 = getelementptr inbounds %struct.BtCursor, ptr %152, i32 0, i32 14
  %154 = load i8, ptr %153, align 8, !tbaa !22
  %155 = sext i8 %154 to i64
  %156 = getelementptr inbounds [20 x i16], ptr %151, i64 0, i64 %155
  store i16 %149, ptr %156, align 2, !tbaa !25
  %157 = load ptr, ptr %13, align 8, !tbaa !5
  %158 = icmp eq ptr %157, null
  br i1 %158, label %159, label %281

159:                                              ; preds = %130
  br label %160

160:                                              ; preds = %279, %159
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #4
  %161 = load ptr, ptr %20, align 8, !tbaa !5
  %162 = getelementptr inbounds %struct.MemPage, ptr %161, i32 0, i32 22
  %163 = load ptr, ptr %162, align 8, !tbaa !26
  %164 = load ptr, ptr %20, align 8, !tbaa !5
  %165 = getelementptr inbounds %struct.MemPage, ptr %164, i32 0, i32 15
  %166 = load i16, ptr %165, align 8, !tbaa !27
  %167 = zext i16 %166 to i32
  %168 = load ptr, ptr %20, align 8, !tbaa !5
  %169 = getelementptr inbounds %struct.MemPage, ptr %168, i32 0, i32 21
  %170 = load ptr, ptr %169, align 8, !tbaa !28
  %171 = load i32, ptr %17, align 4, !tbaa !11
  %172 = mul nsw i32 2, %171
  %173 = sext i32 %172 to i64
  %174 = getelementptr inbounds i8, ptr %170, i64 %173
  %175 = getelementptr inbounds i8, ptr %174, i64 0
  %176 = load i8, ptr %175, align 1, !tbaa !29
  %177 = zext i8 %176 to i32
  %178 = shl i32 %177, 8
  %179 = load ptr, ptr %20, align 8, !tbaa !5
  %180 = getelementptr inbounds %struct.MemPage, ptr %179, i32 0, i32 21
  %181 = load ptr, ptr %180, align 8, !tbaa !28
  %182 = load i32, ptr %17, align 4, !tbaa !11
  %183 = mul nsw i32 2, %182
  %184 = sext i32 %183 to i64
  %185 = getelementptr inbounds i8, ptr %181, i64 %184
  %186 = getelementptr inbounds i8, ptr %185, i64 1
  %187 = load i8, ptr %186, align 1, !tbaa !29
  %188 = zext i8 %187 to i32
  %189 = or i32 %178, %188
  %190 = and i32 %167, %189
  %191 = sext i32 %190 to i64
  %192 = getelementptr inbounds i8, ptr %163, i64 %191
  store ptr %192, ptr %21, align 8, !tbaa !5
  %193 = load ptr, ptr %20, align 8, !tbaa !5
  %194 = getelementptr inbounds %struct.MemPage, ptr %193, i32 0, i32 3
  %195 = load i8, ptr %194, align 1, !tbaa !30
  %196 = icmp ne i8 %195, 0
  br i1 %196, label %197, label %214

197:                                              ; preds = %160
  br label %198

198:                                              ; preds = %212, %197
  %199 = load ptr, ptr %21, align 8, !tbaa !5
  %200 = getelementptr inbounds i8, ptr %199, i32 1
  store ptr %200, ptr %21, align 8, !tbaa !5
  %201 = load i8, ptr %199, align 1, !tbaa !29
  %202 = zext i8 %201 to i32
  %203 = icmp sle i32 128, %202
  br i1 %203, label %204, label %213

204:                                              ; preds = %198
  %205 = load ptr, ptr %21, align 8, !tbaa !5
  %206 = load ptr, ptr %20, align 8, !tbaa !5
  %207 = getelementptr inbounds %struct.MemPage, ptr %206, i32 0, i32 20
  %208 = load ptr, ptr %207, align 8, !tbaa !31
  %209 = icmp uge ptr %205, %208
  br i1 %209, label %210, label %212

210:                                              ; preds = %204
  %211 = call i32 @sqlite3CorruptError(i32 noundef 5232)
  store i32 %211, ptr %6, align 4
  store i32 1, ptr %14, align 4
  br label %277

212:                                              ; preds = %204
  br label %198, !llvm.loop !32

213:                                              ; preds = %198
  br label %214

214:                                              ; preds = %213, %160
  %215 = load ptr, ptr %21, align 8, !tbaa !5
  %216 = call zeroext i8 @sqlite3GetVarint(ptr noundef %215, ptr noundef %22)
  %217 = load i64, ptr %22, align 8, !tbaa !9
  %218 = load i64, ptr %9, align 8, !tbaa !9
  %219 = icmp slt i64 %217, %218
  br i1 %219, label %220, label %228

220:                                              ; preds = %214
  %221 = load i32, ptr %17, align 4, !tbaa !11
  %222 = add nsw i32 %221, 1
  store i32 %222, ptr %15, align 4, !tbaa !11
  %223 = load i32, ptr %15, align 4, !tbaa !11
  %224 = load i32, ptr %16, align 4, !tbaa !11
  %225 = icmp sgt i32 %223, %224
  br i1 %225, label %226, label %227

226:                                              ; preds = %220
  store i32 -1, ptr %18, align 4, !tbaa !11
  store i32 4, ptr %14, align 4
  br label %277

227:                                              ; preds = %220
  br label %272

228:                                              ; preds = %214
  %229 = load i64, ptr %22, align 8, !tbaa !9
  %230 = load i64, ptr %9, align 8, !tbaa !9
  %231 = icmp sgt i64 %229, %230
  br i1 %231, label %232, label %240

232:                                              ; preds = %228
  %233 = load i32, ptr %17, align 4, !tbaa !11
  %234 = sub nsw i32 %233, 1
  store i32 %234, ptr %16, align 4, !tbaa !11
  %235 = load i32, ptr %15, align 4, !tbaa !11
  %236 = load i32, ptr %16, align 4, !tbaa !11
  %237 = icmp sgt i32 %235, %236
  br i1 %237, label %238, label %239

238:                                              ; preds = %232
  store i32 1, ptr %18, align 4, !tbaa !11
  store i32 4, ptr %14, align 4
  br label %277

239:                                              ; preds = %232
  br label %271

240:                                              ; preds = %228
  %241 = load i32, ptr %17, align 4, !tbaa !11
  %242 = trunc i32 %241 to i16
  %243 = load ptr, ptr %7, align 8, !tbaa !5
  %244 = getelementptr inbounds %struct.BtCursor, ptr %243, i32 0, i32 18
  %245 = load ptr, ptr %7, align 8, !tbaa !5
  %246 = getelementptr inbounds %struct.BtCursor, ptr %245, i32 0, i32 14
  %247 = load i8, ptr %246, align 8, !tbaa !22
  %248 = sext i8 %247 to i64
  %249 = getelementptr inbounds [20 x i16], ptr %244, i64 0, i64 %248
  store i16 %242, ptr %249, align 2, !tbaa !25
  %250 = load ptr, ptr %20, align 8, !tbaa !5
  %251 = getelementptr inbounds %struct.MemPage, ptr %250, i32 0, i32 5
  %252 = load i8, ptr %251, align 8, !tbaa !34
  %253 = icmp ne i8 %252, 0
  br i1 %253, label %256, label %254

254:                                              ; preds = %240
  %255 = load i32, ptr %17, align 4, !tbaa !11
  store i32 %255, ptr %15, align 4, !tbaa !11
  store i32 8, ptr %14, align 4
  br label %277

256:                                              ; preds = %240
  %257 = load ptr, ptr %7, align 8, !tbaa !5
  %258 = getelementptr inbounds %struct.BtCursor, ptr %257, i32 0, i32 10
  %259 = load i8, ptr %258, align 4, !tbaa !17
  %260 = zext i8 %259 to i32
  %261 = or i32 %260, 2
  %262 = trunc i32 %261 to i8
  store i8 %262, ptr %258, align 4, !tbaa !17
  %263 = load i64, ptr %22, align 8, !tbaa !9
  %264 = load ptr, ptr %7, align 8, !tbaa !5
  %265 = getelementptr inbounds %struct.BtCursor, ptr %264, i32 0, i32 4
  %266 = getelementptr inbounds %struct.CellInfo, ptr %265, i32 0, i32 0
  store i64 %263, ptr %266, align 8, !tbaa !18
  %267 = load ptr, ptr %7, align 8, !tbaa !5
  %268 = getelementptr inbounds %struct.BtCursor, ptr %267, i32 0, i32 4
  %269 = getelementptr inbounds %struct.CellInfo, ptr %268, i32 0, i32 4
  store i16 0, ptr %269, align 2, !tbaa !35
  %270 = load ptr, ptr %11, align 8, !tbaa !5
  store i32 0, ptr %270, align 4, !tbaa !11
  store i32 0, ptr %6, align 4
  store i32 1, ptr %14, align 4
  br label %277

271:                                              ; preds = %239
  br label %272

272:                                              ; preds = %271, %227
  %273 = load i32, ptr %15, align 4, !tbaa !11
  %274 = load i32, ptr %16, align 4, !tbaa !11
  %275 = add nsw i32 %273, %274
  %276 = ashr i32 %275, 1
  store i32 %276, ptr %17, align 4, !tbaa !11
  store i32 0, ptr %14, align 4
  br label %277

277:                                              ; preds = %272, %256, %254, %238, %226, %210
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #4
  %278 = load i32, ptr %14, align 4
  switch i32 %278, label %560 [
    i32 0, label %279
    i32 4, label %280
    i32 8, label %490
  ]

279:                                              ; preds = %277
  br label %160

280:                                              ; preds = %277
  br label %472

281:                                              ; preds = %130
  br label %282

282:                                              ; preds = %470, %281
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #4
  %283 = load ptr, ptr %20, align 8, !tbaa !5
  %284 = getelementptr inbounds %struct.MemPage, ptr %283, i32 0, i32 22
  %285 = load ptr, ptr %284, align 8, !tbaa !26
  %286 = load ptr, ptr %20, align 8, !tbaa !5
  %287 = getelementptr inbounds %struct.MemPage, ptr %286, i32 0, i32 15
  %288 = load i16, ptr %287, align 8, !tbaa !27
  %289 = zext i16 %288 to i32
  %290 = load ptr, ptr %20, align 8, !tbaa !5
  %291 = getelementptr inbounds %struct.MemPage, ptr %290, i32 0, i32 21
  %292 = load ptr, ptr %291, align 8, !tbaa !28
  %293 = load i32, ptr %17, align 4, !tbaa !11
  %294 = mul nsw i32 2, %293
  %295 = sext i32 %294 to i64
  %296 = getelementptr inbounds i8, ptr %292, i64 %295
  %297 = getelementptr inbounds i8, ptr %296, i64 0
  %298 = load i8, ptr %297, align 1, !tbaa !29
  %299 = zext i8 %298 to i32
  %300 = shl i32 %299, 8
  %301 = load ptr, ptr %20, align 8, !tbaa !5
  %302 = getelementptr inbounds %struct.MemPage, ptr %301, i32 0, i32 21
  %303 = load ptr, ptr %302, align 8, !tbaa !28
  %304 = load i32, ptr %17, align 4, !tbaa !11
  %305 = mul nsw i32 2, %304
  %306 = sext i32 %305 to i64
  %307 = getelementptr inbounds i8, ptr %303, i64 %306
  %308 = getelementptr inbounds i8, ptr %307, i64 1
  %309 = load i8, ptr %308, align 1, !tbaa !29
  %310 = zext i8 %309 to i32
  %311 = or i32 %300, %310
  %312 = and i32 %289, %311
  %313 = sext i32 %312 to i64
  %314 = getelementptr inbounds i8, ptr %285, i64 %313
  store ptr %314, ptr %21, align 8, !tbaa !5
  %315 = load ptr, ptr %21, align 8, !tbaa !5
  %316 = getelementptr inbounds i8, ptr %315, i64 0
  %317 = load i8, ptr %316, align 1, !tbaa !29
  %318 = zext i8 %317 to i32
  store i32 %318, ptr %23, align 4, !tbaa !11
  %319 = load i32, ptr %23, align 4, !tbaa !11
  %320 = load ptr, ptr %20, align 8, !tbaa !5
  %321 = getelementptr inbounds %struct.MemPage, ptr %320, i32 0, i32 8
  %322 = load i8, ptr %321, align 1, !tbaa !36
  %323 = zext i8 %322 to i32
  %324 = icmp sle i32 %319, %323
  br i1 %324, label %325, label %332

325:                                              ; preds = %282
  %326 = load ptr, ptr %13, align 8, !tbaa !5
  %327 = load i32, ptr %23, align 4, !tbaa !11
  %328 = load ptr, ptr %21, align 8, !tbaa !5
  %329 = getelementptr inbounds i8, ptr %328, i64 1
  %330 = load ptr, ptr %8, align 8, !tbaa !5
  %331 = call i32 %326(i32 noundef %327, ptr noundef %329, ptr noundef %330)
  store i32 %331, ptr %18, align 4, !tbaa !11
  br label %428

332:                                              ; preds = %282
  %333 = load ptr, ptr %21, align 8, !tbaa !5
  %334 = getelementptr inbounds i8, ptr %333, i64 1
  %335 = load i8, ptr %334, align 1, !tbaa !29
  %336 = zext i8 %335 to i32
  %337 = and i32 %336, 128
  %338 = icmp ne i32 %337, 0
  br i1 %338, label %360, label %339

339:                                              ; preds = %332
  %340 = load i32, ptr %23, align 4, !tbaa !11
  %341 = and i32 %340, 127
  %342 = shl i32 %341, 7
  %343 = load ptr, ptr %21, align 8, !tbaa !5
  %344 = getelementptr inbounds i8, ptr %343, i64 1
  %345 = load i8, ptr %344, align 1, !tbaa !29
  %346 = zext i8 %345 to i32
  %347 = add nsw i32 %342, %346
  store i32 %347, ptr %23, align 4, !tbaa !11
  %348 = load ptr, ptr %20, align 8, !tbaa !5
  %349 = getelementptr inbounds %struct.MemPage, ptr %348, i32 0, i32 10
  %350 = load i16, ptr %349, align 2, !tbaa !37
  %351 = zext i16 %350 to i32
  %352 = icmp sle i32 %347, %351
  br i1 %352, label %353, label %360

353:                                              ; preds = %339
  %354 = load ptr, ptr %13, align 8, !tbaa !5
  %355 = load i32, ptr %23, align 4, !tbaa !11
  %356 = load ptr, ptr %21, align 8, !tbaa !5
  %357 = getelementptr inbounds i8, ptr %356, i64 2
  %358 = load ptr, ptr %8, align 8, !tbaa !5
  %359 = call i32 %354(i32 noundef %355, ptr noundef %357, ptr noundef %358)
  store i32 %359, ptr %18, align 4, !tbaa !11
  br label %427

360:                                              ; preds = %339, %332
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #4
  %361 = load ptr, ptr %21, align 8, !tbaa !5
  %362 = load ptr, ptr %20, align 8, !tbaa !5
  %363 = getelementptr inbounds %struct.MemPage, ptr %362, i32 0, i32 7
  %364 = load i8, ptr %363, align 2, !tbaa !38
  %365 = zext i8 %364 to i32
  %366 = sext i32 %365 to i64
  %367 = sub i64 0, %366
  %368 = getelementptr inbounds i8, ptr %361, i64 %367
  store ptr %368, ptr %25, align 8, !tbaa !5
  %369 = load ptr, ptr %20, align 8, !tbaa !5
  %370 = getelementptr inbounds %struct.MemPage, ptr %369, i32 0, i32 25
  %371 = load ptr, ptr %370, align 8, !tbaa !39
  %372 = load ptr, ptr %20, align 8, !tbaa !5
  %373 = load ptr, ptr %25, align 8, !tbaa !5
  %374 = load ptr, ptr %7, align 8, !tbaa !5
  %375 = getelementptr inbounds %struct.BtCursor, ptr %374, i32 0, i32 4
  call void %371(ptr noundef %372, ptr noundef %373, ptr noundef %375)
  %376 = load ptr, ptr %7, align 8, !tbaa !5
  %377 = getelementptr inbounds %struct.BtCursor, ptr %376, i32 0, i32 4
  %378 = getelementptr inbounds %struct.CellInfo, ptr %377, i32 0, i32 0
  %379 = load i64, ptr %378, align 8, !tbaa !18
  %380 = trunc i64 %379 to i32
  store i32 %380, ptr %23, align 4, !tbaa !11
  %381 = load i32, ptr %23, align 4, !tbaa !11
  %382 = icmp slt i32 %381, 2
  br i1 %382, label %383, label %385

383:                                              ; preds = %360
  %384 = call i32 @sqlite3CorruptError(i32 noundef 5305)
  store i32 %384, ptr %12, align 4, !tbaa !11
  store i32 11, ptr %14, align 4
  br label %424

385:                                              ; preds = %360
  %386 = load i32, ptr %23, align 4, !tbaa !11
  %387 = add nsw i32 %386, 18
  %388 = sext i32 %387 to i64
  %389 = call ptr @sqlite3Malloc(i64 noundef %388)
  store ptr %389, ptr %24, align 8, !tbaa !5
  %390 = load ptr, ptr %24, align 8, !tbaa !5
  %391 = icmp eq ptr %390, null
  br i1 %391, label %392, label %393

392:                                              ; preds = %385
  store i32 7, ptr %12, align 4, !tbaa !11
  store i32 11, ptr %14, align 4
  br label %424

393:                                              ; preds = %385
  %394 = load i32, ptr %17, align 4, !tbaa !11
  %395 = trunc i32 %394 to i16
  %396 = load ptr, ptr %7, align 8, !tbaa !5
  %397 = getelementptr inbounds %struct.BtCursor, ptr %396, i32 0, i32 18
  %398 = load ptr, ptr %7, align 8, !tbaa !5
  %399 = getelementptr inbounds %struct.BtCursor, ptr %398, i32 0, i32 14
  %400 = load i8, ptr %399, align 8, !tbaa !22
  %401 = sext i8 %400 to i64
  %402 = getelementptr inbounds [20 x i16], ptr %397, i64 0, i64 %401
  store i16 %395, ptr %402, align 2, !tbaa !25
  %403 = load ptr, ptr %7, align 8, !tbaa !5
  %404 = load i32, ptr %23, align 4, !tbaa !11
  %405 = load ptr, ptr %24, align 8, !tbaa !5
  %406 = call i32 @accessPayload(ptr noundef %403, i32 noundef 0, i32 noundef %404, ptr noundef %405, i32 noundef 0)
  store i32 %406, ptr %12, align 4, !tbaa !11
  %407 = load ptr, ptr %7, align 8, !tbaa !5
  %408 = getelementptr inbounds %struct.BtCursor, ptr %407, i32 0, i32 10
  %409 = load i8, ptr %408, align 4, !tbaa !17
  %410 = zext i8 %409 to i32
  %411 = and i32 %410, -5
  %412 = trunc i32 %411 to i8
  store i8 %412, ptr %408, align 4, !tbaa !17
  %413 = load i32, ptr %12, align 4, !tbaa !11
  %414 = icmp ne i32 %413, 0
  br i1 %414, label %415, label %417

415:                                              ; preds = %393
  %416 = load ptr, ptr %24, align 8, !tbaa !5
  call void @sqlite3_free(ptr noundef %416)
  store i32 11, ptr %14, align 4
  br label %424

417:                                              ; preds = %393
  %418 = load ptr, ptr %13, align 8, !tbaa !5
  %419 = load i32, ptr %23, align 4, !tbaa !11
  %420 = load ptr, ptr %24, align 8, !tbaa !5
  %421 = load ptr, ptr %8, align 8, !tbaa !5
  %422 = call i32 %418(i32 noundef %419, ptr noundef %420, ptr noundef %421)
  store i32 %422, ptr %18, align 4, !tbaa !11
  %423 = load ptr, ptr %24, align 8, !tbaa !5
  call void @sqlite3_free(ptr noundef %423)
  store i32 0, ptr %14, align 4
  br label %424

424:                                              ; preds = %417, %415, %392, %383
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #4
  %425 = load i32, ptr %14, align 4
  switch i32 %425, label %468 [
    i32 0, label %426
  ]

426:                                              ; preds = %424
  br label %427

427:                                              ; preds = %426, %353
  br label %428

428:                                              ; preds = %427, %325
  %429 = load i32, ptr %18, align 4, !tbaa !11
  %430 = icmp slt i32 %429, 0
  br i1 %430, label %431, label %434

431:                                              ; preds = %428
  %432 = load i32, ptr %17, align 4, !tbaa !11
  %433 = add nsw i32 %432, 1
  store i32 %433, ptr %15, align 4, !tbaa !11
  br label %458

434:                                              ; preds = %428
  %435 = load i32, ptr %18, align 4, !tbaa !11
  %436 = icmp sgt i32 %435, 0
  br i1 %436, label %437, label %440

437:                                              ; preds = %434
  %438 = load i32, ptr %17, align 4, !tbaa !11
  %439 = sub nsw i32 %438, 1
  store i32 %439, ptr %16, align 4, !tbaa !11
  br label %457

440:                                              ; preds = %434
  %441 = load ptr, ptr %11, align 8, !tbaa !5
  store i32 0, ptr %441, align 4, !tbaa !11
  store i32 0, ptr %12, align 4, !tbaa !11
  %442 = load i32, ptr %17, align 4, !tbaa !11
  %443 = trunc i32 %442 to i16
  %444 = load ptr, ptr %7, align 8, !tbaa !5
  %445 = getelementptr inbounds %struct.BtCursor, ptr %444, i32 0, i32 18
  %446 = load ptr, ptr %7, align 8, !tbaa !5
  %447 = getelementptr inbounds %struct.BtCursor, ptr %446, i32 0, i32 14
  %448 = load i8, ptr %447, align 8, !tbaa !22
  %449 = sext i8 %448 to i64
  %450 = getelementptr inbounds [20 x i16], ptr %445, i64 0, i64 %449
  store i16 %443, ptr %450, align 2, !tbaa !25
  %451 = load ptr, ptr %8, align 8, !tbaa !5
  %452 = getelementptr inbounds %struct.UnpackedRecord, ptr %451, i32 0, i32 4
  %453 = load i8, ptr %452, align 1, !tbaa !20
  %454 = icmp ne i8 %453, 0
  br i1 %454, label %455, label %456

455:                                              ; preds = %440
  store i32 11, ptr %12, align 4, !tbaa !11
  br label %456

456:                                              ; preds = %455, %440
  store i32 11, ptr %14, align 4
  br label %468

457:                                              ; preds = %437
  br label %458

458:                                              ; preds = %457, %431
  %459 = load i32, ptr %15, align 4, !tbaa !11
  %460 = load i32, ptr %16, align 4, !tbaa !11
  %461 = icmp sgt i32 %459, %460
  br i1 %461, label %462, label %463

462:                                              ; preds = %458
  store i32 9, ptr %14, align 4
  br label %468

463:                                              ; preds = %458
  %464 = load i32, ptr %15, align 4, !tbaa !11
  %465 = load i32, ptr %16, align 4, !tbaa !11
  %466 = add nsw i32 %464, %465
  %467 = ashr i32 %466, 1
  store i32 %467, ptr %17, align 4, !tbaa !11
  store i32 0, ptr %14, align 4
  br label %468

468:                                              ; preds = %463, %462, %456, %424
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #4
  %469 = load i32, ptr %14, align 4
  switch i32 %469, label %560 [
    i32 0, label %470
    i32 9, label %471
  ]

470:                                              ; preds = %468
  br label %282

471:                                              ; preds = %468
  br label %472

472:                                              ; preds = %471, %280
  %473 = load ptr, ptr %20, align 8, !tbaa !5
  %474 = getelementptr inbounds %struct.MemPage, ptr %473, i32 0, i32 5
  %475 = load i8, ptr %474, align 8, !tbaa !34
  %476 = icmp ne i8 %475, 0
  br i1 %476, label %477, label %489

477:                                              ; preds = %472
  %478 = load i32, ptr %17, align 4, !tbaa !11
  %479 = trunc i32 %478 to i16
  %480 = load ptr, ptr %7, align 8, !tbaa !5
  %481 = getelementptr inbounds %struct.BtCursor, ptr %480, i32 0, i32 18
  %482 = load ptr, ptr %7, align 8, !tbaa !5
  %483 = getelementptr inbounds %struct.BtCursor, ptr %482, i32 0, i32 14
  %484 = load i8, ptr %483, align 8, !tbaa !22
  %485 = sext i8 %484 to i64
  %486 = getelementptr inbounds [20 x i16], ptr %481, i64 0, i64 %485
  store i16 %479, ptr %486, align 2, !tbaa !25
  %487 = load i32, ptr %18, align 4, !tbaa !11
  %488 = load ptr, ptr %11, align 8, !tbaa !5
  store i32 %487, ptr %488, align 4, !tbaa !11
  store i32 0, ptr %12, align 4, !tbaa !11
  store i32 11, ptr %14, align 4
  br label %560

489:                                              ; preds = %472
  br label %490

490:                                              ; preds = %489, %277
  %491 = load i32, ptr %15, align 4, !tbaa !11
  %492 = load ptr, ptr %20, align 8, !tbaa !5
  %493 = getelementptr inbounds %struct.MemPage, ptr %492, i32 0, i32 14
  %494 = load i16, ptr %493, align 2, !tbaa !23
  %495 = zext i16 %494 to i32
  %496 = icmp sge i32 %491, %495
  br i1 %496, label %497, label %509

497:                                              ; preds = %490
  %498 = load ptr, ptr %20, align 8, !tbaa !5
  %499 = getelementptr inbounds %struct.MemPage, ptr %498, i32 0, i32 19
  %500 = load ptr, ptr %499, align 8, !tbaa !40
  %501 = load ptr, ptr %20, align 8, !tbaa !5
  %502 = getelementptr inbounds %struct.MemPage, ptr %501, i32 0, i32 6
  %503 = load i8, ptr %502, align 1, !tbaa !41
  %504 = zext i8 %503 to i32
  %505 = add nsw i32 %504, 8
  %506 = sext i32 %505 to i64
  %507 = getelementptr inbounds i8, ptr %500, i64 %506
  %508 = call i32 @sqlite3Get4byte(ptr noundef %507)
  store i32 %508, ptr %19, align 4, !tbaa !11
  br label %543

509:                                              ; preds = %490
  %510 = load ptr, ptr %20, align 8, !tbaa !5
  %511 = getelementptr inbounds %struct.MemPage, ptr %510, i32 0, i32 19
  %512 = load ptr, ptr %511, align 8, !tbaa !40
  %513 = load ptr, ptr %20, align 8, !tbaa !5
  %514 = getelementptr inbounds %struct.MemPage, ptr %513, i32 0, i32 15
  %515 = load i16, ptr %514, align 8, !tbaa !27
  %516 = zext i16 %515 to i32
  %517 = load ptr, ptr %20, align 8, !tbaa !5
  %518 = getelementptr inbounds %struct.MemPage, ptr %517, i32 0, i32 21
  %519 = load ptr, ptr %518, align 8, !tbaa !28
  %520 = load i32, ptr %15, align 4, !tbaa !11
  %521 = mul nsw i32 2, %520
  %522 = sext i32 %521 to i64
  %523 = getelementptr inbounds i8, ptr %519, i64 %522
  %524 = getelementptr inbounds i8, ptr %523, i64 0
  %525 = load i8, ptr %524, align 1, !tbaa !29
  %526 = zext i8 %525 to i32
  %527 = shl i32 %526, 8
  %528 = load ptr, ptr %20, align 8, !tbaa !5
  %529 = getelementptr inbounds %struct.MemPage, ptr %528, i32 0, i32 21
  %530 = load ptr, ptr %529, align 8, !tbaa !28
  %531 = load i32, ptr %15, align 4, !tbaa !11
  %532 = mul nsw i32 2, %531
  %533 = sext i32 %532 to i64
  %534 = getelementptr inbounds i8, ptr %530, i64 %533
  %535 = getelementptr inbounds i8, ptr %534, i64 1
  %536 = load i8, ptr %535, align 1, !tbaa !29
  %537 = zext i8 %536 to i32
  %538 = or i32 %527, %537
  %539 = and i32 %516, %538
  %540 = sext i32 %539 to i64
  %541 = getelementptr inbounds i8, ptr %512, i64 %540
  %542 = call i32 @sqlite3Get4byte(ptr noundef %541)
  store i32 %542, ptr %19, align 4, !tbaa !11
  br label %543

543:                                              ; preds = %509, %497
  %544 = load i32, ptr %15, align 4, !tbaa !11
  %545 = trunc i32 %544 to i16
  %546 = load ptr, ptr %7, align 8, !tbaa !5
  %547 = getelementptr inbounds %struct.BtCursor, ptr %546, i32 0, i32 18
  %548 = load ptr, ptr %7, align 8, !tbaa !5
  %549 = getelementptr inbounds %struct.BtCursor, ptr %548, i32 0, i32 14
  %550 = load i8, ptr %549, align 8, !tbaa !22
  %551 = sext i8 %550 to i64
  %552 = getelementptr inbounds [20 x i16], ptr %547, i64 0, i64 %551
  store i16 %545, ptr %552, align 2, !tbaa !25
  %553 = load ptr, ptr %7, align 8, !tbaa !5
  %554 = load i32, ptr %19, align 4, !tbaa !11
  %555 = call i32 @moveToChild(ptr noundef %553, i32 noundef %554)
  store i32 %555, ptr %12, align 4, !tbaa !11
  %556 = load i32, ptr %12, align 4, !tbaa !11
  %557 = icmp ne i32 %556, 0
  br i1 %557, label %558, label %559

558:                                              ; preds = %543
  store i32 2, ptr %14, align 4
  br label %560

559:                                              ; preds = %543
  store i32 0, ptr %14, align 4
  br label %560

560:                                              ; preds = %559, %558, %477, %468, %277
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #4
  %561 = load i32, ptr %14, align 4
  switch i32 %561, label %569 [
    i32 0, label %562
    i32 2, label %563
    i32 11, label %564
  ]

562:                                              ; preds = %560
  br label %130

563:                                              ; preds = %560
  br label %564

564:                                              ; preds = %563, %560
  %565 = load ptr, ptr %7, align 8, !tbaa !5
  %566 = getelementptr inbounds %struct.BtCursor, ptr %565, i32 0, i32 4
  %567 = getelementptr inbounds %struct.CellInfo, ptr %566, i32 0, i32 4
  store i16 0, ptr %567, align 2, !tbaa !35
  %568 = load i32, ptr %12, align 4, !tbaa !11
  store i32 %568, ptr %6, align 4
  store i32 1, ptr %14, align 4
  br label %569

569:                                              ; preds = %564, %560, %127, %119, %100, %86, %64, %48
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #4
  %570 = load i32, ptr %6, align 4
  ret i32 %570
}

; Function Attrs: nounwind uwtable
declare dso_local i32 @sqlite3BtreeNext(ptr noundef, ptr noundef) #3

declare ptr @sqlite3VdbeFindCompare(ptr noundef) #0

declare zeroext i8 @sqlite3GetVarint(ptr noundef, ptr noundef) #0

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"long long", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{!14, !7, i64 86}
!14 = !{!"BtCursor", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !15, i64 32, !10, i64 56, !6, i64 64, !12, i64 72, !12, i64 76, !12, i64 80, !7, i64 84, !7, i64 85, !7, i64 86, !7, i64 87, !7, i64 88, !7, i64 89, !6, i64 96, !6, i64 104, !7, i64 112, !7, i64 152}
!15 = !{!"CellInfo", !10, i64 0, !6, i64 8, !12, i64 16, !16, i64 20, !16, i64 22}
!16 = !{!"short", !7, i64 0}
!17 = !{!14, !7, i64 84}
!18 = !{!14, !10, i64 32}
!19 = !{!14, !12, i64 80}
!20 = !{!21, !7, i64 19}
!21 = !{!"UnpackedRecord", !6, i64 0, !6, i64 8, !16, i64 16, !7, i64 18, !7, i64 19, !7, i64 20, !7, i64 21, !7, i64 22}
!22 = !{!14, !7, i64 88}
!23 = !{!24, !16, i64 22}
!24 = !{!"MemPage", !7, i64 0, !7, i64 1, !7, i64 2, !7, i64 3, !12, i64 4, !7, i64 8, !7, i64 9, !7, i64 10, !7, i64 11, !7, i64 12, !16, i64 14, !16, i64 16, !16, i64 18, !16, i64 20, !16, i64 22, !16, i64 24, !7, i64 26, !7, i64 40, !6, i64 72, !6, i64 80, !6, i64 88, !6, i64 96, !6, i64 104, !6, i64 112, !6, i64 120, !6, i64 128}
!25 = !{!16, !16, i64 0}
!26 = !{!24, !6, i64 104}
!27 = !{!24, !16, i64 24}
!28 = !{!24, !6, i64 96}
!29 = !{!7, !7, i64 0}
!30 = !{!24, !7, i64 3}
!31 = !{!24, !6, i64 88}
!32 = distinct !{!32, !33}
!33 = !{!"llvm.loop.mustprogress"}
!34 = !{!24, !7, i64 8}
!35 = !{!14, !16, i64 54}
!36 = !{!24, !7, i64 11}
!37 = !{!24, !16, i64 14}
!38 = !{!24, !7, i64 10}
!39 = !{!24, !6, i64 128}
!40 = !{!24, !6, i64 80}
!41 = !{!24, !7, i64 9}


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

declare void @sqlite3_free(ptr noundef) local_unnamed_addr #0

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

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

declare ptr @sqlite3Malloc(i64 noundef) local_unnamed_addr #0

declare i32 @sqlite3Get4byte(ptr noundef) local_unnamed_addr #0

declare i32 @sqlite3CorruptError(i32 noundef) local_unnamed_addr #0

; Function Attrs: noinline nounwind uwtable
declare hidden void @getCellInfo(ptr noundef) local_unnamed_addr #2

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

; Function Attrs: nounwind uwtable
declare hidden i32 @moveToRoot(ptr noundef) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
define dso_local i32 @sqlite3BtreeMovetoUnpacked(ptr noundef %0, ptr noundef %1, i64 noundef %2, i32 noundef %3, ptr noundef %4) local_unnamed_addr #3 {
  %6 = alloca i64, align 8
  %cond238 = icmp eq ptr %1, null
  br i1 %cond238, label %7, label %40

7:                                                ; preds = %5
  %8 = getelementptr inbounds i8, ptr %0, i64 86
  %9 = load i8, ptr %8, align 2, !tbaa !5
  %10 = icmp eq i8 %9, 1
  br i1 %10, label %11, label %43

11:                                               ; preds = %7
  %12 = getelementptr inbounds i8, ptr %0, i64 84
  %13 = load i8, ptr %12, align 4, !tbaa !14
  %14 = zext i8 %13 to i32
  %15 = and i32 %14, 2
  %.not = icmp eq i32 %15, 0
  br i1 %.not, label %43, label %16

16:                                               ; preds = %11
  %17 = getelementptr inbounds i8, ptr %0, i64 32
  %18 = load i64, ptr %17, align 8, !tbaa !15
  %19 = icmp eq i64 %18, %2
  br i1 %19, label %20, label %21

20:                                               ; preds = %16
  store i32 0, ptr %4, align 4, !tbaa !16
  br label %297

21:                                               ; preds = %16
  %22 = icmp slt i64 %18, %2
  br i1 %22, label %23, label %43

23:                                               ; preds = %21
  %24 = and i32 %14, 8
  %.not218 = icmp eq i32 %24, 0
  br i1 %.not218, label %26, label %25

25:                                               ; preds = %23
  store i32 -1, ptr %4, align 4, !tbaa !16
  br label %297

26:                                               ; preds = %23
  %27 = add nsw i64 %18, 1
  %28 = icmp eq i64 %27, %2
  br i1 %28, label %29, label %43

29:                                               ; preds = %26
  %30 = getelementptr inbounds i8, ptr %0, i64 80
  %31 = load i32, ptr %30, align 8, !tbaa !17
  %.not219 = icmp eq i32 %31, 0
  br i1 %.not219, label %32, label %43

32:                                               ; preds = %29
  store i32 0, ptr %4, align 4, !tbaa !16
  %33 = tail call i32 @sqlite3BtreeNext(ptr noundef nonnull %0, ptr noundef nonnull %4)
  %.not220 = icmp eq i32 %33, 0
  br i1 %.not220, label %34, label %297

34:                                               ; preds = %32
  %35 = load i32, ptr %4, align 4, !tbaa !16
  %36 = icmp eq i32 %35, 0
  br i1 %36, label %37, label %43

37:                                               ; preds = %34
  tail call void @getCellInfo(ptr noundef nonnull %0)
  %38 = load i64, ptr %17, align 8, !tbaa !15
  %39 = icmp eq i64 %38, %2
  br i1 %39, label %297, label %43

40:                                               ; preds = %5
  %41 = tail call ptr @sqlite3VdbeFindCompare(ptr noundef nonnull %1) #4
  %42 = getelementptr inbounds i8, ptr %1, i64 19
  store i8 0, ptr %42, align 1, !tbaa !18
  br label %43

43:                                               ; preds = %7, %11, %26, %29, %37, %34, %21, %40
  %.0164 = phi ptr [ %41, %40 ], [ null, %21 ], [ null, %34 ], [ null, %37 ], [ null, %29 ], [ null, %26 ], [ null, %11 ], [ null, %7 ]
  %44 = tail call i32 @moveToRoot(ptr noundef %0)
  %.not222 = icmp eq i32 %44, 0
  br i1 %.not222, label %45, label %297

45:                                               ; preds = %43
  %46 = getelementptr inbounds i8, ptr %0, i64 86
  %47 = load i8, ptr %46, align 2, !tbaa !5
  %48 = icmp eq i8 %47, 0
  br i1 %48, label %151, label %.preheader295

.preheader295:                                    ; preds = %45
  %49 = getelementptr inbounds i8, ptr %0, i64 152
  %50 = getelementptr inbounds i8, ptr %0, i64 88
  %51 = sub nsw i32 1, %3
  %52 = getelementptr inbounds i8, ptr %0, i64 112
  %53 = icmp eq ptr %.0164, null
  %54 = getelementptr inbounds i8, ptr %0, i64 32
  %55 = getelementptr inbounds i8, ptr %0, i64 84
  br i1 %53, label %.preheader293.us, label %.preheader294

.preheader293.us:                                 ; preds = %.preheader295, %142
  %56 = load i8, ptr %50, align 8, !tbaa !20
  %57 = sext i8 %56 to i64
  %58 = getelementptr inbounds [20 x ptr], ptr %49, i64 0, i64 %57
  %59 = load ptr, ptr %58, align 8, !tbaa !21
  %60 = getelementptr inbounds i8, ptr %59, i64 22
  %61 = load i16, ptr %60, align 2, !tbaa !22
  %62 = zext i16 %61 to i32
  %63 = add nsw i32 %62, -1
  %64 = ashr i32 %63, %51
  %65 = trunc i32 %64 to i16
  %66 = getelementptr inbounds [20 x i16], ptr %52, i64 0, i64 %57
  store i16 %65, ptr %66, align 2, !tbaa !24
  %67 = getelementptr inbounds i8, ptr %59, i64 104
  %68 = getelementptr inbounds i8, ptr %59, i64 24
  %69 = getelementptr inbounds i8, ptr %59, i64 96
  %70 = getelementptr inbounds i8, ptr %59, i64 3
  %71 = getelementptr inbounds i8, ptr %59, i64 88
  br label %72

72:                                               ; preds = %.preheader293.us, %148
  %.0184.us = phi i32 [ %.1185.us, %148 ], [ 0, %.preheader293.us ]
  %.0178.us = phi i32 [ %.1179.us, %148 ], [ %63, %.preheader293.us ]
  %.0173.us = phi i32 [ %150, %148 ], [ %64, %.preheader293.us ]
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #4
  %73 = load ptr, ptr %67, align 8, !tbaa !25
  %74 = load i16, ptr %68, align 8, !tbaa !26
  %75 = zext i16 %74 to i64
  %76 = load ptr, ptr %69, align 8, !tbaa !27
  %77 = shl nsw i32 %.0173.us, 1
  %78 = sext i32 %77 to i64
  %79 = getelementptr inbounds i8, ptr %76, i64 %78
  %80 = load i8, ptr %79, align 1, !tbaa !28
  %81 = zext i8 %80 to i64
  %82 = shl nuw nsw i64 %81, 8
  %83 = getelementptr inbounds i8, ptr %79, i64 1
  %84 = load i8, ptr %83, align 1, !tbaa !28
  %85 = zext i8 %84 to i64
  %86 = or disjoint i64 %82, %85
  %87 = and i64 %86, %75
  %88 = getelementptr inbounds i8, ptr %73, i64 %87
  %89 = load i8, ptr %70, align 1, !tbaa !29
  %.not229.us = icmp eq i8 %89, 0
  br i1 %.not229.us, label %.loopexit.us, label %.preheader.us

.preheader.us:                                    ; preds = %72, %93
  %.0162.us = phi ptr [ %90, %93 ], [ %88, %72 ]
  %90 = getelementptr inbounds i8, ptr %.0162.us, i64 1
  %91 = load i8, ptr %.0162.us, align 1, !tbaa !28
  %92 = icmp slt i8 %91, 0
  br i1 %92, label %93, label %.loopexit.us

93:                                               ; preds = %.preheader.us
  %94 = load ptr, ptr %71, align 8, !tbaa !30
  %.not233.us = icmp ult ptr %90, %94
  br i1 %.not233.us, label %.preheader.us, label %.split.us, !llvm.loop !31

.loopexit.us:                                     ; preds = %.preheader.us, %72
  %.1163.us = phi ptr [ %88, %72 ], [ %90, %.preheader.us ]
  %95 = call zeroext i8 @sqlite3GetVarint(ptr noundef %.1163.us, ptr noundef nonnull %6) #4
  %96 = load i64, ptr %6, align 8, !tbaa !33
  %97 = icmp slt i64 %96, %2
  br i1 %97, label %109, label %98

98:                                               ; preds = %.loopexit.us
  %99 = icmp sgt i64 %96, %2
  br i1 %99, label %107, label %100

100:                                              ; preds = %98
  %101 = trunc i32 %.0173.us to i16
  %102 = load i8, ptr %50, align 8, !tbaa !20
  %103 = sext i8 %102 to i64
  %104 = getelementptr inbounds [20 x i16], ptr %52, i64 0, i64 %103
  store i16 %101, ptr %104, align 2, !tbaa !24
  %105 = getelementptr inbounds i8, ptr %59, i64 8
  %106 = load i8, ptr %105, align 8, !tbaa !34
  %.not230.us = icmp eq i8 %106, 0
  br i1 %.not230.us, label %.thread253.us, label %.split327.us

.thread253.us:                                    ; preds = %100
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #4
  br label %113

107:                                              ; preds = %98
  %108 = add nsw i32 %.0173.us, -1
  %.not231.us = icmp slt i32 %.0184.us, %.0173.us
  br i1 %.not231.us, label %148, label %.thread246.us

109:                                              ; preds = %.loopexit.us
  %110 = add nsw i32 %.0173.us, 1
  %.not232.us = icmp slt i32 %.0173.us, %.0178.us
  br i1 %.not232.us, label %148, label %.thread246.us

.thread246.us:                                    ; preds = %109, %107
  %.2186.ph.us = phi i32 [ %.0184.us, %107 ], [ %110, %109 ]
  %.2168.ph.us = phi i32 [ 1, %107 ], [ -1, %109 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #4
  %111 = getelementptr inbounds i8, ptr %59, i64 8
  %112 = load i8, ptr %111, align 8, !tbaa !34
  %.not234.us = icmp eq i8 %112, 0
  br i1 %.not234.us, label %113, label %.split329.us

113:                                              ; preds = %.thread246.us, %.thread253.us
  %.7191.us = phi i32 [ %.2186.ph.us, %.thread246.us ], [ %.0173.us, %.thread253.us ]
  %114 = load i16, ptr %60, align 2, !tbaa !22
  %115 = zext i16 %114 to i32
  %.not235.us = icmp slt i32 %.7191.us, %115
  %116 = getelementptr inbounds i8, ptr %59, i64 80
  %117 = load ptr, ptr %116, align 8, !tbaa !35
  br i1 %.not235.us, label %125, label %118

118:                                              ; preds = %113
  %119 = getelementptr inbounds i8, ptr %59, i64 9
  %120 = load i8, ptr %119, align 1, !tbaa !36
  %121 = zext i8 %120 to i64
  %122 = getelementptr inbounds i8, ptr %117, i64 %121
  %123 = getelementptr inbounds i8, ptr %122, i64 8
  %124 = call i32 @sqlite3Get4byte(ptr noundef nonnull %123) #4
  br label %142

125:                                              ; preds = %113
  %126 = load i16, ptr %68, align 8, !tbaa !26
  %127 = zext i16 %126 to i64
  %128 = load ptr, ptr %69, align 8, !tbaa !27
  %129 = shl nsw i32 %.7191.us, 1
  %130 = sext i32 %129 to i64
  %131 = getelementptr inbounds i8, ptr %128, i64 %130
  %132 = load i8, ptr %131, align 1, !tbaa !28
  %133 = zext i8 %132 to i64
  %134 = shl nuw nsw i64 %133, 8
  %135 = getelementptr inbounds i8, ptr %131, i64 1
  %136 = load i8, ptr %135, align 1, !tbaa !28
  %137 = zext i8 %136 to i64
  %138 = or disjoint i64 %134, %137
  %139 = and i64 %138, %127
  %140 = getelementptr inbounds i8, ptr %117, i64 %139
  %141 = call i32 @sqlite3Get4byte(ptr noundef %140) #4
  br label %142

142:                                              ; preds = %125, %118
  %.0165.us = phi i32 [ %124, %118 ], [ %141, %125 ]
  %143 = trunc i32 %.7191.us to i16
  %144 = load i8, ptr %50, align 8, !tbaa !20
  %145 = sext i8 %144 to i64
  %146 = getelementptr inbounds [20 x i16], ptr %52, i64 0, i64 %145
  store i16 %143, ptr %146, align 2, !tbaa !24
  %147 = call i32 @moveToChild(ptr noundef %0, i32 noundef %.0165.us)
  %.not236.us = icmp eq i32 %147, 0
  br i1 %.not236.us, label %.preheader293.us, label %.thread267

148:                                              ; preds = %109, %107
  %.1185.us = phi i32 [ %110, %109 ], [ %.0184.us, %107 ]
  %.1179.us = phi i32 [ %.0178.us, %109 ], [ %108, %107 ]
  %149 = add nsw i32 %.1179.us, %.1185.us
  %150 = ashr i32 %149, 1
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #4
  br label %72

151:                                              ; preds = %45
  store i32 -1, ptr %4, align 4, !tbaa !16
  br label %297

.preheader294:                                    ; preds = %.preheader295, %290
  %152 = load i8, ptr %50, align 8, !tbaa !20
  %153 = sext i8 %152 to i64
  %154 = getelementptr inbounds [20 x ptr], ptr %49, i64 0, i64 %153
  %155 = load ptr, ptr %154, align 8, !tbaa !21
  %156 = getelementptr inbounds i8, ptr %155, i64 22
  %157 = load i16, ptr %156, align 2, !tbaa !22
  %158 = zext i16 %157 to i32
  %159 = add nsw i32 %158, -1
  %160 = ashr i32 %159, %51
  %161 = trunc i32 %160 to i16
  %162 = getelementptr inbounds [20 x i16], ptr %52, i64 0, i64 %153
  store i16 %161, ptr %162, align 2, !tbaa !24
  %163 = getelementptr inbounds i8, ptr %155, i64 104
  %164 = getelementptr inbounds i8, ptr %155, i64 24
  %165 = getelementptr inbounds i8, ptr %155, i64 96
  %166 = getelementptr inbounds i8, ptr %155, i64 11
  %167 = getelementptr inbounds i8, ptr %155, i64 14
  %168 = getelementptr inbounds i8, ptr %155, i64 10
  %169 = getelementptr inbounds i8, ptr %155, i64 128
  br label %174

.split.us:                                        ; preds = %93
  %170 = call i32 @sqlite3CorruptError(i32 noundef 5232) #4
  br label %.thread288

.split327.us:                                     ; preds = %100
  %171 = load i8, ptr %55, align 4, !tbaa !14
  %172 = or i8 %171, 2
  store i8 %172, ptr %55, align 4, !tbaa !14
  store i64 %96, ptr %54, align 8, !tbaa !15
  %173 = getelementptr inbounds i8, ptr %0, i64 54
  store i16 0, ptr %173, align 2, !tbaa !37
  store i32 0, ptr %4, align 4, !tbaa !16
  br label %.thread288

.thread288:                                       ; preds = %.split327.us, %.split.us
  %.2.ph = phi i32 [ 0, %.split327.us ], [ %170, %.split.us ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #4
  br label %297

174:                                              ; preds = %.preheader294, %252
  %.3187 = phi i32 [ %.4188, %252 ], [ 0, %.preheader294 ]
  %.3181 = phi i32 [ %.4182, %252 ], [ %159, %.preheader294 ]
  %.2175 = phi i32 [ %254, %252 ], [ %160, %.preheader294 ]
  %175 = load ptr, ptr %163, align 8, !tbaa !25
  %176 = load i16, ptr %164, align 8, !tbaa !26
  %177 = zext i16 %176 to i64
  %178 = load ptr, ptr %165, align 8, !tbaa !27
  %179 = shl nsw i32 %.2175, 1
  %180 = sext i32 %179 to i64
  %181 = getelementptr inbounds i8, ptr %178, i64 %180
  %182 = load i8, ptr %181, align 1, !tbaa !28
  %183 = zext i8 %182 to i64
  %184 = shl nuw nsw i64 %183, 8
  %185 = getelementptr inbounds i8, ptr %181, i64 1
  %186 = load i8, ptr %185, align 1, !tbaa !28
  %187 = zext i8 %186 to i64
  %188 = or disjoint i64 %184, %187
  %189 = and i64 %188, %177
  %190 = getelementptr inbounds i8, ptr %175, i64 %189
  %191 = load i8, ptr %190, align 1, !tbaa !28
  %192 = zext i8 %191 to i32
  %193 = load i8, ptr %166, align 1, !tbaa !38
  %.not223 = icmp ugt i8 %191, %193
  %194 = getelementptr inbounds i8, ptr %190, i64 1
  br i1 %.not223, label %197, label %195

195:                                              ; preds = %174
  %196 = tail call i32 %.0164(i32 noundef %192, ptr noundef nonnull %194, ptr noundef %1) #4
  br label %236

197:                                              ; preds = %174
  %198 = load i8, ptr %194, align 1, !tbaa !28
  %.not224 = icmp sgt i8 %198, -1
  br i1 %.not224, label %199, label %209

199:                                              ; preds = %197
  %200 = zext nneg i8 %198 to i32
  %201 = shl nuw nsw i32 %192, 7
  %202 = and i32 %201, 16256
  %203 = or disjoint i32 %202, %200
  %204 = load i16, ptr %167, align 2, !tbaa !39
  %205 = zext i16 %204 to i32
  %.not225 = icmp ugt i32 %203, %205
  br i1 %.not225, label %209, label %206

206:                                              ; preds = %199
  %207 = getelementptr inbounds i8, ptr %190, i64 2
  %208 = tail call i32 %.0164(i32 noundef %203, ptr noundef nonnull %207, ptr noundef %1) #4
  br label %236

209:                                              ; preds = %199, %197
  %210 = load i8, ptr %168, align 2, !tbaa !40
  %211 = zext i8 %210 to i64
  %212 = sub nsw i64 0, %211
  %213 = getelementptr inbounds i8, ptr %190, i64 %212
  %214 = load ptr, ptr %169, align 8, !tbaa !41
  tail call void %214(ptr noundef nonnull %155, ptr noundef nonnull %213, ptr noundef nonnull %54) #4
  %215 = load i64, ptr %54, align 8, !tbaa !15
  %216 = trunc i64 %215 to i32
  %217 = icmp slt i32 %216, 2
  br i1 %217, label %218, label %220

218:                                              ; preds = %209
  %219 = tail call i32 @sqlite3CorruptError(i32 noundef 5305) #4
  br label %.thread267

220:                                              ; preds = %209
  %221 = add nuw nsw i64 %215, 18
  %222 = and i64 %221, 4294967295
  %223 = tail call ptr @sqlite3Malloc(i64 noundef %222) #4
  %224 = icmp eq ptr %223, null
  br i1 %224, label %.thread267, label %225

225:                                              ; preds = %220
  %226 = trunc i32 %.2175 to i16
  %227 = load i8, ptr %50, align 8, !tbaa !20
  %228 = sext i8 %227 to i64
  %229 = getelementptr inbounds [20 x i16], ptr %52, i64 0, i64 %228
  store i16 %226, ptr %229, align 2, !tbaa !24
  %230 = tail call i32 @accessPayload(ptr noundef nonnull %0, i32 noundef 0, i32 noundef %216, ptr noundef nonnull %223, i32 noundef 0)
  %231 = load i8, ptr %55, align 4, !tbaa !14
  %232 = and i8 %231, -5
  store i8 %232, ptr %55, align 4, !tbaa !14
  %.not226 = icmp eq i32 %230, 0
  br i1 %.not226, label %234, label %233

233:                                              ; preds = %225
  tail call void @sqlite3_free(ptr noundef nonnull %223) #4
  br label %.thread267

234:                                              ; preds = %225
  %235 = tail call i32 %.0164(i32 noundef %216, ptr noundef nonnull %223, ptr noundef %1) #4
  tail call void @sqlite3_free(ptr noundef nonnull %223) #4
  br label %236

236:                                              ; preds = %234, %206, %195
  %.5171 = phi i32 [ %196, %195 ], [ %235, %234 ], [ %208, %206 ]
  %237 = icmp slt i32 %.5171, 0
  br i1 %237, label %238, label %240

238:                                              ; preds = %236
  %239 = add nsw i32 %.2175, 1
  br label %250

240:                                              ; preds = %236
  %.not227 = icmp eq i32 %.5171, 0
  br i1 %.not227, label %243, label %241

241:                                              ; preds = %240
  %242 = add nsw i32 %.2175, -1
  br label %250

243:                                              ; preds = %240
  store i32 0, ptr %4, align 4, !tbaa !16
  %244 = trunc i32 %.2175 to i16
  %245 = load i8, ptr %50, align 8, !tbaa !20
  %246 = sext i8 %245 to i64
  %247 = getelementptr inbounds [20 x i16], ptr %52, i64 0, i64 %246
  store i16 %244, ptr %247, align 2, !tbaa !24
  %248 = getelementptr inbounds i8, ptr %1, i64 19
  %249 = load i8, ptr %248, align 1, !tbaa !18
  %.not228 = icmp eq i8 %249, 0
  %spec.select = select i1 %.not228, i32 0, i32 11
  br label %.thread267

250:                                              ; preds = %241, %238
  %.4188 = phi i32 [ %239, %238 ], [ %.3187, %241 ]
  %.4182 = phi i32 [ %.3181, %238 ], [ %242, %241 ]
  %251 = icmp sgt i32 %.4188, %.4182
  br i1 %251, label %.thread274.loopexit, label %252

252:                                              ; preds = %250
  %253 = add nuw nsw i32 %.4182, %.4188
  %254 = lshr i32 %253, 1
  br label %174

.thread274.loopexit:                              ; preds = %250
  %255 = getelementptr inbounds i8, ptr %155, i64 8
  %256 = load i8, ptr %255, align 8, !tbaa !34
  %.not234 = icmp eq i8 %256, 0
  br i1 %.not234, label %261, label %.split329.us

.split329.us:                                     ; preds = %.thread274.loopexit, %.thread246.us
  %.us-phi332 = phi i32 [ %.0173.us, %.thread246.us ], [ %.2175, %.thread274.loopexit ]
  %.us-phi333 = phi i32 [ %.2168.ph.us, %.thread246.us ], [ %.5171, %.thread274.loopexit ]
  %257 = trunc i32 %.us-phi332 to i16
  %258 = load i8, ptr %50, align 8, !tbaa !20
  %259 = sext i8 %258 to i64
  %260 = getelementptr inbounds [20 x i16], ptr %52, i64 0, i64 %259
  store i16 %257, ptr %260, align 2, !tbaa !24
  store i32 %.us-phi333, ptr %4, align 4, !tbaa !16
  br label %.thread267

261:                                              ; preds = %.thread274.loopexit
  %262 = load i16, ptr %156, align 2, !tbaa !22
  %263 = zext i16 %262 to i32
  %.not235 = icmp slt i32 %.4188, %263
  %264 = getelementptr inbounds i8, ptr %155, i64 80
  %265 = load ptr, ptr %264, align 8, !tbaa !35
  br i1 %.not235, label %273, label %266

266:                                              ; preds = %261
  %267 = getelementptr inbounds i8, ptr %155, i64 9
  %268 = load i8, ptr %267, align 1, !tbaa !36
  %269 = zext i8 %268 to i64
  %270 = getelementptr inbounds i8, ptr %265, i64 %269
  %271 = getelementptr inbounds i8, ptr %270, i64 8
  %272 = tail call i32 @sqlite3Get4byte(ptr noundef nonnull %271) #4
  br label %290

273:                                              ; preds = %261
  %274 = load i16, ptr %164, align 8, !tbaa !26
  %275 = zext i16 %274 to i64
  %276 = load ptr, ptr %165, align 8, !tbaa !27
  %277 = shl nuw nsw i32 %.4188, 1
  %278 = zext nneg i32 %277 to i64
  %279 = getelementptr inbounds i8, ptr %276, i64 %278
  %280 = load i8, ptr %279, align 1, !tbaa !28
  %281 = zext i8 %280 to i64
  %282 = shl nuw nsw i64 %281, 8
  %283 = getelementptr inbounds i8, ptr %279, i64 1
  %284 = load i8, ptr %283, align 1, !tbaa !28
  %285 = zext i8 %284 to i64
  %286 = or disjoint i64 %282, %285
  %287 = and i64 %286, %275
  %288 = getelementptr inbounds i8, ptr %265, i64 %287
  %289 = tail call i32 @sqlite3Get4byte(ptr noundef %288) #4
  br label %290

290:                                              ; preds = %273, %266
  %.0165 = phi i32 [ %272, %266 ], [ %289, %273 ]
  %291 = trunc i32 %.4188 to i16
  %292 = load i8, ptr %50, align 8, !tbaa !20
  %293 = sext i8 %292 to i64
  %294 = getelementptr inbounds [20 x i16], ptr %52, i64 0, i64 %293
  store i16 %291, ptr %294, align 2, !tbaa !24
  %295 = tail call i32 @moveToChild(ptr noundef %0, i32 noundef %.0165)
  %.not236 = icmp eq i32 %295, 0
  br i1 %.not236, label %.preheader294, label %.thread267

.thread267:                                       ; preds = %290, %220, %142, %233, %218, %243, %.split329.us
  %.6161.ph = phi i32 [ 0, %.split329.us ], [ %spec.select, %243 ], [ %230, %233 ], [ %219, %218 ], [ %147, %142 ], [ 7, %220 ], [ %295, %290 ]
  %296 = getelementptr inbounds i8, ptr %0, i64 54
  store i16 0, ptr %296, align 2, !tbaa !37
  br label %297

297:                                              ; preds = %.thread288, %43, %37, %32, %.thread267, %151, %25, %20
  %.6 = phi i32 [ 0, %20 ], [ 0, %25 ], [ 0, %151 ], [ %.6161.ph, %.thread267 ], [ %33, %32 ], [ 0, %37 ], [ %44, %43 ], [ %.2.ph, %.thread288 ]
  ret i32 %.6
}

; Function Attrs: nounwind uwtable
declare dso_local i32 @sqlite3BtreeNext(ptr noundef, ptr noundef) local_unnamed_addr #3

declare ptr @sqlite3VdbeFindCompare(ptr noundef) local_unnamed_addr #0

declare zeroext i8 @sqlite3GetVarint(ptr noundef, ptr noundef) local_unnamed_addr #0

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

attributes #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 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { noinline nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { 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 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !8, i64 86}
!6 = !{!"BtCursor", !7, i64 0, !7, i64 8, !7, i64 16, !7, i64 24, !10, i64 32, !11, i64 56, !7, i64 64, !12, i64 72, !12, i64 76, !12, i64 80, !8, i64 84, !8, i64 85, !8, i64 86, !8, i64 87, !8, i64 88, !8, i64 89, !7, i64 96, !7, i64 104, !8, i64 112, !8, i64 152}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"CellInfo", !11, i64 0, !7, i64 8, !12, i64 16, !13, i64 20, !13, i64 22}
!11 = !{!"long long", !8, i64 0}
!12 = !{!"int", !8, i64 0}
!13 = !{!"short", !8, i64 0}
!14 = !{!6, !8, i64 84}
!15 = !{!6, !11, i64 32}
!16 = !{!12, !12, i64 0}
!17 = !{!6, !12, i64 80}
!18 = !{!19, !8, i64 19}
!19 = !{!"UnpackedRecord", !7, i64 0, !7, i64 8, !13, i64 16, !8, i64 18, !8, i64 19, !8, i64 20, !8, i64 21, !8, i64 22}
!20 = !{!6, !8, i64 88}
!21 = !{!7, !7, i64 0}
!22 = !{!23, !13, i64 22}
!23 = !{!"MemPage", !8, i64 0, !8, i64 1, !8, i64 2, !8, i64 3, !12, i64 4, !8, i64 8, !8, i64 9, !8, i64 10, !8, i64 11, !8, i64 12, !13, i64 14, !13, i64 16, !13, i64 18, !13, i64 20, !13, i64 22, !13, i64 24, !8, i64 26, !8, i64 40, !7, i64 72, !7, i64 80, !7, i64 88, !7, i64 96, !7, i64 104, !7, i64 112, !7, i64 120, !7, i64 128}
!24 = !{!13, !13, i64 0}
!25 = !{!23, !7, i64 104}
!26 = !{!23, !13, i64 24}
!27 = !{!23, !7, i64 96}
!28 = !{!8, !8, i64 0}
!29 = !{!23, !8, i64 3}
!30 = !{!23, !7, i64 88}
!31 = distinct !{!31, !32}
!32 = !{!"llvm.loop.mustprogress"}
!33 = !{!11, !11, i64 0}
!34 = !{!23, !8, i64 8}
!35 = !{!23, !7, i64 80}
!36 = !{!23, !8, i64 9}
!37 = !{!6, !13, i64 54}
!38 = !{!23, !8, i64 11}
!39 = !{!23, !13, i64 14}
!40 = !{!23, !8, i64 10}
!41 = !{!23, !7, i64 128}


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