verifyDbFile_pre_opt

; Function Attrs: noinline nounwind optnone uwtable
define internal fastcc void @verifyDbFile(%struct.unixFile* nocapture readonly %pFile) unnamed_addr #3 !dbg !40860 !type !40865 !type !5953 {
entry:
  %buf.i = alloca %struct.stat64, align 8
  call void @llvm.dbg.declare(metadata %struct.stat64* %buf.i, metadata !39582, metadata !DIExpression()), !dbg !40866
  %buf = alloca %struct.stat64, align 8
  call void @llvm.dbg.value(metadata %struct.unixFile* %pFile, metadata !40862, metadata !DIExpression()), !dbg !40869
  %0 = bitcast %struct.stat64* %buf to i8*, !dbg !40870
  call void @llvm.lifetime.start.p0i8(i64 144, i8* nonnull %0) #21, !dbg !40870
  call void @llvm.dbg.declare(metadata %struct.stat64* %buf, metadata !40863, metadata !DIExpression()), !dbg !40871
  %ctrlFlags = getelementptr inbounds %struct.unixFile, %struct.unixFile* %pFile, i64 0, i32 5, !dbg !40872
  %1 = load i16, i16* %ctrlFlags, align 2, !dbg !40872, !tbaa !11111
  %2 = trunc i16 %1 to i8, !dbg !40874
  %tobool = icmp slt i8 %2, 0, !dbg !40874
  br i1 %tobool, label %cleanup, label %if.end, !dbg !40875

if.end:                                           ; preds = %entry
  %3 = load i32 (i32, %struct.stat64*)*, i32 (i32, %struct.stat64*)** bitcast (void ()** getelementptr inbounds ([28 x %struct.unix_syscall], [28 x %struct.unix_syscall]* @aSyscall, i64 0, i64 5, i32 1) to i32 (i32, %struct.stat64*)**), align 8, !dbg !40876, !tbaa !10796
  %4 = bitcast i32 (i32, %struct.stat64*)* %3 to i8*, !dbg !40876, !nosanitize !3588
  %5 = ptrtoint i8* %4 to i64, !dbg !40876
  call void @__trace(i64 %5), !dbg !40876
  br i1 false, label %cont, label %trap, !dbg !40876, !nosanitize !3588

trap:                                             ; preds = %if.end
  tail call void @llvm.trap() #26, !dbg !40876, !nosanitize !3588
  unreachable, !dbg !40876, !nosanitize !3588

cont:                                             ; preds = %if.end
  %h = getelementptr inbounds %struct.unixFile, %struct.unixFile* %pFile, i64 0, i32 3, !dbg !40877
  %6 = load i32, i32* %h, align 8, !dbg !40877, !tbaa !11101
  %call = call i32 %3(i32 %6, %struct.stat64* nonnull %buf) #21, !dbg !40876
  call void @llvm.dbg.value(metadata i32 %call, metadata !40864, metadata !DIExpression()), !dbg !40869
  %cmp = icmp eq i32 %call, 0, !dbg !40878
  br i1 %cmp, label %if.end3, label %if.then2, !dbg !40880

if.then2:                                         ; preds = %cont
  %zPath = getelementptr inbounds %struct.unixFile, %struct.unixFile* %pFile, i64 0, i32 9, !dbg !40881
  %7 = load i8*, i8** %zPath, align 8, !dbg !40881, !tbaa !11107
  call void (i32, i8*, ...) @sqlite3_log(i32 28, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.36, i64 0, i64 0), i8* %7), !dbg !40883
  br label %cleanup, !dbg !40884

if.end3:                                          ; preds = %cont
  %st_nlink = getelementptr inbounds %struct.stat64, %struct.stat64* %buf, i64 0, i32 2, !dbg !40885
  %8 = load i64, i64* %st_nlink, align 8, !dbg !40885, !tbaa !40887
  switch i64 %8, label %if.then12 [
    i64 0, label %if.then6
    i64 1, label %if.end14
  ], !dbg !40888

if.then6:                                         ; preds = %if.end3
 %zPath7 = getelementptr inbounds %struct.unixFile, %struct.unixFile* %pFile, i64 0, i32 9, !dbg !40889
  %9 = load i8*, i8** %zPath7, align 8, !dbg !40889, !tbaa !11107
  call void (i32, i8*, ...) @sqlite3_log(i32 28, i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.37, i64 0, i64 0), i8* %9), !dbg !40891
  br label %cleanup, !dbg !40892

if.then12:                                        ; preds = %if.end3
  %zPath13 = getelementptr inbounds %struct.unixFile, %struct.unixFile* %pFile, i64 0, i32 9, !dbg !40893
  %10 = load i8*, i8** %zPath13, align 8, !dbg !40893, !tbaa !11107
  call void (i32, i8*, ...) @sqlite3_log(i32 28, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.38, i64 0, i64 0), i8* %10), !dbg !40896
  br label %cleanup, !dbg !40897

if.end14:                                         ; preds = %if.end3
  call void @llvm.dbg.value(metadata %struct.unixFile* %pFile, metadata !39587, metadata !DIExpression()) #21, !dbg !40898
  %11 = bitcast %struct.stat64* %buf.i to i8*, !dbg !40899
  call void @llvm.lifetime.start.p0i8(i64 144, i8* nonnull %11) #21, !dbg !40899
  %pInode.i = getelementptr inbounds %struct.unixFile, %struct.unixFile* %pFile, i64 0, i32 2, !dbg !40900
  %12 = load %struct.unixInodeInfo*, %struct.unixInodeInfo** %pInode.i, align 8, !dbg !40900, !tbaa !38206
  %cmp.i = icmp eq %struct.unixInodeInfo* %12, null, !dbg !40901
  br i1 %cmp.i, label %fileHasMoved.exit.thread, label %land.rhs.i, !dbg !40902

fileHasMoved.exit.thread:                         ; preds = %if.end14
  call void @llvm.lifetime.end.p0i8(i64 144, i8* nonnull %11) #21, !dbg !40903
  br label %cleanup, !dbg !40904

land.rhs.i:                                       ; preds = %if.end14
  %13 = load i32 (i8*, %struct.stat64*)*, i32 (i8*, %struct.stat64*)** bitcast (void ()** getelementptr inbounds ([28 x %struct.unix_syscall], [28 x %struct.unix_syscall]* @aSyscall, i64 0, i64 4, i32 1) to i32 (i8*, %struct.stat64*)**), align 8, !dbg !40905, !tbaa !10796
  %14 = bitcast i32 (i8*, %struct.stat64*)* %13 to i8*, !dbg !40905, !nosanitize !3588
  %15 = ptrtoint i8* %14 to i64, !dbg !40905
  call void @__trace(i64 %15), !dbg !40905
  br i1 false, label %cont.i, label %trap.i, !dbg !40905, !nosanitize !3588

trap.i:                                           ; preds = %land.rhs.i
  call void @llvm.trap() #26, !dbg !40905, !nosanitize !3588
  unreachable, !dbg !40905, !nosanitize !3588

cont.i:                                           ; preds = %land.rhs.i
  %zPath.i = getelementptr inbounds %struct.unixFile, %struct.unixFile* %pFile, i64 0, i32 9, !dbg !40906
  %16 = load i8*, i8** %zPath.i, align 8, !dbg !40906, !tbaa !11107
  %call.i = call i32 %13(i8* %16, %struct.stat64* nonnull %buf.i) #21, !dbg !40905
  %cmp1.i = icmp eq i32 %call.i, 0, !dbg !40907
  br i1 %cmp1.i, label %fileHasMoved.exit, label %fileHasMoved.exit.thread28, !dbg !40908

fileHasMoved.exit.thread28:                       ; preds = %cont.i
  call void @llvm.lifetime.end.p0i8(i64 144, i8* nonnull %11) #21, !dbg !40903
  br label %if.then17, !dbg !40904

fileHasMoved.exit:                                ; preds = %cont.i
  %st_ino.i = getelementptr inbounds %struct.stat64, %struct.stat64* %buf.i, i64 0, i32 1, !dbg !40909
  %17 = load i64, i64* %st_ino.i, align 8, !dbg !40909, !tbaa !39820
  %18 = load %struct.unixInodeInfo*, %struct.unixInodeInfo** %pInode.i, align 8, !dbg !40910, !tbaa !38206
  %ino.i = getelementptr inbounds %struct.unixInodeInfo, %struct.unixInodeInfo* %18, i64 0, i32 0, i32 1, !dbg !40911
  %19 = load i64, i64* %ino.i, align 8, !dbg !40911, !tbaa !10833
  %cmp3.i = icmp eq i64 %17, %19, !dbg !40912
  call void @llvm.lifetime.end.p0i8(i64 144, i8* nonnull %11) #21, !dbg !40903
  br i1 %cmp3.i, label %cleanup, label %if.then17, !dbg !40904

if.then17:                                        ; preds = %fileHasMoved.exit, %fileHasMoved.exit.thread28
  %20 = load i8*, i8** %zPath.i, align 8, !dbg !40913, !tbaa !11107
  call void (i32, i8*, ...) @sqlite3_log(i32 28, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.39, i64 0, i64 0), i8* %20), !dbg !40915
  br label %cleanup, !dbg !40916

cleanup:                                          ; preds = %if.then17, %fileHasMoved.exit, %fileHasMoved.exit.thread, %if.then12, %if.then6, %if.then2, %entry
  call void @llvm.lifetime.end.p0i8(i64 144, i8* nonnull %0) #21, !dbg !40917
  ret void, !dbg !40917
}