; LLVM IR from HassenSaidi/IC_sqlite :: src (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, i8, i8, i8, i8, i8, i8, 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, %union.anon, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, %union.anon.0, %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, i32, i64, i64, ptr }
%struct.sqlite3InitInfo = type { i32, i8, i8, i8, ptr }
%union.anon = type { ptr }
%union.anon.0 = type { double }
%struct.Lookaside = type { i32, i16, i16, i8, i32, [3 x i32], ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.Hash = type { i32, i32, ptr, ptr }
%struct.BusyHandler = type { ptr, ptr, i32 }
%struct.Db = type { ptr, ptr, i8, i8, ptr }
%struct.Schema = type { i32, i32, %struct.Hash, %struct.Hash, %struct.Hash, %struct.Hash, ptr, i8, i8, i16, i32 }

@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 i32, align 4
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca ptr, align 8
  %21 = 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
  %22 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  call void @llvm.va_start.p0(ptr %22)
  %23 = load i32, ptr %2, align 4, !tbaa !5
  switch i32 %23, label %544 [
    i32 5, label %24
    i32 6, label %25
    i32 28, label %26
    i32 8, label %75
    i32 9, label %111
    i32 10, label %129
    i32 11, label %164
    i32 12, label %187
    i32 13, label %189
    i32 22, label %213
    i32 15, label %214
    i32 18, label %251
    i32 17, label %268
    i32 20, label %289
    i32 29, label %306
    i32 19, label %324
    i32 21, label %341
    i32 24, label %342
    i32 23, label %377
    i32 25, label %382
    i32 27, label %491
    i32 30, label %509
  ]

24:                                               ; preds = %1
  call void @sqlite3PrngSaveState()
  br label %544

25:                                               ; preds = %1
  call void @sqlite3PrngRestoreState()
  br label %544

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

31:                                               ; preds = %26
  %32 = getelementptr inbounds %struct.__va_list_tag, ptr %27, i32 0, i32 3
  %33 = load ptr, ptr %32, align 16
  %34 = getelementptr i8, ptr %33, i32 %29
  %35 = add i32 %29, 8
  store i32 %35, ptr %28, align 16
  br label %40

36:                                               ; preds = %26
  %37 = getelementptr inbounds %struct.__va_list_tag, ptr %27, i32 0, i32 2
  %38 = load ptr, ptr %37, align 8
  %39 = getelementptr i8, ptr %38, i32 8
  store ptr %39, ptr %37, align 8
  br label %40

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

47:                                               ; preds = %40
  %48 = getelementptr inbounds %struct.__va_list_tag, ptr %43, i32 0, i32 3
  %49 = load ptr, ptr %48, align 16
  %50 = getelementptr i8, ptr %49, i32 %45
  %51 = add i32 %45, 8
  store i32 %51, ptr %44, align 16
  br label %56

52:                                               ; preds = %40
  %53 = getelementptr inbounds %struct.__va_list_tag, ptr %43, i32 0, i32 2
  %54 = load ptr, ptr %53, align 8
  %55 = getelementptr i8, ptr %54, i32 8
  store ptr %55, ptr %53, align 8
  br label %56

56:                                               ; preds = %52, %47
  %57 = phi ptr [ %50, %47 ], [ %54, %52 ]
  %58 = load ptr, ptr %57, align 8, !tbaa !9
  store ptr %58, ptr %7, align 8, !tbaa !9
  %59 = load ptr, ptr %7, align 8, !tbaa !9
  %60 = icmp ne ptr %59, null
  br i1 %60, label %61, label %73

61:                                               ; preds = %56
  %62 = load ptr, ptr %7, align 8, !tbaa !9
  %63 = getelementptr inbounds %struct.sqlite3, ptr %62, i32 0, i32 4
  %64 = load ptr, ptr %63, align 8, !tbaa !11
  %65 = getelementptr inbounds %struct.Db, ptr %64, i64 0
  %66 = getelementptr inbounds %struct.Db, ptr %65, i32 0, i32 4
  %67 = load ptr, ptr %66, align 8, !tbaa !19
  %68 = getelementptr inbounds %struct.Schema, ptr %67, i32 0, i32 0
  %69 = load i32, ptr %68, align 8, !tbaa !21
  store i32 %69, ptr %6, align 4, !tbaa !5
  %70 = icmp ne i32 %69, 0
  br i1 %70, label %71, label %73

71:                                               ; preds = %61
  %72 = load i32, ptr %6, align 4, !tbaa !5
  store i32 %72, ptr %5, align 4, !tbaa !5
  br label %73

73:                                               ; preds = %71, %61, %56
  %74 = load i32, ptr %5, align 4, !tbaa !5
  store i32 %74, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 40), align 4, !tbaa !23
  call void @sqlite3_randomness(i32 noundef 0, ptr noundef null)
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #3
  br label %544

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

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

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

89:                                               ; preds = %85, %80
  %90 = phi ptr [ %83, %80 ], [ %87, %85 ]
  %91 = load i32, ptr %90, align 4, !tbaa !5
  store i32 %91, ptr %8, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #3
  %92 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %93 = getelementptr inbounds %struct.__va_list_tag, ptr %92, i32 0, i32 0
  %94 = load i32, ptr %93, align 16
  %95 = icmp ule i32 %94, 40
  br i1 %95, label %96, label %101

96:                                               ; preds = %89
  %97 = getelementptr inbounds %struct.__va_list_tag, ptr %92, i32 0, i32 3
  %98 = load ptr, ptr %97, align 16
  %99 = getelementptr i8, ptr %98, i32 %94
  %100 = add i32 %94, 8
  store i32 %100, ptr %93, align 16
  br label %105

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

105:                                              ; preds = %101, %96
  %106 = phi ptr [ %99, %96 ], [ %103, %101 ]
  %107 = load ptr, ptr %106, align 8, !tbaa !9
  store ptr %107, ptr %9, align 8, !tbaa !9
  %108 = load i32, ptr %8, align 4, !tbaa !5
  %109 = load ptr, ptr %9, align 8, !tbaa !9
  %110 = call i32 @sqlite3BitvecBuiltinTest(i32 noundef %108, ptr noundef %109)
  store i32 %110, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #3
  br label %544

111:                                              ; preds = %1
  %112 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %113 = getelementptr inbounds %struct.__va_list_tag, ptr %112, i32 0, i32 0
  %114 = load i32, ptr %113, align 16
  %115 = icmp ule i32 %114, 40
  br i1 %115, label %116, label %121

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

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

125:                                              ; preds = %121, %116
  %126 = phi ptr [ %119, %116 ], [ %123, %121 ]
  %127 = load ptr, ptr %126, align 8, !tbaa !9
  store ptr %127, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 36), align 8, !tbaa !28
  %128 = call i32 @sqlite3FaultSim(i32 noundef 0)
  store i32 %128, ptr %3, align 4, !tbaa !5
  br label %544

129:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #3
  %130 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %131 = getelementptr inbounds %struct.__va_list_tag, ptr %130, i32 0, i32 0
  %132 = load i32, ptr %131, align 16
  %133 = icmp ule i32 %132, 40
  br i1 %133, label %134, label %139

134:                                              ; preds = %129
  %135 = getelementptr inbounds %struct.__va_list_tag, ptr %130, i32 0, i32 3
  %136 = load ptr, ptr %135, align 16
  %137 = getelementptr i8, ptr %136, i32 %132
  %138 = add i32 %132, 8
  store i32 %138, ptr %131, align 16
  br label %143

139:                                              ; preds = %129
  %140 = getelementptr inbounds %struct.__va_list_tag, ptr %130, i32 0, i32 2
  %141 = load ptr, ptr %140, align 8
  %142 = getelementptr i8, ptr %141, i32 8
  store ptr %142, ptr %140, align 8
  br label %143

143:                                              ; preds = %139, %134
  %144 = phi ptr [ %137, %134 ], [ %141, %139 ]
  %145 = load ptr, ptr %144, align 8, !tbaa !9
  store ptr %145, ptr %10, align 8, !tbaa !9
  %146 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %147 = getelementptr inbounds %struct.__va_list_tag, ptr %146, i32 0, i32 0
  %148 = load i32, ptr %147, align 16
  %149 = icmp ule i32 %148, 40
  br i1 %149, label %150, label %155

150:                                              ; preds = %143
  %151 = getelementptr inbounds %struct.__va_list_tag, ptr %146, i32 0, i32 3
  %152 = load ptr, ptr %151, align 16
  %153 = getelementptr i8, ptr %152, i32 %148
  %154 = add i32 %148, 8
  store i32 %154, ptr %147, align 16
  br label %159

155:                                              ; preds = %143
  %156 = getelementptr inbounds %struct.__va_list_tag, ptr %146, i32 0, i32 2
  %157 = load ptr, ptr %156, align 8
  %158 = getelementptr i8, ptr %157, i32 8
  store ptr %158, ptr %156, align 8
  br label %159

159:                                              ; preds = %155, %150
  %160 = phi ptr [ %153, %150 ], [ %157, %155 ]
  %161 = load ptr, ptr %160, align 8, !tbaa !9
  store ptr %161, ptr %11, align 8, !tbaa !9
  %162 = load ptr, ptr %10, align 8, !tbaa !9
  %163 = load ptr, ptr %11, align 8, !tbaa !9
  call void @sqlite3BenignMallocHooks(ptr noundef %162, ptr noundef %163)
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #3
  br label %544

164:                                              ; preds = %1
  %165 = load i32, ptr @sqlite3PendingByte, align 4, !tbaa !5
  store i32 %165, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #3
  %166 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %167 = getelementptr inbounds %struct.__va_list_tag, ptr %166, i32 0, i32 0
  %168 = load i32, ptr %167, align 16
  %169 = icmp ule i32 %168, 40
  br i1 %169, label %170, label %175

170:                                              ; preds = %164
  %171 = getelementptr inbounds %struct.__va_list_tag, ptr %166, i32 0, i32 3
  %172 = load ptr, ptr %171, align 16
  %173 = getelementptr i8, ptr %172, i32 %168
  %174 = add i32 %168, 8
  store i32 %174, ptr %167, align 16
  br label %179

175:                                              ; preds = %164
  %176 = getelementptr inbounds %struct.__va_list_tag, ptr %166, i32 0, i32 2
  %177 = load ptr, ptr %176, align 8
  %178 = getelementptr i8, ptr %177, i32 8
  store ptr %178, ptr %176, align 8
  br label %179

179:                                              ; preds = %175, %170
  %180 = phi ptr [ %173, %170 ], [ %177, %175 ]
  %181 = load i32, ptr %180, align 4, !tbaa !5
  store i32 %181, ptr %12, align 4, !tbaa !5
  %182 = load i32, ptr %12, align 4, !tbaa !5
  %183 = icmp ne i32 %182, 0
  br i1 %183, label %184, label %186

184:                                              ; preds = %179
  %185 = load i32, ptr %12, align 4, !tbaa !5
  store i32 %185, ptr @sqlite3PendingByte, align 4, !tbaa !5
  br label %186

186:                                              ; preds = %184, %179
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #3
  br label %544

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

189:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #3
  %190 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %191 = getelementptr inbounds %struct.__va_list_tag, ptr %190, i32 0, i32 0
  %192 = load i32, ptr %191, align 16
  %193 = icmp ule i32 %192, 40
  br i1 %193, label %194, label %199

194:                                              ; preds = %189
  %195 = getelementptr inbounds %struct.__va_list_tag, ptr %190, i32 0, i32 3
  %196 = load ptr, ptr %195, align 16
  %197 = getelementptr i8, ptr %196, i32 %192
  %198 = add i32 %192, 8
  store i32 %198, ptr %191, align 16
  br label %203

199:                                              ; preds = %189
  %200 = getelementptr inbounds %struct.__va_list_tag, ptr %190, i32 0, i32 2
  %201 = load ptr, ptr %200, align 8
  %202 = getelementptr i8, ptr %201, i32 8
  store ptr %202, ptr %200, align 8
  br label %203

203:                                              ; preds = %199, %194
  %204 = phi ptr [ %197, %194 ], [ %201, %199 ]
  %205 = load i32, ptr %204, align 4, !tbaa !5
  store i32 %205, ptr %14, align 4, !tbaa !5
  %206 = load i32, ptr %14, align 4, !tbaa !5
  %207 = icmp ne i32 %206, 0
  br i1 %207, label %208, label %210

208:                                              ; preds = %203
  %209 = load i32, ptr %14, align 4, !tbaa !5
  br label %211

210:                                              ; preds = %203
  br label %211

211:                                              ; preds = %210, %208
  %212 = phi i32 [ %209, %208 ], [ 0, %210 ]
  store i32 %212, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #3
  br label %544

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

214:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #3
  %215 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %216 = getelementptr inbounds %struct.__va_list_tag, ptr %215, i32 0, i32 0
  %217 = load i32, ptr %216, align 16
  %218 = icmp ule i32 %217, 40
  br i1 %218, label %219, label %224

219:                                              ; preds = %214
  %220 = getelementptr inbounds %struct.__va_list_tag, ptr %215, i32 0, i32 3
  %221 = load ptr, ptr %220, align 16
  %222 = getelementptr i8, ptr %221, i32 %217
  %223 = add i32 %217, 8
  store i32 %223, ptr %216, align 16
  br label %228

224:                                              ; preds = %214
  %225 = getelementptr inbounds %struct.__va_list_tag, ptr %215, i32 0, i32 2
  %226 = load ptr, ptr %225, align 8
  %227 = getelementptr i8, ptr %226, i32 8
  store ptr %227, ptr %225, align 8
  br label %228

228:                                              ; preds = %224, %219
  %229 = phi ptr [ %222, %219 ], [ %226, %224 ]
  %230 = load ptr, ptr %229, align 8, !tbaa !9
  store ptr %230, ptr %15, align 8, !tbaa !9
  %231 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %232 = getelementptr inbounds %struct.__va_list_tag, ptr %231, i32 0, i32 0
  %233 = load i32, ptr %232, align 16
  %234 = icmp ule i32 %233, 40
  br i1 %234, label %235, label %240

235:                                              ; preds = %228
  %236 = getelementptr inbounds %struct.__va_list_tag, ptr %231, i32 0, i32 3
  %237 = load ptr, ptr %236, align 16
  %238 = getelementptr i8, ptr %237, i32 %233
  %239 = add i32 %233, 8
  store i32 %239, ptr %232, align 16
  br label %244

240:                                              ; preds = %228
  %241 = getelementptr inbounds %struct.__va_list_tag, ptr %231, i32 0, i32 2
  %242 = load ptr, ptr %241, align 8
  %243 = getelementptr i8, ptr %242, i32 8
  store ptr %243, ptr %241, align 8
  br label %244

244:                                              ; preds = %240, %235
  %245 = phi ptr [ %238, %235 ], [ %242, %240 ]
  %246 = load i32, ptr %245, align 4, !tbaa !5
  %247 = and i32 %246, 65535
  %248 = trunc i32 %247 to i16
  %249 = load ptr, ptr %15, align 8, !tbaa !9
  %250 = getelementptr inbounds %struct.sqlite3, ptr %249, i32 0, i32 15
  store i16 %248, ptr %250, align 4, !tbaa !29
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #3
  br label %544

251:                                              ; preds = %1
  %252 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %253 = getelementptr inbounds %struct.__va_list_tag, ptr %252, i32 0, i32 0
  %254 = load i32, ptr %253, align 16
  %255 = icmp ule i32 %254, 40
  br i1 %255, label %256, label %261

256:                                              ; preds = %251
  %257 = getelementptr inbounds %struct.__va_list_tag, ptr %252, i32 0, i32 3
  %258 = load ptr, ptr %257, align 16
  %259 = getelementptr i8, ptr %258, i32 %254
  %260 = add i32 %254, 8
  store i32 %260, ptr %253, align 16
  br label %265

261:                                              ; preds = %251
  %262 = getelementptr inbounds %struct.__va_list_tag, ptr %252, i32 0, i32 2
  %263 = load ptr, ptr %262, align 8
  %264 = getelementptr i8, ptr %263, i32 8
  store ptr %264, ptr %262, align 8
  br label %265

265:                                              ; preds = %261, %256
  %266 = phi ptr [ %259, %256 ], [ %263, %261 ]
  %267 = load i32, ptr %266, align 4, !tbaa !5
  store i32 %267, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 37), align 8, !tbaa !30
  br label %544

268:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #3
  %269 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %270 = getelementptr inbounds %struct.__va_list_tag, ptr %269, i32 0, i32 0
  %271 = load i32, ptr %270, align 16
  %272 = icmp ule i32 %271, 40
  br i1 %272, label %273, label %278

273:                                              ; preds = %268
  %274 = getelementptr inbounds %struct.__va_list_tag, ptr %269, i32 0, i32 3
  %275 = load ptr, ptr %274, align 16
  %276 = getelementptr i8, ptr %275, i32 %271
  %277 = add i32 %271, 8
  store i32 %277, ptr %270, align 16
  br label %282

278:                                              ; preds = %268
  %279 = getelementptr inbounds %struct.__va_list_tag, ptr %269, i32 0, i32 2
  %280 = load ptr, ptr %279, align 8
  %281 = getelementptr i8, ptr %280, i32 8
  store ptr %281, ptr %279, align 8
  br label %282

282:                                              ; preds = %278, %273
  %283 = phi ptr [ %276, %273 ], [ %280, %278 ]
  %284 = load ptr, ptr %283, align 8, !tbaa !9
  store ptr %284, ptr %16, align 8, !tbaa !9
  %285 = load ptr, ptr %16, align 8, !tbaa !9
  %286 = getelementptr inbounds %struct.sqlite3, ptr %285, i32 0, i32 6
  %287 = load i32, ptr %286, align 4, !tbaa !31
  %288 = xor i32 %287, 32
  store i32 %288, ptr %286, align 4, !tbaa !31
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #3
  br label %544

289:                                              ; preds = %1
  %290 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %291 = getelementptr inbounds %struct.__va_list_tag, ptr %290, i32 0, i32 0
  %292 = load i32, ptr %291, align 16
  %293 = icmp ule i32 %292, 40
  br i1 %293, label %294, label %299

294:                                              ; preds = %289
  %295 = getelementptr inbounds %struct.__va_list_tag, ptr %290, i32 0, i32 3
  %296 = load ptr, ptr %295, align 16
  %297 = getelementptr i8, ptr %296, i32 %292
  %298 = add i32 %292, 8
  store i32 %298, ptr %291, align 16
  br label %303

299:                                              ; preds = %289
  %300 = getelementptr inbounds %struct.__va_list_tag, ptr %290, i32 0, i32 2
  %301 = load ptr, ptr %300, align 8
  %302 = getelementptr i8, ptr %301, i32 8
  store ptr %302, ptr %300, align 8
  br label %303

303:                                              ; preds = %299, %294
  %304 = phi ptr [ %297, %294 ], [ %301, %299 ]
  %305 = load i32, ptr %304, align 4, !tbaa !5
  store i32 %305, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 8), align 8, !tbaa !32
  br label %544

306:                                              ; preds = %1
  %307 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %308 = getelementptr inbounds %struct.__va_list_tag, ptr %307, i32 0, i32 0
  %309 = load i32, ptr %308, align 16
  %310 = icmp ule i32 %309, 40
  br i1 %310, label %311, label %316

311:                                              ; preds = %306
  %312 = getelementptr inbounds %struct.__va_list_tag, ptr %307, i32 0, i32 3
  %313 = load ptr, ptr %312, align 16
  %314 = getelementptr i8, ptr %313, i32 %309
  %315 = add i32 %309, 8
  store i32 %315, ptr %308, align 16
  br label %320

316:                                              ; preds = %306
  %317 = getelementptr inbounds %struct.__va_list_tag, ptr %307, i32 0, i32 2
  %318 = load ptr, ptr %317, align 8
  %319 = getelementptr i8, ptr %318, i32 8
  store ptr %319, ptr %317, align 8
  br label %320

320:                                              ; preds = %316, %311
  %321 = phi ptr [ %314, %311 ], [ %318, %316 ]
  %322 = load i32, ptr %321, align 4, !tbaa !5
  %323 = trunc i32 %322 to i8
  store i8 %323, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 6), align 1, !tbaa !33
  br label %544

324:                                              ; preds = %1
  %325 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %326 = getelementptr inbounds %struct.__va_list_tag, ptr %325, i32 0, i32 0
  %327 = load i32, ptr %326, align 16
  %328 = icmp ule i32 %327, 40
  br i1 %328, label %329, label %334

329:                                              ; preds = %324
  %330 = getelementptr inbounds %struct.__va_list_tag, ptr %325, i32 0, i32 3
  %331 = load ptr, ptr %330, align 16
  %332 = getelementptr i8, ptr %331, i32 %327
  %333 = add i32 %327, 8
  store i32 %333, ptr %326, align 16
  br label %338

334:                                              ; preds = %324
  %335 = getelementptr inbounds %struct.__va_list_tag, ptr %325, i32 0, i32 2
  %336 = load ptr, ptr %335, align 8
  %337 = getelementptr i8, ptr %336, i32 8
  store ptr %337, ptr %335, align 8
  br label %338

338:                                              ; preds = %334, %329
  %339 = phi ptr [ %332, %329 ], [ %336, %334 ]
  %340 = load i32, ptr %339, align 4, !tbaa !5
  store i32 %340, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 38), align 4, !tbaa !34
  br label %544

341:                                              ; preds = %1
  br label %544

342:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #3
  %343 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %344 = getelementptr inbounds %struct.__va_list_tag, ptr %343, i32 0, i32 0
  %345 = load i32, ptr %344, align 16
  %346 = icmp ule i32 %345, 40
  br i1 %346, label %347, label %352

347:                                              ; preds = %342
  %348 = getelementptr inbounds %struct.__va_list_tag, ptr %343, i32 0, i32 3
  %349 = load ptr, ptr %348, align 16
  %350 = getelementptr i8, ptr %349, i32 %345
  %351 = add i32 %345, 8
  store i32 %351, ptr %344, align 16
  br label %356

352:                                              ; preds = %342
  %353 = getelementptr inbounds %struct.__va_list_tag, ptr %343, i32 0, i32 2
  %354 = load ptr, ptr %353, align 8
  %355 = getelementptr i8, ptr %354, i32 8
  store ptr %355, ptr %353, align 8
  br label %356

356:                                              ; preds = %352, %347
  %357 = phi ptr [ %350, %347 ], [ %354, %352 ]
  %358 = load ptr, ptr %357, align 8, !tbaa !9
  store ptr %358, ptr %17, align 8, !tbaa !9
  %359 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %360 = getelementptr inbounds %struct.__va_list_tag, ptr %359, i32 0, i32 0
  %361 = load i32, ptr %360, align 16
  %362 = icmp ule i32 %361, 40
  br i1 %362, label %363, label %368

363:                                              ; preds = %356
  %364 = getelementptr inbounds %struct.__va_list_tag, ptr %359, i32 0, i32 3
  %365 = load ptr, ptr %364, align 16
  %366 = getelementptr i8, ptr %365, i32 %361
  %367 = add i32 %361, 8
  store i32 %367, ptr %360, align 16
  br label %372

368:                                              ; preds = %356
  %369 = getelementptr inbounds %struct.__va_list_tag, ptr %359, i32 0, i32 2
  %370 = load ptr, ptr %369, align 8
  %371 = getelementptr i8, ptr %370, i32 8
  store ptr %371, ptr %369, align 8
  br label %372

372:                                              ; preds = %368, %363
  %373 = phi ptr [ %366, %363 ], [ %370, %368 ]
  %374 = load i32, ptr %373, align 4, !tbaa !5
  %375 = load ptr, ptr %17, align 8, !tbaa !9
  %376 = getelementptr inbounds %struct.sqlite3, ptr %375, i32 0, i32 34
  store i32 %374, ptr %376, align 4, !tbaa !35
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #3
  br label %544

377:                                              ; preds = %1
  %378 = load i32, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 27), align 4, !tbaa !36
  %379 = icmp eq i32 %378, 0
  br i1 %379, label %380, label %381

380:                                              ; preds = %377
  store i32 1, ptr %3, align 4, !tbaa !5
  br label %381

381:                                              ; preds = %380, %377
  br label %544

382:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #3
  %383 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %384 = getelementptr inbounds %struct.__va_list_tag, ptr %383, i32 0, i32 0
  %385 = load i32, ptr %384, align 16
  %386 = icmp ule i32 %385, 40
  br i1 %386, label %387, label %392

387:                                              ; preds = %382
  %388 = getelementptr inbounds %struct.__va_list_tag, ptr %383, i32 0, i32 3
  %389 = load ptr, ptr %388, align 16
  %390 = getelementptr i8, ptr %389, i32 %385
  %391 = add i32 %385, 8
  store i32 %391, ptr %384, align 16
  br label %396

392:                                              ; preds = %382
  %393 = getelementptr inbounds %struct.__va_list_tag, ptr %383, i32 0, i32 2
  %394 = load ptr, ptr %393, align 8
  %395 = getelementptr i8, ptr %394, i32 8
  store ptr %395, ptr %393, align 8
  br label %396

396:                                              ; preds = %392, %387
  %397 = phi ptr [ %390, %387 ], [ %394, %392 ]
  %398 = load ptr, ptr %397, align 8, !tbaa !9
  store ptr %398, ptr %18, align 8, !tbaa !9
  %399 = load ptr, ptr %18, align 8, !tbaa !9
  %400 = getelementptr inbounds %struct.sqlite3, ptr %399, i32 0, i32 3
  %401 = load ptr, ptr %400, align 8, !tbaa !37
  call void @sqlite3_mutex_enter(ptr noundef %401)
  %402 = load ptr, ptr %18, align 8, !tbaa !9
  %403 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %404 = getelementptr inbounds %struct.__va_list_tag, ptr %403, i32 0, i32 0
  %405 = load i32, ptr %404, align 16
  %406 = icmp ule i32 %405, 40
  br i1 %406, label %407, label %412

407:                                              ; preds = %396
  %408 = getelementptr inbounds %struct.__va_list_tag, ptr %403, i32 0, i32 3
  %409 = load ptr, ptr %408, align 16
  %410 = getelementptr i8, ptr %409, i32 %405
  %411 = add i32 %405, 8
  store i32 %411, ptr %404, align 16
  br label %416

412:                                              ; preds = %396
  %413 = getelementptr inbounds %struct.__va_list_tag, ptr %403, i32 0, i32 2
  %414 = load ptr, ptr %413, align 8
  %415 = getelementptr i8, ptr %414, i32 8
  store ptr %415, ptr %413, align 8
  br label %416

416:                                              ; preds = %412, %407
  %417 = phi ptr [ %410, %407 ], [ %414, %412 ]
  %418 = load ptr, ptr %417, align 8, !tbaa !9
  %419 = call i32 @sqlite3FindDbName(ptr noundef %402, ptr noundef %418)
  %420 = trunc i32 %419 to i8
  %421 = load ptr, ptr %18, align 8, !tbaa !9
  %422 = getelementptr inbounds %struct.sqlite3, ptr %421, i32 0, i32 35
  %423 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %422, i32 0, i32 1
  store i8 %420, ptr %423, align 4, !tbaa !38
  %424 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %425 = getelementptr inbounds %struct.__va_list_tag, ptr %424, i32 0, i32 0
  %426 = load i32, ptr %425, align 16
  %427 = icmp ule i32 %426, 40
  br i1 %427, label %428, label %433

428:                                              ; preds = %416
  %429 = getelementptr inbounds %struct.__va_list_tag, ptr %424, i32 0, i32 3
  %430 = load ptr, ptr %429, align 16
  %431 = getelementptr i8, ptr %430, i32 %426
  %432 = add i32 %426, 8
  store i32 %432, ptr %425, align 16
  br label %437

433:                                              ; preds = %416
  %434 = getelementptr inbounds %struct.__va_list_tag, ptr %424, i32 0, i32 2
  %435 = load ptr, ptr %434, align 8
  %436 = getelementptr i8, ptr %435, i32 8
  store ptr %436, ptr %434, align 8
  br label %437

437:                                              ; preds = %433, %428
  %438 = phi ptr [ %431, %428 ], [ %435, %433 ]
  %439 = load i32, ptr %438, align 4, !tbaa !5
  %440 = load ptr, ptr %18, align 8, !tbaa !9
  %441 = getelementptr inbounds %struct.sqlite3, ptr %440, i32 0, i32 35
  %442 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %441, i32 0, i32 3
  %443 = trunc i32 %439 to i8
  %444 = load i8, ptr %442, align 2
  %445 = and i8 %443, 1
  %446 = shl i8 %445, 1
  %447 = and i8 %444, -3
  %448 = or i8 %447, %446
  store i8 %448, ptr %442, align 2
  %449 = zext i8 %445 to i32
  %450 = trunc i32 %449 to i8
  %451 = load ptr, ptr %18, align 8, !tbaa !9
  %452 = getelementptr inbounds %struct.sqlite3, ptr %451, i32 0, i32 35
  %453 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %452, i32 0, i32 2
  store i8 %450, ptr %453, align 1, !tbaa !39
  %454 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %455 = getelementptr inbounds %struct.__va_list_tag, ptr %454, i32 0, i32 0
  %456 = load i32, ptr %455, align 16
  %457 = icmp ule i32 %456, 40
  br i1 %457, label %458, label %463

458:                                              ; preds = %437
  %459 = getelementptr inbounds %struct.__va_list_tag, ptr %454, i32 0, i32 3
  %460 = load ptr, ptr %459, align 16
  %461 = getelementptr i8, ptr %460, i32 %456
  %462 = add i32 %456, 8
  store i32 %462, ptr %455, align 16
  br label %467

463:                                              ; preds = %437
  %464 = getelementptr inbounds %struct.__va_list_tag, ptr %454, i32 0, i32 2
  %465 = load ptr, ptr %464, align 8
  %466 = getelementptr i8, ptr %465, i32 8
  store ptr %466, ptr %464, align 8
  br label %467

467:                                              ; preds = %463, %458
  %468 = phi ptr [ %461, %458 ], [ %465, %463 ]
  %469 = load i32, ptr %468, align 4, !tbaa !5
  %470 = load ptr, ptr %18, align 8, !tbaa !9
  %471 = getelementptr inbounds %struct.sqlite3, ptr %470, i32 0, i32 35
  %472 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %471, i32 0, i32 0
  store i32 %469, ptr %472, align 8, !tbaa !40
  %473 = load ptr, ptr %18, align 8, !tbaa !9
  %474 = getelementptr inbounds %struct.sqlite3, ptr %473, i32 0, i32 35
  %475 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %474, i32 0, i32 2
  %476 = load i8, ptr %475, align 1, !tbaa !39
  %477 = zext i8 %476 to i32
  %478 = icmp eq i32 %477, 0
  br i1 %478, label %479, label %487

479:                                              ; preds = %467
  %480 = load ptr, ptr %18, align 8, !tbaa !9
  %481 = getelementptr inbounds %struct.sqlite3, ptr %480, i32 0, i32 35
  %482 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %481, i32 0, i32 0
  %483 = load i32, ptr %482, align 8, !tbaa !40
  %484 = icmp ugt i32 %483, 0
  br i1 %484, label %485, label %487

485:                                              ; preds = %479
  %486 = load ptr, ptr %18, align 8, !tbaa !9
  call void @sqlite3ResetAllSchemasOfConnection(ptr noundef %486)
  br label %487

487:                                              ; preds = %485, %479, %467
  %488 = load ptr, ptr %18, align 8, !tbaa !9
  %489 = getelementptr inbounds %struct.sqlite3, ptr %488, i32 0, i32 3
  %490 = load ptr, ptr %489, align 8, !tbaa !37
  call void @sqlite3_mutex_leave(ptr noundef %490)
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #3
  br label %544

491:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #3
  %492 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %493 = getelementptr inbounds %struct.__va_list_tag, ptr %492, i32 0, i32 0
  %494 = load i32, ptr %493, align 16
  %495 = icmp ule i32 %494, 40
  br i1 %495, label %496, label %501

496:                                              ; preds = %491
  %497 = getelementptr inbounds %struct.__va_list_tag, ptr %492, i32 0, i32 3
  %498 = load ptr, ptr %497, align 16
  %499 = getelementptr i8, ptr %498, i32 %494
  %500 = add i32 %494, 8
  store i32 %500, ptr %493, align 16
  br label %505

501:                                              ; preds = %491
  %502 = getelementptr inbounds %struct.__va_list_tag, ptr %492, i32 0, i32 2
  %503 = load ptr, ptr %502, align 8
  %504 = getelementptr i8, ptr %503, i32 8
  store ptr %504, ptr %502, align 8
  br label %505

505:                                              ; preds = %501, %496
  %506 = phi ptr [ %499, %496 ], [ %503, %501 ]
  %507 = load ptr, ptr %506, align 8, !tbaa !9
  store ptr %507, ptr %19, align 8, !tbaa !9
  %508 = load ptr, ptr %19, align 8, !tbaa !9
  call void @sqlite3ResultIntReal(ptr noundef %508)
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #3
  br label %544

509:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #3
  %510 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %511 = getelementptr inbounds %struct.__va_list_tag, ptr %510, i32 0, i32 0
  %512 = load i32, ptr %511, align 16
  %513 = icmp ule i32 %512, 40
  br i1 %513, label %514, label %519

514:                                              ; preds = %509
  %515 = getelementptr inbounds %struct.__va_list_tag, ptr %510, i32 0, i32 3
  %516 = load ptr, ptr %515, align 16
  %517 = getelementptr i8, ptr %516, i32 %512
  %518 = add i32 %512, 8
  store i32 %518, ptr %511, align 16
  br label %523

519:                                              ; preds = %509
  %520 = getelementptr inbounds %struct.__va_list_tag, ptr %510, i32 0, i32 2
  %521 = load ptr, ptr %520, align 8
  %522 = getelementptr i8, ptr %521, i32 8
  store ptr %522, ptr %520, align 8
  br label %523

523:                                              ; preds = %519, %514
  %524 = phi ptr [ %517, %514 ], [ %521, %519 ]
  %525 = load ptr, ptr %524, align 8, !tbaa !9
  store ptr %525, ptr %20, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #3
  %526 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %527 = getelementptr inbounds %struct.__va_list_tag, ptr %526, i32 0, i32 0
  %528 = load i32, ptr %527, align 16
  %529 = icmp ule i32 %528, 40
  br i1 %529, label %530, label %535

530:                                              ; preds = %523
  %531 = getelementptr inbounds %struct.__va_list_tag, ptr %526, i32 0, i32 3
  %532 = load ptr, ptr %531, align 16
  %533 = getelementptr i8, ptr %532, i32 %528
  %534 = add i32 %528, 8
  store i32 %534, ptr %527, align 16
  br label %539

535:                                              ; preds = %523
  %536 = getelementptr inbounds %struct.__va_list_tag, ptr %526, i32 0, i32 2
  %537 = load ptr, ptr %536, align 8
  %538 = getelementptr i8, ptr %537, i32 8
  store ptr %538, ptr %536, align 8
  br label %539

539:                                              ; preds = %535, %530
  %540 = phi ptr [ %533, %530 ], [ %537, %535 ]
  %541 = load ptr, ptr %540, align 8, !tbaa !9
  store ptr %541, ptr %21, align 8, !tbaa !9
  %542 = load ptr, ptr %21, align 8, !tbaa !9
  store i64 0, ptr %542, align 8, !tbaa !41
  %543 = load ptr, ptr %20, align 8, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #3
  br label %544

544:                                              ; preds = %539, %505, %487, %381, %372, %341, %338, %320, %303, %282, %265, %244, %213, %211, %187, %186, %159, %125, %105, %73, %25, %24, %1
  %545 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  call void @llvm.va_end.p0(ptr %545)
  %546 = 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 %546
}

; 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 void @sqlite3ResultIntReal(ptr 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 32}
!12 = !{!"sqlite3", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !6, i64 40, !6, i64 44, !13, i64 48, !13, i64 56, !13, i64 64, !6, i64 72, !6, i64 76, !6, i64 80, !6, i64 84, !6, i64 88, !14, 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, !15, i64 176, !6, i64 192, !6, i64 196, !6, i64 200, !6, i64 204, !6, i64 208, !6, i64 212, !10, i64 216, !7, 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, !10, i64 344, !10, i64 352, !7, i64 360, !16, i64 368, !10, i64 456, !10, i64 464, !10, i64 472, !10, i64 480, !6, i64 488, !6, i64 492, !17, i64 496, !10, i64 520, !10, i64 528, !10, i64 536, !17, i64 544, !17, i64 568, !18, i64 592, !7, i64 616, !10, i64 680, !6, i64 688, !6, i64 692, !6, i64 696, !6, i64 700, !13, i64 704, !13, i64 712, !10, i64 720}
!13 = !{!"long long", !7, i64 0}
!14 = !{!"short", !7, i64 0}
!15 = !{!"sqlite3InitInfo", !6, i64 0, !7, i64 4, !7, i64 5, !6, i64 6, !6, i64 6, !6, i64 6, !10, i64 8}
!16 = !{!"Lookaside", !6, i64 0, !14, i64 4, !14, i64 6, !7, i64 8, !6, i64 12, !7, i64 16, !10, i64 32, !10, i64 40, !10, i64 48, !10, i64 56, !10, i64 64, !10, i64 72, !10, i64 80}
!17 = !{!"Hash", !6, i64 0, !6, i64 4, !10, i64 8, !10, i64 16}
!18 = !{!"BusyHandler", !10, i64 0, !10, i64 8, !6, i64 16}
!19 = !{!20, !10, i64 24}
!20 = !{!"Db", !10, i64 0, !10, i64 8, !7, i64 16, !7, i64 17, !10, i64 24}
!21 = !{!22, !6, i64 0}
!22 = !{!"Schema", !6, i64 0, !6, i64 4, !17, i64 8, !17, i64 32, !17, i64 56, !17, i64 80, !10, i64 104, !7, i64 112, !7, i64 113, !14, i64 114, !6, i64 116}
!23 = !{!24, !6, i64 412}
!24 = !{!"Sqlite3Config", !6, i64 0, !7, i64 4, !7, i64 5, !7, i64 6, !7, i64 7, !7, i64 8, !7, i64 9, !6, i64 12, !6, i64 16, !6, i64 20, !6, i64 24, !6, i64 28, !25, i64 32, !26, i64 96, !27, i64 168, !10, i64 272, !6, i64 280, !6, i64 284, !6, i64 288, !13, i64 296, !13, i64 304, !10, i64 312, !6, i64 320, !6, i64 324, !6, i64 328, !6, i64 332, !6, i64 336, !6, i64 340, !6, i64 344, !6, i64 348, !6, i64 352, !6, i64 356, !6, i64 360, !10, i64 368, !10, i64 376, !10, i64 384, !10, i64 392, !6, i64 400, !6, i64 404, !6, i64 408, !6, i64 412}
!25 = !{!"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}
!26 = !{!"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}
!27 = !{!"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}
!28 = !{!24, !10, i64 392}
!29 = !{!12, !14, i64 92}
!30 = !{!24, !6, i64 400}
!31 = !{!12, !6, i64 44}
!32 = !{!24, !6, i64 16}
!33 = !{!24, !7, i64 9}
!34 = !{!24, !6, i64 404}
!35 = !{!12, !6, i64 172}
!36 = !{!24, !6, i64 340}
!37 = !{!12, !10, i64 24}
!38 = !{!12, !7, i64 180}
!39 = !{!12, !7, i64 181}
!40 = !{!12, !6, i64 176}
!41 = !{!13, !13, i64 0}


; 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, i8, i8, i8, i8, i8, i8, 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 %424 [
    i32 5, label %4
    i32 6, label %5
    i32 28, label %6
    i32 8, label %43
    i32 9, label %74
    i32 10, label %91
    i32 11, label %121
    i32 12, label %139
    i32 13, label %140
    i32 22, label %156
    i32 15, label %157
    i32 18, label %189
    i32 17, label %205
    i32 20, label %224
    i32 29, label %240
    i32 19, label %257
    i32 30, label %402
    i32 24, label %273
    i32 23, label %304
    i32 25, label %307
    i32 27, label %386
  ]

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

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

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

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

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

21:                                               ; preds = %13
  %22 = getelementptr inbounds i8, ptr %2, i64 16
  %23 = load ptr, ptr %22, align 16
  %24 = zext nneg i32 %18 to i64
  %25 = getelementptr i8, ptr %23, i64 %24
  %26 = add nuw nsw i32 %7, 16
  store i32 %26, ptr %2, align 16
  br label %32

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

32:                                               ; preds = %27, %21
  %33 = phi i32 [ %19, %21 ], [ %28, %27 ]
  %34 = phi ptr [ %25, %21 ], [ %30, %27 ]
  %35 = load ptr, ptr %34, align 8, !tbaa !9
  %.not60 = icmp eq ptr %35, null
  br i1 %.not60, label %42, label %36

36:                                               ; preds = %32
  %37 = getelementptr inbounds i8, ptr %35, i64 32
  %38 = load ptr, ptr %37, align 8, !tbaa !11
  %39 = getelementptr inbounds i8, ptr %38, i64 24
  %40 = load ptr, ptr %39, align 8, !tbaa !19
  %41 = load i32, ptr %40, align 8, !tbaa !21
  %.not61 = icmp eq i32 %41, 0
  %spec.select = select i1 %.not61, i32 %33, i32 %41
  br label %42

42:                                               ; preds = %36, %32
  %.030 = phi i32 [ %33, %32 ], [ %spec.select, %36 ]
  store i32 %.030, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 412), align 4, !tbaa !23
  call void @sqlite3_randomness(i32 noundef 0, ptr noundef null)
  br label %424

43:                                               ; preds = %1
  %44 = load i32, ptr %2, align 16
  %45 = icmp ult i32 %44, 41
  br i1 %45, label %50, label %.thread68

.thread68:                                        ; preds = %43
  %46 = getelementptr inbounds i8, ptr %2, i64 8
  %47 = load ptr, ptr %46, align 8
  %48 = getelementptr i8, ptr %47, i64 8
  store ptr %48, ptr %46, align 8
  %49 = load i32, ptr %47, align 4, !tbaa !5
  br label %64

50:                                               ; preds = %43
  %51 = getelementptr inbounds i8, ptr %2, i64 16
  %52 = load ptr, ptr %51, align 16
  %53 = zext nneg i32 %44 to i64
  %54 = getelementptr i8, ptr %52, i64 %53
  %55 = add nuw nsw i32 %44, 8
  store i32 %55, ptr %2, align 16
  %56 = load i32, ptr %54, align 4, !tbaa !5
  %57 = icmp ult i32 %44, 33
  br i1 %57, label %58, label %64

58:                                               ; preds = %50
  %59 = getelementptr inbounds i8, ptr %2, i64 16
  %60 = load ptr, ptr %59, align 16
  %61 = zext nneg i32 %55 to i64
  %62 = getelementptr i8, ptr %60, i64 %61
  %63 = add nuw nsw i32 %44, 16
  store i32 %63, ptr %2, align 16
  br label %69

64:                                               ; preds = %.thread68, %50
  %65 = phi i32 [ %49, %.thread68 ], [ %56, %50 ]
  %66 = getelementptr inbounds i8, ptr %2, i64 8
  %67 = load ptr, ptr %66, align 8
  %68 = getelementptr i8, ptr %67, i64 8
  store ptr %68, ptr %66, align 8
  br label %69

69:                                               ; preds = %64, %58
  %70 = phi i32 [ %56, %58 ], [ %65, %64 ]
  %71 = phi ptr [ %62, %58 ], [ %67, %64 ]
  %72 = load ptr, ptr %71, align 8, !tbaa !9
  %73 = call i32 @sqlite3BitvecBuiltinTest(i32 noundef %70, ptr noundef %72)
  br label %424

74:                                               ; preds = %1
  %75 = load i32, ptr %2, align 16
  %76 = icmp ult i32 %75, 41
  br i1 %76, label %77, label %83

77:                                               ; preds = %74
  %78 = getelementptr inbounds i8, ptr %2, i64 16
  %79 = load ptr, ptr %78, align 16
  %80 = zext nneg i32 %75 to i64
  %81 = getelementptr i8, ptr %79, i64 %80
  %82 = add nuw nsw i32 %75, 8
  store i32 %82, ptr %2, align 16
  br label %87

83:                                               ; preds = %74
  %84 = getelementptr inbounds i8, ptr %2, i64 8
  %85 = load ptr, ptr %84, align 8
  %86 = getelementptr i8, ptr %85, i64 8
  store ptr %86, ptr %84, align 8
  br label %87

87:                                               ; preds = %83, %77
  %88 = phi ptr [ %81, %77 ], [ %85, %83 ]
  %89 = load ptr, ptr %88, align 8, !tbaa !9
  store ptr %89, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 392), align 8, !tbaa !28
  %90 = call i32 @sqlite3FaultSim(i32 noundef 0)
  br label %424

91:                                               ; preds = %1
  %92 = load i32, ptr %2, align 16
  %93 = icmp ult i32 %92, 41
  br i1 %93, label %98, label %.thread69

.thread69:                                        ; preds = %91
  %94 = getelementptr inbounds i8, ptr %2, i64 8
  %95 = load ptr, ptr %94, align 8
  %96 = getelementptr i8, ptr %95, i64 8
  store ptr %96, ptr %94, align 8
  %97 = load ptr, ptr %95, align 8, !tbaa !9
  br label %112

98:                                               ; preds = %91
  %99 = getelementptr inbounds i8, ptr %2, i64 16
  %100 = load ptr, ptr %99, align 16
  %101 = zext nneg i32 %92 to i64
  %102 = getelementptr i8, ptr %100, i64 %101
  %103 = add nuw nsw i32 %92, 8
  store i32 %103, ptr %2, align 16
  %104 = load ptr, ptr %102, align 8, !tbaa !9
  %105 = icmp ult i32 %92, 33
  br i1 %105, label %106, label %112

106:                                              ; preds = %98
  %107 = getelementptr inbounds i8, ptr %2, i64 16
  %108 = load ptr, ptr %107, align 16
  %109 = zext nneg i32 %103 to i64
  %110 = getelementptr i8, ptr %108, i64 %109
  %111 = add nuw nsw i32 %92, 16
  store i32 %111, ptr %2, align 16
  br label %117

112:                                              ; preds = %.thread69, %98
  %113 = phi ptr [ %97, %.thread69 ], [ %104, %98 ]
  %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 = %112, %106
  %118 = phi ptr [ %104, %106 ], [ %113, %112 ]
  %119 = phi ptr [ %110, %106 ], [ %115, %112 ]
  %120 = load ptr, ptr %119, align 8, !tbaa !9
  call void @sqlite3BenignMallocHooks(ptr noundef %118, ptr noundef %120)
  br label %424

121:                                              ; preds = %1
  %122 = load i32, ptr @sqlite3PendingByte, align 4, !tbaa !5
  %123 = load i32, ptr %2, align 16
  %124 = icmp ult i32 %123, 41
  br i1 %124, label %125, label %131

125:                                              ; preds = %121
  %126 = getelementptr inbounds i8, ptr %2, i64 16
  %127 = load ptr, ptr %126, align 16
  %128 = zext nneg i32 %123 to i64
  %129 = getelementptr i8, ptr %127, i64 %128
  %130 = add nuw nsw i32 %123, 8
  store i32 %130, ptr %2, align 16
  br label %135

131:                                              ; preds = %121
  %132 = getelementptr inbounds i8, ptr %2, i64 8
  %133 = load ptr, ptr %132, align 8
  %134 = getelementptr i8, ptr %133, i64 8
  store ptr %134, ptr %132, align 8
  br label %135

135:                                              ; preds = %131, %125
  %136 = phi ptr [ %129, %125 ], [ %133, %131 ]
  %137 = load i32, ptr %136, align 4, !tbaa !5
  %.not59 = icmp eq i32 %137, 0
  br i1 %.not59, label %424, label %138

138:                                              ; preds = %135
  store i32 %137, ptr @sqlite3PendingByte, align 4, !tbaa !5
  br label %424

139:                                              ; 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 %424

140:                                              ; preds = %1
  %141 = load i32, ptr %2, align 16
  %142 = icmp ult i32 %141, 41
  br i1 %142, label %143, label %149

143:                                              ; preds = %140
  %144 = getelementptr inbounds i8, ptr %2, i64 16
  %145 = load ptr, ptr %144, align 16
  %146 = zext nneg i32 %141 to i64
  %147 = getelementptr i8, ptr %145, i64 %146
  %148 = add nuw nsw i32 %141, 8
  store i32 %148, ptr %2, align 16
  br label %153

149:                                              ; preds = %140
  %150 = getelementptr inbounds i8, ptr %2, i64 8
  %151 = load ptr, ptr %150, align 8
  %152 = getelementptr i8, ptr %151, i64 8
  store ptr %152, ptr %150, align 8
  br label %153

153:                                              ; preds = %149, %143
  %154 = phi ptr [ %147, %143 ], [ %151, %149 ]
  %155 = load i32, ptr %154, align 4, !tbaa !5
  br label %424

156:                                              ; preds = %1
  br label %424

157:                                              ; preds = %1
  %158 = load i32, ptr %2, align 16
  %159 = icmp ult i32 %158, 41
  br i1 %159, label %164, label %.thread70

.thread70:                                        ; preds = %157
  %160 = getelementptr inbounds i8, ptr %2, i64 8
  %161 = load ptr, ptr %160, align 8
  %162 = getelementptr i8, ptr %161, i64 8
  store ptr %162, ptr %160, align 8
  %163 = load ptr, ptr %161, align 8, !tbaa !9
  br label %178

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

172:                                              ; preds = %164
  %173 = getelementptr inbounds i8, ptr %2, i64 16
  %174 = load ptr, ptr %173, align 16
  %175 = zext nneg i32 %169 to i64
  %176 = getelementptr i8, ptr %174, i64 %175
  %177 = add nuw nsw i32 %158, 16
  store i32 %177, ptr %2, align 16
  br label %183

178:                                              ; preds = %.thread70, %164
  %179 = phi ptr [ %163, %.thread70 ], [ %170, %164 ]
  %180 = getelementptr inbounds i8, ptr %2, i64 8
  %181 = load ptr, ptr %180, align 8
  %182 = getelementptr i8, ptr %181, i64 8
  store ptr %182, ptr %180, align 8
  br label %183

183:                                              ; preds = %178, %172
  %184 = phi ptr [ %170, %172 ], [ %179, %178 ]
  %185 = phi ptr [ %176, %172 ], [ %181, %178 ]
  %186 = load i32, ptr %185, align 4, !tbaa !5
  %187 = trunc i32 %186 to i16
  %188 = getelementptr inbounds i8, ptr %184, i64 92
  store i16 %187, ptr %188, align 4, !tbaa !29
  br label %424

189:                                              ; preds = %1
  %190 = load i32, ptr %2, align 16
  %191 = icmp ult i32 %190, 41
  br i1 %191, label %192, label %198

192:                                              ; preds = %189
  %193 = getelementptr inbounds i8, ptr %2, i64 16
  %194 = load ptr, ptr %193, align 16
  %195 = zext nneg i32 %190 to i64
  %196 = getelementptr i8, ptr %194, i64 %195
  %197 = add nuw nsw i32 %190, 8
  store i32 %197, ptr %2, align 16
  br label %202

198:                                              ; preds = %189
  %199 = getelementptr inbounds i8, ptr %2, i64 8
  %200 = load ptr, ptr %199, align 8
  %201 = getelementptr i8, ptr %200, i64 8
  store ptr %201, ptr %199, align 8
  br label %202

202:                                              ; preds = %198, %192
  %203 = phi ptr [ %196, %192 ], [ %200, %198 ]
  %204 = load i32, ptr %203, align 4, !tbaa !5
  store i32 %204, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 400), align 8, !tbaa !30
  br label %424

205:                                              ; preds = %1
  %206 = load i32, ptr %2, align 16
  %207 = icmp ult i32 %206, 41
  br i1 %207, label %208, label %214

208:                                              ; preds = %205
  %209 = getelementptr inbounds i8, ptr %2, i64 16
  %210 = load ptr, ptr %209, align 16
  %211 = zext nneg i32 %206 to i64
  %212 = getelementptr i8, ptr %210, i64 %211
  %213 = add nuw nsw i32 %206, 8
  store i32 %213, ptr %2, align 16
  br label %218

214:                                              ; preds = %205
  %215 = getelementptr inbounds i8, ptr %2, i64 8
  %216 = load ptr, ptr %215, align 8
  %217 = getelementptr i8, ptr %216, i64 8
  store ptr %217, ptr %215, align 8
  br label %218

218:                                              ; preds = %214, %208
  %219 = phi ptr [ %212, %208 ], [ %216, %214 ]
  %220 = load ptr, ptr %219, align 8, !tbaa !9
  %221 = getelementptr inbounds i8, ptr %220, i64 44
  %222 = load i32, ptr %221, align 4, !tbaa !31
  %223 = xor i32 %222, 32
  store i32 %223, ptr %221, align 4, !tbaa !31
  br label %424

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

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

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

237:                                              ; preds = %233, %227
  %238 = phi ptr [ %231, %227 ], [ %235, %233 ]
  %239 = load i32, ptr %238, align 4, !tbaa !5
  store i32 %239, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 16), align 8, !tbaa !32
  br label %424

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

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

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

253:                                              ; preds = %249, %243
  %254 = phi ptr [ %247, %243 ], [ %251, %249 ]
  %255 = load i32, ptr %254, align 4, !tbaa !5
  %256 = trunc i32 %255 to i8
  store i8 %256, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 9), align 1, !tbaa !33
  br label %424

257:                                              ; preds = %1
  %258 = load i32, ptr %2, align 16
  %259 = icmp ult i32 %258, 41
  br i1 %259, label %260, label %266

260:                                              ; preds = %257
  %261 = getelementptr inbounds i8, ptr %2, i64 16
  %262 = load ptr, ptr %261, align 16
  %263 = zext nneg i32 %258 to i64
  %264 = getelementptr i8, ptr %262, i64 %263
  %265 = add nuw nsw i32 %258, 8
  store i32 %265, ptr %2, align 16
  br label %270

266:                                              ; preds = %257
  %267 = getelementptr inbounds i8, ptr %2, i64 8
  %268 = load ptr, ptr %267, align 8
  %269 = getelementptr i8, ptr %268, i64 8
  store ptr %269, ptr %267, align 8
  br label %270

270:                                              ; preds = %266, %260
  %271 = phi ptr [ %264, %260 ], [ %268, %266 ]
  %272 = load i32, ptr %271, align 4, !tbaa !5
  store i32 %272, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 404), align 4, !tbaa !34
  br label %424

273:                                              ; preds = %1
  %274 = load i32, ptr %2, align 16
  %275 = icmp ult i32 %274, 41
  br i1 %275, label %280, label %.thread71

.thread71:                                        ; preds = %273
  %276 = getelementptr inbounds i8, ptr %2, i64 8
  %277 = load ptr, ptr %276, align 8
  %278 = getelementptr i8, ptr %277, i64 8
  store ptr %278, ptr %276, align 8
  %279 = load ptr, ptr %277, align 8, !tbaa !9
  br label %294

280:                                              ; preds = %273
  %281 = getelementptr inbounds i8, ptr %2, i64 16
  %282 = load ptr, ptr %281, align 16
  %283 = zext nneg i32 %274 to i64
  %284 = getelementptr i8, ptr %282, i64 %283
  %285 = add nuw nsw i32 %274, 8
  store i32 %285, ptr %2, align 16
  %286 = load ptr, ptr %284, align 8, !tbaa !9
  %287 = icmp ult i32 %274, 33
  br i1 %287, label %288, label %294

288:                                              ; preds = %280
  %289 = getelementptr inbounds i8, ptr %2, i64 16
  %290 = load ptr, ptr %289, align 16
  %291 = zext nneg i32 %285 to i64
  %292 = getelementptr i8, ptr %290, i64 %291
  %293 = add nuw nsw i32 %274, 16
  store i32 %293, ptr %2, align 16
  br label %299

294:                                              ; preds = %.thread71, %280
  %295 = phi ptr [ %279, %.thread71 ], [ %286, %280 ]
  %296 = getelementptr inbounds i8, ptr %2, i64 8
  %297 = load ptr, ptr %296, align 8
  %298 = getelementptr i8, ptr %297, i64 8
  store ptr %298, ptr %296, align 8
  br label %299

299:                                              ; preds = %294, %288
  %300 = phi ptr [ %286, %288 ], [ %295, %294 ]
  %301 = phi ptr [ %292, %288 ], [ %297, %294 ]
  %302 = load i32, ptr %301, align 4, !tbaa !5
  %303 = getelementptr inbounds i8, ptr %300, i64 172
  store i32 %302, ptr %303, align 4, !tbaa !35
  br label %424

304:                                              ; preds = %1
  %305 = load i32, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 340), align 4, !tbaa !36
  %306 = icmp eq i32 %305, 0
  %spec.select62 = zext i1 %306 to i32
  br label %424

307:                                              ; preds = %1
  %308 = load i32, ptr %2, align 16
  %309 = icmp ult i32 %308, 41
  br i1 %309, label %310, label %316

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

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

320:                                              ; preds = %316, %310
  %321 = phi ptr [ %314, %310 ], [ %318, %316 ]
  %322 = load ptr, ptr %321, align 8, !tbaa !9
  %323 = getelementptr inbounds i8, ptr %322, i64 24
  %324 = load ptr, ptr %323, align 8, !tbaa !37
  call void @sqlite3_mutex_enter(ptr noundef %324)
  %325 = load i32, ptr %2, align 16
  %326 = icmp ult i32 %325, 41
  br i1 %326, label %327, label %333

327:                                              ; preds = %320
  %328 = getelementptr inbounds i8, ptr %2, i64 16
  %329 = load ptr, ptr %328, align 16
  %330 = zext nneg i32 %325 to i64
  %331 = getelementptr i8, ptr %329, i64 %330
  %332 = add nuw nsw i32 %325, 8
  store i32 %332, ptr %2, align 16
  br label %337

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

337:                                              ; preds = %333, %327
  %338 = phi ptr [ %331, %327 ], [ %335, %333 ]
  %339 = load ptr, ptr %338, align 8, !tbaa !9
  %340 = call i32 @sqlite3FindDbName(ptr noundef nonnull %322, ptr noundef %339)
  %341 = trunc i32 %340 to i8
  %342 = getelementptr inbounds i8, ptr %322, i64 176
  %343 = getelementptr inbounds i8, ptr %322, i64 180
  store i8 %341, ptr %343, align 4, !tbaa !38
  %344 = load i32, ptr %2, align 16
  %345 = icmp ult i32 %344, 41
  br i1 %345, label %346, label %352

346:                                              ; preds = %337
  %347 = getelementptr inbounds i8, ptr %2, i64 16
  %348 = load ptr, ptr %347, align 16
  %349 = zext nneg i32 %344 to i64
  %350 = getelementptr i8, ptr %348, i64 %349
  %351 = add nuw nsw i32 %344, 8
  store i32 %351, ptr %2, align 16
  br label %356

352:                                              ; preds = %337
  %353 = getelementptr inbounds i8, ptr %2, i64 8
  %354 = load ptr, ptr %353, align 8
  %355 = getelementptr i8, ptr %354, i64 8
  store ptr %355, ptr %353, align 8
  br label %356

356:                                              ; preds = %352, %346
  %357 = phi i32 [ %351, %346 ], [ %344, %352 ]
  %358 = phi ptr [ %350, %346 ], [ %354, %352 ]
  %359 = load i32, ptr %358, align 4, !tbaa !5
  %360 = getelementptr inbounds i8, ptr %322, i64 182
  %361 = trunc i32 %359 to i8
  %362 = load i8, ptr %360, align 2
  %363 = and i8 %361, 1
  %364 = shl nuw nsw i8 %363, 1
  %365 = and i8 %362, -3
  %366 = or disjoint i8 %364, %365
  store i8 %366, ptr %360, align 2
  %367 = getelementptr inbounds i8, ptr %322, i64 181
  store i8 %363, ptr %367, align 1, !tbaa !39
  %368 = icmp ult i32 %357, 41
  br i1 %368, label %369, label %375

369:                                              ; preds = %356
  %370 = getelementptr inbounds i8, ptr %2, i64 16
  %371 = load ptr, ptr %370, align 16
  %372 = zext nneg i32 %357 to i64
  %373 = getelementptr i8, ptr %371, i64 %372
  %374 = add nuw nsw i32 %357, 8
  store i32 %374, ptr %2, align 16
  br label %379

375:                                              ; preds = %356
  %376 = getelementptr inbounds i8, ptr %2, i64 8
  %377 = load ptr, ptr %376, align 8
  %378 = getelementptr i8, ptr %377, i64 8
  store ptr %378, ptr %376, align 8
  br label %379

379:                                              ; preds = %375, %369
  %380 = phi ptr [ %373, %369 ], [ %377, %375 ]
  %381 = load i32, ptr %380, align 4, !tbaa !5
  store i32 %381, ptr %342, align 8, !tbaa !40
  %382 = icmp ne i8 %363, 0
  %.not = icmp eq i32 %381, 0
  %or.cond = select i1 %382, i1 true, i1 %.not
  br i1 %or.cond, label %384, label %383

383:                                              ; preds = %379
  call void @sqlite3ResetAllSchemasOfConnection(ptr noundef nonnull %322)
  br label %384

384:                                              ; preds = %383, %379
  %385 = load ptr, ptr %323, align 8, !tbaa !37
  call void @sqlite3_mutex_leave(ptr noundef %385)
  br label %424

386:                                              ; preds = %1
  %387 = load i32, ptr %2, align 16
  %388 = icmp ult i32 %387, 41
  br i1 %388, label %389, label %395

389:                                              ; preds = %386
  %390 = getelementptr inbounds i8, ptr %2, i64 16
  %391 = load ptr, ptr %390, align 16
  %392 = zext nneg i32 %387 to i64
  %393 = getelementptr i8, ptr %391, i64 %392
  %394 = add nuw nsw i32 %387, 8
  store i32 %394, ptr %2, align 16
  br label %399

395:                                              ; preds = %386
  %396 = getelementptr inbounds i8, ptr %2, i64 8
  %397 = load ptr, ptr %396, align 8
  %398 = getelementptr i8, ptr %397, i64 8
  store ptr %398, ptr %396, align 8
  br label %399

399:                                              ; preds = %395, %389
  %400 = phi ptr [ %393, %389 ], [ %397, %395 ]
  %401 = load ptr, ptr %400, align 8, !tbaa !9
  call void @sqlite3ResultIntReal(ptr noundef %401)
  br label %424

402:                                              ; preds = %1
  %403 = load i32, ptr %2, align 16
  %404 = icmp ult i32 %403, 41
  br i1 %404, label %408, label %.thread72

.thread72:                                        ; preds = %402
  %405 = getelementptr inbounds i8, ptr %2, i64 8
  %406 = load ptr, ptr %405, align 8
  %407 = getelementptr i8, ptr %406, i64 8
  store ptr %407, ptr %405, align 8
  br label %417

408:                                              ; preds = %402
  %409 = add nuw nsw i32 %403, 8
  store i32 %409, ptr %2, align 16
  %410 = icmp ult i32 %403, 33
  br i1 %410, label %411, label %417

411:                                              ; preds = %408
  %412 = getelementptr inbounds i8, ptr %2, i64 16
  %413 = load ptr, ptr %412, align 16
  %414 = zext nneg i32 %409 to i64
  %415 = getelementptr i8, ptr %413, i64 %414
  %416 = add nuw nsw i32 %403, 16
  store i32 %416, ptr %2, align 16
  br label %421

417:                                              ; preds = %.thread72, %408
  %418 = getelementptr inbounds i8, ptr %2, i64 8
  %419 = load ptr, ptr %418, align 8
  %420 = getelementptr i8, ptr %419, i64 8
  store ptr %420, ptr %418, align 8
  br label %421

421:                                              ; preds = %417, %411
  %422 = phi ptr [ %415, %411 ], [ %419, %417 ]
  %423 = load ptr, ptr %422, align 8, !tbaa !9
  store i64 0, ptr %423, align 8, !tbaa !41
  br label %424

424:                                              ; preds = %304, %135, %138, %421, %399, %384, %299, %270, %253, %237, %218, %202, %183, %156, %153, %139, %117, %87, %69, %42, %5, %4, %1
  %.0 = phi i32 [ 0, %1 ], [ 0, %399 ], [ 0, %384 ], [ 0, %299 ], [ 0, %421 ], [ 0, %270 ], [ 0, %253 ], [ 0, %237 ], [ 0, %218 ], [ 0, %202 ], [ 0, %183 ], [ 123410, %156 ], [ %155, %153 ], [ %.0..0..0..0.17, %139 ], [ 0, %117 ], [ %90, %87 ], [ %73, %69 ], [ 0, %42 ], [ 0, %5 ], [ 0, %4 ], [ %122, %138 ], [ %122, %135 ], [ %spec.select62, %304 ]
  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 void @sqlite3ResultIntReal(ptr 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 32}
!12 = !{!"sqlite3", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !6, i64 40, !6, i64 44, !13, i64 48, !13, i64 56, !13, i64 64, !6, i64 72, !6, i64 76, !6, i64 80, !6, i64 84, !6, i64 88, !14, 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, !15, i64 176, !6, i64 192, !6, i64 196, !6, i64 200, !6, i64 204, !6, i64 208, !6, i64 212, !10, i64 216, !7, 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, !10, i64 344, !10, i64 352, !7, i64 360, !16, i64 368, !10, i64 456, !10, i64 464, !10, i64 472, !10, i64 480, !6, i64 488, !6, i64 492, !17, i64 496, !10, i64 520, !10, i64 528, !10, i64 536, !17, i64 544, !17, i64 568, !18, i64 592, !7, i64 616, !10, i64 680, !6, i64 688, !6, i64 692, !6, i64 696, !6, i64 700, !13, i64 704, !13, i64 712, !10, i64 720}
!13 = !{!"long long", !7, i64 0}
!14 = !{!"short", !7, i64 0}
!15 = !{!"sqlite3InitInfo", !6, i64 0, !7, i64 4, !7, i64 5, !6, i64 6, !6, i64 6, !6, i64 6, !10, i64 8}
!16 = !{!"Lookaside", !6, i64 0, !14, i64 4, !14, i64 6, !7, i64 8, !6, i64 12, !7, i64 16, !10, i64 32, !10, i64 40, !10, i64 48, !10, i64 56, !10, i64 64, !10, i64 72, !10, i64 80}
!17 = !{!"Hash", !6, i64 0, !6, i64 4, !10, i64 8, !10, i64 16}
!18 = !{!"BusyHandler", !10, i64 0, !10, i64 8, !6, i64 16}
!19 = !{!20, !10, i64 24}
!20 = !{!"Db", !10, i64 0, !10, i64 8, !7, i64 16, !7, i64 17, !10, i64 24}
!21 = !{!22, !6, i64 0}
!22 = !{!"Schema", !6, i64 0, !6, i64 4, !17, i64 8, !17, i64 32, !17, i64 56, !17, i64 80, !10, i64 104, !7, i64 112, !7, i64 113, !14, i64 114, !6, i64 116}
!23 = !{!24, !6, i64 412}
!24 = !{!"Sqlite3Config", !6, i64 0, !7, i64 4, !7, i64 5, !7, i64 6, !7, i64 7, !7, i64 8, !7, i64 9, !6, i64 12, !6, i64 16, !6, i64 20, !6, i64 24, !6, i64 28, !25, i64 32, !26, i64 96, !27, i64 168, !10, i64 272, !6, i64 280, !6, i64 284, !6, i64 288, !13, i64 296, !13, i64 304, !10, i64 312, !6, i64 320, !6, i64 324, !6, i64 328, !6, i64 332, !6, i64 336, !6, i64 340, !6, i64 344, !6, i64 348, !6, i64 352, !6, i64 356, !6, i64 360, !10, i64 368, !10, i64 376, !10, i64 384, !10, i64 392, !6, i64 400, !6, i64 404, !6, i64 408, !6, i64 412}
!25 = !{!"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}
!26 = !{!"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}
!27 = !{!"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}
!28 = !{!24, !10, i64 392}
!29 = !{!12, !14, i64 92}
!30 = !{!24, !6, i64 400}
!31 = !{!12, !6, i64 44}
!32 = !{!24, !6, i64 16}
!33 = !{!24, !7, i64 9}
!34 = !{!24, !6, i64 404}
!35 = !{!12, !6, i64 172}
!36 = !{!24, !6, i64 340}
!37 = !{!12, !10, i64 24}
!38 = !{!12, !7, i64 180}
!39 = !{!12, !7, i64 181}
!40 = !{!12, !6, i64 176}
!41 = !{!13, !13, i64 0}


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