; LLVM IR from flomar/sqlmemdb :: sqlite (sqlite3)

; 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.Sqlite3Config = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, %struct.sqlite3_mem_methods, %struct.sqlite3_mutex_methods, %struct.sqlite3_pcache_methods2, ptr, i32, i32, i32, i64, i64, ptr, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ptr, ptr, ptr, ptr, i32, i32, i32, i32 }
%struct.sqlite3_mem_methods = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.sqlite3_mutex_methods = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.sqlite3_pcache_methods2 = type { i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.__va_list_tag = type { i32, i32, ptr, ptr }
%struct.sqlite3 = type { ptr, ptr, ptr, ptr, ptr, i32, i32, i64, i64, i64, i32, i32, i32, i32, i32, i16, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i32, i32, i32, i32, [12 x i32], i32, %struct.sqlite3InitInfo, i32, i32, i32, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, %union.anon, %struct.Lookaside, ptr, ptr, ptr, ptr, i32, i32, %struct.Hash, ptr, ptr, ptr, %struct.Hash, %struct.Hash, %struct.BusyHandler, [2 x %struct.Db], ptr, i32, i32, i32, i64, i64, ptr }
%struct.sqlite3InitInfo = type { i32, i8, i8, i8 }
%union.anon = type { double }
%struct.Lookaside = type { i32, i16, i8, i32, [3 x i32], ptr, ptr, ptr, ptr }
%struct.Hash = type { i32, i32, ptr, ptr }
%struct.BusyHandler = type { ptr, ptr, i32, i8 }
%struct.Db = type { ptr, ptr, i8, i8, ptr }

@sqlite3Config = external hidden global %struct.Sqlite3Config, align 8
@sqlite3PendingByte = external hidden global i32, align 4

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

; Function Attrs: nounwind uwtable
declare dso_local void @sqlite3_mutex_enter(ptr noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local void @sqlite3_mutex_leave(ptr noundef) #1

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

; Function Attrs: nocallback nofree nosync nounwind willreturn
declare void @llvm.va_start.p0(ptr) #2

; Function Attrs: nocallback nofree nosync nounwind willreturn
declare void @llvm.va_end.p0(ptr) #2

; Function Attrs: nounwind uwtable
declare dso_local void @sqlite3_randomness(i32 noundef, ptr noundef) #1

; Function Attrs: nounwind uwtable
declare hidden void @sqlite3ResetAllSchemasOfConnection(ptr noundef) #1

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

; Function Attrs: nounwind uwtable
define dso_local i32 @sqlite3_test_control(i32 noundef %0, ...) #1 {
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca [1 x %struct.__va_list_tag], align 16
  %5 = alloca i32, align 4
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca ptr, align 8
  %13 = alloca i32, align 4
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  store i32 %0, ptr %2, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #3
  store i32 0, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 24, ptr %4) #3
  %17 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  call void @llvm.va_start.p0(ptr %17)
  %18 = load i32, ptr %2, align 4, !tbaa !5
  switch i32 %18, label %463 [
    i32 5, label %19
    i32 6, label %20
    i32 7, label %21
    i32 8, label %22
    i32 9, label %58
    i32 10, label %76
    i32 11, label %111
    i32 12, label %134
    i32 13, label %136
    i32 22, label %160
    i32 14, label %161
    i32 15, label %208
    i32 18, label %245
    i32 17, label %262
    i32 20, label %279
    i32 19, label %296
    i32 21, label %313
    i32 24, label %314
    i32 23, label %349
    i32 25, label %354
  ]

19:                                               ; preds = %1
  call void @sqlite3PrngSaveState()
  br label %463

20:                                               ; preds = %1
  call void @sqlite3PrngRestoreState()
  br label %463

21:                                               ; preds = %1
  call void @sqlite3_randomness(i32 noundef 0, ptr noundef null)
  br label %463

22:                                               ; preds = %1
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #3
  %23 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %24 = getelementptr inbounds %struct.__va_list_tag, ptr %23, i32 0, i32 0
  %25 = load i32, ptr %24, align 16
  %26 = icmp ule i32 %25, 40
  br i1 %26, label %27, label %32

27:                                               ; preds = %22
  %28 = getelementptr inbounds %struct.__va_list_tag, ptr %23, i32 0, i32 3
  %29 = load ptr, ptr %28, align 16
  %30 = getelementptr i8, ptr %29, i32 %25
  %31 = add i32 %25, 8
  store i32 %31, ptr %24, align 16
  br label %36

32:                                               ; preds = %22
  %33 = getelementptr inbounds %struct.__va_list_tag, ptr %23, i32 0, i32 2
  %34 = load ptr, ptr %33, align 8
  %35 = getelementptr i8, ptr %34, i32 8
  store ptr %35, ptr %33, align 8
  br label %36

36:                                               ; preds = %32, %27
  %37 = phi ptr [ %30, %27 ], [ %34, %32 ]
  %38 = load i32, ptr %37, align 4, !tbaa !5
  store i32 %38, ptr %5, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #3
  %39 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %40 = getelementptr inbounds %struct.__va_list_tag, ptr %39, i32 0, i32 0
  %41 = load i32, ptr %40, align 16
  %42 = icmp ule i32 %41, 40
  br i1 %42, label %43, label %48

43:                                               ; preds = %36
  %44 = getelementptr inbounds %struct.__va_list_tag, ptr %39, i32 0, i32 3
  %45 = load ptr, ptr %44, align 16
  %46 = getelementptr i8, ptr %45, i32 %41
  %47 = add i32 %41, 8
  store i32 %47, ptr %40, align 16
  br label %52

48:                                               ; preds = %36
  %49 = getelementptr inbounds %struct.__va_list_tag, ptr %39, i32 0, i32 2
  %50 = load ptr, ptr %49, align 8
  %51 = getelementptr i8, ptr %50, i32 8
  store ptr %51, ptr %49, align 8
  br label %52

52:                                               ; preds = %48, %43
  %53 = phi ptr [ %46, %43 ], [ %50, %48 ]
  %54 = load ptr, ptr %53, align 8, !tbaa !9
  store ptr %54, ptr %6, align 8, !tbaa !9
  %55 = load i32, ptr %5, align 4, !tbaa !5
  %56 = load ptr, ptr %6, align 8, !tbaa !9
  %57 = call i32 @sqlite3BitvecBuiltinTest(i32 noundef %55, ptr noundef %56)
  store i32 %57, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #3
  br label %463

58:                                               ; preds = %1
  %59 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %60 = getelementptr inbounds %struct.__va_list_tag, ptr %59, i32 0, i32 0
  %61 = load i32, ptr %60, align 16
  %62 = icmp ule i32 %61, 40
  br i1 %62, label %63, label %68

63:                                               ; preds = %58
  %64 = getelementptr inbounds %struct.__va_list_tag, ptr %59, i32 0, i32 3
  %65 = load ptr, ptr %64, align 16
  %66 = getelementptr i8, ptr %65, i32 %61
  %67 = add i32 %61, 8
  store i32 %67, ptr %60, align 16
  br label %72

68:                                               ; preds = %58
  %69 = getelementptr inbounds %struct.__va_list_tag, ptr %59, i32 0, i32 2
  %70 = load ptr, ptr %69, align 8
  %71 = getelementptr i8, ptr %70, i32 8
  store ptr %71, ptr %69, align 8
  br label %72

72:                                               ; preds = %68, %63
  %73 = phi ptr [ %66, %63 ], [ %70, %68 ]
  %74 = load ptr, ptr %73, align 8, !tbaa !9
  store ptr %74, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 35), align 8, !tbaa !11
  %75 = call i32 @sqlite3FaultSim(i32 noundef 0)
  store i32 %75, ptr %3, align 4, !tbaa !5
  br label %463

76:                                               ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #3
  %77 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %78 = getelementptr inbounds %struct.__va_list_tag, ptr %77, i32 0, i32 0
  %79 = load i32, ptr %78, align 16
  %80 = icmp ule i32 %79, 40
  br i1 %80, label %81, label %86

81:                                               ; preds = %76
  %82 = getelementptr inbounds %struct.__va_list_tag, ptr %77, i32 0, i32 3
  %83 = load ptr, ptr %82, align 16
  %84 = getelementptr i8, ptr %83, i32 %79
  %85 = add i32 %79, 8
  store i32 %85, ptr %78, align 16
  br label %90

86:                                               ; preds = %76
  %87 = getelementptr inbounds %struct.__va_list_tag, ptr %77, i32 0, i32 2
  %88 = load ptr, ptr %87, align 8
  %89 = getelementptr i8, ptr %88, i32 8
  store ptr %89, ptr %87, align 8
  br label %90

90:                                               ; preds = %86, %81
  %91 = phi ptr [ %84, %81 ], [ %88, %86 ]
  %92 = load ptr, ptr %91, align 8, !tbaa !9
  store ptr %92, ptr %7, align 8, !tbaa !9
  %93 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %94 = getelementptr inbounds %struct.__va_list_tag, ptr %93, i32 0, i32 0
  %95 = load i32, ptr %94, align 16
  %96 = icmp ule i32 %95, 40
  br i1 %96, label %97, label %102

97:                                               ; preds = %90
  %98 = getelementptr inbounds %struct.__va_list_tag, ptr %93, i32 0, i32 3
  %99 = load ptr, ptr %98, align 16
  %100 = getelementptr i8, ptr %99, i32 %95
  %101 = add i32 %95, 8
  store i32 %101, ptr %94, align 16
  br label %106

102:                                              ; preds = %90
  %103 = getelementptr inbounds %struct.__va_list_tag, ptr %93, i32 0, i32 2
  %104 = load ptr, ptr %103, align 8
  %105 = getelementptr i8, ptr %104, i32 8
  store ptr %105, ptr %103, align 8
  br label %106

106:                                              ; preds = %102, %97
  %107 = phi ptr [ %100, %97 ], [ %104, %102 ]
  %108 = load ptr, ptr %107, align 8, !tbaa !9
  store ptr %108, ptr %8, align 8, !tbaa !9
  %109 = load ptr, ptr %7, align 8, !tbaa !9
  %110 = load ptr, ptr %8, align 8, !tbaa !9
  call void @sqlite3BenignMallocHooks(ptr noundef %109, ptr noundef %110)
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #3
  br label %463

111:                                              ; preds = %1
  %112 = load i32, ptr @sqlite3PendingByte, align 4, !tbaa !5
  store i32 %112, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #3
  %113 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %114 = getelementptr inbounds %struct.__va_list_tag, ptr %113, i32 0, i32 0
  %115 = load i32, ptr %114, align 16
  %116 = icmp ule i32 %115, 40
  br i1 %116, label %117, label %122

117:                                              ; preds = %111
  %118 = getelementptr inbounds %struct.__va_list_tag, ptr %113, i32 0, i32 3
  %119 = load ptr, ptr %118, align 16
  %120 = getelementptr i8, ptr %119, i32 %115
  %121 = add i32 %115, 8
  store i32 %121, ptr %114, align 16
  br label %126

122:                                              ; preds = %111
  %123 = getelementptr inbounds %struct.__va_list_tag, ptr %113, i32 0, i32 2
  %124 = load ptr, ptr %123, align 8
  %125 = getelementptr i8, ptr %124, i32 8
  store ptr %125, ptr %123, align 8
  br label %126

126:                                              ; preds = %122, %117
  %127 = phi ptr [ %120, %117 ], [ %124, %122 ]
  %128 = load i32, ptr %127, align 4, !tbaa !5
  store i32 %128, ptr %9, align 4, !tbaa !5
  %129 = load i32, ptr %9, align 4, !tbaa !5
  %130 = icmp ne i32 %129, 0
  br i1 %130, label %131, label %133

131:                                              ; preds = %126
  %132 = load i32, ptr %9, align 4, !tbaa !5
  store i32 %132, ptr @sqlite3PendingByte, align 4, !tbaa !5
  br label %133

133:                                              ; preds = %131, %126
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #3
  br label %463

134:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #3
  store volatile i32 0, ptr %10, align 4, !tbaa !5
  %135 = load volatile i32, ptr %10, align 4, !tbaa !5
  store i32 %135, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #3
  br label %463

136:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #3
  %137 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %138 = getelementptr inbounds %struct.__va_list_tag, ptr %137, i32 0, i32 0
  %139 = load i32, ptr %138, align 16
  %140 = icmp ule i32 %139, 40
  br i1 %140, label %141, label %146

141:                                              ; preds = %136
  %142 = getelementptr inbounds %struct.__va_list_tag, ptr %137, i32 0, i32 3
  %143 = load ptr, ptr %142, align 16
  %144 = getelementptr i8, ptr %143, i32 %139
  %145 = add i32 %139, 8
  store i32 %145, ptr %138, align 16
  br label %150

146:                                              ; preds = %136
  %147 = getelementptr inbounds %struct.__va_list_tag, ptr %137, i32 0, i32 2
  %148 = load ptr, ptr %147, align 8
  %149 = getelementptr i8, ptr %148, i32 8
  store ptr %149, ptr %147, align 8
  br label %150

150:                                              ; preds = %146, %141
  %151 = phi ptr [ %144, %141 ], [ %148, %146 ]
  %152 = load i32, ptr %151, align 4, !tbaa !5
  store i32 %152, ptr %11, align 4, !tbaa !5
  %153 = load i32, ptr %11, align 4, !tbaa !5
  %154 = icmp ne i32 %153, 0
  br i1 %154, label %155, label %157

155:                                              ; preds = %150
  %156 = load i32, ptr %11, align 4, !tbaa !5
  br label %158

157:                                              ; preds = %150
  br label %158

158:                                              ; preds = %157, %155
  %159 = phi i32 [ %156, %155 ], [ 0, %157 ]
  store i32 %159, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #3
  br label %463

160:                                              ; preds = %1
  store i32 123410, ptr %3, align 4, !tbaa !5
  br label %463

161:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #3
  %162 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %163 = getelementptr inbounds %struct.__va_list_tag, ptr %162, i32 0, i32 0
  %164 = load i32, ptr %163, align 16
  %165 = icmp ule i32 %164, 40
  br i1 %165, label %166, label %171

166:                                              ; preds = %161
  %167 = getelementptr inbounds %struct.__va_list_tag, ptr %162, i32 0, i32 3
  %168 = load ptr, ptr %167, align 16
  %169 = getelementptr i8, ptr %168, i32 %164
  %170 = add i32 %164, 8
  store i32 %170, ptr %163, align 16
  br label %175

171:                                              ; preds = %161
  %172 = getelementptr inbounds %struct.__va_list_tag, ptr %162, i32 0, i32 2
  %173 = load ptr, ptr %172, align 8
  %174 = getelementptr i8, ptr %173, i32 8
  store ptr %174, ptr %172, align 8
  br label %175

175:                                              ; preds = %171, %166
  %176 = phi ptr [ %169, %166 ], [ %173, %171 ]
  %177 = load ptr, ptr %176, align 8, !tbaa !9
  store ptr %177, ptr %12, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #3
  %178 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %179 = getelementptr inbounds %struct.__va_list_tag, ptr %178, i32 0, i32 0
  %180 = load i32, ptr %179, align 16
  %181 = icmp ule i32 %180, 40
  br i1 %181, label %182, label %187

182:                                              ; preds = %175
  %183 = getelementptr inbounds %struct.__va_list_tag, ptr %178, i32 0, i32 3
  %184 = load ptr, ptr %183, align 16
  %185 = getelementptr i8, ptr %184, i32 %180
  %186 = add i32 %180, 8
  store i32 %186, ptr %179, align 16
  br label %191

187:                                              ; preds = %175
  %188 = getelementptr inbounds %struct.__va_list_tag, ptr %178, i32 0, i32 2
  %189 = load ptr, ptr %188, align 8
  %190 = getelementptr i8, ptr %189, i32 8
  store ptr %190, ptr %188, align 8
  br label %191

191:                                              ; preds = %187, %182
  %192 = phi ptr [ %185, %182 ], [ %189, %187 ]
  %193 = load i32, ptr %192, align 4, !tbaa !5
  store i32 %193, ptr %13, align 4, !tbaa !5
  %194 = load ptr, ptr %12, align 8, !tbaa !9
  %195 = getelementptr inbounds %struct.sqlite3, ptr %194, i32 0, i32 3
  %196 = load ptr, ptr %195, align 8, !tbaa !17
  call void @sqlite3_mutex_enter(ptr noundef %196)
  %197 = load ptr, ptr %12, align 8, !tbaa !9
  %198 = getelementptr inbounds %struct.sqlite3, ptr %197, i32 0, i32 4
  %199 = load ptr, ptr %198, align 8, !tbaa !24
  %200 = getelementptr inbounds %struct.Db, ptr %199, i64 0
  %201 = getelementptr inbounds %struct.Db, ptr %200, i32 0, i32 1
  %202 = load ptr, ptr %201, align 8, !tbaa !25
  %203 = load i32, ptr %13, align 4, !tbaa !5
  %204 = call i32 @sqlite3BtreeSetPageSize(ptr noundef %202, i32 noundef 0, i32 noundef %203, i32 noundef 0)
  %205 = load ptr, ptr %12, align 8, !tbaa !9
  %206 = getelementptr inbounds %struct.sqlite3, ptr %205, i32 0, i32 3
  %207 = load ptr, ptr %206, align 8, !tbaa !17
  call void @sqlite3_mutex_leave(ptr noundef %207)
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #3
  br label %463

208:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #3
  %209 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %210 = getelementptr inbounds %struct.__va_list_tag, ptr %209, i32 0, i32 0
  %211 = load i32, ptr %210, align 16
  %212 = icmp ule i32 %211, 40
  br i1 %212, label %213, label %218

213:                                              ; preds = %208
  %214 = getelementptr inbounds %struct.__va_list_tag, ptr %209, i32 0, i32 3
  %215 = load ptr, ptr %214, align 16
  %216 = getelementptr i8, ptr %215, i32 %211
  %217 = add i32 %211, 8
  store i32 %217, ptr %210, align 16
  br label %222

218:                                              ; preds = %208
  %219 = getelementptr inbounds %struct.__va_list_tag, ptr %209, i32 0, i32 2
  %220 = load ptr, ptr %219, align 8
  %221 = getelementptr i8, ptr %220, i32 8
  store ptr %221, ptr %219, align 8
  br label %222

222:                                              ; preds = %218, %213
  %223 = phi ptr [ %216, %213 ], [ %220, %218 ]
  %224 = load ptr, ptr %223, align 8, !tbaa !9
  store ptr %224, ptr %14, align 8, !tbaa !9
  %225 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %226 = getelementptr inbounds %struct.__va_list_tag, ptr %225, i32 0, i32 0
  %227 = load i32, ptr %226, align 16
  %228 = icmp ule i32 %227, 40
  br i1 %228, label %229, label %234

229:                                              ; preds = %222
  %230 = getelementptr inbounds %struct.__va_list_tag, ptr %225, i32 0, i32 3
  %231 = load ptr, ptr %230, align 16
  %232 = getelementptr i8, ptr %231, i32 %227
  %233 = add i32 %227, 8
  store i32 %233, ptr %226, align 16
  br label %238

234:                                              ; preds = %222
  %235 = getelementptr inbounds %struct.__va_list_tag, ptr %225, i32 0, i32 2
  %236 = load ptr, ptr %235, align 8
  %237 = getelementptr i8, ptr %236, i32 8
  store ptr %237, ptr %235, align 8
  br label %238

238:                                              ; preds = %234, %229
  %239 = phi ptr [ %232, %229 ], [ %236, %234 ]
  %240 = load i32, ptr %239, align 4, !tbaa !5
  %241 = and i32 %240, 65535
  %242 = trunc i32 %241 to i16
  %243 = load ptr, ptr %14, align 8, !tbaa !9
  %244 = getelementptr inbounds %struct.sqlite3, ptr %243, i32 0, i32 15
  store i16 %242, ptr %244, align 4, !tbaa !27
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #3
  br label %463

245:                                              ; preds = %1
  %246 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %247 = getelementptr inbounds %struct.__va_list_tag, ptr %246, i32 0, i32 0
  %248 = load i32, ptr %247, align 16
  %249 = icmp ule i32 %248, 40
  br i1 %249, label %250, label %255

250:                                              ; preds = %245
  %251 = getelementptr inbounds %struct.__va_list_tag, ptr %246, i32 0, i32 3
  %252 = load ptr, ptr %251, align 16
  %253 = getelementptr i8, ptr %252, i32 %248
  %254 = add i32 %248, 8
  store i32 %254, ptr %247, align 16
  br label %259

255:                                              ; preds = %245
  %256 = getelementptr inbounds %struct.__va_list_tag, ptr %246, i32 0, i32 2
  %257 = load ptr, ptr %256, align 8
  %258 = getelementptr i8, ptr %257, i32 8
  store ptr %258, ptr %256, align 8
  br label %259

259:                                              ; preds = %255, %250
  %260 = phi ptr [ %253, %250 ], [ %257, %255 ]
  %261 = load i32, ptr %260, align 4, !tbaa !5
  store i32 %261, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 36), align 8, !tbaa !28
  br label %463

262:                                              ; preds = %1
  %263 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %264 = getelementptr inbounds %struct.__va_list_tag, ptr %263, i32 0, i32 0
  %265 = load i32, ptr %264, align 16
  %266 = icmp ule i32 %265, 40
  br i1 %266, label %267, label %272

267:                                              ; preds = %262
  %268 = getelementptr inbounds %struct.__va_list_tag, ptr %263, i32 0, i32 3
  %269 = load ptr, ptr %268, align 16
  %270 = getelementptr i8, ptr %269, i32 %265
  %271 = add i32 %265, 8
  store i32 %271, ptr %264, align 16
  br label %276

272:                                              ; preds = %262
  %273 = getelementptr inbounds %struct.__va_list_tag, ptr %263, i32 0, i32 2
  %274 = load ptr, ptr %273, align 8
  %275 = getelementptr i8, ptr %274, i32 8
  store ptr %275, ptr %273, align 8
  br label %276

276:                                              ; preds = %272, %267
  %277 = phi ptr [ %270, %267 ], [ %274, %272 ]
  %278 = load i32, ptr %277, align 4, !tbaa !5
  store i32 %278, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 37), align 4, !tbaa !29
  br label %463

279:                                              ; preds = %1
  %280 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %281 = getelementptr inbounds %struct.__va_list_tag, ptr %280, i32 0, i32 0
  %282 = load i32, ptr %281, align 16
  %283 = icmp ule i32 %282, 40
  br i1 %283, label %284, label %289

284:                                              ; preds = %279
  %285 = getelementptr inbounds %struct.__va_list_tag, ptr %280, i32 0, i32 3
  %286 = load ptr, ptr %285, align 16
  %287 = getelementptr i8, ptr %286, i32 %282
  %288 = add i32 %282, 8
  store i32 %288, ptr %281, align 16
  br label %293

289:                                              ; preds = %279
  %290 = getelementptr inbounds %struct.__va_list_tag, ptr %280, i32 0, i32 2
  %291 = load ptr, ptr %290, align 8
  %292 = getelementptr i8, ptr %291, i32 8
  store ptr %292, ptr %290, align 8
  br label %293

293:                                              ; preds = %289, %284
  %294 = phi ptr [ %287, %284 ], [ %291, %289 ]
  %295 = load i32, ptr %294, align 4, !tbaa !5
  store i32 %295, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 7), align 4, !tbaa !30
  br label %463

296:                                              ; preds = %1
  %297 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %298 = getelementptr inbounds %struct.__va_list_tag, ptr %297, i32 0, i32 0
  %299 = load i32, ptr %298, align 16
  %300 = icmp ule i32 %299, 40
  br i1 %300, label %301, label %306

301:                                              ; preds = %296
  %302 = getelementptr inbounds %struct.__va_list_tag, ptr %297, i32 0, i32 3
  %303 = load ptr, ptr %302, align 16
  %304 = getelementptr i8, ptr %303, i32 %299
  %305 = add i32 %299, 8
  store i32 %305, ptr %298, align 16
  br label %310

306:                                              ; preds = %296
  %307 = getelementptr inbounds %struct.__va_list_tag, ptr %297, i32 0, i32 2
  %308 = load ptr, ptr %307, align 8
  %309 = getelementptr i8, ptr %308, i32 8
  store ptr %309, ptr %307, align 8
  br label %310

310:                                              ; preds = %306, %301
  %311 = phi ptr [ %304, %301 ], [ %308, %306 ]
  %312 = load i32, ptr %311, align 4, !tbaa !5
  store i32 %312, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 38), align 8, !tbaa !31
  br label %463

313:                                              ; preds = %1
  br label %463

314:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #3
  %315 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %316 = getelementptr inbounds %struct.__va_list_tag, ptr %315, i32 0, i32 0
  %317 = load i32, ptr %316, align 16
  %318 = icmp ule i32 %317, 40
  br i1 %318, label %319, label %324

319:                                              ; preds = %314
  %320 = getelementptr inbounds %struct.__va_list_tag, ptr %315, i32 0, i32 3
  %321 = load ptr, ptr %320, align 16
  %322 = getelementptr i8, ptr %321, i32 %317
  %323 = add i32 %317, 8
  store i32 %323, ptr %316, align 16
  br label %328

324:                                              ; preds = %314
  %325 = getelementptr inbounds %struct.__va_list_tag, ptr %315, i32 0, i32 2
  %326 = load ptr, ptr %325, align 8
  %327 = getelementptr i8, ptr %326, i32 8
  store ptr %327, ptr %325, align 8
  br label %328

328:                                              ; preds = %324, %319
  %329 = phi ptr [ %322, %319 ], [ %326, %324 ]
  %330 = load ptr, ptr %329, align 8, !tbaa !9
  store ptr %330, ptr %15, align 8, !tbaa !9
  %331 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %332 = getelementptr inbounds %struct.__va_list_tag, ptr %331, i32 0, i32 0
  %333 = load i32, ptr %332, align 16
  %334 = icmp ule i32 %333, 40
  br i1 %334, label %335, label %340

335:                                              ; preds = %328
  %336 = getelementptr inbounds %struct.__va_list_tag, ptr %331, i32 0, i32 3
  %337 = load ptr, ptr %336, align 16
  %338 = getelementptr i8, ptr %337, i32 %333
  %339 = add i32 %333, 8
  store i32 %339, ptr %332, align 16
  br label %344

340:                                              ; preds = %328
  %341 = getelementptr inbounds %struct.__va_list_tag, ptr %331, i32 0, i32 2
  %342 = load ptr, ptr %341, align 8
  %343 = getelementptr i8, ptr %342, i32 8
  store ptr %343, ptr %341, align 8
  br label %344

344:                                              ; preds = %340, %335
  %345 = phi ptr [ %338, %335 ], [ %342, %340 ]
  %346 = load i32, ptr %345, align 4, !tbaa !5
  %347 = load ptr, ptr %15, align 8, !tbaa !9
  %348 = getelementptr inbounds %struct.sqlite3, ptr %347, i32 0, i32 34
  store i32 %346, ptr %348, align 4, !tbaa !32
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #3
  br label %463

349:                                              ; preds = %1
  %350 = load i32, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 26), align 4, !tbaa !33
  %351 = icmp eq i32 %350, 0
  br i1 %351, label %352, label %353

352:                                              ; preds = %349
  store i32 1, ptr %3, align 4, !tbaa !5
  br label %353

353:                                              ; preds = %352, %349
  br label %463

354:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #3
  %355 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %356 = getelementptr inbounds %struct.__va_list_tag, ptr %355, i32 0, i32 0
  %357 = load i32, ptr %356, align 16
  %358 = icmp ule i32 %357, 40
  br i1 %358, label %359, label %364

359:                                              ; preds = %354
  %360 = getelementptr inbounds %struct.__va_list_tag, ptr %355, i32 0, i32 3
  %361 = load ptr, ptr %360, align 16
  %362 = getelementptr i8, ptr %361, i32 %357
  %363 = add i32 %357, 8
  store i32 %363, ptr %356, align 16
  br label %368

364:                                              ; preds = %354
  %365 = getelementptr inbounds %struct.__va_list_tag, ptr %355, i32 0, i32 2
  %366 = load ptr, ptr %365, align 8
  %367 = getelementptr i8, ptr %366, i32 8
  store ptr %367, ptr %365, align 8
  br label %368

368:                                              ; preds = %364, %359
  %369 = phi ptr [ %362, %359 ], [ %366, %364 ]
  %370 = load ptr, ptr %369, align 8, !tbaa !9
  store ptr %370, ptr %16, align 8, !tbaa !9
  %371 = load ptr, ptr %16, align 8, !tbaa !9
  %372 = getelementptr inbounds %struct.sqlite3, ptr %371, i32 0, i32 3
  %373 = load ptr, ptr %372, align 8, !tbaa !17
  call void @sqlite3_mutex_enter(ptr noundef %373)
  %374 = load ptr, ptr %16, align 8, !tbaa !9
  %375 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %376 = getelementptr inbounds %struct.__va_list_tag, ptr %375, i32 0, i32 0
  %377 = load i32, ptr %376, align 16
  %378 = icmp ule i32 %377, 40
  br i1 %378, label %379, label %384

379:                                              ; preds = %368
  %380 = getelementptr inbounds %struct.__va_list_tag, ptr %375, i32 0, i32 3
  %381 = load ptr, ptr %380, align 16
  %382 = getelementptr i8, ptr %381, i32 %377
  %383 = add i32 %377, 8
  store i32 %383, ptr %376, align 16
  br label %388

384:                                              ; preds = %368
  %385 = getelementptr inbounds %struct.__va_list_tag, ptr %375, i32 0, i32 2
  %386 = load ptr, ptr %385, align 8
  %387 = getelementptr i8, ptr %386, i32 8
  store ptr %387, ptr %385, align 8
  br label %388

388:                                              ; preds = %384, %379
  %389 = phi ptr [ %382, %379 ], [ %386, %384 ]
  %390 = load ptr, ptr %389, align 8, !tbaa !9
  %391 = call i32 @sqlite3FindDbName(ptr noundef %374, ptr noundef %390)
  %392 = trunc i32 %391 to i8
  %393 = load ptr, ptr %16, align 8, !tbaa !9
  %394 = getelementptr inbounds %struct.sqlite3, ptr %393, i32 0, i32 35
  %395 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %394, i32 0, i32 1
  store i8 %392, ptr %395, align 4, !tbaa !34
  %396 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %397 = getelementptr inbounds %struct.__va_list_tag, ptr %396, i32 0, i32 0
  %398 = load i32, ptr %397, align 16
  %399 = icmp ule i32 %398, 40
  br i1 %399, label %400, label %405

400:                                              ; preds = %388
  %401 = getelementptr inbounds %struct.__va_list_tag, ptr %396, i32 0, i32 3
  %402 = load ptr, ptr %401, align 16
  %403 = getelementptr i8, ptr %402, i32 %398
  %404 = add i32 %398, 8
  store i32 %404, ptr %397, align 16
  br label %409

405:                                              ; preds = %388
  %406 = getelementptr inbounds %struct.__va_list_tag, ptr %396, i32 0, i32 2
  %407 = load ptr, ptr %406, align 8
  %408 = getelementptr i8, ptr %407, i32 8
  store ptr %408, ptr %406, align 8
  br label %409

409:                                              ; preds = %405, %400
  %410 = phi ptr [ %403, %400 ], [ %407, %405 ]
  %411 = load i32, ptr %410, align 4, !tbaa !5
  %412 = load ptr, ptr %16, align 8, !tbaa !9
  %413 = getelementptr inbounds %struct.sqlite3, ptr %412, i32 0, i32 35
  %414 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %413, i32 0, i32 3
  %415 = trunc i32 %411 to i8
  %416 = load i8, ptr %414, align 2
  %417 = and i8 %415, 1
  %418 = shl i8 %417, 1
  %419 = and i8 %416, -3
  %420 = or i8 %419, %418
  store i8 %420, ptr %414, align 2
  %421 = zext i8 %417 to i32
  %422 = trunc i32 %421 to i8
  %423 = load ptr, ptr %16, align 8, !tbaa !9
  %424 = getelementptr inbounds %struct.sqlite3, ptr %423, i32 0, i32 35
  %425 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %424, i32 0, i32 2
  store i8 %422, ptr %425, align 1, !tbaa !35
  %426 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %427 = getelementptr inbounds %struct.__va_list_tag, ptr %426, i32 0, i32 0
  %428 = load i32, ptr %427, align 16
  %429 = icmp ule i32 %428, 40
  br i1 %429, label %430, label %435

430:                                              ; preds = %409
  %431 = getelementptr inbounds %struct.__va_list_tag, ptr %426, i32 0, i32 3
  %432 = load ptr, ptr %431, align 16
  %433 = getelementptr i8, ptr %432, i32 %428
  %434 = add i32 %428, 8
  store i32 %434, ptr %427, align 16
  br label %439

435:                                              ; preds = %409
  %436 = getelementptr inbounds %struct.__va_list_tag, ptr %426, i32 0, i32 2
  %437 = load ptr, ptr %436, align 8
  %438 = getelementptr i8, ptr %437, i32 8
  store ptr %438, ptr %436, align 8
  br label %439

439:                                              ; preds = %435, %430
  %440 = phi ptr [ %433, %430 ], [ %437, %435 ]
  %441 = load i32, ptr %440, align 4, !tbaa !5
  %442 = load ptr, ptr %16, align 8, !tbaa !9
  %443 = getelementptr inbounds %struct.sqlite3, ptr %442, i32 0, i32 35
  %444 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %443, i32 0, i32 0
  store i32 %441, ptr %444, align 8, !tbaa !36
  %445 = load ptr, ptr %16, align 8, !tbaa !9
  %446 = getelementptr inbounds %struct.sqlite3, ptr %445, i32 0, i32 35
  %447 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %446, i32 0, i32 2
  %448 = load i8, ptr %447, align 1, !tbaa !35
  %449 = zext i8 %448 to i32
  %450 = icmp eq i32 %449, 0
  br i1 %450, label %451, label %459

451:                                              ; preds = %439
  %452 = load ptr, ptr %16, align 8, !tbaa !9
  %453 = getelementptr inbounds %struct.sqlite3, ptr %452, i32 0, i32 35
  %454 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %453, i32 0, i32 0
  %455 = load i32, ptr %454, align 8, !tbaa !36
  %456 = icmp sgt i32 %455, 0
  br i1 %456, label %457, label %459

457:                                              ; preds = %451
  %458 = load ptr, ptr %16, align 8, !tbaa !9
  call void @sqlite3ResetAllSchemasOfConnection(ptr noundef %458)
  br label %459

459:                                              ; preds = %457, %451, %439
  %460 = load ptr, ptr %16, align 8, !tbaa !9
  %461 = getelementptr inbounds %struct.sqlite3, ptr %460, i32 0, i32 3
  %462 = load ptr, ptr %461, align 8, !tbaa !17
  call void @sqlite3_mutex_leave(ptr noundef %462)
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #3
  br label %463

463:                                              ; preds = %459, %353, %344, %313, %310, %293, %276, %259, %238, %191, %160, %158, %134, %133, %106, %72, %52, %21, %20, %19, %1
  %464 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  call void @llvm.va_end.p0(ptr %464)
  %465 = load i32, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 24, ptr %4) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #3
  ret i32 %465
}

; Function Attrs: nounwind uwtable
declare hidden void @sqlite3PrngSaveState() #1

; Function Attrs: nounwind uwtable
declare hidden void @sqlite3PrngRestoreState() #1

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

; Function Attrs: nounwind uwtable
declare hidden i32 @sqlite3FaultSim(i32 noundef) #1

; Function Attrs: nounwind uwtable
declare hidden void @sqlite3BenignMallocHooks(ptr noundef, ptr noundef) #1

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

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nocallback nofree nosync nounwind willreturn }
attributes #3 = { 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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !10, i64 408}
!12 = !{!"Sqlite3Config", !6, i64 0, !6, i64 4, !6, i64 8, !6, i64 12, !6, i64 16, !6, i64 20, !6, i64 24, !6, i64 28, !6, i64 32, !6, i64 36, !6, i64 40, !13, i64 48, !14, i64 112, !15, i64 184, !10, i64 288, !6, i64 296, !6, i64 300, !6, i64 304, !16, i64 312, !16, i64 320, !10, i64 328, !6, i64 336, !6, i64 340, !6, i64 344, !6, i64 348, !6, i64 352, !6, i64 356, !6, i64 360, !6, i64 364, !6, i64 368, !6, i64 372, !6, i64 376, !10, i64 384, !10, i64 392, !10, i64 400, !10, i64 408, !6, i64 416, !6, i64 420, !6, i64 424, !6, i64 428}
!13 = !{!"sqlite3_mem_methods", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !10, i64 40, !10, i64 48, !10, i64 56}
!14 = !{!"sqlite3_mutex_methods", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !10, i64 40, !10, i64 48, !10, i64 56, !10, i64 64}
!15 = !{!"sqlite3_pcache_methods2", !6, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !10, i64 40, !10, i64 48, !10, i64 56, !10, i64 64, !10, i64 72, !10, i64 80, !10, i64 88, !10, i64 96}
!16 = !{!"long long", !7, i64 0}
!17 = !{!18, !10, i64 24}
!18 = !{!"sqlite3", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !6, i64 40, !6, i64 44, !16, i64 48, !16, i64 56, !16, i64 64, !6, i64 72, !6, i64 76, !6, i64 80, !6, i64 84, !6, i64 88, !19, i64 92, !7, i64 94, !7, i64 95, !7, i64 96, !7, i64 97, !7, i64 98, !7, i64 99, !7, i64 100, !7, i64 101, !7, i64 102, !7, i64 103, !7, i64 104, !7, i64 105, !7, i64 106, !6, i64 108, !6, i64 112, !6, i64 116, !6, i64 120, !7, i64 124, !6, i64 172, !20, i64 176, !6, i64 184, !6, i64 188, !6, i64 192, !6, i64 196, !6, i64 200, !6, i64 204, !10, i64 208, !10, i64 216, !10, i64 224, !10, i64 232, !10, i64 240, !10, i64 248, !10, i64 256, !10, i64 264, !10, i64 272, !10, i64 280, !10, i64 288, !10, i64 296, !10, i64 304, !10, i64 312, !10, i64 320, !10, i64 328, !10, i64 336, !7, i64 344, !21, i64 352, !10, i64 408, !10, i64 416, !10, i64 424, !10, i64 432, !6, i64 440, !6, i64 444, !22, i64 448, !10, i64 472, !10, i64 480, !10, i64 488, !22, i64 496, !22, i64 520, !23, i64 544, !7, i64 568, !10, i64 632, !6, i64 640, !6, i64 644, !6, i64 648, !16, i64 656, !16, i64 664, !10, i64 672}
!19 = !{!"short", !7, i64 0}
!20 = !{!"sqlite3InitInfo", !6, i64 0, !7, i64 4, !7, i64 5, !6, i64 6, !6, i64 6, !6, i64 6}
!21 = !{!"Lookaside", !6, i64 0, !19, i64 4, !7, i64 6, !6, i64 8, !7, i64 12, !10, i64 24, !10, i64 32, !10, i64 40, !10, i64 48}
!22 = !{!"Hash", !6, i64 0, !6, i64 4, !10, i64 8, !10, i64 16}
!23 = !{!"BusyHandler", !10, i64 0, !10, i64 8, !6, i64 16, !7, i64 20}
!24 = !{!18, !10, i64 32}
!25 = !{!26, !10, i64 8}
!26 = !{!"Db", !10, i64 0, !10, i64 8, !7, i64 16, !7, i64 17, !10, i64 24}
!27 = !{!18, !19, i64 92}
!28 = !{!12, !6, i64 416}
!29 = !{!12, !6, i64 420}
!30 = !{!12, !6, i64 28}
!31 = !{!12, !6, i64 424}
!32 = !{!18, !6, i64 172}
!33 = !{!12, !6, i64 356}
!34 = !{!18, !7, i64 180}
!35 = !{!18, !7, i64 181}
!36 = !{!18, !6, i64 176}


; 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.Sqlite3Config = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, %struct.sqlite3_mem_methods, %struct.sqlite3_mutex_methods, %struct.sqlite3_pcache_methods2, ptr, i32, i32, i32, i64, i64, ptr, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ptr, ptr, ptr, ptr, i32, i32, i32, i32 }
%struct.sqlite3_mem_methods = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.sqlite3_mutex_methods = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.sqlite3_pcache_methods2 = type { i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.__va_list_tag = type { i32, i32, ptr, ptr }

@sqlite3Config = external hidden local_unnamed_addr global %struct.Sqlite3Config, align 8
@sqlite3PendingByte = external hidden local_unnamed_addr global i32, align 4

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

; Function Attrs: nounwind uwtable
declare dso_local void @sqlite3_mutex_enter(ptr noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare dso_local void @sqlite3_mutex_leave(ptr noundef) local_unnamed_addr #1

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

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn
declare void @llvm.va_start.p0(ptr) #2

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn
declare void @llvm.va_end.p0(ptr) #2

; Function Attrs: nounwind uwtable
declare dso_local void @sqlite3_randomness(i32 noundef, ptr noundef) local_unnamed_addr #1

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

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

; Function Attrs: nounwind uwtable
define dso_local i32 @sqlite3_test_control(i32 noundef %0, ...) local_unnamed_addr #1 {
  %2 = alloca [1 x %struct.__va_list_tag], align 16
  %3 = alloca i32, align 4
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %2) #3
  call void @llvm.va_start.p0(ptr nonnull %2)
  switch i32 %0, label %369 [
    i32 5, label %4
    i32 6, label %5
    i32 7, label %6
    i32 8, label %7
    i32 9, label %38
    i32 10, label %55
    i32 11, label %85
    i32 12, label %103
    i32 13, label %104
    i32 22, label %120
    i32 14, label %121
    i32 15, label %159
    i32 18, label %191
    i32 17, label %207
    i32 20, label %223
    i32 19, label %239
    i32 25, label %289
    i32 24, label %255
    i32 23, label %286
  ]

4:                                                ; preds = %1
  call void @sqlite3PrngSaveState()
  br label %369

5:                                                ; preds = %1
  call void @sqlite3PrngRestoreState()
  br label %369

6:                                                ; preds = %1
  call void @sqlite3_randomness(i32 noundef 0, ptr noundef null)
  br label %369

7:                                                ; preds = %1
  %8 = load i32, ptr %2, align 16
  %9 = icmp ult i32 %8, 41
  br i1 %9, label %14, label %.thread

.thread:                                          ; preds = %7
  %10 = getelementptr inbounds i8, ptr %2, i64 8
  %11 = load ptr, ptr %10, align 8
  %12 = getelementptr i8, ptr %11, i64 8
  store ptr %12, ptr %10, align 8
  %13 = load i32, ptr %11, align 4, !tbaa !5
  br label %28

14:                                               ; preds = %7
  %15 = getelementptr inbounds i8, ptr %2, i64 16
  %16 = load ptr, ptr %15, align 16
  %17 = zext nneg i32 %8 to i64
  %18 = getelementptr i8, ptr %16, i64 %17
  %19 = add nuw nsw i32 %8, 8
  store i32 %19, ptr %2, align 16
  %20 = load i32, ptr %18, align 4, !tbaa !5
  %21 = icmp ult i32 %8, 33
  br i1 %21, label %22, label %28

22:                                               ; preds = %14
  %23 = getelementptr inbounds i8, ptr %2, i64 16
  %24 = load ptr, ptr %23, align 16
  %25 = zext nneg i32 %19 to i64
  %26 = getelementptr i8, ptr %24, i64 %25
  %27 = add nuw nsw i32 %8, 16
  store i32 %27, ptr %2, align 16
  br label %33

28:                                               ; preds = %.thread, %14
  %29 = phi i32 [ %13, %.thread ], [ %20, %14 ]
  %30 = getelementptr inbounds i8, ptr %2, i64 8
  %31 = load ptr, ptr %30, align 8
  %32 = getelementptr i8, ptr %31, i64 8
  store ptr %32, ptr %30, align 8
  br label %33

33:                                               ; preds = %28, %22
  %34 = phi i32 [ %20, %22 ], [ %29, %28 ]
  %35 = phi ptr [ %26, %22 ], [ %31, %28 ]
  %36 = load ptr, ptr %35, align 8, !tbaa !9
  %37 = call i32 @sqlite3BitvecBuiltinTest(i32 noundef %34, ptr noundef %36)
  br label %369

38:                                               ; preds = %1
  %39 = load i32, ptr %2, align 16
  %40 = icmp ult i32 %39, 41
  br i1 %40, label %41, label %47

41:                                               ; preds = %38
  %42 = getelementptr inbounds i8, ptr %2, i64 16
  %43 = load ptr, ptr %42, align 16
  %44 = zext nneg i32 %39 to i64
  %45 = getelementptr i8, ptr %43, i64 %44
  %46 = add nuw nsw i32 %39, 8
  store i32 %46, ptr %2, align 16
  br label %51

47:                                               ; preds = %38
  %48 = getelementptr inbounds i8, ptr %2, i64 8
  %49 = load ptr, ptr %48, align 8
  %50 = getelementptr i8, ptr %49, i64 8
  store ptr %50, ptr %48, align 8
  br label %51

51:                                               ; preds = %47, %41
  %52 = phi ptr [ %45, %41 ], [ %49, %47 ]
  %53 = load ptr, ptr %52, align 8, !tbaa !9
  store ptr %53, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 408), align 8, !tbaa !11
  %54 = call i32 @sqlite3FaultSim(i32 noundef 0)
  br label %369

55:                                               ; preds = %1
  %56 = load i32, ptr %2, align 16
  %57 = icmp ult i32 %56, 41
  br i1 %57, label %62, label %.thread52

.thread52:                                        ; preds = %55
  %58 = getelementptr inbounds i8, ptr %2, i64 8
  %59 = load ptr, ptr %58, align 8
  %60 = getelementptr i8, ptr %59, i64 8
  store ptr %60, ptr %58, align 8
  %61 = load ptr, ptr %59, align 8, !tbaa !9
  br label %76

62:                                               ; preds = %55
  %63 = getelementptr inbounds i8, ptr %2, i64 16
  %64 = load ptr, ptr %63, align 16
  %65 = zext nneg i32 %56 to i64
  %66 = getelementptr i8, ptr %64, i64 %65
  %67 = add nuw nsw i32 %56, 8
  store i32 %67, ptr %2, align 16
  %68 = load ptr, ptr %66, align 8, !tbaa !9
  %69 = icmp ult i32 %56, 33
  br i1 %69, label %70, label %76

70:                                               ; preds = %62
  %71 = getelementptr inbounds i8, ptr %2, i64 16
  %72 = load ptr, ptr %71, align 16
  %73 = zext nneg i32 %67 to i64
  %74 = getelementptr i8, ptr %72, i64 %73
  %75 = add nuw nsw i32 %56, 16
  store i32 %75, ptr %2, align 16
  br label %81

76:                                               ; preds = %.thread52, %62
  %77 = phi ptr [ %61, %.thread52 ], [ %68, %62 ]
  %78 = getelementptr inbounds i8, ptr %2, i64 8
  %79 = load ptr, ptr %78, align 8
  %80 = getelementptr i8, ptr %79, i64 8
  store ptr %80, ptr %78, align 8
  br label %81

81:                                               ; preds = %76, %70
  %82 = phi ptr [ %68, %70 ], [ %77, %76 ]
  %83 = phi ptr [ %74, %70 ], [ %79, %76 ]
  %84 = load ptr, ptr %83, align 8, !tbaa !9
  call void @sqlite3BenignMallocHooks(ptr noundef %82, ptr noundef %84)
  br label %369

85:                                               ; preds = %1
  %86 = load i32, ptr @sqlite3PendingByte, align 4, !tbaa !5
  %87 = load i32, ptr %2, align 16
  %88 = icmp ult i32 %87, 41
  br i1 %88, label %89, label %95

89:                                               ; preds = %85
  %90 = getelementptr inbounds i8, ptr %2, i64 16
  %91 = load ptr, ptr %90, align 16
  %92 = zext nneg i32 %87 to i64
  %93 = getelementptr i8, ptr %91, i64 %92
  %94 = add nuw nsw i32 %87, 8
  store i32 %94, ptr %2, align 16
  br label %99

95:                                               ; preds = %85
  %96 = getelementptr inbounds i8, ptr %2, i64 8
  %97 = load ptr, ptr %96, align 8
  %98 = getelementptr i8, ptr %97, i64 8
  store ptr %98, ptr %96, align 8
  br label %99

99:                                               ; preds = %95, %89
  %100 = phi ptr [ %93, %89 ], [ %97, %95 ]
  %101 = load i32, ptr %100, align 4, !tbaa !5
  %.not = icmp eq i32 %101, 0
  br i1 %.not, label %369, label %102

102:                                              ; preds = %99
  store i32 %101, ptr @sqlite3PendingByte, align 4, !tbaa !5
  br label %369

103:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %3)
  store volatile i32 0, ptr %3, align 4, !tbaa !5
  %.0..0..0..0.17 = load volatile i32, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3)
  br label %369

104:                                              ; preds = %1
  %105 = load i32, ptr %2, align 16
  %106 = icmp ult i32 %105, 41
  br i1 %106, label %107, label %113

107:                                              ; preds = %104
  %108 = getelementptr inbounds i8, ptr %2, i64 16
  %109 = load ptr, ptr %108, align 16
  %110 = zext nneg i32 %105 to i64
  %111 = getelementptr i8, ptr %109, i64 %110
  %112 = add nuw nsw i32 %105, 8
  store i32 %112, ptr %2, align 16
  br label %117

113:                                              ; preds = %104
  %114 = getelementptr inbounds i8, ptr %2, i64 8
  %115 = load ptr, ptr %114, align 8
  %116 = getelementptr i8, ptr %115, i64 8
  store ptr %116, ptr %114, align 8
  br label %117

117:                                              ; preds = %113, %107
  %118 = phi ptr [ %111, %107 ], [ %115, %113 ]
  %119 = load i32, ptr %118, align 4, !tbaa !5
  br label %369

120:                                              ; preds = %1
  br label %369

121:                                              ; preds = %1
  %122 = load i32, ptr %2, align 16
  %123 = icmp ult i32 %122, 41
  br i1 %123, label %128, label %.thread53

.thread53:                                        ; preds = %121
  %124 = getelementptr inbounds i8, ptr %2, i64 8
  %125 = load ptr, ptr %124, align 8
  %126 = getelementptr i8, ptr %125, i64 8
  store ptr %126, ptr %124, align 8
  %127 = load ptr, ptr %125, align 8, !tbaa !9
  br label %142

128:                                              ; preds = %121
  %129 = getelementptr inbounds i8, ptr %2, i64 16
  %130 = load ptr, ptr %129, align 16
  %131 = zext nneg i32 %122 to i64
  %132 = getelementptr i8, ptr %130, i64 %131
  %133 = add nuw nsw i32 %122, 8
  store i32 %133, ptr %2, align 16
  %134 = load ptr, ptr %132, align 8, !tbaa !9
  %135 = icmp ult i32 %122, 33
  br i1 %135, label %136, label %142

136:                                              ; preds = %128
  %137 = getelementptr inbounds i8, ptr %2, i64 16
  %138 = load ptr, ptr %137, align 16
  %139 = zext nneg i32 %133 to i64
  %140 = getelementptr i8, ptr %138, i64 %139
  %141 = add nuw nsw i32 %122, 16
  store i32 %141, ptr %2, align 16
  br label %147

142:                                              ; preds = %.thread53, %128
  %143 = phi ptr [ %127, %.thread53 ], [ %134, %128 ]
  %144 = getelementptr inbounds i8, ptr %2, i64 8
  %145 = load ptr, ptr %144, align 8
  %146 = getelementptr i8, ptr %145, i64 8
  store ptr %146, ptr %144, align 8
  br label %147

147:                                              ; preds = %142, %136
  %148 = phi ptr [ %134, %136 ], [ %143, %142 ]
  %149 = phi ptr [ %140, %136 ], [ %145, %142 ]
  %150 = load i32, ptr %149, align 4, !tbaa !5
  %151 = getelementptr inbounds i8, ptr %148, i64 24
  %152 = load ptr, ptr %151, align 8, !tbaa !17
  call void @sqlite3_mutex_enter(ptr noundef %152)
  %153 = getelementptr inbounds i8, ptr %148, i64 32
  %154 = load ptr, ptr %153, align 8, !tbaa !24
  %155 = getelementptr inbounds i8, ptr %154, i64 8
  %156 = load ptr, ptr %155, align 8, !tbaa !25
  %157 = call i32 @sqlite3BtreeSetPageSize(ptr noundef %156, i32 noundef 0, i32 noundef %150, i32 noundef 0)
  %158 = load ptr, ptr %151, align 8, !tbaa !17
  call void @sqlite3_mutex_leave(ptr noundef %158)
  br label %369

159:                                              ; preds = %1
  %160 = load i32, ptr %2, align 16
  %161 = icmp ult i32 %160, 41
  br i1 %161, label %166, label %.thread54

.thread54:                                        ; preds = %159
  %162 = getelementptr inbounds i8, ptr %2, i64 8
  %163 = load ptr, ptr %162, align 8
  %164 = getelementptr i8, ptr %163, i64 8
  store ptr %164, ptr %162, align 8
  %165 = load ptr, ptr %163, align 8, !tbaa !9
  br label %180

166:                                              ; preds = %159
  %167 = getelementptr inbounds i8, ptr %2, i64 16
  %168 = load ptr, ptr %167, align 16
  %169 = zext nneg i32 %160 to i64
  %170 = getelementptr i8, ptr %168, i64 %169
  %171 = add nuw nsw i32 %160, 8
  store i32 %171, ptr %2, align 16
  %172 = load ptr, ptr %170, align 8, !tbaa !9
  %173 = icmp ult i32 %160, 33
  br i1 %173, label %174, label %180

174:                                              ; preds = %166
  %175 = getelementptr inbounds i8, ptr %2, i64 16
  %176 = load ptr, ptr %175, align 16
  %177 = zext nneg i32 %171 to i64
  %178 = getelementptr i8, ptr %176, i64 %177
  %179 = add nuw nsw i32 %160, 16
  store i32 %179, ptr %2, align 16
  br label %185

180:                                              ; preds = %.thread54, %166
  %181 = phi ptr [ %165, %.thread54 ], [ %172, %166 ]
  %182 = getelementptr inbounds i8, ptr %2, i64 8
  %183 = load ptr, ptr %182, align 8
  %184 = getelementptr i8, ptr %183, i64 8
  store ptr %184, ptr %182, align 8
  br label %185

185:                                              ; preds = %180, %174
  %186 = phi ptr [ %172, %174 ], [ %181, %180 ]
  %187 = phi ptr [ %178, %174 ], [ %183, %180 ]
  %188 = load i32, ptr %187, align 4, !tbaa !5
  %189 = trunc i32 %188 to i16
  %190 = getelementptr inbounds i8, ptr %186, i64 92
  store i16 %189, ptr %190, align 4, !tbaa !27
  br label %369

191:                                              ; preds = %1
  %192 = load i32, ptr %2, align 16
  %193 = icmp ult i32 %192, 41
  br i1 %193, label %194, label %200

194:                                              ; preds = %191
  %195 = getelementptr inbounds i8, ptr %2, i64 16
  %196 = load ptr, ptr %195, align 16
  %197 = zext nneg i32 %192 to i64
  %198 = getelementptr i8, ptr %196, i64 %197
  %199 = add nuw nsw i32 %192, 8
  store i32 %199, ptr %2, align 16
  br label %204

200:                                              ; preds = %191
  %201 = getelementptr inbounds i8, ptr %2, i64 8
  %202 = load ptr, ptr %201, align 8
  %203 = getelementptr i8, ptr %202, i64 8
  store ptr %203, ptr %201, align 8
  br label %204

204:                                              ; preds = %200, %194
  %205 = phi ptr [ %198, %194 ], [ %202, %200 ]
  %206 = load i32, ptr %205, align 4, !tbaa !5
  store i32 %206, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 416), align 8, !tbaa !28
  br label %369

207:                                              ; preds = %1
  %208 = load i32, ptr %2, align 16
  %209 = icmp ult i32 %208, 41
  br i1 %209, label %210, label %216

210:                                              ; preds = %207
  %211 = getelementptr inbounds i8, ptr %2, i64 16
  %212 = load ptr, ptr %211, align 16
  %213 = zext nneg i32 %208 to i64
  %214 = getelementptr i8, ptr %212, i64 %213
  %215 = add nuw nsw i32 %208, 8
  store i32 %215, ptr %2, align 16
  br label %220

216:                                              ; preds = %207
  %217 = getelementptr inbounds i8, ptr %2, i64 8
  %218 = load ptr, ptr %217, align 8
  %219 = getelementptr i8, ptr %218, i64 8
  store ptr %219, ptr %217, align 8
  br label %220

220:                                              ; preds = %216, %210
  %221 = phi ptr [ %214, %210 ], [ %218, %216 ]
  %222 = load i32, ptr %221, align 4, !tbaa !5
  store i32 %222, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 420), align 4, !tbaa !29
  br label %369

223:                                              ; preds = %1
  %224 = load i32, ptr %2, align 16
  %225 = icmp ult i32 %224, 41
  br i1 %225, label %226, label %232

226:                                              ; preds = %223
  %227 = getelementptr inbounds i8, ptr %2, i64 16
  %228 = load ptr, ptr %227, align 16
  %229 = zext nneg i32 %224 to i64
  %230 = getelementptr i8, ptr %228, i64 %229
  %231 = add nuw nsw i32 %224, 8
  store i32 %231, ptr %2, align 16
  br label %236

232:                                              ; preds = %223
  %233 = getelementptr inbounds i8, ptr %2, i64 8
  %234 = load ptr, ptr %233, align 8
  %235 = getelementptr i8, ptr %234, i64 8
  store ptr %235, ptr %233, align 8
  br label %236

236:                                              ; preds = %232, %226
  %237 = phi ptr [ %230, %226 ], [ %234, %232 ]
  %238 = load i32, ptr %237, align 4, !tbaa !5
  store i32 %238, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 28), align 4, !tbaa !30
  br label %369

239:                                              ; preds = %1
  %240 = load i32, ptr %2, align 16
  %241 = icmp ult i32 %240, 41
  br i1 %241, label %242, label %248

242:                                              ; preds = %239
  %243 = getelementptr inbounds i8, ptr %2, i64 16
  %244 = load ptr, ptr %243, align 16
  %245 = zext nneg i32 %240 to i64
  %246 = getelementptr i8, ptr %244, i64 %245
  %247 = add nuw nsw i32 %240, 8
  store i32 %247, ptr %2, align 16
  br label %252

248:                                              ; preds = %239
  %249 = getelementptr inbounds i8, ptr %2, i64 8
  %250 = load ptr, ptr %249, align 8
  %251 = getelementptr i8, ptr %250, i64 8
  store ptr %251, ptr %249, align 8
  br label %252

252:                                              ; preds = %248, %242
  %253 = phi ptr [ %246, %242 ], [ %250, %248 ]
  %254 = load i32, ptr %253, align 4, !tbaa !5
  store i32 %254, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 424), align 8, !tbaa !31
  br label %369

255:                                              ; preds = %1
  %256 = load i32, ptr %2, align 16
  %257 = icmp ult i32 %256, 41
  br i1 %257, label %262, label %.thread55

.thread55:                                        ; preds = %255
  %258 = getelementptr inbounds i8, ptr %2, i64 8
  %259 = load ptr, ptr %258, align 8
  %260 = getelementptr i8, ptr %259, i64 8
  store ptr %260, ptr %258, align 8
  %261 = load ptr, ptr %259, align 8, !tbaa !9
  br label %276

262:                                              ; preds = %255
  %263 = getelementptr inbounds i8, ptr %2, i64 16
  %264 = load ptr, ptr %263, align 16
  %265 = zext nneg i32 %256 to i64
  %266 = getelementptr i8, ptr %264, i64 %265
  %267 = add nuw nsw i32 %256, 8
  store i32 %267, ptr %2, align 16
  %268 = load ptr, ptr %266, align 8, !tbaa !9
  %269 = icmp ult i32 %256, 33
  br i1 %269, label %270, label %276

270:                                              ; preds = %262
  %271 = getelementptr inbounds i8, ptr %2, i64 16
  %272 = load ptr, ptr %271, align 16
  %273 = zext nneg i32 %267 to i64
  %274 = getelementptr i8, ptr %272, i64 %273
  %275 = add nuw nsw i32 %256, 16
  store i32 %275, ptr %2, align 16
  br label %281

276:                                              ; preds = %.thread55, %262
  %277 = phi ptr [ %261, %.thread55 ], [ %268, %262 ]
  %278 = getelementptr inbounds i8, ptr %2, i64 8
  %279 = load ptr, ptr %278, align 8
  %280 = getelementptr i8, ptr %279, i64 8
  store ptr %280, ptr %278, align 8
  br label %281

281:                                              ; preds = %276, %270
  %282 = phi ptr [ %268, %270 ], [ %277, %276 ]
  %283 = phi ptr [ %274, %270 ], [ %279, %276 ]
  %284 = load i32, ptr %283, align 4, !tbaa !5
  %285 = getelementptr inbounds i8, ptr %282, i64 172
  store i32 %284, ptr %285, align 4, !tbaa !32
  br label %369

286:                                              ; preds = %1
  %287 = load i32, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 356), align 4, !tbaa !33
  %288 = icmp eq i32 %287, 0
  %spec.select = zext i1 %288 to i32
  br label %369

289:                                              ; preds = %1
  %290 = load i32, ptr %2, align 16
  %291 = icmp ult i32 %290, 41
  br i1 %291, label %292, label %298

292:                                              ; preds = %289
  %293 = getelementptr inbounds i8, ptr %2, i64 16
  %294 = load ptr, ptr %293, align 16
  %295 = zext nneg i32 %290 to i64
  %296 = getelementptr i8, ptr %294, i64 %295
  %297 = add nuw nsw i32 %290, 8
  store i32 %297, ptr %2, align 16
  br label %302

298:                                              ; preds = %289
  %299 = getelementptr inbounds i8, ptr %2, i64 8
  %300 = load ptr, ptr %299, align 8
  %301 = getelementptr i8, ptr %300, i64 8
  store ptr %301, ptr %299, align 8
  br label %302

302:                                              ; preds = %298, %292
  %303 = phi ptr [ %296, %292 ], [ %300, %298 ]
  %304 = load ptr, ptr %303, align 8, !tbaa !9
  %305 = getelementptr inbounds i8, ptr %304, i64 24
  %306 = load ptr, ptr %305, align 8, !tbaa !17
  call void @sqlite3_mutex_enter(ptr noundef %306)
  %307 = load i32, ptr %2, align 16
  %308 = icmp ult i32 %307, 41
  br i1 %308, label %309, label %315

309:                                              ; preds = %302
  %310 = getelementptr inbounds i8, ptr %2, i64 16
  %311 = load ptr, ptr %310, align 16
  %312 = zext nneg i32 %307 to i64
  %313 = getelementptr i8, ptr %311, i64 %312
  %314 = add nuw nsw i32 %307, 8
  store i32 %314, ptr %2, align 16
  br label %319

315:                                              ; preds = %302
  %316 = getelementptr inbounds i8, ptr %2, i64 8
  %317 = load ptr, ptr %316, align 8
  %318 = getelementptr i8, ptr %317, i64 8
  store ptr %318, ptr %316, align 8
  br label %319

319:                                              ; preds = %315, %309
  %320 = phi ptr [ %313, %309 ], [ %317, %315 ]
  %321 = load ptr, ptr %320, align 8, !tbaa !9
  %322 = call i32 @sqlite3FindDbName(ptr noundef nonnull %304, ptr noundef %321)
  %323 = trunc i32 %322 to i8
  %324 = getelementptr inbounds i8, ptr %304, i64 176
  %325 = getelementptr inbounds i8, ptr %304, i64 180
  store i8 %323, ptr %325, align 4, !tbaa !34
  %326 = load i32, ptr %2, align 16
  %327 = icmp ult i32 %326, 41
  br i1 %327, label %328, label %334

328:                                              ; preds = %319
  %329 = getelementptr inbounds i8, ptr %2, i64 16
  %330 = load ptr, ptr %329, align 16
  %331 = zext nneg i32 %326 to i64
  %332 = getelementptr i8, ptr %330, i64 %331
  %333 = add nuw nsw i32 %326, 8
  store i32 %333, ptr %2, align 16
  br label %338

334:                                              ; preds = %319
  %335 = getelementptr inbounds i8, ptr %2, i64 8
  %336 = load ptr, ptr %335, align 8
  %337 = getelementptr i8, ptr %336, i64 8
  store ptr %337, ptr %335, align 8
  br label %338

338:                                              ; preds = %334, %328
  %339 = phi i32 [ %333, %328 ], [ %326, %334 ]
  %340 = phi ptr [ %332, %328 ], [ %336, %334 ]
  %341 = load i32, ptr %340, align 4, !tbaa !5
  %342 = getelementptr inbounds i8, ptr %304, i64 182
  %343 = trunc i32 %341 to i8
  %344 = load i8, ptr %342, align 2
  %345 = and i8 %343, 1
  %346 = shl nuw nsw i8 %345, 1
  %347 = and i8 %344, -3
  %348 = or disjoint i8 %346, %347
  store i8 %348, ptr %342, align 2
  %349 = getelementptr inbounds i8, ptr %304, i64 181
  store i8 %345, ptr %349, align 1, !tbaa !35
  %350 = icmp ult i32 %339, 41
  br i1 %350, label %351, label %357

351:                                              ; preds = %338
  %352 = getelementptr inbounds i8, ptr %2, i64 16
  %353 = load ptr, ptr %352, align 16
  %354 = zext nneg i32 %339 to i64
  %355 = getelementptr i8, ptr %353, i64 %354
  %356 = add nuw nsw i32 %339, 8
  store i32 %356, ptr %2, align 16
  br label %361

357:                                              ; preds = %338
  %358 = getelementptr inbounds i8, ptr %2, i64 8
  %359 = load ptr, ptr %358, align 8
  %360 = getelementptr i8, ptr %359, i64 8
  store ptr %360, ptr %358, align 8
  br label %361

361:                                              ; preds = %357, %351
  %362 = phi ptr [ %355, %351 ], [ %359, %357 ]
  %363 = load i32, ptr %362, align 4, !tbaa !5
  store i32 %363, ptr %324, align 8, !tbaa !36
  %364 = icmp eq i8 %345, 0
  %365 = icmp sgt i32 %363, 0
  %or.cond = select i1 %364, i1 %365, i1 false
  br i1 %or.cond, label %366, label %367

366:                                              ; preds = %361
  call void @sqlite3ResetAllSchemasOfConnection(ptr noundef nonnull %304)
  br label %367

367:                                              ; preds = %366, %361
  %368 = load ptr, ptr %305, align 8, !tbaa !17
  call void @sqlite3_mutex_leave(ptr noundef %368)
  br label %369

369:                                              ; preds = %286, %99, %102, %367, %281, %252, %236, %220, %204, %185, %147, %120, %117, %103, %81, %51, %33, %6, %5, %4, %1
  %.0 = phi i32 [ 0, %1 ], [ 0, %281 ], [ 0, %367 ], [ 0, %252 ], [ 0, %236 ], [ 0, %220 ], [ 0, %204 ], [ 0, %185 ], [ 0, %147 ], [ 123410, %120 ], [ %119, %117 ], [ %.0..0..0..0.17, %103 ], [ 0, %81 ], [ %54, %51 ], [ %37, %33 ], [ 0, %6 ], [ 0, %5 ], [ 0, %4 ], [ %86, %102 ], [ %86, %99 ], [ %spec.select, %286 ]
  call void @llvm.va_end.p0(ptr nonnull %2)
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %2) #3
  ret i32 %.0
}

; Function Attrs: nounwind uwtable
declare hidden void @sqlite3PrngSaveState() local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare hidden void @sqlite3PrngRestoreState() local_unnamed_addr #1

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

; Function Attrs: nounwind uwtable
declare hidden i32 @sqlite3FaultSim(i32 noundef) local_unnamed_addr #1

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

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

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress nocallback nofree nosync nounwind willreturn }
attributes #3 = { 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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !10, i64 408}
!12 = !{!"Sqlite3Config", !6, i64 0, !6, i64 4, !6, i64 8, !6, i64 12, !6, i64 16, !6, i64 20, !6, i64 24, !6, i64 28, !6, i64 32, !6, i64 36, !6, i64 40, !13, i64 48, !14, i64 112, !15, i64 184, !10, i64 288, !6, i64 296, !6, i64 300, !6, i64 304, !16, i64 312, !16, i64 320, !10, i64 328, !6, i64 336, !6, i64 340, !6, i64 344, !6, i64 348, !6, i64 352, !6, i64 356, !6, i64 360, !6, i64 364, !6, i64 368, !6, i64 372, !6, i64 376, !10, i64 384, !10, i64 392, !10, i64 400, !10, i64 408, !6, i64 416, !6, i64 420, !6, i64 424, !6, i64 428}
!13 = !{!"sqlite3_mem_methods", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !10, i64 40, !10, i64 48, !10, i64 56}
!14 = !{!"sqlite3_mutex_methods", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !10, i64 40, !10, i64 48, !10, i64 56, !10, i64 64}
!15 = !{!"sqlite3_pcache_methods2", !6, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !10, i64 40, !10, i64 48, !10, i64 56, !10, i64 64, !10, i64 72, !10, i64 80, !10, i64 88, !10, i64 96}
!16 = !{!"long long", !7, i64 0}
!17 = !{!18, !10, i64 24}
!18 = !{!"sqlite3", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !6, i64 40, !6, i64 44, !16, i64 48, !16, i64 56, !16, i64 64, !6, i64 72, !6, i64 76, !6, i64 80, !6, i64 84, !6, i64 88, !19, i64 92, !7, i64 94, !7, i64 95, !7, i64 96, !7, i64 97, !7, i64 98, !7, i64 99, !7, i64 100, !7, i64 101, !7, i64 102, !7, i64 103, !7, i64 104, !7, i64 105, !7, i64 106, !6, i64 108, !6, i64 112, !6, i64 116, !6, i64 120, !7, i64 124, !6, i64 172, !20, i64 176, !6, i64 184, !6, i64 188, !6, i64 192, !6, i64 196, !6, i64 200, !6, i64 204, !10, i64 208, !10, i64 216, !10, i64 224, !10, i64 232, !10, i64 240, !10, i64 248, !10, i64 256, !10, i64 264, !10, i64 272, !10, i64 280, !10, i64 288, !10, i64 296, !10, i64 304, !10, i64 312, !10, i64 320, !10, i64 328, !10, i64 336, !7, i64 344, !21, i64 352, !10, i64 408, !10, i64 416, !10, i64 424, !10, i64 432, !6, i64 440, !6, i64 444, !22, i64 448, !10, i64 472, !10, i64 480, !10, i64 488, !22, i64 496, !22, i64 520, !23, i64 544, !7, i64 568, !10, i64 632, !6, i64 640, !6, i64 644, !6, i64 648, !16, i64 656, !16, i64 664, !10, i64 672}
!19 = !{!"short", !7, i64 0}
!20 = !{!"sqlite3InitInfo", !6, i64 0, !7, i64 4, !7, i64 5, !6, i64 6, !6, i64 6, !6, i64 6}
!21 = !{!"Lookaside", !6, i64 0, !19, i64 4, !7, i64 6, !6, i64 8, !7, i64 12, !10, i64 24, !10, i64 32, !10, i64 40, !10, i64 48}
!22 = !{!"Hash", !6, i64 0, !6, i64 4, !10, i64 8, !10, i64 16}
!23 = !{!"BusyHandler", !10, i64 0, !10, i64 8, !6, i64 16, !7, i64 20}
!24 = !{!18, !10, i64 32}
!25 = !{!26, !10, i64 8}
!26 = !{!"Db", !10, i64 0, !10, i64 8, !7, i64 16, !7, i64 17, !10, i64 24}
!27 = !{!18, !19, i64 92}
!28 = !{!12, !6, i64 416}
!29 = !{!12, !6, i64 420}
!30 = !{!12, !6, i64 28}
!31 = !{!12, !6, i64 424}
!32 = !{!18, !6, i64 172}
!33 = !{!12, !6, i64 356}
!34 = !{!18, !7, i64 180}
!35 = !{!18, !7, i64 181}
!36 = !{!18, !6, i64 176}


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