; LLVM IR from EyalAr/lwip :: src/lib/png (pngrutil)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.png_struct_def = type { [1 x %struct.__jmp_buf_tag], ptr, ptr, 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 }

@png_read_start_row.png_pass_start = external hidden constant [7 x i8], align 1
@png_read_start_row.png_pass_inc = external hidden constant [7 x i8], align 1
@png_read_start_row.png_pass_ystart = external hidden constant [7 x i8], align 1
@png_read_start_row.png_pass_yinc = external hidden constant [7 x i8], align 1
@.str.45 = external hidden unnamed_addr constant [45 x i8], align 1

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

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

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

; Function Attrs: nounwind uwtable
declare hidden i32 @png_inflate_claim(ptr noalias noundef, i32 noundef) #2

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

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

; Function Attrs: nounwind uwtable
define dso_local void @png_read_start_row(ptr noalias noundef %0) #2 {
  %2 = alloca ptr, align 8
  %3 = alloca i32, align 4
  %4 = alloca i64, align 8
  %5 = alloca i32, align 4
  %6 = alloca ptr, align 8
  %7 = alloca i32, align 4
  %8 = alloca ptr, align 8
  store ptr %0, ptr %2, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #5
  %9 = load ptr, ptr %2, align 8, !tbaa !5
  call void @png_init_read_transformations(ptr noundef %9)
  %10 = load ptr, ptr %2, align 8, !tbaa !5
  %11 = getelementptr inbounds %struct.png_struct_def, ptr %10, i32 0, i32 37
  %12 = load i8, ptr %11, align 4, !tbaa !9
  %13 = zext i8 %12 to i32
  %14 = icmp ne i32 %13, 0
  br i1 %14, label %15, label %74

15:                                               ; preds = %1
  %16 = load ptr, ptr %2, align 8, !tbaa !5
  %17 = getelementptr inbounds %struct.png_struct_def, ptr %16, i32 0, i32 15
  %18 = load i32, ptr %17, align 4, !tbaa !21
  %19 = and i32 %18, 2
  %20 = icmp eq i32 %19, 0
  br i1 %20, label %21, label %37

21:                                               ; preds = %15
  %22 = load ptr, ptr %2, align 8, !tbaa !5
  %23 = getelementptr inbounds %struct.png_struct_def, ptr %22, i32 0, i32 19
  %24 = load i32, ptr %23, align 4, !tbaa !22
  %25 = load i8, ptr @png_read_start_row.png_pass_yinc, align 1, !tbaa !23
  %26 = zext i8 %25 to i32
  %27 = add i32 %24, %26
  %28 = sub i32 %27, 1
  %29 = load i8, ptr @png_read_start_row.png_pass_ystart, align 1, !tbaa !23
  %30 = zext i8 %29 to i32
  %31 = sub i32 %28, %30
  %32 = load i8, ptr @png_read_start_row.png_pass_yinc, align 1, !tbaa !23
  %33 = zext i8 %32 to i32
  %34 = udiv i32 %31, %33
  %35 = load ptr, ptr %2, align 8, !tbaa !5
  %36 = getelementptr inbounds %struct.png_struct_def, ptr %35, i32 0, i32 20
  store i32 %34, ptr %36, align 8, !tbaa !24
  br label %43

37:                                               ; preds = %15
  %38 = load ptr, ptr %2, align 8, !tbaa !5
  %39 = getelementptr inbounds %struct.png_struct_def, ptr %38, i32 0, i32 19
  %40 = load i32, ptr %39, align 4, !tbaa !22
  %41 = load ptr, ptr %2, align 8, !tbaa !5
  %42 = getelementptr inbounds %struct.png_struct_def, ptr %41, i32 0, i32 20
  store i32 %40, ptr %42, align 8, !tbaa !24
  br label %43

43:                                               ; preds = %37, %21
  %44 = load ptr, ptr %2, align 8, !tbaa !5
  %45 = getelementptr inbounds %struct.png_struct_def, ptr %44, i32 0, i32 18
  %46 = load i32, ptr %45, align 8, !tbaa !25
  %47 = load ptr, ptr %2, align 8, !tbaa !5
  %48 = getelementptr inbounds %struct.png_struct_def, ptr %47, i32 0, i32 38
  %49 = load i8, ptr %48, align 1, !tbaa !26
  %50 = zext i8 %49 to i64
  %51 = getelementptr inbounds [7 x i8], ptr @png_read_start_row.png_pass_inc, i64 0, i64 %50
  %52 = load i8, ptr %51, align 1, !tbaa !23
  %53 = zext i8 %52 to i32
  %54 = add i32 %46, %53
  %55 = sub i32 %54, 1
  %56 = load ptr, ptr %2, align 8, !tbaa !5
  %57 = getelementptr inbounds %struct.png_struct_def, ptr %56, i32 0, i32 38
  %58 = load i8, ptr %57, align 1, !tbaa !26
  %59 = zext i8 %58 to i64
  %60 = getelementptr inbounds [7 x i8], ptr @png_read_start_row.png_pass_start, i64 0, i64 %59
  %61 = load i8, ptr %60, align 1, !tbaa !23
  %62 = zext i8 %61 to i32
  %63 = sub i32 %55, %62
  %64 = load ptr, ptr %2, align 8, !tbaa !5
  %65 = getelementptr inbounds %struct.png_struct_def, ptr %64, i32 0, i32 38
  %66 = load i8, ptr %65, align 1, !tbaa !26
  %67 = zext i8 %66 to i64
  %68 = getelementptr inbounds [7 x i8], ptr @png_read_start_row.png_pass_inc, i64 0, i64 %67
  %69 = load i8, ptr %68, align 1, !tbaa !23
  %70 = zext i8 %69 to i32
  %71 = udiv i32 %63, %70
  %72 = load ptr, ptr %2, align 8, !tbaa !5
  %73 = getelementptr inbounds %struct.png_struct_def, ptr %72, i32 0, i32 23
  store i32 %71, ptr %73, align 8, !tbaa !27
  br label %85

74:                                               ; preds = %1
  %75 = load ptr, ptr %2, align 8, !tbaa !5
  %76 = getelementptr inbounds %struct.png_struct_def, ptr %75, i32 0, i32 19
  %77 = load i32, ptr %76, align 4, !tbaa !22
  %78 = load ptr, ptr %2, align 8, !tbaa !5
  %79 = getelementptr inbounds %struct.png_struct_def, ptr %78, i32 0, i32 20
  store i32 %77, ptr %79, align 8, !tbaa !24
  %80 = load ptr, ptr %2, align 8, !tbaa !5
  %81 = getelementptr inbounds %struct.png_struct_def, ptr %80, i32 0, i32 18
  %82 = load i32, ptr %81, align 8, !tbaa !25
  %83 = load ptr, ptr %2, align 8, !tbaa !5
  %84 = getelementptr inbounds %struct.png_struct_def, ptr %83, i32 0, i32 23
  store i32 %82, ptr %84, align 8, !tbaa !27
  br label %85

85:                                               ; preds = %74, %43
  %86 = load ptr, ptr %2, align 8, !tbaa !5
  %87 = getelementptr inbounds %struct.png_struct_def, ptr %86, i32 0, i32 43
  %88 = load i8, ptr %87, align 2, !tbaa !28
  %89 = zext i8 %88 to i32
  store i32 %89, ptr %3, align 4, !tbaa !29
  %90 = load ptr, ptr %2, align 8, !tbaa !5
  %91 = getelementptr inbounds %struct.png_struct_def, ptr %90, i32 0, i32 15
  %92 = load i32, ptr %91, align 4, !tbaa !21
  %93 = and i32 %92, 4
  %94 = icmp ne i32 %93, 0
  br i1 %94, label %95, label %102

95:                                               ; preds = %85
  %96 = load ptr, ptr %2, align 8, !tbaa !5
  %97 = getelementptr inbounds %struct.png_struct_def, ptr %96, i32 0, i32 41
  %98 = load i8, ptr %97, align 8, !tbaa !30
  %99 = zext i8 %98 to i32
  %100 = icmp slt i32 %99, 8
  br i1 %100, label %101, label %102

101:                                              ; preds = %95
  store i32 8, ptr %3, align 4, !tbaa !29
  br label %102

102:                                              ; preds = %101, %95, %85
  %103 = load ptr, ptr %2, align 8, !tbaa !5
  %104 = getelementptr inbounds %struct.png_struct_def, ptr %103, i32 0, i32 15
  %105 = load i32, ptr %104, align 4, !tbaa !21
  %106 = and i32 %105, 4096
  %107 = icmp ne i32 %106, 0
  br i1 %107, label %108, label %164

108:                                              ; preds = %102
  %109 = load ptr, ptr %2, align 8, !tbaa !5
  %110 = getelementptr inbounds %struct.png_struct_def, ptr %109, i32 0, i32 40
  %111 = load i8, ptr %110, align 1, !tbaa !31
  %112 = zext i8 %111 to i32
  %113 = icmp eq i32 %112, 3
  br i1 %113, label %114, label %123

114:                                              ; preds = %108
  %115 = load ptr, ptr %2, align 8, !tbaa !5
  %116 = getelementptr inbounds %struct.png_struct_def, ptr %115, i32 0, i32 34
  %117 = load i16, ptr %116, align 8, !tbaa !32
  %118 = zext i16 %117 to i32
  %119 = icmp ne i32 %118, 0
  br i1 %119, label %120, label %121

120:                                              ; preds = %114
  store i32 32, ptr %3, align 4, !tbaa !29
  br label %122

121:                                              ; preds = %114
  store i32 24, ptr %3, align 4, !tbaa !29
  br label %122

122:                                              ; preds = %121, %120
  br label %163

123:                                              ; preds = %108
  %124 = load ptr, ptr %2, align 8, !tbaa !5
  %125 = getelementptr inbounds %struct.png_struct_def, ptr %124, i32 0, i32 40
  %126 = load i8, ptr %125, align 1, !tbaa !31
  %127 = zext i8 %126 to i32
  %128 = icmp eq i32 %127, 0
  br i1 %128, label %129, label %143

129:                                              ; preds = %123
  %130 = load i32, ptr %3, align 4, !tbaa !29
  %131 = icmp slt i32 %130, 8
  br i1 %131, label %132, label %133

132:                                              ; preds = %129
  store i32 8, ptr %3, align 4, !tbaa !29
  br label %133

133:                                              ; preds = %132, %129
  %134 = load ptr, ptr %2, align 8, !tbaa !5
  %135 = getelementptr inbounds %struct.png_struct_def, ptr %134, i32 0, i32 34
  %136 = load i16, ptr %135, align 8, !tbaa !32
  %137 = zext i16 %136 to i32
  %138 = icmp ne i32 %137, 0
  br i1 %138, label %139, label %142

139:                                              ; preds = %133
  %140 = load i32, ptr %3, align 4, !tbaa !29
  %141 = mul nsw i32 %140, 2
  store i32 %141, ptr %3, align 4, !tbaa !29
  br label %142

142:                                              ; preds = %139, %133
  br label %162

143:                                              ; preds = %123
  %144 = load ptr, ptr %2, align 8, !tbaa !5
  %145 = getelementptr inbounds %struct.png_struct_def, ptr %144, i32 0, i32 40
  %146 = load i8, ptr %145, align 1, !tbaa !31
  %147 = zext i8 %146 to i32
  %148 = icmp eq i32 %147, 2
  br i1 %148, label %149, label %161

149:                                              ; preds = %143
  %150 = load ptr, ptr %2, align 8, !tbaa !5
  %151 = getelementptr inbounds %struct.png_struct_def, ptr %150, i32 0, i32 34
  %152 = load i16, ptr %151, align 8, !tbaa !32
  %153 = zext i16 %152 to i32
  %154 = icmp ne i32 %153, 0
  br i1 %154, label %155, label %160

155:                                              ; preds = %149
  %156 = load i32, ptr %3, align 4, !tbaa !29
  %157 = mul nsw i32 %156, 4
  store i32 %157, ptr %3, align 4, !tbaa !29
  %158 = load i32, ptr %3, align 4, !tbaa !29
  %159 = sdiv i32 %158, 3
  store i32 %159, ptr %3, align 4, !tbaa !29
  br label %160

160:                                              ; preds = %155, %149
  br label %161

161:                                              ; preds = %160, %143
  br label %162

162:                                              ; preds = %161, %142
  br label %163

163:                                              ; preds = %162, %122
  br label %164

164:                                              ; preds = %163, %102
  %165 = load ptr, ptr %2, align 8, !tbaa !5
  %166 = getelementptr inbounds %struct.png_struct_def, ptr %165, i32 0, i32 15
  %167 = load i32, ptr %166, align 4, !tbaa !21
  %168 = and i32 %167, 512
  %169 = icmp ne i32 %168, 0
  br i1 %169, label %170, label %192

170:                                              ; preds = %164
  %171 = load ptr, ptr %2, align 8, !tbaa !5
  %172 = getelementptr inbounds %struct.png_struct_def, ptr %171, i32 0, i32 15
  %173 = load i32, ptr %172, align 4, !tbaa !21
  %174 = and i32 %173, 4096
  %175 = icmp ne i32 %174, 0
  br i1 %175, label %176, label %186

176:                                              ; preds = %170
  %177 = load ptr, ptr %2, align 8, !tbaa !5
  %178 = getelementptr inbounds %struct.png_struct_def, ptr %177, i32 0, i32 41
  %179 = load i8, ptr %178, align 8, !tbaa !30
  %180 = zext i8 %179 to i32
  %181 = icmp slt i32 %180, 16
  br i1 %181, label %182, label %185

182:                                              ; preds = %176
  %183 = load i32, ptr %3, align 4, !tbaa !29
  %184 = mul nsw i32 %183, 2
  store i32 %184, ptr %3, align 4, !tbaa !29
  br label %185

185:                                              ; preds = %182, %176
  br label %191

186:                                              ; preds = %170
  %187 = load ptr, ptr %2, align 8, !tbaa !5
  %188 = getelementptr inbounds %struct.png_struct_def, ptr %187, i32 0, i32 15
  %189 = load i32, ptr %188, align 4, !tbaa !21
  %190 = and i32 %189, -513
  store i32 %190, ptr %188, align 4, !tbaa !21
  br label %191

191:                                              ; preds = %186, %185
  br label %192

192:                                              ; preds = %191, %164
  %193 = load ptr, ptr %2, align 8, !tbaa !5
  %194 = getelementptr inbounds %struct.png_struct_def, ptr %193, i32 0, i32 15
  %195 = load i32, ptr %194, align 4, !tbaa !21
  %196 = and i32 %195, 32768
  %197 = icmp ne i32 %196, 0
  br i1 %197, label %198, label %230

198:                                              ; preds = %192
  %199 = load ptr, ptr %2, align 8, !tbaa !5
  %200 = getelementptr inbounds %struct.png_struct_def, ptr %199, i32 0, i32 40
  %201 = load i8, ptr %200, align 1, !tbaa !31
  %202 = zext i8 %201 to i32
  %203 = icmp eq i32 %202, 0
  br i1 %203, label %204, label %210

204:                                              ; preds = %198
  %205 = load i32, ptr %3, align 4, !tbaa !29
  %206 = icmp sle i32 %205, 8
  br i1 %206, label %207, label %208

207:                                              ; preds = %204
  store i32 16, ptr %3, align 4, !tbaa !29
  br label %209

208:                                              ; preds = %204
  store i32 32, ptr %3, align 4, !tbaa !29
  br label %209

209:                                              ; preds = %208, %207
  br label %229

210:                                              ; preds = %198
  %211 = load ptr, ptr %2, align 8, !tbaa !5
  %212 = getelementptr inbounds %struct.png_struct_def, ptr %211, i32 0, i32 40
  %213 = load i8, ptr %212, align 1, !tbaa !31
  %214 = zext i8 %213 to i32
  %215 = icmp eq i32 %214, 2
  br i1 %215, label %222, label %216

216:                                              ; preds = %210
  %217 = load ptr, ptr %2, align 8, !tbaa !5
  %218 = getelementptr inbounds %struct.png_struct_def, ptr %217, i32 0, i32 40
  %219 = load i8, ptr %218, align 1, !tbaa !31
  %220 = zext i8 %219 to i32
  %221 = icmp eq i32 %220, 3
  br i1 %221, label %222, label %228

222:                                              ; preds = %216, %210
  %223 = load i32, ptr %3, align 4, !tbaa !29
  %224 = icmp sle i32 %223, 32
  br i1 %224, label %225, label %226

225:                                              ; preds = %222
  store i32 32, ptr %3, align 4, !tbaa !29
  br label %227

226:                                              ; preds = %222
  store i32 64, ptr %3, align 4, !tbaa !29
  br label %227

227:                                              ; preds = %226, %225
  br label %228

228:                                              ; preds = %227, %216
  br label %229

229:                                              ; preds = %228, %209
  br label %230

230:                                              ; preds = %229, %192
  %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 !21
  %234 = and i32 %233, 16384
  %235 = icmp ne i32 %234, 0
  br i1 %235, label %236, label %289

236:                                              ; preds = %230
  %237 = load ptr, ptr %2, align 8, !tbaa !5
  %238 = getelementptr inbounds %struct.png_struct_def, ptr %237, i32 0, i32 34
  %239 = load i16, ptr %238, align 8, !tbaa !32
  %240 = zext i16 %239 to i32
  %241 = icmp ne i32 %240, 0
  br i1 %241, label %242, label %248

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 !21
  %246 = and i32 %245, 4096
  %247 = icmp ne i32 %246, 0
  br i1 %247, label %260, label %248

248:                                              ; preds = %242, %236
  %249 = load ptr, ptr %2, align 8, !tbaa !5
  %250 = getelementptr inbounds %struct.png_struct_def, ptr %249, i32 0, i32 15
  %251 = load i32, ptr %250, align 4, !tbaa !21
  %252 = and i32 %251, 32768
  %253 = icmp ne i32 %252, 0
  br i1 %253, label %260, label %254

254:                                              ; preds = %248
  %255 = load ptr, ptr %2, align 8, !tbaa !5
  %256 = getelementptr inbounds %struct.png_struct_def, ptr %255, i32 0, i32 40
  %257 = load i8, ptr %256, align 1, !tbaa !31
  %258 = zext i8 %257 to i32
  %259 = icmp eq i32 %258, 4
  br i1 %259, label %260, label %266

260:                                              ; preds = %254, %248, %242
  %261 = load i32, ptr %3, align 4, !tbaa !29
  %262 = icmp sle i32 %261, 16
  br i1 %262, label %263, label %264

263:                                              ; preds = %260
  store i32 32, ptr %3, align 4, !tbaa !29
  br label %265

264:                                              ; preds = %260
  store i32 64, ptr %3, align 4, !tbaa !29
  br label %265

265:                                              ; preds = %264, %263
  br label %288

266:                                              ; preds = %254
  %267 = load i32, ptr %3, align 4, !tbaa !29
  %268 = icmp sle i32 %267, 8
  br i1 %268, label %269, label %278

269:                                              ; preds = %266
  %270 = load ptr, ptr %2, align 8, !tbaa !5
  %271 = getelementptr inbounds %struct.png_struct_def, ptr %270, i32 0, i32 40
  %272 = load i8, ptr %271, align 1, !tbaa !31
  %273 = zext i8 %272 to i32
  %274 = icmp eq i32 %273, 6
  br i1 %274, label %275, label %276

275:                                              ; preds = %269
  store i32 32, ptr %3, align 4, !tbaa !29
  br label %277

276:                                              ; preds = %269
  store i32 24, ptr %3, align 4, !tbaa !29
  br label %277

277:                                              ; preds = %276, %275
  br label %287

278:                                              ; preds = %266
  %279 = load ptr, ptr %2, align 8, !tbaa !5
  %280 = getelementptr inbounds %struct.png_struct_def, ptr %279, i32 0, i32 40
  %281 = load i8, ptr %280, align 1, !tbaa !31
  %282 = zext i8 %281 to i32
  %283 = icmp eq i32 %282, 6
  br i1 %283, label %284, label %285

284:                                              ; preds = %278
  store i32 64, ptr %3, align 4, !tbaa !29
  br label %286

285:                                              ; preds = %278
  store i32 48, ptr %3, align 4, !tbaa !29
  br label %286

286:                                              ; preds = %285, %284
  br label %287

287:                                              ; preds = %286, %277
  br label %288

288:                                              ; preds = %287, %265
  br label %289

289:                                              ; preds = %288, %230
  %290 = load ptr, ptr %2, align 8, !tbaa !5
  %291 = getelementptr inbounds %struct.png_struct_def, ptr %290, i32 0, i32 15
  %292 = load i32, ptr %291, align 4, !tbaa !21
  %293 = and i32 %292, 1048576
  %294 = icmp ne i32 %293, 0
  br i1 %294, label %295, label %311

295:                                              ; preds = %289
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #5
  %296 = load ptr, ptr %2, align 8, !tbaa !5
  %297 = getelementptr inbounds %struct.png_struct_def, ptr %296, i32 0, i32 11
  %298 = load i8, ptr %297, align 8, !tbaa !33
  %299 = zext i8 %298 to i32
  %300 = load ptr, ptr %2, align 8, !tbaa !5
  %301 = getelementptr inbounds %struct.png_struct_def, ptr %300, i32 0, i32 12
  %302 = load i8, ptr %301, align 1, !tbaa !34
  %303 = zext i8 %302 to i32
  %304 = mul nsw i32 %299, %303
  store i32 %304, ptr %5, align 4, !tbaa !29
  %305 = load i32, ptr %5, align 4, !tbaa !29
  %306 = load i32, ptr %3, align 4, !tbaa !29
  %307 = icmp sgt i32 %305, %306
  br i1 %307, label %308, label %310

308:                                              ; preds = %295
  %309 = load i32, ptr %5, align 4, !tbaa !29
  store i32 %309, ptr %3, align 4, !tbaa !29
  br label %310

310:                                              ; preds = %308, %295
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #5
  br label %311

311:                                              ; preds = %310, %289
  %312 = load i32, ptr %3, align 4, !tbaa !29
  %313 = trunc i32 %312 to i8
  %314 = load ptr, ptr %2, align 8, !tbaa !5
  %315 = getelementptr inbounds %struct.png_struct_def, ptr %314, i32 0, i32 46
  store i8 %313, ptr %315, align 1, !tbaa !35
  %316 = load ptr, ptr %2, align 8, !tbaa !5
  %317 = getelementptr inbounds %struct.png_struct_def, ptr %316, i32 0, i32 47
  store i8 0, ptr %317, align 2, !tbaa !36
  %318 = load ptr, ptr %2, align 8, !tbaa !5
  %319 = getelementptr inbounds %struct.png_struct_def, ptr %318, i32 0, i32 18
  %320 = load i32, ptr %319, align 8, !tbaa !25
  %321 = add i32 %320, 7
  %322 = and i32 %321, -8
  %323 = zext i32 %322 to i64
  store i64 %323, ptr %4, align 8, !tbaa !37
  %324 = load i32, ptr %3, align 4, !tbaa !29
  %325 = icmp sge i32 %324, 8
  br i1 %325, label %326, label %332

326:                                              ; preds = %311
  %327 = load i64, ptr %4, align 8, !tbaa !37
  %328 = load i32, ptr %3, align 4, !tbaa !29
  %329 = sext i32 %328 to i64
  %330 = lshr i64 %329, 3
  %331 = mul i64 %327, %330
  br label %339

332:                                              ; preds = %311
  %333 = load i64, ptr %4, align 8, !tbaa !37
  %334 = load i32, ptr %3, align 4, !tbaa !29
  %335 = sext i32 %334 to i64
  %336 = mul i64 %333, %335
  %337 = add i64 %336, 7
  %338 = lshr i64 %337, 3
  br label %339

339:                                              ; preds = %332, %326
  %340 = phi i64 [ %331, %326 ], [ %338, %332 ]
  %341 = add i64 %340, 1
  %342 = load i32, ptr %3, align 4, !tbaa !29
  %343 = add nsw i32 %342, 7
  %344 = ashr i32 %343, 3
  %345 = sext i32 %344 to i64
  %346 = add i64 %341, %345
  store i64 %346, ptr %4, align 8, !tbaa !37
  %347 = load i64, ptr %4, align 8, !tbaa !37
  %348 = add i64 %347, 48
  %349 = load ptr, ptr %2, align 8, !tbaa !5
  %350 = getelementptr inbounds %struct.png_struct_def, ptr %349, i32 0, i32 111
  %351 = load i64, ptr %350, align 8, !tbaa !38
  %352 = icmp ugt i64 %348, %351
  br i1 %352, label %353, label %426

353:                                              ; preds = %339
  %354 = load ptr, ptr %2, align 8, !tbaa !5
  %355 = load ptr, ptr %2, align 8, !tbaa !5
  %356 = getelementptr inbounds %struct.png_struct_def, ptr %355, i32 0, i32 101
  %357 = load ptr, ptr %356, align 8, !tbaa !39
  call void @png_free(ptr noundef %354, ptr noundef %357)
  %358 = load ptr, ptr %2, align 8, !tbaa !5
  %359 = load ptr, ptr %2, align 8, !tbaa !5
  %360 = getelementptr inbounds %struct.png_struct_def, ptr %359, i32 0, i32 116
  %361 = load ptr, ptr %360, align 8, !tbaa !40
  call void @png_free(ptr noundef %358, ptr noundef %361)
  %362 = load ptr, ptr %2, align 8, !tbaa !5
  %363 = getelementptr inbounds %struct.png_struct_def, ptr %362, i32 0, i32 37
  %364 = load i8, ptr %363, align 4, !tbaa !9
  %365 = zext i8 %364 to i32
  %366 = icmp ne i32 %365, 0
  br i1 %366, label %367, label %374

367:                                              ; preds = %353
  %368 = load ptr, ptr %2, align 8, !tbaa !5
  %369 = load i64, ptr %4, align 8, !tbaa !37
  %370 = add i64 %369, 48
  %371 = call noalias ptr @png_calloc(ptr noundef %368, i64 noundef %370)
  %372 = load ptr, ptr %2, align 8, !tbaa !5
  %373 = getelementptr inbounds %struct.png_struct_def, ptr %372, i32 0, i32 101
  store ptr %371, ptr %373, align 8, !tbaa !39
  br label %381

374:                                              ; preds = %353
  %375 = load ptr, ptr %2, align 8, !tbaa !5
  %376 = load i64, ptr %4, align 8, !tbaa !37
  %377 = add i64 %376, 48
  %378 = call noalias ptr @png_malloc(ptr noundef %375, i64 noundef %377)
  %379 = load ptr, ptr %2, align 8, !tbaa !5
  %380 = getelementptr inbounds %struct.png_struct_def, ptr %379, i32 0, i32 101
  store ptr %378, ptr %380, align 8, !tbaa !39
  br label %381

381:                                              ; preds = %374, %367
  %382 = load ptr, ptr %2, align 8, !tbaa !5
  %383 = load i64, ptr %4, align 8, !tbaa !37
  %384 = add i64 %383, 48
  %385 = call noalias ptr @png_malloc(ptr noundef %382, i64 noundef %384)
  %386 = load ptr, ptr %2, align 8, !tbaa !5
  %387 = getelementptr inbounds %struct.png_struct_def, ptr %386, i32 0, i32 116
  store ptr %385, ptr %387, align 8, !tbaa !40
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #5
  %388 = load ptr, ptr %2, align 8, !tbaa !5
  %389 = getelementptr inbounds %struct.png_struct_def, ptr %388, i32 0, i32 101
  %390 = load ptr, ptr %389, align 8, !tbaa !39
  %391 = getelementptr inbounds i8, ptr %390, i64 32
  store ptr %391, ptr %6, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #5
  %392 = load ptr, ptr %6, align 8, !tbaa !5
  %393 = ptrtoint ptr %392 to i64
  %394 = sub i64 %393, 0
  %395 = and i64 %394, 15
  %396 = trunc i64 %395 to i32
  store i32 %396, ptr %7, align 4, !tbaa !29
  %397 = load ptr, ptr %6, align 8, !tbaa !5
  %398 = load i32, ptr %7, align 4, !tbaa !29
  %399 = sext i32 %398 to i64
  %400 = sub i64 0, %399
  %401 = getelementptr inbounds i8, ptr %397, i64 %400
  %402 = getelementptr inbounds i8, ptr %401, i64 -1
  %403 = load ptr, ptr %2, align 8, !tbaa !5
  %404 = getelementptr inbounds %struct.png_struct_def, ptr %403, i32 0, i32 27
  store ptr %402, ptr %404, align 8, !tbaa !41
  %405 = load ptr, ptr %2, align 8, !tbaa !5
  %406 = getelementptr inbounds %struct.png_struct_def, ptr %405, i32 0, i32 116
  %407 = load ptr, ptr %406, align 8, !tbaa !40
  %408 = getelementptr inbounds i8, ptr %407, i64 32
  store ptr %408, ptr %6, align 8, !tbaa !5
  %409 = load ptr, ptr %6, align 8, !tbaa !5
  %410 = ptrtoint ptr %409 to i64
  %411 = sub i64 %410, 0
  %412 = and i64 %411, 15
  %413 = trunc i64 %412 to i32
  store i32 %413, ptr %7, align 4, !tbaa !29
  %414 = load ptr, ptr %6, align 8, !tbaa !5
  %415 = load i32, ptr %7, align 4, !tbaa !29
  %416 = sext i32 %415 to i64
  %417 = sub i64 0, %416
  %418 = getelementptr inbounds i8, ptr %414, i64 %417
  %419 = getelementptr inbounds i8, ptr %418, i64 -1
  %420 = load ptr, ptr %2, align 8, !tbaa !5
  %421 = getelementptr inbounds %struct.png_struct_def, ptr %420, i32 0, i32 26
  store ptr %419, ptr %421, align 8, !tbaa !42
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #5
  %422 = load i64, ptr %4, align 8, !tbaa !37
  %423 = add i64 %422, 48
  %424 = load ptr, ptr %2, align 8, !tbaa !5
  %425 = getelementptr inbounds %struct.png_struct_def, ptr %424, i32 0, i32 111
  store i64 %423, ptr %425, align 8, !tbaa !38
  br label %426

426:                                              ; preds = %381, %339
  %427 = load ptr, ptr %2, align 8, !tbaa !5
  %428 = getelementptr inbounds %struct.png_struct_def, ptr %427, i32 0, i32 22
  %429 = load i64, ptr %428, align 8, !tbaa !43
  %430 = icmp ugt i64 %429, -2
  br i1 %430, label %431, label %433

431:                                              ; preds = %426
  %432 = load ptr, ptr %2, align 8, !tbaa !5
  call void @png_error(ptr noundef %432, ptr noundef @.str.45) #6
  unreachable

433:                                              ; preds = %426
  %434 = load ptr, ptr %2, align 8, !tbaa !5
  %435 = getelementptr inbounds %struct.png_struct_def, ptr %434, i32 0, i32 26
  %436 = load ptr, ptr %435, align 8, !tbaa !42
  %437 = load ptr, ptr %2, align 8, !tbaa !5
  %438 = getelementptr inbounds %struct.png_struct_def, ptr %437, i32 0, i32 22
  %439 = load i64, ptr %438, align 8, !tbaa !43
  %440 = add i64 %439, 1
  call void @llvm.memset.p0.i64(ptr align 1 %436, i8 0, i64 %440, i1 false)
  %441 = load ptr, ptr %2, align 8, !tbaa !5
  %442 = getelementptr inbounds %struct.png_struct_def, ptr %441, i32 0, i32 112
  %443 = load ptr, ptr %442, align 8, !tbaa !44
  %444 = icmp ne ptr %443, null
  br i1 %444, label %445, label %455

445:                                              ; preds = %433
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #5
  %446 = load ptr, ptr %2, align 8, !tbaa !5
  %447 = getelementptr inbounds %struct.png_struct_def, ptr %446, i32 0, i32 112
  %448 = load ptr, ptr %447, align 8, !tbaa !44
  store ptr %448, ptr %8, align 8, !tbaa !5
  %449 = load ptr, ptr %2, align 8, !tbaa !5
  %450 = getelementptr inbounds %struct.png_struct_def, ptr %449, i32 0, i32 113
  store i64 0, ptr %450, align 8, !tbaa !45
  %451 = load ptr, ptr %2, align 8, !tbaa !5
  %452 = getelementptr inbounds %struct.png_struct_def, ptr %451, i32 0, i32 112
  store ptr null, ptr %452, align 8, !tbaa !44
  %453 = load ptr, ptr %2, align 8, !tbaa !5
  %454 = load ptr, ptr %8, align 8, !tbaa !5
  call void @png_free(ptr noundef %453, ptr noundef %454)
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #5
  br label %455

455:                                              ; preds = %445, %433
  %456 = load ptr, ptr %2, align 8, !tbaa !5
  %457 = call i32 @png_inflate_claim(ptr noundef %456, i32 noundef 1229209940)
  %458 = icmp ne i32 %457, 0
  br i1 %458, label %459, label %465

459:                                              ; preds = %455
  %460 = load ptr, ptr %2, align 8, !tbaa !5
  %461 = load ptr, ptr %2, align 8, !tbaa !5
  %462 = getelementptr inbounds %struct.png_struct_def, ptr %461, i32 0, i32 17
  %463 = getelementptr inbounds %struct.z_stream_s, ptr %462, i32 0, i32 6
  %464 = load ptr, ptr %463, align 8, !tbaa !46
  call void @png_error(ptr noundef %460, ptr noundef %464) #6
  unreachable

465:                                              ; preds = %455
  %466 = load ptr, ptr %2, align 8, !tbaa !5
  %467 = getelementptr inbounds %struct.png_struct_def, ptr %466, i32 0, i32 14
  %468 = load i32, ptr %467, align 8, !tbaa !47
  %469 = or i32 %468, 64
  store i32 %469, ptr %467, align 8, !tbaa !47
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #5
  ret void
}

declare void @png_init_read_transformations(ptr noundef) #3

declare noalias ptr @png_calloc(ptr noundef, i64 noundef) #3

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

attributes #0 = { nocallback nofree nosync 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 = { 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 #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 = { nocallback nofree nounwind willreturn memory(argmem: write) }
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, !7, i64 508}
!10 = !{!"png_struct_def", !7, i64 0, !6, i64 200, !6, i64 208, !11, 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, !12, i64 284, !12, i64 288, !12, i64 292, !12, i64 296, !13, i64 304, !12, i64 416, !12, i64 420, !12, i64 424, !12, i64 428, !11, i64 432, !12, i64 440, !12, i64 444, !12, i64 448, !6, i64 456, !6, i64 464, !11, i64 472, !12, i64 480, !12, i64 484, !6, i64 488, !14, i64 496, !12, i64 500, !14, 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, !14, i64 520, !7, i64 522, !12, i64 524, !15, i64 528, !15, i64 538, !12, i64 548, !12, i64 552, !6, i64 560, !6, i64 568, !6, i64 576, !6, i64 584, !6, i64 592, !6, i64 600, !16, i64 608, !16, i64 613, !6, i64 624, !15, 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, !12, i64 720, !12, i64 724, !11, i64 728, !11, i64 736, !11, i64 744, !11, i64 752, !12, i64 760, !12, i64 764, !6, i64 768, !6, i64 776, !7, i64 784, !7, i64 785, !12, i64 816, !6, i64 824, !6, i64 832, !12, i64 840, !12, i64 844, !6, i64 848, !7, i64 856, !7, i64 857, !14, i64 858, !14, i64 860, !12, 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, !12, i64 932, !12, i64 936, !12, i64 940, !11, i64 944, !17, i64 952, !11, i64 984, !6, i64 992, !11, i64 1000, !12, i64 1008, !12, i64 1012, !6, i64 1016, !7, i64 1024, !18, i64 1056}
!11 = !{!"long", !7, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{!"z_stream_s", !6, i64 0, !12, i64 8, !11, i64 16, !6, i64 24, !12, i64 32, !11, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !12, i64 88, !11, i64 96, !11, i64 104}
!14 = !{!"short", !7, i64 0}
!15 = !{!"png_color_16_struct", !7, i64 0, !14, i64 2, !14, i64 4, !14, i64 6, !14, i64 8}
!16 = !{!"png_color_8_struct", !7, i64 0, !7, i64 1, !7, i64 2, !7, i64 3, !7, i64 4}
!17 = !{!"png_unknown_chunk_t", !7, i64 0, !6, i64 8, !11, i64 16, !7, i64 24}
!18 = !{!"png_colorspace", !12, i64 0, !19, i64 4, !20, i64 36, !14, i64 72, !14, i64 74}
!19 = !{!"png_xy", !12, i64 0, !12, i64 4, !12, i64 8, !12, i64 12, !12, i64 16, !12, i64 20, !12, i64 24, !12, i64 28}
!20 = !{!"png_XYZ", !12, i64 0, !12, i64 4, !12, i64 8, !12, i64 12, !12, i64 16, !12, i64 20, !12, i64 24, !12, i64 28, !12, i64 32}
!21 = !{!10, !12, i64 292}
!22 = !{!10, !12, i64 420}
!23 = !{!7, !7, i64 0}
!24 = !{!10, !12, i64 424}
!25 = !{!10, !12, i64 416}
!26 = !{!10, !7, i64 509}
!27 = !{!10, !12, i64 440}
!28 = !{!10, !7, i64 514}
!29 = !{!12, !12, i64 0}
!30 = !{!10, !7, i64 512}
!31 = !{!10, !7, i64 511}
!32 = !{!10, !14, i64 504}
!33 = !{!10, !7, i64 280}
!34 = !{!10, !7, i64 281}
!35 = !{!10, !7, i64 517}
!36 = !{!10, !7, i64 518}
!37 = !{!11, !11, i64 0}
!38 = !{!10, !11, i64 984}
!39 = !{!10, !6, i64 896}
!40 = !{!10, !6, i64 1016}
!41 = !{!10, !6, i64 464}
!42 = !{!10, !6, i64 456}
!43 = !{!10, !11, i64 432}
!44 = !{!10, !6, i64 992}
!45 = !{!10, !11, i64 1000}
!46 = !{!10, !6, i64 352}
!47 = !{!10, !12, i64 288}


; 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"

@png_read_start_row.png_pass_start = external hidden local_unnamed_addr constant [7 x i8], align 1
@png_read_start_row.png_pass_inc = external hidden local_unnamed_addr constant [7 x i8], align 1
@png_read_start_row.png_pass_ystart = external hidden local_unnamed_addr constant [7 x i8], align 1
@png_read_start_row.png_pass_yinc = external hidden local_unnamed_addr constant [7 x i8], align 1
@.str.45 = external hidden unnamed_addr constant [45 x i8], align 1

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

; Function Attrs: nounwind uwtable
declare hidden i32 @png_inflate_claim(ptr noalias noundef, i32 noundef) local_unnamed_addr #1

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

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

; Function Attrs: nounwind uwtable
define dso_local void @png_read_start_row(ptr noalias noundef %0) local_unnamed_addr #1 {
  tail call void @png_init_read_transformations(ptr noundef %0) #5
  %2 = getelementptr inbounds i8, ptr %0, i64 508
  %3 = load i8, ptr %2, align 4, !tbaa !5
  %.not = icmp eq i8 %3, 0
  br i1 %.not, label %38, label %4

4:                                                ; preds = %1
  %5 = getelementptr inbounds i8, ptr %0, i64 292
  %6 = load i32, ptr %5, align 4, !tbaa !20
  %7 = and i32 %6, 2
  %8 = icmp eq i32 %7, 0
  %9 = getelementptr inbounds i8, ptr %0, i64 420
  %10 = load i32, ptr %9, align 4, !tbaa !21
  br i1 %8, label %11, label %20

11:                                               ; preds = %4
  %12 = load i8, ptr @png_read_start_row.png_pass_yinc, align 1, !tbaa !22
  %13 = zext i8 %12 to i32
  %14 = add i32 %10, %13
  %15 = load i8, ptr @png_read_start_row.png_pass_ystart, align 1, !tbaa !22
  %16 = zext i8 %15 to i32
  %17 = xor i32 %16, -1
  %18 = add i32 %14, %17
  %19 = udiv i32 %18, %13
  br label %20

20:                                               ; preds = %4, %11
  %.sink = phi i32 [ %19, %11 ], [ %10, %4 ]
  %21 = getelementptr inbounds i8, ptr %0, i64 424
  store i32 %.sink, ptr %21, align 8
  %22 = getelementptr inbounds i8, ptr %0, i64 416
  %23 = load i32, ptr %22, align 8, !tbaa !23
  %24 = getelementptr inbounds i8, ptr %0, i64 509
  %25 = load i8, ptr %24, align 1, !tbaa !24
  %26 = zext i8 %25 to i64
  %27 = getelementptr inbounds [7 x i8], ptr @png_read_start_row.png_pass_inc, i64 0, i64 %26
  %28 = load i8, ptr %27, align 1, !tbaa !22
  %29 = zext i8 %28 to i32
  %30 = add i32 %23, %29
  %31 = getelementptr inbounds [7 x i8], ptr @png_read_start_row.png_pass_start, i64 0, i64 %26
  %32 = load i8, ptr %31, align 1, !tbaa !22
  %33 = zext i8 %32 to i32
  %34 = xor i32 %33, -1
  %35 = add i32 %30, %34
  %36 = udiv i32 %35, %29
  %37 = getelementptr inbounds i8, ptr %0, i64 440
  store i32 %36, ptr %37, align 8, !tbaa !25
  br label %45

38:                                               ; preds = %1
  %39 = getelementptr inbounds i8, ptr %0, i64 420
  %40 = load i32, ptr %39, align 4, !tbaa !21
  %41 = getelementptr inbounds i8, ptr %0, i64 424
  store i32 %40, ptr %41, align 8, !tbaa !26
  %42 = getelementptr inbounds i8, ptr %0, i64 416
  %43 = load i32, ptr %42, align 8, !tbaa !23
  %44 = getelementptr inbounds i8, ptr %0, i64 440
  store i32 %43, ptr %44, align 8, !tbaa !25
  %.phi.trans.insert = getelementptr inbounds i8, ptr %0, i64 292
  %.pre = load i32, ptr %.phi.trans.insert, align 4, !tbaa !20
  br label %45

45:                                               ; preds = %38, %20
  %46 = phi i32 [ %43, %38 ], [ %23, %20 ]
  %47 = phi i32 [ %.pre, %38 ], [ %6, %20 ]
  %48 = getelementptr inbounds i8, ptr %0, i64 514
  %49 = load i8, ptr %48, align 2, !tbaa !27
  %50 = getelementptr inbounds i8, ptr %0, i64 292
  %51 = and i32 %47, 4
  %.not114 = icmp eq i32 %51, 0
  br i1 %.not114, label %56, label %52

52:                                               ; preds = %45
  %53 = getelementptr inbounds i8, ptr %0, i64 512
  %54 = load i8, ptr %53, align 8, !tbaa !28
  %55 = icmp ult i8 %54, 8
  %spec.select = select i1 %55, i8 8, i8 %49
  br label %56

56:                                               ; preds = %52, %45
  %.0.shrunk = phi i8 [ %49, %45 ], [ %spec.select, %52 ]
  %.0 = zext i8 %.0.shrunk to i32
  %57 = and i32 %47, 4096
  %.not115 = icmp eq i32 %57, 0
  br i1 %.not115, label %.thread, label %58

58:                                               ; preds = %56
  %59 = getelementptr inbounds i8, ptr %0, i64 511
  %60 = load i8, ptr %59, align 1, !tbaa !29
  switch i8 %60, label %73 [
    i8 3, label %61
    i8 0, label %64
    i8 2, label %68
  ]

61:                                               ; preds = %58
  %62 = getelementptr inbounds i8, ptr %0, i64 504
  %63 = load i16, ptr %62, align 8, !tbaa !30
  %.not118 = icmp eq i16 %63, 0
  %. = select i1 %.not118, i32 24, i32 32
  br label %73

64:                                               ; preds = %58
  %spec.store.select = tail call i32 @llvm.umax.i32(i32 %.0, i32 8)
  %65 = getelementptr inbounds i8, ptr %0, i64 504
  %66 = load i16, ptr %65, align 8, !tbaa !30
  %.not117 = icmp ne i16 %66, 0
  %67 = zext i1 %.not117 to i32
  %spec.select130 = shl nuw nsw i32 %spec.store.select, %67
  br label %73

68:                                               ; preds = %58
  %69 = getelementptr inbounds i8, ptr %0, i64 504
  %70 = load i16, ptr %69, align 8, !tbaa !30
  %.not116 = icmp eq i16 %70, 0
  br i1 %.not116, label %73, label %71

71:                                               ; preds = %68
  %.0.tr = zext i8 %.0.shrunk to i16
  %.lhs.trunc = shl nuw nsw i16 %.0.tr, 2
  %72 = udiv i16 %.lhs.trunc, 3
  %.zext = zext nneg i16 %72 to i32
  br label %73

73:                                               ; preds = %64, %58, %61, %71, %68
  %.1 = phi i32 [ %.zext, %71 ], [ %.0, %68 ], [ %., %61 ], [ %spec.select130, %64 ], [ %.0, %58 ]
  %74 = and i32 %47, 512
  %.not119 = icmp eq i32 %74, 0
  br i1 %.not119, label %82, label %76

.thread:                                          ; preds = %56
  %75 = and i32 %47, 512
  %.not119139 = icmp eq i32 %75, 0
  br i1 %.not119139, label %82, label %.thread141

76:                                               ; preds = %73
  %77 = getelementptr inbounds i8, ptr %0, i64 512
  %78 = load i8, ptr %77, align 8, !tbaa !28
  %79 = icmp ult i8 %78, 16
  %80 = zext i1 %79 to i32
  %spec.select131 = shl nuw nsw i32 %.1, %80
  br label %82

.thread141:                                       ; preds = %.thread
  %81 = and i32 %47, -4609
  store i32 %81, ptr %50, align 4, !tbaa !20
  br label %82

82:                                               ; preds = %.thread, %76, %.thread141, %73
  %.2 = phi i32 [ %.0, %.thread141 ], [ %.1, %73 ], [ %spec.select131, %76 ], [ %.0, %.thread ]
  %83 = load i32, ptr %50, align 4, !tbaa !20
  %84 = and i32 %83, 32768
  %.not121 = icmp ne i32 %84, 0
  br i1 %.not121, label %85, label %91

85:                                               ; preds = %82
  %86 = getelementptr inbounds i8, ptr %0, i64 511
  %87 = load i8, ptr %86, align 1, !tbaa !29
  switch i8 %87, label %91 [
    i8 0, label %88
    i8 2, label %90
    i8 3, label %90
  ]

88:                                               ; preds = %85
  %89 = icmp ult i32 %.2, 9
  %.132 = select i1 %89, i32 16, i32 32
  br label %91

90:                                               ; preds = %85, %85
  %.inv = icmp ugt i32 %.2, 32
  %.133 = select i1 %.inv, i32 64, i32 32
  br label %91

91:                                               ; preds = %90, %85, %88, %82
  %.3 = phi i32 [ %.2, %82 ], [ %.132, %88 ], [ %.2, %85 ], [ %.133, %90 ]
  %92 = and i32 %83, 16384
  %.not122 = icmp eq i32 %92, 0
  br i1 %.not122, label %108, label %93

93:                                               ; preds = %91
  %94 = getelementptr inbounds i8, ptr %0, i64 504
  %95 = load i16, ptr %94, align 8, !tbaa !30
  %.not123 = icmp ne i16 %95, 0
  %96 = and i32 %83, 4096
  %.not124 = icmp ne i32 %96, 0
  %or.cond.not144 = and i1 %.not124, %.not123
  %brmerge = or i1 %.not121, %or.cond.not144
  br i1 %brmerge, label %101, label %97

97:                                               ; preds = %93
  %98 = getelementptr inbounds i8, ptr %0, i64 511
  %99 = load i8, ptr %98, align 1, !tbaa !29
  %100 = icmp eq i8 %99, 4
  br i1 %100, label %101, label %103

101:                                              ; preds = %93, %97
  %102 = icmp ult i32 %.3, 17
  %.134 = select i1 %102, i32 32, i32 64
  br label %108

103:                                              ; preds = %97
  %104 = icmp ult i32 %.3, 9
  %105 = icmp eq i8 %99, 6
  br i1 %104, label %106, label %107

106:                                              ; preds = %103
  %.135 = select i1 %105, i32 32, i32 24
  br label %108

107:                                              ; preds = %103
  %.136 = select i1 %105, i32 64, i32 48
  br label %108

108:                                              ; preds = %107, %106, %101, %91
  %.4 = phi i32 [ %.3, %91 ], [ %.134, %101 ], [ %.135, %106 ], [ %.136, %107 ]
  %109 = and i32 %83, 1048576
  %.not126 = icmp eq i32 %109, 0
  br i1 %.not126, label %118, label %110

110:                                              ; preds = %108
  %111 = getelementptr inbounds i8, ptr %0, i64 280
  %112 = load i8, ptr %111, align 8, !tbaa !31
  %113 = zext i8 %112 to i32
  %114 = getelementptr inbounds i8, ptr %0, i64 281
  %115 = load i8, ptr %114, align 1, !tbaa !32
  %116 = zext i8 %115 to i32
  %117 = mul nuw nsw i32 %116, %113
  %spec.select137 = tail call i32 @llvm.umax.i32(i32 %117, i32 %.4)
  br label %118

118:                                              ; preds = %110, %108
  %.6 = phi i32 [ %spec.select137, %110 ], [ %.4, %108 ]
  %119 = trunc i32 %.6 to i8
  %120 = getelementptr inbounds i8, ptr %0, i64 517
  store i8 %119, ptr %120, align 1, !tbaa !33
  %121 = getelementptr inbounds i8, ptr %0, i64 518
  store i8 0, ptr %121, align 2, !tbaa !34
  %122 = add i32 %46, 7
  %123 = and i32 %122, -8
  %124 = zext i32 %123 to i64
  %125 = icmp ugt i32 %.6, 7
  br i1 %125, label %126, label %130

126:                                              ; preds = %118
  %127 = lshr i32 %.6, 3
  %128 = zext nneg i32 %127 to i64
  %129 = mul nuw nsw i64 %124, %128
  br label %134

130:                                              ; preds = %118
  %131 = zext nneg i32 %.6 to i64
  %132 = mul nuw nsw i64 %124, %131
  %133 = lshr exact i64 %132, 3
  br label %134

134:                                              ; preds = %130, %126
  %135 = phi i64 [ %129, %126 ], [ %133, %130 ]
  %136 = add nuw nsw i32 %.6, 7
  %137 = lshr i32 %136, 3
  %narrow = add nuw nsw i32 %137, 49
  %138 = zext nneg i32 %narrow to i64
  %139 = add nuw nsw i64 %135, %138
  %140 = getelementptr inbounds i8, ptr %0, i64 984
  %141 = load i64, ptr %140, align 8, !tbaa !35
  %142 = icmp ugt i64 %139, %141
  br i1 %142, label %143, label %170

143:                                              ; preds = %134
  %144 = getelementptr inbounds i8, ptr %0, i64 896
  %145 = load ptr, ptr %144, align 8, !tbaa !36
  tail call void @png_free(ptr noundef nonnull %0, ptr noundef %145) #5
  %146 = getelementptr inbounds i8, ptr %0, i64 1016
  %147 = load ptr, ptr %146, align 8, !tbaa !37
  tail call void @png_free(ptr noundef nonnull %0, ptr noundef %147) #5
  %148 = load i8, ptr %2, align 4, !tbaa !5
  %.not127 = icmp eq i8 %148, 0
  br i1 %.not127, label %151, label %149

149:                                              ; preds = %143
  %150 = tail call noalias ptr @png_calloc(ptr noundef nonnull %0, i64 noundef %139) #5
  br label %153

151:                                              ; preds = %143
  %152 = tail call noalias ptr @png_malloc(ptr noundef nonnull %0, i64 noundef %139) #5
  br label %153

153:                                              ; preds = %151, %149
  %storemerge = phi ptr [ %152, %151 ], [ %150, %149 ]
  store ptr %storemerge, ptr %144, align 8, !tbaa !36
  %154 = tail call noalias ptr @png_malloc(ptr noundef nonnull %0, i64 noundef %139) #5
  store ptr %154, ptr %146, align 8, !tbaa !37
  %155 = load ptr, ptr %144, align 8, !tbaa !36
  %156 = getelementptr inbounds i8, ptr %155, i64 32
  %157 = ptrtoint ptr %156 to i64
  %158 = and i64 %157, 15
  %159 = sub nsw i64 0, %158
  %160 = getelementptr inbounds i8, ptr %156, i64 %159
  %161 = getelementptr inbounds i8, ptr %160, i64 -1
  %162 = getelementptr inbounds i8, ptr %0, i64 464
  store ptr %161, ptr %162, align 8, !tbaa !38
  %163 = getelementptr inbounds i8, ptr %154, i64 32
  %164 = ptrtoint ptr %163 to i64
  %165 = and i64 %164, 15
  %166 = sub nsw i64 0, %165
  %167 = getelementptr inbounds i8, ptr %163, i64 %166
  %168 = getelementptr inbounds i8, ptr %167, i64 -1
  %169 = getelementptr inbounds i8, ptr %0, i64 456
  store ptr %168, ptr %169, align 8, !tbaa !39
  store i64 %139, ptr %140, align 8, !tbaa !35
  br label %170

170:                                              ; preds = %153, %134
  %171 = getelementptr inbounds i8, ptr %0, i64 432
  %172 = load i64, ptr %171, align 8, !tbaa !40
  %173 = icmp eq i64 %172, -1
  br i1 %173, label %174, label %175

174:                                              ; preds = %170
  tail call void @png_error(ptr noundef nonnull %0, ptr noundef nonnull @.str.45) #6
  unreachable

175:                                              ; preds = %170
  %176 = getelementptr inbounds i8, ptr %0, i64 456
  %177 = load ptr, ptr %176, align 8, !tbaa !39
  %178 = add nuw i64 %172, 1
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 1 dereferenceable(1) %177, i8 0, i64 %178, i1 false)
  %179 = getelementptr inbounds i8, ptr %0, i64 992
  %180 = load ptr, ptr %179, align 8, !tbaa !41
  %.not128 = icmp eq ptr %180, null
  br i1 %.not128, label %182, label %181

181:                                              ; preds = %175
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %179, i8 0, i64 16, i1 false)
  tail call void @png_free(ptr noundef nonnull %0, ptr noundef nonnull %180) #5
  br label %182

182:                                              ; preds = %181, %175
  %183 = tail call i32 @png_inflate_claim(ptr noundef nonnull %0, i32 noundef 1229209940)
  %.not129 = icmp eq i32 %183, 0
  br i1 %.not129, label %187, label %184

184:                                              ; preds = %182
  %185 = getelementptr inbounds i8, ptr %0, i64 352
  %186 = load ptr, ptr %185, align 8, !tbaa !42
  tail call void @png_error(ptr noundef nonnull %0, ptr noundef %186) #6
  unreachable

187:                                              ; preds = %182
  %188 = getelementptr inbounds i8, ptr %0, i64 288
  %189 = load i32, ptr %188, align 8, !tbaa !43
  %190 = or i32 %189, 64
  store i32 %190, ptr %188, align 8, !tbaa !43
  ret void
}

declare void @png_init_read_transformations(ptr noundef) local_unnamed_addr #2

declare noalias ptr @png_calloc(ptr noundef, i64 noundef) local_unnamed_addr #2

declare noalias ptr @png_malloc(ptr noundef, i64 noundef) local_unnamed_addr #2

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

attributes #0 = { 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 #1 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { "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 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #4 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #5 = { nounwind }
attributes #6 = { 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, !7, i64 508}
!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 292}
!21 = !{!6, !11, i64 420}
!22 = !{!7, !7, i64 0}
!23 = !{!6, !11, i64 416}
!24 = !{!6, !7, i64 509}
!25 = !{!6, !11, i64 440}
!26 = !{!6, !11, i64 424}
!27 = !{!6, !7, i64 514}
!28 = !{!6, !7, i64 512}
!29 = !{!6, !7, i64 511}
!30 = !{!6, !13, i64 504}
!31 = !{!6, !7, i64 280}
!32 = !{!6, !7, i64 281}
!33 = !{!6, !7, i64 517}
!34 = !{!6, !7, i64 518}
!35 = !{!6, !10, i64 984}
!36 = !{!6, !9, i64 896}
!37 = !{!6, !9, i64 1016}
!38 = !{!6, !9, i64 464}
!39 = !{!6, !9, i64 456}
!40 = !{!6, !10, i64 432}
!41 = !{!6, !9, i64 992}
!42 = !{!6, !9, i64 352}
!43 = !{!6, !11, i64 288}


; Effective O3 passes: BDCEPass,ConstraintEliminationPass,CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,MemCpyOptPass,MergedLoadStoreMotionPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass