; LLVM IR from EyalAr/lwip :: src/lib/png (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, i8, i8, i32, i32, i32, i32, %struct.z_stream_s, i32, i32, i32, i32, i64, i32, i32, i32, ptr, ptr, i64, i32, i32, ptr, i16, i32, i16, 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, 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, i8, [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.10 = external hidden unnamed_addr constant [30 x i8], align 1

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

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

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

declare i32 @png_reciprocal(i32 noundef) #3

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

; 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 118
  %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 54
  %44 = load i32, ptr %43, align 8, !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 118
  %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 54
  %53 = load i32, ptr %52, align 8, !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 118
  %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 54
  store i32 %60, ptr %62, align 8, !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 54
  %67 = load i32, ptr %66, align 8, !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 54
  %72 = load i32, ptr %71, align 8, !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 118
  %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 118
  %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 54
  store i32 100000, ptr %82, align 8, !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 118
  %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 15
  %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 15
  %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 15
  %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 15
  %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 15
  %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 14
  %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 34
  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 54
  %130 = load i32, ptr %129, align 8, !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 15
  %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 14
  %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 15
  %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 15
  %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 40
  %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 13
  %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 15
  %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 15
  %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 51
  %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 51
  %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 51
  %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 51
  %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 13
  %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 51
  %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 51
  %216 = getelementptr inbounds %struct.png_color_16_struct, ptr %215, i32 0, i32 4
  store i16 %213, ptr %216, align 8, !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 40
  %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 15
  %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 15
  %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 15
  %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 41
  %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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %293 = getelementptr inbounds %struct.png_color_16_struct, ptr %292, i32 0, i32 4
  %294 = load i16, ptr %293, align 8, !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 51
  %302 = getelementptr inbounds %struct.png_color_16_struct, ptr %301, i32 0, i32 4
  store i16 %299, ptr %302, align 8, !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 15
  %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 15
  %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 15
  %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 41
  %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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %360 = getelementptr inbounds %struct.png_color_16_struct, ptr %359, i32 0, i32 4
  %361 = load i16, ptr %360, align 8, !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 51
  %367 = getelementptr inbounds %struct.png_color_16_struct, ptr %366, i32 0, i32 4
  store i16 %364, ptr %367, align 8, !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 52
  %371 = load ptr, ptr %2, align 8, !tbaa !5
  %372 = getelementptr inbounds %struct.png_struct_def, ptr %371, i32 0, i32 51
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %370, ptr align 8 %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 15
  %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 15
  %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 118
  %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 54
  %394 = load i32, ptr %393, align 8, !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 15
  %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 118
  %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 54
  %413 = load i32, ptr %412, align 8, !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 49
  %419 = load i8, ptr %418, align 2, !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 50
  %425 = load i32, ptr %424, align 4, !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 15
  %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 54
  %437 = load i32, ptr %436, align 8, !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 41
  %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 15
  %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 15
  %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
  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 40
  %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 31
  %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 32
  %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 49
  %477 = load i8, ptr %476, align 2, !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 55
  %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 51
  %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 55
  %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 51
  %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 55
  %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 51
  %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 58
  %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 51
  %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 58
  %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 51
  %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 58
  %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 51
  %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 49
  %550 = load i8, ptr %549, align 2, !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 54
  %555 = load i32, ptr %554, align 8, !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 118
  %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 118
  %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 54
  %568 = load i32, ptr %567, align 8, !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 50
  %573 = load i32, ptr %572, align 4, !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 50
  %577 = load i32, ptr %576, align 4, !tbaa !38
  %578 = load ptr, ptr %2, align 8, !tbaa !5
  %579 = getelementptr inbounds %struct.png_struct_def, ptr %578, i32 0, i32 54
  %580 = load i32, ptr %579, align 8, !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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %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 34
  %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 63
  %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 63
  %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 58
  %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 63
  %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 63
  %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 57
  %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 58
  %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 63
  %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 63
  %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 57
  %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 58
  %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 63
  %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 63
  %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 57
  %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 55
  %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 55
  %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 55
  %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 15
  %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 49
  %981 = load i8, ptr %980, align 2, !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 54
  %986 = load i32, ptr %985, align 8, !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 118
  %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 118
  %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 54
  %999 = load i32, ptr %998, align 8, !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 50
  %1004 = load i32, ptr %1003, align 4, !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 50
  %1008 = load i32, ptr %1007, align 4, !tbaa !38
  %1009 = load ptr, ptr %2, align 8, !tbaa !5
  %1010 = getelementptr inbounds %struct.png_struct_def, ptr %1009, i32 0, i32 54
  %1011 = load i32, ptr %1010, align 8, !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.10) #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 51
  %1026 = getelementptr inbounds %struct.png_color_16_struct, ptr %1025, i32 0, i32 4
  %1027 = load i16, ptr %1026, align 8, !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 52
  %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 51
  %1041 = getelementptr inbounds %struct.png_color_16_struct, ptr %1040, i32 0, i32 4
  %1042 = load i16, ptr %1041, align 8, !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 51
  %1048 = getelementptr inbounds %struct.png_color_16_struct, ptr %1047, i32 0, i32 4
  store i16 %1045, ptr %1048, align 8, !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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %1081 = getelementptr inbounds %struct.png_color_16_struct, ptr %1080, i32 0, i32 4
  %1082 = load i16, ptr %1081, align 8, !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 51
  %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 52
  %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 51
  %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 52
  %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 51
  %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 52
  %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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %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 51
  %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 52
  %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 52
  %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 52
  %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 52
  %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 51
  %1176 = getelementptr inbounds %struct.png_color_16_struct, ptr %1175, i32 0, i32 4
  %1177 = load i16, ptr %1176, align 8, !tbaa !32
  %1178 = load ptr, ptr %2, align 8, !tbaa !5
  %1179 = getelementptr inbounds %struct.png_struct_def, ptr %1178, i32 0, i32 51
  %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 51
  %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 51
  %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 49
  store i8 1, ptr %1189, align 2, !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 40
  %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 15
  %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 15
  %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 31
  %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 32
  %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 55
  %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 55
  %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 55
  %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 15
  %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 15
  %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 40
  %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 34
  %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 31
  %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 51
  %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 51
  %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 51
  %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 63
  %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 63
  %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 63
  %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 63
  %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 63
  %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 63
  %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 63
  %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 63
  %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 15
  %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 15
  %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 15
  %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 40
  %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 32
  %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 61
  %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 15
  %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 31
  %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 31
  %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 61
  %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 31
  %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 31
  %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 61
  %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 31
  %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 31
  %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) #3

declare void @png_colorspace_set_rgb_coefficients(ptr noundef) #3

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

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

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

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

attributes #0 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nocallback nofree nosync 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 = { "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 1056}
!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, !7, i64 280, !7, i64 281, !10, i64 284, !10, i64 288, !10, i64 292, !10, i64 296, !14, i64 304, !10, i64 416, !10, i64 420, !10, i64 424, !10, i64 428, !13, i64 432, !10, i64 440, !10, i64 444, !10, i64 448, !6, i64 456, !6, i64 464, !13, i64 472, !10, i64 480, !10, i64 484, !6, i64 488, !15, i64 496, !10, i64 500, !15, i64 504, !7, i64 506, !7, i64 507, !7, i64 508, !7, i64 509, !7, i64 510, !7, i64 511, !7, i64 512, !7, i64 513, !7, i64 514, !7, i64 515, !7, i64 516, !7, i64 517, !7, i64 518, !15, i64 520, !7, i64 522, !10, i64 524, !16, i64 528, !16, i64 538, !10, i64 548, !10, i64 552, !6, i64 560, !6, i64 568, !6, i64 576, !6, i64 584, !6, i64 592, !6, i64 600, !17, i64 608, !17, i64 613, !6, i64 624, !16, i64 632, !6, i64 648, !6, i64 656, !6, i64 664, !6, i64 672, !6, i64 680, !6, i64 688, !6, i64 696, !6, i64 704, !6, i64 712, !10, i64 720, !10, i64 724, !13, i64 728, !13, i64 736, !13, i64 744, !13, i64 752, !10, i64 760, !10, i64 764, !6, i64 768, !6, i64 776, !7, i64 784, !7, i64 785, !10, i64 816, !6, i64 824, !6, i64 832, !10, i64 840, !10, i64 844, !6, i64 848, !7, i64 856, !7, i64 857, !15, i64 858, !15, i64 860, !10, i64 864, !7, i64 868, !6, i64 872, !6, i64 880, !6, i64 888, !6, i64 896, !6, i64 904, !6, i64 912, !6, i64 920, !7, i64 928, !10, i64 932, !10, i64 936, !10, i64 940, !13, i64 944, !18, i64 952, !13, i64 984, !6, i64 992, !13, i64 1000, !10, i64 1008, !10, i64 1012, !6, i64 1016, !7, i64 1024, !19, i64 1056}
!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 552}
!23 = !{!12, !15, i64 1130}
!24 = !{!12, !10, i64 292}
!25 = !{!12, !10, i64 288}
!26 = !{!12, !15, i64 504}
!27 = !{!12, !7, i64 511}
!28 = !{!12, !10, i64 284}
!29 = !{!12, !15, i64 530}
!30 = !{!12, !15, i64 532}
!31 = !{!12, !15, i64 534}
!32 = !{!12, !15, i64 536}
!33 = !{!12, !7, i64 512}
!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 522}
!38 = !{!12, !10, i64 524}
!39 = !{!12, !6, i64 488}
!40 = !{!12, !15, i64 496}
!41 = !{!12, !6, i64 560}
!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 584}
!47 = !{!12, !6, i64 624}
!48 = !{i64 0, i64 1, !35, i64 1, i64 1, !35, i64 2, i64 1, !35}
!49 = !{!12, !6, i64 576}
!50 = distinct !{!50, !51}
!51 = !{!"llvm.loop.mustprogress"}
!52 = !{!12, !15, i64 546}
!53 = !{!12, !15, i64 540}
!54 = !{!12, !15, i64 542}
!55 = !{!12, !15, i64 544}
!56 = distinct !{!56, !51}
!57 = distinct !{!57, !51}
!58 = !{!12, !7, i64 608}
!59 = distinct !{!59, !51}
!60 = !{!12, !7, i64 609}
!61 = distinct !{!61, !51}
!62 = !{!12, !7, i64 610}
!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.10 = external hidden unnamed_addr constant [30 x i8], align 1

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

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

declare i32 @png_reciprocal(i32 noundef) local_unnamed_addr #2

; 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 1056
  %3 = load i32, ptr %2, align 8, !tbaa !5
  %.not = icmp eq i32 %3, 0
  %4 = getelementptr inbounds i8, ptr %0, i64 552
  %5 = load i32, ptr %4, align 8, !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 8, !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 8, !tbaa !20
  br label %.thread

.thread:                                          ; preds = %7, %10, %12
  %13 = getelementptr inbounds i8, ptr %0, i64 1130
  %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 1130
  %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 292
  %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 292
  %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 292
  %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 288
  %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 504
  store i16 0, ptr %38, align 8, !tbaa !24
  br label %39

39:                                               ; preds = %33, %29
  %40 = getelementptr inbounds i8, ptr %0, i64 552
  %41 = load i32, ptr %40, align 8, !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 288
  %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 511
  %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 284
  %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 530
  %69 = load i16, ptr %68, align 2, !tbaa !27
  %70 = getelementptr inbounds i8, ptr %0, i64 532
  %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 534
  %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 284
  %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 536
  store i16 %69, ptr %81, align 8, !tbaa !30
  br label %82

82:                                               ; preds = %65, %67, %73, %77, %56, %61
  %83 = getelementptr inbounds i8, ptr %0, i64 511
  %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 512
  %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 530
  %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 512
  %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 530
  %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 538
  %116 = getelementptr inbounds i8, ptr %0, i64 528
  tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 2 dereferenceable(10) %115, ptr noundef nonnull align 8 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 8, !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 8, !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 522
  %137 = load i8, ptr %136, align 2, !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 524
  %141 = load i32, ptr %140, align 4, !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 %492, label %146

146:                                              ; preds = %143
  %147 = load i32, ptr %40, align 8, !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 %492

149:                                              ; preds = %146, %139, %132, %129, %123, %120, %114
  %150 = getelementptr inbounds i8, ptr %0, i64 512
  %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
  %155 = load i8, ptr %83, align 1, !tbaa !25
  %156 = icmp eq i8 %155, 3
  br i1 %.not423, label %431, label %157

157:                                              ; preds = %149
  br i1 %156, label %158, label %353

158:                                              ; preds = %157
  %159 = getelementptr inbounds i8, ptr %0, i64 488
  %160 = load ptr, ptr %159, align 8, !tbaa !37
  %161 = getelementptr inbounds i8, ptr %0, i64 496
  %162 = load i16, ptr %161, align 8, !tbaa !38
  %163 = getelementptr inbounds i8, ptr %0, i64 522
  %164 = load i8, ptr %163, align 2, !tbaa !35
  switch i8 %164, label %200 [
    i8 2, label %165
    i8 1, label %191
    i8 3, label %193
  ]

165:                                              ; preds = %158
  %166 = getelementptr inbounds i8, ptr %0, i64 560
  %167 = load ptr, ptr %166, align 8, !tbaa !39
  %168 = getelementptr inbounds i8, ptr %0, i64 530
  %169 = load i16, ptr %168, align 2, !tbaa !27
  %170 = zext i16 %169 to i64
  %171 = getelementptr inbounds i8, ptr %167, i64 %170
  %172 = load i8, ptr %171, align 1, !tbaa !34
  %173 = getelementptr inbounds i8, ptr %0, i64 532
  %174 = load i16, ptr %173, align 4, !tbaa !28
  %175 = zext i16 %174 to i64
  %176 = getelementptr inbounds i8, ptr %167, i64 %175
  %177 = load i8, ptr %176, align 1, !tbaa !34
  %178 = getelementptr inbounds i8, ptr %0, i64 534
  %179 = load i16, ptr %178, align 2, !tbaa !29
  %180 = zext i16 %179 to i64
  %181 = getelementptr inbounds i8, ptr %167, i64 %180
  %182 = load i8, ptr %181, align 1, !tbaa !34
  %183 = getelementptr inbounds i8, ptr %0, i64 584
  %184 = load ptr, ptr %183, align 8, !tbaa !40
  %185 = getelementptr inbounds i8, ptr %184, i64 %170
  %186 = load i8, ptr %185, align 1, !tbaa !34
  %187 = getelementptr inbounds i8, ptr %184, i64 %175
  %188 = load i8, ptr %187, align 1, !tbaa !34
  %189 = getelementptr inbounds i8, ptr %184, i64 %180
  %190 = load i8, ptr %189, align 1, !tbaa !34
  br label %246

191:                                              ; preds = %158
  %192 = load i32, ptr %40, align 8, !tbaa !20
  br label %200

193:                                              ; preds = %158
  %194 = getelementptr inbounds i8, ptr %0, i64 524
  %195 = load i32, ptr %194, align 4, !tbaa !36
  %196 = tail call i32 @png_reciprocal(i32 noundef %195) #4
  %197 = load i32, ptr %194, align 4, !tbaa !36
  %198 = load i32, ptr %40, align 8, !tbaa !20
  %199 = tail call i32 @png_reciprocal2(i32 noundef %197, i32 noundef %198) #4
  br label %200

200:                                              ; preds = %158, %193, %191
  %.0382 = phi i32 [ %199, %193 ], [ 100000, %191 ], [ 100000, %158 ]
  %.0381 = phi i32 [ %196, %193 ], [ %192, %191 ], [ 100000, %158 ]
  %201 = tail call i32 @png_gamma_significant(i32 noundef %.0382) #4
  %.not430 = icmp eq i32 %201, 0
  %202 = getelementptr inbounds i8, ptr %0, i64 530
  %203 = load i16, ptr %202, align 2, !tbaa !27
  br i1 %.not430, label %215, label %204

204:                                              ; preds = %200
  %205 = zext i16 %203 to i32
  %206 = tail call zeroext i8 @png_gamma_8bit_correct(i32 noundef %205, i32 noundef %.0382) #4
  %207 = getelementptr inbounds i8, ptr %0, i64 532
  %208 = load i16, ptr %207, align 4, !tbaa !28
  %209 = zext i16 %208 to i32
  %210 = tail call zeroext i8 @png_gamma_8bit_correct(i32 noundef %209, i32 noundef %.0382) #4
  %211 = getelementptr inbounds i8, ptr %0, i64 534
  %212 = load i16, ptr %211, align 2, !tbaa !29
  %213 = zext i16 %212 to i32
  %214 = tail call zeroext i8 @png_gamma_8bit_correct(i32 noundef %213, i32 noundef %.0382) #4
  br label %223

215:                                              ; preds = %200
  %216 = trunc i16 %203 to i8
  %217 = getelementptr inbounds i8, ptr %0, i64 532
  %218 = load i16, ptr %217, align 4, !tbaa !28
  %219 = trunc i16 %218 to i8
  %220 = getelementptr inbounds i8, ptr %0, i64 534
  %221 = load i16, ptr %220, align 2, !tbaa !29
  %222 = trunc i16 %221 to i8
  br label %223

223:                                              ; preds = %215, %204
  %.sroa.0153.0 = phi i8 [ %206, %204 ], [ %216, %215 ]
  %.sroa.6154.0 = phi i8 [ %210, %204 ], [ %219, %215 ]
  %.sroa.9.0 = phi i8 [ %214, %204 ], [ %222, %215 ]
  %224 = tail call i32 @png_gamma_significant(i32 noundef %.0381) #4
  %.not431 = icmp eq i32 %224, 0
  %225 = getelementptr inbounds i8, ptr %0, i64 530
  %226 = load i16, ptr %225, align 2, !tbaa !27
  br i1 %.not431, label %238, label %227

227:                                              ; preds = %223
  %228 = zext i16 %226 to i32
  %229 = tail call zeroext i8 @png_gamma_8bit_correct(i32 noundef %228, i32 noundef %.0381) #4
  %230 = getelementptr inbounds i8, ptr %0, i64 532
  %231 = load i16, ptr %230, align 4, !tbaa !28
  %232 = zext i16 %231 to i32
  %233 = tail call zeroext i8 @png_gamma_8bit_correct(i32 noundef %232, i32 noundef %.0381) #4
  %234 = getelementptr inbounds i8, ptr %0, i64 534
  %235 = load i16, ptr %234, align 2, !tbaa !29
  %236 = zext i16 %235 to i32
  %237 = tail call zeroext i8 @png_gamma_8bit_correct(i32 noundef %236, i32 noundef %.0381) #4
  br label %246

238:                                              ; preds = %223
  %239 = trunc i16 %226 to i8
  %240 = getelementptr inbounds i8, ptr %0, i64 532
  %241 = load i16, ptr %240, align 4, !tbaa !28
  %242 = trunc i16 %241 to i8
  %243 = getelementptr inbounds i8, ptr %0, i64 534
  %244 = load i16, ptr %243, align 2, !tbaa !29
  %245 = trunc i16 %244 to i8
  br label %246

246:                                              ; preds = %227, %238, %165
  %.sroa.0152.1 = phi i8 [ %186, %165 ], [ %229, %227 ], [ %239, %238 ]
  %.sroa.6.1 = phi i8 [ %188, %165 ], [ %233, %227 ], [ %242, %238 ]
  %.sroa.10.1 = phi i8 [ %190, %165 ], [ %237, %227 ], [ %245, %238 ]
  %.sroa.0153.1 = phi i8 [ %172, %165 ], [ %.sroa.0153.0, %227 ], [ %.sroa.0153.0, %238 ]
  %.sroa.6154.1 = phi i8 [ %177, %165 ], [ %.sroa.6154.0, %227 ], [ %.sroa.6154.0, %238 ]
  %.sroa.9.1 = phi i8 [ %182, %165 ], [ %.sroa.9.0, %227 ], [ %.sroa.9.0, %238 ]
  %.not473 = icmp eq i16 %162, 0
  br i1 %.not473, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %246
  %247 = getelementptr inbounds i8, ptr %0, i64 504
  %248 = getelementptr inbounds i8, ptr %0, i64 624
  %249 = getelementptr inbounds i8, ptr %0, i64 560
  %250 = getelementptr inbounds i8, ptr %0, i64 584
  %251 = zext i8 %.sroa.0152.1 to i32
  %252 = getelementptr inbounds i8, ptr %0, i64 576
  %253 = zext i8 %.sroa.6.1 to i32
  %254 = zext i8 %.sroa.10.1 to i32
  %wide.trip.count = zext i16 %162 to i64
  br label %255

255:                                              ; preds = %.lr.ph, %350
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %350 ]
  %256 = load i16, ptr %247, align 8, !tbaa !24
  %257 = zext i16 %256 to i64
  %258 = icmp ult i64 %indvars.iv, %257
  br i1 %258, label %259, label %333

259:                                              ; preds = %255
  %260 = load ptr, ptr %248, align 8, !tbaa !41
  %261 = getelementptr inbounds i8, ptr %260, i64 %indvars.iv
  %262 = load i8, ptr %261, align 1, !tbaa !34
  switch i8 %262, label %265 [
    i8 -1, label %333
    i8 0, label %263
  ]

263:                                              ; preds = %259
  %264 = getelementptr inbounds %struct.png_color_struct, ptr %160, i64 %indvars.iv
  store i8 %.sroa.0153.1, ptr %264, align 1, !tbaa !34
  %.sroa.6154.0..sroa_idx = getelementptr inbounds i8, ptr %264, 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 %264, i64 2
  store i8 %.sroa.9.1, ptr %.sroa.9.0..sroa_idx, align 1, !tbaa !34
  br label %350

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

333:                                              ; preds = %259, %255
  %334 = load ptr, ptr %249, align 8, !tbaa !39
  %335 = getelementptr inbounds %struct.png_color_struct, ptr %160, i64 %indvars.iv
  %336 = load i8, ptr %335, align 1, !tbaa !42
  %337 = zext i8 %336 to i64
  %338 = getelementptr inbounds i8, ptr %334, i64 %337
  %339 = load i8, ptr %338, align 1, !tbaa !34
  store i8 %339, ptr %335, align 1, !tbaa !42
  %340 = getelementptr inbounds i8, ptr %335, i64 1
  %341 = load i8, ptr %340, align 1, !tbaa !45
  %342 = zext i8 %341 to i64
  %343 = getelementptr inbounds i8, ptr %334, i64 %342
  %344 = load i8, ptr %343, align 1, !tbaa !34
  store i8 %344, ptr %340, align 1, !tbaa !45
  %345 = getelementptr inbounds i8, ptr %335, i64 2
  %346 = load i8, ptr %345, align 1, !tbaa !46
  %347 = zext i8 %346 to i64
  %348 = getelementptr inbounds i8, ptr %334, i64 %347
  %349 = load i8, ptr %348, align 1, !tbaa !34
  store i8 %349, ptr %345, align 1, !tbaa !46
  br label %350

350:                                              ; preds = %333, %265, %263
  %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 %255, !llvm.loop !47

._crit_edge:                                      ; preds = %350, %246
  %351 = load i32, ptr %31, align 4, !tbaa !22
  %352 = and i32 %351, -8321
  store i32 %352, ptr %31, align 4, !tbaa !22
  br label %573

353:                                              ; preds = %157
  %354 = getelementptr inbounds i8, ptr %0, i64 522
  %355 = load i8, ptr %354, align 2, !tbaa !35
  switch i8 %355, label %371 [
    i8 1, label %356
    i8 2, label %358
    i8 3, label %364
  ]

356:                                              ; preds = %353
  %357 = load i32, ptr %40, align 8, !tbaa !20
  br label %372

358:                                              ; preds = %353
  %359 = load i32, ptr %2, align 8, !tbaa !5
  %360 = tail call i32 @png_reciprocal(i32 noundef %359) #4
  %361 = load i32, ptr %2, align 8, !tbaa !5
  %362 = load i32, ptr %40, align 8, !tbaa !20
  %363 = tail call i32 @png_reciprocal2(i32 noundef %361, i32 noundef %362) #4
  br label %372

364:                                              ; preds = %353
  %365 = getelementptr inbounds i8, ptr %0, i64 524
  %366 = load i32, ptr %365, align 4, !tbaa !36
  %367 = tail call i32 @png_reciprocal(i32 noundef %366) #4
  %368 = load i32, ptr %365, align 4, !tbaa !36
  %369 = load i32, ptr %40, align 8, !tbaa !20
  %370 = tail call i32 @png_reciprocal2(i32 noundef %368, i32 noundef %369) #4
  br label %372

371:                                              ; preds = %353
  tail call void @png_error(ptr noundef nonnull %0, ptr noundef nonnull @.str.10) #5
  unreachable

372:                                              ; preds = %364, %358, %356
  %.0384 = phi i32 [ %370, %364 ], [ %363, %358 ], [ 100000, %356 ]
  %.0383 = phi i32 [ %367, %364 ], [ %360, %358 ], [ %357, %356 ]
  %373 = tail call i32 @png_gamma_significant(i32 noundef %.0383) #4
  %374 = tail call i32 @png_gamma_significant(i32 noundef %.0384) #4
  %.not425 = icmp eq i32 %373, 0
  br i1 %.not425, label %381, label %375

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

381:                                              ; preds = %375, %372
  %.not426 = icmp eq i32 %374, 0
  br i1 %.not426, label %387, label %382

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

387:                                              ; preds = %382, %381
  %388 = getelementptr inbounds i8, ptr %0, i64 530
  %389 = load i16, ptr %388, align 2, !tbaa !27
  %390 = getelementptr inbounds i8, ptr %0, i64 532
  %391 = load i16, ptr %390, align 4, !tbaa !28
  %.not427 = icmp eq i16 %389, %391
  br i1 %.not427, label %392, label %398

392:                                              ; preds = %387
  %393 = getelementptr inbounds i8, ptr %0, i64 534
  %394 = load i16, ptr %393, align 2, !tbaa !29
  %.not428 = icmp eq i16 %389, %394
  br i1 %.not428, label %395, label %398

395:                                              ; preds = %392
  %396 = getelementptr inbounds i8, ptr %0, i64 536
  %397 = load i16, ptr %396, align 8, !tbaa !30
  %.not429 = icmp eq i16 %389, %397
  br i1 %.not429, label %424, label %398

398:                                              ; preds = %395, %392, %387
  br i1 %.not425, label %412, label %399

399:                                              ; preds = %398
  %400 = zext i16 %389 to i32
  %401 = tail call zeroext i16 @png_gamma_correct(ptr noundef nonnull %0, i32 noundef %400, i32 noundef %.0383) #4
  %402 = getelementptr inbounds i8, ptr %0, i64 540
  store i16 %401, ptr %402, align 2, !tbaa !50
  %403 = load i16, ptr %390, align 4, !tbaa !28
  %404 = zext i16 %403 to i32
  %405 = tail call zeroext i16 @png_gamma_correct(ptr noundef nonnull %0, i32 noundef %404, i32 noundef %.0383) #4
  %406 = getelementptr inbounds i8, ptr %0, i64 542
  store i16 %405, ptr %406, align 2, !tbaa !51
  %407 = getelementptr inbounds i8, ptr %0, i64 534
  %408 = load i16, ptr %407, align 2, !tbaa !29
  %409 = zext i16 %408 to i32
  %410 = tail call zeroext i16 @png_gamma_correct(ptr noundef nonnull %0, i32 noundef %409, i32 noundef %.0383) #4
  %411 = getelementptr inbounds i8, ptr %0, i64 544
  store i16 %410, ptr %411, align 2, !tbaa !52
  br label %412

412:                                              ; preds = %399, %398
  br i1 %.not426, label %430, label %413

413:                                              ; preds = %412
  %414 = load i16, ptr %388, align 2, !tbaa !27
  %415 = zext i16 %414 to i32
  %416 = tail call zeroext i16 @png_gamma_correct(ptr noundef nonnull %0, i32 noundef %415, i32 noundef %.0384) #4
  store i16 %416, ptr %388, align 2, !tbaa !27
  %417 = load i16, ptr %390, align 4, !tbaa !28
  %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 %390, align 4, !tbaa !28
  %420 = getelementptr inbounds i8, ptr %0, i64 534
  %421 = load i16, ptr %420, align 2, !tbaa !29
  %422 = zext i16 %421 to i32
  %423 = tail call zeroext i16 @png_gamma_correct(ptr noundef nonnull %0, i32 noundef %422, i32 noundef %.0384) #4
  store i16 %423, ptr %420, align 2, !tbaa !29
  br label %430

424:                                              ; preds = %395
  %425 = getelementptr inbounds i8, ptr %0, i64 546
  %426 = load i16, ptr %425, align 2, !tbaa !49
  %427 = getelementptr inbounds i8, ptr %0, i64 544
  store i16 %426, ptr %427, align 2, !tbaa !52
  %428 = getelementptr inbounds i8, ptr %0, i64 542
  store i16 %426, ptr %428, align 2, !tbaa !51
  %429 = getelementptr inbounds i8, ptr %0, i64 540
  store i16 %426, ptr %429, align 2, !tbaa !50
  store i16 %389, ptr %393, align 2, !tbaa !29
  store i16 %389, ptr %390, align 4, !tbaa !28
  store i16 %389, ptr %388, align 2, !tbaa !27
  br label %430

430:                                              ; preds = %412, %413, %424
  store i8 1, ptr %354, align 2, !tbaa !35
  %.pre508 = load i32, ptr %31, align 4, !tbaa !22
  br label %573

431:                                              ; preds = %149
  br i1 %156, label %432, label %573

432:                                              ; preds = %431
  %433 = and i32 %153, 4096
  %434 = icmp eq i32 %433, 0
  %435 = and i32 %153, 6291456
  %436 = icmp eq i32 %435, 0
  %or.cond444 = or i1 %434, %436
  br i1 %or.cond444, label %437, label %573

437:                                              ; preds = %432
  %438 = getelementptr inbounds i8, ptr %0, i64 488
  %439 = load ptr, ptr %438, align 8, !tbaa !37
  %440 = getelementptr inbounds i8, ptr %0, i64 496
  %441 = load i16, ptr %440, align 8, !tbaa !38
  %.not474 = icmp eq i16 %441, 0
  br i1 %.not474, label %._crit_edge459, label %.lr.ph458

.lr.ph458:                                        ; preds = %437
  %442 = getelementptr inbounds i8, ptr %0, i64 560
  %443 = load ptr, ptr %442, align 8, !tbaa !39
  %wide.trip.count480 = zext i16 %441 to i64
  %xtraiter = and i64 %wide.trip.count480, 1
  %444 = icmp eq i16 %441, 1
  br i1 %444, 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 %445

445:                                              ; preds = %445, %.lr.ph458.new
  %indvars.iv477 = phi i64 [ 0, %.lr.ph458.new ], [ %indvars.iv.next478.1, %445 ]
  %niter = phi i64 [ 0, %.lr.ph458.new ], [ %niter.next.1, %445 ]
  %446 = getelementptr inbounds %struct.png_color_struct, ptr %439, i64 %indvars.iv477
  %447 = load i8, ptr %446, align 1, !tbaa !42
  %448 = zext i8 %447 to i64
  %449 = getelementptr inbounds i8, ptr %443, i64 %448
  %450 = load i8, ptr %449, align 1, !tbaa !34
  store i8 %450, ptr %446, align 1, !tbaa !42
  %451 = getelementptr inbounds i8, ptr %446, i64 1
  %452 = load i8, ptr %451, align 1, !tbaa !45
  %453 = zext i8 %452 to i64
  %454 = getelementptr inbounds i8, ptr %443, i64 %453
  %455 = load i8, ptr %454, align 1, !tbaa !34
  store i8 %455, ptr %451, align 1, !tbaa !45
  %456 = getelementptr inbounds i8, ptr %446, i64 2
  %457 = load i8, ptr %456, align 1, !tbaa !46
  %458 = zext i8 %457 to i64
  %459 = getelementptr inbounds i8, ptr %443, i64 %458
  %460 = load i8, ptr %459, align 1, !tbaa !34
  store i8 %460, ptr %456, align 1, !tbaa !46
  %indvars.iv.next478 = or disjoint i64 %indvars.iv477, 1
  %461 = getelementptr inbounds %struct.png_color_struct, ptr %439, i64 %indvars.iv.next478
  %462 = load i8, ptr %461, align 1, !tbaa !42
  %463 = zext i8 %462 to i64
  %464 = getelementptr inbounds i8, ptr %443, i64 %463
  %465 = load i8, ptr %464, align 1, !tbaa !34
  store i8 %465, ptr %461, align 1, !tbaa !42
  %466 = getelementptr inbounds i8, ptr %461, i64 1
  %467 = load i8, ptr %466, align 1, !tbaa !45
  %468 = zext i8 %467 to i64
  %469 = getelementptr inbounds i8, ptr %443, i64 %468
  %470 = load i8, ptr %469, align 1, !tbaa !34
  store i8 %470, ptr %466, align 1, !tbaa !45
  %471 = getelementptr inbounds i8, ptr %461, i64 2
  %472 = load i8, ptr %471, align 1, !tbaa !46
  %473 = zext i8 %472 to i64
  %474 = getelementptr inbounds i8, ptr %443, i64 %473
  %475 = load i8, ptr %474, align 1, !tbaa !34
  store i8 %475, ptr %471, 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 %445, !llvm.loop !53

._crit_edge459.loopexit.unr-lcssa:                ; preds = %445, %.lr.ph458
  %indvars.iv477.unr = phi i64 [ 0, %.lr.ph458 ], [ %indvars.iv.next478.1, %445 ]
  %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
  %476 = getelementptr inbounds %struct.png_color_struct, ptr %439, i64 %indvars.iv477.unr
  %477 = load i8, ptr %476, align 1, !tbaa !42
  %478 = zext i8 %477 to i64
  %479 = getelementptr inbounds i8, ptr %443, i64 %478
  %480 = load i8, ptr %479, align 1, !tbaa !34
  store i8 %480, ptr %476, align 1, !tbaa !42
  %481 = getelementptr inbounds i8, ptr %476, i64 1
  %482 = load i8, ptr %481, align 1, !tbaa !45
  %483 = zext i8 %482 to i64
  %484 = getelementptr inbounds i8, ptr %443, i64 %483
  %485 = load i8, ptr %484, align 1, !tbaa !34
  store i8 %485, ptr %481, align 1, !tbaa !45
  %486 = getelementptr inbounds i8, ptr %476, i64 2
  %487 = load i8, ptr %486, align 1, !tbaa !46
  %488 = zext i8 %487 to i64
  %489 = getelementptr inbounds i8, ptr %443, i64 %488
  %490 = load i8, ptr %489, align 1, !tbaa !34
  store i8 %490, ptr %486, align 1, !tbaa !46
  br label %._crit_edge459

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

492:                                              ; preds = %._crit_edge505, %143
  %493 = phi i32 [ %.pre506, %._crit_edge505 ], [ %144, %143 ]
  %494 = and i32 %493, 128
  %.not421 = icmp eq i32 %494, 0
  br i1 %.not421, label %573, label %495

495:                                              ; preds = %492
  %496 = load i8, ptr %83, align 1, !tbaa !25
  %497 = icmp eq i8 %496, 3
  br i1 %497, label %498, label %573

498:                                              ; preds = %495
  %499 = getelementptr inbounds i8, ptr %0, i64 504
  %500 = load i16, ptr %499, align 8, !tbaa !24
  %501 = getelementptr inbounds i8, ptr %0, i64 488
  %502 = load ptr, ptr %501, align 8, !tbaa !37
  %503 = getelementptr inbounds i8, ptr %0, i64 530
  %504 = load i16, ptr %503, align 2, !tbaa !27
  %505 = trunc i16 %504 to i8
  %506 = getelementptr inbounds i8, ptr %0, i64 532
  %507 = load i16, ptr %506, align 4, !tbaa !28
  %508 = trunc i16 %507 to i8
  %509 = getelementptr inbounds i8, ptr %0, i64 534
  %510 = load i16, ptr %509, align 2, !tbaa !29
  %511 = trunc i16 %510 to i8
  %.not475 = icmp eq i16 %500, 0
  br i1 %.not475, label %._crit_edge463, label %.lr.ph462

.lr.ph462:                                        ; preds = %498
  %512 = getelementptr inbounds i8, ptr %0, i64 624
  %513 = and i16 %504, 255
  %514 = and i16 %507, 255
  %515 = and i16 %510, 255
  %wide.trip.count485 = zext i16 %500 to i64
  br label %516

516:                                              ; preds = %.lr.ph462, %570
  %indvars.iv482 = phi i64 [ 0, %.lr.ph462 ], [ %indvars.iv.next483, %570 ]
  %517 = load ptr, ptr %512, align 8, !tbaa !41
  %518 = getelementptr inbounds i8, ptr %517, i64 %indvars.iv482
  %519 = load i8, ptr %518, align 1, !tbaa !34
  switch i8 %519, label %522 [
    i8 0, label %520
    i8 -1, label %570
  ]

520:                                              ; preds = %516
  %521 = getelementptr inbounds %struct.png_color_struct, ptr %502, i64 %indvars.iv482
  store i8 %505, ptr %521, align 1, !tbaa !34
  %.sroa.5.0..sroa_idx = getelementptr inbounds i8, ptr %521, i64 1
  store i8 %508, ptr %.sroa.5.0..sroa_idx, align 1, !tbaa !34
  %.sroa.7.0..sroa_idx = getelementptr inbounds i8, ptr %521, i64 2
  store i8 %511, ptr %.sroa.7.0..sroa_idx, align 1, !tbaa !34
  br label %570

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

570:                                              ; preds = %516, %520, %522
  %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 %516, !llvm.loop !54

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

._crit_edge463:                                   ; preds = %._crit_edge463.loopexit, %498
  %571 = phi i32 [ %.pre507, %._crit_edge463.loopexit ], [ %493, %498 ]
  %572 = and i32 %571, -129
  store i32 %572, ptr %31, align 4, !tbaa !22
  br label %573

573:                                              ; preds = %432, %492, %495, %._crit_edge463, %430, %._crit_edge, %._crit_edge459, %431
  %574 = phi i32 [ %153, %432 ], [ %493, %492 ], [ %493, %495 ], [ %572, %._crit_edge463 ], [ %.pre508, %430 ], [ %352, %._crit_edge ], [ %491, %._crit_edge459 ], [ %153, %431 ]
  %575 = and i32 %574, 4104
  %or.cond446 = icmp eq i32 %575, 8
  br i1 %or.cond446, label %576, label %.loopexit

576:                                              ; preds = %573
  %577 = load i8, ptr %83, align 1, !tbaa !25
  %578 = icmp eq i8 %577, 3
  br i1 %578, label %579, label %.loopexit

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

.lr.ph465:                                        ; preds = %579
  %589 = getelementptr inbounds i8, ptr %0, i64 488
  %590 = load ptr, ptr %589, align 8, !tbaa !37
  %wide.trip.count490 = zext i16 %581 to i64
  %xtraiter510 = and i64 %wide.trip.count490, 3
  %591 = icmp ult i16 %581, 4
  br i1 %591, 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 %592

592:                                              ; preds = %592, %.lr.ph465.new
  %indvars.iv487 = phi i64 [ 0, %.lr.ph465.new ], [ %indvars.iv.next488.3, %592 ]
  %niter513 = phi i64 [ 0, %.lr.ph465.new ], [ %niter513.next.3, %592 ]
  %593 = getelementptr inbounds %struct.png_color_struct, ptr %590, i64 %indvars.iv487
  %594 = load i8, ptr %593, align 1, !tbaa !42
  %595 = zext i8 %594 to i32
  %596 = lshr i32 %595, %585
  %597 = trunc nuw i32 %596 to i8
  store i8 %597, ptr %593, align 1, !tbaa !42
  %indvars.iv.next488 = or disjoint i64 %indvars.iv487, 1
  %598 = getelementptr inbounds %struct.png_color_struct, ptr %590, i64 %indvars.iv.next488
  %599 = load i8, ptr %598, align 1, !tbaa !42
  %600 = zext i8 %599 to i32
  %601 = lshr i32 %600, %585
  %602 = trunc nuw i32 %601 to i8
  store i8 %602, ptr %598, align 1, !tbaa !42
  %indvars.iv.next488.1 = or disjoint i64 %indvars.iv487, 2
  %603 = getelementptr inbounds %struct.png_color_struct, ptr %590, i64 %indvars.iv.next488.1
  %604 = load i8, ptr %603, align 1, !tbaa !42
  %605 = zext i8 %604 to i32
  %606 = lshr i32 %605, %585
  %607 = trunc nuw i32 %606 to i8
  store i8 %607, ptr %603, align 1, !tbaa !42
  %indvars.iv.next488.2 = or disjoint i64 %indvars.iv487, 3
  %608 = getelementptr inbounds %struct.png_color_struct, ptr %590, i64 %indvars.iv.next488.2
  %609 = load i8, ptr %608, align 1, !tbaa !42
  %610 = zext i8 %609 to i32
  %611 = lshr i32 %610, %585
  %612 = trunc nuw i32 %611 to i8
  store i8 %612, ptr %608, 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 %592, !llvm.loop !56

.loopexit454.loopexit.unr-lcssa:                  ; preds = %592, %.lr.ph465
  %indvars.iv487.unr = phi i64 [ 0, %.lr.ph465 ], [ %indvars.iv.next488.3, %592 ]
  %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 ]
  %613 = getelementptr inbounds %struct.png_color_struct, ptr %590, i64 %indvars.iv487.epil
  %614 = load i8, ptr %613, align 1, !tbaa !42
  %615 = zext i8 %614 to i32
  %616 = lshr i32 %615, %585
  %617 = trunc nuw i32 %616 to i8
  store i8 %617, ptr %613, 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, %579
  %618 = getelementptr inbounds i8, ptr %0, i64 609
  %619 = load i8, ptr %618, align 1, !tbaa !59
  %620 = zext i8 %619 to i32
  %621 = sub nsw i32 8, %620
  %622 = add i8 %619, -1
  %or.cond3 = icmp ult i8 %622, 7
  %or.cond471 = select i1 %or.cond3, i1 %588, i1 false
  br i1 %or.cond471, label %.lr.ph467, label %.loopexit452

.lr.ph467:                                        ; preds = %.loopexit454
  %623 = getelementptr inbounds i8, ptr %0, i64 488
  %624 = load ptr, ptr %623, align 8, !tbaa !37
  %wide.trip.count495 = zext i16 %581 to i64
  %xtraiter515 = and i64 %wide.trip.count495, 3
  %625 = icmp ult i16 %581, 4
  br i1 %625, 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 %626

626:                                              ; preds = %626, %.lr.ph467.new
  %indvars.iv492 = phi i64 [ 0, %.lr.ph467.new ], [ %indvars.iv.next493.3, %626 ]
  %niter519 = phi i64 [ 0, %.lr.ph467.new ], [ %niter519.next.3, %626 ]
  %627 = getelementptr inbounds %struct.png_color_struct, ptr %624, i64 %indvars.iv492, i32 1
  %628 = load i8, ptr %627, align 1, !tbaa !45
  %629 = zext i8 %628 to i32
  %630 = lshr i32 %629, %621
  %631 = trunc nuw i32 %630 to i8
  store i8 %631, ptr %627, align 1, !tbaa !45
  %indvars.iv.next493 = or disjoint i64 %indvars.iv492, 1
  %632 = getelementptr inbounds %struct.png_color_struct, ptr %624, i64 %indvars.iv.next493, i32 1
  %633 = load i8, ptr %632, align 1, !tbaa !45
  %634 = zext i8 %633 to i32
  %635 = lshr i32 %634, %621
  %636 = trunc nuw i32 %635 to i8
  store i8 %636, ptr %632, align 1, !tbaa !45
  %indvars.iv.next493.1 = or disjoint i64 %indvars.iv492, 2
  %637 = getelementptr inbounds %struct.png_color_struct, ptr %624, i64 %indvars.iv.next493.1, i32 1
  %638 = load i8, ptr %637, align 1, !tbaa !45
  %639 = zext i8 %638 to i32
  %640 = lshr i32 %639, %621
  %641 = trunc nuw i32 %640 to i8
  store i8 %641, ptr %637, align 1, !tbaa !45
  %indvars.iv.next493.2 = or disjoint i64 %indvars.iv492, 3
  %642 = getelementptr inbounds %struct.png_color_struct, ptr %624, i64 %indvars.iv.next493.2, i32 1
  %643 = load i8, ptr %642, align 1, !tbaa !45
  %644 = zext i8 %643 to i32
  %645 = lshr i32 %644, %621
  %646 = trunc nuw i32 %645 to i8
  store i8 %646, ptr %642, 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 %626, !llvm.loop !60

.loopexit452.loopexit.unr-lcssa:                  ; preds = %626, %.lr.ph467
  %indvars.iv492.unr = phi i64 [ 0, %.lr.ph467 ], [ %indvars.iv.next493.3, %626 ]
  %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 ]
  %647 = getelementptr inbounds %struct.png_color_struct, ptr %624, i64 %indvars.iv492.epil, i32 1
  %648 = load i8, ptr %647, align 1, !tbaa !45
  %649 = zext i8 %648 to i32
  %650 = lshr i32 %649, %621
  %651 = trunc nuw i32 %650 to i8
  store i8 %651, ptr %647, 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
  %652 = getelementptr inbounds i8, ptr %0, i64 610
  %653 = load i8, ptr %652, align 2, !tbaa !62
  %654 = zext i8 %653 to i32
  %655 = sub nsw i32 8, %654
  %656 = add i8 %653, -1
  %or.cond5 = icmp ult i8 %656, 7
  %or.cond472 = select i1 %or.cond5, i1 %588, i1 false
  br i1 %or.cond472, label %.lr.ph469, label %.loopexit

.lr.ph469:                                        ; preds = %.loopexit452
  %657 = getelementptr inbounds i8, ptr %0, i64 488
  %658 = load ptr, ptr %657, align 8, !tbaa !37
  %wide.trip.count500 = zext i16 %581 to i64
  %xtraiter521 = and i64 %wide.trip.count500, 3
  %659 = icmp ult i16 %581, 4
  br i1 %659, 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 %660

660:                                              ; preds = %660, %.lr.ph469.new
  %indvars.iv497 = phi i64 [ 0, %.lr.ph469.new ], [ %indvars.iv.next498.3, %660 ]
  %niter525 = phi i64 [ 0, %.lr.ph469.new ], [ %niter525.next.3, %660 ]
  %661 = getelementptr inbounds %struct.png_color_struct, ptr %658, i64 %indvars.iv497, i32 2
  %662 = load i8, ptr %661, align 1, !tbaa !46
  %663 = zext i8 %662 to i32
  %664 = lshr i32 %663, %655
  %665 = trunc nuw i32 %664 to i8
  store i8 %665, ptr %661, align 1, !tbaa !46
  %indvars.iv.next498 = or disjoint i64 %indvars.iv497, 1
  %666 = getelementptr inbounds %struct.png_color_struct, ptr %658, i64 %indvars.iv.next498, i32 2
  %667 = load i8, ptr %666, align 1, !tbaa !46
  %668 = zext i8 %667 to i32
  %669 = lshr i32 %668, %655
  %670 = trunc nuw i32 %669 to i8
  store i8 %670, ptr %666, align 1, !tbaa !46
  %indvars.iv.next498.1 = or disjoint i64 %indvars.iv497, 2
  %671 = getelementptr inbounds %struct.png_color_struct, ptr %658, i64 %indvars.iv.next498.1, i32 2
  %672 = load i8, ptr %671, align 1, !tbaa !46
  %673 = zext i8 %672 to i32
  %674 = lshr i32 %673, %655
  %675 = trunc nuw i32 %674 to i8
  store i8 %675, ptr %671, align 1, !tbaa !46
  %indvars.iv.next498.2 = or disjoint i64 %indvars.iv497, 3
  %676 = getelementptr inbounds %struct.png_color_struct, ptr %658, i64 %indvars.iv.next498.2, i32 2
  %677 = load i8, ptr %676, align 1, !tbaa !46
  %678 = zext i8 %677 to i32
  %679 = lshr i32 %678, %655
  %680 = trunc nuw i32 %679 to i8
  store i8 %680, ptr %676, 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 %660, !llvm.loop !63

.loopexit.loopexit.unr-lcssa:                     ; preds = %660, %.lr.ph469
  %indvars.iv497.unr = phi i64 [ 0, %.lr.ph469 ], [ %indvars.iv.next498.3, %660 ]
  %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 ]
  %681 = getelementptr inbounds %struct.png_color_struct, ptr %658, i64 %indvars.iv497.epil, i32 2
  %682 = load i8, ptr %681, align 1, !tbaa !46
  %683 = zext i8 %682 to i32
  %684 = lshr i32 %683, %655
  %685 = trunc nuw i32 %684 to i8
  store i8 %685, ptr %681, 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, %576, %573
  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 #2

declare void @png_colorspace_set_rgb_coefficients(ptr noundef) local_unnamed_addr #2

; 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 #2

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

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

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

attributes #0 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { "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 1056}
!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, !7, i64 280, !7, i64 281, !11, i64 284, !11, i64 288, !11, i64 292, !11, i64 296, !12, i64 304, !11, i64 416, !11, i64 420, !11, i64 424, !11, i64 428, !10, i64 432, !11, i64 440, !11, i64 444, !11, i64 448, !9, i64 456, !9, i64 464, !10, i64 472, !11, i64 480, !11, i64 484, !9, i64 488, !13, i64 496, !11, i64 500, !13, i64 504, !7, i64 506, !7, i64 507, !7, i64 508, !7, i64 509, !7, i64 510, !7, i64 511, !7, i64 512, !7, i64 513, !7, i64 514, !7, i64 515, !7, i64 516, !7, i64 517, !7, i64 518, !13, i64 520, !7, i64 522, !11, i64 524, !14, i64 528, !14, i64 538, !11, i64 548, !11, i64 552, !9, i64 560, !9, i64 568, !9, i64 576, !9, i64 584, !9, i64 592, !9, i64 600, !15, i64 608, !15, i64 613, !9, i64 624, !14, i64 632, !9, i64 648, !9, i64 656, !9, i64 664, !9, i64 672, !9, i64 680, !9, i64 688, !9, i64 696, !9, i64 704, !9, i64 712, !11, i64 720, !11, i64 724, !10, i64 728, !10, i64 736, !10, i64 744, !10, i64 752, !11, i64 760, !11, i64 764, !9, i64 768, !9, i64 776, !7, i64 784, !7, i64 785, !11, i64 816, !9, i64 824, !9, i64 832, !11, i64 840, !11, i64 844, !9, i64 848, !7, i64 856, !7, i64 857, !13, i64 858, !13, i64 860, !11, i64 864, !7, i64 868, !9, i64 872, !9, i64 880, !9, i64 888, !9, i64 896, !9, i64 904, !9, i64 912, !9, i64 920, !7, i64 928, !11, i64 932, !11, i64 936, !11, i64 940, !10, i64 944, !16, i64 952, !10, i64 984, !9, i64 992, !10, i64 1000, !11, i64 1008, !11, i64 1012, !9, i64 1016, !7, i64 1024, !17, i64 1056}
!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 552}
!21 = !{!6, !13, i64 1130}
!22 = !{!6, !11, i64 292}
!23 = !{!6, !11, i64 288}
!24 = !{!6, !13, i64 504}
!25 = !{!6, !7, i64 511}
!26 = !{!6, !11, i64 284}
!27 = !{!6, !13, i64 530}
!28 = !{!6, !13, i64 532}
!29 = !{!6, !13, i64 534}
!30 = !{!6, !13, i64 536}
!31 = !{!6, !7, i64 512}
!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 522}
!36 = !{!6, !11, i64 524}
!37 = !{!6, !9, i64 488}
!38 = !{!6, !13, i64 496}
!39 = !{!6, !9, i64 560}
!40 = !{!6, !9, i64 584}
!41 = !{!6, !9, i64 624}
!42 = !{!43, !7, i64 0}
!43 = !{!"png_color_struct", !7, i64 0, !7, i64 1, !7, i64 2}
!44 = !{!6, !9, i64 576}
!45 = !{!43, !7, i64 1}
!46 = !{!43, !7, i64 2}
!47 = distinct !{!47, !48}
!48 = !{!"llvm.loop.mustprogress"}
!49 = !{!6, !13, i64 546}
!50 = !{!6, !13, i64 540}
!51 = !{!6, !13, i64 542}
!52 = !{!6, !13, i64 544}
!53 = distinct !{!53, !48}
!54 = distinct !{!54, !48}
!55 = !{!6, !7, i64 608}
!56 = distinct !{!56, !48}
!57 = distinct !{!57, !58}
!58 = !{!"llvm.loop.unroll.disable"}
!59 = !{!6, !7, i64 609}
!60 = distinct !{!60, !48}
!61 = distinct !{!61, !58}
!62 = !{!6, !7, i64 610}
!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