; LLVM IR from Try/Tempest :: Engine/thirdparty/libpng (pngrtran)

; 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_color_struct = type { i8, i8, i8 }
%struct.png_struct_def = type { [1 x %struct.__jmp_buf_tag], ptr, ptr, i64, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i8, i8, i32, i32, i32, i32, %struct.z_stream_s, ptr, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i64, i32, i32, i32, ptr, ptr, ptr, ptr, i64, i32, i32, ptr, i16, i32, i16, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i16, i8, i32, %struct.png_color_16_struct, %struct.png_color_16_struct, ptr, i32, i32, i32, i32, 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, i32, i32, i64, i64, i64, i64, i32, i32, ptr, ptr, i32, [29 x i8], i32, ptr, ptr, i32, i32, ptr, i8, i8, i16, i16, i32, i8, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i8, i32, i32, i32, i64, %struct.png_unknown_chunk_t, i64, ptr, i64, i32, i32, ptr, [4 x ptr], %struct.png_colorspace }
%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_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_colorspace = type { i32, %struct.png_xy, %struct.png_XYZ, i16, i16 }
%struct.png_xy = type { i32, i32, i32, i32, i32, i32, i32, i32 }
%struct.png_XYZ = type { i32, i32, i32, i32, i32, i32, i32, i32, i32 }

@.str.12 = external hidden unnamed_addr constant [53 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [30 x i8], align 1

declare void @png_warning(ptr noundef, ptr noundef) #0

; 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) #1

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

; Function Attrs: noreturn
declare void @png_error(ptr noundef, ptr noundef) #3

declare i32 @png_reciprocal(i32 noundef) #0

; 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 void @png_init_read_transformations(ptr noalias noundef %0) #4 {
  %2 = alloca ptr, align 8
  %3 = alloca i32, align 4
  %4 = alloca %struct.png_color_struct, align 1
  %5 = alloca %struct.png_color_struct, align 1
  %6 = alloca ptr, align 8
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i8, align 1
  %12 = alloca i8, align 1
  %13 = alloca i16, align 2
  %14 = alloca i16, align 2
  %15 = alloca i16, align 2
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca ptr, align 8
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca %struct.png_color_struct, align 1
  %26 = alloca ptr, align 8
  %27 = alloca i16, align 2
  %28 = alloca i16, align 2
  %29 = alloca i16, align 2
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca i32, align 4
  %33 = alloca i32, align 4
  %34 = alloca i32, align 4
  %35 = alloca i32, align 4
  store ptr %0, ptr %2, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #5
  store i32 0, ptr %3, align 4, !tbaa !9
  %36 = load ptr, ptr %2, align 8, !tbaa !5
  %37 = getelementptr inbounds %struct.png_struct_def, ptr %36, i32 0, i32 144
  %38 = getelementptr inbounds %struct.png_colorspace, ptr %37, i32 0, i32 0
  %39 = load i32, ptr %38, align 8, !tbaa !11
  %40 = icmp ne i32 %39, 0
  br i1 %40, label %41, label %64

41:                                               ; preds = %1
  %42 = load ptr, ptr %2, align 8, !tbaa !5
  %43 = getelementptr inbounds %struct.png_struct_def, ptr %42, i32 0, i32 80
  %44 = load i32, ptr %43, align 4, !tbaa !22
  %45 = icmp ne i32 %44, 0
  br i1 %45, label %46, label %55

46:                                               ; preds = %41
  %47 = load ptr, ptr %2, align 8, !tbaa !5
  %48 = getelementptr inbounds %struct.png_struct_def, ptr %47, i32 0, i32 144
  %49 = getelementptr inbounds %struct.png_colorspace, ptr %48, i32 0, i32 0
  %50 = load i32, ptr %49, align 8, !tbaa !11
  %51 = load ptr, ptr %2, align 8, !tbaa !5
  %52 = getelementptr inbounds %struct.png_struct_def, ptr %51, i32 0, i32 80
  %53 = load i32, ptr %52, align 4, !tbaa !22
  %54 = call i32 @png_gamma_threshold(i32 noundef %50, i32 noundef %53)
  store i32 %54, ptr %3, align 4, !tbaa !9
  br label %63

55:                                               ; preds = %41
  %56 = load ptr, ptr %2, align 8, !tbaa !5
  %57 = getelementptr inbounds %struct.png_struct_def, ptr %56, i32 0, i32 144
  %58 = getelementptr inbounds %struct.png_colorspace, ptr %57, i32 0, i32 0
  %59 = load i32, ptr %58, align 8, !tbaa !11
  %60 = call i32 @png_reciprocal(i32 noundef %59)
  %61 = load ptr, ptr %2, align 8, !tbaa !5
  %62 = getelementptr inbounds %struct.png_struct_def, ptr %61, i32 0, i32 80
  store i32 %60, ptr %62, align 4, !tbaa !22
  br label %63

63:                                               ; preds = %55, %46
  br label %84

64:                                               ; preds = %1
  %65 = load ptr, ptr %2, align 8, !tbaa !5
  %66 = getelementptr inbounds %struct.png_struct_def, ptr %65, i32 0, i32 80
  %67 = load i32, ptr %66, align 4, !tbaa !22
  %68 = icmp ne i32 %67, 0
  br i1 %68, label %69, label %77

69:                                               ; preds = %64
  %70 = load ptr, ptr %2, align 8, !tbaa !5
  %71 = getelementptr inbounds %struct.png_struct_def, ptr %70, i32 0, i32 80
  %72 = load i32, ptr %71, align 4, !tbaa !22
  %73 = call i32 @png_reciprocal(i32 noundef %72)
  %74 = load ptr, ptr %2, align 8, !tbaa !5
  %75 = getelementptr inbounds %struct.png_struct_def, ptr %74, i32 0, i32 144
  %76 = getelementptr inbounds %struct.png_colorspace, ptr %75, i32 0, i32 0
  store i32 %73, ptr %76, align 8, !tbaa !11
  br label %83

77:                                               ; preds = %64
  %78 = load ptr, ptr %2, align 8, !tbaa !5
  %79 = getelementptr inbounds %struct.png_struct_def, ptr %78, i32 0, i32 144
  %80 = getelementptr inbounds %struct.png_colorspace, ptr %79, i32 0, i32 0
  store i32 100000, ptr %80, align 8, !tbaa !11
  %81 = load ptr, ptr %2, align 8, !tbaa !5
  %82 = getelementptr inbounds %struct.png_struct_def, ptr %81, i32 0, i32 80
  store i32 100000, ptr %82, align 4, !tbaa !22
  br label %83

83:                                               ; preds = %77, %69
  br label %84

84:                                               ; preds = %83, %63
  %85 = load ptr, ptr %2, align 8, !tbaa !5
  %86 = getelementptr inbounds %struct.png_struct_def, ptr %85, i32 0, i32 144
  %87 = getelementptr inbounds %struct.png_colorspace, ptr %86, i32 0, i32 4
  %88 = load i16, ptr %87, align 2, !tbaa !23
  %89 = zext i16 %88 to i32
  %90 = or i32 %89, 1
  %91 = trunc i32 %90 to i16
  store i16 %91, ptr %87, align 2, !tbaa !23
  %92 = load i32, ptr %3, align 4, !tbaa !9
  %93 = icmp ne i32 %92, 0
  br i1 %93, label %94, label %99

94:                                               ; preds = %84
  %95 = load ptr, ptr %2, align 8, !tbaa !5
  %96 = getelementptr inbounds %struct.png_struct_def, ptr %95, i32 0, i32 17
  %97 = load i32, ptr %96, align 4, !tbaa !24
  %98 = or i32 %97, 8192
  store i32 %98, ptr %96, align 4, !tbaa !24
  br label %104

99:                                               ; preds = %84
  %100 = load ptr, ptr %2, align 8, !tbaa !5
  %101 = getelementptr inbounds %struct.png_struct_def, ptr %100, i32 0, i32 17
  %102 = load i32, ptr %101, align 4, !tbaa !24
  %103 = and i32 %102, -8193
  store i32 %103, ptr %101, align 4, !tbaa !24
  br label %104

104:                                              ; preds = %99, %94
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #5
  %105 = load ptr, ptr %2, align 8, !tbaa !5
  %106 = getelementptr inbounds %struct.png_struct_def, ptr %105, i32 0, i32 17
  %107 = load i32, ptr %106, align 4, !tbaa !24
  %108 = and i32 %107, 262144
  %109 = icmp ne i32 %108, 0
  br i1 %109, label %110, label %127

110:                                              ; preds = %104
  %111 = load ptr, ptr %2, align 8, !tbaa !5
  %112 = getelementptr inbounds %struct.png_struct_def, ptr %111, i32 0, i32 17
  %113 = load i32, ptr %112, align 4, !tbaa !24
  %114 = and i32 %113, 128
  %115 = icmp eq i32 %114, 0
  br i1 %115, label %116, label %127

116:                                              ; preds = %110
  %117 = load ptr, ptr %2, align 8, !tbaa !5
  %118 = getelementptr inbounds %struct.png_struct_def, ptr %117, i32 0, i32 17
  %119 = load i32, ptr %118, align 4, !tbaa !24
  %120 = and i32 %119, -41943297
  store i32 %120, ptr %118, align 4, !tbaa !24
  %121 = load ptr, ptr %2, align 8, !tbaa !5
  %122 = getelementptr inbounds %struct.png_struct_def, ptr %121, i32 0, i32 16
  %123 = load i32, ptr %122, align 8, !tbaa !25
  %124 = and i32 %123, -8193
  store i32 %124, ptr %122, align 8, !tbaa !25
  %125 = load ptr, ptr %2, align 8, !tbaa !5
  %126 = getelementptr inbounds %struct.png_struct_def, ptr %125, i32 0, i32 55
  store i16 0, ptr %126, align 8, !tbaa !26
  br label %127

127:                                              ; preds = %116, %110, %104
  %128 = load ptr, ptr %2, align 8, !tbaa !5
  %129 = getelementptr inbounds %struct.png_struct_def, ptr %128, i32 0, i32 80
  %130 = load i32, ptr %129, align 4, !tbaa !22
  %131 = call i32 @png_gamma_significant(i32 noundef %130)
  %132 = icmp eq i32 %131, 0
  br i1 %132, label %133, label %142

133:                                              ; preds = %127
  %134 = load ptr, ptr %2, align 8, !tbaa !5
  %135 = getelementptr inbounds %struct.png_struct_def, ptr %134, i32 0, i32 17
  %136 = load i32, ptr %135, align 4, !tbaa !24
  %137 = and i32 %136, -8388609
  store i32 %137, ptr %135, align 4, !tbaa !24
  %138 = load ptr, ptr %2, align 8, !tbaa !5
  %139 = getelementptr inbounds %struct.png_struct_def, ptr %138, i32 0, i32 16
  %140 = load i32, ptr %139, align 8, !tbaa !25
  %141 = and i32 %140, -8193
  store i32 %141, ptr %139, align 8, !tbaa !25
  br label %142

142:                                              ; preds = %133, %127
  %143 = load ptr, ptr %2, align 8, !tbaa !5
  %144 = getelementptr inbounds %struct.png_struct_def, ptr %143, i32 0, i32 17
  %145 = load i32, ptr %144, align 4, !tbaa !24
  %146 = and i32 %145, 6291456
  %147 = icmp ne i32 %146, 0
  br i1 %147, label %148, label %150

148:                                              ; preds = %142
  %149 = load ptr, ptr %2, align 8, !tbaa !5
  call void @png_colorspace_set_rgb_coefficients(ptr noundef %149)
  br label %150

150:                                              ; preds = %148, %142
  %151 = load ptr, ptr %2, align 8, !tbaa !5
  %152 = getelementptr inbounds %struct.png_struct_def, ptr %151, i32 0, i32 17
  %153 = load i32, ptr %152, align 4, !tbaa !24
  %154 = and i32 %153, 256
  %155 = icmp ne i32 %154, 0
  br i1 %155, label %156, label %169

156:                                              ; preds = %150
  %157 = load ptr, ptr %2, align 8, !tbaa !5
  %158 = getelementptr inbounds %struct.png_struct_def, ptr %157, i32 0, i32 61
  %159 = load i8, ptr %158, align 1, !tbaa !27
  %160 = zext i8 %159 to i32
  %161 = and i32 %160, 2
  %162 = icmp eq i32 %161, 0
  br i1 %162, label %163, label %168

163:                                              ; preds = %156
  %164 = load ptr, ptr %2, align 8, !tbaa !5
  %165 = getelementptr inbounds %struct.png_struct_def, ptr %164, i32 0, i32 15
  %166 = load i32, ptr %165, align 4, !tbaa !28
  %167 = or i32 %166, 2048
  store i32 %167, ptr %165, align 4, !tbaa !28
  br label %168

168:                                              ; preds = %163, %156
  br label %220

169:                                              ; preds = %150
  %170 = load ptr, ptr %2, align 8, !tbaa !5
  %171 = getelementptr inbounds %struct.png_struct_def, ptr %170, i32 0, i32 17
  %172 = load i32, ptr %171, align 4, !tbaa !24
  %173 = and i32 %172, 128
  %174 = icmp ne i32 %173, 0
  br i1 %174, label %175, label %219

175:                                              ; preds = %169
  %176 = load ptr, ptr %2, align 8, !tbaa !5
  %177 = getelementptr inbounds %struct.png_struct_def, ptr %176, i32 0, i32 17
  %178 = load i32, ptr %177, align 4, !tbaa !24
  %179 = and i32 %178, 16384
  %180 = icmp ne i32 %179, 0
  br i1 %180, label %181, label %218

181:                                              ; preds = %175
  %182 = load ptr, ptr %2, align 8, !tbaa !5
  %183 = getelementptr inbounds %struct.png_struct_def, ptr %182, i32 0, i32 74
  %184 = getelementptr inbounds %struct.png_color_16_struct, ptr %183, i32 0, i32 1
  %185 = load i16, ptr %184, align 2, !tbaa !29
  %186 = zext i16 %185 to i32
  %187 = load ptr, ptr %2, align 8, !tbaa !5
  %188 = getelementptr inbounds %struct.png_struct_def, ptr %187, i32 0, i32 74
  %189 = getelementptr inbounds %struct.png_color_16_struct, ptr %188, i32 0, i32 2
  %190 = load i16, ptr %189, align 4, !tbaa !30
  %191 = zext i16 %190 to i32
  %192 = icmp eq i32 %186, %191
  br i1 %192, label %193, label %217

193:                                              ; preds = %181
  %194 = load ptr, ptr %2, align 8, !tbaa !5
  %195 = getelementptr inbounds %struct.png_struct_def, ptr %194, i32 0, i32 74
  %196 = getelementptr inbounds %struct.png_color_16_struct, ptr %195, i32 0, i32 1
  %197 = load i16, ptr %196, align 2, !tbaa !29
  %198 = zext i16 %197 to i32
  %199 = load ptr, ptr %2, align 8, !tbaa !5
  %200 = getelementptr inbounds %struct.png_struct_def, ptr %199, i32 0, i32 74
  %201 = getelementptr inbounds %struct.png_color_16_struct, ptr %200, i32 0, i32 3
  %202 = load i16, ptr %201, align 2, !tbaa !31
  %203 = zext i16 %202 to i32
  %204 = icmp eq i32 %198, %203
  br i1 %204, label %205, label %217

205:                                              ; preds = %193
  %206 = load ptr, ptr %2, align 8, !tbaa !5
  %207 = getelementptr inbounds %struct.png_struct_def, ptr %206, i32 0, i32 15
  %208 = load i32, ptr %207, align 4, !tbaa !28
  %209 = or i32 %208, 2048
  store i32 %209, ptr %207, align 4, !tbaa !28
  %210 = load ptr, ptr %2, align 8, !tbaa !5
  %211 = getelementptr inbounds %struct.png_struct_def, ptr %210, i32 0, i32 74
  %212 = getelementptr inbounds %struct.png_color_16_struct, ptr %211, i32 0, i32 1
  %213 = load i16, ptr %212, align 2, !tbaa !29
  %214 = load ptr, ptr %2, align 8, !tbaa !5
  %215 = getelementptr inbounds %struct.png_struct_def, ptr %214, i32 0, i32 74
  %216 = getelementptr inbounds %struct.png_color_16_struct, ptr %215, i32 0, i32 4
  store i16 %213, ptr %216, align 4, !tbaa !32
  br label %217

217:                                              ; preds = %205, %193, %181
  br label %218

218:                                              ; preds = %217, %175
  br label %219

219:                                              ; preds = %218, %169
  br label %220

220:                                              ; preds = %219, %168
  %221 = load ptr, ptr %2, align 8, !tbaa !5
  %222 = getelementptr inbounds %struct.png_struct_def, ptr %221, i32 0, i32 61
  %223 = load i8, ptr %222, align 1, !tbaa !27
  %224 = zext i8 %223 to i32
  %225 = icmp eq i32 %224, 3
  br i1 %225, label %226, label %228

226:                                              ; preds = %220
  %227 = load ptr, ptr %2, align 8, !tbaa !5
  call void @png_init_palette_transformations(ptr noundef %227)
  br label %230

228:                                              ; preds = %220
  %229 = load ptr, ptr %2, align 8, !tbaa !5
  call void @png_init_rgb_transformations(ptr noundef %229)
  br label %230

230:                                              ; preds = %228, %226
  %231 = load ptr, ptr %2, align 8, !tbaa !5
  %232 = getelementptr inbounds %struct.png_struct_def, ptr %231, i32 0, i32 17
  %233 = load i32, ptr %232, align 4, !tbaa !24
  %234 = and i32 %233, 512
  %235 = icmp ne i32 %234, 0
  br i1 %235, label %236, label %303

236:                                              ; preds = %230
  %237 = load ptr, ptr %2, align 8, !tbaa !5
  %238 = getelementptr inbounds %struct.png_struct_def, ptr %237, i32 0, i32 17
  %239 = load i32, ptr %238, align 4, !tbaa !24
  %240 = and i32 %239, 128
  %241 = icmp ne i32 %240, 0
  br i1 %241, label %242, label %303

242:                                              ; preds = %236
  %243 = load ptr, ptr %2, align 8, !tbaa !5
  %244 = getelementptr inbounds %struct.png_struct_def, ptr %243, i32 0, i32 17
  %245 = load i32, ptr %244, align 4, !tbaa !24
  %246 = and i32 %245, 256
  %247 = icmp eq i32 %246, 0
  br i1 %247, label %248, label %303

248:                                              ; preds = %242
  %249 = load ptr, ptr %2, align 8, !tbaa !5
  %250 = getelementptr inbounds %struct.png_struct_def, ptr %249, i32 0, i32 62
  %251 = load i8, ptr %250, align 8, !tbaa !33
  %252 = zext i8 %251 to i32
  %253 = icmp ne i32 %252, 16
  br i1 %253, label %254, label %303

254:                                              ; preds = %248
  %255 = load ptr, ptr %2, align 8, !tbaa !5
  %256 = getelementptr inbounds %struct.png_struct_def, ptr %255, i32 0, i32 74
  %257 = getelementptr inbounds %struct.png_color_16_struct, ptr %256, i32 0, i32 1
  %258 = load i16, ptr %257, align 2, !tbaa !29
  %259 = zext i16 %258 to i32
  %260 = mul i32 %259, 255
  %261 = add i32 %260, 32895
  %262 = lshr i32 %261, 16
  %263 = trunc i32 %262 to i16
  %264 = load ptr, ptr %2, align 8, !tbaa !5
  %265 = getelementptr inbounds %struct.png_struct_def, ptr %264, i32 0, i32 74
  %266 = getelementptr inbounds %struct.png_color_16_struct, ptr %265, i32 0, i32 1
  store i16 %263, ptr %266, align 2, !tbaa !29
  %267 = load ptr, ptr %2, align 8, !tbaa !5
  %268 = getelementptr inbounds %struct.png_struct_def, ptr %267, i32 0, i32 74
  %269 = getelementptr inbounds %struct.png_color_16_struct, ptr %268, i32 0, i32 2
  %270 = load i16, ptr %269, align 4, !tbaa !30
  %271 = zext i16 %270 to i32
  %272 = mul i32 %271, 255
  %273 = add i32 %272, 32895
  %274 = lshr i32 %273, 16
  %275 = trunc i32 %274 to i16
  %276 = load ptr, ptr %2, align 8, !tbaa !5
  %277 = getelementptr inbounds %struct.png_struct_def, ptr %276, i32 0, i32 74
  %278 = getelementptr inbounds %struct.png_color_16_struct, ptr %277, i32 0, i32 2
  store i16 %275, ptr %278, align 4, !tbaa !30
  %279 = load ptr, ptr %2, align 8, !tbaa !5
  %280 = getelementptr inbounds %struct.png_struct_def, ptr %279, i32 0, i32 74
  %281 = getelementptr inbounds %struct.png_color_16_struct, ptr %280, i32 0, i32 3
  %282 = load i16, ptr %281, align 2, !tbaa !31
  %283 = zext i16 %282 to i32
  %284 = mul i32 %283, 255
  %285 = add i32 %284, 32895
  %286 = lshr i32 %285, 16
  %287 = trunc i32 %286 to i16
  %288 = load ptr, ptr %2, align 8, !tbaa !5
  %289 = getelementptr inbounds %struct.png_struct_def, ptr %288, i32 0, i32 74
  %290 = getelementptr inbounds %struct.png_color_16_struct, ptr %289, i32 0, i32 3
  store i16 %287, ptr %290, align 2, !tbaa !31
  %291 = load ptr, ptr %2, align 8, !tbaa !5
  %292 = getelementptr inbounds %struct.png_struct_def, ptr %291, i32 0, i32 74
  %293 = getelementptr inbounds %struct.png_color_16_struct, ptr %292, i32 0, i32 4
  %294 = load i16, ptr %293, align 4, !tbaa !32
  %295 = zext i16 %294 to i32
  %296 = mul i32 %295, 255
  %297 = add i32 %296, 32895
  %298 = lshr i32 %297, 16
  %299 = trunc i32 %298 to i16
  %300 = load ptr, ptr %2, align 8, !tbaa !5
  %301 = getelementptr inbounds %struct.png_struct_def, ptr %300, i32 0, i32 74
  %302 = getelementptr inbounds %struct.png_color_16_struct, ptr %301, i32 0, i32 4
  store i16 %299, ptr %302, align 4, !tbaa !32
  br label %303

303:                                              ; preds = %254, %248, %242, %236, %230
  %304 = load ptr, ptr %2, align 8, !tbaa !5
  %305 = getelementptr inbounds %struct.png_struct_def, ptr %304, i32 0, i32 17
  %306 = load i32, ptr %305, align 4, !tbaa !24
  %307 = and i32 %306, 67109888
  %308 = icmp ne i32 %307, 0
  br i1 %308, label %309, label %368

309:                                              ; preds = %303
  %310 = load ptr, ptr %2, align 8, !tbaa !5
  %311 = getelementptr inbounds %struct.png_struct_def, ptr %310, i32 0, i32 17
  %312 = load i32, ptr %311, align 4, !tbaa !24
  %313 = and i32 %312, 128
  %314 = icmp ne i32 %313, 0
  br i1 %314, label %315, label %368

315:                                              ; preds = %309
  %316 = load ptr, ptr %2, align 8, !tbaa !5
  %317 = getelementptr inbounds %struct.png_struct_def, ptr %316, i32 0, i32 17
  %318 = load i32, ptr %317, align 4, !tbaa !24
  %319 = and i32 %318, 256
  %320 = icmp eq i32 %319, 0
  br i1 %320, label %321, label %368

321:                                              ; preds = %315
  %322 = load ptr, ptr %2, align 8, !tbaa !5
  %323 = getelementptr inbounds %struct.png_struct_def, ptr %322, i32 0, i32 62
  %324 = load i8, ptr %323, align 8, !tbaa !33
  %325 = zext i8 %324 to i32
  %326 = icmp eq i32 %325, 16
  br i1 %326, label %327, label %368

327:                                              ; preds = %321
  %328 = load ptr, ptr %2, align 8, !tbaa !5
  %329 = getelementptr inbounds %struct.png_struct_def, ptr %328, i32 0, i32 74
  %330 = getelementptr inbounds %struct.png_color_16_struct, ptr %329, i32 0, i32 1
  %331 = load i16, ptr %330, align 2, !tbaa !29
  %332 = zext i16 %331 to i32
  %333 = mul nsw i32 %332, 257
  %334 = trunc i32 %333 to i16
  %335 = load ptr, ptr %2, align 8, !tbaa !5
  %336 = getelementptr inbounds %struct.png_struct_def, ptr %335, i32 0, i32 74
  %337 = getelementptr inbounds %struct.png_color_16_struct, ptr %336, i32 0, i32 1
  store i16 %334, ptr %337, align 2, !tbaa !29
  %338 = load ptr, ptr %2, align 8, !tbaa !5
  %339 = getelementptr inbounds %struct.png_struct_def, ptr %338, i32 0, i32 74
  %340 = getelementptr inbounds %struct.png_color_16_struct, ptr %339, i32 0, i32 2
  %341 = load i16, ptr %340, align 4, !tbaa !30
  %342 = zext i16 %341 to i32
  %343 = mul nsw i32 %342, 257
  %344 = trunc i32 %343 to i16
  %345 = load ptr, ptr %2, align 8, !tbaa !5
  %346 = getelementptr inbounds %struct.png_struct_def, ptr %345, i32 0, i32 74
  %347 = getelementptr inbounds %struct.png_color_16_struct, ptr %346, i32 0, i32 2
  store i16 %344, ptr %347, align 4, !tbaa !30
  %348 = load ptr, ptr %2, align 8, !tbaa !5
  %349 = getelementptr inbounds %struct.png_struct_def, ptr %348, i32 0, i32 74
  %350 = getelementptr inbounds %struct.png_color_16_struct, ptr %349, i32 0, i32 3
  %351 = load i16, ptr %350, align 2, !tbaa !31
  %352 = zext i16 %351 to i32
  %353 = mul nsw i32 %352, 257
  %354 = trunc i32 %353 to i16
  %355 = load ptr, ptr %2, align 8, !tbaa !5
  %356 = getelementptr inbounds %struct.png_struct_def, ptr %355, i32 0, i32 74
  %357 = getelementptr inbounds %struct.png_color_16_struct, ptr %356, i32 0, i32 3
  store i16 %354, ptr %357, align 2, !tbaa !31
  %358 = load ptr, ptr %2, align 8, !tbaa !5
  %359 = getelementptr inbounds %struct.png_struct_def, ptr %358, i32 0, i32 74
  %360 = getelementptr inbounds %struct.png_color_16_struct, ptr %359, i32 0, i32 4
  %361 = load i16, ptr %360, align 4, !tbaa !32
  %362 = zext i16 %361 to i32
  %363 = mul nsw i32 %362, 257
  %364 = trunc i32 %363 to i16
  %365 = load ptr, ptr %2, align 8, !tbaa !5
  %366 = getelementptr inbounds %struct.png_struct_def, ptr %365, i32 0, i32 74
  %367 = getelementptr inbounds %struct.png_color_16_struct, ptr %366, i32 0, i32 4
  store i16 %364, ptr %367, align 4, !tbaa !32
  br label %368

368:                                              ; preds = %327, %321, %315, %309, %303
  %369 = load ptr, ptr %2, align 8, !tbaa !5
  %370 = getelementptr inbounds %struct.png_struct_def, ptr %369, i32 0, i32 75
  %371 = load ptr, ptr %2, align 8, !tbaa !5
  %372 = getelementptr inbounds %struct.png_struct_def, ptr %371, i32 0, i32 74
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %370, ptr align 4 %372, i64 10, i1 false), !tbaa.struct !34
  %373 = load ptr, ptr %2, align 8, !tbaa !5
  %374 = getelementptr inbounds %struct.png_struct_def, ptr %373, i32 0, i32 17
  %375 = load i32, ptr %374, align 4, !tbaa !24
  %376 = and i32 %375, 8192
  %377 = icmp ne i32 %376, 0
  br i1 %377, label %440, label %378

378:                                              ; preds = %368
  %379 = load ptr, ptr %2, align 8, !tbaa !5
  %380 = getelementptr inbounds %struct.png_struct_def, ptr %379, i32 0, i32 17
  %381 = load i32, ptr %380, align 4, !tbaa !24
  %382 = and i32 %381, 6291456
  %383 = icmp ne i32 %382, 0
  br i1 %383, label %384, label %397

384:                                              ; preds = %378
  %385 = load ptr, ptr %2, align 8, !tbaa !5
  %386 = getelementptr inbounds %struct.png_struct_def, ptr %385, i32 0, i32 144
  %387 = getelementptr inbounds %struct.png_colorspace, ptr %386, i32 0, i32 0
  %388 = load i32, ptr %387, align 8, !tbaa !11
  %389 = call i32 @png_gamma_significant(i32 noundef %388)
  %390 = icmp ne i32 %389, 0
  br i1 %390, label %440, label %391

391:                                              ; preds = %384
  %392 = load ptr, ptr %2, align 8, !tbaa !5
  %393 = getelementptr inbounds %struct.png_struct_def, ptr %392, i32 0, i32 80
  %394 = load i32, ptr %393, align 4, !tbaa !22
  %395 = call i32 @png_gamma_significant(i32 noundef %394)
  %396 = icmp ne i32 %395, 0
  br i1 %396, label %440, label %397

397:                                              ; preds = %391, %378
  %398 = load ptr, ptr %2, align 8, !tbaa !5
  %399 = getelementptr inbounds %struct.png_struct_def, ptr %398, i32 0, i32 17
  %400 = load i32, ptr %399, align 4, !tbaa !24
  %401 = and i32 %400, 128
  %402 = icmp ne i32 %401, 0
  br i1 %402, label %403, label %428

403:                                              ; preds = %397
  %404 = load ptr, ptr %2, align 8, !tbaa !5
  %405 = getelementptr inbounds %struct.png_struct_def, ptr %404, i32 0, i32 144
  %406 = getelementptr inbounds %struct.png_colorspace, ptr %405, i32 0, i32 0
  %407 = load i32, ptr %406, align 8, !tbaa !11
  %408 = call i32 @png_gamma_significant(i32 noundef %407)
  %409 = icmp ne i32 %408, 0
  br i1 %409, label %440, label %410

410:                                              ; preds = %403
  %411 = load ptr, ptr %2, align 8, !tbaa !5
  %412 = getelementptr inbounds %struct.png_struct_def, ptr %411, i32 0, i32 80
  %413 = load i32, ptr %412, align 4, !tbaa !22
  %414 = call i32 @png_gamma_significant(i32 noundef %413)
  %415 = icmp ne i32 %414, 0
  br i1 %415, label %440, label %416

416:                                              ; preds = %410
  %417 = load ptr, ptr %2, align 8, !tbaa !5
  %418 = getelementptr inbounds %struct.png_struct_def, ptr %417, i32 0, i32 72
  %419 = load i8, ptr %418, align 4, !tbaa !37
  %420 = zext i8 %419 to i32
  %421 = icmp eq i32 %420, 3
  br i1 %421, label %422, label %428

422:                                              ; preds = %416
  %423 = load ptr, ptr %2, align 8, !tbaa !5
  %424 = getelementptr inbounds %struct.png_struct_def, ptr %423, i32 0, i32 73
  %425 = load i32, ptr %424, align 8, !tbaa !38
  %426 = call i32 @png_gamma_significant(i32 noundef %425)
  %427 = icmp ne i32 %426, 0
  br i1 %427, label %440, label %428

428:                                              ; preds = %422, %416, %397
  %429 = load ptr, ptr %2, align 8, !tbaa !5
  %430 = getelementptr inbounds %struct.png_struct_def, ptr %429, i32 0, i32 17
  %431 = load i32, ptr %430, align 4, !tbaa !24
  %432 = and i32 %431, 8388608
  %433 = icmp ne i32 %432, 0
  br i1 %433, label %434, label %1283

434:                                              ; preds = %428
  %435 = load ptr, ptr %2, align 8, !tbaa !5
  %436 = getelementptr inbounds %struct.png_struct_def, ptr %435, i32 0, i32 80
  %437 = load i32, ptr %436, align 4, !tbaa !22
  %438 = call i32 @png_gamma_significant(i32 noundef %437)
  %439 = icmp ne i32 %438, 0
  br i1 %439, label %440, label %1283

440:                                              ; preds = %434, %422, %410, %403, %391, %384, %368
  %441 = load ptr, ptr %2, align 8, !tbaa !5
  %442 = load ptr, ptr %2, align 8, !tbaa !5
  %443 = getelementptr inbounds %struct.png_struct_def, ptr %442, i32 0, i32 62
  %444 = load i8, ptr %443, align 8, !tbaa !33
  %445 = zext i8 %444 to i32
  call void @png_build_gamma_table(ptr noundef %441, i32 noundef %445)
  %446 = load ptr, ptr %2, align 8, !tbaa !5
  %447 = getelementptr inbounds %struct.png_struct_def, ptr %446, i32 0, i32 17
  %448 = load i32, ptr %447, align 4, !tbaa !24
  %449 = and i32 %448, 128
  %450 = icmp ne i32 %449, 0
  br i1 %450, label %451, label %1191

451:                                              ; preds = %440
  %452 = load ptr, ptr %2, align 8, !tbaa !5
  %453 = getelementptr inbounds %struct.png_struct_def, ptr %452, i32 0, i32 17
  %454 = load i32, ptr %453, align 4, !tbaa !24
  %455 = and i32 %454, 6291456
  %456 = icmp ne i32 %455, 0
  br i1 %456, label %457, label %459

457:                                              ; preds = %451
  %458 = load ptr, ptr %2, align 8, !tbaa !5
  call void @png_warning(ptr noundef %458, ptr noundef @.str.12)
  br label %459

459:                                              ; preds = %457, %451
  %460 = load ptr, ptr %2, align 8, !tbaa !5
  %461 = getelementptr inbounds %struct.png_struct_def, ptr %460, i32 0, i32 61
  %462 = load i8, ptr %461, align 1, !tbaa !27
  %463 = zext i8 %462 to i32
  %464 = icmp eq i32 %463, 3
  %465 = zext i1 %464 to i32
  %466 = icmp ne i32 %465, 0
  br i1 %466, label %467, label %978

467:                                              ; preds = %459
  call void @llvm.lifetime.start.p0(i64 3, ptr %4) #5
  call void @llvm.lifetime.start.p0(i64 3, ptr %5) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #5
  %468 = load ptr, ptr %2, align 8, !tbaa !5
  %469 = getelementptr inbounds %struct.png_struct_def, ptr %468, i32 0, i32 52
  %470 = load ptr, ptr %469, align 8, !tbaa !39
  store ptr %470, ptr %6, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #5
  %471 = load ptr, ptr %2, align 8, !tbaa !5
  %472 = getelementptr inbounds %struct.png_struct_def, ptr %471, i32 0, i32 53
  %473 = load i16, ptr %472, align 8, !tbaa !40
  %474 = zext i16 %473 to i32
  store i32 %474, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #5
  %475 = load ptr, ptr %2, align 8, !tbaa !5
  %476 = getelementptr inbounds %struct.png_struct_def, ptr %475, i32 0, i32 72
  %477 = load i8, ptr %476, align 4, !tbaa !37
  %478 = zext i8 %477 to i32
  %479 = icmp eq i32 %478, 2
  br i1 %479, label %480, label %547

480:                                              ; preds = %467
  %481 = load ptr, ptr %2, align 8, !tbaa !5
  %482 = getelementptr inbounds %struct.png_struct_def, ptr %481, i32 0, i32 81
  %483 = load ptr, ptr %482, align 8, !tbaa !41
  %484 = load ptr, ptr %2, align 8, !tbaa !5
  %485 = getelementptr inbounds %struct.png_struct_def, ptr %484, i32 0, i32 74
  %486 = getelementptr inbounds %struct.png_color_16_struct, ptr %485, i32 0, i32 1
  %487 = load i16, ptr %486, align 2, !tbaa !29
  %488 = zext i16 %487 to i64
  %489 = getelementptr inbounds i8, ptr %483, i64 %488
  %490 = load i8, ptr %489, align 1, !tbaa !35
  %491 = getelementptr inbounds %struct.png_color_struct, ptr %4, i32 0, i32 0
  store i8 %490, ptr %491, align 1, !tbaa !42
  %492 = load ptr, ptr %2, align 8, !tbaa !5
  %493 = getelementptr inbounds %struct.png_struct_def, ptr %492, i32 0, i32 81
  %494 = load ptr, ptr %493, align 8, !tbaa !41
  %495 = load ptr, ptr %2, align 8, !tbaa !5
  %496 = getelementptr inbounds %struct.png_struct_def, ptr %495, i32 0, i32 74
  %497 = getelementptr inbounds %struct.png_color_16_struct, ptr %496, i32 0, i32 2
  %498 = load i16, ptr %497, align 4, !tbaa !30
  %499 = zext i16 %498 to i64
  %500 = getelementptr inbounds i8, ptr %494, i64 %499
  %501 = load i8, ptr %500, align 1, !tbaa !35
  %502 = getelementptr inbounds %struct.png_color_struct, ptr %4, i32 0, i32 1
  store i8 %501, ptr %502, align 1, !tbaa !44
  %503 = load ptr, ptr %2, align 8, !tbaa !5
  %504 = getelementptr inbounds %struct.png_struct_def, ptr %503, i32 0, i32 81
  %505 = load ptr, ptr %504, align 8, !tbaa !41
  %506 = load ptr, ptr %2, align 8, !tbaa !5
  %507 = getelementptr inbounds %struct.png_struct_def, ptr %506, i32 0, i32 74
  %508 = getelementptr inbounds %struct.png_color_16_struct, ptr %507, i32 0, i32 3
  %509 = load i16, ptr %508, align 2, !tbaa !31
  %510 = zext i16 %509 to i64
  %511 = getelementptr inbounds i8, ptr %505, i64 %510
  %512 = load i8, ptr %511, align 1, !tbaa !35
  %513 = getelementptr inbounds %struct.png_color_struct, ptr %4, i32 0, i32 2
  store i8 %512, ptr %513, align 1, !tbaa !45
  %514 = load ptr, ptr %2, align 8, !tbaa !5
  %515 = getelementptr inbounds %struct.png_struct_def, ptr %514, i32 0, i32 84
  %516 = load ptr, ptr %515, align 8, !tbaa !46
  %517 = load ptr, ptr %2, align 8, !tbaa !5
  %518 = getelementptr inbounds %struct.png_struct_def, ptr %517, i32 0, i32 74
  %519 = getelementptr inbounds %struct.png_color_16_struct, ptr %518, i32 0, i32 1
  %520 = load i16, ptr %519, align 2, !tbaa !29
  %521 = zext i16 %520 to i64
  %522 = getelementptr inbounds i8, ptr %516, i64 %521
  %523 = load i8, ptr %522, align 1, !tbaa !35
  %524 = getelementptr inbounds %struct.png_color_struct, ptr %5, i32 0, i32 0
  store i8 %523, ptr %524, align 1, !tbaa !42
  %525 = load ptr, ptr %2, align 8, !tbaa !5
  %526 = getelementptr inbounds %struct.png_struct_def, ptr %525, i32 0, i32 84
  %527 = load ptr, ptr %526, align 8, !tbaa !46
  %528 = load ptr, ptr %2, align 8, !tbaa !5
  %529 = getelementptr inbounds %struct.png_struct_def, ptr %528, i32 0, i32 74
  %530 = getelementptr inbounds %struct.png_color_16_struct, ptr %529, i32 0, i32 2
  %531 = load i16, ptr %530, align 4, !tbaa !30
  %532 = zext i16 %531 to i64
  %533 = getelementptr inbounds i8, ptr %527, i64 %532
  %534 = load i8, ptr %533, align 1, !tbaa !35
  %535 = getelementptr inbounds %struct.png_color_struct, ptr %5, i32 0, i32 1
  store i8 %534, ptr %535, align 1, !tbaa !44
  %536 = load ptr, ptr %2, align 8, !tbaa !5
  %537 = getelementptr inbounds %struct.png_struct_def, ptr %536, i32 0, i32 84
  %538 = load ptr, ptr %537, align 8, !tbaa !46
  %539 = load ptr, ptr %2, align 8, !tbaa !5
  %540 = getelementptr inbounds %struct.png_struct_def, ptr %539, i32 0, i32 74
  %541 = getelementptr inbounds %struct.png_color_16_struct, ptr %540, i32 0, i32 3
  %542 = load i16, ptr %541, align 2, !tbaa !31
  %543 = zext i16 %542 to i64
  %544 = getelementptr inbounds i8, ptr %538, i64 %543
  %545 = load i8, ptr %544, align 1, !tbaa !35
  %546 = getelementptr inbounds %struct.png_color_struct, ptr %5, i32 0, i32 2
  store i8 %545, ptr %546, align 1, !tbaa !45
  br label %680

547:                                              ; preds = %467
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #5
  %548 = load ptr, ptr %2, align 8, !tbaa !5
  %549 = getelementptr inbounds %struct.png_struct_def, ptr %548, i32 0, i32 72
  %550 = load i8, ptr %549, align 4, !tbaa !37
  %551 = zext i8 %550 to i32
  switch i32 %551, label %582 [
    i32 1, label %552
    i32 2, label %556
    i32 3, label %570
  ]

552:                                              ; preds = %547
  %553 = load ptr, ptr %2, align 8, !tbaa !5
  %554 = getelementptr inbounds %struct.png_struct_def, ptr %553, i32 0, i32 80
  %555 = load i32, ptr %554, align 4, !tbaa !22
  store i32 %555, ptr %9, align 4, !tbaa !9
  store i32 100000, ptr %10, align 4, !tbaa !9
  br label %583

556:                                              ; preds = %547
  %557 = load ptr, ptr %2, align 8, !tbaa !5
  %558 = getelementptr inbounds %struct.png_struct_def, ptr %557, i32 0, i32 144
  %559 = getelementptr inbounds %struct.png_colorspace, ptr %558, i32 0, i32 0
  %560 = load i32, ptr %559, align 8, !tbaa !11
  %561 = call i32 @png_reciprocal(i32 noundef %560)
  store i32 %561, ptr %9, align 4, !tbaa !9
  %562 = load ptr, ptr %2, align 8, !tbaa !5
  %563 = getelementptr inbounds %struct.png_struct_def, ptr %562, i32 0, i32 144
  %564 = getelementptr inbounds %struct.png_colorspace, ptr %563, i32 0, i32 0
  %565 = load i32, ptr %564, align 8, !tbaa !11
  %566 = load ptr, ptr %2, align 8, !tbaa !5
  %567 = getelementptr inbounds %struct.png_struct_def, ptr %566, i32 0, i32 80
  %568 = load i32, ptr %567, align 4, !tbaa !22
  %569 = call i32 @png_reciprocal2(i32 noundef %565, i32 noundef %568)
  store i32 %569, ptr %10, align 4, !tbaa !9
  br label %583

570:                                              ; preds = %547
  %571 = load ptr, ptr %2, align 8, !tbaa !5
  %572 = getelementptr inbounds %struct.png_struct_def, ptr %571, i32 0, i32 73
  %573 = load i32, ptr %572, align 8, !tbaa !38
  %574 = call i32 @png_reciprocal(i32 noundef %573)
  store i32 %574, ptr %9, align 4, !tbaa !9
  %575 = load ptr, ptr %2, align 8, !tbaa !5
  %576 = getelementptr inbounds %struct.png_struct_def, ptr %575, i32 0, i32 73
  %577 = load i32, ptr %576, align 8, !tbaa !38
  %578 = load ptr, ptr %2, align 8, !tbaa !5
  %579 = getelementptr inbounds %struct.png_struct_def, ptr %578, i32 0, i32 80
  %580 = load i32, ptr %579, align 4, !tbaa !22
  %581 = call i32 @png_reciprocal2(i32 noundef %577, i32 noundef %580)
  store i32 %581, ptr %10, align 4, !tbaa !9
  br label %583

582:                                              ; preds = %547
  store i32 100000, ptr %9, align 4, !tbaa !9
  store i32 100000, ptr %10, align 4, !tbaa !9
  br label %583

583:                                              ; preds = %582, %570, %556, %552
  %584 = load i32, ptr %10, align 4, !tbaa !9
  %585 = call i32 @png_gamma_significant(i32 noundef %584)
  %586 = icmp ne i32 %585, 0
  br i1 %586, label %587, label %612

587:                                              ; preds = %583
  %588 = load ptr, ptr %2, align 8, !tbaa !5
  %589 = getelementptr inbounds %struct.png_struct_def, ptr %588, i32 0, i32 74
  %590 = getelementptr inbounds %struct.png_color_16_struct, ptr %589, i32 0, i32 1
  %591 = load i16, ptr %590, align 2, !tbaa !29
  %592 = zext i16 %591 to i32
  %593 = load i32, ptr %10, align 4, !tbaa !9
  %594 = call zeroext i8 @png_gamma_8bit_correct(i32 noundef %592, i32 noundef %593)
  %595 = getelementptr inbounds %struct.png_color_struct, ptr %4, i32 0, i32 0
  store i8 %594, ptr %595, align 1, !tbaa !42
  %596 = load ptr, ptr %2, align 8, !tbaa !5
  %597 = getelementptr inbounds %struct.png_struct_def, ptr %596, i32 0, i32 74
  %598 = getelementptr inbounds %struct.png_color_16_struct, ptr %597, i32 0, i32 2
  %599 = load i16, ptr %598, align 4, !tbaa !30
  %600 = zext i16 %599 to i32
  %601 = load i32, ptr %10, align 4, !tbaa !9
  %602 = call zeroext i8 @png_gamma_8bit_correct(i32 noundef %600, i32 noundef %601)
  %603 = getelementptr inbounds %struct.png_color_struct, ptr %4, i32 0, i32 1
  store i8 %602, ptr %603, align 1, !tbaa !44
  %604 = load ptr, ptr %2, align 8, !tbaa !5
  %605 = getelementptr inbounds %struct.png_struct_def, ptr %604, i32 0, i32 74
  %606 = getelementptr inbounds %struct.png_color_16_struct, ptr %605, i32 0, i32 3
  %607 = load i16, ptr %606, align 2, !tbaa !31
  %608 = zext i16 %607 to i32
  %609 = load i32, ptr %10, align 4, !tbaa !9
  %610 = call zeroext i8 @png_gamma_8bit_correct(i32 noundef %608, i32 noundef %609)
  %611 = getelementptr inbounds %struct.png_color_struct, ptr %4, i32 0, i32 2
  store i8 %610, ptr %611, align 1, !tbaa !45
  br label %631

612:                                              ; preds = %583
  %613 = load ptr, ptr %2, align 8, !tbaa !5
  %614 = getelementptr inbounds %struct.png_struct_def, ptr %613, i32 0, i32 74
  %615 = getelementptr inbounds %struct.png_color_16_struct, ptr %614, i32 0, i32 1
  %616 = load i16, ptr %615, align 2, !tbaa !29
  %617 = trunc i16 %616 to i8
  %618 = getelementptr inbounds %struct.png_color_struct, ptr %4, i32 0, i32 0
  store i8 %617, ptr %618, align 1, !tbaa !42
  %619 = load ptr, ptr %2, align 8, !tbaa !5
  %620 = getelementptr inbounds %struct.png_struct_def, ptr %619, i32 0, i32 74
  %621 = getelementptr inbounds %struct.png_color_16_struct, ptr %620, i32 0, i32 2
  %622 = load i16, ptr %621, align 4, !tbaa !30
  %623 = trunc i16 %622 to i8
  %624 = getelementptr inbounds %struct.png_color_struct, ptr %4, i32 0, i32 1
  store i8 %623, ptr %624, align 1, !tbaa !44
  %625 = load ptr, ptr %2, align 8, !tbaa !5
  %626 = getelementptr inbounds %struct.png_struct_def, ptr %625, i32 0, i32 74
  %627 = getelementptr inbounds %struct.png_color_16_struct, ptr %626, i32 0, i32 3
  %628 = load i16, ptr %627, align 2, !tbaa !31
  %629 = trunc i16 %628 to i8
  %630 = getelementptr inbounds %struct.png_color_struct, ptr %4, i32 0, i32 2
  store i8 %629, ptr %630, align 1, !tbaa !45
  br label %631

631:                                              ; preds = %612, %587
  %632 = load i32, ptr %9, align 4, !tbaa !9
  %633 = call i32 @png_gamma_significant(i32 noundef %632)
  %634 = icmp ne i32 %633, 0
  br i1 %634, label %635, label %660

635:                                              ; preds = %631
  %636 = load ptr, ptr %2, align 8, !tbaa !5
  %637 = getelementptr inbounds %struct.png_struct_def, ptr %636, i32 0, i32 74
  %638 = getelementptr inbounds %struct.png_color_16_struct, ptr %637, i32 0, i32 1
  %639 = load i16, ptr %638, align 2, !tbaa !29
  %640 = zext i16 %639 to i32
  %641 = load i32, ptr %9, align 4, !tbaa !9
  %642 = call zeroext i8 @png_gamma_8bit_correct(i32 noundef %640, i32 noundef %641)
  %643 = getelementptr inbounds %struct.png_color_struct, ptr %5, i32 0, i32 0
  store i8 %642, ptr %643, align 1, !tbaa !42
  %644 = load ptr, ptr %2, align 8, !tbaa !5
  %645 = getelementptr inbounds %struct.png_struct_def, ptr %644, i32 0, i32 74
  %646 = getelementptr inbounds %struct.png_color_16_struct, ptr %645, i32 0, i32 2
  %647 = load i16, ptr %646, align 4, !tbaa !30
  %648 = zext i16 %647 to i32
  %649 = load i32, ptr %9, align 4, !tbaa !9
  %650 = call zeroext i8 @png_gamma_8bit_correct(i32 noundef %648, i32 noundef %649)
  %651 = getelementptr inbounds %struct.png_color_struct, ptr %5, i32 0, i32 1
  store i8 %650, ptr %651, align 1, !tbaa !44
  %652 = load ptr, ptr %2, align 8, !tbaa !5
  %653 = getelementptr inbounds %struct.png_struct_def, ptr %652, i32 0, i32 74
  %654 = getelementptr inbounds %struct.png_color_16_struct, ptr %653, i32 0, i32 3
  %655 = load i16, ptr %654, align 2, !tbaa !31
  %656 = zext i16 %655 to i32
  %657 = load i32, ptr %9, align 4, !tbaa !9
  %658 = call zeroext i8 @png_gamma_8bit_correct(i32 noundef %656, i32 noundef %657)
  %659 = getelementptr inbounds %struct.png_color_struct, ptr %5, i32 0, i32 2
  store i8 %658, ptr %659, align 1, !tbaa !45
  br label %679

660:                                              ; preds = %631
  %661 = load ptr, ptr %2, align 8, !tbaa !5
  %662 = getelementptr inbounds %struct.png_struct_def, ptr %661, i32 0, i32 74
  %663 = getelementptr inbounds %struct.png_color_16_struct, ptr %662, i32 0, i32 1
  %664 = load i16, ptr %663, align 2, !tbaa !29
  %665 = trunc i16 %664 to i8
  %666 = getelementptr inbounds %struct.png_color_struct, ptr %5, i32 0, i32 0
  store i8 %665, ptr %666, align 1, !tbaa !42
  %667 = load ptr, ptr %2, align 8, !tbaa !5
  %668 = getelementptr inbounds %struct.png_struct_def, ptr %667, i32 0, i32 74
  %669 = getelementptr inbounds %struct.png_color_16_struct, ptr %668, i32 0, i32 2
  %670 = load i16, ptr %669, align 4, !tbaa !30
  %671 = trunc i16 %670 to i8
  %672 = getelementptr inbounds %struct.png_color_struct, ptr %5, i32 0, i32 1
  store i8 %671, ptr %672, align 1, !tbaa !44
  %673 = load ptr, ptr %2, align 8, !tbaa !5
  %674 = getelementptr inbounds %struct.png_struct_def, ptr %673, i32 0, i32 74
  %675 = getelementptr inbounds %struct.png_color_16_struct, ptr %674, i32 0, i32 3
  %676 = load i16, ptr %675, align 2, !tbaa !31
  %677 = trunc i16 %676 to i8
  %678 = getelementptr inbounds %struct.png_color_struct, ptr %5, i32 0, i32 2
  store i8 %677, ptr %678, align 1, !tbaa !45
  br label %679

679:                                              ; preds = %660, %635
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #5
  br label %680

680:                                              ; preds = %679, %480
  store i32 0, ptr %8, align 4, !tbaa !9
  br label %681

681:                                              ; preds = %970, %680
  %682 = load i32, ptr %8, align 4, !tbaa !9
  %683 = load i32, ptr %7, align 4, !tbaa !9
  %684 = icmp slt i32 %682, %683
  br i1 %684, label %685, label %973

685:                                              ; preds = %681
  %686 = load i32, ptr %8, align 4, !tbaa !9
  %687 = load ptr, ptr %2, align 8, !tbaa !5
  %688 = getelementptr inbounds %struct.png_struct_def, ptr %687, i32 0, i32 55
  %689 = load i16, ptr %688, align 8, !tbaa !26
  %690 = zext i16 %689 to i32
  %691 = icmp slt i32 %686, %690
  br i1 %691, label %692, label %917

692:                                              ; preds = %685
  %693 = load ptr, ptr %2, align 8, !tbaa !5
  %694 = getelementptr inbounds %struct.png_struct_def, ptr %693, i32 0, i32 89
  %695 = load ptr, ptr %694, align 8, !tbaa !47
  %696 = load i32, ptr %8, align 4, !tbaa !9
  %697 = sext i32 %696 to i64
  %698 = getelementptr inbounds i8, ptr %695, i64 %697
  %699 = load i8, ptr %698, align 1, !tbaa !35
  %700 = zext i8 %699 to i32
  %701 = icmp ne i32 %700, 255
  br i1 %701, label %702, label %917

702:                                              ; preds = %692
  %703 = load ptr, ptr %2, align 8, !tbaa !5
  %704 = getelementptr inbounds %struct.png_struct_def, ptr %703, i32 0, i32 89
  %705 = load ptr, ptr %704, align 8, !tbaa !47
  %706 = load i32, ptr %8, align 4, !tbaa !9
  %707 = sext i32 %706 to i64
  %708 = getelementptr inbounds i8, ptr %705, i64 %707
  %709 = load i8, ptr %708, align 1, !tbaa !35
  %710 = zext i8 %709 to i32
  %711 = icmp eq i32 %710, 0
  br i1 %711, label %712, label %717

712:                                              ; preds = %702
  %713 = load ptr, ptr %6, align 8, !tbaa !5
  %714 = load i32, ptr %8, align 4, !tbaa !9
  %715 = sext i32 %714 to i64
  %716 = getelementptr inbounds %struct.png_color_struct, ptr %713, i64 %715
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %716, ptr align 1 %4, i64 3, i1 false), !tbaa.struct !48
  br label %916

717:                                              ; preds = %702
  call void @llvm.lifetime.start.p0(i64 1, ptr %11) #5
  call void @llvm.lifetime.start.p0(i64 1, ptr %12) #5
  %718 = load ptr, ptr %2, align 8, !tbaa !5
  %719 = getelementptr inbounds %struct.png_struct_def, ptr %718, i32 0, i32 84
  %720 = load ptr, ptr %719, align 8, !tbaa !46
  %721 = load ptr, ptr %6, align 8, !tbaa !5
  %722 = load i32, ptr %8, align 4, !tbaa !9
  %723 = sext i32 %722 to i64
  %724 = getelementptr inbounds %struct.png_color_struct, ptr %721, i64 %723
  %725 = getelementptr inbounds %struct.png_color_struct, ptr %724, i32 0, i32 0
  %726 = load i8, ptr %725, align 1, !tbaa !42
  %727 = zext i8 %726 to i64
  %728 = getelementptr inbounds i8, ptr %720, i64 %727
  %729 = load i8, ptr %728, align 1, !tbaa !35
  store i8 %729, ptr %11, align 1, !tbaa !35
  call void @llvm.lifetime.start.p0(i64 2, ptr %13) #5
  %730 = load i8, ptr %11, align 1, !tbaa !35
  %731 = zext i8 %730 to i16
  %732 = zext i16 %731 to i32
  %733 = load ptr, ptr %2, align 8, !tbaa !5
  %734 = getelementptr inbounds %struct.png_struct_def, ptr %733, i32 0, i32 89
  %735 = load ptr, ptr %734, align 8, !tbaa !47
  %736 = load i32, ptr %8, align 4, !tbaa !9
  %737 = sext i32 %736 to i64
  %738 = getelementptr inbounds i8, ptr %735, i64 %737
  %739 = load i8, ptr %738, align 1, !tbaa !35
  %740 = zext i8 %739 to i16
  %741 = zext i16 %740 to i32
  %742 = mul nsw i32 %732, %741
  %743 = getelementptr inbounds %struct.png_color_struct, ptr %5, i32 0, i32 0
  %744 = load i8, ptr %743, align 1, !tbaa !42
  %745 = zext i8 %744 to i16
  %746 = zext i16 %745 to i32
  %747 = load ptr, ptr %2, align 8, !tbaa !5
  %748 = getelementptr inbounds %struct.png_struct_def, ptr %747, i32 0, i32 89
  %749 = load ptr, ptr %748, align 8, !tbaa !47
  %750 = load i32, ptr %8, align 4, !tbaa !9
  %751 = sext i32 %750 to i64
  %752 = getelementptr inbounds i8, ptr %749, i64 %751
  %753 = load i8, ptr %752, align 1, !tbaa !35
  %754 = zext i8 %753 to i16
  %755 = zext i16 %754 to i32
  %756 = sub nsw i32 255, %755
  %757 = trunc i32 %756 to i16
  %758 = zext i16 %757 to i32
  %759 = mul nsw i32 %746, %758
  %760 = add nsw i32 %742, %759
  %761 = add nsw i32 %760, 128
  %762 = trunc i32 %761 to i16
  store i16 %762, ptr %13, align 2, !tbaa !36
  %763 = load i16, ptr %13, align 2, !tbaa !36
  %764 = zext i16 %763 to i32
  %765 = load i16, ptr %13, align 2, !tbaa !36
  %766 = zext i16 %765 to i32
  %767 = ashr i32 %766, 8
  %768 = add nsw i32 %764, %767
  %769 = ashr i32 %768, 8
  %770 = and i32 %769, 255
  %771 = trunc i32 %770 to i8
  store i8 %771, ptr %12, align 1, !tbaa !35
  call void @llvm.lifetime.end.p0(i64 2, ptr %13) #5
  %772 = load ptr, ptr %2, align 8, !tbaa !5
  %773 = getelementptr inbounds %struct.png_struct_def, ptr %772, i32 0, i32 83
  %774 = load ptr, ptr %773, align 8, !tbaa !49
  %775 = load i8, ptr %12, align 1, !tbaa !35
  %776 = zext i8 %775 to i64
  %777 = getelementptr inbounds i8, ptr %774, i64 %776
  %778 = load i8, ptr %777, align 1, !tbaa !35
  %779 = load ptr, ptr %6, align 8, !tbaa !5
  %780 = load i32, ptr %8, align 4, !tbaa !9
  %781 = sext i32 %780 to i64
  %782 = getelementptr inbounds %struct.png_color_struct, ptr %779, i64 %781
  %783 = getelementptr inbounds %struct.png_color_struct, ptr %782, i32 0, i32 0
  store i8 %778, ptr %783, align 1, !tbaa !42
  %784 = load ptr, ptr %2, align 8, !tbaa !5
  %785 = getelementptr inbounds %struct.png_struct_def, ptr %784, i32 0, i32 84
  %786 = load ptr, ptr %785, align 8, !tbaa !46
  %787 = load ptr, ptr %6, align 8, !tbaa !5
  %788 = load i32, ptr %8, align 4, !tbaa !9
  %789 = sext i32 %788 to i64
  %790 = getelementptr inbounds %struct.png_color_struct, ptr %787, i64 %789
  %791 = getelementptr inbounds %struct.png_color_struct, ptr %790, i32 0, i32 1
  %792 = load i8, ptr %791, align 1, !tbaa !44
  %793 = zext i8 %792 to i64
  %794 = getelementptr inbounds i8, ptr %786, i64 %793
  %795 = load i8, ptr %794, align 1, !tbaa !35
  store i8 %795, ptr %11, align 1, !tbaa !35
  call void @llvm.lifetime.start.p0(i64 2, ptr %14) #5
  %796 = load i8, ptr %11, align 1, !tbaa !35
  %797 = zext i8 %796 to i16
  %798 = zext i16 %797 to i32
  %799 = load ptr, ptr %2, align 8, !tbaa !5
  %800 = getelementptr inbounds %struct.png_struct_def, ptr %799, i32 0, i32 89
  %801 = load ptr, ptr %800, align 8, !tbaa !47
  %802 = load i32, ptr %8, align 4, !tbaa !9
  %803 = sext i32 %802 to i64
  %804 = getelementptr inbounds i8, ptr %801, i64 %803
  %805 = load i8, ptr %804, align 1, !tbaa !35
  %806 = zext i8 %805 to i16
  %807 = zext i16 %806 to i32
  %808 = mul nsw i32 %798, %807
  %809 = getelementptr inbounds %struct.png_color_struct, ptr %5, i32 0, i32 1
  %810 = load i8, ptr %809, align 1, !tbaa !44
  %811 = zext i8 %810 to i16
  %812 = zext i16 %811 to i32
  %813 = load ptr, ptr %2, align 8, !tbaa !5
  %814 = getelementptr inbounds %struct.png_struct_def, ptr %813, i32 0, i32 89
  %815 = load ptr, ptr %814, align 8, !tbaa !47
  %816 = load i32, ptr %8, align 4, !tbaa !9
  %817 = sext i32 %816 to i64
  %818 = getelementptr inbounds i8, ptr %815, i64 %817
  %819 = load i8, ptr %818, align 1, !tbaa !35
  %820 = zext i8 %819 to i16
  %821 = zext i16 %820 to i32
  %822 = sub nsw i32 255, %821
  %823 = trunc i32 %822 to i16
  %824 = zext i16 %823 to i32
  %825 = mul nsw i32 %812, %824
  %826 = add nsw i32 %808, %825
  %827 = add nsw i32 %826, 128
  %828 = trunc i32 %827 to i16
  store i16 %828, ptr %14, align 2, !tbaa !36
  %829 = load i16, ptr %14, align 2, !tbaa !36
  %830 = zext i16 %829 to i32
  %831 = load i16, ptr %14, align 2, !tbaa !36
  %832 = zext i16 %831 to i32
  %833 = ashr i32 %832, 8
  %834 = add nsw i32 %830, %833
  %835 = ashr i32 %834, 8
  %836 = and i32 %835, 255
  %837 = trunc i32 %836 to i8
  store i8 %837, ptr %12, align 1, !tbaa !35
  call void @llvm.lifetime.end.p0(i64 2, ptr %14) #5
  %838 = load ptr, ptr %2, align 8, !tbaa !5
  %839 = getelementptr inbounds %struct.png_struct_def, ptr %838, i32 0, i32 83
  %840 = load ptr, ptr %839, align 8, !tbaa !49
  %841 = load i8, ptr %12, align 1, !tbaa !35
  %842 = zext i8 %841 to i64
  %843 = getelementptr inbounds i8, ptr %840, i64 %842
  %844 = load i8, ptr %843, align 1, !tbaa !35
  %845 = load ptr, ptr %6, align 8, !tbaa !5
  %846 = load i32, ptr %8, align 4, !tbaa !9
  %847 = sext i32 %846 to i64
  %848 = getelementptr inbounds %struct.png_color_struct, ptr %845, i64 %847
  %849 = getelementptr inbounds %struct.png_color_struct, ptr %848, i32 0, i32 1
  store i8 %844, ptr %849, align 1, !tbaa !44
  %850 = load ptr, ptr %2, align 8, !tbaa !5
  %851 = getelementptr inbounds %struct.png_struct_def, ptr %850, i32 0, i32 84
  %852 = load ptr, ptr %851, align 8, !tbaa !46
  %853 = load ptr, ptr %6, align 8, !tbaa !5
  %854 = load i32, ptr %8, align 4, !tbaa !9
  %855 = sext i32 %854 to i64
  %856 = getelementptr inbounds %struct.png_color_struct, ptr %853, i64 %855
  %857 = getelementptr inbounds %struct.png_color_struct, ptr %856, i32 0, i32 2
  %858 = load i8, ptr %857, align 1, !tbaa !45
  %859 = zext i8 %858 to i64
  %860 = getelementptr inbounds i8, ptr %852, i64 %859
  %861 = load i8, ptr %860, align 1, !tbaa !35
  store i8 %861, ptr %11, align 1, !tbaa !35
  call void @llvm.lifetime.start.p0(i64 2, ptr %15) #5
  %862 = load i8, ptr %11, align 1, !tbaa !35
  %863 = zext i8 %862 to i16
  %864 = zext i16 %863 to i32
  %865 = load ptr, ptr %2, align 8, !tbaa !5
  %866 = getelementptr inbounds %struct.png_struct_def, ptr %865, i32 0, i32 89
  %867 = load ptr, ptr %866, align 8, !tbaa !47
  %868 = load i32, ptr %8, align 4, !tbaa !9
  %869 = sext i32 %868 to i64
  %870 = getelementptr inbounds i8, ptr %867, i64 %869
  %871 = load i8, ptr %870, align 1, !tbaa !35
  %872 = zext i8 %871 to i16
  %873 = zext i16 %872 to i32
  %874 = mul nsw i32 %864, %873
  %875 = getelementptr inbounds %struct.png_color_struct, ptr %5, i32 0, i32 2
  %876 = load i8, ptr %875, align 1, !tbaa !45
  %877 = zext i8 %876 to i16
  %878 = zext i16 %877 to i32
  %879 = load ptr, ptr %2, align 8, !tbaa !5
  %880 = getelementptr inbounds %struct.png_struct_def, ptr %879, i32 0, i32 89
  %881 = load ptr, ptr %880, align 8, !tbaa !47
  %882 = load i32, ptr %8, align 4, !tbaa !9
  %883 = sext i32 %882 to i64
  %884 = getelementptr inbounds i8, ptr %881, i64 %883
  %885 = load i8, ptr %884, align 1, !tbaa !35
  %886 = zext i8 %885 to i16
  %887 = zext i16 %886 to i32
  %888 = sub nsw i32 255, %887
  %889 = trunc i32 %888 to i16
  %890 = zext i16 %889 to i32
  %891 = mul nsw i32 %878, %890
  %892 = add nsw i32 %874, %891
  %893 = add nsw i32 %892, 128
  %894 = trunc i32 %893 to i16
  store i16 %894, ptr %15, align 2, !tbaa !36
  %895 = load i16, ptr %15, align 2, !tbaa !36
  %896 = zext i16 %895 to i32
  %897 = load i16, ptr %15, align 2, !tbaa !36
  %898 = zext i16 %897 to i32
  %899 = ashr i32 %898, 8
  %900 = add nsw i32 %896, %899
  %901 = ashr i32 %900, 8
  %902 = and i32 %901, 255
  %903 = trunc i32 %902 to i8
  store i8 %903, ptr %12, align 1, !tbaa !35
  call void @llvm.lifetime.end.p0(i64 2, ptr %15) #5
  %904 = load ptr, ptr %2, align 8, !tbaa !5
  %905 = getelementptr inbounds %struct.png_struct_def, ptr %904, i32 0, i32 83
  %906 = load ptr, ptr %905, align 8, !tbaa !49
  %907 = load i8, ptr %12, align 1, !tbaa !35
  %908 = zext i8 %907 to i64
  %909 = getelementptr inbounds i8, ptr %906, i64 %908
  %910 = load i8, ptr %909, align 1, !tbaa !35
  %911 = load ptr, ptr %6, align 8, !tbaa !5
  %912 = load i32, ptr %8, align 4, !tbaa !9
  %913 = sext i32 %912 to i64
  %914 = getelementptr inbounds %struct.png_color_struct, ptr %911, i64 %913
  %915 = getelementptr inbounds %struct.png_color_struct, ptr %914, i32 0, i32 2
  store i8 %910, ptr %915, align 1, !tbaa !45
  call void @llvm.lifetime.end.p0(i64 1, ptr %12) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %11) #5
  br label %916

916:                                              ; preds = %717, %712
  br label %969

917:                                              ; preds = %692, %685
  %918 = load ptr, ptr %2, align 8, !tbaa !5
  %919 = getelementptr inbounds %struct.png_struct_def, ptr %918, i32 0, i32 81
  %920 = load ptr, ptr %919, align 8, !tbaa !41
  %921 = load ptr, ptr %6, align 8, !tbaa !5
  %922 = load i32, ptr %8, align 4, !tbaa !9
  %923 = sext i32 %922 to i64
  %924 = getelementptr inbounds %struct.png_color_struct, ptr %921, i64 %923
  %925 = getelementptr inbounds %struct.png_color_struct, ptr %924, i32 0, i32 0
  %926 = load i8, ptr %925, align 1, !tbaa !42
  %927 = zext i8 %926 to i64
  %928 = getelementptr inbounds i8, ptr %920, i64 %927
  %929 = load i8, ptr %928, align 1, !tbaa !35
  %930 = load ptr, ptr %6, align 8, !tbaa !5
  %931 = load i32, ptr %8, align 4, !tbaa !9
  %932 = sext i32 %931 to i64
  %933 = getelementptr inbounds %struct.png_color_struct, ptr %930, i64 %932
  %934 = getelementptr inbounds %struct.png_color_struct, ptr %933, i32 0, i32 0
  store i8 %929, ptr %934, align 1, !tbaa !42
  %935 = load ptr, ptr %2, align 8, !tbaa !5
  %936 = getelementptr inbounds %struct.png_struct_def, ptr %935, i32 0, i32 81
  %937 = load ptr, ptr %936, align 8, !tbaa !41
  %938 = load ptr, ptr %6, align 8, !tbaa !5
  %939 = load i32, ptr %8, align 4, !tbaa !9
  %940 = sext i32 %939 to i64
  %941 = getelementptr inbounds %struct.png_color_struct, ptr %938, i64 %940
  %942 = getelementptr inbounds %struct.png_color_struct, ptr %941, i32 0, i32 1
  %943 = load i8, ptr %942, align 1, !tbaa !44
  %944 = zext i8 %943 to i64
  %945 = getelementptr inbounds i8, ptr %937, i64 %944
  %946 = load i8, ptr %945, align 1, !tbaa !35
  %947 = load ptr, ptr %6, align 8, !tbaa !5
  %948 = load i32, ptr %8, align 4, !tbaa !9
  %949 = sext i32 %948 to i64
  %950 = getelementptr inbounds %struct.png_color_struct, ptr %947, i64 %949
  %951 = getelementptr inbounds %struct.png_color_struct, ptr %950, i32 0, i32 1
  store i8 %946, ptr %951, align 1, !tbaa !44
  %952 = load ptr, ptr %2, align 8, !tbaa !5
  %953 = getelementptr inbounds %struct.png_struct_def, ptr %952, i32 0, i32 81
  %954 = load ptr, ptr %953, align 8, !tbaa !41
  %955 = load ptr, ptr %6, align 8, !tbaa !5
  %956 = load i32, ptr %8, align 4, !tbaa !9
  %957 = sext i32 %956 to i64
  %958 = getelementptr inbounds %struct.png_color_struct, ptr %955, i64 %957
  %959 = getelementptr inbounds %struct.png_color_struct, ptr %958, i32 0, i32 2
  %960 = load i8, ptr %959, align 1, !tbaa !45
  %961 = zext i8 %960 to i64
  %962 = getelementptr inbounds i8, ptr %954, i64 %961
  %963 = load i8, ptr %962, align 1, !tbaa !35
  %964 = load ptr, ptr %6, align 8, !tbaa !5
  %965 = load i32, ptr %8, align 4, !tbaa !9
  %966 = sext i32 %965 to i64
  %967 = getelementptr inbounds %struct.png_color_struct, ptr %964, i64 %966
  %968 = getelementptr inbounds %struct.png_color_struct, ptr %967, i32 0, i32 2
  store i8 %963, ptr %968, align 1, !tbaa !45
  br label %969

969:                                              ; preds = %917, %916
  br label %970

970:                                              ; preds = %969
  %971 = load i32, ptr %8, align 4, !tbaa !9
  %972 = add nsw i32 %971, 1
  store i32 %972, ptr %8, align 4, !tbaa !9
  br label %681, !llvm.loop !50

973:                                              ; preds = %681
  %974 = load ptr, ptr %2, align 8, !tbaa !5
  %975 = getelementptr inbounds %struct.png_struct_def, ptr %974, i32 0, i32 17
  %976 = load i32, ptr %975, align 4, !tbaa !24
  %977 = and i32 %976, -8321
  store i32 %977, ptr %975, align 4, !tbaa !24
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #5
  call void @llvm.lifetime.end.p0(i64 3, ptr %5) #5
  call void @llvm.lifetime.end.p0(i64 3, ptr %4) #5
  br label %1190

978:                                              ; preds = %459
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #5
  store i32 100000, ptr %18, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #5
  store i32 100000, ptr %19, align 4, !tbaa !9
  %979 = load ptr, ptr %2, align 8, !tbaa !5
  %980 = getelementptr inbounds %struct.png_struct_def, ptr %979, i32 0, i32 72
  %981 = load i8, ptr %980, align 4, !tbaa !37
  %982 = zext i8 %981 to i32
  switch i32 %982, label %1013 [
    i32 1, label %983
    i32 2, label %987
    i32 3, label %1001
  ]

983:                                              ; preds = %978
  %984 = load ptr, ptr %2, align 8, !tbaa !5
  %985 = getelementptr inbounds %struct.png_struct_def, ptr %984, i32 0, i32 80
  %986 = load i32, ptr %985, align 4, !tbaa !22
  store i32 %986, ptr %18, align 4, !tbaa !9
  br label %1015

987:                                              ; preds = %978
  %988 = load ptr, ptr %2, align 8, !tbaa !5
  %989 = getelementptr inbounds %struct.png_struct_def, ptr %988, i32 0, i32 144
  %990 = getelementptr inbounds %struct.png_colorspace, ptr %989, i32 0, i32 0
  %991 = load i32, ptr %990, align 8, !tbaa !11
  %992 = call i32 @png_reciprocal(i32 noundef %991)
  store i32 %992, ptr %18, align 4, !tbaa !9
  %993 = load ptr, ptr %2, align 8, !tbaa !5
  %994 = getelementptr inbounds %struct.png_struct_def, ptr %993, i32 0, i32 144
  %995 = getelementptr inbounds %struct.png_colorspace, ptr %994, i32 0, i32 0
  %996 = load i32, ptr %995, align 8, !tbaa !11
  %997 = load ptr, ptr %2, align 8, !tbaa !5
  %998 = getelementptr inbounds %struct.png_struct_def, ptr %997, i32 0, i32 80
  %999 = load i32, ptr %998, align 4, !tbaa !22
  %1000 = call i32 @png_reciprocal2(i32 noundef %996, i32 noundef %999)
  store i32 %1000, ptr %19, align 4, !tbaa !9
  br label %1015

1001:                                             ; preds = %978
  %1002 = load ptr, ptr %2, align 8, !tbaa !5
  %1003 = getelementptr inbounds %struct.png_struct_def, ptr %1002, i32 0, i32 73
  %1004 = load i32, ptr %1003, align 8, !tbaa !38
  %1005 = call i32 @png_reciprocal(i32 noundef %1004)
  store i32 %1005, ptr %18, align 4, !tbaa !9
  %1006 = load ptr, ptr %2, align 8, !tbaa !5
  %1007 = getelementptr inbounds %struct.png_struct_def, ptr %1006, i32 0, i32 73
  %1008 = load i32, ptr %1007, align 8, !tbaa !38
  %1009 = load ptr, ptr %2, align 8, !tbaa !5
  %1010 = getelementptr inbounds %struct.png_struct_def, ptr %1009, i32 0, i32 80
  %1011 = load i32, ptr %1010, align 4, !tbaa !22
  %1012 = call i32 @png_reciprocal2(i32 noundef %1008, i32 noundef %1011)
  store i32 %1012, ptr %19, align 4, !tbaa !9
  br label %1015

1013:                                             ; preds = %978
  %1014 = load ptr, ptr %2, align 8, !tbaa !5
  call void @png_error(ptr noundef %1014, ptr noundef @.str.13) #6
  unreachable

1015:                                             ; preds = %1001, %987, %983
  %1016 = load i32, ptr %18, align 4, !tbaa !9
  %1017 = call i32 @png_gamma_significant(i32 noundef %1016)
  store i32 %1017, ptr %17, align 4, !tbaa !9
  %1018 = load i32, ptr %19, align 4, !tbaa !9
  %1019 = call i32 @png_gamma_significant(i32 noundef %1018)
  store i32 %1019, ptr %16, align 4, !tbaa !9
  %1020 = load i32, ptr %17, align 4, !tbaa !9
  %1021 = icmp ne i32 %1020, 0
  br i1 %1021, label %1022, label %1034

1022:                                             ; preds = %1015
  %1023 = load ptr, ptr %2, align 8, !tbaa !5
  %1024 = load ptr, ptr %2, align 8, !tbaa !5
  %1025 = getelementptr inbounds %struct.png_struct_def, ptr %1024, i32 0, i32 74
  %1026 = getelementptr inbounds %struct.png_color_16_struct, ptr %1025, i32 0, i32 4
  %1027 = load i16, ptr %1026, align 4, !tbaa !32
  %1028 = zext i16 %1027 to i32
  %1029 = load i32, ptr %18, align 4, !tbaa !9
  %1030 = call zeroext i16 @png_gamma_correct(ptr noundef %1023, i32 noundef %1028, i32 noundef %1029)
  %1031 = load ptr, ptr %2, align 8, !tbaa !5
  %1032 = getelementptr inbounds %struct.png_struct_def, ptr %1031, i32 0, i32 75
  %1033 = getelementptr inbounds %struct.png_color_16_struct, ptr %1032, i32 0, i32 4
  store i16 %1030, ptr %1033, align 2, !tbaa !52
  br label %1034

1034:                                             ; preds = %1022, %1015
  %1035 = load i32, ptr %16, align 4, !tbaa !9
  %1036 = icmp ne i32 %1035, 0
  br i1 %1036, label %1037, label %1049

1037:                                             ; preds = %1034
  %1038 = load ptr, ptr %2, align 8, !tbaa !5
  %1039 = load ptr, ptr %2, align 8, !tbaa !5
  %1040 = getelementptr inbounds %struct.png_struct_def, ptr %1039, i32 0, i32 74
  %1041 = getelementptr inbounds %struct.png_color_16_struct, ptr %1040, i32 0, i32 4
  %1042 = load i16, ptr %1041, align 4, !tbaa !32
  %1043 = zext i16 %1042 to i32
  %1044 = load i32, ptr %19, align 4, !tbaa !9
  %1045 = call zeroext i16 @png_gamma_correct(ptr noundef %1038, i32 noundef %1043, i32 noundef %1044)
  %1046 = load ptr, ptr %2, align 8, !tbaa !5
  %1047 = getelementptr inbounds %struct.png_struct_def, ptr %1046, i32 0, i32 74
  %1048 = getelementptr inbounds %struct.png_color_16_struct, ptr %1047, i32 0, i32 4
  store i16 %1045, ptr %1048, align 4, !tbaa !32
  br label %1049

1049:                                             ; preds = %1037, %1034
  %1050 = load ptr, ptr %2, align 8, !tbaa !5
  %1051 = getelementptr inbounds %struct.png_struct_def, ptr %1050, i32 0, i32 74
  %1052 = getelementptr inbounds %struct.png_color_16_struct, ptr %1051, i32 0, i32 1
  %1053 = load i16, ptr %1052, align 2, !tbaa !29
  %1054 = zext i16 %1053 to i32
  %1055 = load ptr, ptr %2, align 8, !tbaa !5
  %1056 = getelementptr inbounds %struct.png_struct_def, ptr %1055, i32 0, i32 74
  %1057 = getelementptr inbounds %struct.png_color_16_struct, ptr %1056, i32 0, i32 2
  %1058 = load i16, ptr %1057, align 4, !tbaa !30
  %1059 = zext i16 %1058 to i32
  %1060 = icmp ne i32 %1054, %1059
  br i1 %1060, label %1085, label %1061

1061:                                             ; preds = %1049
  %1062 = load ptr, ptr %2, align 8, !tbaa !5
  %1063 = getelementptr inbounds %struct.png_struct_def, ptr %1062, i32 0, i32 74
  %1064 = getelementptr inbounds %struct.png_color_16_struct, ptr %1063, i32 0, i32 1
  %1065 = load i16, ptr %1064, align 2, !tbaa !29
  %1066 = zext i16 %1065 to i32
  %1067 = load ptr, ptr %2, align 8, !tbaa !5
  %1068 = getelementptr inbounds %struct.png_struct_def, ptr %1067, i32 0, i32 74
  %1069 = getelementptr inbounds %struct.png_color_16_struct, ptr %1068, i32 0, i32 3
  %1070 = load i16, ptr %1069, align 2, !tbaa !31
  %1071 = zext i16 %1070 to i32
  %1072 = icmp ne i32 %1066, %1071
  br i1 %1072, label %1085, label %1073

1073:                                             ; preds = %1061
  %1074 = load ptr, ptr %2, align 8, !tbaa !5
  %1075 = getelementptr inbounds %struct.png_struct_def, ptr %1074, i32 0, i32 74
  %1076 = getelementptr inbounds %struct.png_color_16_struct, ptr %1075, i32 0, i32 1
  %1077 = load i16, ptr %1076, align 2, !tbaa !29
  %1078 = zext i16 %1077 to i32
  %1079 = load ptr, ptr %2, align 8, !tbaa !5
  %1080 = getelementptr inbounds %struct.png_struct_def, ptr %1079, i32 0, i32 74
  %1081 = getelementptr inbounds %struct.png_color_16_struct, ptr %1080, i32 0, i32 4
  %1082 = load i16, ptr %1081, align 4, !tbaa !32
  %1083 = zext i16 %1082 to i32
  %1084 = icmp ne i32 %1078, %1083
  br i1 %1084, label %1085, label %1160

1085:                                             ; preds = %1073, %1061, %1049
  %1086 = load i32, ptr %17, align 4, !tbaa !9
  %1087 = icmp ne i32 %1086, 0
  br i1 %1087, label %1088, label %1122

1088:                                             ; preds = %1085
  %1089 = load ptr, ptr %2, align 8, !tbaa !5
  %1090 = load ptr, ptr %2, align 8, !tbaa !5
  %1091 = getelementptr inbounds %struct.png_struct_def, ptr %1090, i32 0, i32 74
  %1092 = getelementptr inbounds %struct.png_color_16_struct, ptr %1091, i32 0, i32 1
  %1093 = load i16, ptr %1092, align 2, !tbaa !29
  %1094 = zext i16 %1093 to i32
  %1095 = load i32, ptr %18, align 4, !tbaa !9
  %1096 = call zeroext i16 @png_gamma_correct(ptr noundef %1089, i32 noundef %1094, i32 noundef %1095)
  %1097 = load ptr, ptr %2, align 8, !tbaa !5
  %1098 = getelementptr inbounds %struct.png_struct_def, ptr %1097, i32 0, i32 75
  %1099 = getelementptr inbounds %struct.png_color_16_struct, ptr %1098, i32 0, i32 1
  store i16 %1096, ptr %1099, align 2, !tbaa !53
  %1100 = load ptr, ptr %2, align 8, !tbaa !5
  %1101 = load ptr, ptr %2, align 8, !tbaa !5
  %1102 = getelementptr inbounds %struct.png_struct_def, ptr %1101, i32 0, i32 74
  %1103 = getelementptr inbounds %struct.png_color_16_struct, ptr %1102, i32 0, i32 2
  %1104 = load i16, ptr %1103, align 4, !tbaa !30
  %1105 = zext i16 %1104 to i32
  %1106 = load i32, ptr %18, align 4, !tbaa !9
  %1107 = call zeroext i16 @png_gamma_correct(ptr noundef %1100, i32 noundef %1105, i32 noundef %1106)
  %1108 = load ptr, ptr %2, align 8, !tbaa !5
  %1109 = getelementptr inbounds %struct.png_struct_def, ptr %1108, i32 0, i32 75
  %1110 = getelementptr inbounds %struct.png_color_16_struct, ptr %1109, i32 0, i32 2
  store i16 %1107, ptr %1110, align 2, !tbaa !54
  %1111 = load ptr, ptr %2, align 8, !tbaa !5
  %1112 = load ptr, ptr %2, align 8, !tbaa !5
  %1113 = getelementptr inbounds %struct.png_struct_def, ptr %1112, i32 0, i32 74
  %1114 = getelementptr inbounds %struct.png_color_16_struct, ptr %1113, i32 0, i32 3
  %1115 = load i16, ptr %1114, align 2, !tbaa !31
  %1116 = zext i16 %1115 to i32
  %1117 = load i32, ptr %18, align 4, !tbaa !9
  %1118 = call zeroext i16 @png_gamma_correct(ptr noundef %1111, i32 noundef %1116, i32 noundef %1117)
  %1119 = load ptr, ptr %2, align 8, !tbaa !5
  %1120 = getelementptr inbounds %struct.png_struct_def, ptr %1119, i32 0, i32 75
  %1121 = getelementptr inbounds %struct.png_color_16_struct, ptr %1120, i32 0, i32 3
  store i16 %1118, ptr %1121, align 2, !tbaa !55
  br label %1122

1122:                                             ; preds = %1088, %1085
  %1123 = load i32, ptr %16, align 4, !tbaa !9
  %1124 = icmp ne i32 %1123, 0
  br i1 %1124, label %1125, label %1159

1125:                                             ; preds = %1122
  %1126 = load ptr, ptr %2, align 8, !tbaa !5
  %1127 = load ptr, ptr %2, align 8, !tbaa !5
  %1128 = getelementptr inbounds %struct.png_struct_def, ptr %1127, i32 0, i32 74
  %1129 = getelementptr inbounds %struct.png_color_16_struct, ptr %1128, i32 0, i32 1
  %1130 = load i16, ptr %1129, align 2, !tbaa !29
  %1131 = zext i16 %1130 to i32
  %1132 = load i32, ptr %19, align 4, !tbaa !9
  %1133 = call zeroext i16 @png_gamma_correct(ptr noundef %1126, i32 noundef %1131, i32 noundef %1132)
  %1134 = load ptr, ptr %2, align 8, !tbaa !5
  %1135 = getelementptr inbounds %struct.png_struct_def, ptr %1134, i32 0, i32 74
  %1136 = getelementptr inbounds %struct.png_color_16_struct, ptr %1135, i32 0, i32 1
  store i16 %1133, ptr %1136, align 2, !tbaa !29
  %1137 = load ptr, ptr %2, align 8, !tbaa !5
  %1138 = load ptr, ptr %2, align 8, !tbaa !5
  %1139 = getelementptr inbounds %struct.png_struct_def, ptr %1138, i32 0, i32 74
  %1140 = getelementptr inbounds %struct.png_color_16_struct, ptr %1139, i32 0, i32 2
  %1141 = load i16, ptr %1140, align 4, !tbaa !30
  %1142 = zext i16 %1141 to i32
  %1143 = load i32, ptr %19, align 4, !tbaa !9
  %1144 = call zeroext i16 @png_gamma_correct(ptr noundef %1137, i32 noundef %1142, i32 noundef %1143)
  %1145 = load ptr, ptr %2, align 8, !tbaa !5
  %1146 = getelementptr inbounds %struct.png_struct_def, ptr %1145, i32 0, i32 74
  %1147 = getelementptr inbounds %struct.png_color_16_struct, ptr %1146, i32 0, i32 2
  store i16 %1144, ptr %1147, align 4, !tbaa !30
  %1148 = load ptr, ptr %2, align 8, !tbaa !5
  %1149 = load ptr, ptr %2, align 8, !tbaa !5
  %1150 = getelementptr inbounds %struct.png_struct_def, ptr %1149, i32 0, i32 74
  %1151 = getelementptr inbounds %struct.png_color_16_struct, ptr %1150, i32 0, i32 3
  %1152 = load i16, ptr %1151, align 2, !tbaa !31
  %1153 = zext i16 %1152 to i32
  %1154 = load i32, ptr %19, align 4, !tbaa !9
  %1155 = call zeroext i16 @png_gamma_correct(ptr noundef %1148, i32 noundef %1153, i32 noundef %1154)
  %1156 = load ptr, ptr %2, align 8, !tbaa !5
  %1157 = getelementptr inbounds %struct.png_struct_def, ptr %1156, i32 0, i32 74
  %1158 = getelementptr inbounds %struct.png_color_16_struct, ptr %1157, i32 0, i32 3
  store i16 %1155, ptr %1158, align 2, !tbaa !31
  br label %1159

1159:                                             ; preds = %1125, %1122
  br label %1187

1160:                                             ; preds = %1073
  %1161 = load ptr, ptr %2, align 8, !tbaa !5
  %1162 = getelementptr inbounds %struct.png_struct_def, ptr %1161, i32 0, i32 75
  %1163 = getelementptr inbounds %struct.png_color_16_struct, ptr %1162, i32 0, i32 4
  %1164 = load i16, ptr %1163, align 2, !tbaa !52
  %1165 = load ptr, ptr %2, align 8, !tbaa !5
  %1166 = getelementptr inbounds %struct.png_struct_def, ptr %1165, i32 0, i32 75
  %1167 = getelementptr inbounds %struct.png_color_16_struct, ptr %1166, i32 0, i32 3
  store i16 %1164, ptr %1167, align 2, !tbaa !55
  %1168 = load ptr, ptr %2, align 8, !tbaa !5
  %1169 = getelementptr inbounds %struct.png_struct_def, ptr %1168, i32 0, i32 75
  %1170 = getelementptr inbounds %struct.png_color_16_struct, ptr %1169, i32 0, i32 2
  store i16 %1164, ptr %1170, align 2, !tbaa !54
  %1171 = load ptr, ptr %2, align 8, !tbaa !5
  %1172 = getelementptr inbounds %struct.png_struct_def, ptr %1171, i32 0, i32 75
  %1173 = getelementptr inbounds %struct.png_color_16_struct, ptr %1172, i32 0, i32 1
  store i16 %1164, ptr %1173, align 2, !tbaa !53
  %1174 = load ptr, ptr %2, align 8, !tbaa !5
  %1175 = getelementptr inbounds %struct.png_struct_def, ptr %1174, i32 0, i32 74
  %1176 = getelementptr inbounds %struct.png_color_16_struct, ptr %1175, i32 0, i32 4
  %1177 = load i16, ptr %1176, align 4, !tbaa !32
  %1178 = load ptr, ptr %2, align 8, !tbaa !5
  %1179 = getelementptr inbounds %struct.png_struct_def, ptr %1178, i32 0, i32 74
  %1180 = getelementptr inbounds %struct.png_color_16_struct, ptr %1179, i32 0, i32 3
  store i16 %1177, ptr %1180, align 2, !tbaa !31
  %1181 = load ptr, ptr %2, align 8, !tbaa !5
  %1182 = getelementptr inbounds %struct.png_struct_def, ptr %1181, i32 0, i32 74
  %1183 = getelementptr inbounds %struct.png_color_16_struct, ptr %1182, i32 0, i32 2
  store i16 %1177, ptr %1183, align 4, !tbaa !30
  %1184 = load ptr, ptr %2, align 8, !tbaa !5
  %1185 = getelementptr inbounds %struct.png_struct_def, ptr %1184, i32 0, i32 74
  %1186 = getelementptr inbounds %struct.png_color_16_struct, ptr %1185, i32 0, i32 1
  store i16 %1177, ptr %1186, align 2, !tbaa !29
  br label %1187

1187:                                             ; preds = %1160, %1159
  %1188 = load ptr, ptr %2, align 8, !tbaa !5
  %1189 = getelementptr inbounds %struct.png_struct_def, ptr %1188, i32 0, i32 72
  store i8 1, ptr %1189, align 4, !tbaa !37
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #5
  br label %1190

1190:                                             ; preds = %1187, %973
  br label %1282

1191:                                             ; preds = %440
  %1192 = load ptr, ptr %2, align 8, !tbaa !5
  %1193 = getelementptr inbounds %struct.png_struct_def, ptr %1192, i32 0, i32 61
  %1194 = load i8, ptr %1193, align 1, !tbaa !27
  %1195 = zext i8 %1194 to i32
  %1196 = icmp eq i32 %1195, 3
  br i1 %1196, label %1197, label %1281

1197:                                             ; preds = %1191
  %1198 = load ptr, ptr %2, align 8, !tbaa !5
  %1199 = getelementptr inbounds %struct.png_struct_def, ptr %1198, i32 0, i32 17
  %1200 = load i32, ptr %1199, align 4, !tbaa !24
  %1201 = and i32 %1200, 4096
  %1202 = icmp eq i32 %1201, 0
  br i1 %1202, label %1209, label %1203

1203:                                             ; preds = %1197
  %1204 = load ptr, ptr %2, align 8, !tbaa !5
  %1205 = getelementptr inbounds %struct.png_struct_def, ptr %1204, i32 0, i32 17
  %1206 = load i32, ptr %1205, align 4, !tbaa !24
  %1207 = and i32 %1206, 6291456
  %1208 = icmp eq i32 %1207, 0
  br i1 %1208, label %1209, label %1281

1209:                                             ; preds = %1203, %1197
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #5
  %1210 = load ptr, ptr %2, align 8, !tbaa !5
  %1211 = getelementptr inbounds %struct.png_struct_def, ptr %1210, i32 0, i32 52
  %1212 = load ptr, ptr %1211, align 8, !tbaa !39
  store ptr %1212, ptr %20, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #5
  %1213 = load ptr, ptr %2, align 8, !tbaa !5
  %1214 = getelementptr inbounds %struct.png_struct_def, ptr %1213, i32 0, i32 53
  %1215 = load i16, ptr %1214, align 8, !tbaa !40
  %1216 = zext i16 %1215 to i32
  store i32 %1216, ptr %21, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #5
  store i32 0, ptr %22, align 4, !tbaa !9
  br label %1217

1217:                                             ; preds = %1273, %1209
  %1218 = load i32, ptr %22, align 4, !tbaa !9
  %1219 = load i32, ptr %21, align 4, !tbaa !9
  %1220 = icmp slt i32 %1218, %1219
  br i1 %1220, label %1221, label %1276

1221:                                             ; preds = %1217
  %1222 = load ptr, ptr %2, align 8, !tbaa !5
  %1223 = getelementptr inbounds %struct.png_struct_def, ptr %1222, i32 0, i32 81
  %1224 = load ptr, ptr %1223, align 8, !tbaa !41
  %1225 = load ptr, ptr %20, align 8, !tbaa !5
  %1226 = load i32, ptr %22, align 4, !tbaa !9
  %1227 = sext i32 %1226 to i64
  %1228 = getelementptr inbounds %struct.png_color_struct, ptr %1225, i64 %1227
  %1229 = getelementptr inbounds %struct.png_color_struct, ptr %1228, i32 0, i32 0
  %1230 = load i8, ptr %1229, align 1, !tbaa !42
  %1231 = zext i8 %1230 to i64
  %1232 = getelementptr inbounds i8, ptr %1224, i64 %1231
  %1233 = load i8, ptr %1232, align 1, !tbaa !35
  %1234 = load ptr, ptr %20, align 8, !tbaa !5
  %1235 = load i32, ptr %22, align 4, !tbaa !9
  %1236 = sext i32 %1235 to i64
  %1237 = getelementptr inbounds %struct.png_color_struct, ptr %1234, i64 %1236
  %1238 = getelementptr inbounds %struct.png_color_struct, ptr %1237, i32 0, i32 0
  store i8 %1233, ptr %1238, align 1, !tbaa !42
  %1239 = load ptr, ptr %2, align 8, !tbaa !5
  %1240 = getelementptr inbounds %struct.png_struct_def, ptr %1239, i32 0, i32 81
  %1241 = load ptr, ptr %1240, align 8, !tbaa !41
  %1242 = load ptr, ptr %20, align 8, !tbaa !5
  %1243 = load i32, ptr %22, align 4, !tbaa !9
  %1244 = sext i32 %1243 to i64
  %1245 = getelementptr inbounds %struct.png_color_struct, ptr %1242, i64 %1244
  %1246 = getelementptr inbounds %struct.png_color_struct, ptr %1245, i32 0, i32 1
  %1247 = load i8, ptr %1246, align 1, !tbaa !44
  %1248 = zext i8 %1247 to i64
  %1249 = getelementptr inbounds i8, ptr %1241, i64 %1248
  %1250 = load i8, ptr %1249, align 1, !tbaa !35
  %1251 = load ptr, ptr %20, align 8, !tbaa !5
  %1252 = load i32, ptr %22, align 4, !tbaa !9
  %1253 = sext i32 %1252 to i64
  %1254 = getelementptr inbounds %struct.png_color_struct, ptr %1251, i64 %1253
  %1255 = getelementptr inbounds %struct.png_color_struct, ptr %1254, i32 0, i32 1
  store i8 %1250, ptr %1255, align 1, !tbaa !44
  %1256 = load ptr, ptr %2, align 8, !tbaa !5
  %1257 = getelementptr inbounds %struct.png_struct_def, ptr %1256, i32 0, i32 81
  %1258 = load ptr, ptr %1257, align 8, !tbaa !41
  %1259 = load ptr, ptr %20, align 8, !tbaa !5
  %1260 = load i32, ptr %22, align 4, !tbaa !9
  %1261 = sext i32 %1260 to i64
  %1262 = getelementptr inbounds %struct.png_color_struct, ptr %1259, i64 %1261
  %1263 = getelementptr inbounds %struct.png_color_struct, ptr %1262, i32 0, i32 2
  %1264 = load i8, ptr %1263, align 1, !tbaa !45
  %1265 = zext i8 %1264 to i64
  %1266 = getelementptr inbounds i8, ptr %1258, i64 %1265
  %1267 = load i8, ptr %1266, align 1, !tbaa !35
  %1268 = load ptr, ptr %20, align 8, !tbaa !5
  %1269 = load i32, ptr %22, align 4, !tbaa !9
  %1270 = sext i32 %1269 to i64
  %1271 = getelementptr inbounds %struct.png_color_struct, ptr %1268, i64 %1270
  %1272 = getelementptr inbounds %struct.png_color_struct, ptr %1271, i32 0, i32 2
  store i8 %1267, ptr %1272, align 1, !tbaa !45
  br label %1273

1273:                                             ; preds = %1221
  %1274 = load i32, ptr %22, align 4, !tbaa !9
  %1275 = add nsw i32 %1274, 1
  store i32 %1275, ptr %22, align 4, !tbaa !9
  br label %1217, !llvm.loop !56

1276:                                             ; preds = %1217
  %1277 = load ptr, ptr %2, align 8, !tbaa !5
  %1278 = getelementptr inbounds %struct.png_struct_def, ptr %1277, i32 0, i32 17
  %1279 = load i32, ptr %1278, align 4, !tbaa !24
  %1280 = and i32 %1279, -8193
  store i32 %1280, ptr %1278, align 4, !tbaa !24
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #5
  br label %1281

1281:                                             ; preds = %1276, %1203, %1191
  br label %1282

1282:                                             ; preds = %1281, %1190
  br label %1518

1283:                                             ; preds = %434, %428
  %1284 = load ptr, ptr %2, align 8, !tbaa !5
  %1285 = getelementptr inbounds %struct.png_struct_def, ptr %1284, i32 0, i32 17
  %1286 = load i32, ptr %1285, align 4, !tbaa !24
  %1287 = and i32 %1286, 128
  %1288 = icmp ne i32 %1287, 0
  br i1 %1288, label %1289, label %1517

1289:                                             ; preds = %1283
  %1290 = load ptr, ptr %2, align 8, !tbaa !5
  %1291 = getelementptr inbounds %struct.png_struct_def, ptr %1290, i32 0, i32 61
  %1292 = load i8, ptr %1291, align 1, !tbaa !27
  %1293 = zext i8 %1292 to i32
  %1294 = icmp eq i32 %1293, 3
  br i1 %1294, label %1295, label %1517

1295:                                             ; preds = %1289
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #5
  %1296 = load ptr, ptr %2, align 8, !tbaa !5
  %1297 = getelementptr inbounds %struct.png_struct_def, ptr %1296, i32 0, i32 55
  %1298 = load i16, ptr %1297, align 8, !tbaa !26
  %1299 = zext i16 %1298 to i32
  store i32 %1299, ptr %24, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 3, ptr %25) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #5
  %1300 = load ptr, ptr %2, align 8, !tbaa !5
  %1301 = getelementptr inbounds %struct.png_struct_def, ptr %1300, i32 0, i32 52
  %1302 = load ptr, ptr %1301, align 8, !tbaa !39
  store ptr %1302, ptr %26, align 8, !tbaa !5
  %1303 = load ptr, ptr %2, align 8, !tbaa !5
  %1304 = getelementptr inbounds %struct.png_struct_def, ptr %1303, i32 0, i32 74
  %1305 = getelementptr inbounds %struct.png_color_16_struct, ptr %1304, i32 0, i32 1
  %1306 = load i16, ptr %1305, align 2, !tbaa !29
  %1307 = trunc i16 %1306 to i8
  %1308 = getelementptr inbounds %struct.png_color_struct, ptr %25, i32 0, i32 0
  store i8 %1307, ptr %1308, align 1, !tbaa !42
  %1309 = load ptr, ptr %2, align 8, !tbaa !5
  %1310 = getelementptr inbounds %struct.png_struct_def, ptr %1309, i32 0, i32 74
  %1311 = getelementptr inbounds %struct.png_color_16_struct, ptr %1310, i32 0, i32 2
  %1312 = load i16, ptr %1311, align 4, !tbaa !30
  %1313 = trunc i16 %1312 to i8
  %1314 = getelementptr inbounds %struct.png_color_struct, ptr %25, i32 0, i32 1
  store i8 %1313, ptr %1314, align 1, !tbaa !44
  %1315 = load ptr, ptr %2, align 8, !tbaa !5
  %1316 = getelementptr inbounds %struct.png_struct_def, ptr %1315, i32 0, i32 74
  %1317 = getelementptr inbounds %struct.png_color_16_struct, ptr %1316, i32 0, i32 3
  %1318 = load i16, ptr %1317, align 2, !tbaa !31
  %1319 = trunc i16 %1318 to i8
  %1320 = getelementptr inbounds %struct.png_color_struct, ptr %25, i32 0, i32 2
  store i8 %1319, ptr %1320, align 1, !tbaa !45
  store i32 0, ptr %23, align 4, !tbaa !9
  br label %1321

1321:                                             ; preds = %1509, %1295
  %1322 = load i32, ptr %23, align 4, !tbaa !9
  %1323 = load i32, ptr %24, align 4, !tbaa !9
  %1324 = icmp slt i32 %1322, %1323
  br i1 %1324, label %1325, label %1512

1325:                                             ; preds = %1321
  %1326 = load ptr, ptr %2, align 8, !tbaa !5
  %1327 = getelementptr inbounds %struct.png_struct_def, ptr %1326, i32 0, i32 89
  %1328 = load ptr, ptr %1327, align 8, !tbaa !47
  %1329 = load i32, ptr %23, align 4, !tbaa !9
  %1330 = sext i32 %1329 to i64
  %1331 = getelementptr inbounds i8, ptr %1328, i64 %1330
  %1332 = load i8, ptr %1331, align 1, !tbaa !35
  %1333 = zext i8 %1332 to i32
  %1334 = icmp eq i32 %1333, 0
  br i1 %1334, label %1335, label %1340

1335:                                             ; preds = %1325
  %1336 = load ptr, ptr %26, align 8, !tbaa !5
  %1337 = load i32, ptr %23, align 4, !tbaa !9
  %1338 = sext i32 %1337 to i64
  %1339 = getelementptr inbounds %struct.png_color_struct, ptr %1336, i64 %1338
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %1339, ptr align 1 %25, i64 3, i1 false), !tbaa.struct !48
  br label %1508

1340:                                             ; preds = %1325
  %1341 = load ptr, ptr %2, align 8, !tbaa !5
  %1342 = getelementptr inbounds %struct.png_struct_def, ptr %1341, i32 0, i32 89
  %1343 = load ptr, ptr %1342, align 8, !tbaa !47
  %1344 = load i32, ptr %23, align 4, !tbaa !9
  %1345 = sext i32 %1344 to i64
  %1346 = getelementptr inbounds i8, ptr %1343, i64 %1345
  %1347 = load i8, ptr %1346, align 1, !tbaa !35
  %1348 = zext i8 %1347 to i32
  %1349 = icmp ne i32 %1348, 255
  br i1 %1349, label %1350, label %1507

1350:                                             ; preds = %1340
  call void @llvm.lifetime.start.p0(i64 2, ptr %27) #5
  %1351 = load ptr, ptr %26, align 8, !tbaa !5
  %1352 = load i32, ptr %23, align 4, !tbaa !9
  %1353 = sext i32 %1352 to i64
  %1354 = getelementptr inbounds %struct.png_color_struct, ptr %1351, i64 %1353
  %1355 = getelementptr inbounds %struct.png_color_struct, ptr %1354, i32 0, i32 0
  %1356 = load i8, ptr %1355, align 1, !tbaa !42
  %1357 = zext i8 %1356 to i16
  %1358 = zext i16 %1357 to i32
  %1359 = load ptr, ptr %2, align 8, !tbaa !5
  %1360 = getelementptr inbounds %struct.png_struct_def, ptr %1359, i32 0, i32 89
  %1361 = load ptr, ptr %1360, align 8, !tbaa !47
  %1362 = load i32, ptr %23, align 4, !tbaa !9
  %1363 = sext i32 %1362 to i64
  %1364 = getelementptr inbounds i8, ptr %1361, i64 %1363
  %1365 = load i8, ptr %1364, align 1, !tbaa !35
  %1366 = zext i8 %1365 to i16
  %1367 = zext i16 %1366 to i32
  %1368 = mul nsw i32 %1358, %1367
  %1369 = getelementptr inbounds %struct.png_color_struct, ptr %25, i32 0, i32 0
  %1370 = load i8, ptr %1369, align 1, !tbaa !42
  %1371 = zext i8 %1370 to i16
  %1372 = zext i16 %1371 to i32
  %1373 = load ptr, ptr %2, align 8, !tbaa !5
  %1374 = getelementptr inbounds %struct.png_struct_def, ptr %1373, i32 0, i32 89
  %1375 = load ptr, ptr %1374, align 8, !tbaa !47
  %1376 = load i32, ptr %23, align 4, !tbaa !9
  %1377 = sext i32 %1376 to i64
  %1378 = getelementptr inbounds i8, ptr %1375, i64 %1377
  %1379 = load i8, ptr %1378, align 1, !tbaa !35
  %1380 = zext i8 %1379 to i16
  %1381 = zext i16 %1380 to i32
  %1382 = sub nsw i32 255, %1381
  %1383 = trunc i32 %1382 to i16
  %1384 = zext i16 %1383 to i32
  %1385 = mul nsw i32 %1372, %1384
  %1386 = add nsw i32 %1368, %1385
  %1387 = add nsw i32 %1386, 128
  %1388 = trunc i32 %1387 to i16
  store i16 %1388, ptr %27, align 2, !tbaa !36
  %1389 = load i16, ptr %27, align 2, !tbaa !36
  %1390 = zext i16 %1389 to i32
  %1391 = load i16, ptr %27, align 2, !tbaa !36
  %1392 = zext i16 %1391 to i32
  %1393 = ashr i32 %1392, 8
  %1394 = add nsw i32 %1390, %1393
  %1395 = ashr i32 %1394, 8
  %1396 = and i32 %1395, 255
  %1397 = trunc i32 %1396 to i8
  %1398 = load ptr, ptr %26, align 8, !tbaa !5
  %1399 = load i32, ptr %23, align 4, !tbaa !9
  %1400 = sext i32 %1399 to i64
  %1401 = getelementptr inbounds %struct.png_color_struct, ptr %1398, i64 %1400
  %1402 = getelementptr inbounds %struct.png_color_struct, ptr %1401, i32 0, i32 0
  store i8 %1397, ptr %1402, align 1, !tbaa !42
  call void @llvm.lifetime.end.p0(i64 2, ptr %27) #5
  call void @llvm.lifetime.start.p0(i64 2, ptr %28) #5
  %1403 = load ptr, ptr %26, align 8, !tbaa !5
  %1404 = load i32, ptr %23, align 4, !tbaa !9
  %1405 = sext i32 %1404 to i64
  %1406 = getelementptr inbounds %struct.png_color_struct, ptr %1403, i64 %1405
  %1407 = getelementptr inbounds %struct.png_color_struct, ptr %1406, i32 0, i32 1
  %1408 = load i8, ptr %1407, align 1, !tbaa !44
  %1409 = zext i8 %1408 to i16
  %1410 = zext i16 %1409 to i32
  %1411 = load ptr, ptr %2, align 8, !tbaa !5
  %1412 = getelementptr inbounds %struct.png_struct_def, ptr %1411, i32 0, i32 89
  %1413 = load ptr, ptr %1412, align 8, !tbaa !47
  %1414 = load i32, ptr %23, align 4, !tbaa !9
  %1415 = sext i32 %1414 to i64
  %1416 = getelementptr inbounds i8, ptr %1413, i64 %1415
  %1417 = load i8, ptr %1416, align 1, !tbaa !35
  %1418 = zext i8 %1417 to i16
  %1419 = zext i16 %1418 to i32
  %1420 = mul nsw i32 %1410, %1419
  %1421 = getelementptr inbounds %struct.png_color_struct, ptr %25, i32 0, i32 1
  %1422 = load i8, ptr %1421, align 1, !tbaa !44
  %1423 = zext i8 %1422 to i16
  %1424 = zext i16 %1423 to i32
  %1425 = load ptr, ptr %2, align 8, !tbaa !5
  %1426 = getelementptr inbounds %struct.png_struct_def, ptr %1425, i32 0, i32 89
  %1427 = load ptr, ptr %1426, align 8, !tbaa !47
  %1428 = load i32, ptr %23, align 4, !tbaa !9
  %1429 = sext i32 %1428 to i64
  %1430 = getelementptr inbounds i8, ptr %1427, i64 %1429
  %1431 = load i8, ptr %1430, align 1, !tbaa !35
  %1432 = zext i8 %1431 to i16
  %1433 = zext i16 %1432 to i32
  %1434 = sub nsw i32 255, %1433
  %1435 = trunc i32 %1434 to i16
  %1436 = zext i16 %1435 to i32
  %1437 = mul nsw i32 %1424, %1436
  %1438 = add nsw i32 %1420, %1437
  %1439 = add nsw i32 %1438, 128
  %1440 = trunc i32 %1439 to i16
  store i16 %1440, ptr %28, align 2, !tbaa !36
  %1441 = load i16, ptr %28, align 2, !tbaa !36
  %1442 = zext i16 %1441 to i32
  %1443 = load i16, ptr %28, align 2, !tbaa !36
  %1444 = zext i16 %1443 to i32
  %1445 = ashr i32 %1444, 8
  %1446 = add nsw i32 %1442, %1445
  %1447 = ashr i32 %1446, 8
  %1448 = and i32 %1447, 255
  %1449 = trunc i32 %1448 to i8
  %1450 = load ptr, ptr %26, align 8, !tbaa !5
  %1451 = load i32, ptr %23, align 4, !tbaa !9
  %1452 = sext i32 %1451 to i64
  %1453 = getelementptr inbounds %struct.png_color_struct, ptr %1450, i64 %1452
  %1454 = getelementptr inbounds %struct.png_color_struct, ptr %1453, i32 0, i32 1
  store i8 %1449, ptr %1454, align 1, !tbaa !44
  call void @llvm.lifetime.end.p0(i64 2, ptr %28) #5
  call void @llvm.lifetime.start.p0(i64 2, ptr %29) #5
  %1455 = load ptr, ptr %26, align 8, !tbaa !5
  %1456 = load i32, ptr %23, align 4, !tbaa !9
  %1457 = sext i32 %1456 to i64
  %1458 = getelementptr inbounds %struct.png_color_struct, ptr %1455, i64 %1457
  %1459 = getelementptr inbounds %struct.png_color_struct, ptr %1458, i32 0, i32 2
  %1460 = load i8, ptr %1459, align 1, !tbaa !45
  %1461 = zext i8 %1460 to i16
  %1462 = zext i16 %1461 to i32
  %1463 = load ptr, ptr %2, align 8, !tbaa !5
  %1464 = getelementptr inbounds %struct.png_struct_def, ptr %1463, i32 0, i32 89
  %1465 = load ptr, ptr %1464, align 8, !tbaa !47
  %1466 = load i32, ptr %23, align 4, !tbaa !9
  %1467 = sext i32 %1466 to i64
  %1468 = getelementptr inbounds i8, ptr %1465, i64 %1467
  %1469 = load i8, ptr %1468, align 1, !tbaa !35
  %1470 = zext i8 %1469 to i16
  %1471 = zext i16 %1470 to i32
  %1472 = mul nsw i32 %1462, %1471
  %1473 = getelementptr inbounds %struct.png_color_struct, ptr %25, i32 0, i32 2
  %1474 = load i8, ptr %1473, align 1, !tbaa !45
  %1475 = zext i8 %1474 to i16
  %1476 = zext i16 %1475 to i32
  %1477 = load ptr, ptr %2, align 8, !tbaa !5
  %1478 = getelementptr inbounds %struct.png_struct_def, ptr %1477, i32 0, i32 89
  %1479 = load ptr, ptr %1478, align 8, !tbaa !47
  %1480 = load i32, ptr %23, align 4, !tbaa !9
  %1481 = sext i32 %1480 to i64
  %1482 = getelementptr inbounds i8, ptr %1479, i64 %1481
  %1483 = load i8, ptr %1482, align 1, !tbaa !35
  %1484 = zext i8 %1483 to i16
  %1485 = zext i16 %1484 to i32
  %1486 = sub nsw i32 255, %1485
  %1487 = trunc i32 %1486 to i16
  %1488 = zext i16 %1487 to i32
  %1489 = mul nsw i32 %1476, %1488
  %1490 = add nsw i32 %1472, %1489
  %1491 = add nsw i32 %1490, 128
  %1492 = trunc i32 %1491 to i16
  store i16 %1492, ptr %29, align 2, !tbaa !36
  %1493 = load i16, ptr %29, align 2, !tbaa !36
  %1494 = zext i16 %1493 to i32
  %1495 = load i16, ptr %29, align 2, !tbaa !36
  %1496 = zext i16 %1495 to i32
  %1497 = ashr i32 %1496, 8
  %1498 = add nsw i32 %1494, %1497
  %1499 = ashr i32 %1498, 8
  %1500 = and i32 %1499, 255
  %1501 = trunc i32 %1500 to i8
  %1502 = load ptr, ptr %26, align 8, !tbaa !5
  %1503 = load i32, ptr %23, align 4, !tbaa !9
  %1504 = sext i32 %1503 to i64
  %1505 = getelementptr inbounds %struct.png_color_struct, ptr %1502, i64 %1504
  %1506 = getelementptr inbounds %struct.png_color_struct, ptr %1505, i32 0, i32 2
  store i8 %1501, ptr %1506, align 1, !tbaa !45
  call void @llvm.lifetime.end.p0(i64 2, ptr %29) #5
  br label %1507

1507:                                             ; preds = %1350, %1340
  br label %1508

1508:                                             ; preds = %1507, %1335
  br label %1509

1509:                                             ; preds = %1508
  %1510 = load i32, ptr %23, align 4, !tbaa !9
  %1511 = add nsw i32 %1510, 1
  store i32 %1511, ptr %23, align 4, !tbaa !9
  br label %1321, !llvm.loop !57

1512:                                             ; preds = %1321
  %1513 = load ptr, ptr %2, align 8, !tbaa !5
  %1514 = getelementptr inbounds %struct.png_struct_def, ptr %1513, i32 0, i32 17
  %1515 = load i32, ptr %1514, align 4, !tbaa !24
  %1516 = and i32 %1515, -129
  store i32 %1516, ptr %1514, align 4, !tbaa !24
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #5
  call void @llvm.lifetime.end.p0(i64 3, ptr %25) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #5
  br label %1517

1517:                                             ; preds = %1512, %1289, %1283
  br label %1518

1518:                                             ; preds = %1517, %1282
  %1519 = load ptr, ptr %2, align 8, !tbaa !5
  %1520 = getelementptr inbounds %struct.png_struct_def, ptr %1519, i32 0, i32 17
  %1521 = load i32, ptr %1520, align 4, !tbaa !24
  %1522 = and i32 %1521, 8
  %1523 = icmp ne i32 %1522, 0
  br i1 %1523, label %1524, label %1674

1524:                                             ; preds = %1518
  %1525 = load ptr, ptr %2, align 8, !tbaa !5
  %1526 = getelementptr inbounds %struct.png_struct_def, ptr %1525, i32 0, i32 17
  %1527 = load i32, ptr %1526, align 4, !tbaa !24
  %1528 = and i32 %1527, 4096
  %1529 = icmp eq i32 %1528, 0
  br i1 %1529, label %1530, label %1674

1530:                                             ; preds = %1524
  %1531 = load ptr, ptr %2, align 8, !tbaa !5
  %1532 = getelementptr inbounds %struct.png_struct_def, ptr %1531, i32 0, i32 61
  %1533 = load i8, ptr %1532, align 1, !tbaa !27
  %1534 = zext i8 %1533 to i32
  %1535 = icmp eq i32 %1534, 3
  br i1 %1535, label %1536, label %1674

1536:                                             ; preds = %1530
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #5
  %1537 = load ptr, ptr %2, align 8, !tbaa !5
  %1538 = getelementptr inbounds %struct.png_struct_def, ptr %1537, i32 0, i32 53
  %1539 = load i16, ptr %1538, align 8, !tbaa !40
  %1540 = zext i16 %1539 to i32
  store i32 %1540, ptr %31, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #5
  %1541 = load ptr, ptr %2, align 8, !tbaa !5
  %1542 = getelementptr inbounds %struct.png_struct_def, ptr %1541, i32 0, i32 87
  %1543 = getelementptr inbounds %struct.png_color_8_struct, ptr %1542, i32 0, i32 0
  %1544 = load i8, ptr %1543, align 8, !tbaa !58
  %1545 = zext i8 %1544 to i32
  %1546 = sub nsw i32 8, %1545
  store i32 %1546, ptr %32, align 4, !tbaa !9
  %1547 = load ptr, ptr %2, align 8, !tbaa !5
  %1548 = getelementptr inbounds %struct.png_struct_def, ptr %1547, i32 0, i32 17
  %1549 = load i32, ptr %1548, align 4, !tbaa !24
  %1550 = and i32 %1549, -9
  store i32 %1550, ptr %1548, align 4, !tbaa !24
  %1551 = load i32, ptr %32, align 4, !tbaa !9
  %1552 = icmp sgt i32 %1551, 0
  br i1 %1552, label %1553, label %1587

1553:                                             ; preds = %1536
  %1554 = load i32, ptr %32, align 4, !tbaa !9
  %1555 = icmp slt i32 %1554, 8
  br i1 %1555, label %1556, label %1587

1556:                                             ; preds = %1553
  store i32 0, ptr %30, align 4, !tbaa !9
  br label %1557

1557:                                             ; preds = %1583, %1556
  %1558 = load i32, ptr %30, align 4, !tbaa !9
  %1559 = load i32, ptr %31, align 4, !tbaa !9
  %1560 = icmp slt i32 %1558, %1559
  br i1 %1560, label %1561, label %1586

1561:                                             ; preds = %1557
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #5
  %1562 = load ptr, ptr %2, align 8, !tbaa !5
  %1563 = getelementptr inbounds %struct.png_struct_def, ptr %1562, i32 0, i32 52
  %1564 = load ptr, ptr %1563, align 8, !tbaa !39
  %1565 = load i32, ptr %30, align 4, !tbaa !9
  %1566 = sext i32 %1565 to i64
  %1567 = getelementptr inbounds %struct.png_color_struct, ptr %1564, i64 %1566
  %1568 = getelementptr inbounds %struct.png_color_struct, ptr %1567, i32 0, i32 0
  %1569 = load i8, ptr %1568, align 1, !tbaa !42
  %1570 = zext i8 %1569 to i32
  store i32 %1570, ptr %33, align 4, !tbaa !9
  %1571 = load i32, ptr %32, align 4, !tbaa !9
  %1572 = load i32, ptr %33, align 4, !tbaa !9
  %1573 = ashr i32 %1572, %1571
  store i32 %1573, ptr %33, align 4, !tbaa !9
  %1574 = load i32, ptr %33, align 4, !tbaa !9
  %1575 = trunc i32 %1574 to i8
  %1576 = load ptr, ptr %2, align 8, !tbaa !5
  %1577 = getelementptr inbounds %struct.png_struct_def, ptr %1576, i32 0, i32 52
  %1578 = load ptr, ptr %1577, align 8, !tbaa !39
  %1579 = load i32, ptr %30, align 4, !tbaa !9
  %1580 = sext i32 %1579 to i64
  %1581 = getelementptr inbounds %struct.png_color_struct, ptr %1578, i64 %1580
  %1582 = getelementptr inbounds %struct.png_color_struct, ptr %1581, i32 0, i32 0
  store i8 %1575, ptr %1582, align 1, !tbaa !42
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #5
  br label %1583

1583:                                             ; preds = %1561
  %1584 = load i32, ptr %30, align 4, !tbaa !9
  %1585 = add nsw i32 %1584, 1
  store i32 %1585, ptr %30, align 4, !tbaa !9
  br label %1557, !llvm.loop !59

1586:                                             ; preds = %1557
  br label %1587

1587:                                             ; preds = %1586, %1553, %1536
  %1588 = load ptr, ptr %2, align 8, !tbaa !5
  %1589 = getelementptr inbounds %struct.png_struct_def, ptr %1588, i32 0, i32 87
  %1590 = getelementptr inbounds %struct.png_color_8_struct, ptr %1589, i32 0, i32 1
  %1591 = load i8, ptr %1590, align 1, !tbaa !60
  %1592 = zext i8 %1591 to i32
  %1593 = sub nsw i32 8, %1592
  store i32 %1593, ptr %32, align 4, !tbaa !9
  %1594 = load i32, ptr %32, align 4, !tbaa !9
  %1595 = icmp sgt i32 %1594, 0
  br i1 %1595, label %1596, label %1630

1596:                                             ; preds = %1587
  %1597 = load i32, ptr %32, align 4, !tbaa !9
  %1598 = icmp slt i32 %1597, 8
  br i1 %1598, label %1599, label %1630

1599:                                             ; preds = %1596
  store i32 0, ptr %30, align 4, !tbaa !9
  br label %1600

1600:                                             ; preds = %1626, %1599
  %1601 = load i32, ptr %30, align 4, !tbaa !9
  %1602 = load i32, ptr %31, align 4, !tbaa !9
  %1603 = icmp slt i32 %1601, %1602
  br i1 %1603, label %1604, label %1629

1604:                                             ; preds = %1600
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #5
  %1605 = load ptr, ptr %2, align 8, !tbaa !5
  %1606 = getelementptr inbounds %struct.png_struct_def, ptr %1605, i32 0, i32 52
  %1607 = load ptr, ptr %1606, align 8, !tbaa !39
  %1608 = load i32, ptr %30, align 4, !tbaa !9
  %1609 = sext i32 %1608 to i64
  %1610 = getelementptr inbounds %struct.png_color_struct, ptr %1607, i64 %1609
  %1611 = getelementptr inbounds %struct.png_color_struct, ptr %1610, i32 0, i32 1
  %1612 = load i8, ptr %1611, align 1, !tbaa !44
  %1613 = zext i8 %1612 to i32
  store i32 %1613, ptr %34, align 4, !tbaa !9
  %1614 = load i32, ptr %32, align 4, !tbaa !9
  %1615 = load i32, ptr %34, align 4, !tbaa !9
  %1616 = ashr i32 %1615, %1614
  store i32 %1616, ptr %34, align 4, !tbaa !9
  %1617 = load i32, ptr %34, align 4, !tbaa !9
  %1618 = trunc i32 %1617 to i8
  %1619 = load ptr, ptr %2, align 8, !tbaa !5
  %1620 = getelementptr inbounds %struct.png_struct_def, ptr %1619, i32 0, i32 52
  %1621 = load ptr, ptr %1620, align 8, !tbaa !39
  %1622 = load i32, ptr %30, align 4, !tbaa !9
  %1623 = sext i32 %1622 to i64
  %1624 = getelementptr inbounds %struct.png_color_struct, ptr %1621, i64 %1623
  %1625 = getelementptr inbounds %struct.png_color_struct, ptr %1624, i32 0, i32 1
  store i8 %1618, ptr %1625, align 1, !tbaa !44
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #5
  br label %1626

1626:                                             ; preds = %1604
  %1627 = load i32, ptr %30, align 4, !tbaa !9
  %1628 = add nsw i32 %1627, 1
  store i32 %1628, ptr %30, align 4, !tbaa !9
  br label %1600, !llvm.loop !61

1629:                                             ; preds = %1600
  br label %1630

1630:                                             ; preds = %1629, %1596, %1587
  %1631 = load ptr, ptr %2, align 8, !tbaa !5
  %1632 = getelementptr inbounds %struct.png_struct_def, ptr %1631, i32 0, i32 87
  %1633 = getelementptr inbounds %struct.png_color_8_struct, ptr %1632, i32 0, i32 2
  %1634 = load i8, ptr %1633, align 2, !tbaa !62
  %1635 = zext i8 %1634 to i32
  %1636 = sub nsw i32 8, %1635
  store i32 %1636, ptr %32, align 4, !tbaa !9
  %1637 = load i32, ptr %32, align 4, !tbaa !9
  %1638 = icmp sgt i32 %1637, 0
  br i1 %1638, label %1639, label %1673

1639:                                             ; preds = %1630
  %1640 = load i32, ptr %32, align 4, !tbaa !9
  %1641 = icmp slt i32 %1640, 8
  br i1 %1641, label %1642, label %1673

1642:                                             ; preds = %1639
  store i32 0, ptr %30, align 4, !tbaa !9
  br label %1643

1643:                                             ; preds = %1669, %1642
  %1644 = load i32, ptr %30, align 4, !tbaa !9
  %1645 = load i32, ptr %31, align 4, !tbaa !9
  %1646 = icmp slt i32 %1644, %1645
  br i1 %1646, label %1647, label %1672

1647:                                             ; preds = %1643
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #5
  %1648 = load ptr, ptr %2, align 8, !tbaa !5
  %1649 = getelementptr inbounds %struct.png_struct_def, ptr %1648, i32 0, i32 52
  %1650 = load ptr, ptr %1649, align 8, !tbaa !39
  %1651 = load i32, ptr %30, align 4, !tbaa !9
  %1652 = sext i32 %1651 to i64
  %1653 = getelementptr inbounds %struct.png_color_struct, ptr %1650, i64 %1652
  %1654 = getelementptr inbounds %struct.png_color_struct, ptr %1653, i32 0, i32 2
  %1655 = load i8, ptr %1654, align 1, !tbaa !45
  %1656 = zext i8 %1655 to i32
  store i32 %1656, ptr %35, align 4, !tbaa !9
  %1657 = load i32, ptr %32, align 4, !tbaa !9
  %1658 = load i32, ptr %35, align 4, !tbaa !9
  %1659 = ashr i32 %1658, %1657
  store i32 %1659, ptr %35, align 4, !tbaa !9
  %1660 = load i32, ptr %35, align 4, !tbaa !9
  %1661 = trunc i32 %1660 to i8
  %1662 = load ptr, ptr %2, align 8, !tbaa !5
  %1663 = getelementptr inbounds %struct.png_struct_def, ptr %1662, i32 0, i32 52
  %1664 = load ptr, ptr %1663, align 8, !tbaa !39
  %1665 = load i32, ptr %30, align 4, !tbaa !9
  %1666 = sext i32 %1665 to i64
  %1667 = getelementptr inbounds %struct.png_color_struct, ptr %1664, i64 %1666
  %1668 = getelementptr inbounds %struct.png_color_struct, ptr %1667, i32 0, i32 2
  store i8 %1661, ptr %1668, align 1, !tbaa !45
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #5
  br label %1669

1669:                                             ; preds = %1647
  %1670 = load i32, ptr %30, align 4, !tbaa !9
  %1671 = add nsw i32 %1670, 1
  store i32 %1671, ptr %30, align 4, !tbaa !9
  br label %1643, !llvm.loop !63

1672:                                             ; preds = %1643
  br label %1673

1673:                                             ; preds = %1672, %1639, %1630
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #5
  br label %1674

1674:                                             ; preds = %1673, %1530, %1524, %1518
  ret void
}

; Function Attrs: nounwind uwtable
declare hidden i32 @png_gamma_threshold(i32 noundef, i32 noundef) #4

declare i32 @png_gamma_significant(i32 noundef) #0

declare void @png_colorspace_set_rgb_coefficients(ptr noundef) #0

; Function Attrs: nounwind uwtable
declare hidden void @png_init_palette_transformations(ptr noalias noundef) #4

; Function Attrs: nounwind uwtable
declare hidden void @png_init_rgb_transformations(ptr noalias noundef) #4

declare void @png_build_gamma_table(ptr noundef, i32 noundef) #0

declare i32 @png_reciprocal2(i32 noundef, i32 noundef) #0

declare zeroext i8 @png_gamma_8bit_correct(i32 noundef, i32 noundef) #0

declare zeroext i16 @png_gamma_correct(ptr noundef, i32 noundef, i32 noundef) #0

attributes #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 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { noreturn "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 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 #5 = { nounwind }
attributes #6 = { noreturn }

!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, !10, i64 1176}
!12 = !{!"png_struct_def", !7, i64 0, !6, i64 200, !6, i64 208, !13, i64 216, !6, i64 224, !6, i64 232, !6, i64 240, !6, i64 248, !6, i64 256, !6, i64 264, !6, i64 272, !6, i64 280, !6, i64 288, !7, i64 296, !7, i64 297, !10, i64 300, !10, i64 304, !10, i64 308, !10, i64 312, !14, i64 320, !6, i64 432, !10, i64 440, !10, i64 444, !10, i64 448, !10, i64 452, !10, i64 456, !10, i64 460, !10, i64 464, !10, i64 468, !10, i64 472, !10, i64 476, !10, i64 480, !10, i64 484, !10, i64 488, !10, i64 492, !10, i64 496, !10, i64 500, !10, i64 504, !10, i64 508, !10, i64 512, !10, i64 516, !13, i64 520, !10, i64 528, !10, i64 532, !10, i64 536, !6, i64 544, !6, i64 552, !6, i64 560, !6, i64 568, !13, i64 576, !10, i64 584, !10, i64 588, !6, i64 592, !15, i64 600, !10, i64 604, !15, i64 608, !7, i64 610, !7, i64 611, !7, i64 612, !7, i64 613, !7, i64 614, !7, i64 615, !7, i64 616, !7, i64 617, !7, i64 618, !7, i64 619, !7, i64 620, !7, i64 621, !7, i64 622, !7, i64 623, !7, i64 624, !15, i64 626, !7, i64 628, !10, i64 632, !16, i64 636, !16, i64 646, !6, i64 656, !10, i64 664, !10, i64 668, !10, i64 672, !10, i64 676, !6, i64 680, !6, i64 688, !6, i64 696, !6, i64 704, !6, i64 712, !6, i64 720, !17, i64 728, !17, i64 733, !6, i64 744, !16, i64 752, !6, i64 768, !6, i64 776, !6, i64 784, !6, i64 792, !6, i64 800, !6, i64 808, !6, i64 816, !6, i64 824, !6, i64 832, !10, i64 840, !10, i64 844, !13, i64 848, !13, i64 856, !13, i64 864, !13, i64 872, !10, i64 880, !10, i64 884, !6, i64 888, !6, i64 896, !10, i64 904, !7, i64 908, !10, i64 940, !6, i64 944, !6, i64 952, !10, i64 960, !10, i64 964, !6, i64 968, !7, i64 976, !7, i64 977, !15, i64 978, !15, i64 980, !10, i64 984, !7, i64 988, !6, i64 992, !6, i64 1000, !6, i64 1008, !6, i64 1016, !6, i64 1024, !6, i64 1032, !6, i64 1040, !7, i64 1048, !10, i64 1052, !10, i64 1056, !10, i64 1060, !13, i64 1064, !18, i64 1072, !13, i64 1104, !6, i64 1112, !13, i64 1120, !10, i64 1128, !10, i64 1132, !6, i64 1136, !7, i64 1144, !19, i64 1176}
!13 = !{!"long", !7, i64 0}
!14 = !{!"z_stream_s", !6, i64 0, !10, i64 8, !13, i64 16, !6, i64 24, !10, i64 32, !13, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !10, i64 88, !13, i64 96, !13, i64 104}
!15 = !{!"short", !7, i64 0}
!16 = !{!"png_color_16_struct", !7, i64 0, !15, i64 2, !15, i64 4, !15, i64 6, !15, i64 8}
!17 = !{!"png_color_8_struct", !7, i64 0, !7, i64 1, !7, i64 2, !7, i64 3, !7, i64 4}
!18 = !{!"png_unknown_chunk_t", !7, i64 0, !6, i64 8, !13, i64 16, !7, i64 24}
!19 = !{!"png_colorspace", !10, i64 0, !20, i64 4, !21, i64 36, !15, i64 72, !15, i64 74}
!20 = !{!"png_xy", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !10, i64 20, !10, i64 24, !10, i64 28}
!21 = !{!"png_XYZ", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !10, i64 20, !10, i64 24, !10, i64 28, !10, i64 32}
!22 = !{!12, !10, i64 676}
!23 = !{!12, !15, i64 1250}
!24 = !{!12, !10, i64 308}
!25 = !{!12, !10, i64 304}
!26 = !{!12, !15, i64 608}
!27 = !{!12, !7, i64 615}
!28 = !{!12, !10, i64 300}
!29 = !{!12, !15, i64 638}
!30 = !{!12, !15, i64 640}
!31 = !{!12, !15, i64 642}
!32 = !{!12, !15, i64 644}
!33 = !{!12, !7, i64 616}
!34 = !{i64 0, i64 1, !35, i64 2, i64 2, !36, i64 4, i64 2, !36, i64 6, i64 2, !36, i64 8, i64 2, !36}
!35 = !{!7, !7, i64 0}
!36 = !{!15, !15, i64 0}
!37 = !{!12, !7, i64 628}
!38 = !{!12, !10, i64 632}
!39 = !{!12, !6, i64 592}
!40 = !{!12, !15, i64 600}
!41 = !{!12, !6, i64 680}
!42 = !{!43, !7, i64 0}
!43 = !{!"png_color_struct", !7, i64 0, !7, i64 1, !7, i64 2}
!44 = !{!43, !7, i64 1}
!45 = !{!43, !7, i64 2}
!46 = !{!12, !6, i64 704}
!47 = !{!12, !6, i64 744}
!48 = !{i64 0, i64 1, !35, i64 1, i64 1, !35, i64 2, i64 1, !35}
!49 = !{!12, !6, i64 696}
!50 = distinct !{!50, !51}
!51 = !{!"llvm.loop.mustprogress"}
!52 = !{!12, !15, i64 654}
!53 = !{!12, !15, i64 648}
!54 = !{!12, !15, i64 650}
!55 = !{!12, !15, i64 652}
!56 = distinct !{!56, !51}
!57 = distinct !{!57, !51}
!58 = !{!12, !7, i64 728}
!59 = distinct !{!59, !51}
!60 = !{!12, !7, i64 729}
!61 = distinct !{!61, !51}
!62 = !{!12, !7, i64 730}
!63 = distinct !{!63, !51}


; 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_color_struct = type { i8, i8, i8 }

@.str.12 = external hidden unnamed_addr constant [53 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [30 x i8], align 1

declare void @png_warning(ptr noundef, ptr noundef) local_unnamed_addr #0

; 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) #1

; Function Attrs: noreturn
declare void @png_error(ptr noundef, ptr noundef) local_unnamed_addr #2

declare i32 @png_reciprocal(i32 noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
define dso_local void @png_init_read_transformations(ptr noalias noundef %0) local_unnamed_addr #3 {
  %2 = getelementptr inbounds i8, ptr %0, i64 1176
  %3 = load i32, ptr %2, align 8, !tbaa !5
  %.not = icmp eq i32 %3, 0
  %4 = getelementptr inbounds i8, ptr %0, i64 676
  %5 = load i32, ptr %4, align 4, !tbaa !20
  %.not398 = icmp eq i32 %5, 0
  br i1 %.not, label %9, label %6

6:                                                ; preds = %1
  br i1 %.not398, label %7, label %16

7:                                                ; preds = %6
  %8 = tail call i32 @png_reciprocal(i32 noundef %3) #4
  store i32 %8, ptr %4, align 4, !tbaa !20
  br label %.thread

9:                                                ; preds = %1
  br i1 %.not398, label %12, label %10

10:                                               ; preds = %9
  %11 = tail call i32 @png_reciprocal(i32 noundef %5) #4
  store i32 %11, ptr %2, align 8, !tbaa !5
  br label %.thread

12:                                               ; preds = %9
  store i32 100000, ptr %2, align 8, !tbaa !5
  store i32 100000, ptr %4, align 4, !tbaa !20
  br label %.thread

.thread:                                          ; preds = %7, %10, %12
  %13 = getelementptr inbounds i8, ptr %0, i64 1250
  %14 = load i16, ptr %13, align 2, !tbaa !21
  %15 = or i16 %14, 1
  store i16 %15, ptr %13, align 2, !tbaa !21
  br label %25

16:                                               ; preds = %6
  %17 = tail call i32 @png_gamma_threshold(i32 noundef %3, i32 noundef %5)
  %18 = getelementptr inbounds i8, ptr %0, i64 1250
  %19 = load i16, ptr %18, align 2, !tbaa !21
  %20 = or i16 %19, 1
  store i16 %20, ptr %18, align 2, !tbaa !21
  %.not400 = icmp eq i32 %17, 0
  br i1 %.not400, label %25, label %21

21:                                               ; preds = %16
  %22 = getelementptr inbounds i8, ptr %0, i64 308
  %23 = load i32, ptr %22, align 4, !tbaa !22
  %24 = or i32 %23, 8192
  store i32 %24, ptr %22, align 4, !tbaa !22
  br label %29

25:                                               ; preds = %.thread, %16
  %26 = getelementptr inbounds i8, ptr %0, i64 308
  %27 = load i32, ptr %26, align 4, !tbaa !22
  %28 = and i32 %27, -8193
  store i32 %28, ptr %26, align 4, !tbaa !22
  br label %29

29:                                               ; preds = %25, %21
  %30 = phi i32 [ %28, %25 ], [ %24, %21 ]
  %31 = getelementptr inbounds i8, ptr %0, i64 308
  %32 = and i32 %30, 262272
  %or.cond435 = icmp eq i32 %32, 262144
  br i1 %or.cond435, label %33, label %39

33:                                               ; preds = %29
  %34 = and i32 %30, -41943425
  store i32 %34, ptr %31, align 4, !tbaa !22
  %35 = getelementptr inbounds i8, ptr %0, i64 304
  %36 = load i32, ptr %35, align 8, !tbaa !23
  %37 = and i32 %36, -8193
  store i32 %37, ptr %35, align 8, !tbaa !23
  %38 = getelementptr inbounds i8, ptr %0, i64 608
  store i16 0, ptr %38, align 8, !tbaa !24
  br label %39

39:                                               ; preds = %33, %29
  %40 = getelementptr inbounds i8, ptr %0, i64 676
  %41 = load i32, ptr %40, align 4, !tbaa !20
  %42 = tail call i32 @png_gamma_significant(i32 noundef %41) #4
  %43 = icmp eq i32 %42, 0
  %.pre = load i32, ptr %31, align 4, !tbaa !22
  br i1 %43, label %44, label %49

44:                                               ; preds = %39
  %45 = and i32 %.pre, -8388609
  store i32 %45, ptr %31, align 4, !tbaa !22
  %46 = getelementptr inbounds i8, ptr %0, i64 304
  %47 = load i32, ptr %46, align 8, !tbaa !23
  %48 = and i32 %47, -8193
  store i32 %48, ptr %46, align 8, !tbaa !23
  br label %49

49:                                               ; preds = %44, %39
  %50 = phi i32 [ %45, %44 ], [ %.pre, %39 ]
  %51 = and i32 %50, 6291456
  %.not402 = icmp eq i32 %51, 0
  br i1 %.not402, label %53, label %52

52:                                               ; preds = %49
  tail call void @png_colorspace_set_rgb_coefficients(ptr noundef nonnull %0) #4
  %.pre502 = load i32, ptr %31, align 4, !tbaa !22
  br label %53

53:                                               ; preds = %52, %49
  %54 = phi i32 [ %.pre502, %52 ], [ %50, %49 ]
  %55 = and i32 %54, 256
  %.not403 = icmp eq i32 %55, 0
  br i1 %.not403, label %65, label %56

56:                                               ; preds = %53
  %57 = getelementptr inbounds i8, ptr %0, i64 615
  %58 = load i8, ptr %57, align 1, !tbaa !25
  %59 = and i8 %58, 2
  %60 = icmp eq i8 %59, 0
  br i1 %60, label %61, label %82

61:                                               ; preds = %56
  %62 = getelementptr inbounds i8, ptr %0, i64 300
  %63 = load i32, ptr %62, align 4, !tbaa !26
  %64 = or i32 %63, 2048
  store i32 %64, ptr %62, align 4, !tbaa !26
  br label %82

65:                                               ; preds = %53
  %66 = and i32 %54, 16512
  %or.cond436.not = icmp eq i32 %66, 16512
  br i1 %or.cond436.not, label %67, label %82

67:                                               ; preds = %65
  %68 = getelementptr inbounds i8, ptr %0, i64 638
  %69 = load i16, ptr %68, align 2, !tbaa !27
  %70 = getelementptr inbounds i8, ptr %0, i64 640
  %71 = load i16, ptr %70, align 4, !tbaa !28
  %72 = icmp eq i16 %69, %71
  br i1 %72, label %73, label %82

73:                                               ; preds = %67
  %74 = getelementptr inbounds i8, ptr %0, i64 642
  %75 = load i16, ptr %74, align 2, !tbaa !29
  %76 = icmp eq i16 %69, %75
  br i1 %76, label %77, label %82

77:                                               ; preds = %73
  %78 = getelementptr inbounds i8, ptr %0, i64 300
  %79 = load i32, ptr %78, align 4, !tbaa !26
  %80 = or i32 %79, 2048
  store i32 %80, ptr %78, align 4, !tbaa !26
  %81 = getelementptr inbounds i8, ptr %0, i64 644
  store i16 %69, ptr %81, align 4, !tbaa !30
  br label %82

82:                                               ; preds = %65, %67, %73, %77, %56, %61
  %83 = getelementptr inbounds i8, ptr %0, i64 615
  %84 = load i8, ptr %83, align 1, !tbaa !25
  %85 = icmp eq i8 %84, 3
  br i1 %85, label %86, label %87

86:                                               ; preds = %82
  tail call void @png_init_palette_transformations(ptr noundef nonnull %0)
  br label %88

87:                                               ; preds = %82
  tail call void @png_init_rgb_transformations(ptr noundef nonnull %0)
  br label %88

88:                                               ; preds = %87, %86
  %89 = load i32, ptr %31, align 4, !tbaa !22
  %90 = and i32 %89, 896
  %or.cond439 = icmp eq i32 %90, 640
  br i1 %or.cond439, label %91, label %102

91:                                               ; preds = %88
  %92 = getelementptr inbounds i8, ptr %0, i64 616
  %93 = load i8, ptr %92, align 8, !tbaa !31
  %.not408 = icmp eq i8 %93, 16
  br i1 %.not408, label %102, label %94

94:                                               ; preds = %91
  %95 = getelementptr inbounds i8, ptr %0, i64 638
  %96 = load <4 x i16>, ptr %95, align 2, !tbaa !32
  %97 = zext <4 x i16> %96 to <4 x i32>
  %98 = mul nuw nsw <4 x i32> %97, <i32 255, i32 255, i32 255, i32 255>
  %99 = add nuw nsw <4 x i32> %98, <i32 32895, i32 32895, i32 32895, i32 32895>
  %100 = lshr <4 x i32> %99, <i32 16, i32 16, i32 16, i32 16>
  %101 = trunc nuw nsw <4 x i32> %100 to <4 x i16>
  store <4 x i16> %101, ptr %95, align 2, !tbaa !32
  br label %102

102:                                              ; preds = %94, %91, %88
  %103 = and i32 %89, 67109888
  %.not409 = icmp ne i32 %103, 0
  %104 = and i32 %89, 384
  %105 = icmp eq i32 %104, 128
  %or.cond442 = and i1 %.not409, %105
  br i1 %or.cond442, label %106, label %114

106:                                              ; preds = %102
  %107 = getelementptr inbounds i8, ptr %0, i64 616
  %108 = load i8, ptr %107, align 8, !tbaa !31
  %109 = icmp eq i8 %108, 16
  br i1 %109, label %110, label %114

110:                                              ; preds = %106
  %111 = getelementptr inbounds i8, ptr %0, i64 638
  %112 = load <4 x i16>, ptr %111, align 2, !tbaa !32
  %113 = mul <4 x i16> %112, <i16 257, i16 257, i16 257, i16 257>
  store <4 x i16> %113, ptr %111, align 2, !tbaa !32
  br label %114

114:                                              ; preds = %110, %106, %102
  %115 = getelementptr inbounds i8, ptr %0, i64 646
  %116 = getelementptr inbounds i8, ptr %0, i64 636
  tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 2 dereferenceable(10) %115, ptr noundef nonnull align 4 dereferenceable(10) %116, i64 10, i1 false), !tbaa.struct !33
  %117 = and i32 %89, 8192
  %.not411 = icmp eq i32 %117, 0
  br i1 %.not411, label %118, label %149

118:                                              ; preds = %114
  %119 = and i32 %89, 6291456
  %.not412 = icmp eq i32 %119, 0
  br i1 %.not412, label %126, label %120

120:                                              ; preds = %118
  %121 = load i32, ptr %2, align 8, !tbaa !5
  %122 = tail call i32 @png_gamma_significant(i32 noundef %121) #4
  %.not413 = icmp eq i32 %122, 0
  br i1 %.not413, label %123, label %149

123:                                              ; preds = %120
  %124 = load i32, ptr %40, align 4, !tbaa !20
  %125 = tail call i32 @png_gamma_significant(i32 noundef %124) #4
  %.not414 = icmp eq i32 %125, 0
  br i1 %.not414, label %._crit_edge503, label %149

._crit_edge503:                                   ; preds = %123
  %.pre504 = load i32, ptr %31, align 4, !tbaa !22
  br label %126

126:                                              ; preds = %._crit_edge503, %118
  %127 = phi i32 [ %.pre504, %._crit_edge503 ], [ %89, %118 ]
  %128 = and i32 %127, 128
  %.not415 = icmp eq i32 %128, 0
  br i1 %.not415, label %143, label %129

129:                                              ; preds = %126
  %130 = load i32, ptr %2, align 8, !tbaa !5
  %131 = tail call i32 @png_gamma_significant(i32 noundef %130) #4
  %.not416 = icmp eq i32 %131, 0
  br i1 %.not416, label %132, label %149

132:                                              ; preds = %129
  %133 = load i32, ptr %40, align 4, !tbaa !20
  %134 = tail call i32 @png_gamma_significant(i32 noundef %133) #4
  %.not417 = icmp eq i32 %134, 0
  br i1 %.not417, label %135, label %149

135:                                              ; preds = %132
  %136 = getelementptr inbounds i8, ptr %0, i64 628
  %137 = load i8, ptr %136, align 4, !tbaa !35
  %138 = icmp eq i8 %137, 3
  br i1 %138, label %139, label %143

139:                                              ; preds = %135
  %140 = getelementptr inbounds i8, ptr %0, i64 632
  %141 = load i32, ptr %140, align 8, !tbaa !36
  %142 = tail call i32 @png_gamma_significant(i32 noundef %141) #4
  %.not418 = icmp eq i32 %142, 0
  br i1 %.not418, label %143, label %149

143:                                              ; preds = %139, %135, %126
  %144 = load i32, ptr %31, align 4, !tbaa !22
  %145 = and i32 %144, 8388608
  %.not419 = icmp eq i32 %145, 0
  br i1 %.not419, label %497, label %146

146:                                              ; preds = %143
  %147 = load i32, ptr %40, align 4, !tbaa !20
  %148 = tail call i32 @png_gamma_significant(i32 noundef %147) #4
  %.not420 = icmp eq i32 %148, 0
  br i1 %.not420, label %._crit_edge505, label %149

._crit_edge505:                                   ; preds = %146
  %.pre506 = load i32, ptr %31, align 4, !tbaa !22
  br label %497

149:                                              ; preds = %146, %139, %132, %129, %123, %120, %114
  %150 = getelementptr inbounds i8, ptr %0, i64 616
  %151 = load i8, ptr %150, align 8, !tbaa !31
  %152 = zext i8 %151 to i32
  tail call void @png_build_gamma_table(ptr noundef nonnull %0, i32 noundef %152) #4
  %153 = load i32, ptr %31, align 4, !tbaa !22
  %154 = and i32 %153, 128
  %.not423 = icmp eq i32 %154, 0
  br i1 %.not423, label %434, label %155

155:                                              ; preds = %149
  %156 = and i32 %153, 6291456
  %.not424 = icmp eq i32 %156, 0
  br i1 %.not424, label %158, label %157

157:                                              ; preds = %155
  tail call void @png_warning(ptr noundef nonnull %0, ptr noundef nonnull @.str.12) #4
  br label %158

158:                                              ; preds = %157, %155
  %159 = load i8, ptr %83, align 1, !tbaa !25
  %160 = icmp eq i8 %159, 3
  br i1 %160, label %161, label %356

161:                                              ; preds = %158
  %162 = getelementptr inbounds i8, ptr %0, i64 592
  %163 = load ptr, ptr %162, align 8, !tbaa !37
  %164 = getelementptr inbounds i8, ptr %0, i64 600
  %165 = load i16, ptr %164, align 8, !tbaa !38
  %166 = getelementptr inbounds i8, ptr %0, i64 628
  %167 = load i8, ptr %166, align 4, !tbaa !35
  switch i8 %167, label %203 [
    i8 2, label %168
    i8 1, label %194
    i8 3, label %196
  ]

168:                                              ; preds = %161
  %169 = getelementptr inbounds i8, ptr %0, i64 680
  %170 = load ptr, ptr %169, align 8, !tbaa !39
  %171 = getelementptr inbounds i8, ptr %0, i64 638
  %172 = load i16, ptr %171, align 2, !tbaa !27
  %173 = zext i16 %172 to i64
  %174 = getelementptr inbounds i8, ptr %170, i64 %173
  %175 = load i8, ptr %174, align 1, !tbaa !34
  %176 = getelementptr inbounds i8, ptr %0, i64 640
  %177 = load i16, ptr %176, align 4, !tbaa !28
  %178 = zext i16 %177 to i64
  %179 = getelementptr inbounds i8, ptr %170, i64 %178
  %180 = load i8, ptr %179, align 1, !tbaa !34
  %181 = getelementptr inbounds i8, ptr %0, i64 642
  %182 = load i16, ptr %181, align 2, !tbaa !29
  %183 = zext i16 %182 to i64
  %184 = getelementptr inbounds i8, ptr %170, i64 %183
  %185 = load i8, ptr %184, align 1, !tbaa !34
  %186 = getelementptr inbounds i8, ptr %0, i64 704
  %187 = load ptr, ptr %186, align 8, !tbaa !40
  %188 = getelementptr inbounds i8, ptr %187, i64 %173
  %189 = load i8, ptr %188, align 1, !tbaa !34
  %190 = getelementptr inbounds i8, ptr %187, i64 %178
  %191 = load i8, ptr %190, align 1, !tbaa !34
  %192 = getelementptr inbounds i8, ptr %187, i64 %183
  %193 = load i8, ptr %192, align 1, !tbaa !34
  br label %249

194:                                              ; preds = %161
  %195 = load i32, ptr %40, align 4, !tbaa !20
  br label %203

196:                                              ; preds = %161
  %197 = getelementptr inbounds i8, ptr %0, i64 632
  %198 = load i32, ptr %197, align 8, !tbaa !36
  %199 = tail call i32 @png_reciprocal(i32 noundef %198) #4
  %200 = load i32, ptr %197, align 8, !tbaa !36
  %201 = load i32, ptr %40, align 4, !tbaa !20
  %202 = tail call i32 @png_reciprocal2(i32 noundef %200, i32 noundef %201) #4
  br label %203

203:                                              ; preds = %161, %196, %194
  %.0382 = phi i32 [ %202, %196 ], [ 100000, %194 ], [ 100000, %161 ]
  %.0381 = phi i32 [ %199, %196 ], [ %195, %194 ], [ 100000, %161 ]
  %204 = tail call i32 @png_gamma_significant(i32 noundef %.0382) #4
  %.not430 = icmp eq i32 %204, 0
  %205 = getelementptr inbounds i8, ptr %0, i64 638
  %206 = load i16, ptr %205, align 2, !tbaa !27
  br i1 %.not430, label %218, label %207

207:                                              ; preds = %203
  %208 = zext i16 %206 to i32
  %209 = tail call zeroext i8 @png_gamma_8bit_correct(i32 noundef %208, i32 noundef %.0382) #4
  %210 = getelementptr inbounds i8, ptr %0, i64 640
  %211 = load i16, ptr %210, align 4, !tbaa !28
  %212 = zext i16 %211 to i32
  %213 = tail call zeroext i8 @png_gamma_8bit_correct(i32 noundef %212, i32 noundef %.0382) #4
  %214 = getelementptr inbounds i8, ptr %0, i64 642
  %215 = load i16, ptr %214, align 2, !tbaa !29
  %216 = zext i16 %215 to i32
  %217 = tail call zeroext i8 @png_gamma_8bit_correct(i32 noundef %216, i32 noundef %.0382) #4
  br label %226

218:                                              ; preds = %203
  %219 = trunc i16 %206 to i8
  %220 = getelementptr inbounds i8, ptr %0, i64 640
  %221 = load i16, ptr %220, align 4, !tbaa !28
  %222 = trunc i16 %221 to i8
  %223 = getelementptr inbounds i8, ptr %0, i64 642
  %224 = load i16, ptr %223, align 2, !tbaa !29
  %225 = trunc i16 %224 to i8
  br label %226

226:                                              ; preds = %218, %207
  %.sroa.0153.0 = phi i8 [ %209, %207 ], [ %219, %218 ]
  %.sroa.6154.0 = phi i8 [ %213, %207 ], [ %222, %218 ]
  %.sroa.9.0 = phi i8 [ %217, %207 ], [ %225, %218 ]
  %227 = tail call i32 @png_gamma_significant(i32 noundef %.0381) #4
  %.not431 = icmp eq i32 %227, 0
  %228 = getelementptr inbounds i8, ptr %0, i64 638
  %229 = load i16, ptr %228, align 2, !tbaa !27
  br i1 %.not431, label %241, label %230

230:                                              ; preds = %226
  %231 = zext i16 %229 to i32
  %232 = tail call zeroext i8 @png_gamma_8bit_correct(i32 noundef %231, i32 noundef %.0381) #4
  %233 = getelementptr inbounds i8, ptr %0, i64 640
  %234 = load i16, ptr %233, align 4, !tbaa !28
  %235 = zext i16 %234 to i32
  %236 = tail call zeroext i8 @png_gamma_8bit_correct(i32 noundef %235, i32 noundef %.0381) #4
  %237 = getelementptr inbounds i8, ptr %0, i64 642
  %238 = load i16, ptr %237, align 2, !tbaa !29
  %239 = zext i16 %238 to i32
  %240 = tail call zeroext i8 @png_gamma_8bit_correct(i32 noundef %239, i32 noundef %.0381) #4
  br label %249

241:                                              ; preds = %226
  %242 = trunc i16 %229 to i8
  %243 = getelementptr inbounds i8, ptr %0, i64 640
  %244 = load i16, ptr %243, align 4, !tbaa !28
  %245 = trunc i16 %244 to i8
  %246 = getelementptr inbounds i8, ptr %0, i64 642
  %247 = load i16, ptr %246, align 2, !tbaa !29
  %248 = trunc i16 %247 to i8
  br label %249

249:                                              ; preds = %230, %241, %168
  %.sroa.0152.1 = phi i8 [ %189, %168 ], [ %232, %230 ], [ %242, %241 ]
  %.sroa.6.1 = phi i8 [ %191, %168 ], [ %236, %230 ], [ %245, %241 ]
  %.sroa.10.1 = phi i8 [ %193, %168 ], [ %240, %230 ], [ %248, %241 ]
  %.sroa.0153.1 = phi i8 [ %175, %168 ], [ %.sroa.0153.0, %230 ], [ %.sroa.0153.0, %241 ]
  %.sroa.6154.1 = phi i8 [ %180, %168 ], [ %.sroa.6154.0, %230 ], [ %.sroa.6154.0, %241 ]
  %.sroa.9.1 = phi i8 [ %185, %168 ], [ %.sroa.9.0, %230 ], [ %.sroa.9.0, %241 ]
  %.not473 = icmp eq i16 %165, 0
  br i1 %.not473, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %249
  %250 = getelementptr inbounds i8, ptr %0, i64 608
  %251 = getelementptr inbounds i8, ptr %0, i64 744
  %252 = getelementptr inbounds i8, ptr %0, i64 680
  %253 = getelementptr inbounds i8, ptr %0, i64 704
  %254 = zext i8 %.sroa.0152.1 to i32
  %255 = getelementptr inbounds i8, ptr %0, i64 696
  %256 = zext i8 %.sroa.6.1 to i32
  %257 = zext i8 %.sroa.10.1 to i32
  %wide.trip.count = zext i16 %165 to i64
  br label %258

258:                                              ; preds = %.lr.ph, %353
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %353 ]
  %259 = load i16, ptr %250, align 8, !tbaa !24
  %260 = zext i16 %259 to i64
  %261 = icmp ult i64 %indvars.iv, %260
  br i1 %261, label %262, label %336

262:                                              ; preds = %258
  %263 = load ptr, ptr %251, align 8, !tbaa !41
  %264 = getelementptr inbounds i8, ptr %263, i64 %indvars.iv
  %265 = load i8, ptr %264, align 1, !tbaa !34
  switch i8 %265, label %268 [
    i8 -1, label %336
    i8 0, label %266
  ]

266:                                              ; preds = %262
  %267 = getelementptr inbounds %struct.png_color_struct, ptr %163, i64 %indvars.iv
  store i8 %.sroa.0153.1, ptr %267, align 1, !tbaa !34
  %.sroa.6154.0..sroa_idx = getelementptr inbounds i8, ptr %267, i64 1
  store i8 %.sroa.6154.1, ptr %.sroa.6154.0..sroa_idx, align 1, !tbaa !34
  %.sroa.9.0..sroa_idx = getelementptr inbounds i8, ptr %267, i64 2
  store i8 %.sroa.9.1, ptr %.sroa.9.0..sroa_idx, align 1, !tbaa !34
  br label %353

268:                                              ; preds = %262
  %269 = load ptr, ptr %253, align 8, !tbaa !40
  %270 = getelementptr inbounds %struct.png_color_struct, ptr %163, i64 %indvars.iv
  %271 = load i8, ptr %270, align 1, !tbaa !42
  %272 = zext i8 %271 to i64
  %273 = getelementptr inbounds i8, ptr %269, i64 %272
  %274 = load i8, ptr %273, align 1, !tbaa !34
  %275 = zext i8 %274 to i32
  %276 = zext i8 %265 to i32
  %277 = mul nuw nsw i32 %275, %276
  %278 = xor i8 %265, -1
  %279 = zext i8 %278 to i32
  %280 = mul nuw nsw i32 %279, %254
  %281 = add nuw nsw i32 %280, 128
  %282 = add nuw nsw i32 %281, %277
  %283 = lshr i32 %282, 8
  %284 = and i32 %283, 255
  %285 = add nuw nsw i32 %284, %282
  %286 = lshr i32 %285, 8
  %287 = load ptr, ptr %255, align 8, !tbaa !44
  %288 = and i32 %286, 255
  %289 = zext nneg i32 %288 to i64
  %290 = getelementptr inbounds i8, ptr %287, i64 %289
  %291 = load i8, ptr %290, align 1, !tbaa !34
  store i8 %291, ptr %270, align 1, !tbaa !42
  %292 = getelementptr inbounds i8, ptr %270, i64 1
  %293 = load i8, ptr %292, align 1, !tbaa !45
  %294 = zext i8 %293 to i64
  %295 = getelementptr inbounds i8, ptr %269, i64 %294
  %296 = load i8, ptr %295, align 1, !tbaa !34
  %297 = zext i8 %296 to i32
  %298 = load i8, ptr %264, align 1, !tbaa !34
  %299 = zext i8 %298 to i32
  %300 = mul nuw nsw i32 %299, %297
  %301 = xor i8 %298, -1
  %302 = zext i8 %301 to i32
  %303 = mul nuw nsw i32 %302, %256
  %304 = add nuw nsw i32 %303, 128
  %305 = add nuw nsw i32 %304, %300
  %306 = lshr i32 %305, 8
  %307 = and i32 %306, 255
  %308 = add nuw nsw i32 %307, %305
  %309 = lshr i32 %308, 8
  %310 = and i32 %309, 255
  %311 = zext nneg i32 %310 to i64
  %312 = getelementptr inbounds i8, ptr %287, i64 %311
  %313 = load i8, ptr %312, align 1, !tbaa !34
  store i8 %313, ptr %292, align 1, !tbaa !45
  %314 = getelementptr inbounds i8, ptr %270, i64 2
  %315 = load i8, ptr %314, align 1, !tbaa !46
  %316 = zext i8 %315 to i64
  %317 = getelementptr inbounds i8, ptr %269, i64 %316
  %318 = load i8, ptr %317, align 1, !tbaa !34
  %319 = zext i8 %318 to i32
  %320 = load i8, ptr %264, align 1, !tbaa !34
  %321 = zext i8 %320 to i32
  %322 = mul nuw nsw i32 %321, %319
  %323 = xor i8 %320, -1
  %324 = zext i8 %323 to i32
  %325 = mul nuw nsw i32 %324, %257
  %326 = add nuw nsw i32 %325, 128
  %327 = add nuw nsw i32 %326, %322
  %328 = lshr i32 %327, 8
  %329 = and i32 %328, 255
  %330 = add nuw nsw i32 %329, %327
  %331 = lshr i32 %330, 8
  %332 = and i32 %331, 255
  %333 = zext nneg i32 %332 to i64
  %334 = getelementptr inbounds i8, ptr %287, i64 %333
  %335 = load i8, ptr %334, align 1, !tbaa !34
  store i8 %335, ptr %314, align 1, !tbaa !46
  br label %353

336:                                              ; preds = %262, %258
  %337 = load ptr, ptr %252, align 8, !tbaa !39
  %338 = getelementptr inbounds %struct.png_color_struct, ptr %163, i64 %indvars.iv
  %339 = load i8, ptr %338, align 1, !tbaa !42
  %340 = zext i8 %339 to i64
  %341 = getelementptr inbounds i8, ptr %337, i64 %340
  %342 = load i8, ptr %341, align 1, !tbaa !34
  store i8 %342, ptr %338, align 1, !tbaa !42
  %343 = getelementptr inbounds i8, ptr %338, i64 1
  %344 = load i8, ptr %343, align 1, !tbaa !45
  %345 = zext i8 %344 to i64
  %346 = getelementptr inbounds i8, ptr %337, i64 %345
  %347 = load i8, ptr %346, align 1, !tbaa !34
  store i8 %347, ptr %343, align 1, !tbaa !45
  %348 = getelementptr inbounds i8, ptr %338, i64 2
  %349 = load i8, ptr %348, align 1, !tbaa !46
  %350 = zext i8 %349 to i64
  %351 = getelementptr inbounds i8, ptr %337, i64 %350
  %352 = load i8, ptr %351, align 1, !tbaa !34
  store i8 %352, ptr %348, align 1, !tbaa !46
  br label %353

353:                                              ; preds = %336, %268, %266
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge, label %258, !llvm.loop !47

._crit_edge:                                      ; preds = %353, %249
  %354 = load i32, ptr %31, align 4, !tbaa !22
  %355 = and i32 %354, -8321
  store i32 %355, ptr %31, align 4, !tbaa !22
  br label %578

356:                                              ; preds = %158
  %357 = getelementptr inbounds i8, ptr %0, i64 628
  %358 = load i8, ptr %357, align 4, !tbaa !35
  switch i8 %358, label %374 [
    i8 1, label %359
    i8 2, label %361
    i8 3, label %367
  ]

359:                                              ; preds = %356
  %360 = load i32, ptr %40, align 4, !tbaa !20
  br label %375

361:                                              ; preds = %356
  %362 = load i32, ptr %2, align 8, !tbaa !5
  %363 = tail call i32 @png_reciprocal(i32 noundef %362) #4
  %364 = load i32, ptr %2, align 8, !tbaa !5
  %365 = load i32, ptr %40, align 4, !tbaa !20
  %366 = tail call i32 @png_reciprocal2(i32 noundef %364, i32 noundef %365) #4
  br label %375

367:                                              ; preds = %356
  %368 = getelementptr inbounds i8, ptr %0, i64 632
  %369 = load i32, ptr %368, align 8, !tbaa !36
  %370 = tail call i32 @png_reciprocal(i32 noundef %369) #4
  %371 = load i32, ptr %368, align 8, !tbaa !36
  %372 = load i32, ptr %40, align 4, !tbaa !20
  %373 = tail call i32 @png_reciprocal2(i32 noundef %371, i32 noundef %372) #4
  br label %375

374:                                              ; preds = %356
  tail call void @png_error(ptr noundef nonnull %0, ptr noundef nonnull @.str.13) #5
  unreachable

375:                                              ; preds = %367, %361, %359
  %.0384 = phi i32 [ %373, %367 ], [ %366, %361 ], [ 100000, %359 ]
  %.0383 = phi i32 [ %370, %367 ], [ %363, %361 ], [ %360, %359 ]
  %376 = tail call i32 @png_gamma_significant(i32 noundef %.0383) #4
  %377 = tail call i32 @png_gamma_significant(i32 noundef %.0384) #4
  %.not425 = icmp eq i32 %376, 0
  br i1 %.not425, label %384, label %378

378:                                              ; preds = %375
  %379 = getelementptr inbounds i8, ptr %0, i64 644
  %380 = load i16, ptr %379, align 4, !tbaa !30
  %381 = zext i16 %380 to i32
  %382 = tail call zeroext i16 @png_gamma_correct(ptr noundef nonnull %0, i32 noundef %381, i32 noundef %.0383) #4
  %383 = getelementptr inbounds i8, ptr %0, i64 654
  store i16 %382, ptr %383, align 2, !tbaa !49
  br label %384

384:                                              ; preds = %378, %375
  %.not426 = icmp eq i32 %377, 0
  br i1 %.not426, label %390, label %385

385:                                              ; preds = %384
  %386 = getelementptr inbounds i8, ptr %0, i64 644
  %387 = load i16, ptr %386, align 4, !tbaa !30
  %388 = zext i16 %387 to i32
  %389 = tail call zeroext i16 @png_gamma_correct(ptr noundef nonnull %0, i32 noundef %388, i32 noundef %.0384) #4
  store i16 %389, ptr %386, align 4, !tbaa !30
  br label %390

390:                                              ; preds = %385, %384
  %391 = getelementptr inbounds i8, ptr %0, i64 638
  %392 = load i16, ptr %391, align 2, !tbaa !27
  %393 = getelementptr inbounds i8, ptr %0, i64 640
  %394 = load i16, ptr %393, align 4, !tbaa !28
  %.not427 = icmp eq i16 %392, %394
  br i1 %.not427, label %395, label %401

395:                                              ; preds = %390
  %396 = getelementptr inbounds i8, ptr %0, i64 642
  %397 = load i16, ptr %396, align 2, !tbaa !29
  %.not428 = icmp eq i16 %392, %397
  br i1 %.not428, label %398, label %401

398:                                              ; preds = %395
  %399 = getelementptr inbounds i8, ptr %0, i64 644
  %400 = load i16, ptr %399, align 4, !tbaa !30
  %.not429 = icmp eq i16 %392, %400
  br i1 %.not429, label %427, label %401

401:                                              ; preds = %398, %395, %390
  br i1 %.not425, label %415, label %402

402:                                              ; preds = %401
  %403 = zext i16 %392 to i32
  %404 = tail call zeroext i16 @png_gamma_correct(ptr noundef nonnull %0, i32 noundef %403, i32 noundef %.0383) #4
  %405 = getelementptr inbounds i8, ptr %0, i64 648
  store i16 %404, ptr %405, align 2, !tbaa !50
  %406 = load i16, ptr %393, align 4, !tbaa !28
  %407 = zext i16 %406 to i32
  %408 = tail call zeroext i16 @png_gamma_correct(ptr noundef nonnull %0, i32 noundef %407, i32 noundef %.0383) #4
  %409 = getelementptr inbounds i8, ptr %0, i64 650
  store i16 %408, ptr %409, align 2, !tbaa !51
  %410 = getelementptr inbounds i8, ptr %0, i64 642
  %411 = load i16, ptr %410, align 2, !tbaa !29
  %412 = zext i16 %411 to i32
  %413 = tail call zeroext i16 @png_gamma_correct(ptr noundef nonnull %0, i32 noundef %412, i32 noundef %.0383) #4
  %414 = getelementptr inbounds i8, ptr %0, i64 652
  store i16 %413, ptr %414, align 2, !tbaa !52
  br label %415

415:                                              ; preds = %402, %401
  br i1 %.not426, label %433, label %416

416:                                              ; preds = %415
  %417 = load i16, ptr %391, align 2, !tbaa !27
  %418 = zext i16 %417 to i32
  %419 = tail call zeroext i16 @png_gamma_correct(ptr noundef nonnull %0, i32 noundef %418, i32 noundef %.0384) #4
  store i16 %419, ptr %391, align 2, !tbaa !27
  %420 = load i16, ptr %393, align 4, !tbaa !28
  %421 = zext i16 %420 to i32
  %422 = tail call zeroext i16 @png_gamma_correct(ptr noundef nonnull %0, i32 noundef %421, i32 noundef %.0384) #4
  store i16 %422, ptr %393, align 4, !tbaa !28
  %423 = getelementptr inbounds i8, ptr %0, i64 642
  %424 = load i16, ptr %423, align 2, !tbaa !29
  %425 = zext i16 %424 to i32
  %426 = tail call zeroext i16 @png_gamma_correct(ptr noundef nonnull %0, i32 noundef %425, i32 noundef %.0384) #4
  store i16 %426, ptr %423, align 2, !tbaa !29
  br label %433

427:                                              ; preds = %398
  %428 = getelementptr inbounds i8, ptr %0, i64 654
  %429 = load i16, ptr %428, align 2, !tbaa !49
  %430 = getelementptr inbounds i8, ptr %0, i64 652
  store i16 %429, ptr %430, align 2, !tbaa !52
  %431 = getelementptr inbounds i8, ptr %0, i64 650
  store i16 %429, ptr %431, align 2, !tbaa !51
  %432 = getelementptr inbounds i8, ptr %0, i64 648
  store i16 %429, ptr %432, align 2, !tbaa !50
  store i16 %392, ptr %396, align 2, !tbaa !29
  store i16 %392, ptr %393, align 4, !tbaa !28
  store i16 %392, ptr %391, align 2, !tbaa !27
  br label %433

433:                                              ; preds = %415, %416, %427
  store i8 1, ptr %357, align 4, !tbaa !35
  %.pre508 = load i32, ptr %31, align 4, !tbaa !22
  br label %578

434:                                              ; preds = %149
  %435 = load i8, ptr %83, align 1, !tbaa !25
  %436 = icmp eq i8 %435, 3
  br i1 %436, label %437, label %578

437:                                              ; preds = %434
  %438 = and i32 %153, 4096
  %439 = icmp eq i32 %438, 0
  %440 = and i32 %153, 6291456
  %441 = icmp eq i32 %440, 0
  %or.cond444 = or i1 %439, %441
  br i1 %or.cond444, label %442, label %578

442:                                              ; preds = %437
  %443 = getelementptr inbounds i8, ptr %0, i64 592
  %444 = load ptr, ptr %443, align 8, !tbaa !37
  %445 = getelementptr inbounds i8, ptr %0, i64 600
  %446 = load i16, ptr %445, align 8, !tbaa !38
  %.not474 = icmp eq i16 %446, 0
  br i1 %.not474, label %._crit_edge459, label %.lr.ph458

.lr.ph458:                                        ; preds = %442
  %447 = getelementptr inbounds i8, ptr %0, i64 680
  %448 = load ptr, ptr %447, align 8, !tbaa !39
  %wide.trip.count480 = zext i16 %446 to i64
  %xtraiter = and i64 %wide.trip.count480, 1
  %449 = icmp eq i16 %446, 1
  br i1 %449, label %._crit_edge459.loopexit.unr-lcssa, label %.lr.ph458.new

.lr.ph458.new:                                    ; preds = %.lr.ph458
  %unroll_iter = and i64 %wide.trip.count480, 65534
  br label %450

450:                                              ; preds = %450, %.lr.ph458.new
  %indvars.iv477 = phi i64 [ 0, %.lr.ph458.new ], [ %indvars.iv.next478.1, %450 ]
  %niter = phi i64 [ 0, %.lr.ph458.new ], [ %niter.next.1, %450 ]
  %451 = getelementptr inbounds %struct.png_color_struct, ptr %444, i64 %indvars.iv477
  %452 = load i8, ptr %451, align 1, !tbaa !42
  %453 = zext i8 %452 to i64
  %454 = getelementptr inbounds i8, ptr %448, i64 %453
  %455 = load i8, ptr %454, align 1, !tbaa !34
  store i8 %455, ptr %451, align 1, !tbaa !42
  %456 = getelementptr inbounds i8, ptr %451, i64 1
  %457 = load i8, ptr %456, align 1, !tbaa !45
  %458 = zext i8 %457 to i64
  %459 = getelementptr inbounds i8, ptr %448, i64 %458
  %460 = load i8, ptr %459, align 1, !tbaa !34
  store i8 %460, ptr %456, align 1, !tbaa !45
  %461 = getelementptr inbounds i8, ptr %451, i64 2
  %462 = load i8, ptr %461, align 1, !tbaa !46
  %463 = zext i8 %462 to i64
  %464 = getelementptr inbounds i8, ptr %448, i64 %463
  %465 = load i8, ptr %464, align 1, !tbaa !34
  store i8 %465, ptr %461, align 1, !tbaa !46
  %indvars.iv.next478 = or disjoint i64 %indvars.iv477, 1
  %466 = getelementptr inbounds %struct.png_color_struct, ptr %444, i64 %indvars.iv.next478
  %467 = load i8, ptr %466, align 1, !tbaa !42
  %468 = zext i8 %467 to i64
  %469 = getelementptr inbounds i8, ptr %448, i64 %468
  %470 = load i8, ptr %469, align 1, !tbaa !34
  store i8 %470, ptr %466, align 1, !tbaa !42
  %471 = getelementptr inbounds i8, ptr %466, i64 1
  %472 = load i8, ptr %471, align 1, !tbaa !45
  %473 = zext i8 %472 to i64
  %474 = getelementptr inbounds i8, ptr %448, i64 %473
  %475 = load i8, ptr %474, align 1, !tbaa !34
  store i8 %475, ptr %471, align 1, !tbaa !45
  %476 = getelementptr inbounds i8, ptr %466, i64 2
  %477 = load i8, ptr %476, align 1, !tbaa !46
  %478 = zext i8 %477 to i64
  %479 = getelementptr inbounds i8, ptr %448, i64 %478
  %480 = load i8, ptr %479, align 1, !tbaa !34
  store i8 %480, ptr %476, align 1, !tbaa !46
  %indvars.iv.next478.1 = add nuw nsw i64 %indvars.iv477, 2
  %niter.next.1 = add i64 %niter, 2
  %niter.ncmp.1 = icmp eq i64 %niter.next.1, %unroll_iter
  br i1 %niter.ncmp.1, label %._crit_edge459.loopexit.unr-lcssa, label %450, !llvm.loop !53

._crit_edge459.loopexit.unr-lcssa:                ; preds = %450, %.lr.ph458
  %indvars.iv477.unr = phi i64 [ 0, %.lr.ph458 ], [ %indvars.iv.next478.1, %450 ]
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %._crit_edge459, label %._crit_edge459.loopexit.epilog-lcssa

._crit_edge459.loopexit.epilog-lcssa:             ; preds = %._crit_edge459.loopexit.unr-lcssa
  %481 = getelementptr inbounds %struct.png_color_struct, ptr %444, i64 %indvars.iv477.unr
  %482 = load i8, ptr %481, align 1, !tbaa !42
  %483 = zext i8 %482 to i64
  %484 = getelementptr inbounds i8, ptr %448, i64 %483
  %485 = load i8, ptr %484, align 1, !tbaa !34
  store i8 %485, ptr %481, align 1, !tbaa !42
  %486 = getelementptr inbounds i8, ptr %481, i64 1
  %487 = load i8, ptr %486, align 1, !tbaa !45
  %488 = zext i8 %487 to i64
  %489 = getelementptr inbounds i8, ptr %448, i64 %488
  %490 = load i8, ptr %489, align 1, !tbaa !34
  store i8 %490, ptr %486, align 1, !tbaa !45
  %491 = getelementptr inbounds i8, ptr %481, i64 2
  %492 = load i8, ptr %491, align 1, !tbaa !46
  %493 = zext i8 %492 to i64
  %494 = getelementptr inbounds i8, ptr %448, i64 %493
  %495 = load i8, ptr %494, align 1, !tbaa !34
  store i8 %495, ptr %491, align 1, !tbaa !46
  br label %._crit_edge459

._crit_edge459:                                   ; preds = %._crit_edge459.loopexit.epilog-lcssa, %._crit_edge459.loopexit.unr-lcssa, %442
  %496 = and i32 %153, -8321
  store i32 %496, ptr %31, align 4, !tbaa !22
  br label %578

497:                                              ; preds = %._crit_edge505, %143
  %498 = phi i32 [ %.pre506, %._crit_edge505 ], [ %144, %143 ]
  %499 = and i32 %498, 128
  %.not421 = icmp eq i32 %499, 0
  br i1 %.not421, label %578, label %500

500:                                              ; preds = %497
  %501 = load i8, ptr %83, align 1, !tbaa !25
  %502 = icmp eq i8 %501, 3
  br i1 %502, label %503, label %578

503:                                              ; preds = %500
  %504 = getelementptr inbounds i8, ptr %0, i64 608
  %505 = load i16, ptr %504, align 8, !tbaa !24
  %506 = getelementptr inbounds i8, ptr %0, i64 592
  %507 = load ptr, ptr %506, align 8, !tbaa !37
  %508 = getelementptr inbounds i8, ptr %0, i64 638
  %509 = load i16, ptr %508, align 2, !tbaa !27
  %510 = trunc i16 %509 to i8
  %511 = getelementptr inbounds i8, ptr %0, i64 640
  %512 = load i16, ptr %511, align 4, !tbaa !28
  %513 = trunc i16 %512 to i8
  %514 = getelementptr inbounds i8, ptr %0, i64 642
  %515 = load i16, ptr %514, align 2, !tbaa !29
  %516 = trunc i16 %515 to i8
  %.not475 = icmp eq i16 %505, 0
  br i1 %.not475, label %._crit_edge463, label %.lr.ph462

.lr.ph462:                                        ; preds = %503
  %517 = getelementptr inbounds i8, ptr %0, i64 744
  %518 = and i16 %509, 255
  %519 = and i16 %512, 255
  %520 = and i16 %515, 255
  %wide.trip.count485 = zext i16 %505 to i64
  br label %521

521:                                              ; preds = %.lr.ph462, %575
  %indvars.iv482 = phi i64 [ 0, %.lr.ph462 ], [ %indvars.iv.next483, %575 ]
  %522 = load ptr, ptr %517, align 8, !tbaa !41
  %523 = getelementptr inbounds i8, ptr %522, i64 %indvars.iv482
  %524 = load i8, ptr %523, align 1, !tbaa !34
  switch i8 %524, label %527 [
    i8 0, label %525
    i8 -1, label %575
  ]

525:                                              ; preds = %521
  %526 = getelementptr inbounds %struct.png_color_struct, ptr %507, i64 %indvars.iv482
  store i8 %510, ptr %526, align 1, !tbaa !34
  %.sroa.5.0..sroa_idx = getelementptr inbounds i8, ptr %526, i64 1
  store i8 %513, ptr %.sroa.5.0..sroa_idx, align 1, !tbaa !34
  %.sroa.7.0..sroa_idx = getelementptr inbounds i8, ptr %526, i64 2
  store i8 %516, ptr %.sroa.7.0..sroa_idx, align 1, !tbaa !34
  br label %575

527:                                              ; preds = %521
  %528 = getelementptr inbounds %struct.png_color_struct, ptr %507, i64 %indvars.iv482
  %529 = load i8, ptr %528, align 1, !tbaa !42
  %530 = zext i8 %529 to i16
  %531 = zext i8 %524 to i16
  %532 = mul nuw i16 %530, %531
  %533 = xor i8 %524, -1
  %534 = zext i8 %533 to i16
  %535 = mul nuw i16 %518, %534
  %536 = add nuw i16 %535, 128
  %537 = add i16 %536, %532
  %538 = zext i16 %537 to i32
  %539 = lshr i32 %538, 8
  %540 = add nuw nsw i32 %539, %538
  %541 = lshr i32 %540, 8
  %542 = trunc i32 %541 to i8
  store i8 %542, ptr %528, align 1, !tbaa !42
  %543 = getelementptr inbounds i8, ptr %528, i64 1
  %544 = load i8, ptr %543, align 1, !tbaa !45
  %545 = zext i8 %544 to i16
  %546 = load i8, ptr %523, align 1, !tbaa !34
  %547 = zext i8 %546 to i16
  %548 = mul nuw i16 %547, %545
  %549 = xor i8 %546, -1
  %550 = zext i8 %549 to i16
  %551 = mul nuw i16 %519, %550
  %552 = add nuw i16 %551, 128
  %553 = add i16 %552, %548
  %554 = zext i16 %553 to i32
  %555 = lshr i32 %554, 8
  %556 = add nuw nsw i32 %555, %554
  %557 = lshr i32 %556, 8
  %558 = trunc i32 %557 to i8
  store i8 %558, ptr %543, align 1, !tbaa !45
  %559 = getelementptr inbounds i8, ptr %528, i64 2
  %560 = load i8, ptr %559, align 1, !tbaa !46
  %561 = zext i8 %560 to i16
  %562 = load i8, ptr %523, align 1, !tbaa !34
  %563 = zext i8 %562 to i16
  %564 = mul nuw i16 %563, %561
  %565 = xor i8 %562, -1
  %566 = zext i8 %565 to i16
  %567 = mul nuw i16 %520, %566
  %568 = add nuw i16 %567, 128
  %569 = add i16 %568, %564
  %570 = zext i16 %569 to i32
  %571 = lshr i32 %570, 8
  %572 = add nuw nsw i32 %571, %570
  %573 = lshr i32 %572, 8
  %574 = trunc i32 %573 to i8
  store i8 %574, ptr %559, align 1, !tbaa !46
  br label %575

575:                                              ; preds = %521, %525, %527
  %indvars.iv.next483 = add nuw nsw i64 %indvars.iv482, 1
  %exitcond486.not = icmp eq i64 %indvars.iv.next483, %wide.trip.count485
  br i1 %exitcond486.not, label %._crit_edge463.loopexit, label %521, !llvm.loop !54

._crit_edge463.loopexit:                          ; preds = %575
  %.pre507 = load i32, ptr %31, align 4, !tbaa !22
  br label %._crit_edge463

._crit_edge463:                                   ; preds = %._crit_edge463.loopexit, %503
  %576 = phi i32 [ %.pre507, %._crit_edge463.loopexit ], [ %498, %503 ]
  %577 = and i32 %576, -129
  store i32 %577, ptr %31, align 4, !tbaa !22
  br label %578

578:                                              ; preds = %437, %497, %500, %._crit_edge463, %433, %._crit_edge, %._crit_edge459, %434
  %579 = phi i32 [ %153, %437 ], [ %498, %497 ], [ %498, %500 ], [ %577, %._crit_edge463 ], [ %.pre508, %433 ], [ %355, %._crit_edge ], [ %496, %._crit_edge459 ], [ %153, %434 ]
  %580 = and i32 %579, 4104
  %or.cond446 = icmp eq i32 %580, 8
  br i1 %or.cond446, label %581, label %.loopexit

581:                                              ; preds = %578
  %582 = load i8, ptr %83, align 1, !tbaa !25
  %583 = icmp eq i8 %582, 3
  br i1 %583, label %584, label %.loopexit

584:                                              ; preds = %581
  %585 = getelementptr inbounds i8, ptr %0, i64 600
  %586 = load i16, ptr %585, align 8, !tbaa !38
  %587 = getelementptr inbounds i8, ptr %0, i64 728
  %588 = load i8, ptr %587, align 8, !tbaa !55
  %589 = zext i8 %588 to i32
  %590 = sub nsw i32 8, %589
  %591 = and i32 %579, -4105
  store i32 %591, ptr %31, align 4, !tbaa !22
  %592 = add i8 %588, -1
  %or.cond = icmp ult i8 %592, 7
  %593 = icmp ne i16 %586, 0
  %or.cond470 = select i1 %or.cond, i1 %593, i1 false
  br i1 %or.cond470, label %.lr.ph465, label %.loopexit454

.lr.ph465:                                        ; preds = %584
  %594 = getelementptr inbounds i8, ptr %0, i64 592
  %595 = load ptr, ptr %594, align 8, !tbaa !37
  %wide.trip.count490 = zext i16 %586 to i64
  %xtraiter510 = and i64 %wide.trip.count490, 3
  %596 = icmp ult i16 %586, 4
  br i1 %596, label %.loopexit454.loopexit.unr-lcssa, label %.lr.ph465.new

.lr.ph465.new:                                    ; preds = %.lr.ph465
  %unroll_iter512 = and i64 %wide.trip.count490, 65532
  br label %597

597:                                              ; preds = %597, %.lr.ph465.new
  %indvars.iv487 = phi i64 [ 0, %.lr.ph465.new ], [ %indvars.iv.next488.3, %597 ]
  %niter513 = phi i64 [ 0, %.lr.ph465.new ], [ %niter513.next.3, %597 ]
  %598 = getelementptr inbounds %struct.png_color_struct, ptr %595, i64 %indvars.iv487
  %599 = load i8, ptr %598, align 1, !tbaa !42
  %600 = zext i8 %599 to i32
  %601 = lshr i32 %600, %590
  %602 = trunc nuw i32 %601 to i8
  store i8 %602, ptr %598, align 1, !tbaa !42
  %indvars.iv.next488 = or disjoint i64 %indvars.iv487, 1
  %603 = getelementptr inbounds %struct.png_color_struct, ptr %595, i64 %indvars.iv.next488
  %604 = load i8, ptr %603, align 1, !tbaa !42
  %605 = zext i8 %604 to i32
  %606 = lshr i32 %605, %590
  %607 = trunc nuw i32 %606 to i8
  store i8 %607, ptr %603, align 1, !tbaa !42
  %indvars.iv.next488.1 = or disjoint i64 %indvars.iv487, 2
  %608 = getelementptr inbounds %struct.png_color_struct, ptr %595, i64 %indvars.iv.next488.1
  %609 = load i8, ptr %608, align 1, !tbaa !42
  %610 = zext i8 %609 to i32
  %611 = lshr i32 %610, %590
  %612 = trunc nuw i32 %611 to i8
  store i8 %612, ptr %608, align 1, !tbaa !42
  %indvars.iv.next488.2 = or disjoint i64 %indvars.iv487, 3
  %613 = getelementptr inbounds %struct.png_color_struct, ptr %595, i64 %indvars.iv.next488.2
  %614 = load i8, ptr %613, align 1, !tbaa !42
  %615 = zext i8 %614 to i32
  %616 = lshr i32 %615, %590
  %617 = trunc nuw i32 %616 to i8
  store i8 %617, ptr %613, align 1, !tbaa !42
  %indvars.iv.next488.3 = add nuw nsw i64 %indvars.iv487, 4
  %niter513.next.3 = add i64 %niter513, 4
  %niter513.ncmp.3 = icmp eq i64 %niter513.next.3, %unroll_iter512
  br i1 %niter513.ncmp.3, label %.loopexit454.loopexit.unr-lcssa, label %597, !llvm.loop !56

.loopexit454.loopexit.unr-lcssa:                  ; preds = %597, %.lr.ph465
  %indvars.iv487.unr = phi i64 [ 0, %.lr.ph465 ], [ %indvars.iv.next488.3, %597 ]
  %lcmp.mod511.not = icmp eq i64 %xtraiter510, 0
  br i1 %lcmp.mod511.not, label %.loopexit454, label %.epil.preheader509

.epil.preheader509:                               ; preds = %.loopexit454.loopexit.unr-lcssa, %.epil.preheader509
  %indvars.iv487.epil = phi i64 [ %indvars.iv.next488.epil, %.epil.preheader509 ], [ %indvars.iv487.unr, %.loopexit454.loopexit.unr-lcssa ]
  %epil.iter = phi i64 [ %epil.iter.next, %.epil.preheader509 ], [ 0, %.loopexit454.loopexit.unr-lcssa ]
  %618 = getelementptr inbounds %struct.png_color_struct, ptr %595, i64 %indvars.iv487.epil
  %619 = load i8, ptr %618, align 1, !tbaa !42
  %620 = zext i8 %619 to i32
  %621 = lshr i32 %620, %590
  %622 = trunc nuw i32 %621 to i8
  store i8 %622, ptr %618, align 1, !tbaa !42
  %indvars.iv.next488.epil = add nuw nsw i64 %indvars.iv487.epil, 1
  %epil.iter.next = add i64 %epil.iter, 1
  %epil.iter.cmp.not = icmp eq i64 %epil.iter.next, %xtraiter510
  br i1 %epil.iter.cmp.not, label %.loopexit454, label %.epil.preheader509, !llvm.loop !57

.loopexit454:                                     ; preds = %.loopexit454.loopexit.unr-lcssa, %.epil.preheader509, %584
  %623 = getelementptr inbounds i8, ptr %0, i64 729
  %624 = load i8, ptr %623, align 1, !tbaa !59
  %625 = zext i8 %624 to i32
  %626 = sub nsw i32 8, %625
  %627 = add i8 %624, -1
  %or.cond3 = icmp ult i8 %627, 7
  %or.cond471 = select i1 %or.cond3, i1 %593, i1 false
  br i1 %or.cond471, label %.lr.ph467, label %.loopexit452

.lr.ph467:                                        ; preds = %.loopexit454
  %628 = getelementptr inbounds i8, ptr %0, i64 592
  %629 = load ptr, ptr %628, align 8, !tbaa !37
  %wide.trip.count495 = zext i16 %586 to i64
  %xtraiter515 = and i64 %wide.trip.count495, 3
  %630 = icmp ult i16 %586, 4
  br i1 %630, label %.loopexit452.loopexit.unr-lcssa, label %.lr.ph467.new

.lr.ph467.new:                                    ; preds = %.lr.ph467
  %unroll_iter518 = and i64 %wide.trip.count495, 65532
  br label %631

631:                                              ; preds = %631, %.lr.ph467.new
  %indvars.iv492 = phi i64 [ 0, %.lr.ph467.new ], [ %indvars.iv.next493.3, %631 ]
  %niter519 = phi i64 [ 0, %.lr.ph467.new ], [ %niter519.next.3, %631 ]
  %632 = getelementptr inbounds %struct.png_color_struct, ptr %629, i64 %indvars.iv492, i32 1
  %633 = load i8, ptr %632, align 1, !tbaa !45
  %634 = zext i8 %633 to i32
  %635 = lshr i32 %634, %626
  %636 = trunc nuw i32 %635 to i8
  store i8 %636, ptr %632, align 1, !tbaa !45
  %indvars.iv.next493 = or disjoint i64 %indvars.iv492, 1
  %637 = getelementptr inbounds %struct.png_color_struct, ptr %629, i64 %indvars.iv.next493, i32 1
  %638 = load i8, ptr %637, align 1, !tbaa !45
  %639 = zext i8 %638 to i32
  %640 = lshr i32 %639, %626
  %641 = trunc nuw i32 %640 to i8
  store i8 %641, ptr %637, align 1, !tbaa !45
  %indvars.iv.next493.1 = or disjoint i64 %indvars.iv492, 2
  %642 = getelementptr inbounds %struct.png_color_struct, ptr %629, i64 %indvars.iv.next493.1, i32 1
  %643 = load i8, ptr %642, align 1, !tbaa !45
  %644 = zext i8 %643 to i32
  %645 = lshr i32 %644, %626
  %646 = trunc nuw i32 %645 to i8
  store i8 %646, ptr %642, align 1, !tbaa !45
  %indvars.iv.next493.2 = or disjoint i64 %indvars.iv492, 3
  %647 = getelementptr inbounds %struct.png_color_struct, ptr %629, i64 %indvars.iv.next493.2, i32 1
  %648 = load i8, ptr %647, align 1, !tbaa !45
  %649 = zext i8 %648 to i32
  %650 = lshr i32 %649, %626
  %651 = trunc nuw i32 %650 to i8
  store i8 %651, ptr %647, align 1, !tbaa !45
  %indvars.iv.next493.3 = add nuw nsw i64 %indvars.iv492, 4
  %niter519.next.3 = add i64 %niter519, 4
  %niter519.ncmp.3 = icmp eq i64 %niter519.next.3, %unroll_iter518
  br i1 %niter519.ncmp.3, label %.loopexit452.loopexit.unr-lcssa, label %631, !llvm.loop !60

.loopexit452.loopexit.unr-lcssa:                  ; preds = %631, %.lr.ph467
  %indvars.iv492.unr = phi i64 [ 0, %.lr.ph467 ], [ %indvars.iv.next493.3, %631 ]
  %lcmp.mod517.not = icmp eq i64 %xtraiter515, 0
  br i1 %lcmp.mod517.not, label %.loopexit452, label %.epil.preheader514

.epil.preheader514:                               ; preds = %.loopexit452.loopexit.unr-lcssa, %.epil.preheader514
  %indvars.iv492.epil = phi i64 [ %indvars.iv.next493.epil, %.epil.preheader514 ], [ %indvars.iv492.unr, %.loopexit452.loopexit.unr-lcssa ]
  %epil.iter516 = phi i64 [ %epil.iter516.next, %.epil.preheader514 ], [ 0, %.loopexit452.loopexit.unr-lcssa ]
  %652 = getelementptr inbounds %struct.png_color_struct, ptr %629, i64 %indvars.iv492.epil, i32 1
  %653 = load i8, ptr %652, align 1, !tbaa !45
  %654 = zext i8 %653 to i32
  %655 = lshr i32 %654, %626
  %656 = trunc nuw i32 %655 to i8
  store i8 %656, ptr %652, align 1, !tbaa !45
  %indvars.iv.next493.epil = add nuw nsw i64 %indvars.iv492.epil, 1
  %epil.iter516.next = add i64 %epil.iter516, 1
  %epil.iter516.cmp.not = icmp eq i64 %epil.iter516.next, %xtraiter515
  br i1 %epil.iter516.cmp.not, label %.loopexit452, label %.epil.preheader514, !llvm.loop !61

.loopexit452:                                     ; preds = %.loopexit452.loopexit.unr-lcssa, %.epil.preheader514, %.loopexit454
  %657 = getelementptr inbounds i8, ptr %0, i64 730
  %658 = load i8, ptr %657, align 2, !tbaa !62
  %659 = zext i8 %658 to i32
  %660 = sub nsw i32 8, %659
  %661 = add i8 %658, -1
  %or.cond5 = icmp ult i8 %661, 7
  %or.cond472 = select i1 %or.cond5, i1 %593, i1 false
  br i1 %or.cond472, label %.lr.ph469, label %.loopexit

.lr.ph469:                                        ; preds = %.loopexit452
  %662 = getelementptr inbounds i8, ptr %0, i64 592
  %663 = load ptr, ptr %662, align 8, !tbaa !37
  %wide.trip.count500 = zext i16 %586 to i64
  %xtraiter521 = and i64 %wide.trip.count500, 3
  %664 = icmp ult i16 %586, 4
  br i1 %664, label %.loopexit.loopexit.unr-lcssa, label %.lr.ph469.new

.lr.ph469.new:                                    ; preds = %.lr.ph469
  %unroll_iter524 = and i64 %wide.trip.count500, 65532
  br label %665

665:                                              ; preds = %665, %.lr.ph469.new
  %indvars.iv497 = phi i64 [ 0, %.lr.ph469.new ], [ %indvars.iv.next498.3, %665 ]
  %niter525 = phi i64 [ 0, %.lr.ph469.new ], [ %niter525.next.3, %665 ]
  %666 = getelementptr inbounds %struct.png_color_struct, ptr %663, i64 %indvars.iv497, i32 2
  %667 = load i8, ptr %666, align 1, !tbaa !46
  %668 = zext i8 %667 to i32
  %669 = lshr i32 %668, %660
  %670 = trunc nuw i32 %669 to i8
  store i8 %670, ptr %666, align 1, !tbaa !46
  %indvars.iv.next498 = or disjoint i64 %indvars.iv497, 1
  %671 = getelementptr inbounds %struct.png_color_struct, ptr %663, i64 %indvars.iv.next498, i32 2
  %672 = load i8, ptr %671, align 1, !tbaa !46
  %673 = zext i8 %672 to i32
  %674 = lshr i32 %673, %660
  %675 = trunc nuw i32 %674 to i8
  store i8 %675, ptr %671, align 1, !tbaa !46
  %indvars.iv.next498.1 = or disjoint i64 %indvars.iv497, 2
  %676 = getelementptr inbounds %struct.png_color_struct, ptr %663, i64 %indvars.iv.next498.1, i32 2
  %677 = load i8, ptr %676, align 1, !tbaa !46
  %678 = zext i8 %677 to i32
  %679 = lshr i32 %678, %660
  %680 = trunc nuw i32 %679 to i8
  store i8 %680, ptr %676, align 1, !tbaa !46
  %indvars.iv.next498.2 = or disjoint i64 %indvars.iv497, 3
  %681 = getelementptr inbounds %struct.png_color_struct, ptr %663, i64 %indvars.iv.next498.2, i32 2
  %682 = load i8, ptr %681, align 1, !tbaa !46
  %683 = zext i8 %682 to i32
  %684 = lshr i32 %683, %660
  %685 = trunc nuw i32 %684 to i8
  store i8 %685, ptr %681, align 1, !tbaa !46
  %indvars.iv.next498.3 = add nuw nsw i64 %indvars.iv497, 4
  %niter525.next.3 = add i64 %niter525, 4
  %niter525.ncmp.3 = icmp eq i64 %niter525.next.3, %unroll_iter524
  br i1 %niter525.ncmp.3, label %.loopexit.loopexit.unr-lcssa, label %665, !llvm.loop !63

.loopexit.loopexit.unr-lcssa:                     ; preds = %665, %.lr.ph469
  %indvars.iv497.unr = phi i64 [ 0, %.lr.ph469 ], [ %indvars.iv.next498.3, %665 ]
  %lcmp.mod523.not = icmp eq i64 %xtraiter521, 0
  br i1 %lcmp.mod523.not, label %.loopexit, label %.epil.preheader520

.epil.preheader520:                               ; preds = %.loopexit.loopexit.unr-lcssa, %.epil.preheader520
  %indvars.iv497.epil = phi i64 [ %indvars.iv.next498.epil, %.epil.preheader520 ], [ %indvars.iv497.unr, %.loopexit.loopexit.unr-lcssa ]
  %epil.iter522 = phi i64 [ %epil.iter522.next, %.epil.preheader520 ], [ 0, %.loopexit.loopexit.unr-lcssa ]
  %686 = getelementptr inbounds %struct.png_color_struct, ptr %663, i64 %indvars.iv497.epil, i32 2
  %687 = load i8, ptr %686, align 1, !tbaa !46
  %688 = zext i8 %687 to i32
  %689 = lshr i32 %688, %660
  %690 = trunc nuw i32 %689 to i8
  store i8 %690, ptr %686, align 1, !tbaa !46
  %indvars.iv.next498.epil = add nuw nsw i64 %indvars.iv497.epil, 1
  %epil.iter522.next = add i64 %epil.iter522, 1
  %epil.iter522.cmp.not = icmp eq i64 %epil.iter522.next, %xtraiter521
  br i1 %epil.iter522.cmp.not, label %.loopexit, label %.epil.preheader520, !llvm.loop !64

.loopexit:                                        ; preds = %.loopexit.loopexit.unr-lcssa, %.epil.preheader520, %.loopexit452, %581, %578
  ret void
}

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

declare i32 @png_gamma_significant(i32 noundef) local_unnamed_addr #0

declare void @png_colorspace_set_rgb_coefficients(ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare hidden void @png_init_palette_transformations(ptr noalias noundef) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare hidden void @png_init_rgb_transformations(ptr noalias noundef) local_unnamed_addr #3

declare void @png_build_gamma_table(ptr noundef, i32 noundef) local_unnamed_addr #0

declare i32 @png_reciprocal2(i32 noundef, i32 noundef) local_unnamed_addr #0

declare zeroext i8 @png_gamma_8bit_correct(i32 noundef, i32 noundef) local_unnamed_addr #0

declare zeroext i16 @png_gamma_correct(ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #0

attributes #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 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { noreturn "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 #3 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind }
attributes #5 = { noreturn nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !11, i64 1176}
!6 = !{!"png_struct_def", !7, i64 0, !9, i64 200, !9, i64 208, !10, i64 216, !9, i64 224, !9, i64 232, !9, i64 240, !9, i64 248, !9, i64 256, !9, i64 264, !9, i64 272, !9, i64 280, !9, i64 288, !7, i64 296, !7, i64 297, !11, i64 300, !11, i64 304, !11, i64 308, !11, i64 312, !12, i64 320, !9, i64 432, !11, i64 440, !11, i64 444, !11, i64 448, !11, i64 452, !11, i64 456, !11, i64 460, !11, i64 464, !11, i64 468, !11, i64 472, !11, i64 476, !11, i64 480, !11, i64 484, !11, i64 488, !11, i64 492, !11, i64 496, !11, i64 500, !11, i64 504, !11, i64 508, !11, i64 512, !11, i64 516, !10, i64 520, !11, i64 528, !11, i64 532, !11, i64 536, !9, i64 544, !9, i64 552, !9, i64 560, !9, i64 568, !10, i64 576, !11, i64 584, !11, i64 588, !9, i64 592, !13, i64 600, !11, i64 604, !13, i64 608, !7, i64 610, !7, i64 611, !7, i64 612, !7, i64 613, !7, i64 614, !7, i64 615, !7, i64 616, !7, i64 617, !7, i64 618, !7, i64 619, !7, i64 620, !7, i64 621, !7, i64 622, !7, i64 623, !7, i64 624, !13, i64 626, !7, i64 628, !11, i64 632, !14, i64 636, !14, i64 646, !9, i64 656, !11, i64 664, !11, i64 668, !11, i64 672, !11, i64 676, !9, i64 680, !9, i64 688, !9, i64 696, !9, i64 704, !9, i64 712, !9, i64 720, !15, i64 728, !15, i64 733, !9, i64 744, !14, i64 752, !9, i64 768, !9, i64 776, !9, i64 784, !9, i64 792, !9, i64 800, !9, i64 808, !9, i64 816, !9, i64 824, !9, i64 832, !11, i64 840, !11, i64 844, !10, i64 848, !10, i64 856, !10, i64 864, !10, i64 872, !11, i64 880, !11, i64 884, !9, i64 888, !9, i64 896, !11, i64 904, !7, i64 908, !11, i64 940, !9, i64 944, !9, i64 952, !11, i64 960, !11, i64 964, !9, i64 968, !7, i64 976, !7, i64 977, !13, i64 978, !13, i64 980, !11, i64 984, !7, i64 988, !9, i64 992, !9, i64 1000, !9, i64 1008, !9, i64 1016, !9, i64 1024, !9, i64 1032, !9, i64 1040, !7, i64 1048, !11, i64 1052, !11, i64 1056, !11, i64 1060, !10, i64 1064, !16, i64 1072, !10, i64 1104, !9, i64 1112, !10, i64 1120, !11, i64 1128, !11, i64 1132, !9, i64 1136, !7, i64 1144, !17, i64 1176}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!"any pointer", !7, i64 0}
!10 = !{!"long", !7, i64 0}
!11 = !{!"int", !7, i64 0}
!12 = !{!"z_stream_s", !9, i64 0, !11, i64 8, !10, i64 16, !9, i64 24, !11, i64 32, !10, i64 40, !9, i64 48, !9, i64 56, !9, i64 64, !9, i64 72, !9, i64 80, !11, i64 88, !10, i64 96, !10, i64 104}
!13 = !{!"short", !7, i64 0}
!14 = !{!"png_color_16_struct", !7, i64 0, !13, i64 2, !13, i64 4, !13, i64 6, !13, i64 8}
!15 = !{!"png_color_8_struct", !7, i64 0, !7, i64 1, !7, i64 2, !7, i64 3, !7, i64 4}
!16 = !{!"png_unknown_chunk_t", !7, i64 0, !9, i64 8, !10, i64 16, !7, i64 24}
!17 = !{!"png_colorspace", !11, i64 0, !18, i64 4, !19, i64 36, !13, i64 72, !13, i64 74}
!18 = !{!"png_xy", !11, i64 0, !11, i64 4, !11, i64 8, !11, i64 12, !11, i64 16, !11, i64 20, !11, i64 24, !11, i64 28}
!19 = !{!"png_XYZ", !11, i64 0, !11, i64 4, !11, i64 8, !11, i64 12, !11, i64 16, !11, i64 20, !11, i64 24, !11, i64 28, !11, i64 32}
!20 = !{!6, !11, i64 676}
!21 = !{!6, !13, i64 1250}
!22 = !{!6, !11, i64 308}
!23 = !{!6, !11, i64 304}
!24 = !{!6, !13, i64 608}
!25 = !{!6, !7, i64 615}
!26 = !{!6, !11, i64 300}
!27 = !{!6, !13, i64 638}
!28 = !{!6, !13, i64 640}
!29 = !{!6, !13, i64 642}
!30 = !{!6, !13, i64 644}
!31 = !{!6, !7, i64 616}
!32 = !{!13, !13, i64 0}
!33 = !{i64 0, i64 1, !34, i64 2, i64 2, !32, i64 4, i64 2, !32, i64 6, i64 2, !32, i64 8, i64 2, !32}
!34 = !{!7, !7, i64 0}
!35 = !{!6, !7, i64 628}
!36 = !{!6, !11, i64 632}
!37 = !{!6, !9, i64 592}
!38 = !{!6, !13, i64 600}
!39 = !{!6, !9, i64 680}
!40 = !{!6, !9, i64 704}
!41 = !{!6, !9, i64 744}
!42 = !{!43, !7, i64 0}
!43 = !{!"png_color_struct", !7, i64 0, !7, i64 1, !7, i64 2}
!44 = !{!6, !9, i64 696}
!45 = !{!43, !7, i64 1}
!46 = !{!43, !7, i64 2}
!47 = distinct !{!47, !48}
!48 = !{!"llvm.loop.mustprogress"}
!49 = !{!6, !13, i64 654}
!50 = !{!6, !13, i64 648}
!51 = !{!6, !13, i64 650}
!52 = !{!6, !13, i64 652}
!53 = distinct !{!53, !48}
!54 = distinct !{!54, !48}
!55 = !{!6, !7, i64 728}
!56 = distinct !{!56, !48}
!57 = distinct !{!57, !58}
!58 = !{!"llvm.loop.unroll.disable"}
!59 = !{!6, !7, i64 729}
!60 = distinct !{!60, !48}
!61 = distinct !{!61, !58}
!62 = !{!6, !7, i64 730}
!63 = distinct !{!63, !48}
!64 = distinct !{!64, !58}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,ReassociatePass,SCCPPass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,TailCallElimPass