; LLVM IR from awawa-dev/HyperHDR :: external/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, i8, 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, i64, ptr, i32, ptr, 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, i32, i32, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i32, i64, i64, [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, 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, 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, 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
@sqlite3TreeTrace = external hidden global i32, align 4
@sqlite3WhereTrace = 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 i32 @sqlite3FindDbName(ptr noundef, ptr noundef) #1

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

; Function Attrs: noinline nounwind uwtable
declare hidden i32 @hasHighPrecisionDouble(i32 noundef) #3

; 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 ptr, align 8
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca ptr, align 8
  %21 = alloca i32, align 4
  %22 = alloca ptr, align 8
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca i32, align 4
  %26 = alloca ptr, align 8
  %27 = alloca double, align 8
  %28 = alloca i16, align 2
  %29 = alloca ptr, align 8
  %30 = alloca ptr, align 8
  %31 = alloca ptr, align 8
  %32 = alloca i32, align 4
  store i32 %0, ptr %2, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #4
  store i32 0, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 24, ptr %4) #4
  %33 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  call void @llvm.va_start.p0(ptr %33)
  %34 = load i32, ptr %2, align 4, !tbaa !5
  switch i32 %34, label %786 [
    i32 5, label %35
    i32 6, label %36
    i32 28, label %37
    i32 7, label %86
    i32 8, label %132
    i32 9, label %168
    i32 10, label %186
    i32 11, label %221
    i32 12, label %244
    i32 13, label %246
    i32 22, label %270
    i32 15, label %271
    i32 18, label %306
    i32 17, label %344
    i32 20, label %365
    i32 29, label %382
    i32 19, label %400
    i32 21, label %417
    i32 24, label %418
    i32 23, label %453
    i32 25, label %458
    i32 27, label %572
    i32 30, label %590
    i32 31, label %625
    i32 33, label %672
    i32 34, label %750
    i32 14, label %785
  ]

35:                                               ; preds = %1
  call void @sqlite3PrngSaveState()
  br label %786

36:                                               ; preds = %1
  call void @sqlite3PrngRestoreState()
  br label %786

37:                                               ; preds = %1
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #4
  %38 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %39 = getelementptr inbounds %struct.__va_list_tag, ptr %38, i32 0, i32 0
  %40 = load i32, ptr %39, align 16
  %41 = icmp ule i32 %40, 40
  br i1 %41, label %42, label %47

42:                                               ; preds = %37
  %43 = getelementptr inbounds %struct.__va_list_tag, ptr %38, i32 0, i32 3
  %44 = load ptr, ptr %43, align 16
  %45 = getelementptr i8, ptr %44, i32 %40
  %46 = add i32 %40, 8
  store i32 %46, ptr %39, align 16
  br label %51

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

51:                                               ; preds = %47, %42
  %52 = phi ptr [ %45, %42 ], [ %49, %47 ]
  %53 = load i32, ptr %52, align 4, !tbaa !5
  store i32 %53, ptr %5, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #4
  %54 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %55 = getelementptr inbounds %struct.__va_list_tag, ptr %54, i32 0, i32 0
  %56 = load i32, ptr %55, align 16
  %57 = icmp ule i32 %56, 40
  br i1 %57, label %58, label %63

58:                                               ; preds = %51
  %59 = getelementptr inbounds %struct.__va_list_tag, ptr %54, i32 0, i32 3
  %60 = load ptr, ptr %59, align 16
  %61 = getelementptr i8, ptr %60, i32 %56
  %62 = add i32 %56, 8
  store i32 %62, ptr %55, align 16
  br label %67

63:                                               ; preds = %51
  %64 = getelementptr inbounds %struct.__va_list_tag, ptr %54, i32 0, i32 2
  %65 = load ptr, ptr %64, align 8
  %66 = getelementptr i8, ptr %65, i32 8
  store ptr %66, ptr %64, align 8
  br label %67

67:                                               ; preds = %63, %58
  %68 = phi ptr [ %61, %58 ], [ %65, %63 ]
  %69 = load ptr, ptr %68, align 8, !tbaa !9
  store ptr %69, ptr %7, align 8, !tbaa !9
  %70 = load ptr, ptr %7, align 8, !tbaa !9
  %71 = icmp ne ptr %70, null
  br i1 %71, label %72, label %84

72:                                               ; preds = %67
  %73 = load ptr, ptr %7, align 8, !tbaa !9
  %74 = getelementptr inbounds %struct.sqlite3, ptr %73, i32 0, i32 4
  %75 = load ptr, ptr %74, align 8, !tbaa !11
  %76 = getelementptr inbounds %struct.Db, ptr %75, i64 0
  %77 = getelementptr inbounds %struct.Db, ptr %76, i32 0, i32 4
  %78 = load ptr, ptr %77, align 8, !tbaa !19
  %79 = getelementptr inbounds %struct.Schema, ptr %78, i32 0, i32 0
  %80 = load i32, ptr %79, align 8, !tbaa !21
  store i32 %80, ptr %6, align 4, !tbaa !5
  %81 = icmp ne i32 %80, 0
  br i1 %81, label %82, label %84

82:                                               ; preds = %72
  %83 = load i32, ptr %6, align 4, !tbaa !5
  store i32 %83, ptr %5, align 4, !tbaa !5
  br label %84

84:                                               ; preds = %82, %72, %67
  %85 = load i32, ptr %5, align 4, !tbaa !5
  store i32 %85, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 43), align 8, !tbaa !23
  call void @sqlite3_randomness(i32 noundef 0, ptr noundef null)
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #4
  br label %786

86:                                               ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #4
  %87 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %88 = getelementptr inbounds %struct.__va_list_tag, ptr %87, i32 0, i32 0
  %89 = load i32, ptr %88, align 16
  %90 = icmp ule i32 %89, 40
  br i1 %90, label %91, label %96

91:                                               ; preds = %86
  %92 = getelementptr inbounds %struct.__va_list_tag, ptr %87, i32 0, i32 3
  %93 = load ptr, ptr %92, align 16
  %94 = getelementptr i8, ptr %93, i32 %89
  %95 = add i32 %89, 8
  store i32 %95, ptr %88, align 16
  br label %100

96:                                               ; preds = %86
  %97 = getelementptr inbounds %struct.__va_list_tag, ptr %87, i32 0, i32 2
  %98 = load ptr, ptr %97, align 8
  %99 = getelementptr i8, ptr %98, i32 8
  store ptr %99, ptr %97, align 8
  br label %100

100:                                              ; preds = %96, %91
  %101 = phi ptr [ %94, %91 ], [ %98, %96 ]
  %102 = load ptr, ptr %101, align 8, !tbaa !9
  store ptr %102, ptr %8, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #4
  %103 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %104 = getelementptr inbounds %struct.__va_list_tag, ptr %103, i32 0, i32 0
  %105 = load i32, ptr %104, align 16
  %106 = icmp ule i32 %105, 40
  br i1 %106, label %107, label %112

107:                                              ; preds = %100
  %108 = getelementptr inbounds %struct.__va_list_tag, ptr %103, i32 0, i32 3
  %109 = load ptr, ptr %108, align 16
  %110 = getelementptr i8, ptr %109, i32 %105
  %111 = add i32 %105, 8
  store i32 %111, ptr %104, align 16
  br label %116

112:                                              ; preds = %100
  %113 = getelementptr inbounds %struct.__va_list_tag, ptr %103, i32 0, i32 2
  %114 = load ptr, ptr %113, align 8
  %115 = getelementptr i8, ptr %114, i32 8
  store ptr %115, ptr %113, align 8
  br label %116

116:                                              ; preds = %112, %107
  %117 = phi ptr [ %110, %107 ], [ %114, %112 ]
  %118 = load i32, ptr %117, align 4, !tbaa !5
  store i32 %118, ptr %9, align 4, !tbaa !5
  %119 = load i32, ptr %9, align 4, !tbaa !5
  %120 = icmp ne i32 %119, 0
  br i1 %120, label %121, label %126

121:                                              ; preds = %116
  %122 = load ptr, ptr %8, align 8, !tbaa !9
  %123 = getelementptr inbounds %struct.sqlite3, ptr %122, i32 0, i32 7
  %124 = load i64, ptr %123, align 8, !tbaa !28
  %125 = or i64 %124, 34359738368
  store i64 %125, ptr %123, align 8, !tbaa !28
  br label %131

126:                                              ; preds = %116
  %127 = load ptr, ptr %8, align 8, !tbaa !9
  %128 = getelementptr inbounds %struct.sqlite3, ptr %127, i32 0, i32 7
  %129 = load i64, ptr %128, align 8, !tbaa !28
  %130 = and i64 %129, -34359738369
  store i64 %130, ptr %128, align 8, !tbaa !28
  br label %131

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

132:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #4
  %133 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %134 = getelementptr inbounds %struct.__va_list_tag, ptr %133, i32 0, i32 0
  %135 = load i32, ptr %134, align 16
  %136 = icmp ule i32 %135, 40
  br i1 %136, label %137, label %142

137:                                              ; preds = %132
  %138 = getelementptr inbounds %struct.__va_list_tag, ptr %133, i32 0, i32 3
  %139 = load ptr, ptr %138, align 16
  %140 = getelementptr i8, ptr %139, i32 %135
  %141 = add i32 %135, 8
  store i32 %141, ptr %134, align 16
  br label %146

142:                                              ; preds = %132
  %143 = getelementptr inbounds %struct.__va_list_tag, ptr %133, i32 0, i32 2
  %144 = load ptr, ptr %143, align 8
  %145 = getelementptr i8, ptr %144, i32 8
  store ptr %145, ptr %143, align 8
  br label %146

146:                                              ; preds = %142, %137
  %147 = phi ptr [ %140, %137 ], [ %144, %142 ]
  %148 = load i32, ptr %147, align 4, !tbaa !5
  store i32 %148, ptr %10, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #4
  %149 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %150 = getelementptr inbounds %struct.__va_list_tag, ptr %149, i32 0, i32 0
  %151 = load i32, ptr %150, align 16
  %152 = icmp ule i32 %151, 40
  br i1 %152, label %153, label %158

153:                                              ; preds = %146
  %154 = getelementptr inbounds %struct.__va_list_tag, ptr %149, i32 0, i32 3
  %155 = load ptr, ptr %154, align 16
  %156 = getelementptr i8, ptr %155, i32 %151
  %157 = add i32 %151, 8
  store i32 %157, ptr %150, align 16
  br label %162

158:                                              ; preds = %146
  %159 = getelementptr inbounds %struct.__va_list_tag, ptr %149, i32 0, i32 2
  %160 = load ptr, ptr %159, align 8
  %161 = getelementptr i8, ptr %160, i32 8
  store ptr %161, ptr %159, align 8
  br label %162

162:                                              ; preds = %158, %153
  %163 = phi ptr [ %156, %153 ], [ %160, %158 ]
  %164 = load ptr, ptr %163, align 8, !tbaa !9
  store ptr %164, ptr %11, align 8, !tbaa !9
  %165 = load i32, ptr %10, align 4, !tbaa !5
  %166 = load ptr, ptr %11, align 8, !tbaa !9
  %167 = call i32 @sqlite3BitvecBuiltinTest(i32 noundef %165, ptr noundef %166)
  store i32 %167, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #4
  br label %786

168:                                              ; preds = %1
  %169 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %170 = getelementptr inbounds %struct.__va_list_tag, ptr %169, i32 0, i32 0
  %171 = load i32, ptr %170, align 16
  %172 = icmp ule i32 %171, 40
  br i1 %172, label %173, label %178

173:                                              ; preds = %168
  %174 = getelementptr inbounds %struct.__va_list_tag, ptr %169, i32 0, i32 3
  %175 = load ptr, ptr %174, align 16
  %176 = getelementptr i8, ptr %175, i32 %171
  %177 = add i32 %171, 8
  store i32 %177, ptr %170, align 16
  br label %182

178:                                              ; preds = %168
  %179 = getelementptr inbounds %struct.__va_list_tag, ptr %169, i32 0, i32 2
  %180 = load ptr, ptr %179, align 8
  %181 = getelementptr i8, ptr %180, i32 8
  store ptr %181, ptr %179, align 8
  br label %182

182:                                              ; preds = %178, %173
  %183 = phi ptr [ %176, %173 ], [ %180, %178 ]
  %184 = load ptr, ptr %183, align 8, !tbaa !9
  store ptr %184, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 38), align 8, !tbaa !29
  %185 = call i32 @sqlite3FaultSim(i32 noundef 0)
  store i32 %185, ptr %3, align 4, !tbaa !5
  br label %786

186:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #4
  %187 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %188 = getelementptr inbounds %struct.__va_list_tag, ptr %187, i32 0, i32 0
  %189 = load i32, ptr %188, align 16
  %190 = icmp ule i32 %189, 40
  br i1 %190, label %191, label %196

191:                                              ; preds = %186
  %192 = getelementptr inbounds %struct.__va_list_tag, ptr %187, i32 0, i32 3
  %193 = load ptr, ptr %192, align 16
  %194 = getelementptr i8, ptr %193, i32 %189
  %195 = add i32 %189, 8
  store i32 %195, ptr %188, align 16
  br label %200

196:                                              ; preds = %186
  %197 = getelementptr inbounds %struct.__va_list_tag, ptr %187, i32 0, i32 2
  %198 = load ptr, ptr %197, align 8
  %199 = getelementptr i8, ptr %198, i32 8
  store ptr %199, ptr %197, align 8
  br label %200

200:                                              ; preds = %196, %191
  %201 = phi ptr [ %194, %191 ], [ %198, %196 ]
  %202 = load ptr, ptr %201, align 8, !tbaa !9
  store ptr %202, ptr %12, align 8, !tbaa !9
  %203 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %204 = getelementptr inbounds %struct.__va_list_tag, ptr %203, i32 0, i32 0
  %205 = load i32, ptr %204, align 16
  %206 = icmp ule i32 %205, 40
  br i1 %206, label %207, label %212

207:                                              ; preds = %200
  %208 = getelementptr inbounds %struct.__va_list_tag, ptr %203, i32 0, i32 3
  %209 = load ptr, ptr %208, align 16
  %210 = getelementptr i8, ptr %209, i32 %205
  %211 = add i32 %205, 8
  store i32 %211, ptr %204, align 16
  br label %216

212:                                              ; preds = %200
  %213 = getelementptr inbounds %struct.__va_list_tag, ptr %203, i32 0, i32 2
  %214 = load ptr, ptr %213, align 8
  %215 = getelementptr i8, ptr %214, i32 8
  store ptr %215, ptr %213, align 8
  br label %216

216:                                              ; preds = %212, %207
  %217 = phi ptr [ %210, %207 ], [ %214, %212 ]
  %218 = load ptr, ptr %217, align 8, !tbaa !9
  store ptr %218, ptr %13, align 8, !tbaa !9
  %219 = load ptr, ptr %12, align 8, !tbaa !9
  %220 = load ptr, ptr %13, align 8, !tbaa !9
  call void @sqlite3BenignMallocHooks(ptr noundef %219, ptr noundef %220)
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #4
  br label %786

221:                                              ; preds = %1
  %222 = load i32, ptr @sqlite3PendingByte, align 4, !tbaa !5
  store i32 %222, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #4
  %223 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %224 = getelementptr inbounds %struct.__va_list_tag, ptr %223, i32 0, i32 0
  %225 = load i32, ptr %224, align 16
  %226 = icmp ule i32 %225, 40
  br i1 %226, label %227, label %232

227:                                              ; preds = %221
  %228 = getelementptr inbounds %struct.__va_list_tag, ptr %223, i32 0, i32 3
  %229 = load ptr, ptr %228, align 16
  %230 = getelementptr i8, ptr %229, i32 %225
  %231 = add i32 %225, 8
  store i32 %231, ptr %224, align 16
  br label %236

232:                                              ; preds = %221
  %233 = getelementptr inbounds %struct.__va_list_tag, ptr %223, i32 0, i32 2
  %234 = load ptr, ptr %233, align 8
  %235 = getelementptr i8, ptr %234, i32 8
  store ptr %235, ptr %233, align 8
  br label %236

236:                                              ; preds = %232, %227
  %237 = phi ptr [ %230, %227 ], [ %234, %232 ]
  %238 = load i32, ptr %237, align 4, !tbaa !5
  store i32 %238, ptr %14, align 4, !tbaa !5
  %239 = load i32, ptr %14, align 4, !tbaa !5
  %240 = icmp ne i32 %239, 0
  br i1 %240, label %241, label %243

241:                                              ; preds = %236
  %242 = load i32, ptr %14, align 4, !tbaa !5
  store i32 %242, ptr @sqlite3PendingByte, align 4, !tbaa !5
  br label %243

243:                                              ; preds = %241, %236
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #4
  br label %786

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

246:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #4
  %247 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %248 = getelementptr inbounds %struct.__va_list_tag, ptr %247, i32 0, i32 0
  %249 = load i32, ptr %248, align 16
  %250 = icmp ule i32 %249, 40
  br i1 %250, label %251, label %256

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

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

260:                                              ; preds = %256, %251
  %261 = phi ptr [ %254, %251 ], [ %258, %256 ]
  %262 = load i32, ptr %261, align 4, !tbaa !5
  store i32 %262, ptr %16, align 4, !tbaa !5
  %263 = load i32, ptr %16, align 4, !tbaa !5
  %264 = icmp ne i32 %263, 0
  br i1 %264, label %265, label %267

265:                                              ; preds = %260
  %266 = load i32, ptr %16, align 4, !tbaa !5
  br label %268

267:                                              ; preds = %260
  br label %268

268:                                              ; preds = %267, %265
  %269 = phi i32 [ %266, %265 ], [ 0, %267 ]
  store i32 %269, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #4
  br label %786

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

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

276:                                              ; preds = %271
  %277 = getelementptr inbounds %struct.__va_list_tag, ptr %272, i32 0, i32 3
  %278 = load ptr, ptr %277, align 16
  %279 = getelementptr i8, ptr %278, i32 %274
  %280 = add i32 %274, 8
  store i32 %280, ptr %273, align 16
  br label %285

281:                                              ; preds = %271
  %282 = getelementptr inbounds %struct.__va_list_tag, ptr %272, i32 0, i32 2
  %283 = load ptr, ptr %282, align 8
  %284 = getelementptr i8, ptr %283, i32 8
  store ptr %284, ptr %282, align 8
  br label %285

285:                                              ; preds = %281, %276
  %286 = phi ptr [ %279, %276 ], [ %283, %281 ]
  %287 = load ptr, ptr %286, align 8, !tbaa !9
  store ptr %287, ptr %17, align 8, !tbaa !9
  %288 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %289 = getelementptr inbounds %struct.__va_list_tag, ptr %288, i32 0, i32 0
  %290 = load i32, ptr %289, align 16
  %291 = icmp ule i32 %290, 40
  br i1 %291, label %292, label %297

292:                                              ; preds = %285
  %293 = getelementptr inbounds %struct.__va_list_tag, ptr %288, i32 0, i32 3
  %294 = load ptr, ptr %293, align 16
  %295 = getelementptr i8, ptr %294, i32 %290
  %296 = add i32 %290, 8
  store i32 %296, ptr %289, align 16
  br label %301

297:                                              ; preds = %285
  %298 = getelementptr inbounds %struct.__va_list_tag, ptr %288, i32 0, i32 2
  %299 = load ptr, ptr %298, align 8
  %300 = getelementptr i8, ptr %299, i32 8
  store ptr %300, ptr %298, align 8
  br label %301

301:                                              ; preds = %297, %292
  %302 = phi ptr [ %295, %292 ], [ %299, %297 ]
  %303 = load i32, ptr %302, align 4, !tbaa !5
  %304 = load ptr, ptr %17, align 8, !tbaa !9
  %305 = getelementptr inbounds %struct.sqlite3, ptr %304, i32 0, i32 16
  store i32 %303, ptr %305, align 8, !tbaa !30
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #4
  br label %786

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
  store i32 %322, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 39), align 8, !tbaa !31
  %323 = load i32, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 39), align 8, !tbaa !31
  %324 = icmp eq i32 %323, 2
  br i1 %324, label %325, label %342

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

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

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

339:                                              ; preds = %335, %330
  %340 = phi ptr [ %333, %330 ], [ %337, %335 ]
  %341 = load ptr, ptr %340, align 8, !tbaa !9
  store ptr %341, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 40), align 8, !tbaa !32
  br label %343

342:                                              ; preds = %320
  store ptr null, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 40), align 8, !tbaa !32
  br label %343

343:                                              ; preds = %342, %339
  br label %786

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

349:                                              ; preds = %344
  %350 = getelementptr inbounds %struct.__va_list_tag, ptr %345, i32 0, i32 3
  %351 = load ptr, ptr %350, align 16
  %352 = getelementptr i8, ptr %351, i32 %347
  %353 = add i32 %347, 8
  store i32 %353, ptr %346, align 16
  br label %358

354:                                              ; preds = %344
  %355 = getelementptr inbounds %struct.__va_list_tag, ptr %345, i32 0, i32 2
  %356 = load ptr, ptr %355, align 8
  %357 = getelementptr i8, ptr %356, i32 8
  store ptr %357, ptr %355, align 8
  br label %358

358:                                              ; preds = %354, %349
  %359 = phi ptr [ %352, %349 ], [ %356, %354 ]
  %360 = load ptr, ptr %359, align 8, !tbaa !9
  store ptr %360, ptr %18, align 8, !tbaa !9
  %361 = load ptr, ptr %18, align 8, !tbaa !9
  %362 = getelementptr inbounds %struct.sqlite3, ptr %361, i32 0, i32 6
  %363 = load i32, ptr %362, align 4, !tbaa !33
  %364 = xor i32 %363, 32
  store i32 %364, ptr %362, align 4, !tbaa !33
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #4
  br label %786

365:                                              ; preds = %1
  %366 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %367 = getelementptr inbounds %struct.__va_list_tag, ptr %366, i32 0, i32 0
  %368 = load i32, ptr %367, align 16
  %369 = icmp ule i32 %368, 40
  br i1 %369, label %370, label %375

370:                                              ; preds = %365
  %371 = getelementptr inbounds %struct.__va_list_tag, ptr %366, i32 0, i32 3
  %372 = load ptr, ptr %371, align 16
  %373 = getelementptr i8, ptr %372, i32 %368
  %374 = add i32 %368, 8
  store i32 %374, ptr %367, align 16
  br label %379

375:                                              ; preds = %365
  %376 = getelementptr inbounds %struct.__va_list_tag, ptr %366, i32 0, i32 2
  %377 = load ptr, ptr %376, align 8
  %378 = getelementptr i8, ptr %377, i32 8
  store ptr %378, ptr %376, align 8
  br label %379

379:                                              ; preds = %375, %370
  %380 = phi ptr [ %373, %370 ], [ %377, %375 ]
  %381 = load i32, ptr %380, align 4, !tbaa !5
  store i32 %381, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 9), align 8, !tbaa !34
  br label %786

382:                                              ; preds = %1
  %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 i32, ptr %397, align 4, !tbaa !5
  %399 = trunc i32 %398 to i8
  store i8 %399, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 6), align 1, !tbaa !35
  br label %786

400:                                              ; preds = %1
  %401 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %402 = getelementptr inbounds %struct.__va_list_tag, ptr %401, i32 0, i32 0
  %403 = load i32, ptr %402, align 16
  %404 = icmp ule i32 %403, 40
  br i1 %404, label %405, label %410

405:                                              ; preds = %400
  %406 = getelementptr inbounds %struct.__va_list_tag, ptr %401, i32 0, i32 3
  %407 = load ptr, ptr %406, align 16
  %408 = getelementptr i8, ptr %407, i32 %403
  %409 = add i32 %403, 8
  store i32 %409, ptr %402, align 16
  br label %414

410:                                              ; preds = %400
  %411 = getelementptr inbounds %struct.__va_list_tag, ptr %401, i32 0, i32 2
  %412 = load ptr, ptr %411, align 8
  %413 = getelementptr i8, ptr %412, i32 8
  store ptr %413, ptr %411, align 8
  br label %414

414:                                              ; preds = %410, %405
  %415 = phi ptr [ %408, %405 ], [ %412, %410 ]
  %416 = load i32, ptr %415, align 4, !tbaa !5
  store i32 %416, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 41), align 8, !tbaa !36
  br label %786

417:                                              ; preds = %1
  br label %786

418:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #4
  %419 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %420 = getelementptr inbounds %struct.__va_list_tag, ptr %419, i32 0, i32 0
  %421 = load i32, ptr %420, align 16
  %422 = icmp ule i32 %421, 40
  br i1 %422, label %423, label %428

423:                                              ; preds = %418
  %424 = getelementptr inbounds %struct.__va_list_tag, ptr %419, i32 0, i32 3
  %425 = load ptr, ptr %424, align 16
  %426 = getelementptr i8, ptr %425, i32 %421
  %427 = add i32 %421, 8
  store i32 %427, ptr %420, align 16
  br label %432

428:                                              ; preds = %418
  %429 = getelementptr inbounds %struct.__va_list_tag, ptr %419, i32 0, i32 2
  %430 = load ptr, ptr %429, align 8
  %431 = getelementptr i8, ptr %430, i32 8
  store ptr %431, ptr %429, align 8
  br label %432

432:                                              ; preds = %428, %423
  %433 = phi ptr [ %426, %423 ], [ %430, %428 ]
  %434 = load ptr, ptr %433, align 8, !tbaa !9
  store ptr %434, ptr %19, align 8, !tbaa !9
  %435 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %436 = getelementptr inbounds %struct.__va_list_tag, ptr %435, i32 0, i32 0
  %437 = load i32, ptr %436, align 16
  %438 = icmp ule i32 %437, 40
  br i1 %438, label %439, label %444

439:                                              ; preds = %432
  %440 = getelementptr inbounds %struct.__va_list_tag, ptr %435, i32 0, i32 3
  %441 = load ptr, ptr %440, align 16
  %442 = getelementptr i8, ptr %441, i32 %437
  %443 = add i32 %437, 8
  store i32 %443, ptr %436, align 16
  br label %448

444:                                              ; preds = %432
  %445 = getelementptr inbounds %struct.__va_list_tag, ptr %435, i32 0, i32 2
  %446 = load ptr, ptr %445, align 8
  %447 = getelementptr i8, ptr %446, i32 8
  store ptr %447, ptr %445, align 8
  br label %448

448:                                              ; preds = %444, %439
  %449 = phi ptr [ %442, %439 ], [ %446, %444 ]
  %450 = load i32, ptr %449, align 4, !tbaa !5
  %451 = load ptr, ptr %19, align 8, !tbaa !9
  %452 = getelementptr inbounds %struct.sqlite3, ptr %451, i32 0, i32 35
  store i32 %450, ptr %452, align 8, !tbaa !37
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #4
  br label %786

453:                                              ; preds = %1
  %454 = load i32, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 28), align 4, !tbaa !38
  %455 = icmp eq i32 %454, 0
  br i1 %455, label %456, label %457

456:                                              ; preds = %453
  store i32 1, ptr %3, align 4, !tbaa !5
  br label %457

457:                                              ; preds = %456, %453
  br label %786

458:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #4
  %459 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %460 = getelementptr inbounds %struct.__va_list_tag, ptr %459, i32 0, i32 0
  %461 = load i32, ptr %460, align 16
  %462 = icmp ule i32 %461, 40
  br i1 %462, label %463, label %468

463:                                              ; preds = %458
  %464 = getelementptr inbounds %struct.__va_list_tag, ptr %459, i32 0, i32 3
  %465 = load ptr, ptr %464, align 16
  %466 = getelementptr i8, ptr %465, i32 %461
  %467 = add i32 %461, 8
  store i32 %467, ptr %460, align 16
  br label %472

468:                                              ; preds = %458
  %469 = getelementptr inbounds %struct.__va_list_tag, ptr %459, i32 0, i32 2
  %470 = load ptr, ptr %469, align 8
  %471 = getelementptr i8, ptr %470, i32 8
  store ptr %471, ptr %469, align 8
  br label %472

472:                                              ; preds = %468, %463
  %473 = phi ptr [ %466, %463 ], [ %470, %468 ]
  %474 = load ptr, ptr %473, align 8, !tbaa !9
  store ptr %474, ptr %20, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #4
  %475 = load ptr, ptr %20, align 8, !tbaa !9
  %476 = getelementptr inbounds %struct.sqlite3, ptr %475, i32 0, i32 3
  %477 = load ptr, ptr %476, align 8, !tbaa !39
  call void @sqlite3_mutex_enter(ptr noundef %477)
  %478 = load ptr, ptr %20, align 8, !tbaa !9
  %479 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %480 = getelementptr inbounds %struct.__va_list_tag, ptr %479, i32 0, i32 0
  %481 = load i32, ptr %480, align 16
  %482 = icmp ule i32 %481, 40
  br i1 %482, label %483, label %488

483:                                              ; preds = %472
  %484 = getelementptr inbounds %struct.__va_list_tag, ptr %479, i32 0, i32 3
  %485 = load ptr, ptr %484, align 16
  %486 = getelementptr i8, ptr %485, i32 %481
  %487 = add i32 %481, 8
  store i32 %487, ptr %480, align 16
  br label %492

488:                                              ; preds = %472
  %489 = getelementptr inbounds %struct.__va_list_tag, ptr %479, i32 0, i32 2
  %490 = load ptr, ptr %489, align 8
  %491 = getelementptr i8, ptr %490, i32 8
  store ptr %491, ptr %489, align 8
  br label %492

492:                                              ; preds = %488, %483
  %493 = phi ptr [ %486, %483 ], [ %490, %488 ]
  %494 = load ptr, ptr %493, align 8, !tbaa !9
  %495 = call i32 @sqlite3FindDbName(ptr noundef %478, ptr noundef %494)
  store i32 %495, ptr %21, align 4, !tbaa !5
  %496 = load i32, ptr %21, align 4, !tbaa !5
  %497 = icmp sge i32 %496, 0
  br i1 %497, label %498, label %568

498:                                              ; preds = %492
  %499 = load i32, ptr %21, align 4, !tbaa !5
  %500 = trunc i32 %499 to i8
  %501 = load ptr, ptr %20, align 8, !tbaa !9
  %502 = getelementptr inbounds %struct.sqlite3, ptr %501, i32 0, i32 36
  %503 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %502, i32 0, i32 1
  store i8 %500, ptr %503, align 4, !tbaa !40
  %504 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %505 = getelementptr inbounds %struct.__va_list_tag, ptr %504, i32 0, i32 0
  %506 = load i32, ptr %505, align 16
  %507 = icmp ule i32 %506, 40
  br i1 %507, label %508, label %513

508:                                              ; preds = %498
  %509 = getelementptr inbounds %struct.__va_list_tag, ptr %504, i32 0, i32 3
  %510 = load ptr, ptr %509, align 16
  %511 = getelementptr i8, ptr %510, i32 %506
  %512 = add i32 %506, 8
  store i32 %512, ptr %505, align 16
  br label %517

513:                                              ; preds = %498
  %514 = getelementptr inbounds %struct.__va_list_tag, ptr %504, i32 0, i32 2
  %515 = load ptr, ptr %514, align 8
  %516 = getelementptr i8, ptr %515, i32 8
  store ptr %516, ptr %514, align 8
  br label %517

517:                                              ; preds = %513, %508
  %518 = phi ptr [ %511, %508 ], [ %515, %513 ]
  %519 = load i32, ptr %518, align 4, !tbaa !5
  %520 = load ptr, ptr %20, align 8, !tbaa !9
  %521 = getelementptr inbounds %struct.sqlite3, ptr %520, i32 0, i32 36
  %522 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %521, i32 0, i32 3
  %523 = trunc i32 %519 to i8
  %524 = load i8, ptr %522, align 2
  %525 = and i8 %523, 1
  %526 = shl i8 %525, 1
  %527 = and i8 %524, -3
  %528 = or i8 %527, %526
  store i8 %528, ptr %522, align 2
  %529 = zext i8 %525 to i32
  %530 = trunc i32 %529 to i8
  %531 = load ptr, ptr %20, align 8, !tbaa !9
  %532 = getelementptr inbounds %struct.sqlite3, ptr %531, i32 0, i32 36
  %533 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %532, i32 0, i32 2
  store i8 %530, ptr %533, align 1, !tbaa !41
  %534 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %535 = getelementptr inbounds %struct.__va_list_tag, ptr %534, i32 0, i32 0
  %536 = load i32, ptr %535, align 16
  %537 = icmp ule i32 %536, 40
  br i1 %537, label %538, label %543

538:                                              ; preds = %517
  %539 = getelementptr inbounds %struct.__va_list_tag, ptr %534, i32 0, i32 3
  %540 = load ptr, ptr %539, align 16
  %541 = getelementptr i8, ptr %540, i32 %536
  %542 = add i32 %536, 8
  store i32 %542, ptr %535, align 16
  br label %547

543:                                              ; preds = %517
  %544 = getelementptr inbounds %struct.__va_list_tag, ptr %534, i32 0, i32 2
  %545 = load ptr, ptr %544, align 8
  %546 = getelementptr i8, ptr %545, i32 8
  store ptr %546, ptr %544, align 8
  br label %547

547:                                              ; preds = %543, %538
  %548 = phi ptr [ %541, %538 ], [ %545, %543 ]
  %549 = load i32, ptr %548, align 4, !tbaa !5
  %550 = load ptr, ptr %20, align 8, !tbaa !9
  %551 = getelementptr inbounds %struct.sqlite3, ptr %550, i32 0, i32 36
  %552 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %551, i32 0, i32 0
  store i32 %549, ptr %552, align 8, !tbaa !42
  %553 = load ptr, ptr %20, align 8, !tbaa !9
  %554 = getelementptr inbounds %struct.sqlite3, ptr %553, i32 0, i32 36
  %555 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %554, i32 0, i32 2
  %556 = load i8, ptr %555, align 1, !tbaa !41
  %557 = zext i8 %556 to i32
  %558 = icmp eq i32 %557, 0
  br i1 %558, label %559, label %567

559:                                              ; preds = %547
  %560 = load ptr, ptr %20, align 8, !tbaa !9
  %561 = getelementptr inbounds %struct.sqlite3, ptr %560, i32 0, i32 36
  %562 = getelementptr inbounds %struct.sqlite3InitInfo, ptr %561, i32 0, i32 0
  %563 = load i32, ptr %562, align 8, !tbaa !42
  %564 = icmp ugt i32 %563, 0
  br i1 %564, label %565, label %567

565:                                              ; preds = %559
  %566 = load ptr, ptr %20, align 8, !tbaa !9
  call void @sqlite3ResetAllSchemasOfConnection(ptr noundef %566)
  br label %567

567:                                              ; preds = %565, %559, %547
  br label %568

568:                                              ; preds = %567, %492
  %569 = load ptr, ptr %20, align 8, !tbaa !9
  %570 = getelementptr inbounds %struct.sqlite3, ptr %569, i32 0, i32 3
  %571 = load ptr, ptr %570, align 8, !tbaa !39
  call void @sqlite3_mutex_leave(ptr noundef %571)
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #4
  br label %786

572:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #4
  %573 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %574 = getelementptr inbounds %struct.__va_list_tag, ptr %573, i32 0, i32 0
  %575 = load i32, ptr %574, align 16
  %576 = icmp ule i32 %575, 40
  br i1 %576, label %577, label %582

577:                                              ; preds = %572
  %578 = getelementptr inbounds %struct.__va_list_tag, ptr %573, i32 0, i32 3
  %579 = load ptr, ptr %578, align 16
  %580 = getelementptr i8, ptr %579, i32 %575
  %581 = add i32 %575, 8
  store i32 %581, ptr %574, align 16
  br label %586

582:                                              ; preds = %572
  %583 = getelementptr inbounds %struct.__va_list_tag, ptr %573, i32 0, i32 2
  %584 = load ptr, ptr %583, align 8
  %585 = getelementptr i8, ptr %584, i32 8
  store ptr %585, ptr %583, align 8
  br label %586

586:                                              ; preds = %582, %577
  %587 = phi ptr [ %580, %577 ], [ %584, %582 ]
  %588 = load ptr, ptr %587, align 8, !tbaa !9
  store ptr %588, ptr %22, align 8, !tbaa !9
  %589 = load ptr, ptr %22, align 8, !tbaa !9
  call void @sqlite3ResultIntReal(ptr noundef %589)
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #4
  br label %786

590:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #4
  %591 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %592 = getelementptr inbounds %struct.__va_list_tag, ptr %591, i32 0, i32 0
  %593 = load i32, ptr %592, align 16
  %594 = icmp ule i32 %593, 40
  br i1 %594, label %595, label %600

595:                                              ; preds = %590
  %596 = getelementptr inbounds %struct.__va_list_tag, ptr %591, i32 0, i32 3
  %597 = load ptr, ptr %596, align 16
  %598 = getelementptr i8, ptr %597, i32 %593
  %599 = add i32 %593, 8
  store i32 %599, ptr %592, align 16
  br label %604

600:                                              ; preds = %590
  %601 = getelementptr inbounds %struct.__va_list_tag, ptr %591, i32 0, i32 2
  %602 = load ptr, ptr %601, align 8
  %603 = getelementptr i8, ptr %602, i32 8
  store ptr %603, ptr %601, align 8
  br label %604

604:                                              ; preds = %600, %595
  %605 = phi ptr [ %598, %595 ], [ %602, %600 ]
  %606 = load ptr, ptr %605, align 8, !tbaa !9
  store ptr %606, ptr %23, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #4
  %607 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %608 = getelementptr inbounds %struct.__va_list_tag, ptr %607, i32 0, i32 0
  %609 = load i32, ptr %608, align 16
  %610 = icmp ule i32 %609, 40
  br i1 %610, label %611, label %616

611:                                              ; preds = %604
  %612 = getelementptr inbounds %struct.__va_list_tag, ptr %607, i32 0, i32 3
  %613 = load ptr, ptr %612, align 16
  %614 = getelementptr i8, ptr %613, i32 %609
  %615 = add i32 %609, 8
  store i32 %615, ptr %608, align 16
  br label %620

616:                                              ; preds = %604
  %617 = getelementptr inbounds %struct.__va_list_tag, ptr %607, i32 0, i32 2
  %618 = load ptr, ptr %617, align 8
  %619 = getelementptr i8, ptr %618, i32 8
  store ptr %619, ptr %617, align 8
  br label %620

620:                                              ; preds = %616, %611
  %621 = phi ptr [ %614, %611 ], [ %618, %616 ]
  %622 = load ptr, ptr %621, align 8, !tbaa !9
  store ptr %622, ptr %24, align 8, !tbaa !9
  %623 = load ptr, ptr %24, align 8, !tbaa !9
  store i64 0, ptr %623, align 8, !tbaa !43
  %624 = load ptr, ptr %23, align 8, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #4
  br label %786

625:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #4
  %626 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %627 = getelementptr inbounds %struct.__va_list_tag, ptr %626, i32 0, i32 0
  %628 = load i32, ptr %627, align 16
  %629 = icmp ule i32 %628, 40
  br i1 %629, label %630, label %635

630:                                              ; preds = %625
  %631 = getelementptr inbounds %struct.__va_list_tag, ptr %626, i32 0, i32 3
  %632 = load ptr, ptr %631, align 16
  %633 = getelementptr i8, ptr %632, i32 %628
  %634 = add i32 %628, 8
  store i32 %634, ptr %627, align 16
  br label %639

635:                                              ; preds = %625
  %636 = getelementptr inbounds %struct.__va_list_tag, ptr %626, i32 0, i32 2
  %637 = load ptr, ptr %636, align 8
  %638 = getelementptr i8, ptr %637, i32 8
  store ptr %638, ptr %636, align 8
  br label %639

639:                                              ; preds = %635, %630
  %640 = phi ptr [ %633, %630 ], [ %637, %635 ]
  %641 = load i32, ptr %640, align 4, !tbaa !5
  store i32 %641, ptr %25, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #4
  %642 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %643 = getelementptr inbounds %struct.__va_list_tag, ptr %642, i32 0, i32 0
  %644 = load i32, ptr %643, align 16
  %645 = icmp ule i32 %644, 40
  br i1 %645, label %646, label %651

646:                                              ; preds = %639
  %647 = getelementptr inbounds %struct.__va_list_tag, ptr %642, i32 0, i32 3
  %648 = load ptr, ptr %647, align 16
  %649 = getelementptr i8, ptr %648, i32 %644
  %650 = add i32 %644, 8
  store i32 %650, ptr %643, align 16
  br label %655

651:                                              ; preds = %639
  %652 = getelementptr inbounds %struct.__va_list_tag, ptr %642, i32 0, i32 2
  %653 = load ptr, ptr %652, align 8
  %654 = getelementptr i8, ptr %653, i32 8
  store ptr %654, ptr %652, align 8
  br label %655

655:                                              ; preds = %651, %646
  %656 = phi ptr [ %649, %646 ], [ %653, %651 ]
  %657 = load ptr, ptr %656, align 8, !tbaa !9
  store ptr %657, ptr %26, align 8, !tbaa !9
  %658 = load i32, ptr %25, align 4, !tbaa !5
  switch i32 %658, label %671 [
    i32 0, label %659
    i32 1, label %662
    i32 2, label %665
    i32 3, label %668
  ]

659:                                              ; preds = %655
  %660 = load i32, ptr @sqlite3TreeTrace, align 4, !tbaa !5
  %661 = load ptr, ptr %26, align 8, !tbaa !9
  store i32 %660, ptr %661, align 4, !tbaa !5
  br label %671

662:                                              ; preds = %655
  %663 = load ptr, ptr %26, align 8, !tbaa !9
  %664 = load i32, ptr %663, align 4, !tbaa !5
  store i32 %664, ptr @sqlite3TreeTrace, align 4, !tbaa !5
  br label %671

665:                                              ; preds = %655
  %666 = load i32, ptr @sqlite3WhereTrace, align 4, !tbaa !5
  %667 = load ptr, ptr %26, align 8, !tbaa !9
  store i32 %666, ptr %667, align 4, !tbaa !5
  br label %671

668:                                              ; preds = %655
  %669 = load ptr, ptr %26, align 8, !tbaa !9
  %670 = load i32, ptr %669, align 4, !tbaa !5
  store i32 %670, ptr @sqlite3WhereTrace, align 4, !tbaa !5
  br label %671

671:                                              ; preds = %668, %665, %662, %659, %655
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #4
  br label %786

672:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #4
  %673 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %674 = getelementptr inbounds %struct.__va_list_tag, ptr %673, i32 0, i32 1
  %675 = load i32, ptr %674, align 4
  %676 = icmp ule i32 %675, 160
  br i1 %676, label %677, label %682

677:                                              ; preds = %672
  %678 = getelementptr inbounds %struct.__va_list_tag, ptr %673, i32 0, i32 3
  %679 = load ptr, ptr %678, align 16
  %680 = getelementptr i8, ptr %679, i32 %675
  %681 = add i32 %675, 16
  store i32 %681, ptr %674, align 4
  br label %686

682:                                              ; preds = %672
  %683 = getelementptr inbounds %struct.__va_list_tag, ptr %673, i32 0, i32 2
  %684 = load ptr, ptr %683, align 8
  %685 = getelementptr i8, ptr %684, i32 8
  store ptr %685, ptr %683, align 8
  br label %686

686:                                              ; preds = %682, %677
  %687 = phi ptr [ %680, %677 ], [ %684, %682 ]
  %688 = load double, ptr %687, align 8, !tbaa !44
  store double %688, ptr %27, align 8, !tbaa !44
  call void @llvm.lifetime.start.p0(i64 2, ptr %28) #4
  %689 = load double, ptr %27, align 8, !tbaa !44
  %690 = call signext i16 @sqlite3LogEstFromDouble(double noundef %689)
  store i16 %690, ptr %28, align 2, !tbaa !46
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #4
  %691 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %692 = getelementptr inbounds %struct.__va_list_tag, ptr %691, i32 0, i32 0
  %693 = load i32, ptr %692, align 16
  %694 = icmp ule i32 %693, 40
  br i1 %694, label %695, label %700

695:                                              ; preds = %686
  %696 = getelementptr inbounds %struct.__va_list_tag, ptr %691, i32 0, i32 3
  %697 = load ptr, ptr %696, align 16
  %698 = getelementptr i8, ptr %697, i32 %693
  %699 = add i32 %693, 8
  store i32 %699, ptr %692, align 16
  br label %704

700:                                              ; preds = %686
  %701 = getelementptr inbounds %struct.__va_list_tag, ptr %691, i32 0, i32 2
  %702 = load ptr, ptr %701, align 8
  %703 = getelementptr i8, ptr %702, i32 8
  store ptr %703, ptr %701, align 8
  br label %704

704:                                              ; preds = %700, %695
  %705 = phi ptr [ %698, %695 ], [ %702, %700 ]
  %706 = load ptr, ptr %705, align 8, !tbaa !9
  store ptr %706, ptr %29, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #4
  %707 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %708 = getelementptr inbounds %struct.__va_list_tag, ptr %707, i32 0, i32 0
  %709 = load i32, ptr %708, align 16
  %710 = icmp ule i32 %709, 40
  br i1 %710, label %711, label %716

711:                                              ; preds = %704
  %712 = getelementptr inbounds %struct.__va_list_tag, ptr %707, i32 0, i32 3
  %713 = load ptr, ptr %712, align 16
  %714 = getelementptr i8, ptr %713, i32 %709
  %715 = add i32 %709, 8
  store i32 %715, ptr %708, align 16
  br label %720

716:                                              ; preds = %704
  %717 = getelementptr inbounds %struct.__va_list_tag, ptr %707, i32 0, i32 2
  %718 = load ptr, ptr %717, align 8
  %719 = getelementptr i8, ptr %718, i32 8
  store ptr %719, ptr %717, align 8
  br label %720

720:                                              ; preds = %716, %711
  %721 = phi ptr [ %714, %711 ], [ %718, %716 ]
  %722 = load ptr, ptr %721, align 8, !tbaa !9
  store ptr %722, ptr %30, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #4
  %723 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %724 = getelementptr inbounds %struct.__va_list_tag, ptr %723, i32 0, i32 0
  %725 = load i32, ptr %724, align 16
  %726 = icmp ule i32 %725, 40
  br i1 %726, label %727, label %732

727:                                              ; preds = %720
  %728 = getelementptr inbounds %struct.__va_list_tag, ptr %723, i32 0, i32 3
  %729 = load ptr, ptr %728, align 16
  %730 = getelementptr i8, ptr %729, i32 %725
  %731 = add i32 %725, 8
  store i32 %731, ptr %724, align 16
  br label %736

732:                                              ; preds = %720
  %733 = getelementptr inbounds %struct.__va_list_tag, ptr %723, i32 0, i32 2
  %734 = load ptr, ptr %733, align 8
  %735 = getelementptr i8, ptr %734, i32 8
  store ptr %735, ptr %733, align 8
  br label %736

736:                                              ; preds = %732, %727
  %737 = phi ptr [ %730, %727 ], [ %734, %732 ]
  %738 = load ptr, ptr %737, align 8, !tbaa !9
  store ptr %738, ptr %31, align 8, !tbaa !9
  %739 = load i16, ptr %28, align 2, !tbaa !46
  %740 = sext i16 %739 to i32
  %741 = load ptr, ptr %29, align 8, !tbaa !9
  store i32 %740, ptr %741, align 4, !tbaa !5
  %742 = load i16, ptr %28, align 2, !tbaa !46
  %743 = call i64 @sqlite3LogEstToInt(i16 noundef signext %742)
  %744 = load ptr, ptr %30, align 8, !tbaa !9
  store i64 %743, ptr %744, align 8, !tbaa !43
  %745 = load ptr, ptr %30, align 8, !tbaa !9
  %746 = load i64, ptr %745, align 8, !tbaa !43
  %747 = call signext i16 @sqlite3LogEst(i64 noundef %746)
  %748 = sext i16 %747 to i32
  %749 = load ptr, ptr %31, align 8, !tbaa !9
  store i32 %748, ptr %749, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #4
  call void @llvm.lifetime.end.p0(i64 2, ptr %28) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #4
  br label %786

750:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #4
  %751 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  %752 = getelementptr inbounds %struct.__va_list_tag, ptr %751, i32 0, i32 0
  %753 = load i32, ptr %752, align 16
  %754 = icmp ule i32 %753, 40
  br i1 %754, label %755, label %760

755:                                              ; preds = %750
  %756 = getelementptr inbounds %struct.__va_list_tag, ptr %751, i32 0, i32 3
  %757 = load ptr, ptr %756, align 16
  %758 = getelementptr i8, ptr %757, i32 %753
  %759 = add i32 %753, 8
  store i32 %759, ptr %752, align 16
  br label %764

760:                                              ; preds = %750
  %761 = getelementptr inbounds %struct.__va_list_tag, ptr %751, i32 0, i32 2
  %762 = load ptr, ptr %761, align 8
  %763 = getelementptr i8, ptr %762, i32 8
  store ptr %763, ptr %761, align 8
  br label %764

764:                                              ; preds = %760, %755
  %765 = phi ptr [ %758, %755 ], [ %762, %760 ]
  %766 = load i32, ptr %765, align 4, !tbaa !5
  store i32 %766, ptr %32, align 4, !tbaa !5
  %767 = load i32, ptr %32, align 4, !tbaa !5
  %768 = icmp sge i32 %767, 2
  br i1 %768, label %769, label %772

769:                                              ; preds = %764
  %770 = load i32, ptr %32, align 4, !tbaa !5
  %771 = call i32 @hasHighPrecisionDouble(i32 noundef %770)
  store i32 %771, ptr %32, align 4, !tbaa !5
  br label %772

772:                                              ; preds = %769, %764
  %773 = load i32, ptr %32, align 4, !tbaa !5
  %774 = icmp sge i32 %773, 0
  br i1 %774, label %775, label %780

775:                                              ; preds = %772
  %776 = load i32, ptr %32, align 4, !tbaa !5
  %777 = icmp sgt i32 %776, 0
  %778 = zext i1 %777 to i32
  %779 = trunc i32 %778 to i8
  store i8 %779, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 7), align 2, !tbaa !47
  br label %780

780:                                              ; preds = %775, %772
  %781 = load i8, ptr getelementptr inbounds (%struct.Sqlite3Config, ptr @sqlite3Config, i32 0, i32 7), align 2, !tbaa !47
  %782 = zext i8 %781 to i32
  %783 = icmp ne i32 %782, 0
  %784 = zext i1 %783 to i32
  store i32 %784, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #4
  br label %786

785:                                              ; preds = %1
  br label %786

786:                                              ; preds = %785, %780, %736, %671, %620, %586, %568, %457, %448, %417, %414, %396, %379, %358, %343, %301, %270, %268, %244, %243, %216, %182, %162, %131, %84, %36, %35, %1
  %787 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %4, i64 0, i64 0
  call void @llvm.va_end.p0(ptr %787)
  %788 = load i32, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 24, ptr %4) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #4
  ret i32 %788
}

; 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

; Function Attrs: nounwind uwtable
declare hidden signext i16 @sqlite3LogEstFromDouble(double noundef) #1

; Function Attrs: nounwind uwtable
declare hidden i64 @sqlite3LogEstToInt(i16 noundef signext) #1

; Function Attrs: nounwind uwtable
declare hidden signext i16 @sqlite3LogEst(i64 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 = { noinline nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { 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, !6, i64 92, !6, i64 96, !7, i64 100, !7, i64 101, !7, i64 102, !7, i64 103, !7, i64 104, !7, i64 105, !7, i64 106, !7, i64 107, !7, i64 108, !7, i64 109, !7, i64 110, !7, i64 111, !7, i64 112, !7, i64 113, !6, i64 116, !13, i64 120, !13, i64 128, !7, i64 136, !6, i64 184, !14, i64 192, !6, i64 208, !6, i64 212, !6, i64 216, !6, i64 220, !6, i64 224, !6, i64 228, !10, i64 232, !7, 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, !10, i64 360, !10, i64 368, !10, i64 376, !10, i64 384, !10, i64 392, !7, i64 400, !15, i64 408, !10, i64 504, !10, i64 512, !10, i64 520, !10, i64 528, !6, i64 536, !6, i64 540, !17, i64 544, !10, i64 568, !10, i64 576, !10, i64 584, !17, i64 592, !17, i64 616, !18, i64 640, !7, i64 664, !10, i64 728, !6, i64 736, !6, i64 740, !6, i64 744, !6, i64 748, !13, i64 752, !13, i64 760, !10, i64 768, !10, i64 776}
!13 = !{!"long long", !7, i64 0}
!14 = !{!"sqlite3InitInfo", !6, i64 0, !7, i64 4, !7, i64 5, !6, i64 6, !6, i64 6, !6, i64 6, !10, i64 8}
!15 = !{!"Lookaside", !6, i64 0, !16, i64 4, !16, 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, !10, i64 88}
!16 = !{!"short", !7, i64 0}
!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, !16, i64 114, !6, i64 116}
!23 = !{!24, !6, i64 432}
!24 = !{!"Sqlite3Config", !6, i64 0, !7, i64 4, !7, i64 5, !7, i64 6, !7, i64 7, !7, i64 8, !7, i64 9, !7, i64 10, !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, !13, i64 392, !10, i64 400, !6, i64 408, !10, i64 416, !6, i64 424, !6, i64 428, !6, i64 432}
!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 = !{!12, !13, i64 48}
!29 = !{!24, !10, i64 400}
!30 = !{!12, !6, i64 96}
!31 = !{!24, !6, i64 408}
!32 = !{!24, !10, i64 416}
!33 = !{!12, !6, i64 44}
!34 = !{!24, !6, i64 16}
!35 = !{!24, !7, i64 9}
!36 = !{!24, !6, i64 424}
!37 = !{!12, !6, i64 184}
!38 = !{!24, !6, i64 340}
!39 = !{!12, !10, i64 24}
!40 = !{!12, !7, i64 196}
!41 = !{!12, !7, i64 197}
!42 = !{!12, !6, i64 192}
!43 = !{!13, !13, i64 0}
!44 = !{!45, !45, i64 0}
!45 = !{!"double", !7, i64 0}
!46 = !{!16, !16, i64 0}
!47 = !{!24, !7, i64 10}


; 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, 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, i64, ptr, i32, ptr, 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
@sqlite3TreeTrace = external hidden local_unnamed_addr global i32, align 4
@sqlite3WhereTrace = 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 i32 @sqlite3FindDbName(ptr noundef, ptr noundef) local_unnamed_addr #1

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

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

; 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) #4
  call void @llvm.va_start.p0(ptr nonnull %2)
  switch i32 %0, label %611 [
    i32 5, label %4
    i32 6, label %5
    i32 28, label %6
    i32 7, label %43
    i32 8, label %79
    i32 9, label %110
    i32 10, label %127
    i32 11, label %157
    i32 12, label %175
    i32 13, label %176
    i32 22, label %192
    i32 15, label %193
    i32 18, label %224
    i32 17, label %258
    i32 20, label %277
    i32 29, label %293
    i32 19, label %310
    i32 34, label %583
    i32 24, label %326
    i32 23, label %357
    i32 25, label %360
    i32 27, label %441
    i32 30, label %457
    i32 31, label %479
    i32 33, label %517
  ]

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

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

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
  %.not95 = icmp eq ptr %35, null
  br i1 %.not95, 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
  %.not96 = icmp eq i32 %41, 0
  %spec.select = select i1 %.not96, i32 %33, i32 %41
  br label %42

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

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

.thread107:                                       ; 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 ptr, ptr %47, align 8, !tbaa !9
  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 ptr, ptr %54, align 8, !tbaa !9
  %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 = %.thread107, %50
  %65 = phi ptr [ %49, %.thread107 ], [ %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 ptr [ %56, %58 ], [ %65, %64 ]
  %71 = phi ptr [ %62, %58 ], [ %67, %64 ]
  %72 = load i32, ptr %71, align 4, !tbaa !5
  %.not94 = icmp eq i32 %72, 0
  %73 = getelementptr inbounds i8, ptr %70, i64 48
  %74 = load i64, ptr %73, align 8, !tbaa !28
  br i1 %.not94, label %77, label %75

75:                                               ; preds = %69
  %76 = or i64 %74, 34359738368
  store i64 %76, ptr %73, align 8, !tbaa !28
  br label %611

77:                                               ; preds = %69
  %78 = and i64 %74, -34359738369
  store i64 %78, ptr %73, align 8, !tbaa !28
  br label %611

79:                                               ; preds = %1
  %80 = load i32, ptr %2, align 16
  %81 = icmp ult i32 %80, 41
  br i1 %81, label %86, label %.thread108

.thread108:                                       ; preds = %79
  %82 = getelementptr inbounds i8, ptr %2, i64 8
  %83 = load ptr, ptr %82, align 8
  %84 = getelementptr i8, ptr %83, i64 8
  store ptr %84, ptr %82, align 8
  %85 = load i32, ptr %83, align 4, !tbaa !5
  br label %100

86:                                               ; preds = %79
  %87 = getelementptr inbounds i8, ptr %2, i64 16
  %88 = load ptr, ptr %87, align 16
  %89 = zext nneg i32 %80 to i64
  %90 = getelementptr i8, ptr %88, i64 %89
  %91 = add nuw nsw i32 %80, 8
  store i32 %91, ptr %2, align 16
  %92 = load i32, ptr %90, align 4, !tbaa !5
  %93 = icmp ult i32 %80, 33
  br i1 %93, label %94, label %100

94:                                               ; preds = %86
  %95 = getelementptr inbounds i8, ptr %2, i64 16
  %96 = load ptr, ptr %95, align 16
  %97 = zext nneg i32 %91 to i64
  %98 = getelementptr i8, ptr %96, i64 %97
  %99 = add nuw nsw i32 %80, 16
  store i32 %99, ptr %2, align 16
  br label %105

100:                                              ; preds = %.thread108, %86
  %101 = phi i32 [ %85, %.thread108 ], [ %92, %86 ]
  %102 = getelementptr inbounds i8, ptr %2, i64 8
  %103 = load ptr, ptr %102, align 8
  %104 = getelementptr i8, ptr %103, i64 8
  store ptr %104, ptr %102, align 8
  br label %105

105:                                              ; preds = %100, %94
  %106 = phi i32 [ %92, %94 ], [ %101, %100 ]
  %107 = phi ptr [ %98, %94 ], [ %103, %100 ]
  %108 = load ptr, ptr %107, align 8, !tbaa !9
  %109 = call i32 @sqlite3BitvecBuiltinTest(i32 noundef %106, ptr noundef %108)
  br label %611

110:                                              ; preds = %1
  %111 = load i32, ptr %2, align 16
  %112 = icmp ult i32 %111, 41
  br i1 %112, label %113, label %119

113:                                              ; preds = %110
  %114 = getelementptr inbounds i8, ptr %2, i64 16
  %115 = load ptr, ptr %114, align 16
  %116 = zext nneg i32 %111 to i64
  %117 = getelementptr i8, ptr %115, i64 %116
  %118 = add nuw nsw i32 %111, 8
  store i32 %118, ptr %2, align 16
  br label %123

119:                                              ; preds = %110
  %120 = getelementptr inbounds i8, ptr %2, i64 8
  %121 = load ptr, ptr %120, align 8
  %122 = getelementptr i8, ptr %121, i64 8
  store ptr %122, ptr %120, align 8
  br label %123

123:                                              ; preds = %119, %113
  %124 = phi ptr [ %117, %113 ], [ %121, %119 ]
  %125 = load ptr, ptr %124, align 8, !tbaa !9
  store ptr %125, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 400), align 8, !tbaa !29
  %126 = call i32 @sqlite3FaultSim(i32 noundef 0)
  br label %611

127:                                              ; preds = %1
  %128 = load i32, ptr %2, align 16
  %129 = icmp ult i32 %128, 41
  br i1 %129, label %134, label %.thread109

.thread109:                                       ; preds = %127
  %130 = getelementptr inbounds i8, ptr %2, i64 8
  %131 = load ptr, ptr %130, align 8
  %132 = getelementptr i8, ptr %131, i64 8
  store ptr %132, ptr %130, align 8
  %133 = load ptr, ptr %131, align 8, !tbaa !9
  br label %148

134:                                              ; preds = %127
  %135 = getelementptr inbounds i8, ptr %2, i64 16
  %136 = load ptr, ptr %135, align 16
  %137 = zext nneg i32 %128 to i64
  %138 = getelementptr i8, ptr %136, i64 %137
  %139 = add nuw nsw i32 %128, 8
  store i32 %139, ptr %2, align 16
  %140 = load ptr, ptr %138, align 8, !tbaa !9
  %141 = icmp ult i32 %128, 33
  br i1 %141, label %142, label %148

142:                                              ; preds = %134
  %143 = getelementptr inbounds i8, ptr %2, i64 16
  %144 = load ptr, ptr %143, align 16
  %145 = zext nneg i32 %139 to i64
  %146 = getelementptr i8, ptr %144, i64 %145
  %147 = add nuw nsw i32 %128, 16
  store i32 %147, ptr %2, align 16
  br label %153

148:                                              ; preds = %.thread109, %134
  %149 = phi ptr [ %133, %.thread109 ], [ %140, %134 ]
  %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 = %148, %142
  %154 = phi ptr [ %140, %142 ], [ %149, %148 ]
  %155 = phi ptr [ %146, %142 ], [ %151, %148 ]
  %156 = load ptr, ptr %155, align 8, !tbaa !9
  call void @sqlite3BenignMallocHooks(ptr noundef %154, ptr noundef %156)
  br label %611

157:                                              ; preds = %1
  %158 = load i32, ptr @sqlite3PendingByte, align 4, !tbaa !5
  %159 = load i32, ptr %2, align 16
  %160 = icmp ult i32 %159, 41
  br i1 %160, label %161, label %167

161:                                              ; preds = %157
  %162 = getelementptr inbounds i8, ptr %2, i64 16
  %163 = load ptr, ptr %162, align 16
  %164 = zext nneg i32 %159 to i64
  %165 = getelementptr i8, ptr %163, i64 %164
  %166 = add nuw nsw i32 %159, 8
  store i32 %166, ptr %2, align 16
  br label %171

167:                                              ; preds = %157
  %168 = getelementptr inbounds i8, ptr %2, i64 8
  %169 = load ptr, ptr %168, align 8
  %170 = getelementptr i8, ptr %169, i64 8
  store ptr %170, ptr %168, align 8
  br label %171

171:                                              ; preds = %167, %161
  %172 = phi ptr [ %165, %161 ], [ %169, %167 ]
  %173 = load i32, ptr %172, align 4, !tbaa !5
  %.not93 = icmp eq i32 %173, 0
  br i1 %.not93, label %611, label %174

174:                                              ; preds = %171
  store i32 %173, ptr @sqlite3PendingByte, align 4, !tbaa !5
  br label %611

175:                                              ; 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.35 = load volatile i32, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3)
  br label %611

176:                                              ; preds = %1
  %177 = load i32, ptr %2, align 16
  %178 = icmp ult i32 %177, 41
  br i1 %178, label %179, label %185

179:                                              ; preds = %176
  %180 = getelementptr inbounds i8, ptr %2, i64 16
  %181 = load ptr, ptr %180, align 16
  %182 = zext nneg i32 %177 to i64
  %183 = getelementptr i8, ptr %181, i64 %182
  %184 = add nuw nsw i32 %177, 8
  store i32 %184, ptr %2, align 16
  br label %189

185:                                              ; preds = %176
  %186 = getelementptr inbounds i8, ptr %2, i64 8
  %187 = load ptr, ptr %186, align 8
  %188 = getelementptr i8, ptr %187, i64 8
  store ptr %188, ptr %186, align 8
  br label %189

189:                                              ; preds = %185, %179
  %190 = phi ptr [ %183, %179 ], [ %187, %185 ]
  %191 = load i32, ptr %190, align 4, !tbaa !5
  br label %611

192:                                              ; preds = %1
  br label %611

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

.thread110:                                       ; preds = %193
  %196 = getelementptr inbounds i8, ptr %2, i64 8
  %197 = load ptr, ptr %196, align 8
  %198 = getelementptr i8, ptr %197, i64 8
  store ptr %198, ptr %196, align 8
  %199 = load ptr, ptr %197, align 8, !tbaa !9
  br label %214

200:                                              ; preds = %193
  %201 = getelementptr inbounds i8, ptr %2, i64 16
  %202 = load ptr, ptr %201, align 16
  %203 = zext nneg i32 %194 to i64
  %204 = getelementptr i8, ptr %202, i64 %203
  %205 = add nuw nsw i32 %194, 8
  store i32 %205, ptr %2, align 16
  %206 = load ptr, ptr %204, align 8, !tbaa !9
  %207 = icmp ult i32 %194, 33
  br i1 %207, label %208, label %214

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

214:                                              ; preds = %.thread110, %200
  %215 = phi ptr [ %199, %.thread110 ], [ %206, %200 ]
  %216 = getelementptr inbounds i8, ptr %2, i64 8
  %217 = load ptr, ptr %216, align 8
  %218 = getelementptr i8, ptr %217, i64 8
  store ptr %218, ptr %216, align 8
  br label %219

219:                                              ; preds = %214, %208
  %220 = phi ptr [ %206, %208 ], [ %215, %214 ]
  %221 = phi ptr [ %212, %208 ], [ %217, %214 ]
  %222 = load i32, ptr %221, align 4, !tbaa !5
  %223 = getelementptr inbounds i8, ptr %220, i64 96
  store i32 %222, ptr %223, align 8, !tbaa !30
  br label %611

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 i32 [ %232, %227 ], [ %225, %233 ]
  %239 = phi ptr [ %231, %227 ], [ %235, %233 ]
  %240 = load i32, ptr %239, align 4, !tbaa !5
  store i32 %240, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 408), align 8, !tbaa !31
  %241 = icmp eq i32 %240, 2
  br i1 %241, label %242, label %257

242:                                              ; preds = %237
  %243 = icmp ult i32 %238, 41
  br i1 %243, label %244, label %250

244:                                              ; preds = %242
  %245 = getelementptr inbounds i8, ptr %2, i64 16
  %246 = load ptr, ptr %245, align 16
  %247 = zext nneg i32 %238 to i64
  %248 = getelementptr i8, ptr %246, i64 %247
  %249 = add nuw nsw i32 %238, 8
  store i32 %249, ptr %2, align 16
  br label %254

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

254:                                              ; preds = %250, %244
  %255 = phi ptr [ %248, %244 ], [ %252, %250 ]
  %256 = load ptr, ptr %255, align 8, !tbaa !9
  store ptr %256, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 416), align 8, !tbaa !32
  br label %611

257:                                              ; preds = %237
  store ptr null, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 416), align 8, !tbaa !32
  br label %611

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

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

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

271:                                              ; preds = %267, %261
  %272 = phi ptr [ %265, %261 ], [ %269, %267 ]
  %273 = load ptr, ptr %272, align 8, !tbaa !9
  %274 = getelementptr inbounds i8, ptr %273, i64 44
  %275 = load i32, ptr %274, align 4, !tbaa !33
  %276 = xor i32 %275, 32
  store i32 %276, ptr %274, align 4, !tbaa !33
  br label %611

277:                                              ; preds = %1
  %278 = load i32, ptr %2, align 16
  %279 = icmp ult i32 %278, 41
  br i1 %279, label %280, label %286

280:                                              ; preds = %277
  %281 = getelementptr inbounds i8, ptr %2, i64 16
  %282 = load ptr, ptr %281, align 16
  %283 = zext nneg i32 %278 to i64
  %284 = getelementptr i8, ptr %282, i64 %283
  %285 = add nuw nsw i32 %278, 8
  store i32 %285, ptr %2, align 16
  br label %290

286:                                              ; preds = %277
  %287 = getelementptr inbounds i8, ptr %2, i64 8
  %288 = load ptr, ptr %287, align 8
  %289 = getelementptr i8, ptr %288, i64 8
  store ptr %289, ptr %287, align 8
  br label %290

290:                                              ; preds = %286, %280
  %291 = phi ptr [ %284, %280 ], [ %288, %286 ]
  %292 = load i32, ptr %291, align 4, !tbaa !5
  store i32 %292, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 16), align 8, !tbaa !34
  br label %611

293:                                              ; preds = %1
  %294 = load i32, ptr %2, align 16
  %295 = icmp ult i32 %294, 41
  br i1 %295, label %296, label %302

296:                                              ; preds = %293
  %297 = getelementptr inbounds i8, ptr %2, i64 16
  %298 = load ptr, ptr %297, align 16
  %299 = zext nneg i32 %294 to i64
  %300 = getelementptr i8, ptr %298, i64 %299
  %301 = add nuw nsw i32 %294, 8
  store i32 %301, ptr %2, align 16
  br label %306

302:                                              ; preds = %293
  %303 = getelementptr inbounds i8, ptr %2, i64 8
  %304 = load ptr, ptr %303, align 8
  %305 = getelementptr i8, ptr %304, i64 8
  store ptr %305, ptr %303, align 8
  br label %306

306:                                              ; preds = %302, %296
  %307 = phi ptr [ %300, %296 ], [ %304, %302 ]
  %308 = load i32, ptr %307, align 4, !tbaa !5
  %309 = trunc i32 %308 to i8
  store i8 %309, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 9), align 1, !tbaa !35
  br label %611

310:                                              ; preds = %1
  %311 = load i32, ptr %2, align 16
  %312 = icmp ult i32 %311, 41
  br i1 %312, label %313, label %319

313:                                              ; preds = %310
  %314 = getelementptr inbounds i8, ptr %2, i64 16
  %315 = load ptr, ptr %314, align 16
  %316 = zext nneg i32 %311 to i64
  %317 = getelementptr i8, ptr %315, i64 %316
  %318 = add nuw nsw i32 %311, 8
  store i32 %318, ptr %2, align 16
  br label %323

319:                                              ; preds = %310
  %320 = getelementptr inbounds i8, ptr %2, i64 8
  %321 = load ptr, ptr %320, align 8
  %322 = getelementptr i8, ptr %321, i64 8
  store ptr %322, ptr %320, align 8
  br label %323

323:                                              ; preds = %319, %313
  %324 = phi ptr [ %317, %313 ], [ %321, %319 ]
  %325 = load i32, ptr %324, align 4, !tbaa !5
  store i32 %325, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 424), align 8, !tbaa !36
  br label %611

326:                                              ; preds = %1
  %327 = load i32, ptr %2, align 16
  %328 = icmp ult i32 %327, 41
  br i1 %328, label %333, label %.thread111

.thread111:                                       ; preds = %326
  %329 = getelementptr inbounds i8, ptr %2, i64 8
  %330 = load ptr, ptr %329, align 8
  %331 = getelementptr i8, ptr %330, i64 8
  store ptr %331, ptr %329, align 8
  %332 = load ptr, ptr %330, align 8, !tbaa !9
  br label %347

333:                                              ; preds = %326
  %334 = getelementptr inbounds i8, ptr %2, i64 16
  %335 = load ptr, ptr %334, align 16
  %336 = zext nneg i32 %327 to i64
  %337 = getelementptr i8, ptr %335, i64 %336
  %338 = add nuw nsw i32 %327, 8
  store i32 %338, ptr %2, align 16
  %339 = load ptr, ptr %337, align 8, !tbaa !9
  %340 = icmp ult i32 %327, 33
  br i1 %340, label %341, label %347

341:                                              ; preds = %333
  %342 = getelementptr inbounds i8, ptr %2, i64 16
  %343 = load ptr, ptr %342, align 16
  %344 = zext nneg i32 %338 to i64
  %345 = getelementptr i8, ptr %343, i64 %344
  %346 = add nuw nsw i32 %327, 16
  store i32 %346, ptr %2, align 16
  br label %352

347:                                              ; preds = %.thread111, %333
  %348 = phi ptr [ %332, %.thread111 ], [ %339, %333 ]
  %349 = getelementptr inbounds i8, ptr %2, i64 8
  %350 = load ptr, ptr %349, align 8
  %351 = getelementptr i8, ptr %350, i64 8
  store ptr %351, ptr %349, align 8
  br label %352

352:                                              ; preds = %347, %341
  %353 = phi ptr [ %339, %341 ], [ %348, %347 ]
  %354 = phi ptr [ %345, %341 ], [ %350, %347 ]
  %355 = load i32, ptr %354, align 4, !tbaa !5
  %356 = getelementptr inbounds i8, ptr %353, i64 184
  store i32 %355, ptr %356, align 8, !tbaa !37
  br label %611

357:                                              ; preds = %1
  %358 = load i32, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 340), align 4, !tbaa !38
  %359 = icmp eq i32 %358, 0
  %spec.select97 = zext i1 %359 to i32
  br label %611

360:                                              ; preds = %1
  %361 = load i32, ptr %2, align 16
  %362 = icmp ult i32 %361, 41
  br i1 %362, label %363, label %369

363:                                              ; preds = %360
  %364 = getelementptr inbounds i8, ptr %2, i64 16
  %365 = load ptr, ptr %364, align 16
  %366 = zext nneg i32 %361 to i64
  %367 = getelementptr i8, ptr %365, i64 %366
  %368 = add nuw nsw i32 %361, 8
  store i32 %368, ptr %2, align 16
  br label %373

369:                                              ; preds = %360
  %370 = getelementptr inbounds i8, ptr %2, i64 8
  %371 = load ptr, ptr %370, align 8
  %372 = getelementptr i8, ptr %371, i64 8
  store ptr %372, ptr %370, align 8
  br label %373

373:                                              ; preds = %369, %363
  %374 = phi ptr [ %367, %363 ], [ %371, %369 ]
  %375 = load ptr, ptr %374, align 8, !tbaa !9
  %376 = getelementptr inbounds i8, ptr %375, i64 24
  %377 = load ptr, ptr %376, align 8, !tbaa !39
  call void @sqlite3_mutex_enter(ptr noundef %377)
  %378 = load i32, ptr %2, align 16
  %379 = icmp ult i32 %378, 41
  br i1 %379, label %380, label %386

380:                                              ; preds = %373
  %381 = getelementptr inbounds i8, ptr %2, i64 16
  %382 = load ptr, ptr %381, align 16
  %383 = zext nneg i32 %378 to i64
  %384 = getelementptr i8, ptr %382, i64 %383
  %385 = add nuw nsw i32 %378, 8
  store i32 %385, ptr %2, align 16
  br label %390

386:                                              ; preds = %373
  %387 = getelementptr inbounds i8, ptr %2, i64 8
  %388 = load ptr, ptr %387, align 8
  %389 = getelementptr i8, ptr %388, i64 8
  store ptr %389, ptr %387, align 8
  br label %390

390:                                              ; preds = %386, %380
  %391 = phi ptr [ %384, %380 ], [ %388, %386 ]
  %392 = load ptr, ptr %391, align 8, !tbaa !9
  %393 = call i32 @sqlite3FindDbName(ptr noundef nonnull %375, ptr noundef %392)
  %394 = icmp sgt i32 %393, -1
  br i1 %394, label %395, label %439

395:                                              ; preds = %390
  %396 = trunc i32 %393 to i8
  %397 = getelementptr inbounds i8, ptr %375, i64 192
  %398 = getelementptr inbounds i8, ptr %375, i64 196
  store i8 %396, ptr %398, align 4, !tbaa !40
  %399 = load i32, ptr %2, align 16
  %400 = icmp ult i32 %399, 41
  br i1 %400, label %401, label %407

401:                                              ; preds = %395
  %402 = getelementptr inbounds i8, ptr %2, i64 16
  %403 = load ptr, ptr %402, align 16
  %404 = zext nneg i32 %399 to i64
  %405 = getelementptr i8, ptr %403, i64 %404
  %406 = add nuw nsw i32 %399, 8
  store i32 %406, ptr %2, align 16
  br label %411

407:                                              ; preds = %395
  %408 = getelementptr inbounds i8, ptr %2, i64 8
  %409 = load ptr, ptr %408, align 8
  %410 = getelementptr i8, ptr %409, i64 8
  store ptr %410, ptr %408, align 8
  br label %411

411:                                              ; preds = %407, %401
  %412 = phi i32 [ %406, %401 ], [ %399, %407 ]
  %413 = phi ptr [ %405, %401 ], [ %409, %407 ]
  %414 = load i32, ptr %413, align 4, !tbaa !5
  %415 = getelementptr inbounds i8, ptr %375, i64 198
  %416 = trunc i32 %414 to i8
  %417 = load i8, ptr %415, align 2
  %418 = and i8 %416, 1
  %419 = shl nuw nsw i8 %418, 1
  %420 = and i8 %417, -3
  %421 = or disjoint i8 %419, %420
  store i8 %421, ptr %415, align 2
  %422 = getelementptr inbounds i8, ptr %375, i64 197
  store i8 %418, ptr %422, align 1, !tbaa !41
  %423 = icmp ult i32 %412, 41
  br i1 %423, label %424, label %430

424:                                              ; preds = %411
  %425 = getelementptr inbounds i8, ptr %2, i64 16
  %426 = load ptr, ptr %425, align 16
  %427 = zext nneg i32 %412 to i64
  %428 = getelementptr i8, ptr %426, i64 %427
  %429 = add nuw nsw i32 %412, 8
  store i32 %429, ptr %2, align 16
  br label %434

430:                                              ; preds = %411
  %431 = getelementptr inbounds i8, ptr %2, i64 8
  %432 = load ptr, ptr %431, align 8
  %433 = getelementptr i8, ptr %432, i64 8
  store ptr %433, ptr %431, align 8
  br label %434

434:                                              ; preds = %430, %424
  %435 = phi ptr [ %428, %424 ], [ %432, %430 ]
  %436 = load i32, ptr %435, align 4, !tbaa !5
  store i32 %436, ptr %397, align 8, !tbaa !42
  %437 = icmp ne i8 %418, 0
  %.not = icmp eq i32 %436, 0
  %or.cond = select i1 %437, i1 true, i1 %.not
  br i1 %or.cond, label %439, label %438

438:                                              ; preds = %434
  call void @sqlite3ResetAllSchemasOfConnection(ptr noundef nonnull %375)
  br label %439

439:                                              ; preds = %434, %438, %390
  %440 = load ptr, ptr %376, align 8, !tbaa !39
  call void @sqlite3_mutex_leave(ptr noundef %440)
  br label %611

441:                                              ; preds = %1
  %442 = load i32, ptr %2, align 16
  %443 = icmp ult i32 %442, 41
  br i1 %443, label %444, label %450

444:                                              ; preds = %441
  %445 = getelementptr inbounds i8, ptr %2, i64 16
  %446 = load ptr, ptr %445, align 16
  %447 = zext nneg i32 %442 to i64
  %448 = getelementptr i8, ptr %446, i64 %447
  %449 = add nuw nsw i32 %442, 8
  store i32 %449, ptr %2, align 16
  br label %454

450:                                              ; preds = %441
  %451 = getelementptr inbounds i8, ptr %2, i64 8
  %452 = load ptr, ptr %451, align 8
  %453 = getelementptr i8, ptr %452, i64 8
  store ptr %453, ptr %451, align 8
  br label %454

454:                                              ; preds = %450, %444
  %455 = phi ptr [ %448, %444 ], [ %452, %450 ]
  %456 = load ptr, ptr %455, align 8, !tbaa !9
  call void @sqlite3ResultIntReal(ptr noundef %456)
  br label %611

457:                                              ; preds = %1
  %458 = load i32, ptr %2, align 16
  %459 = icmp ult i32 %458, 41
  br i1 %459, label %463, label %.thread112

.thread112:                                       ; preds = %457
  %460 = getelementptr inbounds i8, ptr %2, i64 8
  %461 = load ptr, ptr %460, align 8
  %462 = getelementptr i8, ptr %461, i64 8
  store ptr %462, ptr %460, align 8
  br label %472

463:                                              ; preds = %457
  %464 = add nuw nsw i32 %458, 8
  store i32 %464, ptr %2, align 16
  %465 = icmp ult i32 %458, 33
  br i1 %465, label %466, label %472

466:                                              ; preds = %463
  %467 = getelementptr inbounds i8, ptr %2, i64 16
  %468 = load ptr, ptr %467, align 16
  %469 = zext nneg i32 %464 to i64
  %470 = getelementptr i8, ptr %468, i64 %469
  %471 = add nuw nsw i32 %458, 16
  store i32 %471, ptr %2, align 16
  br label %476

472:                                              ; preds = %.thread112, %463
  %473 = getelementptr inbounds i8, ptr %2, i64 8
  %474 = load ptr, ptr %473, align 8
  %475 = getelementptr i8, ptr %474, i64 8
  store ptr %475, ptr %473, align 8
  br label %476

476:                                              ; preds = %472, %466
  %477 = phi ptr [ %470, %466 ], [ %474, %472 ]
  %478 = load ptr, ptr %477, align 8, !tbaa !9
  store i64 0, ptr %478, align 8, !tbaa !43
  br label %611

479:                                              ; preds = %1
  %480 = load i32, ptr %2, align 16
  %481 = icmp ult i32 %480, 41
  br i1 %481, label %486, label %.thread113

.thread113:                                       ; preds = %479
  %482 = getelementptr inbounds i8, ptr %2, i64 8
  %483 = load ptr, ptr %482, align 8
  %484 = getelementptr i8, ptr %483, i64 8
  store ptr %484, ptr %482, align 8
  %485 = load i32, ptr %483, align 4, !tbaa !5
  br label %500

486:                                              ; preds = %479
  %487 = getelementptr inbounds i8, ptr %2, i64 16
  %488 = load ptr, ptr %487, align 16
  %489 = zext nneg i32 %480 to i64
  %490 = getelementptr i8, ptr %488, i64 %489
  %491 = add nuw nsw i32 %480, 8
  store i32 %491, ptr %2, align 16
  %492 = load i32, ptr %490, align 4, !tbaa !5
  %493 = icmp ult i32 %480, 33
  br i1 %493, label %494, label %500

494:                                              ; preds = %486
  %495 = getelementptr inbounds i8, ptr %2, i64 16
  %496 = load ptr, ptr %495, align 16
  %497 = zext nneg i32 %491 to i64
  %498 = getelementptr i8, ptr %496, i64 %497
  %499 = add nuw nsw i32 %480, 16
  store i32 %499, ptr %2, align 16
  br label %505

500:                                              ; preds = %.thread113, %486
  %501 = phi i32 [ %485, %.thread113 ], [ %492, %486 ]
  %502 = getelementptr inbounds i8, ptr %2, i64 8
  %503 = load ptr, ptr %502, align 8
  %504 = getelementptr i8, ptr %503, i64 8
  store ptr %504, ptr %502, align 8
  br label %505

505:                                              ; preds = %500, %494
  %506 = phi i32 [ %492, %494 ], [ %501, %500 ]
  %507 = phi ptr [ %498, %494 ], [ %503, %500 ]
  %508 = load ptr, ptr %507, align 8, !tbaa !9
  switch i32 %506, label %611 [
    i32 0, label %509
    i32 1, label %511
    i32 2, label %513
    i32 3, label %515
  ]

509:                                              ; preds = %505
  %510 = load i32, ptr @sqlite3TreeTrace, align 4, !tbaa !5
  store i32 %510, ptr %508, align 4, !tbaa !5
  br label %611

511:                                              ; preds = %505
  %512 = load i32, ptr %508, align 4, !tbaa !5
  store i32 %512, ptr @sqlite3TreeTrace, align 4, !tbaa !5
  br label %611

513:                                              ; preds = %505
  %514 = load i32, ptr @sqlite3WhereTrace, align 4, !tbaa !5
  store i32 %514, ptr %508, align 4, !tbaa !5
  br label %611

515:                                              ; preds = %505
  %516 = load i32, ptr %508, align 4, !tbaa !5
  store i32 %516, ptr @sqlite3WhereTrace, align 4, !tbaa !5
  br label %611

517:                                              ; preds = %1
  %518 = getelementptr inbounds i8, ptr %2, i64 4
  %519 = load i32, ptr %518, align 4
  %520 = icmp ult i32 %519, 161
  br i1 %520, label %521, label %527

521:                                              ; preds = %517
  %522 = getelementptr inbounds i8, ptr %2, i64 16
  %523 = load ptr, ptr %522, align 16
  %524 = zext nneg i32 %519 to i64
  %525 = getelementptr i8, ptr %523, i64 %524
  %526 = add nuw nsw i32 %519, 16
  store i32 %526, ptr %518, align 4
  br label %531

527:                                              ; preds = %517
  %528 = getelementptr inbounds i8, ptr %2, i64 8
  %529 = load ptr, ptr %528, align 8
  %530 = getelementptr i8, ptr %529, i64 8
  store ptr %530, ptr %528, align 8
  br label %531

531:                                              ; preds = %527, %521
  %532 = phi ptr [ %525, %521 ], [ %529, %527 ]
  %533 = load double, ptr %532, align 8, !tbaa !44
  %534 = call signext i16 @sqlite3LogEstFromDouble(double noundef %533)
  %535 = load i32, ptr %2, align 16
  %536 = icmp ult i32 %535, 41
  br i1 %536, label %541, label %.thread114

.thread114:                                       ; preds = %531
  %537 = getelementptr inbounds i8, ptr %2, i64 8
  %538 = load ptr, ptr %537, align 8
  %539 = getelementptr i8, ptr %538, i64 8
  store ptr %539, ptr %537, align 8
  %540 = load ptr, ptr %538, align 8, !tbaa !9
  br label %.thread117

541:                                              ; preds = %531
  %542 = getelementptr inbounds i8, ptr %2, i64 16
  %543 = load ptr, ptr %542, align 16
  %544 = zext nneg i32 %535 to i64
  %545 = getelementptr i8, ptr %543, i64 %544
  %546 = add nuw nsw i32 %535, 8
  store i32 %546, ptr %2, align 16
  %547 = load ptr, ptr %545, align 8, !tbaa !9
  %548 = icmp ult i32 %535, 33
  br i1 %548, label %554, label %.thread117

.thread117:                                       ; preds = %541, %.thread114
  %549 = phi ptr [ %540, %.thread114 ], [ %547, %541 ]
  %550 = getelementptr inbounds i8, ptr %2, i64 8
  %551 = load ptr, ptr %550, align 8
  %552 = getelementptr i8, ptr %551, i64 8
  store ptr %552, ptr %550, align 8
  %553 = load ptr, ptr %551, align 8, !tbaa !9
  br label %568

554:                                              ; preds = %541
  %555 = getelementptr inbounds i8, ptr %2, i64 16
  %556 = load ptr, ptr %555, align 16
  %557 = zext nneg i32 %546 to i64
  %558 = getelementptr i8, ptr %556, i64 %557
  %559 = add nuw nsw i32 %535, 16
  store i32 %559, ptr %2, align 16
  %560 = load ptr, ptr %558, align 8, !tbaa !9
  %561 = icmp ult i32 %535, 25
  br i1 %561, label %562, label %568

562:                                              ; preds = %554
  %563 = getelementptr inbounds i8, ptr %2, i64 16
  %564 = load ptr, ptr %563, align 16
  %565 = zext nneg i32 %559 to i64
  %566 = getelementptr i8, ptr %564, i64 %565
  %567 = add nuw nsw i32 %535, 24
  store i32 %567, ptr %2, align 16
  br label %574

568:                                              ; preds = %.thread117, %554
  %569 = phi ptr [ %553, %.thread117 ], [ %560, %554 ]
  %570 = phi ptr [ %549, %.thread117 ], [ %547, %554 ]
  %571 = getelementptr inbounds i8, ptr %2, i64 8
  %572 = load ptr, ptr %571, align 8
  %573 = getelementptr i8, ptr %572, i64 8
  store ptr %573, ptr %571, align 8
  br label %574

574:                                              ; preds = %568, %562
  %575 = phi ptr [ %560, %562 ], [ %569, %568 ]
  %576 = phi ptr [ %547, %562 ], [ %570, %568 ]
  %577 = phi ptr [ %566, %562 ], [ %572, %568 ]
  %578 = load ptr, ptr %577, align 8, !tbaa !9
  %579 = sext i16 %534 to i32
  store i32 %579, ptr %576, align 4, !tbaa !5
  %580 = call i64 @sqlite3LogEstToInt(i16 noundef signext %534)
  store i64 %580, ptr %575, align 8, !tbaa !43
  %581 = call signext i16 @sqlite3LogEst(i64 noundef %580)
  %582 = sext i16 %581 to i32
  store i32 %582, ptr %578, align 4, !tbaa !5
  br label %611

583:                                              ; preds = %1
  %584 = load i32, ptr %2, align 16
  %585 = icmp ult i32 %584, 41
  br i1 %585, label %586, label %592

586:                                              ; preds = %583
  %587 = getelementptr inbounds i8, ptr %2, i64 16
  %588 = load ptr, ptr %587, align 16
  %589 = zext nneg i32 %584 to i64
  %590 = getelementptr i8, ptr %588, i64 %589
  %591 = add nuw nsw i32 %584, 8
  store i32 %591, ptr %2, align 16
  br label %596

592:                                              ; preds = %583
  %593 = getelementptr inbounds i8, ptr %2, i64 8
  %594 = load ptr, ptr %593, align 8
  %595 = getelementptr i8, ptr %594, i64 8
  store ptr %595, ptr %593, align 8
  br label %596

596:                                              ; preds = %592, %586
  %597 = phi ptr [ %590, %586 ], [ %594, %592 ]
  %598 = load i32, ptr %597, align 4, !tbaa !5
  %599 = icmp sgt i32 %598, 1
  br i1 %599, label %600, label %602

600:                                              ; preds = %596
  %601 = call i32 @hasHighPrecisionDouble(i32 noundef %598)
  br label %602

602:                                              ; preds = %600, %596
  %.0 = phi i32 [ %601, %600 ], [ %598, %596 ]
  %603 = icmp sgt i32 %.0, -1
  br i1 %603, label %605, label %._crit_edge

._crit_edge:                                      ; preds = %602
  %.pre = load i8, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 10), align 2, !tbaa !46
  %604 = icmp ne i8 %.pre, 0
  br label %608

605:                                              ; preds = %602
  %606 = icmp ne i32 %.0, 0
  %607 = zext i1 %606 to i8
  store i8 %607, ptr getelementptr inbounds (i8, ptr @sqlite3Config, i64 10), align 2, !tbaa !46
  br label %608

608:                                              ; preds = %._crit_edge, %605
  %609 = phi i1 [ %604, %._crit_edge ], [ %606, %605 ]
  %610 = zext i1 %609 to i32
  br label %611

611:                                              ; preds = %357, %505, %509, %511, %513, %515, %171, %174, %75, %77, %254, %257, %608, %574, %476, %454, %439, %352, %323, %306, %290, %271, %219, %192, %189, %175, %153, %123, %105, %42, %5, %4, %1
  %.051 = phi i32 [ 0, %1 ], [ 0, %574 ], [ 0, %476 ], [ 0, %454 ], [ 0, %439 ], [ 0, %352 ], [ %610, %608 ], [ 0, %323 ], [ 0, %306 ], [ 0, %290 ], [ 0, %271 ], [ 0, %254 ], [ 0, %257 ], [ 0, %219 ], [ 123410, %192 ], [ %191, %189 ], [ %.0..0..0..0.35, %175 ], [ 0, %153 ], [ %126, %123 ], [ %109, %105 ], [ 0, %42 ], [ 0, %5 ], [ 0, %4 ], [ 0, %77 ], [ 0, %75 ], [ %158, %174 ], [ %158, %171 ], [ %spec.select97, %357 ], [ 0, %515 ], [ 0, %513 ], [ 0, %511 ], [ 0, %509 ], [ 0, %505 ]
  call void @llvm.va_end.p0(ptr nonnull %2)
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %2) #4
  ret i32 %.051
}

; 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

; Function Attrs: nounwind uwtable
declare hidden signext i16 @sqlite3LogEstFromDouble(double noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare hidden i64 @sqlite3LogEstToInt(i16 noundef signext) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare hidden signext i16 @sqlite3LogEst(i64 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 = { noinline nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { 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, !6, i64 92, !6, i64 96, !7, i64 100, !7, i64 101, !7, i64 102, !7, i64 103, !7, i64 104, !7, i64 105, !7, i64 106, !7, i64 107, !7, i64 108, !7, i64 109, !7, i64 110, !7, i64 111, !7, i64 112, !7, i64 113, !6, i64 116, !13, i64 120, !13, i64 128, !7, i64 136, !6, i64 184, !14, i64 192, !6, i64 208, !6, i64 212, !6, i64 216, !6, i64 220, !6, i64 224, !6, i64 228, !10, i64 232, !7, 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, !10, i64 360, !10, i64 368, !10, i64 376, !10, i64 384, !10, i64 392, !7, i64 400, !15, i64 408, !10, i64 504, !10, i64 512, !10, i64 520, !10, i64 528, !6, i64 536, !6, i64 540, !17, i64 544, !10, i64 568, !10, i64 576, !10, i64 584, !17, i64 592, !17, i64 616, !18, i64 640, !7, i64 664, !10, i64 728, !6, i64 736, !6, i64 740, !6, i64 744, !6, i64 748, !13, i64 752, !13, i64 760, !10, i64 768, !10, i64 776}
!13 = !{!"long long", !7, i64 0}
!14 = !{!"sqlite3InitInfo", !6, i64 0, !7, i64 4, !7, i64 5, !6, i64 6, !6, i64 6, !6, i64 6, !10, i64 8}
!15 = !{!"Lookaside", !6, i64 0, !16, i64 4, !16, 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, !10, i64 88}
!16 = !{!"short", !7, i64 0}
!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, !16, i64 114, !6, i64 116}
!23 = !{!24, !6, i64 432}
!24 = !{!"Sqlite3Config", !6, i64 0, !7, i64 4, !7, i64 5, !7, i64 6, !7, i64 7, !7, i64 8, !7, i64 9, !7, i64 10, !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, !13, i64 392, !10, i64 400, !6, i64 408, !10, i64 416, !6, i64 424, !6, i64 428, !6, i64 432}
!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 = !{!12, !13, i64 48}
!29 = !{!24, !10, i64 400}
!30 = !{!12, !6, i64 96}
!31 = !{!24, !6, i64 408}
!32 = !{!24, !10, i64 416}
!33 = !{!12, !6, i64 44}
!34 = !{!24, !6, i64 16}
!35 = !{!24, !7, i64 9}
!36 = !{!24, !6, i64 424}
!37 = !{!12, !6, i64 184}
!38 = !{!24, !6, i64 340}
!39 = !{!12, !10, i64 24}
!40 = !{!12, !7, i64 196}
!41 = !{!12, !7, i64 197}
!42 = !{!12, !6, i64 192}
!43 = !{!13, !13, i64 0}
!44 = !{!45, !45, i64 0}
!45 = !{!"double", !7, i64 0}
!46 = !{!24, !7, i64 10}


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