; LLVM IR from Wilson-ZheLin/Introduction-to-Digital-Image-Processing :: 10. Otus, Moving Average, and Region Growing/src/main.ll (Z14Otsu_PartitionP5Image)

; 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.Image = type { i32, i32, i32, ptr, [15 x [100 x i8]], i32 }

@.str.6 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [19 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: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: mustprogress uwtable
define dso_local void @_Z14Otsu_PartitionP5Image(ptr noundef %0) #1 {
  %2 = alloca ptr, align 8
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca i64, align 8
  %11 = alloca i64, align 8
  %12 = alloca i64, align 8
  %13 = alloca i64, align 8
  %14 = alloca i64, align 8
  %15 = alloca i64, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  store ptr %0, ptr %2, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #3
  %27 = load ptr, ptr %2, align 8, !tbaa !5
  %28 = getelementptr inbounds %struct.Image, ptr %27, i32 0, i32 1
  %29 = load i32, ptr %28, align 4, !tbaa !9
  %30 = sitofp i32 %29 to float
  %31 = fpext float %30 to double
  %32 = fdiv double %31, 2.000000e+00
  %33 = fadd double %32, 1.000000e+00
  %34 = fptosi double %33 to i32
  store i32 %34, ptr %5, align 4, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #3
  %35 = load ptr, ptr %2, align 8, !tbaa !5
  %36 = getelementptr inbounds %struct.Image, ptr %35, i32 0, i32 0
  %37 = load i32, ptr %36, align 8, !tbaa !13
  %38 = sitofp i32 %37 to float
  %39 = fpext float %38 to double
  %40 = fdiv double %39, 3.000000e+00
  %41 = fadd double %40, 1.000000e+00
  %42 = fptosi double %41 to i32
  store i32 %42, ptr %6, align 4, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #3
  %43 = load i32, ptr %6, align 4, !tbaa !12
  %44 = load i32, ptr %5, align 4, !tbaa !12
  %45 = mul nsw i32 %43, %44
  store i32 %45, ptr %7, align 4, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #3
  %46 = load ptr, ptr %2, align 8, !tbaa !5
  %47 = call noundef ptr @_Z14CreateNewImageP5ImagePc(ptr noundef %46, ptr noundef @.str.6)
  store ptr %47, ptr %8, align 8, !tbaa !5
  %48 = load ptr, ptr %2, align 8, !tbaa !5
  %49 = getelementptr inbounds %struct.Image, ptr %48, i32 0, i32 3
  %50 = load ptr, ptr %49, align 8, !tbaa !14
  store ptr %50, ptr %3, align 8, !tbaa !5
  %51 = load ptr, ptr %8, align 8, !tbaa !5
  %52 = getelementptr inbounds %struct.Image, ptr %51, i32 0, i32 3
  %53 = load ptr, ptr %52, align 8, !tbaa !14
  store ptr %53, ptr %4, align 8, !tbaa !5
  %54 = load i32, ptr %7, align 4, !tbaa !12
  %55 = zext i32 %54 to i64
  %56 = call ptr @llvm.stacksave.p0()
  store ptr %56, ptr %9, align 8
  %57 = alloca i8, i64 %55, align 16
  store i64 %55, ptr %10, align 8
  %58 = load i32, ptr %7, align 4, !tbaa !12
  %59 = zext i32 %58 to i64
  %60 = alloca i8, i64 %59, align 16
  store i64 %59, ptr %11, align 8
  %61 = load i32, ptr %7, align 4, !tbaa !12
  %62 = zext i32 %61 to i64
  %63 = alloca i8, i64 %62, align 16
  store i64 %62, ptr %12, align 8
  %64 = load i32, ptr %7, align 4, !tbaa !12
  %65 = zext i32 %64 to i64
  %66 = alloca i8, i64 %65, align 16
  store i64 %65, ptr %13, align 8
  %67 = load i32, ptr %7, align 4, !tbaa !12
  %68 = zext i32 %67 to i64
  %69 = alloca i8, i64 %68, align 16
  store i64 %68, ptr %14, align 8
  %70 = load i32, ptr %7, align 4, !tbaa !12
  %71 = zext i32 %70 to i64
  %72 = alloca i8, i64 %71, align 16
  store i64 %71, ptr %15, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #3
  store i32 0, ptr %22, align 4, !tbaa !12
  br label %73

73:                                               ; preds = %298, %1
  %74 = load i32, ptr %22, align 4, !tbaa !12
  %75 = load ptr, ptr %2, align 8, !tbaa !5
  %76 = getelementptr inbounds %struct.Image, ptr %75, i32 0, i32 1
  %77 = load i32, ptr %76, align 4, !tbaa !9
  %78 = icmp slt i32 %74, %77
  br i1 %78, label %80, label %79

79:                                               ; preds = %73
  store i32 2, ptr %23, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #3
  br label %301

80:                                               ; preds = %73
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #3
  store i32 0, ptr %24, align 4, !tbaa !12
  br label %81

81:                                               ; preds = %294, %80
  %82 = load i32, ptr %24, align 4, !tbaa !12
  %83 = load ptr, ptr %2, align 8, !tbaa !5
  %84 = getelementptr inbounds %struct.Image, ptr %83, i32 0, i32 0
  %85 = load i32, ptr %84, align 8, !tbaa !13
  %86 = icmp slt i32 %82, %85
  br i1 %86, label %88, label %87

87:                                               ; preds = %81
  store i32 5, ptr %23, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #3
  br label %297

88:                                               ; preds = %81
  %89 = load i32, ptr %24, align 4, !tbaa !12
  %90 = load i32, ptr %6, align 4, !tbaa !12
  %91 = mul nsw i32 2, %90
  %92 = sub nsw i32 %89, %91
  %93 = icmp sge i32 %92, 0
  br i1 %93, label %94, label %123

94:                                               ; preds = %88
  %95 = load i32, ptr %22, align 4, !tbaa !12
  %96 = load i32, ptr %5, align 4, !tbaa !12
  %97 = sub nsw i32 %95, %96
  %98 = icmp sge i32 %97, 0
  br i1 %98, label %99, label %123

99:                                               ; preds = %94
  %100 = load ptr, ptr %3, align 8, !tbaa !5
  %101 = load ptr, ptr %2, align 8, !tbaa !5
  %102 = getelementptr inbounds %struct.Image, ptr %101, i32 0, i32 0
  %103 = load i32, ptr %102, align 8, !tbaa !13
  %104 = load i32, ptr %22, align 4, !tbaa !12
  %105 = mul nsw i32 %103, %104
  %106 = load i32, ptr %24, align 4, !tbaa !12
  %107 = add nsw i32 %105, %106
  %108 = sext i32 %107 to i64
  %109 = getelementptr inbounds i8, ptr %100, i64 %108
  %110 = load i8, ptr %109, align 1, !tbaa !15
  %111 = load i32, ptr %6, align 4, !tbaa !12
  %112 = load i32, ptr %22, align 4, !tbaa !12
  %113 = load i32, ptr %5, align 4, !tbaa !12
  %114 = sub nsw i32 %112, %113
  %115 = mul nsw i32 %111, %114
  %116 = load i32, ptr %24, align 4, !tbaa !12
  %117 = load i32, ptr %6, align 4, !tbaa !12
  %118 = mul nsw i32 2, %117
  %119 = sub nsw i32 %116, %118
  %120 = add nsw i32 %115, %119
  %121 = sext i32 %120 to i64
  %122 = getelementptr inbounds i8, ptr %72, i64 %121
  store i8 %110, ptr %122, align 1, !tbaa !15
  br label %293

123:                                              ; preds = %94, %88
  %124 = load i32, ptr %24, align 4, !tbaa !12
  %125 = load i32, ptr %6, align 4, !tbaa !12
  %126 = sub nsw i32 %124, %125
  %127 = icmp slt i32 %126, 0
  br i1 %127, label %128, label %152

128:                                              ; preds = %123
  %129 = load i32, ptr %22, align 4, !tbaa !12
  %130 = load i32, ptr %5, align 4, !tbaa !12
  %131 = sub nsw i32 %129, %130
  %132 = icmp slt i32 %131, 0
  br i1 %132, label %133, label %152

133:                                              ; preds = %128
  %134 = load ptr, ptr %3, align 8, !tbaa !5
  %135 = load ptr, ptr %2, align 8, !tbaa !5
  %136 = getelementptr inbounds %struct.Image, ptr %135, i32 0, i32 0
  %137 = load i32, ptr %136, align 8, !tbaa !13
  %138 = load i32, ptr %22, align 4, !tbaa !12
  %139 = mul nsw i32 %137, %138
  %140 = load i32, ptr %24, align 4, !tbaa !12
  %141 = add nsw i32 %139, %140
  %142 = sext i32 %141 to i64
  %143 = getelementptr inbounds i8, ptr %134, i64 %142
  %144 = load i8, ptr %143, align 1, !tbaa !15
  %145 = load i32, ptr %6, align 4, !tbaa !12
  %146 = load i32, ptr %22, align 4, !tbaa !12
  %147 = mul nsw i32 %145, %146
  %148 = load i32, ptr %24, align 4, !tbaa !12
  %149 = add nsw i32 %147, %148
  %150 = sext i32 %149 to i64
  %151 = getelementptr inbounds i8, ptr %57, i64 %150
  store i8 %144, ptr %151, align 1, !tbaa !15
  br label %292

152:                                              ; preds = %128, %123
  %153 = load i32, ptr %24, align 4, !tbaa !12
  %154 = load i32, ptr %6, align 4, !tbaa !12
  %155 = mul nsw i32 2, %154
  %156 = sub nsw i32 %153, %155
  %157 = icmp sge i32 %156, 0
  br i1 %157, label %158, label %185

158:                                              ; preds = %152
  %159 = load i32, ptr %22, align 4, !tbaa !12
  %160 = load i32, ptr %5, align 4, !tbaa !12
  %161 = sub nsw i32 %159, %160
  %162 = icmp slt i32 %161, 0
  br i1 %162, label %163, label %185

163:                                              ; preds = %158
  %164 = load ptr, ptr %3, align 8, !tbaa !5
  %165 = load ptr, ptr %2, align 8, !tbaa !5
  %166 = getelementptr inbounds %struct.Image, ptr %165, i32 0, i32 0
  %167 = load i32, ptr %166, align 8, !tbaa !13
  %168 = load i32, ptr %22, align 4, !tbaa !12
  %169 = mul nsw i32 %167, %168
  %170 = load i32, ptr %24, align 4, !tbaa !12
  %171 = add nsw i32 %169, %170
  %172 = sext i32 %171 to i64
  %173 = getelementptr inbounds i8, ptr %164, i64 %172
  %174 = load i8, ptr %173, align 1, !tbaa !15
  %175 = load i32, ptr %6, align 4, !tbaa !12
  %176 = load i32, ptr %22, align 4, !tbaa !12
  %177 = mul nsw i32 %175, %176
  %178 = load i32, ptr %24, align 4, !tbaa !12
  %179 = load i32, ptr %6, align 4, !tbaa !12
  %180 = mul nsw i32 2, %179
  %181 = sub nsw i32 %178, %180
  %182 = add nsw i32 %177, %181
  %183 = sext i32 %182 to i64
  %184 = getelementptr inbounds i8, ptr %63, i64 %183
  store i8 %174, ptr %184, align 1, !tbaa !15
  br label %291

185:                                              ; preds = %158, %152
  %186 = load i32, ptr %24, align 4, !tbaa !12
  %187 = load i32, ptr %6, align 4, !tbaa !12
  %188 = sub nsw i32 %186, %187
  %189 = icmp slt i32 %188, 0
  br i1 %189, label %190, label %216

190:                                              ; preds = %185
  %191 = load i32, ptr %22, align 4, !tbaa !12
  %192 = load i32, ptr %5, align 4, !tbaa !12
  %193 = sub nsw i32 %191, %192
  %194 = icmp sge i32 %193, 0
  br i1 %194, label %195, label %216

195:                                              ; preds = %190
  %196 = load ptr, ptr %3, align 8, !tbaa !5
  %197 = load ptr, ptr %2, align 8, !tbaa !5
  %198 = getelementptr inbounds %struct.Image, ptr %197, i32 0, i32 0
  %199 = load i32, ptr %198, align 8, !tbaa !13
  %200 = load i32, ptr %22, align 4, !tbaa !12
  %201 = mul nsw i32 %199, %200
  %202 = load i32, ptr %24, align 4, !tbaa !12
  %203 = add nsw i32 %201, %202
  %204 = sext i32 %203 to i64
  %205 = getelementptr inbounds i8, ptr %196, i64 %204
  %206 = load i8, ptr %205, align 1, !tbaa !15
  %207 = load i32, ptr %6, align 4, !tbaa !12
  %208 = load i32, ptr %22, align 4, !tbaa !12
  %209 = load i32, ptr %5, align 4, !tbaa !12
  %210 = sub nsw i32 %208, %209
  %211 = mul nsw i32 %207, %210
  %212 = load i32, ptr %24, align 4, !tbaa !12
  %213 = add nsw i32 %211, %212
  %214 = sext i32 %213 to i64
  %215 = getelementptr inbounds i8, ptr %66, i64 %214
  store i8 %206, ptr %215, align 1, !tbaa !15
  br label %290

216:                                              ; preds = %190, %185
  %217 = load i32, ptr %24, align 4, !tbaa !12
  %218 = load i32, ptr %6, align 4, !tbaa !12
  %219 = icmp sge i32 %217, %218
  br i1 %219, label %220, label %253

220:                                              ; preds = %216
  %221 = load i32, ptr %24, align 4, !tbaa !12
  %222 = load i32, ptr %6, align 4, !tbaa !12
  %223 = mul nsw i32 2, %222
  %224 = icmp slt i32 %221, %223
  br i1 %224, label %225, label %253

225:                                              ; preds = %220
  %226 = load i32, ptr %22, align 4, !tbaa !12
  %227 = load i32, ptr %5, align 4, !tbaa !12
  %228 = sub nsw i32 %226, %227
  %229 = icmp sge i32 %228, 0
  br i1 %229, label %230, label %253

230:                                              ; preds = %225
  %231 = load ptr, ptr %3, align 8, !tbaa !5
  %232 = load ptr, ptr %2, align 8, !tbaa !5
  %233 = getelementptr inbounds %struct.Image, ptr %232, i32 0, i32 0
  %234 = load i32, ptr %233, align 8, !tbaa !13
  %235 = load i32, ptr %22, align 4, !tbaa !12
  %236 = mul nsw i32 %234, %235
  %237 = load i32, ptr %24, align 4, !tbaa !12
  %238 = add nsw i32 %236, %237
  %239 = sext i32 %238 to i64
  %240 = getelementptr inbounds i8, ptr %231, i64 %239
  %241 = load i8, ptr %240, align 1, !tbaa !15
  %242 = load i32, ptr %6, align 4, !tbaa !12
  %243 = load i32, ptr %22, align 4, !tbaa !12
  %244 = load i32, ptr %5, align 4, !tbaa !12
  %245 = sub nsw i32 %243, %244
  %246 = mul nsw i32 %242, %245
  %247 = load i32, ptr %24, align 4, !tbaa !12
  %248 = load i32, ptr %6, align 4, !tbaa !12
  %249 = sub nsw i32 %247, %248
  %250 = add nsw i32 %246, %249
  %251 = sext i32 %250 to i64
  %252 = getelementptr inbounds i8, ptr %69, i64 %251
  store i8 %241, ptr %252, align 1, !tbaa !15
  br label %289

253:                                              ; preds = %225, %220, %216
  %254 = load i32, ptr %24, align 4, !tbaa !12
  %255 = load i32, ptr %6, align 4, !tbaa !12
  %256 = icmp sge i32 %254, %255
  br i1 %256, label %257, label %288

257:                                              ; preds = %253
  %258 = load i32, ptr %24, align 4, !tbaa !12
  %259 = load i32, ptr %6, align 4, !tbaa !12
  %260 = mul nsw i32 2, %259
  %261 = icmp slt i32 %258, %260
  br i1 %261, label %262, label %288

262:                                              ; preds = %257
  %263 = load i32, ptr %22, align 4, !tbaa !12
  %264 = load i32, ptr %5, align 4, !tbaa !12
  %265 = sub nsw i32 %263, %264
  %266 = icmp slt i32 %265, 0
  br i1 %266, label %267, label %288

267:                                              ; preds = %262
  %268 = load ptr, ptr %3, align 8, !tbaa !5
  %269 = load ptr, ptr %2, align 8, !tbaa !5
  %270 = getelementptr inbounds %struct.Image, ptr %269, i32 0, i32 0
  %271 = load i32, ptr %270, align 8, !tbaa !13
  %272 = load i32, ptr %22, align 4, !tbaa !12
  %273 = mul nsw i32 %271, %272
  %274 = load i32, ptr %24, align 4, !tbaa !12
  %275 = add nsw i32 %273, %274
  %276 = sext i32 %275 to i64
  %277 = getelementptr inbounds i8, ptr %268, i64 %276
  %278 = load i8, ptr %277, align 1, !tbaa !15
  %279 = load i32, ptr %6, align 4, !tbaa !12
  %280 = load i32, ptr %22, align 4, !tbaa !12
  %281 = mul nsw i32 %279, %280
  %282 = load i32, ptr %24, align 4, !tbaa !12
  %283 = load i32, ptr %6, align 4, !tbaa !12
  %284 = sub nsw i32 %282, %283
  %285 = add nsw i32 %281, %284
  %286 = sext i32 %285 to i64
  %287 = getelementptr inbounds i8, ptr %60, i64 %286
  store i8 %278, ptr %287, align 1, !tbaa !15
  br label %288

288:                                              ; preds = %267, %262, %257, %253
  br label %289

289:                                              ; preds = %288, %230
  br label %290

290:                                              ; preds = %289, %195
  br label %291

291:                                              ; preds = %290, %163
  br label %292

292:                                              ; preds = %291, %133
  br label %293

293:                                              ; preds = %292, %99
  br label %294

294:                                              ; preds = %293
  %295 = load i32, ptr %24, align 4, !tbaa !12
  %296 = add nsw i32 %295, 1
  store i32 %296, ptr %24, align 4, !tbaa !12
  br label %81, !llvm.loop !16

297:                                              ; preds = %87
  br label %298

298:                                              ; preds = %297
  %299 = load i32, ptr %22, align 4, !tbaa !12
  %300 = add nsw i32 %299, 1
  store i32 %300, ptr %22, align 4, !tbaa !12
  br label %73, !llvm.loop !18

301:                                              ; preds = %79
  %302 = load i32, ptr %6, align 4, !tbaa !12
  %303 = load i32, ptr %5, align 4, !tbaa !12
  %304 = call noundef ptr @_Z14Otsu_AlgorithmPhii(ptr noundef %57, i32 noundef %302, i32 noundef %303)
  store ptr %304, ptr %16, align 8, !tbaa !5
  %305 = load i32, ptr %6, align 4, !tbaa !12
  %306 = load i32, ptr %5, align 4, !tbaa !12
  %307 = call noundef ptr @_Z14Otsu_AlgorithmPhii(ptr noundef %60, i32 noundef %305, i32 noundef %306)
  store ptr %307, ptr %17, align 8, !tbaa !5
  %308 = load i32, ptr %6, align 4, !tbaa !12
  %309 = load i32, ptr %5, align 4, !tbaa !12
  %310 = call noundef ptr @_Z14Otsu_AlgorithmPhii(ptr noundef %63, i32 noundef %308, i32 noundef %309)
  store ptr %310, ptr %18, align 8, !tbaa !5
  %311 = load i32, ptr %6, align 4, !tbaa !12
  %312 = load i32, ptr %5, align 4, !tbaa !12
  %313 = call noundef ptr @_Z14Otsu_AlgorithmPhii(ptr noundef %66, i32 noundef %311, i32 noundef %312)
  store ptr %313, ptr %19, align 8, !tbaa !5
  %314 = load i32, ptr %6, align 4, !tbaa !12
  %315 = load i32, ptr %5, align 4, !tbaa !12
  %316 = call noundef ptr @_Z14Otsu_AlgorithmPhii(ptr noundef %69, i32 noundef %314, i32 noundef %315)
  store ptr %316, ptr %20, align 8, !tbaa !5
  %317 = load i32, ptr %6, align 4, !tbaa !12
  %318 = load i32, ptr %5, align 4, !tbaa !12
  %319 = call noundef ptr @_Z14Otsu_AlgorithmPhii(ptr noundef %72, i32 noundef %317, i32 noundef %318)
  store ptr %319, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #3
  store i32 0, ptr %25, align 4, !tbaa !12
  br label %320

320:                                              ; preds = %551, %301
  %321 = load i32, ptr %25, align 4, !tbaa !12
  %322 = load ptr, ptr %2, align 8, !tbaa !5
  %323 = getelementptr inbounds %struct.Image, ptr %322, i32 0, i32 1
  %324 = load i32, ptr %323, align 4, !tbaa !9
  %325 = icmp slt i32 %321, %324
  br i1 %325, label %327, label %326

326:                                              ; preds = %320
  store i32 8, ptr %23, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #3
  br label %554

327:                                              ; preds = %320
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #3
  store i32 0, ptr %26, align 4, !tbaa !12
  br label %328

328:                                              ; preds = %547, %327
  %329 = load i32, ptr %26, align 4, !tbaa !12
  %330 = load ptr, ptr %2, align 8, !tbaa !5
  %331 = getelementptr inbounds %struct.Image, ptr %330, i32 0, i32 0
  %332 = load i32, ptr %331, align 8, !tbaa !13
  %333 = icmp slt i32 %329, %332
  br i1 %333, label %335, label %334

334:                                              ; preds = %328
  store i32 11, ptr %23, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #3
  br label %550

335:                                              ; preds = %328
  %336 = load i32, ptr %26, align 4, !tbaa !12
  %337 = load i32, ptr %6, align 4, !tbaa !12
  %338 = mul nsw i32 2, %337
  %339 = sub nsw i32 %336, %338
  %340 = icmp sge i32 %339, 0
  br i1 %340, label %341, label %371

341:                                              ; preds = %335
  %342 = load i32, ptr %25, align 4, !tbaa !12
  %343 = load i32, ptr %5, align 4, !tbaa !12
  %344 = sub nsw i32 %342, %343
  %345 = icmp sge i32 %344, 0
  br i1 %345, label %346, label %371

346:                                              ; preds = %341
  %347 = load ptr, ptr %21, align 8, !tbaa !5
  %348 = load i32, ptr %6, align 4, !tbaa !12
  %349 = load i32, ptr %25, align 4, !tbaa !12
  %350 = load i32, ptr %5, align 4, !tbaa !12
  %351 = sub nsw i32 %349, %350
  %352 = mul nsw i32 %348, %351
  %353 = load i32, ptr %26, align 4, !tbaa !12
  %354 = load i32, ptr %6, align 4, !tbaa !12
  %355 = mul nsw i32 2, %354
  %356 = sub nsw i32 %353, %355
  %357 = add nsw i32 %352, %356
  %358 = sext i32 %357 to i64
  %359 = getelementptr inbounds i8, ptr %347, i64 %358
  %360 = load i8, ptr %359, align 1, !tbaa !15
  %361 = load ptr, ptr %4, align 8, !tbaa !5
  %362 = load ptr, ptr %2, align 8, !tbaa !5
  %363 = getelementptr inbounds %struct.Image, ptr %362, i32 0, i32 0
  %364 = load i32, ptr %363, align 8, !tbaa !13
  %365 = load i32, ptr %25, align 4, !tbaa !12
  %366 = mul nsw i32 %364, %365
  %367 = load i32, ptr %26, align 4, !tbaa !12
  %368 = add nsw i32 %366, %367
  %369 = sext i32 %368 to i64
  %370 = getelementptr inbounds i8, ptr %361, i64 %369
  store i8 %360, ptr %370, align 1, !tbaa !15
  br label %546

371:                                              ; preds = %341, %335
  %372 = load i32, ptr %26, align 4, !tbaa !12
  %373 = load i32, ptr %6, align 4, !tbaa !12
  %374 = sub nsw i32 %372, %373
  %375 = icmp slt i32 %374, 0
  br i1 %375, label %376, label %401

376:                                              ; preds = %371
  %377 = load i32, ptr %25, align 4, !tbaa !12
  %378 = load i32, ptr %5, align 4, !tbaa !12
  %379 = sub nsw i32 %377, %378
  %380 = icmp slt i32 %379, 0
  br i1 %380, label %381, label %401

381:                                              ; preds = %376
  %382 = load ptr, ptr %16, align 8, !tbaa !5
  %383 = load i32, ptr %6, align 4, !tbaa !12
  %384 = load i32, ptr %25, align 4, !tbaa !12
  %385 = mul nsw i32 %383, %384
  %386 = load i32, ptr %26, align 4, !tbaa !12
  %387 = add nsw i32 %385, %386
  %388 = sext i32 %387 to i64
  %389 = getelementptr inbounds i8, ptr %382, i64 %388
  %390 = load i8, ptr %389, align 1, !tbaa !15
  %391 = load ptr, ptr %4, align 8, !tbaa !5
  %392 = load ptr, ptr %2, align 8, !tbaa !5
  %393 = getelementptr inbounds %struct.Image, ptr %392, i32 0, i32 0
  %394 = load i32, ptr %393, align 8, !tbaa !13
  %395 = load i32, ptr %25, align 4, !tbaa !12
  %396 = mul nsw i32 %394, %395
  %397 = load i32, ptr %26, align 4, !tbaa !12
  %398 = add nsw i32 %396, %397
  %399 = sext i32 %398 to i64
  %400 = getelementptr inbounds i8, ptr %391, i64 %399
  store i8 %390, ptr %400, align 1, !tbaa !15
  br label %545

401:                                              ; preds = %376, %371
  %402 = load i32, ptr %26, align 4, !tbaa !12
  %403 = load i32, ptr %6, align 4, !tbaa !12
  %404 = mul nsw i32 2, %403
  %405 = sub nsw i32 %402, %404
  %406 = icmp sge i32 %405, 0
  br i1 %406, label %407, label %435

407:                                              ; preds = %401
  %408 = load i32, ptr %25, align 4, !tbaa !12
  %409 = load i32, ptr %5, align 4, !tbaa !12
  %410 = sub nsw i32 %408, %409
  %411 = icmp slt i32 %410, 0
  br i1 %411, label %412, label %435

412:                                              ; preds = %407
  %413 = load ptr, ptr %18, align 8, !tbaa !5
  %414 = load i32, ptr %6, align 4, !tbaa !12
  %415 = load i32, ptr %25, align 4, !tbaa !12
  %416 = mul nsw i32 %414, %415
  %417 = load i32, ptr %26, align 4, !tbaa !12
  %418 = load i32, ptr %6, align 4, !tbaa !12
  %419 = mul nsw i32 2, %418
  %420 = sub nsw i32 %417, %419
  %421 = add nsw i32 %416, %420
  %422 = sext i32 %421 to i64
  %423 = getelementptr inbounds i8, ptr %413, i64 %422
  %424 = load i8, ptr %423, align 1, !tbaa !15
  %425 = load ptr, ptr %4, align 8, !tbaa !5
  %426 = load ptr, ptr %2, align 8, !tbaa !5
  %427 = getelementptr inbounds %struct.Image, ptr %426, i32 0, i32 0
  %428 = load i32, ptr %427, align 8, !tbaa !13
  %429 = load i32, ptr %25, align 4, !tbaa !12
  %430 = mul nsw i32 %428, %429
  %431 = load i32, ptr %26, align 4, !tbaa !12
  %432 = add nsw i32 %430, %431
  %433 = sext i32 %432 to i64
  %434 = getelementptr inbounds i8, ptr %425, i64 %433
  store i8 %424, ptr %434, align 1, !tbaa !15
  br label %544

435:                                              ; preds = %407, %401
  %436 = load i32, ptr %26, align 4, !tbaa !12
  %437 = load i32, ptr %6, align 4, !tbaa !12
  %438 = sub nsw i32 %436, %437
  %439 = icmp slt i32 %438, 0
  br i1 %439, label %440, label %467

440:                                              ; preds = %435
  %441 = load i32, ptr %25, align 4, !tbaa !12
  %442 = load i32, ptr %5, align 4, !tbaa !12
  %443 = sub nsw i32 %441, %442
  %444 = icmp sge i32 %443, 0
  br i1 %444, label %445, label %467

445:                                              ; preds = %440
  %446 = load ptr, ptr %19, align 8, !tbaa !5
  %447 = load i32, ptr %6, align 4, !tbaa !12
  %448 = load i32, ptr %25, align 4, !tbaa !12
  %449 = load i32, ptr %5, align 4, !tbaa !12
  %450 = sub nsw i32 %448, %449
  %451 = mul nsw i32 %447, %450
  %452 = load i32, ptr %26, align 4, !tbaa !12
  %453 = add nsw i32 %451, %452
  %454 = sext i32 %453 to i64
  %455 = getelementptr inbounds i8, ptr %446, i64 %454
  %456 = load i8, ptr %455, align 1, !tbaa !15
  %457 = load ptr, ptr %4, align 8, !tbaa !5
  %458 = load ptr, ptr %2, align 8, !tbaa !5
  %459 = getelementptr inbounds %struct.Image, ptr %458, i32 0, i32 0
  %460 = load i32, ptr %459, align 8, !tbaa !13
  %461 = load i32, ptr %25, align 4, !tbaa !12
  %462 = mul nsw i32 %460, %461
  %463 = load i32, ptr %26, align 4, !tbaa !12
  %464 = add nsw i32 %462, %463
  %465 = sext i32 %464 to i64
  %466 = getelementptr inbounds i8, ptr %457, i64 %465
  store i8 %456, ptr %466, align 1, !tbaa !15
  br label %543

467:                                              ; preds = %440, %435
  %468 = load i32, ptr %26, align 4, !tbaa !12
  %469 = load i32, ptr %6, align 4, !tbaa !12
  %470 = icmp sge i32 %468, %469
  br i1 %470, label %471, label %505

471:                                              ; preds = %467
  %472 = load i32, ptr %26, align 4, !tbaa !12
  %473 = load i32, ptr %6, align 4, !tbaa !12
  %474 = mul nsw i32 2, %473
  %475 = icmp slt i32 %472, %474
  br i1 %475, label %476, label %505

476:                                              ; preds = %471
  %477 = load i32, ptr %25, align 4, !tbaa !12
  %478 = load i32, ptr %5, align 4, !tbaa !12
  %479 = sub nsw i32 %477, %478
  %480 = icmp sge i32 %479, 0
  br i1 %480, label %481, label %505

481:                                              ; preds = %476
  %482 = load ptr, ptr %20, align 8, !tbaa !5
  %483 = load i32, ptr %6, align 4, !tbaa !12
  %484 = load i32, ptr %25, align 4, !tbaa !12
  %485 = load i32, ptr %5, align 4, !tbaa !12
  %486 = sub nsw i32 %484, %485
  %487 = mul nsw i32 %483, %486
  %488 = load i32, ptr %26, align 4, !tbaa !12
  %489 = load i32, ptr %6, align 4, !tbaa !12
  %490 = sub nsw i32 %488, %489
  %491 = add nsw i32 %487, %490
  %492 = sext i32 %491 to i64
  %493 = getelementptr inbounds i8, ptr %482, i64 %492
  %494 = load i8, ptr %493, align 1, !tbaa !15
  %495 = load ptr, ptr %4, align 8, !tbaa !5
  %496 = load ptr, ptr %2, align 8, !tbaa !5
  %497 = getelementptr inbounds %struct.Image, ptr %496, i32 0, i32 0
  %498 = load i32, ptr %497, align 8, !tbaa !13
  %499 = load i32, ptr %25, align 4, !tbaa !12
  %500 = mul nsw i32 %498, %499
  %501 = load i32, ptr %26, align 4, !tbaa !12
  %502 = add nsw i32 %500, %501
  %503 = sext i32 %502 to i64
  %504 = getelementptr inbounds i8, ptr %495, i64 %503
  store i8 %494, ptr %504, align 1, !tbaa !15
  br label %542

505:                                              ; preds = %476, %471, %467
  %506 = load i32, ptr %26, align 4, !tbaa !12
  %507 = load i32, ptr %6, align 4, !tbaa !12
  %508 = icmp sge i32 %506, %507
  br i1 %508, label %509, label %541

509:                                              ; preds = %505
  %510 = load i32, ptr %26, align 4, !tbaa !12
  %511 = load i32, ptr %6, align 4, !tbaa !12
  %512 = mul nsw i32 2, %511
  %513 = icmp slt i32 %510, %512
  br i1 %513, label %514, label %541

514:                                              ; preds = %509
  %515 = load i32, ptr %25, align 4, !tbaa !12
  %516 = load i32, ptr %5, align 4, !tbaa !12
  %517 = sub nsw i32 %515, %516
  %518 = icmp slt i32 %517, 0
  br i1 %518, label %519, label %541

519:                                              ; preds = %514
  %520 = load ptr, ptr %17, align 8, !tbaa !5
  %521 = load i32, ptr %6, align 4, !tbaa !12
  %522 = load i32, ptr %25, align 4, !tbaa !12
  %523 = mul nsw i32 %521, %522
  %524 = load i32, ptr %26, align 4, !tbaa !12
  %525 = load i32, ptr %6, align 4, !tbaa !12
  %526 = sub nsw i32 %524, %525
  %527 = add nsw i32 %523, %526
  %528 = sext i32 %527 to i64
  %529 = getelementptr inbounds i8, ptr %520, i64 %528
  %530 = load i8, ptr %529, align 1, !tbaa !15
  %531 = load ptr, ptr %4, align 8, !tbaa !5
  %532 = load ptr, ptr %2, align 8, !tbaa !5
  %533 = getelementptr inbounds %struct.Image, ptr %532, i32 0, i32 0
  %534 = load i32, ptr %533, align 8, !tbaa !13
  %535 = load i32, ptr %25, align 4, !tbaa !12
  %536 = mul nsw i32 %534, %535
  %537 = load i32, ptr %26, align 4, !tbaa !12
  %538 = add nsw i32 %536, %537
  %539 = sext i32 %538 to i64
  %540 = getelementptr inbounds i8, ptr %531, i64 %539
  store i8 %530, ptr %540, align 1, !tbaa !15
  br label %541

541:                                              ; preds = %519, %514, %509, %505
  br label %542

542:                                              ; preds = %541, %481
  br label %543

543:                                              ; preds = %542, %445
  br label %544

544:                                              ; preds = %543, %412
  br label %545

545:                                              ; preds = %544, %381
  br label %546

546:                                              ; preds = %545, %346
  br label %547

547:                                              ; preds = %546
  %548 = load i32, ptr %26, align 4, !tbaa !12
  %549 = add nsw i32 %548, 1
  store i32 %549, ptr %26, align 4, !tbaa !12
  br label %328, !llvm.loop !19

550:                                              ; preds = %334
  br label %551

551:                                              ; preds = %550
  %552 = load i32, ptr %25, align 4, !tbaa !12
  %553 = add nsw i32 %552, 1
  store i32 %553, ptr %25, align 4, !tbaa !12
  br label %320, !llvm.loop !20

554:                                              ; preds = %326
  %555 = load ptr, ptr %8, align 8, !tbaa !5
  call void @_Z12SavePNMImageP5ImagePc(ptr noundef %555, ptr noundef @.str.10)
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #3
  %556 = load ptr, ptr %9, align 8
  call void @llvm.stackrestore.p0(ptr %556)
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #3
  ret void
}

; Function Attrs: nocallback nofree nosync nounwind willreturn
declare ptr @llvm.stacksave.p0() #2

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_Z14CreateNewImageP5ImagePc(ptr noundef, ptr noundef) #1

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z12SavePNMImageP5ImagePc(ptr noundef, ptr noundef) #1

; Function Attrs: nocallback nofree nosync nounwind willreturn
declare void @llvm.stackrestore.p0(ptr) #2

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_Z14Otsu_AlgorithmPhii(ptr noundef, i32 noundef, i32 noundef) #1

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress 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 = { nocallback nofree nosync nounwind willreturn }
attributes #3 = { 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, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !11, i64 4}
!10 = !{!"_ZTS5Image", !11, i64 0, !11, i64 4, !11, i64 8, !6, i64 16, !7, i64 24, !11, i64 1524}
!11 = !{!"int", !7, i64 0}
!12 = !{!11, !11, i64 0}
!13 = !{!10, !11, i64 0}
!14 = !{!10, !6, i64 16}
!15 = !{!7, !7, i64 0}
!16 = distinct !{!16, !17}
!17 = !{!"llvm.loop.mustprogress"}
!18 = distinct !{!18, !17}
!19 = distinct !{!19, !17}
!20 = distinct !{!20, !17}


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

@.str.6 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [19 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local void @_Z14Otsu_PartitionP5Image(ptr noundef %0) local_unnamed_addr #0 {
  %2 = getelementptr inbounds i8, ptr %0, i64 4
  %3 = load i32, ptr %2, align 4, !tbaa !5
  %4 = sitofp i32 %3 to float
  %5 = fpext float %4 to double
  %6 = fmul double %5, 5.000000e-01
  %7 = fadd double %6, 1.000000e+00
  %8 = fptosi double %7 to i32
  %9 = load i32, ptr %0, align 8, !tbaa !11
  %10 = sitofp i32 %9 to float
  %11 = fpext float %10 to double
  %12 = fdiv double %11, 3.000000e+00
  %13 = fadd double %12, 1.000000e+00
  %14 = fptosi double %13 to i32
  %15 = mul nsw i32 %14, %8
  %16 = tail call noundef ptr @_Z14CreateNewImageP5ImagePc(ptr noundef nonnull %0, ptr noundef nonnull @.str.6)
  %17 = getelementptr inbounds i8, ptr %0, i64 16
  %18 = load ptr, ptr %17, align 8, !tbaa !12
  %19 = getelementptr inbounds i8, ptr %16, i64 16
  %20 = load ptr, ptr %19, align 8, !tbaa !12
  %21 = zext i32 %15 to i64
  %22 = alloca i8, i64 %21, align 16
  %23 = alloca i8, i64 %21, align 16
  %24 = alloca i8, i64 %21, align 16
  %25 = alloca i8, i64 %21, align 16
  %26 = alloca i8, i64 %21, align 16
  %27 = alloca i8, i64 %21, align 16
  %28 = load i32, ptr %2, align 4, !tbaa !5
  %29 = icmp sgt i32 %28, 0
  br i1 %29, label %.preheader229.lr.ph, label %._crit_edge232

.preheader229.lr.ph:                              ; preds = %1
  %30 = load i32, ptr %0, align 8, !tbaa !11
  %31 = icmp sgt i32 %30, 0
  br i1 %31, label %.preheader229.us.preheader, label %._crit_edge232

.preheader229.us.preheader:                       ; preds = %.preheader229.lr.ph
  %32 = shl nsw i32 %14, 1
  %33 = sext i32 %32 to i64
  %34 = sext i32 %14 to i64
  %35 = sext i32 %8 to i64
  %36 = zext nneg i32 %30 to i64
  %wide.trip.count257 = zext nneg i32 %28 to i64
  %wide.trip.count = zext nneg i32 %30 to i64
  br label %.preheader229.us

.preheader229.us:                                 ; preds = %.preheader229.us.preheader, %._crit_edge.us
  %indvars.iv254 = phi i64 [ 0, %.preheader229.us.preheader ], [ %indvars.iv.next255, %._crit_edge.us ]
  %37 = sub nsw i64 %indvars.iv254, %35
  %38 = icmp sgt i64 %37, -1
  %39 = icmp slt i64 %indvars.iv254, %35
  %40 = mul nuw nsw i64 %indvars.iv254, %36
  %41 = mul nsw i64 %indvars.iv254, %34
  %42 = mul nsw i64 %37, %34
  %43 = getelementptr inbounds i8, ptr %18, i64 %40
  %invariant.gep = getelementptr i8, ptr %23, i64 %41
  %44 = getelementptr inbounds i8, ptr %18, i64 %40
  %invariant.gep265 = getelementptr i8, ptr %26, i64 %42
  %45 = getelementptr inbounds i8, ptr %18, i64 %40
  %invariant.gep267 = getelementptr i8, ptr %25, i64 %42
  %46 = getelementptr inbounds i8, ptr %18, i64 %40
  %invariant.gep269 = getelementptr i8, ptr %24, i64 %41
  %47 = getelementptr inbounds i8, ptr %18, i64 %40
  %invariant.gep271 = getelementptr i8, ptr %22, i64 %41
  %48 = getelementptr inbounds i8, ptr %18, i64 %40
  %invariant.gep273 = getelementptr i8, ptr %27, i64 %42
  br label %49

49:                                               ; preds = %.preheader229.us, %.thread.us
  %indvars.iv = phi i64 [ 0, %.preheader229.us ], [ %indvars.iv.next, %.thread.us ]
  %50 = sub nsw i64 %indvars.iv, %33
  %51 = icmp sgt i64 %50, -1
  %brmerge.not = select i1 %51, i1 %38, i1 false
  br i1 %brmerge.not, label %76, label %52

52:                                               ; preds = %49
  %53 = sub nsw i64 %indvars.iv, %34
  %54 = icmp slt i64 %53, 0
  %or.cond.us = select i1 %54, i1 %39, i1 false
  br i1 %or.cond.us, label %73, label %55

55:                                               ; preds = %52
  %or.cond215.us = select i1 %51, i1 %39, i1 false
  br i1 %or.cond215.us, label %70, label %56

56:                                               ; preds = %55
  %brmerge240.not = select i1 %54, i1 %38, i1 false
  br i1 %brmerge240.not, label %67, label %57

57:                                               ; preds = %56
  %.not214.us = icmp sge i64 %indvars.iv, %34
  %58 = icmp slt i64 %indvars.iv, %33
  %or.cond216.us = and i1 %.not214.us, %58
  br i1 %or.cond216.us, label %59, label %.thread.us

59:                                               ; preds = %57
  br i1 %38, label %64, label %60

60:                                               ; preds = %59
  br i1 %39, label %61, label %.thread.us

61:                                               ; preds = %60
  %62 = getelementptr inbounds i8, ptr %43, i64 %indvars.iv
  %63 = load i8, ptr %62, align 1, !tbaa !13
  %gep = getelementptr i8, ptr %invariant.gep, i64 %53
  store i8 %63, ptr %gep, align 1, !tbaa !13
  br label %.thread.us

64:                                               ; preds = %59
  %65 = getelementptr inbounds i8, ptr %44, i64 %indvars.iv
  %66 = load i8, ptr %65, align 1, !tbaa !13
  %gep266 = getelementptr i8, ptr %invariant.gep265, i64 %53
  store i8 %66, ptr %gep266, align 1, !tbaa !13
  br label %.thread.us

67:                                               ; preds = %56
  %68 = getelementptr inbounds i8, ptr %45, i64 %indvars.iv
  %69 = load i8, ptr %68, align 1, !tbaa !13
  %gep268 = getelementptr i8, ptr %invariant.gep267, i64 %indvars.iv
  store i8 %69, ptr %gep268, align 1, !tbaa !13
  br label %.thread.us

70:                                               ; preds = %55
  %71 = getelementptr inbounds i8, ptr %46, i64 %indvars.iv
  %72 = load i8, ptr %71, align 1, !tbaa !13
  %gep270 = getelementptr i8, ptr %invariant.gep269, i64 %50
  store i8 %72, ptr %gep270, align 1, !tbaa !13
  br label %.thread.us

73:                                               ; preds = %52
  %74 = getelementptr inbounds i8, ptr %47, i64 %indvars.iv
  %75 = load i8, ptr %74, align 1, !tbaa !13
  %gep272 = getelementptr i8, ptr %invariant.gep271, i64 %indvars.iv
  store i8 %75, ptr %gep272, align 1, !tbaa !13
  br label %.thread.us

76:                                               ; preds = %49
  %77 = getelementptr inbounds i8, ptr %48, i64 %indvars.iv
  %78 = load i8, ptr %77, align 1, !tbaa !13
  %gep274 = getelementptr i8, ptr %invariant.gep273, i64 %50
  store i8 %78, ptr %gep274, align 1, !tbaa !13
  br label %.thread.us

.thread.us:                                       ; preds = %76, %73, %70, %67, %64, %61, %60, %57
  %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.us, label %49, !llvm.loop !14

._crit_edge.us:                                   ; preds = %.thread.us
  %indvars.iv.next255 = add nuw nsw i64 %indvars.iv254, 1
  %exitcond258.not = icmp eq i64 %indvars.iv.next255, %wide.trip.count257
  br i1 %exitcond258.not, label %._crit_edge232, label %.preheader229.us, !llvm.loop !16

._crit_edge232:                                   ; preds = %._crit_edge.us, %.preheader229.lr.ph, %1
  %79 = call noundef ptr @_Z14Otsu_AlgorithmPhii(ptr noundef nonnull %22, i32 noundef %14, i32 noundef %8)
  %80 = call noundef ptr @_Z14Otsu_AlgorithmPhii(ptr noundef nonnull %23, i32 noundef %14, i32 noundef %8)
  %81 = call noundef ptr @_Z14Otsu_AlgorithmPhii(ptr noundef nonnull %24, i32 noundef %14, i32 noundef %8)
  %82 = call noundef ptr @_Z14Otsu_AlgorithmPhii(ptr noundef nonnull %25, i32 noundef %14, i32 noundef %8)
  %83 = call noundef ptr @_Z14Otsu_AlgorithmPhii(ptr noundef nonnull %26, i32 noundef %14, i32 noundef %8)
  %84 = call noundef ptr @_Z14Otsu_AlgorithmPhii(ptr noundef nonnull %27, i32 noundef %14, i32 noundef %8)
  %85 = load i32, ptr %2, align 4, !tbaa !5
  %86 = icmp sgt i32 %85, 0
  br i1 %86, label %.preheader.lr.ph, label %._crit_edge235

.preheader.lr.ph:                                 ; preds = %._crit_edge232
  %87 = load i32, ptr %0, align 8, !tbaa !11
  %88 = icmp sgt i32 %87, 0
  br i1 %88, label %.preheader.preheader, label %._crit_edge235

.preheader.preheader:                             ; preds = %.preheader.lr.ph
  %89 = shl nsw i32 %14, 1
  %90 = sext i32 %89 to i64
  %91 = sext i32 %14 to i64
  %92 = sext i32 %8 to i64
  br label %.preheader

.preheader:                                       ; preds = %.preheader.preheader, %._crit_edge
  %93 = phi i32 [ %85, %.preheader.preheader ], [ %101, %._crit_edge ]
  %94 = phi i32 [ %87, %.preheader.preheader ], [ %102, %._crit_edge ]
  %indvars.iv262 = phi i64 [ 0, %.preheader.preheader ], [ %indvars.iv.next263, %._crit_edge ]
  %95 = icmp sgt i32 %94, 0
  br i1 %95, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %.preheader
  %96 = sub nsw i64 %indvars.iv262, %92
  %97 = icmp sgt i64 %96, -1
  %98 = icmp slt i64 %indvars.iv262, %92
  %99 = mul nsw i64 %indvars.iv262, %91
  %100 = mul nsw i64 %96, %91
  %invariant.gep275 = getelementptr i8, ptr %80, i64 %99
  %invariant.gep277 = getelementptr i8, ptr %83, i64 %100
  %invariant.gep279 = getelementptr i8, ptr %82, i64 %100
  %invariant.gep281 = getelementptr i8, ptr %81, i64 %99
  %invariant.gep283 = getelementptr i8, ptr %79, i64 %99
  %invariant.gep285 = getelementptr i8, ptr %84, i64 %100
  br label %105

._crit_edge235:                                   ; preds = %._crit_edge, %.preheader.lr.ph, %._crit_edge232
  call void @_Z12SavePNMImageP5ImagePc(ptr noundef %16, ptr noundef nonnull @.str.10)
  ret void

._crit_edge.loopexit:                             ; preds = %.thread227
  %.pre = load i32, ptr %2, align 4, !tbaa !5
  br label %._crit_edge

._crit_edge:                                      ; preds = %._crit_edge.loopexit, %.preheader
  %101 = phi i32 [ %.pre, %._crit_edge.loopexit ], [ %93, %.preheader ]
  %102 = phi i32 [ %129, %._crit_edge.loopexit ], [ %94, %.preheader ]
  %indvars.iv.next263 = add nuw nsw i64 %indvars.iv262, 1
  %103 = sext i32 %101 to i64
  %104 = icmp slt i64 %indvars.iv.next263, %103
  br i1 %104, label %.preheader, label %._crit_edge235, !llvm.loop !17

105:                                              ; preds = %.lr.ph, %.thread227
  %indvars.iv259 = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next260, %.thread227 ]
  %106 = phi i32 [ %94, %.lr.ph ], [ %129, %.thread227 ]
  %107 = sub nsw i64 %indvars.iv259, %90
  %108 = icmp sgt i64 %107, -1
  %brmerge243.not = select i1 %108, i1 %97, i1 false
  br i1 %brmerge243.not, label %109, label %110

109:                                              ; preds = %105
  %gep286 = getelementptr i8, ptr %invariant.gep285, i64 %107
  br label %.thread227.sink.split

110:                                              ; preds = %105
  %111 = sub nsw i64 %indvars.iv259, %91
  %112 = icmp slt i64 %111, 0
  %or.cond220 = select i1 %112, i1 %98, i1 false
  br i1 %or.cond220, label %113, label %114

113:                                              ; preds = %110
  %gep284 = getelementptr i8, ptr %invariant.gep283, i64 %indvars.iv259
  br label %.thread227.sink.split

114:                                              ; preds = %110
  %or.cond221 = select i1 %108, i1 %98, i1 false
  br i1 %or.cond221, label %115, label %116

115:                                              ; preds = %114
  %gep282 = getelementptr i8, ptr %invariant.gep281, i64 %107
  br label %.thread227.sink.split

116:                                              ; preds = %114
  %brmerge246.not = select i1 %112, i1 %97, i1 false
  br i1 %brmerge246.not, label %117, label %118

117:                                              ; preds = %116
  %gep280 = getelementptr i8, ptr %invariant.gep279, i64 %indvars.iv259
  br label %.thread227.sink.split

118:                                              ; preds = %116
  %.not = icmp sge i64 %indvars.iv259, %91
  %119 = icmp slt i64 %indvars.iv259, %90
  %or.cond222 = and i1 %.not, %119
  br i1 %or.cond222, label %120, label %.thread227

120:                                              ; preds = %118
  br i1 %97, label %121, label %122

121:                                              ; preds = %120
  %gep278 = getelementptr i8, ptr %invariant.gep277, i64 %111
  br label %.thread227.sink.split

122:                                              ; preds = %120
  br i1 %98, label %123, label %.thread227

123:                                              ; preds = %122
  %gep276 = getelementptr i8, ptr %invariant.gep275, i64 %111
  br label %.thread227.sink.split

.thread227.sink.split:                            ; preds = %113, %117, %123, %121, %115, %109
  %gep286.sink = phi ptr [ %gep286, %109 ], [ %gep282, %115 ], [ %gep278, %121 ], [ %gep276, %123 ], [ %gep280, %117 ], [ %gep284, %113 ]
  %124 = load i8, ptr %gep286.sink, align 1, !tbaa !13
  %125 = sext i32 %106 to i64
  %126 = mul nsw i64 %indvars.iv262, %125
  %127 = getelementptr i8, ptr %20, i64 %126
  %128 = getelementptr i8, ptr %127, i64 %indvars.iv259
  store i8 %124, ptr %128, align 1, !tbaa !13
  br label %.thread227

.thread227:                                       ; preds = %.thread227.sink.split, %118, %122
  %indvars.iv.next260 = add nuw nsw i64 %indvars.iv259, 1
  %129 = load i32, ptr %0, align 8, !tbaa !11
  %130 = sext i32 %129 to i64
  %131 = icmp slt i64 %indvars.iv.next260, %130
  br i1 %131, label %105, label %._crit_edge.loopexit, !llvm.loop !19
}

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_Z14CreateNewImageP5ImagePc(ptr noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z12SavePNMImageP5ImagePc(ptr noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_Z14Otsu_AlgorithmPhii(ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #0

attributes #0 = { mustprogress 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" }

!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 4}
!6 = !{!"_ZTS5Image", !7, i64 0, !7, i64 4, !7, i64 8, !10, i64 16, !8, i64 24, !7, i64 1524}
!7 = !{!"int", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"any pointer", !8, i64 0}
!11 = !{!6, !7, i64 0}
!12 = !{!6, !10, i64 16}
!13 = !{!8, !8, i64 0}
!14 = distinct !{!14, !15}
!15 = !{!"llvm.loop.mustprogress"}
!16 = distinct !{!16, !15}
!17 = distinct !{!17, !15, !18}
!18 = !{!"llvm.loop.unswitch.partial.disable"}
!19 = distinct !{!19, !15}


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