; LLVM IR from rdguez-mariano/fast_imas_IPOL :: io_png/libs/png (pngtest)

; 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.png_struct_def = type { [1 x %struct.__jmp_buf_tag], ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i8, i8, i64, i64, i64, %struct.z_stream_s, ptr, i64, i32, i32, i32, i32, i32, i64, i64, i64, i64, i64, i64, i64, i64, ptr, ptr, ptr, ptr, ptr, ptr, %struct.png_row_info_struct, i64, i64, ptr, i16, i16, [5 x i8], i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i16, i8, float, %struct.png_color_16_struct, %struct.png_color_16_struct, ptr, i64, i64, i32, float, float, ptr, ptr, ptr, ptr, ptr, ptr, %struct.png_color_8_struct, %struct.png_color_8_struct, ptr, %struct.png_color_16_struct, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i64, i64, i64, i64, i64, i64, i32, i32, i64, i64, ptr, ptr, ptr, ptr, ptr, i8, i8, ptr, ptr, ptr, ptr, ptr, ptr, i64, ptr, ptr, i32, ptr, i8, i16, i16, i16, i64, i64, i8, i8, i64, i64, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i8, i64, i64, %struct.png_unknown_chunk_t, i64, i64, ptr }
%struct.__jmp_buf_tag = type { [8 x i64], i32, %struct.__sigset_t }
%struct.__sigset_t = type { [16 x i64] }
%struct.z_stream_s = type { ptr, i32, i64, ptr, i32, i64, ptr, ptr, ptr, ptr, ptr, i32, i64, i64 }
%struct.png_row_info_struct = type { i64, i64, i8, i8, i8, i8 }
%struct.png_color_8_struct = type { i8, i8, i8, i8, i8 }
%struct.png_color_16_struct = type { i8, i16, i16, i16, i16 }
%struct.png_unknown_chunk_t = type { [5 x i8], ptr, i64, i8 }
%struct.png_info_struct = type { i64, i64, i64, i64, ptr, i16, i16, i8, i8, i8, i8, i8, i8, i8, i8, [8 x i8], float, i8, i32, i32, ptr, %struct.png_time_struct, %struct.png_color_8_struct, ptr, %struct.png_color_16_struct, %struct.png_color_16_struct, i64, i64, i8, i64, i64, i8, ptr, float, float, float, float, float, float, float, float, ptr, i64, i64, ptr, ptr, i8, i8, i64, ptr, i64, ptr, ptr, i64, i8, ptr, i64, i8, double, double, ptr, ptr, ptr, i64, i64, i64, i64, i64, i64, i64, i64, i64 }
%struct.png_time_struct = type { i16, i8, i8, i8, i8, i8 }

@stdout = external global ptr, align 8
@filters_used = external hidden global [256 x i64], align 16
@zero_samples = external hidden global i64, align 8
@test_one_file.fpin = external hidden global ptr, align 8
@test_one_file.fpout = external hidden global ptr, align 8
@.str.4 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [7 x i8], align 1
@user_chunk_data = external hidden global [4 x i64], align 16
@.str.9 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [30 x i8], align 1
@status_dots_requested = external hidden global i32, align 4
@tIME_string = external hidden global [29 x i8], align 16
@tIME_chunk_present = external hidden global i32, align 4
@__const.test_one_file.png_sTER = external hidden unnamed_addr constant [5 x i8], align 1
@verbose = external hidden global i32, align 4
@.str.11 = external hidden unnamed_addr constant [21 x i8], align 1
@__const.test_one_file.png_vpAg = external hidden unnamed_addr constant [5 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [42 x i8], align 1
@wrote_question = external hidden global i32, align 4
@.str.16 = external hidden unnamed_addr constant [68 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [54 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [32 x i8], align 1

; Function Attrs: nounwind uwtable
declare dso_local void @read_row_callback(ptr noundef, i64 noundef, i32 noundef) #0

; Function Attrs: nounwind
declare i32 @fprintf(ptr noundef, ptr noundef, ...) #1

; Function Attrs: nounwind uwtable
declare dso_local void @write_row_callback(ptr noundef, i64 noundef, i32 noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local void @count_filters(ptr noundef, ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local void @count_zero_samples(ptr noundef, ptr noundef, ptr noundef) #0

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

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

; Function Attrs: nounwind uwtable
define dso_local i32 @test_one_file(ptr noundef %0, ptr noundef %1) #0 {
  %3 = alloca i32, align 4
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca i64, align 8
  %14 = alloca i64, align 8
  %15 = alloca i64, align 8
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca [256 x i8], align 16
  %21 = alloca [256 x i8], align 16
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i64, align 8
  %28 = alloca i64, align 8
  %29 = alloca i64, align 8
  %30 = alloca i64, align 8
  %31 = alloca i64, align 8
  %32 = alloca i64, align 8
  %33 = alloca i64, align 8
  %34 = alloca i64, align 8
  %35 = alloca i64, align 8
  %36 = alloca ptr, align 8
  %37 = alloca ptr, align 8
  %38 = alloca i64, align 8
  %39 = alloca i32, align 4
  %40 = alloca i32, align 4
  %41 = alloca ptr, align 8
  %42 = alloca i32, align 4
  %43 = alloca ptr, align 8
  %44 = alloca ptr, align 8
  %45 = alloca i64, align 8
  %46 = alloca i64, align 8
  %47 = alloca i32, align 4
  %48 = alloca ptr, align 8
  %49 = alloca ptr, align 8
  %50 = alloca ptr, align 8
  %51 = alloca i64, align 8
  %52 = alloca i64, align 8
  %53 = alloca i32, align 4
  %54 = alloca i32, align 4
  %55 = alloca i64, align 8
  %56 = alloca i64, align 8
  %57 = alloca i32, align 4
  %58 = alloca ptr, align 8
  %59 = alloca i32, align 4
  %60 = alloca double, align 8
  %61 = alloca double, align 8
  %62 = alloca ptr, align 8
  %63 = alloca i32, align 4
  %64 = alloca ptr, align 8
  %65 = alloca ptr, align 8
  %66 = alloca i32, align 4
  %67 = alloca ptr, align 8
  %68 = alloca i32, align 4
  %69 = alloca ptr, align 8
  %70 = alloca i32, align 4
  %71 = alloca i64, align 8
  %72 = alloca [5 x i8], align 1
  %73 = alloca [1 x i8], align 1
  %74 = alloca [5 x i8], align 1
  %75 = alloca [9 x i8], align 1
  %76 = alloca ptr, align 8
  %77 = alloca i32, align 4
  %78 = alloca ptr, align 8
  %79 = alloca ptr, align 8
  %80 = alloca i32, align 4
  %81 = alloca i64, align 8
  %82 = alloca i64, align 8
  %83 = alloca i64, align 8
  %84 = alloca i64, align 8
  %85 = alloca i64, align 8
  store ptr %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #7
  call void @llvm.lifetime.start.p0(i64 256, ptr %20) #7
  call void @llvm.lifetime.start.p0(i64 256, ptr %21) #7
  store ptr null, ptr %12, align 8, !tbaa !5
  %86 = load ptr, ptr %4, align 8, !tbaa !5
  %87 = call noalias ptr @fopen(ptr noundef %86, ptr noundef @.str.4)
  store ptr %87, ptr @test_one_file.fpin, align 8, !tbaa !5
  %88 = icmp eq ptr %87, null
  br i1 %88, label %89, label %93

89:                                               ; preds = %2
  %90 = load ptr, ptr @stdout, align 8, !tbaa !5
  %91 = load ptr, ptr %4, align 8, !tbaa !5
  %92 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %90, ptr noundef @.str.5, ptr noundef %91) #7
  store i32 1, ptr %3, align 4
  store i32 1, ptr %22, align 4
  br label %688

93:                                               ; preds = %2
  %94 = load ptr, ptr %5, align 8, !tbaa !5
  %95 = call noalias ptr @fopen(ptr noundef %94, ptr noundef @.str.6)
  store ptr %95, ptr @test_one_file.fpout, align 8, !tbaa !5
  %96 = icmp eq ptr %95, null
  br i1 %96, label %97, label %103

97:                                               ; preds = %93
  %98 = load ptr, ptr @stdout, align 8, !tbaa !5
  %99 = load ptr, ptr %5, align 8, !tbaa !5
  %100 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %98, ptr noundef @.str.7, ptr noundef %99) #7
  %101 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %102 = call i32 @fclose(ptr noundef %101)
  store i32 1, ptr %3, align 4
  store i32 1, ptr %22, align 4
  br label %688

103:                                              ; preds = %93
  %104 = call ptr @png_create_read_struct(ptr noundef @.str.8, ptr noundef null, ptr noundef null, ptr noundef null)
  store ptr %104, ptr %6, align 8, !tbaa !5
  store i64 0, ptr @user_chunk_data, align 16, !tbaa !9
  store i64 0, ptr getelementptr inbounds ([4 x i64], ptr @user_chunk_data, i64 0, i64 1), align 8, !tbaa !9
  store i64 0, ptr getelementptr inbounds ([4 x i64], ptr @user_chunk_data, i64 0, i64 2), align 16, !tbaa !9
  store i64 0, ptr getelementptr inbounds ([4 x i64], ptr @user_chunk_data, i64 0, i64 3), align 8, !tbaa !9
  %105 = load ptr, ptr %6, align 8, !tbaa !5
  call void @png_set_read_user_chunk_fn(ptr noundef %105, ptr noundef @user_chunk_data, ptr noundef @read_user_chunk_callback)
  %106 = call ptr @png_create_write_struct(ptr noundef @.str.8, ptr noundef null, ptr noundef null, ptr noundef null)
  store ptr %106, ptr %9, align 8, !tbaa !5
  %107 = load ptr, ptr %6, align 8, !tbaa !5
  %108 = call ptr @png_create_info_struct(ptr noundef %107)
  store ptr %108, ptr %7, align 8, !tbaa !5
  %109 = load ptr, ptr %6, align 8, !tbaa !5
  %110 = call ptr @png_create_info_struct(ptr noundef %109)
  store ptr %110, ptr %8, align 8, !tbaa !5
  %111 = load ptr, ptr %9, align 8, !tbaa !5
  %112 = call ptr @png_create_info_struct(ptr noundef %111)
  store ptr %112, ptr %10, align 8, !tbaa !5
  %113 = load ptr, ptr %9, align 8, !tbaa !5
  %114 = call ptr @png_create_info_struct(ptr noundef %113)
  store ptr %114, ptr %11, align 8, !tbaa !5
  %115 = load ptr, ptr %6, align 8, !tbaa !5
  %116 = getelementptr inbounds %struct.png_struct_def, ptr %115, i32 0, i32 0
  %117 = getelementptr inbounds [1 x %struct.__jmp_buf_tag], ptr %116, i64 0, i64 0
  %118 = call i32 @_setjmp(ptr noundef %117) #8
  %119 = icmp ne i32 %118, 0
  br i1 %119, label %120, label %132

120:                                              ; preds = %103
  %121 = load ptr, ptr @stdout, align 8, !tbaa !5
  %122 = load ptr, ptr %4, align 8, !tbaa !5
  %123 = load ptr, ptr %5, align 8, !tbaa !5
  %124 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %121, ptr noundef @.str.9, ptr noundef %122, ptr noundef %123) #7
  %125 = load ptr, ptr %6, align 8, !tbaa !5
  %126 = load ptr, ptr %12, align 8, !tbaa !5
  call void @png_free(ptr noundef %125, ptr noundef %126)
  store ptr null, ptr %12, align 8, !tbaa !5
  call void @png_destroy_read_struct(ptr noundef %6, ptr noundef %7, ptr noundef %8)
  %127 = load ptr, ptr %9, align 8, !tbaa !5
  call void @png_destroy_info_struct(ptr noundef %127, ptr noundef %11)
  call void @png_destroy_write_struct(ptr noundef %9, ptr noundef %10)
  %128 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %129 = call i32 @fclose(ptr noundef %128)
  %130 = load ptr, ptr @test_one_file.fpout, align 8, !tbaa !5
  %131 = call i32 @fclose(ptr noundef %130)
  store i32 1, ptr %3, align 4
  store i32 1, ptr %22, align 4
  br label %688

132:                                              ; preds = %103
  %133 = load ptr, ptr %9, align 8, !tbaa !5
  %134 = getelementptr inbounds %struct.png_struct_def, ptr %133, i32 0, i32 0
  %135 = getelementptr inbounds [1 x %struct.__jmp_buf_tag], ptr %134, i64 0, i64 0
  %136 = call i32 @_setjmp(ptr noundef %135) #8
  %137 = icmp ne i32 %136, 0
  br i1 %137, label %138, label %148

138:                                              ; preds = %132
  %139 = load ptr, ptr @stdout, align 8, !tbaa !5
  %140 = load ptr, ptr %4, align 8, !tbaa !5
  %141 = load ptr, ptr %5, align 8, !tbaa !5
  %142 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %139, ptr noundef @.str.10, ptr noundef %140, ptr noundef %141) #7
  call void @png_destroy_read_struct(ptr noundef %6, ptr noundef %7, ptr noundef %8)
  %143 = load ptr, ptr %9, align 8, !tbaa !5
  call void @png_destroy_info_struct(ptr noundef %143, ptr noundef %11)
  call void @png_destroy_write_struct(ptr noundef %9, ptr noundef %10)
  %144 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %145 = call i32 @fclose(ptr noundef %144)
  %146 = load ptr, ptr @test_one_file.fpout, align 8, !tbaa !5
  %147 = call i32 @fclose(ptr noundef %146)
  store i32 1, ptr %3, align 4
  store i32 1, ptr %22, align 4
  br label %688

148:                                              ; preds = %132
  %149 = load ptr, ptr %6, align 8, !tbaa !5
  %150 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  call void @png_init_io(ptr noundef %149, ptr noundef %150)
  %151 = load ptr, ptr %9, align 8, !tbaa !5
  %152 = load ptr, ptr @test_one_file.fpout, align 8, !tbaa !5
  call void @png_init_io(ptr noundef %151, ptr noundef %152)
  %153 = load i32, ptr @status_dots_requested, align 4, !tbaa !11
  %154 = icmp eq i32 %153, 1
  br i1 %154, label %155, label %158

155:                                              ; preds = %148
  %156 = load ptr, ptr %9, align 8, !tbaa !5
  call void @png_set_write_status_fn(ptr noundef %156, ptr noundef @write_row_callback)
  %157 = load ptr, ptr %6, align 8, !tbaa !5
  call void @png_set_read_status_fn(ptr noundef %157, ptr noundef @read_row_callback)
  br label %161

158:                                              ; preds = %148
  %159 = load ptr, ptr %9, align 8, !tbaa !5
  call void @png_set_write_status_fn(ptr noundef %159, ptr noundef null)
  %160 = load ptr, ptr %6, align 8, !tbaa !5
  call void @png_set_read_status_fn(ptr noundef %160, ptr noundef null)
  br label %161

161:                                              ; preds = %158, %155
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #7
  store i32 0, ptr %23, align 4, !tbaa !11
  br label %162

162:                                              ; preds = %169, %161
  %163 = load i32, ptr %23, align 4, !tbaa !11
  %164 = icmp slt i32 %163, 256
  br i1 %164, label %165, label %172

165:                                              ; preds = %162
  %166 = load i32, ptr %23, align 4, !tbaa !11
  %167 = sext i32 %166 to i64
  %168 = getelementptr inbounds [256 x i64], ptr @filters_used, i64 0, i64 %167
  store i64 0, ptr %168, align 8, !tbaa !9
  br label %169

169:                                              ; preds = %165
  %170 = load i32, ptr %23, align 4, !tbaa !11
  %171 = add nsw i32 %170, 1
  store i32 %171, ptr %23, align 4, !tbaa !11
  br label %162, !llvm.loop !13

172:                                              ; preds = %162
  %173 = load ptr, ptr %6, align 8, !tbaa !5
  call void @png_set_read_user_transform_fn(ptr noundef %173, ptr noundef @count_filters)
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #7
  store i64 0, ptr @zero_samples, align 8, !tbaa !9
  %174 = load ptr, ptr %9, align 8, !tbaa !5
  call void @png_set_write_user_transform_fn(ptr noundef %174, ptr noundef @count_zero_samples)
  %175 = load ptr, ptr %6, align 8, !tbaa !5
  call void @png_set_keep_unknown_chunks(ptr noundef %175, i32 noundef 3, ptr noundef null, i32 noundef 0)
  %176 = load ptr, ptr %9, align 8, !tbaa !5
  call void @png_set_keep_unknown_chunks(ptr noundef %176, i32 noundef 2, ptr noundef null, i32 noundef 0)
  %177 = load ptr, ptr %6, align 8, !tbaa !5
  %178 = load ptr, ptr %7, align 8, !tbaa !5
  call void @png_read_info(ptr noundef %177, ptr noundef %178)
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #7
  %179 = load ptr, ptr %6, align 8, !tbaa !5
  %180 = load ptr, ptr %7, align 8, !tbaa !5
  %181 = call i64 @png_get_IHDR(ptr noundef %179, ptr noundef %180, ptr noundef %14, ptr noundef %15, ptr noundef %18, ptr noundef %19, ptr noundef %24, ptr noundef %25, ptr noundef %26)
  %182 = icmp ne i64 %181, 0
  br i1 %182, label %183, label %193

183:                                              ; preds = %172
  %184 = load ptr, ptr %9, align 8, !tbaa !5
  %185 = load ptr, ptr %10, align 8, !tbaa !5
  %186 = load i64, ptr %14, align 8, !tbaa !9
  %187 = load i64, ptr %15, align 8, !tbaa !9
  %188 = load i32, ptr %18, align 4, !tbaa !11
  %189 = load i32, ptr %19, align 4, !tbaa !11
  %190 = load i32, ptr %24, align 4, !tbaa !11
  %191 = load i32, ptr %25, align 4, !tbaa !11
  %192 = load i32, ptr %26, align 4, !tbaa !11
  call void @png_set_IHDR(ptr noundef %184, ptr noundef %185, i64 noundef %186, i64 noundef %187, i32 noundef %188, i32 noundef %189, i32 noundef %190, i32 noundef %191, i32 noundef %192)
  br label %193

193:                                              ; preds = %183, %172
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #7
  %194 = load ptr, ptr %6, align 8, !tbaa !5
  %195 = load ptr, ptr %7, align 8, !tbaa !5
  %196 = call i64 @png_get_cHRM_fixed(ptr noundef %194, ptr noundef %195, ptr noundef %27, ptr noundef %28, ptr noundef %29, ptr noundef %30, ptr noundef %31, ptr noundef %32, ptr noundef %33, ptr noundef %34)
  %197 = icmp ne i64 %196, 0
  br i1 %197, label %198, label %209

198:                                              ; preds = %193
  %199 = load ptr, ptr %9, align 8, !tbaa !5
  %200 = load ptr, ptr %10, align 8, !tbaa !5
  %201 = load i64, ptr %27, align 8, !tbaa !9
  %202 = load i64, ptr %28, align 8, !tbaa !9
  %203 = load i64, ptr %29, align 8, !tbaa !9
  %204 = load i64, ptr %30, align 8, !tbaa !9
  %205 = load i64, ptr %31, align 8, !tbaa !9
  %206 = load i64, ptr %32, align 8, !tbaa !9
  %207 = load i64, ptr %33, align 8, !tbaa !9
  %208 = load i64, ptr %34, align 8, !tbaa !9
  call void @png_set_cHRM_fixed(ptr noundef %199, ptr noundef %200, i64 noundef %201, i64 noundef %202, i64 noundef %203, i64 noundef %204, i64 noundef %205, i64 noundef %206, i64 noundef %207, i64 noundef %208)
  br label %209

209:                                              ; preds = %198, %193
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #7
  %210 = load ptr, ptr %6, align 8, !tbaa !5
  %211 = load ptr, ptr %7, align 8, !tbaa !5
  %212 = call i64 @png_get_gAMA_fixed(ptr noundef %210, ptr noundef %211, ptr noundef %35)
  %213 = icmp ne i64 %212, 0
  br i1 %213, label %214, label %218

214:                                              ; preds = %209
  %215 = load ptr, ptr %9, align 8, !tbaa !5
  %216 = load ptr, ptr %10, align 8, !tbaa !5
  %217 = load i64, ptr %35, align 8, !tbaa !9
  call void @png_set_gAMA_fixed(ptr noundef %215, ptr noundef %216, i64 noundef %217)
  br label %218

218:                                              ; preds = %214, %209
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #7
  %219 = load ptr, ptr %6, align 8, !tbaa !5
  %220 = load ptr, ptr %7, align 8, !tbaa !5
  %221 = call i64 @png_get_iCCP(ptr noundef %219, ptr noundef %220, ptr noundef %36, ptr noundef %39, ptr noundef %37, ptr noundef %38)
  %222 = icmp ne i64 %221, 0
  br i1 %222, label %223, label %230

223:                                              ; preds = %218
  %224 = load ptr, ptr %9, align 8, !tbaa !5
  %225 = load ptr, ptr %10, align 8, !tbaa !5
  %226 = load ptr, ptr %36, align 8, !tbaa !5
  %227 = load i32, ptr %39, align 4, !tbaa !11
  %228 = load ptr, ptr %37, align 8, !tbaa !5
  %229 = load i64, ptr %38, align 8, !tbaa !9
  call void @png_set_iCCP(ptr noundef %224, ptr noundef %225, ptr noundef %226, i32 noundef %227, ptr noundef %228, i64 noundef %229)
  br label %230

230:                                              ; preds = %223, %218
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #7
  %231 = load ptr, ptr %6, align 8, !tbaa !5
  %232 = load ptr, ptr %7, align 8, !tbaa !5
  %233 = call i64 @png_get_sRGB(ptr noundef %231, ptr noundef %232, ptr noundef %40)
  %234 = icmp ne i64 %233, 0
  br i1 %234, label %235, label %239

235:                                              ; preds = %230
  %236 = load ptr, ptr %9, align 8, !tbaa !5
  %237 = load ptr, ptr %10, align 8, !tbaa !5
  %238 = load i32, ptr %40, align 4, !tbaa !11
  call void @png_set_sRGB(ptr noundef %236, ptr noundef %237, i32 noundef %238)
  br label %239

239:                                              ; preds = %235, %230
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #7
  %240 = load ptr, ptr %6, align 8, !tbaa !5
  %241 = load ptr, ptr %7, align 8, !tbaa !5
  %242 = call i64 @png_get_PLTE(ptr noundef %240, ptr noundef %241, ptr noundef %41, ptr noundef %42)
  %243 = icmp ne i64 %242, 0
  br i1 %243, label %244, label %249

244:                                              ; preds = %239
  %245 = load ptr, ptr %9, align 8, !tbaa !5
  %246 = load ptr, ptr %10, align 8, !tbaa !5
  %247 = load ptr, ptr %41, align 8, !tbaa !5
  %248 = load i32, ptr %42, align 4, !tbaa !11
  call void @png_set_PLTE(ptr noundef %245, ptr noundef %246, ptr noundef %247, i32 noundef %248)
  br label %249

249:                                              ; preds = %244, %239
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #7
  %250 = load ptr, ptr %6, align 8, !tbaa !5
  %251 = load ptr, ptr %7, align 8, !tbaa !5
  %252 = call i64 @png_get_bKGD(ptr noundef %250, ptr noundef %251, ptr noundef %43)
  %253 = icmp ne i64 %252, 0
  br i1 %253, label %254, label %258

254:                                              ; preds = %249
  %255 = load ptr, ptr %9, align 8, !tbaa !5
  %256 = load ptr, ptr %10, align 8, !tbaa !5
  %257 = load ptr, ptr %43, align 8, !tbaa !5
  call void @png_set_bKGD(ptr noundef %255, ptr noundef %256, ptr noundef %257)
  br label %258

258:                                              ; preds = %254, %249
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #7
  %259 = load ptr, ptr %6, align 8, !tbaa !5
  %260 = load ptr, ptr %7, align 8, !tbaa !5
  %261 = call i64 @png_get_hIST(ptr noundef %259, ptr noundef %260, ptr noundef %44)
  %262 = icmp ne i64 %261, 0
  br i1 %262, label %263, label %267

263:                                              ; preds = %258
  %264 = load ptr, ptr %9, align 8, !tbaa !5
  %265 = load ptr, ptr %10, align 8, !tbaa !5
  %266 = load ptr, ptr %44, align 8, !tbaa !5
  call void @png_set_hIST(ptr noundef %264, ptr noundef %265, ptr noundef %266)
  br label %267

267:                                              ; preds = %263, %258
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %47) #7
  %268 = load ptr, ptr %6, align 8, !tbaa !5
  %269 = load ptr, ptr %7, align 8, !tbaa !5
  %270 = call i64 @png_get_oFFs(ptr noundef %268, ptr noundef %269, ptr noundef %45, ptr noundef %46, ptr noundef %47)
  %271 = icmp ne i64 %270, 0
  br i1 %271, label %272, label %278

272:                                              ; preds = %267
  %273 = load ptr, ptr %9, align 8, !tbaa !5
  %274 = load ptr, ptr %10, align 8, !tbaa !5
  %275 = load i64, ptr %45, align 8, !tbaa !9
  %276 = load i64, ptr %46, align 8, !tbaa !9
  %277 = load i32, ptr %47, align 4, !tbaa !11
  call void @png_set_oFFs(ptr noundef %273, ptr noundef %274, i64 noundef %275, i64 noundef %276, i32 noundef %277)
  br label %278

278:                                              ; preds = %272, %267
  call void @llvm.lifetime.end.p0(i64 4, ptr %47) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %50) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %53) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %54) #7
  %279 = load ptr, ptr %6, align 8, !tbaa !5
  %280 = load ptr, ptr %7, align 8, !tbaa !5
  %281 = call i64 @png_get_pCAL(ptr noundef %279, ptr noundef %280, ptr noundef %48, ptr noundef %51, ptr noundef %52, ptr noundef %53, ptr noundef %54, ptr noundef %49, ptr noundef %50)
  %282 = icmp ne i64 %281, 0
  br i1 %282, label %283, label %293

283:                                              ; preds = %278
  %284 = load ptr, ptr %9, align 8, !tbaa !5
  %285 = load ptr, ptr %10, align 8, !tbaa !5
  %286 = load ptr, ptr %48, align 8, !tbaa !5
  %287 = load i64, ptr %51, align 8, !tbaa !9
  %288 = load i64, ptr %52, align 8, !tbaa !9
  %289 = load i32, ptr %53, align 4, !tbaa !11
  %290 = load i32, ptr %54, align 4, !tbaa !11
  %291 = load ptr, ptr %49, align 8, !tbaa !5
  %292 = load ptr, ptr %50, align 8, !tbaa !5
  call void @png_set_pCAL(ptr noundef %284, ptr noundef %285, ptr noundef %286, i64 noundef %287, i64 noundef %288, i32 noundef %289, i32 noundef %290, ptr noundef %291, ptr noundef %292)
  br label %293

293:                                              ; preds = %283, %278
  call void @llvm.lifetime.end.p0(i64 4, ptr %54) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %53) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %55) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %56) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %57) #7
  %294 = load ptr, ptr %6, align 8, !tbaa !5
  %295 = load ptr, ptr %7, align 8, !tbaa !5
  %296 = call i64 @png_get_pHYs(ptr noundef %294, ptr noundef %295, ptr noundef %55, ptr noundef %56, ptr noundef %57)
  %297 = icmp ne i64 %296, 0
  br i1 %297, label %298, label %304

298:                                              ; preds = %293
  %299 = load ptr, ptr %9, align 8, !tbaa !5
  %300 = load ptr, ptr %10, align 8, !tbaa !5
  %301 = load i64, ptr %55, align 8, !tbaa !9
  %302 = load i64, ptr %56, align 8, !tbaa !9
  %303 = load i32, ptr %57, align 4, !tbaa !11
  call void @png_set_pHYs(ptr noundef %299, ptr noundef %300, i64 noundef %301, i64 noundef %302, i32 noundef %303)
  br label %304

304:                                              ; preds = %298, %293
  call void @llvm.lifetime.end.p0(i64 4, ptr %57) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %58) #7
  %305 = load ptr, ptr %6, align 8, !tbaa !5
  %306 = load ptr, ptr %7, align 8, !tbaa !5
  %307 = call i64 @png_get_sBIT(ptr noundef %305, ptr noundef %306, ptr noundef %58)
  %308 = icmp ne i64 %307, 0
  br i1 %308, label %309, label %313

309:                                              ; preds = %304
  %310 = load ptr, ptr %9, align 8, !tbaa !5
  %311 = load ptr, ptr %10, align 8, !tbaa !5
  %312 = load ptr, ptr %58, align 8, !tbaa !5
  call void @png_set_sBIT(ptr noundef %310, ptr noundef %311, ptr noundef %312)
  br label %313

313:                                              ; preds = %309, %304
  call void @llvm.lifetime.end.p0(i64 8, ptr %58) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %59) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %60) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %61) #7
  %314 = load ptr, ptr %6, align 8, !tbaa !5
  %315 = load ptr, ptr %7, align 8, !tbaa !5
  %316 = call i64 @png_get_sCAL(ptr noundef %314, ptr noundef %315, ptr noundef %59, ptr noundef %60, ptr noundef %61)
  %317 = icmp ne i64 %316, 0
  br i1 %317, label %318, label %324

318:                                              ; preds = %313
  %319 = load ptr, ptr %9, align 8, !tbaa !5
  %320 = load ptr, ptr %10, align 8, !tbaa !5
  %321 = load i32, ptr %59, align 4, !tbaa !11
  %322 = load double, ptr %60, align 8, !tbaa !15
  %323 = load double, ptr %61, align 8, !tbaa !15
  call void @png_set_sCAL(ptr noundef %319, ptr noundef %320, i32 noundef %321, double noundef %322, double noundef %323)
  br label %324

324:                                              ; preds = %318, %313
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %60) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %59) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %62) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %63) #7
  %325 = load ptr, ptr %6, align 8, !tbaa !5
  %326 = load ptr, ptr %7, align 8, !tbaa !5
  %327 = call i64 @png_get_text(ptr noundef %325, ptr noundef %326, ptr noundef %62, ptr noundef %63)
  %328 = icmp ugt i64 %327, 0
  br i1 %328, label %329, label %334

329:                                              ; preds = %324
  %330 = load ptr, ptr %9, align 8, !tbaa !5
  %331 = load ptr, ptr %10, align 8, !tbaa !5
  %332 = load ptr, ptr %62, align 8, !tbaa !5
  %333 = load i32, ptr %63, align 4, !tbaa !11
  call void @png_set_text(ptr noundef %330, ptr noundef %331, ptr noundef %332, i32 noundef %333)
  br label %334

334:                                              ; preds = %329, %324
  call void @llvm.lifetime.end.p0(i64 4, ptr %63) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %64) #7
  %335 = load ptr, ptr %6, align 8, !tbaa !5
  %336 = load ptr, ptr %7, align 8, !tbaa !5
  %337 = call i64 @png_get_tIME(ptr noundef %335, ptr noundef %336, ptr noundef %64)
  %338 = icmp ne i64 %337, 0
  br i1 %338, label %339, label %348

339:                                              ; preds = %334
  %340 = load ptr, ptr %9, align 8, !tbaa !5
  %341 = load ptr, ptr %10, align 8, !tbaa !5
  %342 = load ptr, ptr %64, align 8, !tbaa !5
  call void @png_set_tIME(ptr noundef %340, ptr noundef %341, ptr noundef %342)
  %343 = load ptr, ptr %6, align 8, !tbaa !5
  %344 = load ptr, ptr %64, align 8, !tbaa !5
  %345 = call ptr @png_convert_to_rfc1123(ptr noundef %343, ptr noundef %344)
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 @tIME_string, ptr align 1 %345, i64 29, i1 false)
  store i8 0, ptr getelementptr inbounds ([29 x i8], ptr @tIME_string, i64 0, i64 28), align 4, !tbaa !17
  %346 = load i32, ptr @tIME_chunk_present, align 4, !tbaa !11
  %347 = add nsw i32 %346, 1
  store i32 %347, ptr @tIME_chunk_present, align 4, !tbaa !11
  br label %348

348:                                              ; preds = %339, %334
  call void @llvm.lifetime.end.p0(i64 8, ptr %64) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %65) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %66) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %67) #7
  %349 = load ptr, ptr %6, align 8, !tbaa !5
  %350 = load ptr, ptr %7, align 8, !tbaa !5
  %351 = call i64 @png_get_tRNS(ptr noundef %349, ptr noundef %350, ptr noundef %65, ptr noundef %66, ptr noundef %67)
  %352 = icmp ne i64 %351, 0
  br i1 %352, label %353, label %405

353:                                              ; preds = %348
  call void @llvm.lifetime.start.p0(i64 4, ptr %68) #7
  %354 = load ptr, ptr %7, align 8, !tbaa !5
  %355 = getelementptr inbounds %struct.png_info_struct, ptr %354, i32 0, i32 7
  %356 = load i8, ptr %355, align 4, !tbaa !18
  %357 = zext i8 %356 to i32
  %358 = shl i32 1, %357
  store i32 %358, ptr %68, align 4, !tbaa !11
  %359 = load ptr, ptr %7, align 8, !tbaa !5
  %360 = getelementptr inbounds %struct.png_info_struct, ptr %359, i32 0, i32 8
  %361 = load i8, ptr %360, align 1, !tbaa !25
  %362 = zext i8 %361 to i32
  %363 = icmp eq i32 %362, 0
  br i1 %363, label %364, label %371

364:                                              ; preds = %353
  %365 = load ptr, ptr %67, align 8, !tbaa !5
  %366 = getelementptr inbounds %struct.png_color_16_struct, ptr %365, i32 0, i32 4
  %367 = load i16, ptr %366, align 2, !tbaa !26
  %368 = zext i16 %367 to i32
  %369 = load i32, ptr %68, align 4, !tbaa !11
  %370 = icmp sgt i32 %368, %369
  br i1 %370, label %404, label %371

371:                                              ; preds = %364, %353
  %372 = load ptr, ptr %7, align 8, !tbaa !5
  %373 = getelementptr inbounds %struct.png_info_struct, ptr %372, i32 0, i32 8
  %374 = load i8, ptr %373, align 1, !tbaa !25
  %375 = zext i8 %374 to i32
  %376 = icmp eq i32 %375, 2
  br i1 %376, label %377, label %398

377:                                              ; preds = %371
  %378 = load ptr, ptr %67, align 8, !tbaa !5
  %379 = getelementptr inbounds %struct.png_color_16_struct, ptr %378, i32 0, i32 1
  %380 = load i16, ptr %379, align 2, !tbaa !27
  %381 = zext i16 %380 to i32
  %382 = load i32, ptr %68, align 4, !tbaa !11
  %383 = icmp sgt i32 %381, %382
  br i1 %383, label %404, label %384

384:                                              ; preds = %377
  %385 = load ptr, ptr %67, align 8, !tbaa !5
  %386 = getelementptr inbounds %struct.png_color_16_struct, ptr %385, i32 0, i32 2
  %387 = load i16, ptr %386, align 2, !tbaa !28
  %388 = zext i16 %387 to i32
  %389 = load i32, ptr %68, align 4, !tbaa !11
  %390 = icmp sgt i32 %388, %389
  br i1 %390, label %404, label %391

391:                                              ; preds = %384
  %392 = load ptr, ptr %67, align 8, !tbaa !5
  %393 = getelementptr inbounds %struct.png_color_16_struct, ptr %392, i32 0, i32 3
  %394 = load i16, ptr %393, align 2, !tbaa !29
  %395 = zext i16 %394 to i32
  %396 = load i32, ptr %68, align 4, !tbaa !11
  %397 = icmp sgt i32 %395, %396
  br i1 %397, label %404, label %398

398:                                              ; preds = %391, %371
  %399 = load ptr, ptr %9, align 8, !tbaa !5
  %400 = load ptr, ptr %10, align 8, !tbaa !5
  %401 = load ptr, ptr %65, align 8, !tbaa !5
  %402 = load i32, ptr %66, align 4, !tbaa !11
  %403 = load ptr, ptr %67, align 8, !tbaa !5
  call void @png_set_tRNS(ptr noundef %399, ptr noundef %400, ptr noundef %401, i32 noundef %402, ptr noundef %403)
  br label %404

404:                                              ; preds = %398, %391, %384, %377, %364
  call void @llvm.lifetime.end.p0(i64 4, ptr %68) #7
  br label %405

405:                                              ; preds = %404, %348
  call void @llvm.lifetime.end.p0(i64 8, ptr %67) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %66) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %65) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %69) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %70) #7
  %406 = load ptr, ptr %6, align 8, !tbaa !5
  %407 = load ptr, ptr %7, align 8, !tbaa !5
  %408 = call i64 @png_get_unknown_chunks(ptr noundef %406, ptr noundef %407, ptr noundef %69)
  %409 = trunc i64 %408 to i32
  store i32 %409, ptr %70, align 4, !tbaa !11
  %410 = load i32, ptr %70, align 4, !tbaa !11
  %411 = icmp ne i32 %410, 0
  br i1 %411, label %412, label %437

412:                                              ; preds = %405
  call void @llvm.lifetime.start.p0(i64 8, ptr %71) #7
  %413 = load ptr, ptr %9, align 8, !tbaa !5
  %414 = load ptr, ptr %10, align 8, !tbaa !5
  %415 = load ptr, ptr %69, align 8, !tbaa !5
  %416 = load i32, ptr %70, align 4, !tbaa !11
  call void @png_set_unknown_chunks(ptr noundef %413, ptr noundef %414, ptr noundef %415, i32 noundef %416)
  store i64 0, ptr %71, align 8, !tbaa !9
  br label %417

417:                                              ; preds = %433, %412
  %418 = load i64, ptr %71, align 8, !tbaa !9
  %419 = load i32, ptr %70, align 4, !tbaa !11
  %420 = sext i32 %419 to i64
  %421 = icmp ult i64 %418, %420
  br i1 %421, label %422, label %436

422:                                              ; preds = %417
  %423 = load ptr, ptr %9, align 8, !tbaa !5
  %424 = load ptr, ptr %10, align 8, !tbaa !5
  %425 = load i64, ptr %71, align 8, !tbaa !9
  %426 = trunc i64 %425 to i32
  %427 = load ptr, ptr %69, align 8, !tbaa !5
  %428 = load i64, ptr %71, align 8, !tbaa !9
  %429 = getelementptr inbounds %struct.png_unknown_chunk_t, ptr %427, i64 %428
  %430 = getelementptr inbounds %struct.png_unknown_chunk_t, ptr %429, i32 0, i32 3
  %431 = load i8, ptr %430, align 8, !tbaa !30
  %432 = zext i8 %431 to i32
  call void @png_set_unknown_chunk_location(ptr noundef %423, ptr noundef %424, i32 noundef %426, i32 noundef %432)
  br label %433

433:                                              ; preds = %422
  %434 = load i64, ptr %71, align 8, !tbaa !9
  %435 = add i64 %434, 1
  store i64 %435, ptr %71, align 8, !tbaa !9
  br label %417, !llvm.loop !32

436:                                              ; preds = %417
  call void @llvm.lifetime.end.p0(i64 8, ptr %71) #7
  br label %437

437:                                              ; preds = %436, %405
  call void @llvm.lifetime.end.p0(i64 4, ptr %70) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %69) #7
  %438 = load ptr, ptr %9, align 8, !tbaa !5
  %439 = load ptr, ptr %10, align 8, !tbaa !5
  call void @png_write_info(ptr noundef %438, ptr noundef %439)
  %440 = load i64, ptr @user_chunk_data, align 16, !tbaa !9
  %441 = icmp ne i64 %440, 0
  br i1 %441, label %442, label %458

442:                                              ; preds = %437
  call void @llvm.lifetime.start.p0(i64 5, ptr %72) #7
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %72, ptr align 1 @__const.test_one_file.png_sTER, i64 5, i1 false)
  call void @llvm.lifetime.start.p0(i64 1, ptr %73) #7
  %443 = load i32, ptr @verbose, align 4, !tbaa !11
  %444 = icmp ne i32 %443, 0
  br i1 %444, label %445, label %450

445:                                              ; preds = %442
  %446 = load ptr, ptr @stdout, align 8, !tbaa !5
  %447 = load i64, ptr @user_chunk_data, align 16, !tbaa !9
  %448 = sub i64 %447, 1
  %449 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %446, ptr noundef @.str.11, i64 noundef %448) #7
  br label %450

450:                                              ; preds = %445, %442
  %451 = load i64, ptr @user_chunk_data, align 16, !tbaa !9
  %452 = sub i64 %451, 1
  %453 = trunc i64 %452 to i8
  %454 = getelementptr inbounds [1 x i8], ptr %73, i64 0, i64 0
  store i8 %453, ptr %454, align 1, !tbaa !17
  %455 = load ptr, ptr %9, align 8, !tbaa !5
  %456 = getelementptr inbounds [5 x i8], ptr %72, i64 0, i64 0
  %457 = getelementptr inbounds [1 x i8], ptr %73, i64 0, i64 0
  call void @png_write_chunk(ptr noundef %455, ptr noundef %456, ptr noundef %457, i64 noundef 1)
  call void @llvm.lifetime.end.p0(i64 1, ptr %73) #7
  call void @llvm.lifetime.end.p0(i64 5, ptr %72) #7
  br label %458

458:                                              ; preds = %450, %437
  %459 = load i64, ptr getelementptr inbounds ([4 x i64], ptr @user_chunk_data, i64 0, i64 1), align 8, !tbaa !9
  %460 = icmp ne i64 %459, 0
  br i1 %460, label %464, label %461

461:                                              ; preds = %458
  %462 = load i64, ptr getelementptr inbounds ([4 x i64], ptr @user_chunk_data, i64 0, i64 2), align 16, !tbaa !9
  %463 = icmp ne i64 %462, 0
  br i1 %463, label %464, label %486

464:                                              ; preds = %461, %458
  call void @llvm.lifetime.start.p0(i64 5, ptr %74) #7
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %74, ptr align 1 @__const.test_one_file.png_vpAg, i64 5, i1 false)
  call void @llvm.lifetime.start.p0(i64 9, ptr %75) #7
  %465 = load i32, ptr @verbose, align 4, !tbaa !11
  %466 = icmp ne i32 %465, 0
  br i1 %466, label %467, label %473

467:                                              ; preds = %464
  %468 = load ptr, ptr @stdout, align 8, !tbaa !5
  %469 = load i64, ptr getelementptr inbounds ([4 x i64], ptr @user_chunk_data, i64 0, i64 1), align 8, !tbaa !9
  %470 = load i64, ptr getelementptr inbounds ([4 x i64], ptr @user_chunk_data, i64 0, i64 2), align 16, !tbaa !9
  %471 = load i64, ptr getelementptr inbounds ([4 x i64], ptr @user_chunk_data, i64 0, i64 3), align 8, !tbaa !9
  %472 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %468, ptr noundef @.str.12, i64 noundef %469, i64 noundef %470, i64 noundef %471) #7
  br label %473

473:                                              ; preds = %467, %464
  %474 = getelementptr inbounds [9 x i8], ptr %75, i64 0, i64 0
  %475 = load i64, ptr getelementptr inbounds ([4 x i64], ptr @user_chunk_data, i64 0, i64 1), align 8, !tbaa !9
  call void @png_save_uint_32(ptr noundef %474, i64 noundef %475)
  %476 = getelementptr inbounds [9 x i8], ptr %75, i64 0, i64 0
  %477 = getelementptr inbounds i8, ptr %476, i64 4
  %478 = load i64, ptr getelementptr inbounds ([4 x i64], ptr @user_chunk_data, i64 0, i64 2), align 16, !tbaa !9
  call void @png_save_uint_32(ptr noundef %477, i64 noundef %478)
  %479 = load i64, ptr getelementptr inbounds ([4 x i64], ptr @user_chunk_data, i64 0, i64 3), align 8, !tbaa !9
  %480 = and i64 %479, 255
  %481 = trunc i64 %480 to i8
  %482 = getelementptr inbounds [9 x i8], ptr %75, i64 0, i64 8
  store i8 %481, ptr %482, align 1, !tbaa !17
  %483 = load ptr, ptr %9, align 8, !tbaa !5
  %484 = getelementptr inbounds [5 x i8], ptr %74, i64 0, i64 0
  %485 = getelementptr inbounds [9 x i8], ptr %75, i64 0, i64 0
  call void @png_write_chunk(ptr noundef %483, ptr noundef %484, ptr noundef %485, i64 noundef 9)
  call void @llvm.lifetime.end.p0(i64 9, ptr %75) #7
  call void @llvm.lifetime.end.p0(i64 5, ptr %74) #7
  br label %486

486:                                              ; preds = %473, %461
  %487 = load ptr, ptr %6, align 8, !tbaa !5
  %488 = load ptr, ptr %6, align 8, !tbaa !5
  %489 = load ptr, ptr %7, align 8, !tbaa !5
  %490 = call i64 @png_get_rowbytes(ptr noundef %488, ptr noundef %489)
  %491 = call ptr @png_malloc(ptr noundef %487, i64 noundef %490)
  store ptr %491, ptr %12, align 8, !tbaa !5
  %492 = load ptr, ptr %6, align 8, !tbaa !5
  %493 = call i32 @png_set_interlace_handling(ptr noundef %492)
  store i32 %493, ptr %16, align 4, !tbaa !11
  %494 = load ptr, ptr %9, align 8, !tbaa !5
  %495 = call i32 @png_set_interlace_handling(ptr noundef %494)
  store i32 0, ptr %17, align 4, !tbaa !11
  br label %496

496:                                              ; preds = %512, %486
  %497 = load i32, ptr %17, align 4, !tbaa !11
  %498 = load i32, ptr %16, align 4, !tbaa !11
  %499 = icmp slt i32 %497, %498
  br i1 %499, label %500, label %515

500:                                              ; preds = %496
  store i64 0, ptr %13, align 8, !tbaa !9
  br label %501

501:                                              ; preds = %508, %500
  %502 = load i64, ptr %13, align 8, !tbaa !9
  %503 = load i64, ptr %15, align 8, !tbaa !9
  %504 = icmp ult i64 %502, %503
  br i1 %504, label %505, label %511

505:                                              ; preds = %501
  %506 = load ptr, ptr %6, align 8, !tbaa !5
  call void @png_read_rows(ptr noundef %506, ptr noundef %12, ptr noundef null, i64 noundef 1)
  %507 = load ptr, ptr %9, align 8, !tbaa !5
  call void @png_write_rows(ptr noundef %507, ptr noundef %12, i64 noundef 1)
  br label %508

508:                                              ; preds = %505
  %509 = load i64, ptr %13, align 8, !tbaa !9
  %510 = add i64 %509, 1
  store i64 %510, ptr %13, align 8, !tbaa !9
  br label %501, !llvm.loop !33

511:                                              ; preds = %501
  br label %512

512:                                              ; preds = %511
  %513 = load i32, ptr %17, align 4, !tbaa !11
  %514 = add nsw i32 %513, 1
  store i32 %514, ptr %17, align 4, !tbaa !11
  br label %496, !llvm.loop !34

515:                                              ; preds = %496
  %516 = load ptr, ptr %6, align 8, !tbaa !5
  %517 = load ptr, ptr %7, align 8, !tbaa !5
  call void @png_free_data(ptr noundef %516, ptr noundef %517, i64 noundef 512, i32 noundef -1)
  %518 = load ptr, ptr %9, align 8, !tbaa !5
  %519 = load ptr, ptr %10, align 8, !tbaa !5
  call void @png_free_data(ptr noundef %518, ptr noundef %519, i64 noundef 512, i32 noundef -1)
  %520 = load ptr, ptr %6, align 8, !tbaa !5
  %521 = load ptr, ptr %8, align 8, !tbaa !5
  call void @png_read_end(ptr noundef %520, ptr noundef %521)
  call void @llvm.lifetime.start.p0(i64 8, ptr %76) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %77) #7
  %522 = load ptr, ptr %6, align 8, !tbaa !5
  %523 = load ptr, ptr %8, align 8, !tbaa !5
  %524 = call i64 @png_get_text(ptr noundef %522, ptr noundef %523, ptr noundef %76, ptr noundef %77)
  %525 = icmp ugt i64 %524, 0
  br i1 %525, label %526, label %531

526:                                              ; preds = %515
  %527 = load ptr, ptr %9, align 8, !tbaa !5
  %528 = load ptr, ptr %11, align 8, !tbaa !5
  %529 = load ptr, ptr %76, align 8, !tbaa !5
  %530 = load i32, ptr %77, align 4, !tbaa !11
  call void @png_set_text(ptr noundef %527, ptr noundef %528, ptr noundef %529, i32 noundef %530)
  br label %531

531:                                              ; preds = %526, %515
  call void @llvm.lifetime.end.p0(i64 4, ptr %77) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %76) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %78) #7
  %532 = load ptr, ptr %6, align 8, !tbaa !5
  %533 = load ptr, ptr %8, align 8, !tbaa !5
  %534 = call i64 @png_get_tIME(ptr noundef %532, ptr noundef %533, ptr noundef %78)
  %535 = icmp ne i64 %534, 0
  br i1 %535, label %536, label %545

536:                                              ; preds = %531
  %537 = load ptr, ptr %9, align 8, !tbaa !5
  %538 = load ptr, ptr %11, align 8, !tbaa !5
  %539 = load ptr, ptr %78, align 8, !tbaa !5
  call void @png_set_tIME(ptr noundef %537, ptr noundef %538, ptr noundef %539)
  %540 = load ptr, ptr %6, align 8, !tbaa !5
  %541 = load ptr, ptr %78, align 8, !tbaa !5
  %542 = call ptr @png_convert_to_rfc1123(ptr noundef %540, ptr noundef %541)
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 @tIME_string, ptr align 1 %542, i64 29, i1 false)
  store i8 0, ptr getelementptr inbounds ([29 x i8], ptr @tIME_string, i64 0, i64 28), align 4, !tbaa !17
  %543 = load i32, ptr @tIME_chunk_present, align 4, !tbaa !11
  %544 = add nsw i32 %543, 1
  store i32 %544, ptr @tIME_chunk_present, align 4, !tbaa !11
  br label %545

545:                                              ; preds = %536, %531
  call void @llvm.lifetime.end.p0(i64 8, ptr %78) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %79) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %80) #7
  %546 = load ptr, ptr %6, align 8, !tbaa !5
  %547 = load ptr, ptr %8, align 8, !tbaa !5
  %548 = call i64 @png_get_unknown_chunks(ptr noundef %546, ptr noundef %547, ptr noundef %79)
  %549 = trunc i64 %548 to i32
  store i32 %549, ptr %80, align 4, !tbaa !11
  %550 = load i32, ptr %80, align 4, !tbaa !11
  %551 = icmp ne i32 %550, 0
  br i1 %551, label %552, label %577

552:                                              ; preds = %545
  call void @llvm.lifetime.start.p0(i64 8, ptr %81) #7
  %553 = load ptr, ptr %9, align 8, !tbaa !5
  %554 = load ptr, ptr %11, align 8, !tbaa !5
  %555 = load ptr, ptr %79, align 8, !tbaa !5
  %556 = load i32, ptr %80, align 4, !tbaa !11
  call void @png_set_unknown_chunks(ptr noundef %553, ptr noundef %554, ptr noundef %555, i32 noundef %556)
  store i64 0, ptr %81, align 8, !tbaa !9
  br label %557

557:                                              ; preds = %573, %552
  %558 = load i64, ptr %81, align 8, !tbaa !9
  %559 = load i32, ptr %80, align 4, !tbaa !11
  %560 = sext i32 %559 to i64
  %561 = icmp ult i64 %558, %560
  br i1 %561, label %562, label %576

562:                                              ; preds = %557
  %563 = load ptr, ptr %9, align 8, !tbaa !5
  %564 = load ptr, ptr %11, align 8, !tbaa !5
  %565 = load i64, ptr %81, align 8, !tbaa !9
  %566 = trunc i64 %565 to i32
  %567 = load ptr, ptr %79, align 8, !tbaa !5
  %568 = load i64, ptr %81, align 8, !tbaa !9
  %569 = getelementptr inbounds %struct.png_unknown_chunk_t, ptr %567, i64 %568
  %570 = getelementptr inbounds %struct.png_unknown_chunk_t, ptr %569, i32 0, i32 3
  %571 = load i8, ptr %570, align 8, !tbaa !30
  %572 = zext i8 %571 to i32
  call void @png_set_unknown_chunk_location(ptr noundef %563, ptr noundef %564, i32 noundef %566, i32 noundef %572)
  br label %573

573:                                              ; preds = %562
  %574 = load i64, ptr %81, align 8, !tbaa !9
  %575 = add i64 %574, 1
  store i64 %575, ptr %81, align 8, !tbaa !9
  br label %557, !llvm.loop !35

576:                                              ; preds = %557
  call void @llvm.lifetime.end.p0(i64 8, ptr %81) #7
  br label %577

577:                                              ; preds = %576, %545
  call void @llvm.lifetime.end.p0(i64 4, ptr %80) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %79) #7
  %578 = load ptr, ptr %9, align 8, !tbaa !5
  %579 = load ptr, ptr %11, align 8, !tbaa !5
  call void @png_write_end(ptr noundef %578, ptr noundef %579)
  %580 = load i32, ptr @verbose, align 4, !tbaa !11
  %581 = icmp ne i32 %580, 0
  br i1 %581, label %582, label %593

582:                                              ; preds = %577
  call void @llvm.lifetime.start.p0(i64 8, ptr %82) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %83) #7
  %583 = load ptr, ptr %9, align 8, !tbaa !5
  %584 = load ptr, ptr %10, align 8, !tbaa !5
  %585 = call i64 @png_get_image_width(ptr noundef %583, ptr noundef %584)
  store i64 %585, ptr %82, align 8, !tbaa !9
  %586 = load ptr, ptr %9, align 8, !tbaa !5
  %587 = load ptr, ptr %10, align 8, !tbaa !5
  %588 = call i64 @png_get_image_height(ptr noundef %586, ptr noundef %587)
  store i64 %588, ptr %83, align 8, !tbaa !9
  %589 = load ptr, ptr @stdout, align 8, !tbaa !5
  %590 = load i64, ptr %82, align 8, !tbaa !9
  %591 = load i64, ptr %83, align 8, !tbaa !9
  %592 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %589, ptr noundef @.str.13, i64 noundef %590, i64 noundef %591) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %83) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %82) #7
  br label %593

593:                                              ; preds = %582, %577
  %594 = load ptr, ptr %6, align 8, !tbaa !5
  %595 = load ptr, ptr %12, align 8, !tbaa !5
  call void @png_free(ptr noundef %594, ptr noundef %595)
  store ptr null, ptr %12, align 8, !tbaa !5
  call void @png_destroy_read_struct(ptr noundef %6, ptr noundef %7, ptr noundef %8)
  %596 = load ptr, ptr %9, align 8, !tbaa !5
  call void @png_destroy_info_struct(ptr noundef %596, ptr noundef %11)
  call void @png_destroy_write_struct(ptr noundef %9, ptr noundef %10)
  %597 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %598 = call i32 @fclose(ptr noundef %597)
  %599 = load ptr, ptr @test_one_file.fpout, align 8, !tbaa !5
  %600 = call i32 @fclose(ptr noundef %599)
  %601 = load ptr, ptr %4, align 8, !tbaa !5
  %602 = call noalias ptr @fopen(ptr noundef %601, ptr noundef @.str.4)
  store ptr %602, ptr @test_one_file.fpin, align 8, !tbaa !5
  %603 = icmp eq ptr %602, null
  br i1 %603, label %604, label %608

604:                                              ; preds = %593
  %605 = load ptr, ptr @stdout, align 8, !tbaa !5
  %606 = load ptr, ptr %4, align 8, !tbaa !5
  %607 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %605, ptr noundef @.str.14, ptr noundef %606) #7
  store i32 1, ptr %3, align 4
  store i32 1, ptr %22, align 4
  br label %688

608:                                              ; preds = %593
  %609 = load ptr, ptr %5, align 8, !tbaa !5
  %610 = call noalias ptr @fopen(ptr noundef %609, ptr noundef @.str.4)
  store ptr %610, ptr @test_one_file.fpout, align 8, !tbaa !5
  %611 = icmp eq ptr %610, null
  br i1 %611, label %612, label %618

612:                                              ; preds = %608
  %613 = load ptr, ptr @stdout, align 8, !tbaa !5
  %614 = load ptr, ptr %5, align 8, !tbaa !5
  %615 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %613, ptr noundef @.str.14, ptr noundef %614) #7
  %616 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %617 = call i32 @fclose(ptr noundef %616)
  store i32 1, ptr %3, align 4
  store i32 1, ptr %22, align 4
  br label %688

618:                                              ; preds = %608
  br label %619

619:                                              ; preds = %682, %618
  call void @llvm.lifetime.start.p0(i64 8, ptr %84) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %85) #7
  %620 = getelementptr inbounds [256 x i8], ptr %20, i64 0, i64 0
  %621 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %622 = call i64 @fread(ptr noundef %620, i64 noundef 1, i64 noundef 1, ptr noundef %621)
  store i64 %622, ptr %84, align 8, !tbaa !9
  %623 = getelementptr inbounds [256 x i8], ptr %21, i64 0, i64 0
  %624 = load ptr, ptr @test_one_file.fpout, align 8, !tbaa !5
  %625 = call i64 @fread(ptr noundef %623, i64 noundef 1, i64 noundef 1, ptr noundef %624)
  store i64 %625, ptr %85, align 8, !tbaa !9
  %626 = load i64, ptr %84, align 8, !tbaa !9
  %627 = load i64, ptr %85, align 8, !tbaa !9
  %628 = icmp ne i64 %626, %627
  br i1 %628, label %629, label %649

629:                                              ; preds = %619
  %630 = load ptr, ptr @stdout, align 8, !tbaa !5
  %631 = load ptr, ptr %4, align 8, !tbaa !5
  %632 = load ptr, ptr %5, align 8, !tbaa !5
  %633 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %630, ptr noundef @.str.15, ptr noundef %631, ptr noundef %632) #7
  %634 = load i32, ptr @wrote_question, align 4, !tbaa !11
  %635 = icmp eq i32 %634, 0
  br i1 %635, label %636, label %644

636:                                              ; preds = %629
  %637 = load ptr, ptr @stdout, align 8, !tbaa !5
  %638 = load ptr, ptr %4, align 8, !tbaa !5
  %639 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %637, ptr noundef @.str.16, ptr noundef %638, i32 noundef 8192) #7
  %640 = load ptr, ptr @stdout, align 8, !tbaa !5
  %641 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %640, ptr noundef @.str.17) #7
  %642 = load ptr, ptr @stdout, align 8, !tbaa !5
  %643 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %642, ptr noundef @.str.18, ptr noundef @.str.19) #7
  store i32 1, ptr @wrote_question, align 4, !tbaa !11
  br label %644

644:                                              ; preds = %636, %629
  %645 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %646 = call i32 @fclose(ptr noundef %645)
  %647 = load ptr, ptr @test_one_file.fpout, align 8, !tbaa !5
  %648 = call i32 @fclose(ptr noundef %647)
  store i32 0, ptr %3, align 4
  store i32 1, ptr %22, align 4
  br label %680

649:                                              ; preds = %619
  %650 = load i64, ptr %84, align 8, !tbaa !9
  %651 = icmp ne i64 %650, 0
  br i1 %651, label %653, label %652

652:                                              ; preds = %649
  store i32 17, ptr %22, align 4
  br label %680

653:                                              ; preds = %649
  %654 = getelementptr inbounds [256 x i8], ptr %20, i64 0, i64 0
  %655 = getelementptr inbounds [256 x i8], ptr %21, i64 0, i64 0
  %656 = load i64, ptr %84, align 8, !tbaa !9
  %657 = call i32 @memcmp(ptr noundef %654, ptr noundef %655, i64 noundef %656) #9
  %658 = icmp ne i32 %657, 0
  br i1 %658, label %659, label %679

659:                                              ; preds = %653
  %660 = load ptr, ptr @stdout, align 8, !tbaa !5
  %661 = load ptr, ptr %4, align 8, !tbaa !5
  %662 = load ptr, ptr %5, align 8, !tbaa !5
  %663 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %660, ptr noundef @.str.20, ptr noundef %661, ptr noundef %662) #7
  %664 = load i32, ptr @wrote_question, align 4, !tbaa !11
  %665 = icmp eq i32 %664, 0
  br i1 %665, label %666, label %674

666:                                              ; preds = %659
  %667 = load ptr, ptr @stdout, align 8, !tbaa !5
  %668 = load ptr, ptr %4, align 8, !tbaa !5
  %669 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %667, ptr noundef @.str.16, ptr noundef %668, i32 noundef 8192) #7
  %670 = load ptr, ptr @stdout, align 8, !tbaa !5
  %671 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %670, ptr noundef @.str.17) #7
  %672 = load ptr, ptr @stdout, align 8, !tbaa !5
  %673 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %672, ptr noundef @.str.18, ptr noundef @.str.19) #7
  store i32 1, ptr @wrote_question, align 4, !tbaa !11
  br label %674

674:                                              ; preds = %666, %659
  %675 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %676 = call i32 @fclose(ptr noundef %675)
  %677 = load ptr, ptr @test_one_file.fpout, align 8, !tbaa !5
  %678 = call i32 @fclose(ptr noundef %677)
  store i32 0, ptr %3, align 4
  store i32 1, ptr %22, align 4
  br label %680

679:                                              ; preds = %653
  store i32 0, ptr %22, align 4
  br label %680

680:                                              ; preds = %679, %674, %652, %644
  call void @llvm.lifetime.end.p0(i64 8, ptr %85) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %84) #7
  %681 = load i32, ptr %22, align 4
  switch i32 %681, label %688 [
    i32 0, label %682
    i32 17, label %683
  ]

682:                                              ; preds = %680
  br label %619

683:                                              ; preds = %680
  %684 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %685 = call i32 @fclose(ptr noundef %684)
  %686 = load ptr, ptr @test_one_file.fpout, align 8, !tbaa !5
  %687 = call i32 @fclose(ptr noundef %686)
  store i32 0, ptr %3, align 4
  store i32 1, ptr %22, align 4
  br label %688

688:                                              ; preds = %683, %680, %612, %604, %138, %120, %97, %89
  call void @llvm.lifetime.end.p0(i64 256, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 256, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #7
  %689 = load i32, ptr %3, align 4
  ret i32 %689
}

declare noalias ptr @fopen(ptr noundef, ptr noundef) #3

declare i32 @fclose(ptr noundef) #3

declare ptr @png_create_read_struct(ptr noundef, ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_read_user_chunk_fn(ptr noundef, ptr noundef, ptr noundef) #3

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

declare ptr @png_create_write_struct(ptr noundef, ptr noundef, ptr noundef, ptr noundef) #3

declare ptr @png_create_info_struct(ptr noundef) #3

; Function Attrs: nounwind returns_twice
declare i32 @_setjmp(ptr noundef) #4

declare void @png_free(ptr noundef, ptr noundef) #3

declare void @png_destroy_read_struct(ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_destroy_info_struct(ptr noundef, ptr noundef) #3

declare void @png_destroy_write_struct(ptr noundef, ptr noundef) #3

declare void @png_init_io(ptr noundef, ptr noundef) #3

declare void @png_set_write_status_fn(ptr noundef, ptr noundef) #3

declare void @png_set_read_status_fn(ptr noundef, ptr noundef) #3

declare void @png_set_read_user_transform_fn(ptr noundef, ptr noundef) #3

declare void @png_set_write_user_transform_fn(ptr noundef, ptr noundef) #3

declare void @png_set_keep_unknown_chunks(ptr noundef, i32 noundef, ptr noundef, i32 noundef) #3

declare void @png_read_info(ptr noundef, ptr noundef) #3

declare i64 @png_get_IHDR(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_IHDR(ptr noundef, ptr noundef, i64 noundef, i64 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) #3

declare i64 @png_get_cHRM_fixed(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_cHRM_fixed(ptr noundef, ptr noundef, i64 noundef, i64 noundef, i64 noundef, i64 noundef, i64 noundef, i64 noundef, i64 noundef, i64 noundef) #3

declare i64 @png_get_gAMA_fixed(ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_gAMA_fixed(ptr noundef, ptr noundef, i64 noundef) #3

declare i64 @png_get_iCCP(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_iCCP(ptr noundef, ptr noundef, ptr noundef, i32 noundef, ptr noundef, i64 noundef) #3

declare i64 @png_get_sRGB(ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_sRGB(ptr noundef, ptr noundef, i32 noundef) #3

declare i64 @png_get_PLTE(ptr noundef, ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_PLTE(ptr noundef, ptr noundef, ptr noundef, i32 noundef) #3

declare i64 @png_get_bKGD(ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_bKGD(ptr noundef, ptr noundef, ptr noundef) #3

declare i64 @png_get_hIST(ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_hIST(ptr noundef, ptr noundef, ptr noundef) #3

declare i64 @png_get_oFFs(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_oFFs(ptr noundef, ptr noundef, i64 noundef, i64 noundef, i32 noundef) #3

declare i64 @png_get_pCAL(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_pCAL(ptr noundef, ptr noundef, ptr noundef, i64 noundef, i64 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef) #3

declare i64 @png_get_pHYs(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_pHYs(ptr noundef, ptr noundef, i64 noundef, i64 noundef, i32 noundef) #3

declare i64 @png_get_sBIT(ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_sBIT(ptr noundef, ptr noundef, ptr noundef) #3

declare i64 @png_get_sCAL(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_sCAL(ptr noundef, ptr noundef, i32 noundef, double noundef, double noundef) #3

declare i64 @png_get_text(ptr noundef, ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_text(ptr noundef, ptr noundef, ptr noundef, i32 noundef) #3

declare i64 @png_get_tIME(ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_tIME(ptr noundef, ptr noundef, ptr noundef) #3

declare ptr @png_convert_to_rfc1123(ptr noundef, ptr noundef) #3

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #5

declare i64 @png_get_tRNS(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_tRNS(ptr noundef, ptr noundef, ptr noundef, i32 noundef, ptr noundef) #3

declare i64 @png_get_unknown_chunks(ptr noundef, ptr noundef, ptr noundef) #3

declare void @png_set_unknown_chunks(ptr noundef, ptr noundef, ptr noundef, i32 noundef) #3

declare void @png_set_unknown_chunk_location(ptr noundef, ptr noundef, i32 noundef, i32 noundef) #3

declare void @png_write_info(ptr noundef, ptr noundef) #3

declare void @png_write_chunk(ptr noundef, ptr noundef, ptr noundef, i64 noundef) #3

declare void @png_save_uint_32(ptr noundef, i64 noundef) #3

declare ptr @png_malloc(ptr noundef, i64 noundef) #3

declare i64 @png_get_rowbytes(ptr noundef, ptr noundef) #3

declare i32 @png_set_interlace_handling(ptr noundef) #3

declare void @png_read_rows(ptr noundef, ptr noundef, ptr noundef, i64 noundef) #3

declare void @png_write_rows(ptr noundef, ptr noundef, i64 noundef) #3

declare void @png_free_data(ptr noundef, ptr noundef, i64 noundef, i32 noundef) #3

declare void @png_read_end(ptr noundef, ptr noundef) #3

declare void @png_write_end(ptr noundef, ptr noundef) #3

declare i64 @png_get_image_width(ptr noundef, ptr noundef) #3

declare i64 @png_get_image_height(ptr noundef, ptr noundef) #3

declare i64 @fread(ptr noundef, i64 noundef, i64 noundef, ptr noundef) #3

; Function Attrs: nounwind willreturn memory(read)
declare i32 @memcmp(ptr noundef, ptr noundef, i64 noundef) #6

attributes #0 = { 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 #1 = { nounwind "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 memory(argmem: readwrite) }
attributes #3 = { "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 returns_twice "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 #5 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #6 = { nounwind willreturn memory(read) "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 #7 = { nounwind }
attributes #8 = { nounwind returns_twice }
attributes #9 = { nounwind willreturn memory(read) }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"long", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = !{!16, !16, i64 0}
!16 = !{!"double", !7, i64 0}
!17 = !{!7, !7, i64 0}
!18 = !{!19, !7, i64 44}
!19 = !{!"png_info_struct", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !6, i64 32, !20, i64 40, !20, i64 42, !7, i64 44, !7, i64 45, !7, i64 46, !7, i64 47, !7, i64 48, !7, i64 49, !7, i64 50, !7, i64 51, !7, i64 52, !21, i64 60, !7, i64 64, !12, i64 68, !12, i64 72, !6, i64 80, !22, i64 88, !23, i64 96, !6, i64 104, !24, i64 112, !24, i64 122, !10, i64 136, !10, i64 144, !7, i64 152, !10, i64 160, !10, i64 168, !7, i64 176, !6, i64 184, !21, i64 192, !21, i64 196, !21, i64 200, !21, i64 204, !21, i64 208, !21, i64 212, !21, i64 216, !21, i64 220, !6, i64 224, !10, i64 232, !10, i64 240, !6, i64 248, !6, i64 256, !7, i64 264, !7, i64 265, !10, i64 272, !6, i64 280, !10, i64 288, !6, i64 296, !6, i64 304, !10, i64 312, !7, i64 320, !6, i64 328, !10, i64 336, !7, i64 344, !16, i64 352, !16, i64 360, !6, i64 368, !6, i64 376, !6, i64 384, !10, i64 392, !10, i64 400, !10, i64 408, !10, i64 416, !10, i64 424, !10, i64 432, !10, i64 440, !10, i64 448, !10, i64 456}
!20 = !{!"short", !7, i64 0}
!21 = !{!"float", !7, i64 0}
!22 = !{!"png_time_struct", !20, i64 0, !7, i64 2, !7, i64 3, !7, i64 4, !7, i64 5, !7, i64 6}
!23 = !{!"png_color_8_struct", !7, i64 0, !7, i64 1, !7, i64 2, !7, i64 3, !7, i64 4}
!24 = !{!"png_color_16_struct", !7, i64 0, !20, i64 2, !20, i64 4, !20, i64 6, !20, i64 8}
!25 = !{!19, !7, i64 45}
!26 = !{!24, !20, i64 8}
!27 = !{!24, !20, i64 2}
!28 = !{!24, !20, i64 4}
!29 = !{!24, !20, i64 6}
!30 = !{!31, !7, i64 24}
!31 = !{!"png_unknown_chunk_t", !7, i64 0, !6, i64 8, !10, i64 16, !7, i64 24}
!32 = distinct !{!32, !14}
!33 = distinct !{!33, !14}
!34 = distinct !{!34, !14}
!35 = distinct !{!35, !14}


; 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.png_unknown_chunk_t = type { [5 x i8], ptr, i64, i8 }

@stdout = external local_unnamed_addr global ptr, align 8
@filters_used = external hidden local_unnamed_addr global [256 x i64], align 16
@zero_samples = external hidden local_unnamed_addr global i64, align 8
@test_one_file.fpin = external hidden local_unnamed_addr global ptr, align 8
@test_one_file.fpout = external hidden local_unnamed_addr global ptr, align 8
@.str.4 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [7 x i8], align 1
@user_chunk_data = external hidden global [4 x i64], align 16
@.str.9 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [30 x i8], align 1
@status_dots_requested = external hidden local_unnamed_addr global i32, align 4
@tIME_string = external hidden local_unnamed_addr global [29 x i8], align 16
@tIME_chunk_present = external hidden local_unnamed_addr global i32, align 4
@__const.test_one_file.png_sTER = external hidden unnamed_addr constant [5 x i8], align 1
@verbose = external hidden local_unnamed_addr global i32, align 4
@.str.11 = external hidden unnamed_addr constant [21 x i8], align 1
@__const.test_one_file.png_vpAg = external hidden unnamed_addr constant [5 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [42 x i8], align 1
@wrote_question = external hidden local_unnamed_addr global i32, align 4
@.str.16 = external hidden unnamed_addr constant [68 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [54 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [32 x i8], align 1

; Function Attrs: nounwind uwtable
declare dso_local void @read_row_callback(ptr noundef, i64 noundef, i32 noundef) #0

; Function Attrs: nofree nounwind
declare noundef i32 @fprintf(ptr nocapture noundef, ptr nocapture noundef readonly, ...) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare dso_local void @write_row_callback(ptr noundef, i64 noundef, i32 noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local void @count_filters(ptr noundef, ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local void @count_zero_samples(ptr noundef, ptr noundef, ptr noundef) #0

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

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

; Function Attrs: nounwind uwtable
define dso_local noundef i32 @test_one_file(ptr noundef %0, ptr noundef %1) local_unnamed_addr #0 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca i64, align 8
  %11 = alloca i64, align 8
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca [256 x i8], align 16
  %15 = alloca [256 x i8], align 16
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i64, align 8
  %20 = alloca i64, align 8
  %21 = alloca i64, align 8
  %22 = alloca i64, align 8
  %23 = alloca i64, align 8
  %24 = alloca i64, align 8
  %25 = alloca i64, align 8
  %26 = alloca i64, align 8
  %27 = alloca i64, align 8
  %28 = alloca ptr, align 8
  %29 = alloca ptr, align 8
  %30 = alloca i64, align 8
  %31 = alloca i32, align 4
  %32 = alloca i32, align 4
  %33 = alloca ptr, align 8
  %34 = alloca i32, align 4
  %35 = alloca ptr, align 8
  %36 = alloca ptr, align 8
  %37 = alloca i64, align 8
  %38 = alloca i64, align 8
  %39 = alloca i32, align 4
  %40 = alloca ptr, align 8
  %41 = alloca ptr, align 8
  %42 = alloca ptr, align 8
  %43 = alloca i64, align 8
  %44 = alloca i64, align 8
  %45 = alloca i32, align 4
  %46 = alloca i32, align 4
  %47 = alloca i64, align 8
  %48 = alloca i64, align 8
  %49 = alloca i32, align 4
  %50 = alloca ptr, align 8
  %51 = alloca i32, align 4
  %52 = alloca double, align 8
  %53 = alloca double, align 8
  %54 = alloca ptr, align 8
  %55 = alloca i32, align 4
  %56 = alloca ptr, align 8
  %57 = alloca ptr, align 8
  %58 = alloca i32, align 4
  %59 = alloca ptr, align 8
  %60 = alloca ptr, align 8
  %61 = alloca [5 x i8], align 1
  %62 = alloca [1 x i8], align 1
  %63 = alloca [5 x i8], align 1
  %64 = alloca [9 x i8], align 1
  %65 = alloca ptr, align 8
  %66 = alloca i32, align 4
  %67 = alloca ptr, align 8
  %68 = alloca ptr, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %3) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %12) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %13) #9
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %14) #9
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %15) #9
  store ptr null, ptr %9, align 8, !tbaa !5
  %69 = call noalias ptr @fopen(ptr noundef %0, ptr noundef nonnull @.str.4)
  store ptr %69, ptr @test_one_file.fpin, align 8, !tbaa !5
  %70 = icmp eq ptr %69, null
  br i1 %70, label %71, label %74

71:                                               ; preds = %2
  %72 = load ptr, ptr @stdout, align 8, !tbaa !5
  %73 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %72, ptr noundef nonnull @.str.5, ptr noundef %0) #9
  br label %.thread91

74:                                               ; preds = %2
  %75 = call noalias ptr @fopen(ptr noundef %1, ptr noundef nonnull @.str.6)
  store ptr %75, ptr @test_one_file.fpout, align 8, !tbaa !5
  %76 = icmp eq ptr %75, null
  br i1 %76, label %77, label %82

77:                                               ; preds = %74
  %78 = load ptr, ptr @stdout, align 8, !tbaa !5
  %79 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %78, ptr noundef nonnull @.str.7, ptr noundef %1) #9
  %80 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %81 = call i32 @fclose(ptr noundef %80)
  br label %.thread91

82:                                               ; preds = %74
  %83 = call ptr @png_create_read_struct(ptr noundef nonnull @.str.8, ptr noundef null, ptr noundef null, ptr noundef null) #9
  store ptr %83, ptr %3, align 8, !tbaa !5
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(32) @user_chunk_data, i8 0, i64 32, i1 false)
  call void @png_set_read_user_chunk_fn(ptr noundef %83, ptr noundef nonnull @user_chunk_data, ptr noundef nonnull @read_user_chunk_callback) #9
  %84 = call ptr @png_create_write_struct(ptr noundef nonnull @.str.8, ptr noundef null, ptr noundef null, ptr noundef null) #9
  store ptr %84, ptr %6, align 8, !tbaa !5
  %85 = load ptr, ptr %3, align 8, !tbaa !5
  %86 = call ptr @png_create_info_struct(ptr noundef %85) #9
  store ptr %86, ptr %4, align 8, !tbaa !5
  %87 = load ptr, ptr %3, align 8, !tbaa !5
  %88 = call ptr @png_create_info_struct(ptr noundef %87) #9
  store ptr %88, ptr %5, align 8, !tbaa !5
  %89 = load ptr, ptr %6, align 8, !tbaa !5
  %90 = call ptr @png_create_info_struct(ptr noundef %89) #9
  store ptr %90, ptr %7, align 8, !tbaa !5
  %91 = load ptr, ptr %6, align 8, !tbaa !5
  %92 = call ptr @png_create_info_struct(ptr noundef %91) #9
  store ptr %92, ptr %8, align 8, !tbaa !5
  %93 = load ptr, ptr %3, align 8, !tbaa !5
  %94 = call i32 @_setjmp(ptr noundef %93) #10
  %.not = icmp eq i32 %94, 0
  br i1 %.not, label %105, label %95

95:                                               ; preds = %82
  %96 = load ptr, ptr @stdout, align 8, !tbaa !5
  %97 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %96, ptr noundef nonnull @.str.9, ptr noundef %0, ptr noundef %1) #9
  %98 = load ptr, ptr %3, align 8, !tbaa !5
  %99 = load ptr, ptr %9, align 8, !tbaa !5
  call void @png_free(ptr noundef %98, ptr noundef %99) #9
  call void @png_destroy_read_struct(ptr noundef nonnull %3, ptr noundef nonnull %4, ptr noundef nonnull %5) #9
  %100 = load ptr, ptr %6, align 8, !tbaa !5
  call void @png_destroy_info_struct(ptr noundef %100, ptr noundef nonnull %8) #9
  call void @png_destroy_write_struct(ptr noundef nonnull %6, ptr noundef nonnull %7) #9
  %101 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %102 = call i32 @fclose(ptr noundef %101)
  %103 = load ptr, ptr @test_one_file.fpout, align 8, !tbaa !5
  %104 = call i32 @fclose(ptr noundef %103)
  br label %.thread91

105:                                              ; preds = %82
  %106 = load ptr, ptr %6, align 8, !tbaa !5
  %107 = call i32 @_setjmp(ptr noundef %106) #10
  %.not62 = icmp eq i32 %107, 0
  br i1 %.not62, label %116, label %108

108:                                              ; preds = %105
  %109 = load ptr, ptr @stdout, align 8, !tbaa !5
  %110 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %109, ptr noundef nonnull @.str.10, ptr noundef %0, ptr noundef %1) #9
  call void @png_destroy_read_struct(ptr noundef nonnull %3, ptr noundef nonnull %4, ptr noundef nonnull %5) #9
  %111 = load ptr, ptr %6, align 8, !tbaa !5
  call void @png_destroy_info_struct(ptr noundef %111, ptr noundef nonnull %8) #9
  call void @png_destroy_write_struct(ptr noundef nonnull %6, ptr noundef nonnull %7) #9
  %112 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %113 = call i32 @fclose(ptr noundef %112)
  %114 = load ptr, ptr @test_one_file.fpout, align 8, !tbaa !5
  %115 = call i32 @fclose(ptr noundef %114)
  br label %.thread91

116:                                              ; preds = %105
  %117 = load ptr, ptr %3, align 8, !tbaa !5
  %118 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  call void @png_init_io(ptr noundef %117, ptr noundef %118) #9
  %119 = load ptr, ptr %6, align 8, !tbaa !5
  %120 = load ptr, ptr @test_one_file.fpout, align 8, !tbaa !5
  call void @png_init_io(ptr noundef %119, ptr noundef %120) #9
  %121 = load i32, ptr @status_dots_requested, align 4, !tbaa !9
  %122 = icmp eq i32 %121, 1
  %123 = load ptr, ptr %6, align 8, !tbaa !5
  br i1 %122, label %124, label %126

124:                                              ; preds = %116
  call void @png_set_write_status_fn(ptr noundef %123, ptr noundef nonnull @write_row_callback) #9
  %125 = load ptr, ptr %3, align 8, !tbaa !5
  call void @png_set_read_status_fn(ptr noundef %125, ptr noundef nonnull @read_row_callback) #9
  br label %128

126:                                              ; preds = %116
  call void @png_set_write_status_fn(ptr noundef %123, ptr noundef null) #9
  %127 = load ptr, ptr %3, align 8, !tbaa !5
  call void @png_set_read_status_fn(ptr noundef %127, ptr noundef null) #9
  br label %128

128:                                              ; preds = %126, %124
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(2048) @filters_used, i8 0, i64 2048, i1 false), !tbaa !11
  %129 = load ptr, ptr %3, align 8, !tbaa !5
  call void @png_set_read_user_transform_fn(ptr noundef %129, ptr noundef nonnull @count_filters) #9
  store i64 0, ptr @zero_samples, align 8, !tbaa !11
  %130 = load ptr, ptr %6, align 8, !tbaa !5
  call void @png_set_write_user_transform_fn(ptr noundef %130, ptr noundef nonnull @count_zero_samples) #9
  %131 = load ptr, ptr %3, align 8, !tbaa !5
  call void @png_set_keep_unknown_chunks(ptr noundef %131, i32 noundef 3, ptr noundef null, i32 noundef 0) #9
  %132 = load ptr, ptr %6, align 8, !tbaa !5
  call void @png_set_keep_unknown_chunks(ptr noundef %132, i32 noundef 2, ptr noundef null, i32 noundef 0) #9
  %133 = load ptr, ptr %3, align 8, !tbaa !5
  %134 = load ptr, ptr %4, align 8, !tbaa !5
  call void @png_read_info(ptr noundef %133, ptr noundef %134) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %16) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %17) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %18) #9
  %135 = load ptr, ptr %3, align 8, !tbaa !5
  %136 = load ptr, ptr %4, align 8, !tbaa !5
  %137 = call i64 @png_get_IHDR(ptr noundef %135, ptr noundef %136, ptr noundef nonnull %10, ptr noundef nonnull %11, ptr noundef nonnull %12, ptr noundef nonnull %13, ptr noundef nonnull %16, ptr noundef nonnull %17, ptr noundef nonnull %18) #9
  %.not63 = icmp eq i64 %137, 0
  br i1 %.not63, label %148, label %138

138:                                              ; preds = %128
  %139 = load ptr, ptr %6, align 8, !tbaa !5
  %140 = load ptr, ptr %7, align 8, !tbaa !5
  %141 = load i64, ptr %10, align 8, !tbaa !11
  %142 = load i64, ptr %11, align 8, !tbaa !11
  %143 = load i32, ptr %12, align 4, !tbaa !9
  %144 = load i32, ptr %13, align 4, !tbaa !9
  %145 = load i32, ptr %16, align 4, !tbaa !9
  %146 = load i32, ptr %17, align 4, !tbaa !9
  %147 = load i32, ptr %18, align 4, !tbaa !9
  call void @png_set_IHDR(ptr noundef %139, ptr noundef %140, i64 noundef %141, i64 noundef %142, i32 noundef %143, i32 noundef %144, i32 noundef %145, i32 noundef %146, i32 noundef %147) #9
  br label %148

148:                                              ; preds = %138, %128
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %18) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %17) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %16) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %20) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %21) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %22) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %23) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %24) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %25) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %26) #9
  %149 = load ptr, ptr %3, align 8, !tbaa !5
  %150 = load ptr, ptr %4, align 8, !tbaa !5
  %151 = call i64 @png_get_cHRM_fixed(ptr noundef %149, ptr noundef %150, ptr noundef nonnull %19, ptr noundef nonnull %20, ptr noundef nonnull %21, ptr noundef nonnull %22, ptr noundef nonnull %23, ptr noundef nonnull %24, ptr noundef nonnull %25, ptr noundef nonnull %26) #9
  %.not64 = icmp eq i64 %151, 0
  br i1 %.not64, label %163, label %152

152:                                              ; preds = %148
  %153 = load ptr, ptr %6, align 8, !tbaa !5
  %154 = load ptr, ptr %7, align 8, !tbaa !5
  %155 = load i64, ptr %19, align 8, !tbaa !11
  %156 = load i64, ptr %20, align 8, !tbaa !11
  %157 = load i64, ptr %21, align 8, !tbaa !11
  %158 = load i64, ptr %22, align 8, !tbaa !11
  %159 = load i64, ptr %23, align 8, !tbaa !11
  %160 = load i64, ptr %24, align 8, !tbaa !11
  %161 = load i64, ptr %25, align 8, !tbaa !11
  %162 = load i64, ptr %26, align 8, !tbaa !11
  call void @png_set_cHRM_fixed(ptr noundef %153, ptr noundef %154, i64 noundef %155, i64 noundef %156, i64 noundef %157, i64 noundef %158, i64 noundef %159, i64 noundef %160, i64 noundef %161, i64 noundef %162) #9
  br label %163

163:                                              ; preds = %152, %148
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %26) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %27) #9
  %164 = load ptr, ptr %3, align 8, !tbaa !5
  %165 = load ptr, ptr %4, align 8, !tbaa !5
  %166 = call i64 @png_get_gAMA_fixed(ptr noundef %164, ptr noundef %165, ptr noundef nonnull %27) #9
  %.not65 = icmp eq i64 %166, 0
  br i1 %.not65, label %171, label %167

167:                                              ; preds = %163
  %168 = load ptr, ptr %6, align 8, !tbaa !5
  %169 = load ptr, ptr %7, align 8, !tbaa !5
  %170 = load i64, ptr %27, align 8, !tbaa !11
  call void @png_set_gAMA_fixed(ptr noundef %168, ptr noundef %169, i64 noundef %170) #9
  br label %171

171:                                              ; preds = %167, %163
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %27) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %28) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %29) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %30) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %31) #9
  %172 = load ptr, ptr %3, align 8, !tbaa !5
  %173 = load ptr, ptr %4, align 8, !tbaa !5
  %174 = call i64 @png_get_iCCP(ptr noundef %172, ptr noundef %173, ptr noundef nonnull %28, ptr noundef nonnull %31, ptr noundef nonnull %29, ptr noundef nonnull %30) #9
  %.not66 = icmp eq i64 %174, 0
  br i1 %.not66, label %182, label %175

175:                                              ; preds = %171
  %176 = load ptr, ptr %6, align 8, !tbaa !5
  %177 = load ptr, ptr %7, align 8, !tbaa !5
  %178 = load ptr, ptr %28, align 8, !tbaa !5
  %179 = load i32, ptr %31, align 4, !tbaa !9
  %180 = load ptr, ptr %29, align 8, !tbaa !5
  %181 = load i64, ptr %30, align 8, !tbaa !11
  call void @png_set_iCCP(ptr noundef %176, ptr noundef %177, ptr noundef %178, i32 noundef %179, ptr noundef %180, i64 noundef %181) #9
  br label %182

182:                                              ; preds = %175, %171
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %31) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %30) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %29) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %28) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %32) #9
  %183 = load ptr, ptr %3, align 8, !tbaa !5
  %184 = load ptr, ptr %4, align 8, !tbaa !5
  %185 = call i64 @png_get_sRGB(ptr noundef %183, ptr noundef %184, ptr noundef nonnull %32) #9
  %.not67 = icmp eq i64 %185, 0
  br i1 %.not67, label %190, label %186

186:                                              ; preds = %182
  %187 = load ptr, ptr %6, align 8, !tbaa !5
  %188 = load ptr, ptr %7, align 8, !tbaa !5
  %189 = load i32, ptr %32, align 4, !tbaa !9
  call void @png_set_sRGB(ptr noundef %187, ptr noundef %188, i32 noundef %189) #9
  br label %190

190:                                              ; preds = %186, %182
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %32) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %33) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %34) #9
  %191 = load ptr, ptr %3, align 8, !tbaa !5
  %192 = load ptr, ptr %4, align 8, !tbaa !5
  %193 = call i64 @png_get_PLTE(ptr noundef %191, ptr noundef %192, ptr noundef nonnull %33, ptr noundef nonnull %34) #9
  %.not68 = icmp eq i64 %193, 0
  br i1 %.not68, label %199, label %194

194:                                              ; preds = %190
  %195 = load ptr, ptr %6, align 8, !tbaa !5
  %196 = load ptr, ptr %7, align 8, !tbaa !5
  %197 = load ptr, ptr %33, align 8, !tbaa !5
  %198 = load i32, ptr %34, align 4, !tbaa !9
  call void @png_set_PLTE(ptr noundef %195, ptr noundef %196, ptr noundef %197, i32 noundef %198) #9
  br label %199

199:                                              ; preds = %194, %190
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %34) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %33) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %35) #9
  %200 = load ptr, ptr %3, align 8, !tbaa !5
  %201 = load ptr, ptr %4, align 8, !tbaa !5
  %202 = call i64 @png_get_bKGD(ptr noundef %200, ptr noundef %201, ptr noundef nonnull %35) #9
  %.not69 = icmp eq i64 %202, 0
  br i1 %.not69, label %207, label %203

203:                                              ; preds = %199
  %204 = load ptr, ptr %6, align 8, !tbaa !5
  %205 = load ptr, ptr %7, align 8, !tbaa !5
  %206 = load ptr, ptr %35, align 8, !tbaa !5
  call void @png_set_bKGD(ptr noundef %204, ptr noundef %205, ptr noundef %206) #9
  br label %207

207:                                              ; preds = %203, %199
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %35) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %36) #9
  %208 = load ptr, ptr %3, align 8, !tbaa !5
  %209 = load ptr, ptr %4, align 8, !tbaa !5
  %210 = call i64 @png_get_hIST(ptr noundef %208, ptr noundef %209, ptr noundef nonnull %36) #9
  %.not70 = icmp eq i64 %210, 0
  br i1 %.not70, label %215, label %211

211:                                              ; preds = %207
  %212 = load ptr, ptr %6, align 8, !tbaa !5
  %213 = load ptr, ptr %7, align 8, !tbaa !5
  %214 = load ptr, ptr %36, align 8, !tbaa !5
  call void @png_set_hIST(ptr noundef %212, ptr noundef %213, ptr noundef %214) #9
  br label %215

215:                                              ; preds = %211, %207
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %36) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %37) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %38) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %39) #9
  %216 = load ptr, ptr %3, align 8, !tbaa !5
  %217 = load ptr, ptr %4, align 8, !tbaa !5
  %218 = call i64 @png_get_oFFs(ptr noundef %216, ptr noundef %217, ptr noundef nonnull %37, ptr noundef nonnull %38, ptr noundef nonnull %39) #9
  %.not71 = icmp eq i64 %218, 0
  br i1 %.not71, label %225, label %219

219:                                              ; preds = %215
  %220 = load ptr, ptr %6, align 8, !tbaa !5
  %221 = load ptr, ptr %7, align 8, !tbaa !5
  %222 = load i64, ptr %37, align 8, !tbaa !11
  %223 = load i64, ptr %38, align 8, !tbaa !11
  %224 = load i32, ptr %39, align 4, !tbaa !9
  call void @png_set_oFFs(ptr noundef %220, ptr noundef %221, i64 noundef %222, i64 noundef %223, i32 noundef %224) #9
  br label %225

225:                                              ; preds = %219, %215
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %39) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %38) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %37) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %40) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %41) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %42) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %43) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %44) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %45) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %46) #9
  %226 = load ptr, ptr %3, align 8, !tbaa !5
  %227 = load ptr, ptr %4, align 8, !tbaa !5
  %228 = call i64 @png_get_pCAL(ptr noundef %226, ptr noundef %227, ptr noundef nonnull %40, ptr noundef nonnull %43, ptr noundef nonnull %44, ptr noundef nonnull %45, ptr noundef nonnull %46, ptr noundef nonnull %41, ptr noundef nonnull %42) #9
  %.not72 = icmp eq i64 %228, 0
  br i1 %.not72, label %239, label %229

229:                                              ; preds = %225
  %230 = load ptr, ptr %6, align 8, !tbaa !5
  %231 = load ptr, ptr %7, align 8, !tbaa !5
  %232 = load ptr, ptr %40, align 8, !tbaa !5
  %233 = load i64, ptr %43, align 8, !tbaa !11
  %234 = load i64, ptr %44, align 8, !tbaa !11
  %235 = load i32, ptr %45, align 4, !tbaa !9
  %236 = load i32, ptr %46, align 4, !tbaa !9
  %237 = load ptr, ptr %41, align 8, !tbaa !5
  %238 = load ptr, ptr %42, align 8, !tbaa !5
  call void @png_set_pCAL(ptr noundef %230, ptr noundef %231, ptr noundef %232, i64 noundef %233, i64 noundef %234, i32 noundef %235, i32 noundef %236, ptr noundef %237, ptr noundef %238) #9
  br label %239

239:                                              ; preds = %229, %225
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %46) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %45) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %44) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %43) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %42) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %41) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %40) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %47) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %48) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %49) #9
  %240 = load ptr, ptr %3, align 8, !tbaa !5
  %241 = load ptr, ptr %4, align 8, !tbaa !5
  %242 = call i64 @png_get_pHYs(ptr noundef %240, ptr noundef %241, ptr noundef nonnull %47, ptr noundef nonnull %48, ptr noundef nonnull %49) #9
  %.not73 = icmp eq i64 %242, 0
  br i1 %.not73, label %249, label %243

243:                                              ; preds = %239
  %244 = load ptr, ptr %6, align 8, !tbaa !5
  %245 = load ptr, ptr %7, align 8, !tbaa !5
  %246 = load i64, ptr %47, align 8, !tbaa !11
  %247 = load i64, ptr %48, align 8, !tbaa !11
  %248 = load i32, ptr %49, align 4, !tbaa !9
  call void @png_set_pHYs(ptr noundef %244, ptr noundef %245, i64 noundef %246, i64 noundef %247, i32 noundef %248) #9
  br label %249

249:                                              ; preds = %243, %239
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %49) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %48) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %47) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %50) #9
  %250 = load ptr, ptr %3, align 8, !tbaa !5
  %251 = load ptr, ptr %4, align 8, !tbaa !5
  %252 = call i64 @png_get_sBIT(ptr noundef %250, ptr noundef %251, ptr noundef nonnull %50) #9
  %.not74 = icmp eq i64 %252, 0
  br i1 %.not74, label %257, label %253

253:                                              ; preds = %249
  %254 = load ptr, ptr %6, align 8, !tbaa !5
  %255 = load ptr, ptr %7, align 8, !tbaa !5
  %256 = load ptr, ptr %50, align 8, !tbaa !5
  call void @png_set_sBIT(ptr noundef %254, ptr noundef %255, ptr noundef %256) #9
  br label %257

257:                                              ; preds = %253, %249
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %50) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %51) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %52) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %53) #9
  %258 = load ptr, ptr %3, align 8, !tbaa !5
  %259 = load ptr, ptr %4, align 8, !tbaa !5
  %260 = call i64 @png_get_sCAL(ptr noundef %258, ptr noundef %259, ptr noundef nonnull %51, ptr noundef nonnull %52, ptr noundef nonnull %53) #9
  %.not75 = icmp eq i64 %260, 0
  br i1 %.not75, label %267, label %261

261:                                              ; preds = %257
  %262 = load ptr, ptr %6, align 8, !tbaa !5
  %263 = load ptr, ptr %7, align 8, !tbaa !5
  %264 = load i32, ptr %51, align 4, !tbaa !9
  %265 = load double, ptr %52, align 8, !tbaa !13
  %266 = load double, ptr %53, align 8, !tbaa !13
  call void @png_set_sCAL(ptr noundef %262, ptr noundef %263, i32 noundef %264, double noundef %265, double noundef %266) #9
  br label %267

267:                                              ; preds = %261, %257
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %53) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %52) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %51) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %54) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %55) #9
  %268 = load ptr, ptr %3, align 8, !tbaa !5
  %269 = load ptr, ptr %4, align 8, !tbaa !5
  %270 = call i64 @png_get_text(ptr noundef %268, ptr noundef %269, ptr noundef nonnull %54, ptr noundef nonnull %55) #9
  %.not76 = icmp eq i64 %270, 0
  br i1 %.not76, label %276, label %271

271:                                              ; preds = %267
  %272 = load ptr, ptr %6, align 8, !tbaa !5
  %273 = load ptr, ptr %7, align 8, !tbaa !5
  %274 = load ptr, ptr %54, align 8, !tbaa !5
  %275 = load i32, ptr %55, align 4, !tbaa !9
  call void @png_set_text(ptr noundef %272, ptr noundef %273, ptr noundef %274, i32 noundef %275) #9
  br label %276

276:                                              ; preds = %271, %267
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %55) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %54) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %56) #9
  %277 = load ptr, ptr %3, align 8, !tbaa !5
  %278 = load ptr, ptr %4, align 8, !tbaa !5
  %279 = call i64 @png_get_tIME(ptr noundef %277, ptr noundef %278, ptr noundef nonnull %56) #9
  %.not77 = icmp eq i64 %279, 0
  br i1 %.not77, label %289, label %280

280:                                              ; preds = %276
  %281 = load ptr, ptr %6, align 8, !tbaa !5
  %282 = load ptr, ptr %7, align 8, !tbaa !5
  %283 = load ptr, ptr %56, align 8, !tbaa !5
  call void @png_set_tIME(ptr noundef %281, ptr noundef %282, ptr noundef %283) #9
  %284 = load ptr, ptr %3, align 8, !tbaa !5
  %285 = load ptr, ptr %56, align 8, !tbaa !5
  %286 = call ptr @png_convert_to_rfc1123(ptr noundef %284, ptr noundef %285) #9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(29) @tIME_string, ptr noundef nonnull align 1 dereferenceable(29) %286, i64 29, i1 false)
  store i8 0, ptr getelementptr inbounds (i8, ptr @tIME_string, i64 28), align 4, !tbaa !15
  %287 = load i32, ptr @tIME_chunk_present, align 4, !tbaa !9
  %288 = add nsw i32 %287, 1
  store i32 %288, ptr @tIME_chunk_present, align 4, !tbaa !9
  br label %289

289:                                              ; preds = %280, %276
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %56) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %57) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %58) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %59) #9
  %290 = load ptr, ptr %3, align 8, !tbaa !5
  %291 = load ptr, ptr %4, align 8, !tbaa !5
  %292 = call i64 @png_get_tRNS(ptr noundef %290, ptr noundef %291, ptr noundef nonnull %57, ptr noundef nonnull %58, ptr noundef nonnull %59) #9
  %.not78 = icmp eq i64 %292, 0
  %.pre116 = load ptr, ptr %4, align 8, !tbaa !5
  br i1 %.not78, label %324, label %293

293:                                              ; preds = %289
  %294 = getelementptr inbounds i8, ptr %.pre116, i64 44
  %295 = load i8, ptr %294, align 4, !tbaa !16
  %296 = zext nneg i8 %295 to i32
  %297 = shl nuw i32 1, %296
  %298 = getelementptr inbounds i8, ptr %.pre116, i64 45
  %299 = load i8, ptr %298, align 1, !tbaa !23
  %.pre = load ptr, ptr %59, align 8, !tbaa !5
  switch i8 %299, label %.thread [
    i8 0, label %300
    i8 2, label %305
  ]

300:                                              ; preds = %293
  %301 = getelementptr inbounds i8, ptr %.pre, i64 8
  %302 = load i16, ptr %301, align 2, !tbaa !24
  %303 = zext i16 %302 to i32
  %304 = icmp slt i32 %297, %303
  br i1 %304, label %324, label %.thread

305:                                              ; preds = %293
  %306 = getelementptr inbounds i8, ptr %.pre, i64 2
  %307 = load i16, ptr %306, align 2, !tbaa !25
  %308 = zext i16 %307 to i32
  %309 = icmp slt i32 %297, %308
  br i1 %309, label %324, label %310

310:                                              ; preds = %305
  %311 = getelementptr inbounds i8, ptr %.pre, i64 4
  %312 = load i16, ptr %311, align 2, !tbaa !26
  %313 = zext i16 %312 to i32
  %314 = icmp ult i32 %297, %313
  br i1 %314, label %324, label %315

315:                                              ; preds = %310
  %316 = getelementptr inbounds i8, ptr %.pre, i64 6
  %317 = load i16, ptr %316, align 2, !tbaa !27
  %318 = zext i16 %317 to i32
  %319 = icmp ult i32 %297, %318
  br i1 %319, label %324, label %.thread

.thread:                                          ; preds = %293, %300, %315
  %320 = load ptr, ptr %6, align 8, !tbaa !5
  %321 = load ptr, ptr %7, align 8, !tbaa !5
  %322 = load ptr, ptr %57, align 8, !tbaa !5
  %323 = load i32, ptr %58, align 4, !tbaa !9
  call void @png_set_tRNS(ptr noundef %320, ptr noundef %321, ptr noundef %322, i32 noundef %323, ptr noundef %.pre) #9
  %.pre115 = load ptr, ptr %4, align 8, !tbaa !5
  br label %324

324:                                              ; preds = %300, %305, %310, %315, %.thread, %289
  %325 = phi ptr [ %.pre116, %300 ], [ %.pre116, %305 ], [ %.pre116, %310 ], [ %.pre116, %315 ], [ %.pre115, %.thread ], [ %.pre116, %289 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %59) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %58) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %57) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %60) #9
  %326 = load ptr, ptr %3, align 8, !tbaa !5
  %327 = call i64 @png_get_unknown_chunks(ptr noundef %326, ptr noundef %325, ptr noundef nonnull %60) #9
  %328 = trunc i64 %327 to i32
  %.not79 = icmp eq i32 %328, 0
  br i1 %.not79, label %.loopexit96, label %329

329:                                              ; preds = %324
  %330 = load ptr, ptr %6, align 8, !tbaa !5
  %331 = load ptr, ptr %7, align 8, !tbaa !5
  %332 = load ptr, ptr %60, align 8, !tbaa !5
  call void @png_set_unknown_chunks(ptr noundef %330, ptr noundef %331, ptr noundef %332, i32 noundef %328) #9
  %sext = shl i64 %327, 32
  %.not106 = icmp eq i64 %sext, 0
  br i1 %.not106, label %.loopexit96, label %.lr.ph.preheader

.lr.ph.preheader:                                 ; preds = %329
  %333 = ashr exact i64 %sext, 32
  %umax = call i64 @llvm.umax.i64(i64 %333, i64 1)
  br label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph.preheader, %.lr.ph
  %.05798 = phi i64 [ %341, %.lr.ph ], [ 0, %.lr.ph.preheader ]
  %334 = load ptr, ptr %6, align 8, !tbaa !5
  %335 = load ptr, ptr %7, align 8, !tbaa !5
  %336 = trunc i64 %.05798 to i32
  %337 = load ptr, ptr %60, align 8, !tbaa !5
  %338 = getelementptr inbounds %struct.png_unknown_chunk_t, ptr %337, i64 %.05798, i32 3
  %339 = load i8, ptr %338, align 8, !tbaa !28
  %340 = zext i8 %339 to i32
  call void @png_set_unknown_chunk_location(ptr noundef %334, ptr noundef %335, i32 noundef %336, i32 noundef %340) #9
  %341 = add nuw i64 %.05798, 1
  %exitcond.not = icmp eq i64 %341, %umax
  br i1 %exitcond.not, label %.loopexit96, label %.lr.ph, !llvm.loop !30

.loopexit96:                                      ; preds = %.lr.ph, %329, %324
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %60) #9
  %342 = load ptr, ptr %6, align 8, !tbaa !5
  %343 = load ptr, ptr %7, align 8, !tbaa !5
  call void @png_write_info(ptr noundef %342, ptr noundef %343) #9
  %344 = load i64, ptr @user_chunk_data, align 16, !tbaa !11
  %.not80 = icmp eq i64 %344, 0
  br i1 %.not80, label %356, label %345

345:                                              ; preds = %.loopexit96
  call void @llvm.lifetime.start.p0(i64 5, ptr nonnull %61) #9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(5) %61, ptr noundef nonnull align 1 dereferenceable(5) @__const.test_one_file.png_sTER, i64 5, i1 false)
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %62) #9
  %346 = load i32, ptr @verbose, align 4, !tbaa !9
  %.not81 = icmp eq i32 %346, 0
  br i1 %.not81, label %351, label %347

347:                                              ; preds = %345
  %348 = load ptr, ptr @stdout, align 8, !tbaa !5
  %349 = add i64 %344, -1
  %350 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %348, ptr noundef nonnull @.str.11, i64 noundef %349) #9
  %.pre117 = load i64, ptr @user_chunk_data, align 16, !tbaa !11
  br label %351

351:                                              ; preds = %347, %345
  %352 = phi i64 [ %.pre117, %347 ], [ %344, %345 ]
  %353 = trunc i64 %352 to i8
  %354 = add i8 %353, -1
  store i8 %354, ptr %62, align 1, !tbaa !15
  %355 = load ptr, ptr %6, align 8, !tbaa !5
  call void @png_write_chunk(ptr noundef %355, ptr noundef nonnull %61, ptr noundef nonnull %62, i64 noundef 1) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %62) #9
  call void @llvm.lifetime.end.p0(i64 5, ptr nonnull %61) #9
  br label %356

356:                                              ; preds = %351, %.loopexit96
  %357 = load i64, ptr getelementptr inbounds (i8, ptr @user_chunk_data, i64 8), align 8, !tbaa !11
  %358 = icmp ne i64 %357, 0
  %359 = load i64, ptr getelementptr inbounds (i8, ptr @user_chunk_data, i64 16), align 16
  %360 = icmp ne i64 %359, 0
  %or.cond = select i1 %358, i1 true, i1 %360
  br i1 %or.cond, label %361, label %375

361:                                              ; preds = %356
  call void @llvm.lifetime.start.p0(i64 5, ptr nonnull %63) #9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(5) %63, ptr noundef nonnull align 1 dereferenceable(5) @__const.test_one_file.png_vpAg, i64 5, i1 false)
  call void @llvm.lifetime.start.p0(i64 9, ptr nonnull %64) #9
  %362 = load i32, ptr @verbose, align 4, !tbaa !9
  %.not82 = icmp eq i32 %362, 0
  br i1 %.not82, label %367, label %363

363:                                              ; preds = %361
  %364 = load ptr, ptr @stdout, align 8, !tbaa !5
  %365 = load i64, ptr getelementptr inbounds (i8, ptr @user_chunk_data, i64 24), align 8, !tbaa !11
  %366 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %364, ptr noundef nonnull @.str.12, i64 noundef %357, i64 noundef %359, i64 noundef %365) #9
  %.pre118 = load i64, ptr getelementptr inbounds (i8, ptr @user_chunk_data, i64 8), align 8, !tbaa !11
  br label %367

367:                                              ; preds = %363, %361
  %368 = phi i64 [ %.pre118, %363 ], [ %357, %361 ]
  call void @png_save_uint_32(ptr noundef nonnull %64, i64 noundef %368) #9
  %369 = getelementptr inbounds i8, ptr %64, i64 4
  %370 = load i64, ptr getelementptr inbounds (i8, ptr @user_chunk_data, i64 16), align 16, !tbaa !11
  call void @png_save_uint_32(ptr noundef nonnull %369, i64 noundef %370) #9
  %371 = load i64, ptr getelementptr inbounds (i8, ptr @user_chunk_data, i64 24), align 8, !tbaa !11
  %372 = trunc i64 %371 to i8
  %373 = getelementptr inbounds i8, ptr %64, i64 8
  store i8 %372, ptr %373, align 1, !tbaa !15
  %374 = load ptr, ptr %6, align 8, !tbaa !5
  call void @png_write_chunk(ptr noundef %374, ptr noundef nonnull %63, ptr noundef nonnull %64, i64 noundef 9) #9
  call void @llvm.lifetime.end.p0(i64 9, ptr nonnull %64) #9
  call void @llvm.lifetime.end.p0(i64 5, ptr nonnull %63) #9
  br label %375

375:                                              ; preds = %356, %367
  %376 = load ptr, ptr %3, align 8, !tbaa !5
  %377 = load ptr, ptr %4, align 8, !tbaa !5
  %378 = call i64 @png_get_rowbytes(ptr noundef %376, ptr noundef %377) #9
  %379 = call ptr @png_malloc(ptr noundef %376, i64 noundef %378) #9
  store ptr %379, ptr %9, align 8, !tbaa !5
  %380 = load ptr, ptr %3, align 8, !tbaa !5
  %381 = call i32 @png_set_interlace_handling(ptr noundef %380) #9
  %382 = load ptr, ptr %6, align 8, !tbaa !5
  %383 = call i32 @png_set_interlace_handling(ptr noundef %382) #9
  %384 = icmp slt i32 %381, 1
  %385 = load i64, ptr %11, align 8
  %.not107 = icmp eq i64 %385, 0
  %or.cond119 = select i1 %384, i1 true, i1 %.not107
  br i1 %or.cond119, label %._crit_edge102, label %.preheader95

.preheader95:                                     ; preds = %375, %._crit_edge
  %386 = phi i64 [ %392, %._crit_edge ], [ 1, %375 ]
  %.053101 = phi i32 [ %393, %._crit_edge ], [ 0, %375 ]
  %.not108 = icmp eq i64 %386, 0
  br i1 %.not108, label %._crit_edge, label %.lr.ph100

.lr.ph100:                                        ; preds = %.preheader95, %.lr.ph100
  %.05299 = phi i64 [ %389, %.lr.ph100 ], [ 0, %.preheader95 ]
  %387 = load ptr, ptr %3, align 8, !tbaa !5
  call void @png_read_rows(ptr noundef %387, ptr noundef nonnull %9, ptr noundef null, i64 noundef 1) #9
  %388 = load ptr, ptr %6, align 8, !tbaa !5
  call void @png_write_rows(ptr noundef %388, ptr noundef nonnull %9, i64 noundef 1) #9
  %389 = add nuw i64 %.05299, 1
  %390 = load i64, ptr %11, align 8, !tbaa !11
  %391 = icmp ult i64 %389, %390
  br i1 %391, label %.lr.ph100, label %._crit_edge, !llvm.loop !32

._crit_edge:                                      ; preds = %.lr.ph100, %.preheader95
  %392 = phi i64 [ 0, %.preheader95 ], [ %390, %.lr.ph100 ]
  %393 = add nuw nsw i32 %.053101, 1
  %exitcond112.not = icmp eq i32 %393, %381
  br i1 %exitcond112.not, label %._crit_edge102, label %.preheader95, !llvm.loop !33

._crit_edge102:                                   ; preds = %._crit_edge, %375
  %394 = load ptr, ptr %3, align 8, !tbaa !5
  %395 = load ptr, ptr %4, align 8, !tbaa !5
  call void @png_free_data(ptr noundef %394, ptr noundef %395, i64 noundef 512, i32 noundef -1) #9
  %396 = load ptr, ptr %6, align 8, !tbaa !5
  %397 = load ptr, ptr %7, align 8, !tbaa !5
  call void @png_free_data(ptr noundef %396, ptr noundef %397, i64 noundef 512, i32 noundef -1) #9
  %398 = load ptr, ptr %3, align 8, !tbaa !5
  %399 = load ptr, ptr %5, align 8, !tbaa !5
  call void @png_read_end(ptr noundef %398, ptr noundef %399) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %65) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %66) #9
  %400 = load ptr, ptr %3, align 8, !tbaa !5
  %401 = load ptr, ptr %5, align 8, !tbaa !5
  %402 = call i64 @png_get_text(ptr noundef %400, ptr noundef %401, ptr noundef nonnull %65, ptr noundef nonnull %66) #9
  %.not83 = icmp eq i64 %402, 0
  br i1 %.not83, label %408, label %403

403:                                              ; preds = %._crit_edge102
  %404 = load ptr, ptr %6, align 8, !tbaa !5
  %405 = load ptr, ptr %8, align 8, !tbaa !5
  %406 = load ptr, ptr %65, align 8, !tbaa !5
  %407 = load i32, ptr %66, align 4, !tbaa !9
  call void @png_set_text(ptr noundef %404, ptr noundef %405, ptr noundef %406, i32 noundef %407) #9
  br label %408

408:                                              ; preds = %403, %._crit_edge102
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %66) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %65) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %67) #9
  %409 = load ptr, ptr %3, align 8, !tbaa !5
  %410 = load ptr, ptr %5, align 8, !tbaa !5
  %411 = call i64 @png_get_tIME(ptr noundef %409, ptr noundef %410, ptr noundef nonnull %67) #9
  %.not84 = icmp eq i64 %411, 0
  br i1 %.not84, label %421, label %412

412:                                              ; preds = %408
  %413 = load ptr, ptr %6, align 8, !tbaa !5
  %414 = load ptr, ptr %8, align 8, !tbaa !5
  %415 = load ptr, ptr %67, align 8, !tbaa !5
  call void @png_set_tIME(ptr noundef %413, ptr noundef %414, ptr noundef %415) #9
  %416 = load ptr, ptr %3, align 8, !tbaa !5
  %417 = load ptr, ptr %67, align 8, !tbaa !5
  %418 = call ptr @png_convert_to_rfc1123(ptr noundef %416, ptr noundef %417) #9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(29) @tIME_string, ptr noundef nonnull align 1 dereferenceable(29) %418, i64 29, i1 false)
  store i8 0, ptr getelementptr inbounds (i8, ptr @tIME_string, i64 28), align 4, !tbaa !15
  %419 = load i32, ptr @tIME_chunk_present, align 4, !tbaa !9
  %420 = add nsw i32 %419, 1
  store i32 %420, ptr @tIME_chunk_present, align 4, !tbaa !9
  br label %421

421:                                              ; preds = %412, %408
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %67) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %68) #9
  %422 = load ptr, ptr %3, align 8, !tbaa !5
  %423 = load ptr, ptr %5, align 8, !tbaa !5
  %424 = call i64 @png_get_unknown_chunks(ptr noundef %422, ptr noundef %423, ptr noundef nonnull %68) #9
  %425 = trunc i64 %424 to i32
  %.not85 = icmp eq i32 %425, 0
  br i1 %.not85, label %.loopexit, label %426

426:                                              ; preds = %421
  %427 = load ptr, ptr %6, align 8, !tbaa !5
  %428 = load ptr, ptr %8, align 8, !tbaa !5
  %429 = load ptr, ptr %68, align 8, !tbaa !5
  call void @png_set_unknown_chunks(ptr noundef %427, ptr noundef %428, ptr noundef %429, i32 noundef %425) #9
  %sext86 = shl i64 %424, 32
  %.not109 = icmp eq i64 %sext86, 0
  br i1 %.not109, label %.loopexit, label %.lr.ph105.preheader

.lr.ph105.preheader:                              ; preds = %426
  %430 = ashr exact i64 %sext86, 32
  %umax113 = call i64 @llvm.umax.i64(i64 %430, i64 1)
  br label %.lr.ph105

.lr.ph105:                                        ; preds = %.lr.ph105.preheader, %.lr.ph105
  %.055103 = phi i64 [ %438, %.lr.ph105 ], [ 0, %.lr.ph105.preheader ]
  %431 = load ptr, ptr %6, align 8, !tbaa !5
  %432 = load ptr, ptr %8, align 8, !tbaa !5
  %433 = trunc i64 %.055103 to i32
  %434 = load ptr, ptr %68, align 8, !tbaa !5
  %435 = getelementptr inbounds %struct.png_unknown_chunk_t, ptr %434, i64 %.055103, i32 3
  %436 = load i8, ptr %435, align 8, !tbaa !28
  %437 = zext i8 %436 to i32
  call void @png_set_unknown_chunk_location(ptr noundef %431, ptr noundef %432, i32 noundef %433, i32 noundef %437) #9
  %438 = add nuw i64 %.055103, 1
  %exitcond114.not = icmp eq i64 %438, %umax113
  br i1 %exitcond114.not, label %.loopexit, label %.lr.ph105, !llvm.loop !35

.loopexit:                                        ; preds = %.lr.ph105, %426, %421
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %68) #9
  %439 = load ptr, ptr %6, align 8, !tbaa !5
  %440 = load ptr, ptr %8, align 8, !tbaa !5
  call void @png_write_end(ptr noundef %439, ptr noundef %440) #9
  %441 = load i32, ptr @verbose, align 4, !tbaa !9
  %.not87 = icmp eq i32 %441, 0
  br i1 %.not87, label %451, label %442

442:                                              ; preds = %.loopexit
  %443 = load ptr, ptr %6, align 8, !tbaa !5
  %444 = load ptr, ptr %7, align 8, !tbaa !5
  %445 = call i64 @png_get_image_width(ptr noundef %443, ptr noundef %444) #9
  %446 = load ptr, ptr %6, align 8, !tbaa !5
  %447 = load ptr, ptr %7, align 8, !tbaa !5
  %448 = call i64 @png_get_image_height(ptr noundef %446, ptr noundef %447) #9
  %449 = load ptr, ptr @stdout, align 8, !tbaa !5
  %450 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %449, ptr noundef nonnull @.str.13, i64 noundef %445, i64 noundef %448) #9
  br label %451

451:                                              ; preds = %442, %.loopexit
  %452 = load ptr, ptr %3, align 8, !tbaa !5
  %453 = load ptr, ptr %9, align 8, !tbaa !5
  call void @png_free(ptr noundef %452, ptr noundef %453) #9
  store ptr null, ptr %9, align 8, !tbaa !5
  call void @png_destroy_read_struct(ptr noundef nonnull %3, ptr noundef nonnull %4, ptr noundef nonnull %5) #9
  %454 = load ptr, ptr %6, align 8, !tbaa !5
  call void @png_destroy_info_struct(ptr noundef %454, ptr noundef nonnull %8) #9
  call void @png_destroy_write_struct(ptr noundef nonnull %6, ptr noundef nonnull %7) #9
  %455 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %456 = call i32 @fclose(ptr noundef %455)
  %457 = load ptr, ptr @test_one_file.fpout, align 8, !tbaa !5
  %458 = call i32 @fclose(ptr noundef %457)
  %459 = call noalias ptr @fopen(ptr noundef %0, ptr noundef nonnull @.str.4)
  store ptr %459, ptr @test_one_file.fpin, align 8, !tbaa !5
  %460 = icmp eq ptr %459, null
  br i1 %460, label %461, label %464

461:                                              ; preds = %451
  %462 = load ptr, ptr @stdout, align 8, !tbaa !5
  %463 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %462, ptr noundef nonnull @.str.14, ptr noundef %0) #9
  br label %.thread91

464:                                              ; preds = %451
  %465 = call noalias ptr @fopen(ptr noundef %1, ptr noundef nonnull @.str.4)
  store ptr %465, ptr @test_one_file.fpout, align 8, !tbaa !5
  %466 = icmp eq ptr %465, null
  br i1 %466, label %467, label %.preheader

467:                                              ; preds = %464
  %468 = load ptr, ptr @stdout, align 8, !tbaa !5
  %469 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %468, ptr noundef nonnull @.str.14, ptr noundef %1) #9
  %470 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %471 = call i32 @fclose(ptr noundef %470)
  br label %.thread91

.preheader:                                       ; preds = %464, %494
  %472 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %473 = call i64 @fread(ptr noundef nonnull %14, i64 noundef 1, i64 noundef 1, ptr noundef %472)
  %474 = load ptr, ptr @test_one_file.fpout, align 8, !tbaa !5
  %475 = call i64 @fread(ptr noundef nonnull %15, i64 noundef 1, i64 noundef 1, ptr noundef %474)
  %.not88 = icmp eq i64 %473, %475
  br i1 %.not88, label %493, label %476

476:                                              ; preds = %.preheader
  %477 = load ptr, ptr @stdout, align 8, !tbaa !5
  %478 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %477, ptr noundef nonnull @.str.15, ptr noundef %0, ptr noundef %1) #9
  %479 = load i32, ptr @wrote_question, align 4, !tbaa !9
  %480 = icmp eq i32 %479, 0
  br i1 %480, label %481, label %488

481:                                              ; preds = %476
  %482 = load ptr, ptr @stdout, align 8, !tbaa !5
  %483 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %482, ptr noundef nonnull @.str.16, ptr noundef %0, i32 noundef 8192) #9
  %484 = load ptr, ptr @stdout, align 8, !tbaa !5
  %485 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %484, ptr noundef nonnull @.str.17) #9
  %486 = load ptr, ptr @stdout, align 8, !tbaa !5
  %487 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %486, ptr noundef nonnull @.str.18, ptr noundef nonnull @.str.19) #9
  store i32 1, ptr @wrote_question, align 4, !tbaa !9
  br label %488

488:                                              ; preds = %481, %476
  %489 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %490 = call i32 @fclose(ptr noundef %489)
  %491 = load ptr, ptr @test_one_file.fpout, align 8, !tbaa !5
  %492 = call i32 @fclose(ptr noundef %491)
  br label %.thread91

493:                                              ; preds = %.preheader
  %.not89 = icmp eq i64 %473, 0
  br i1 %.not89, label %512, label %494

494:                                              ; preds = %493
  %bcmp = call i32 @bcmp(ptr nonnull %14, ptr nonnull %15, i64 %473)
  %.not90 = icmp eq i32 %bcmp, 0
  br i1 %.not90, label %.preheader, label %495

495:                                              ; preds = %494
  %496 = load ptr, ptr @stdout, align 8, !tbaa !5
  %497 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %496, ptr noundef nonnull @.str.20, ptr noundef %0, ptr noundef %1) #9
  %498 = load i32, ptr @wrote_question, align 4, !tbaa !9
  %499 = icmp eq i32 %498, 0
  br i1 %499, label %500, label %507

500:                                              ; preds = %495
  %501 = load ptr, ptr @stdout, align 8, !tbaa !5
  %502 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %501, ptr noundef nonnull @.str.16, ptr noundef %0, i32 noundef 8192) #9
  %503 = load ptr, ptr @stdout, align 8, !tbaa !5
  %504 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %503, ptr noundef nonnull @.str.17) #9
  %505 = load ptr, ptr @stdout, align 8, !tbaa !5
  %506 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %505, ptr noundef nonnull @.str.18, ptr noundef nonnull @.str.19) #9
  store i32 1, ptr @wrote_question, align 4, !tbaa !9
  br label %507

507:                                              ; preds = %500, %495
  %508 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %509 = call i32 @fclose(ptr noundef %508)
  %510 = load ptr, ptr @test_one_file.fpout, align 8, !tbaa !5
  %511 = call i32 @fclose(ptr noundef %510)
  br label %.thread91

512:                                              ; preds = %493
  %513 = load ptr, ptr @test_one_file.fpin, align 8, !tbaa !5
  %514 = call i32 @fclose(ptr noundef %513)
  %515 = load ptr, ptr @test_one_file.fpout, align 8, !tbaa !5
  %516 = call i32 @fclose(ptr noundef %515)
  br label %.thread91

.thread91:                                        ; preds = %507, %488, %512, %467, %461, %108, %95, %77, %71
  %.2 = phi i32 [ 1, %71 ], [ 1, %77 ], [ 1, %95 ], [ 1, %108 ], [ 1, %461 ], [ 1, %467 ], [ 0, %512 ], [ 0, %488 ], [ 0, %507 ]
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %15) #9
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %14) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %12) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #9
  ret i32 %.2
}

; Function Attrs: nofree nounwind
declare noalias noundef ptr @fopen(ptr nocapture noundef readonly, ptr nocapture noundef readonly) local_unnamed_addr #1

; Function Attrs: nofree nounwind
declare noundef i32 @fclose(ptr nocapture noundef) local_unnamed_addr #1

declare ptr @png_create_read_struct(ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_read_user_chunk_fn(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

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

declare ptr @png_create_write_struct(ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare ptr @png_create_info_struct(ptr noundef) local_unnamed_addr #3

; Function Attrs: nounwind returns_twice
declare i32 @_setjmp(ptr noundef) local_unnamed_addr #4

declare void @png_free(ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_destroy_read_struct(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_destroy_info_struct(ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_destroy_write_struct(ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_init_io(ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_write_status_fn(ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_read_status_fn(ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_read_user_transform_fn(ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_write_user_transform_fn(ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_keep_unknown_chunks(ptr noundef, i32 noundef, ptr noundef, i32 noundef) local_unnamed_addr #3

declare void @png_read_info(ptr noundef, ptr noundef) local_unnamed_addr #3

declare i64 @png_get_IHDR(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_IHDR(ptr noundef, ptr noundef, i64 noundef, i64 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #3

declare i64 @png_get_cHRM_fixed(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_cHRM_fixed(ptr noundef, ptr noundef, i64 noundef, i64 noundef, i64 noundef, i64 noundef, i64 noundef, i64 noundef, i64 noundef, i64 noundef) local_unnamed_addr #3

declare i64 @png_get_gAMA_fixed(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_gAMA_fixed(ptr noundef, ptr noundef, i64 noundef) local_unnamed_addr #3

declare i64 @png_get_iCCP(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_iCCP(ptr noundef, ptr noundef, ptr noundef, i32 noundef, ptr noundef, i64 noundef) local_unnamed_addr #3

declare i64 @png_get_sRGB(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_sRGB(ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #3

declare i64 @png_get_PLTE(ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_PLTE(ptr noundef, ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #3

declare i64 @png_get_bKGD(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_bKGD(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare i64 @png_get_hIST(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_hIST(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare i64 @png_get_oFFs(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_oFFs(ptr noundef, ptr noundef, i64 noundef, i64 noundef, i32 noundef) local_unnamed_addr #3

declare i64 @png_get_pCAL(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_pCAL(ptr noundef, ptr noundef, ptr noundef, i64 noundef, i64 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare i64 @png_get_pHYs(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_pHYs(ptr noundef, ptr noundef, i64 noundef, i64 noundef, i32 noundef) local_unnamed_addr #3

declare i64 @png_get_sBIT(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_sBIT(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare i64 @png_get_sCAL(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_sCAL(ptr noundef, ptr noundef, i32 noundef, double noundef, double noundef) local_unnamed_addr #3

declare i64 @png_get_text(ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_text(ptr noundef, ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #3

declare i64 @png_get_tIME(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_tIME(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare ptr @png_convert_to_rfc1123(ptr noundef, ptr noundef) local_unnamed_addr #3

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #5

declare i64 @png_get_tRNS(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_tRNS(ptr noundef, ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #3

declare i64 @png_get_unknown_chunks(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_set_unknown_chunks(ptr noundef, ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #3

declare void @png_set_unknown_chunk_location(ptr noundef, ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #3

declare void @png_write_info(ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_write_chunk(ptr noundef, ptr noundef, ptr noundef, i64 noundef) local_unnamed_addr #3

declare void @png_save_uint_32(ptr noundef, i64 noundef) local_unnamed_addr #3

declare ptr @png_malloc(ptr noundef, i64 noundef) local_unnamed_addr #3

declare i64 @png_get_rowbytes(ptr noundef, ptr noundef) local_unnamed_addr #3

declare i32 @png_set_interlace_handling(ptr noundef) local_unnamed_addr #3

declare void @png_read_rows(ptr noundef, ptr noundef, ptr noundef, i64 noundef) local_unnamed_addr #3

declare void @png_write_rows(ptr noundef, ptr noundef, i64 noundef) local_unnamed_addr #3

declare void @png_free_data(ptr noundef, ptr noundef, i64 noundef, i32 noundef) local_unnamed_addr #3

declare void @png_read_end(ptr noundef, ptr noundef) local_unnamed_addr #3

declare void @png_write_end(ptr noundef, ptr noundef) local_unnamed_addr #3

declare i64 @png_get_image_width(ptr noundef, ptr noundef) local_unnamed_addr #3

declare i64 @png_get_image_height(ptr noundef, ptr noundef) local_unnamed_addr #3

; Function Attrs: nofree nounwind
declare noundef i64 @fread(ptr nocapture noundef, i64 noundef, i64 noundef, ptr nocapture noundef) local_unnamed_addr #1

; Function Attrs: nofree nounwind willreturn memory(argmem: read)
declare i32 @bcmp(ptr nocapture, ptr nocapture, i64) local_unnamed_addr #6

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #7

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i64 @llvm.umax.i64(i64, i64) #8

attributes #0 = { 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 #1 = { nofree nounwind "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 memory(argmem: readwrite) }
attributes #3 = { "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 returns_twice "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 #5 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #6 = { nofree nounwind willreturn memory(argmem: read) }
attributes #7 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #8 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #9 = { nounwind }
attributes #10 = { nounwind returns_twice }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"long", !7, i64 0}
!13 = !{!14, !14, i64 0}
!14 = !{!"double", !7, i64 0}
!15 = !{!7, !7, i64 0}
!16 = !{!17, !7, i64 44}
!17 = !{!"png_info_struct", !12, i64 0, !12, i64 8, !12, i64 16, !12, i64 24, !6, i64 32, !18, i64 40, !18, i64 42, !7, i64 44, !7, i64 45, !7, i64 46, !7, i64 47, !7, i64 48, !7, i64 49, !7, i64 50, !7, i64 51, !7, i64 52, !19, i64 60, !7, i64 64, !10, i64 68, !10, i64 72, !6, i64 80, !20, i64 88, !21, i64 96, !6, i64 104, !22, i64 112, !22, i64 122, !12, i64 136, !12, i64 144, !7, i64 152, !12, i64 160, !12, i64 168, !7, i64 176, !6, i64 184, !19, i64 192, !19, i64 196, !19, i64 200, !19, i64 204, !19, i64 208, !19, i64 212, !19, i64 216, !19, i64 220, !6, i64 224, !12, i64 232, !12, i64 240, !6, i64 248, !6, i64 256, !7, i64 264, !7, i64 265, !12, i64 272, !6, i64 280, !12, i64 288, !6, i64 296, !6, i64 304, !12, i64 312, !7, i64 320, !6, i64 328, !12, i64 336, !7, i64 344, !14, i64 352, !14, i64 360, !6, i64 368, !6, i64 376, !6, i64 384, !12, i64 392, !12, i64 400, !12, i64 408, !12, i64 416, !12, i64 424, !12, i64 432, !12, i64 440, !12, i64 448, !12, i64 456}
!18 = !{!"short", !7, i64 0}
!19 = !{!"float", !7, i64 0}
!20 = !{!"png_time_struct", !18, i64 0, !7, i64 2, !7, i64 3, !7, i64 4, !7, i64 5, !7, i64 6}
!21 = !{!"png_color_8_struct", !7, i64 0, !7, i64 1, !7, i64 2, !7, i64 3, !7, i64 4}
!22 = !{!"png_color_16_struct", !7, i64 0, !18, i64 2, !18, i64 4, !18, i64 6, !18, i64 8}
!23 = !{!17, !7, i64 45}
!24 = !{!22, !18, i64 8}
!25 = !{!22, !18, i64 2}
!26 = !{!22, !18, i64 4}
!27 = !{!22, !18, i64 6}
!28 = !{!29, !7, i64 24}
!29 = !{!"png_unknown_chunk_t", !7, i64 0, !6, i64 8, !12, i64 16, !7, i64 24}
!30 = distinct !{!30, !31}
!31 = !{!"llvm.loop.mustprogress"}
!32 = distinct !{!32, !31}
!33 = distinct !{!33, !31, !34}
!34 = !{!"llvm.loop.unswitch.partial.disable"}
!35 = distinct !{!35, !31}


; Effective O3 passes: CorrelatedValuePropagationPass,DSEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopIdiomRecognizePass,LoopRotatePass,LoopSimplifyCFGPass,LoopSimplifyPass,LoopUnrollPass,MemCpyOptPass,PostOrderFunctionAttrsPass,SROAPass,SimpleLoopUnswitchPass,SimplifyCFGPass