; LLVM IR from achilles288/robot-monitor-graphics :: src/base/bitmap.ll (ZN3rmg6Bitmap9pasteGrayERKS0_ss)

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

%"class.rmg::Bitmap" = type { i16, i16, i8, ptr }

; 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 nounwind uwtable
define dso_local void @_ZN3rmg6Bitmap9pasteGrayERKS0_ss(ptr noundef nonnull align 8 dereferenceable(16) %0, ptr noundef nonnull align 8 dereferenceable(16) %1, i16 noundef signext %2, i16 noundef signext %3) #1 align 2 {
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca i16, align 2
  %8 = alloca i16, align 2
  %9 = alloca i16, align 2
  %10 = alloca i16, align 2
  %11 = alloca i16, align 2
  %12 = alloca i16, align 2
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca i64, align 8
  %16 = alloca i64, align 8
  %17 = alloca i16, align 2
  %18 = alloca i32, align 4
  %19 = alloca i16, align 2
  %20 = alloca i16, align 2
  %21 = alloca i16, align 2
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store i16 %2, ptr %7, align 2, !tbaa !9
  store i16 %3, ptr %8, align 2, !tbaa !9
  %22 = load ptr, ptr %5, align 8
  call void @llvm.lifetime.start.p0(i64 2, ptr %9) #2
  %23 = load ptr, ptr %6, align 8, !tbaa !5
  %24 = getelementptr inbounds %"class.rmg::Bitmap", ptr %23, i32 0, i32 0
  %25 = load i16, ptr %24, align 8, !tbaa !11
  store i16 %25, ptr %9, align 2, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 2, ptr %10) #2
  %26 = load ptr, ptr %6, align 8, !tbaa !5
  %27 = getelementptr inbounds %"class.rmg::Bitmap", ptr %26, i32 0, i32 1
  %28 = load i16, ptr %27, align 2, !tbaa !13
  store i16 %28, ptr %10, align 2, !tbaa !9
  %29 = load i16, ptr %7, align 2, !tbaa !9
  %30 = sext i16 %29 to i32
  %31 = load i16, ptr %9, align 2, !tbaa !9
  %32 = zext i16 %31 to i32
  %33 = add nsw i32 %30, %32
  %34 = getelementptr inbounds %"class.rmg::Bitmap", ptr %22, i32 0, i32 0
  %35 = load i16, ptr %34, align 8, !tbaa !11
  %36 = zext i16 %35 to i32
  %37 = icmp sgt i32 %33, %36
  br i1 %37, label %38, label %46

38:                                               ; preds = %4
  %39 = getelementptr inbounds %"class.rmg::Bitmap", ptr %22, i32 0, i32 0
  %40 = load i16, ptr %39, align 8, !tbaa !11
  %41 = zext i16 %40 to i32
  %42 = load i16, ptr %7, align 2, !tbaa !9
  %43 = sext i16 %42 to i32
  %44 = sub nsw i32 %41, %43
  %45 = trunc i32 %44 to i16
  store i16 %45, ptr %9, align 2, !tbaa !9
  br label %46

46:                                               ; preds = %38, %4
  %47 = load i16, ptr %8, align 2, !tbaa !9
  %48 = sext i16 %47 to i32
  %49 = load i16, ptr %10, align 2, !tbaa !9
  %50 = zext i16 %49 to i32
  %51 = add nsw i32 %48, %50
  %52 = getelementptr inbounds %"class.rmg::Bitmap", ptr %22, i32 0, i32 1
  %53 = load i16, ptr %52, align 2, !tbaa !13
  %54 = zext i16 %53 to i32
  %55 = icmp sgt i32 %51, %54
  br i1 %55, label %56, label %64

56:                                               ; preds = %46
  %57 = getelementptr inbounds %"class.rmg::Bitmap", ptr %22, i32 0, i32 1
  %58 = load i16, ptr %57, align 2, !tbaa !13
  %59 = zext i16 %58 to i32
  %60 = load i16, ptr %8, align 2, !tbaa !9
  %61 = sext i16 %60 to i32
  %62 = sub nsw i32 %59, %61
  %63 = trunc i32 %62 to i16
  store i16 %63, ptr %10, align 2, !tbaa !9
  br label %64

64:                                               ; preds = %56, %46
  call void @llvm.lifetime.start.p0(i64 2, ptr %11) #2
  %65 = load i16, ptr %7, align 2, !tbaa !9
  %66 = sext i16 %65 to i32
  %67 = icmp slt i32 %66, 0
  br i1 %67, label %68, label %72

68:                                               ; preds = %64
  %69 = load i16, ptr %7, align 2, !tbaa !9
  %70 = sext i16 %69 to i32
  %71 = sub nsw i32 0, %70
  br label %73

72:                                               ; preds = %64
  br label %73

73:                                               ; preds = %72, %68
  %74 = phi i32 [ %71, %68 ], [ 0, %72 ]
  %75 = trunc i32 %74 to i16
  store i16 %75, ptr %11, align 2, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 2, ptr %12) #2
  %76 = load i16, ptr %8, align 2, !tbaa !9
  %77 = sext i16 %76 to i32
  %78 = icmp slt i32 %77, 0
  br i1 %78, label %79, label %83

79:                                               ; preds = %73
  %80 = load i16, ptr %8, align 2, !tbaa !9
  %81 = sext i16 %80 to i32
  %82 = sub nsw i32 0, %81
  br label %84

83:                                               ; preds = %73
  br label %84

84:                                               ; preds = %83, %79
  %85 = phi i32 [ %82, %79 ], [ 0, %83 ]
  %86 = trunc i32 %85 to i16
  store i16 %86, ptr %12, align 2, !tbaa !9
  %87 = load i16, ptr %11, align 2, !tbaa !9
  %88 = zext i16 %87 to i32
  %89 = load i16, ptr %9, align 2, !tbaa !9
  %90 = zext i16 %89 to i32
  %91 = sub nsw i32 %90, %88
  %92 = trunc i32 %91 to i16
  store i16 %92, ptr %9, align 2, !tbaa !9
  %93 = load i16, ptr %12, align 2, !tbaa !9
  %94 = zext i16 %93 to i32
  %95 = load i16, ptr %10, align 2, !tbaa !9
  %96 = zext i16 %95 to i32
  %97 = sub nsw i32 %96, %94
  %98 = trunc i32 %97 to i16
  store i16 %98, ptr %10, align 2, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #2
  %99 = load ptr, ptr %6, align 8, !tbaa !5
  %100 = getelementptr inbounds %"class.rmg::Bitmap", ptr %99, i32 0, i32 3
  %101 = load ptr, ptr %100, align 8, !tbaa !14
  %102 = load i16, ptr %11, align 2, !tbaa !9
  %103 = zext i16 %102 to i32
  %104 = load i16, ptr %12, align 2, !tbaa !9
  %105 = zext i16 %104 to i32
  %106 = load ptr, ptr %6, align 8, !tbaa !5
  %107 = getelementptr inbounds %"class.rmg::Bitmap", ptr %106, i32 0, i32 0
  %108 = load i16, ptr %107, align 8, !tbaa !11
  %109 = zext i16 %108 to i32
  %110 = mul nsw i32 %105, %109
  %111 = add nsw i32 %103, %110
  %112 = load ptr, ptr %6, align 8, !tbaa !5
  %113 = getelementptr inbounds %"class.rmg::Bitmap", ptr %112, i32 0, i32 2
  %114 = load i8, ptr %113, align 4, !tbaa !15
  %115 = zext i8 %114 to i32
  %116 = mul nsw i32 %111, %115
  %117 = sext i32 %116 to i64
  %118 = getelementptr inbounds i8, ptr %101, i64 %117
  store ptr %118, ptr %13, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #2
  %119 = getelementptr inbounds %"class.rmg::Bitmap", ptr %22, i32 0, i32 3
  %120 = load ptr, ptr %119, align 8, !tbaa !14
  %121 = load i16, ptr %7, align 2, !tbaa !9
  %122 = sext i16 %121 to i32
  %123 = load i16, ptr %8, align 2, !tbaa !9
  %124 = sext i16 %123 to i32
  %125 = getelementptr inbounds %"class.rmg::Bitmap", ptr %22, i32 0, i32 0
  %126 = load i16, ptr %125, align 8, !tbaa !11
  %127 = zext i16 %126 to i32
  %128 = mul nsw i32 %124, %127
  %129 = add nsw i32 %122, %128
  %130 = getelementptr inbounds %"class.rmg::Bitmap", ptr %22, i32 0, i32 2
  %131 = load i8, ptr %130, align 4, !tbaa !15
  %132 = zext i8 %131 to i32
  %133 = mul nsw i32 %129, %132
  %134 = sext i32 %133 to i64
  %135 = getelementptr inbounds i8, ptr %120, i64 %134
  store ptr %135, ptr %14, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #2
  %136 = load ptr, ptr %6, align 8, !tbaa !5
  %137 = getelementptr inbounds %"class.rmg::Bitmap", ptr %136, i32 0, i32 0
  %138 = load i16, ptr %137, align 8, !tbaa !11
  %139 = zext i16 %138 to i32
  %140 = load i16, ptr %9, align 2, !tbaa !9
  %141 = zext i16 %140 to i32
  %142 = sub nsw i32 %139, %141
  %143 = load ptr, ptr %6, align 8, !tbaa !5
  %144 = getelementptr inbounds %"class.rmg::Bitmap", ptr %143, i32 0, i32 2
  %145 = load i8, ptr %144, align 4, !tbaa !15
  %146 = zext i8 %145 to i32
  %147 = mul nsw i32 %142, %146
  %148 = sext i32 %147 to i64
  store i64 %148, ptr %15, align 8, !tbaa !16
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #2
  %149 = getelementptr inbounds %"class.rmg::Bitmap", ptr %22, i32 0, i32 0
  %150 = load i16, ptr %149, align 8, !tbaa !11
  %151 = zext i16 %150 to i32
  %152 = load i16, ptr %9, align 2, !tbaa !9
  %153 = zext i16 %152 to i32
  %154 = sub nsw i32 %151, %153
  %155 = getelementptr inbounds %"class.rmg::Bitmap", ptr %22, i32 0, i32 2
  %156 = load i8, ptr %155, align 4, !tbaa !15
  %157 = zext i8 %156 to i32
  %158 = mul nsw i32 %154, %157
  %159 = sext i32 %158 to i64
  store i64 %159, ptr %16, align 8, !tbaa !16
  %160 = getelementptr inbounds %"class.rmg::Bitmap", ptr %22, i32 0, i32 2
  %161 = load i8, ptr %160, align 4, !tbaa !15
  %162 = zext i8 %161 to i32
  %163 = icmp eq i32 %162, 1
  br i1 %163, label %164, label %202

164:                                              ; preds = %84
  call void @llvm.lifetime.start.p0(i64 2, ptr %17) #2
  store i16 0, ptr %17, align 2, !tbaa !9
  br label %165

165:                                              ; preds = %198, %164
  %166 = load i16, ptr %17, align 2, !tbaa !9
  %167 = zext i16 %166 to i32
  %168 = load i16, ptr %10, align 2, !tbaa !9
  %169 = zext i16 %168 to i32
  %170 = icmp slt i32 %167, %169
  br i1 %170, label %172, label %171

171:                                              ; preds = %165
  store i32 2, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 2, ptr %17) #2
  br label %201

172:                                              ; preds = %165
  call void @llvm.lifetime.start.p0(i64 2, ptr %19) #2
  store i16 0, ptr %19, align 2, !tbaa !9
  br label %173

173:                                              ; preds = %188, %172
  %174 = load i16, ptr %19, align 2, !tbaa !9
  %175 = zext i16 %174 to i32
  %176 = load i16, ptr %9, align 2, !tbaa !9
  %177 = zext i16 %176 to i32
  %178 = icmp slt i32 %175, %177
  br i1 %178, label %180, label %179

179:                                              ; preds = %173
  store i32 5, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 2, ptr %19) #2
  br label %191

180:                                              ; preds = %173
  %181 = load ptr, ptr %13, align 8, !tbaa !5
  %182 = load i8, ptr %181, align 1, !tbaa !18
  %183 = load ptr, ptr %14, align 8, !tbaa !5
  store i8 %182, ptr %183, align 1, !tbaa !18
  %184 = load ptr, ptr %13, align 8, !tbaa !5
  %185 = getelementptr inbounds i8, ptr %184, i32 1
  store ptr %185, ptr %13, align 8, !tbaa !5
  %186 = load ptr, ptr %14, align 8, !tbaa !5
  %187 = getelementptr inbounds i8, ptr %186, i32 1
  store ptr %187, ptr %14, align 8, !tbaa !5
  br label %188

188:                                              ; preds = %180
  %189 = load i16, ptr %19, align 2, !tbaa !9
  %190 = add i16 %189, 1
  store i16 %190, ptr %19, align 2, !tbaa !9
  br label %173, !llvm.loop !19

191:                                              ; preds = %179
  %192 = load i64, ptr %15, align 8, !tbaa !16
  %193 = load ptr, ptr %13, align 8, !tbaa !5
  %194 = getelementptr inbounds i8, ptr %193, i64 %192
  store ptr %194, ptr %13, align 8, !tbaa !5
  %195 = load i64, ptr %16, align 8, !tbaa !16
  %196 = load ptr, ptr %14, align 8, !tbaa !5
  %197 = getelementptr inbounds i8, ptr %196, i64 %195
  store ptr %197, ptr %14, align 8, !tbaa !5
  br label %198

198:                                              ; preds = %191
  %199 = load i16, ptr %17, align 2, !tbaa !9
  %200 = add i16 %199, 1
  store i16 %200, ptr %17, align 2, !tbaa !9
  br label %165, !llvm.loop !21

201:                                              ; preds = %171
  br label %243

202:                                              ; preds = %84
  call void @llvm.lifetime.start.p0(i64 2, ptr %20) #2
  store i16 0, ptr %20, align 2, !tbaa !9
  br label %203

203:                                              ; preds = %239, %202
  %204 = load i16, ptr %20, align 2, !tbaa !9
  %205 = zext i16 %204 to i32
  %206 = load i16, ptr %10, align 2, !tbaa !9
  %207 = zext i16 %206 to i32
  %208 = icmp slt i32 %205, %207
  br i1 %208, label %210, label %209

209:                                              ; preds = %203
  store i32 8, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 2, ptr %20) #2
  br label %242

210:                                              ; preds = %203
  call void @llvm.lifetime.start.p0(i64 2, ptr %21) #2
  store i16 0, ptr %21, align 2, !tbaa !9
  br label %211

211:                                              ; preds = %229, %210
  %212 = load i16, ptr %21, align 2, !tbaa !9
  %213 = zext i16 %212 to i32
  %214 = load i16, ptr %9, align 2, !tbaa !9
  %215 = zext i16 %214 to i32
  %216 = icmp slt i32 %213, %215
  br i1 %216, label %218, label %217

217:                                              ; preds = %211
  store i32 11, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 2, ptr %21) #2
  br label %232

218:                                              ; preds = %211
  %219 = load ptr, ptr %13, align 8, !tbaa !5
  %220 = load i8, ptr %219, align 1, !tbaa !18
  %221 = load ptr, ptr %14, align 8, !tbaa !5
  %222 = getelementptr inbounds i8, ptr %221, i64 0
  store i8 %220, ptr %222, align 1, !tbaa !18
  %223 = load ptr, ptr %14, align 8, !tbaa !5
  %224 = getelementptr inbounds i8, ptr %223, i64 1
  store i8 -1, ptr %224, align 1, !tbaa !18
  %225 = load ptr, ptr %13, align 8, !tbaa !5
  %226 = getelementptr inbounds i8, ptr %225, i64 1
  store ptr %226, ptr %13, align 8, !tbaa !5
  %227 = load ptr, ptr %14, align 8, !tbaa !5
  %228 = getelementptr inbounds i8, ptr %227, i64 2
  store ptr %228, ptr %14, align 8, !tbaa !5
  br label %229

229:                                              ; preds = %218
  %230 = load i16, ptr %21, align 2, !tbaa !9
  %231 = add i16 %230, 1
  store i16 %231, ptr %21, align 2, !tbaa !9
  br label %211, !llvm.loop !22

232:                                              ; preds = %217
  %233 = load i64, ptr %15, align 8, !tbaa !16
  %234 = load ptr, ptr %13, align 8, !tbaa !5
  %235 = getelementptr inbounds i8, ptr %234, i64 %233
  store ptr %235, ptr %13, align 8, !tbaa !5
  %236 = load i64, ptr %16, align 8, !tbaa !16
  %237 = load ptr, ptr %14, align 8, !tbaa !5
  %238 = getelementptr inbounds i8, ptr %237, i64 %236
  store ptr %238, ptr %14, align 8, !tbaa !5
  br label %239

239:                                              ; preds = %232
  %240 = load i16, ptr %20, align 2, !tbaa !9
  %241 = add i16 %240, 1
  store i16 %241, ptr %20, align 2, !tbaa !9
  br label %203, !llvm.loop !23

242:                                              ; preds = %209
  br label %243

243:                                              ; preds = %242, %201
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #2
  call void @llvm.lifetime.end.p0(i64 2, ptr %12) #2
  call void @llvm.lifetime.end.p0(i64 2, ptr %11) #2
  call void @llvm.lifetime.end.p0(i64 2, ptr %10) #2
  call void @llvm.lifetime.end.p0(i64 2, ptr %9) #2
  ret void
}

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress 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 = { 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, !10, i64 0}
!10 = !{!"short", !7, i64 0}
!11 = !{!12, !10, i64 0}
!12 = !{!"_ZTSN3rmg6BitmapE", !10, i64 0, !10, i64 2, !7, i64 4, !6, i64 8}
!13 = !{!12, !10, i64 2}
!14 = !{!12, !6, i64 8}
!15 = !{!12, !7, i64 4}
!16 = !{!17, !17, i64 0}
!17 = !{!"long", !7, i64 0}
!18 = !{!7, !7, i64 0}
!19 = distinct !{!19, !20}
!20 = !{!"llvm.loop.mustprogress"}
!21 = distinct !{!21, !20}
!22 = distinct !{!22, !20}
!23 = distinct !{!23, !20}


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

; Function Attrs: mustprogress nofree norecurse nosync nounwind memory(readwrite, inaccessiblemem: none) uwtable
define dso_local void @_ZN3rmg6Bitmap9pasteGrayERKS0_ss(ptr nocapture noundef nonnull readonly align 8 dereferenceable(16) %0, ptr nocapture noundef nonnull readonly align 8 dereferenceable(16) %1, i16 noundef signext %2, i16 noundef signext %3) local_unnamed_addr #0 align 2 {
  %5 = load i16, ptr %1, align 8, !tbaa !5
  %6 = getelementptr inbounds i8, ptr %1, i64 2
  %7 = load i16, ptr %6, align 2, !tbaa !11
  %8 = sext i16 %2 to i32
  %9 = zext i16 %5 to i32
  %10 = add nsw i32 %9, %8
  %11 = load i16, ptr %0, align 8, !tbaa !5
  %12 = zext i16 %11 to i32
  %13 = icmp sgt i32 %10, %12
  %14 = sub i16 %11, %2
  %spec.select = select i1 %13, i16 %14, i16 %5
  %15 = sext i16 %3 to i32
  %16 = zext i16 %7 to i32
  %17 = add nsw i32 %16, %15
  %18 = getelementptr inbounds i8, ptr %0, i64 2
  %19 = load i16, ptr %18, align 2, !tbaa !11
  %20 = zext i16 %19 to i32
  %21 = icmp sgt i32 %17, %20
  %22 = sub i16 %19, %3
  %.060 = select i1 %21, i16 %22, i16 %7
  %23 = icmp slt i16 %2, 0
  %24 = sub i16 0, %2
  %25 = select i1 %23, i16 %24, i16 0
  %26 = icmp slt i16 %3, 0
  %27 = sub i16 0, %3
  %28 = select i1 %26, i16 %27, i16 0
  %29 = zext i16 %25 to i32
  %30 = sub i16 %spec.select, %25
  %31 = zext i16 %28 to i32
  %32 = sub i16 %.060, %28
  %33 = getelementptr inbounds i8, ptr %1, i64 8
  %34 = load ptr, ptr %33, align 8, !tbaa !12
  %35 = mul nuw nsw i32 %9, %31
  %36 = add nuw nsw i32 %35, %29
  %37 = getelementptr inbounds i8, ptr %1, i64 4
  %38 = load i8, ptr %37, align 4, !tbaa !13
  %39 = zext i8 %38 to i32
  %40 = mul nuw nsw i32 %36, %39
  %41 = zext nneg i32 %40 to i64
  %42 = getelementptr inbounds i8, ptr %34, i64 %41
  %43 = getelementptr inbounds i8, ptr %0, i64 8
  %44 = load ptr, ptr %43, align 8, !tbaa !12
  %45 = mul nsw i32 %12, %15
  %46 = add nsw i32 %45, %8
  %47 = getelementptr inbounds i8, ptr %0, i64 4
  %48 = load i8, ptr %47, align 4, !tbaa !13
  %49 = zext i8 %48 to i32
  %50 = mul nsw i32 %46, %49
  %51 = sext i32 %50 to i64
  %52 = getelementptr inbounds i8, ptr %44, i64 %51
  %53 = zext i16 %30 to i32
  %54 = sub nsw i32 %9, %53
  %55 = mul nsw i32 %54, %39
  %56 = sext i32 %55 to i64
  %57 = sub nsw i32 %12, %53
  %58 = mul nsw i32 %57, %49
  %59 = sext i32 %58 to i64
  %60 = icmp eq i8 %48, 1
  %.not89 = icmp eq i16 %.060, %28
  %.not90 = icmp eq i16 %spec.select, %25
  %or.cond107 = select i1 %.not89, i1 true, i1 %.not90
  br i1 %60, label %.preheader68, label %.preheader70

.preheader70:                                     ; preds = %4
  br i1 %or.cond107, label %.loopexit, label %.preheader69.us.preheader

.preheader69.us.preheader:                        ; preds = %.preheader70
  %umax = tail call i16 @llvm.umax.i16(i16 %30, i16 1)
  %umax97 = tail call i16 @llvm.umax.i16(i16 %32, i16 1)
  %61 = add i16 %umax, -1
  %62 = zext i16 %61 to i64
  %63 = shl nuw nsw i64 %62, 1
  %64 = add nuw nsw i64 %63, 2
  %65 = zext i16 %umax to i64
  %66 = tail call i16 @llvm.umax.i16(i16 %30, i16 1)
  %umax113 = zext i16 %66 to i64
  %min.iters.check = icmp ult i16 %30, 16
  %n.vec = and i64 %umax113, 65520
  %ind.end = trunc nuw i64 %n.vec to i16
  %67 = shl nuw nsw i64 %n.vec, 1
  %cmp.n = icmp eq i64 %n.vec, %umax113
  br label %.preheader69.us

.preheader69.us:                                  ; preds = %.preheader69.us.preheader, %._crit_edge.us
  %.05678.us = phi i16 [ %98, %._crit_edge.us ], [ 0, %.preheader69.us.preheader ]
  %.277.us = phi ptr [ %97, %._crit_edge.us ], [ %52, %.preheader69.us.preheader ]
  %.26476.us = phi ptr [ %96, %._crit_edge.us ], [ %42, %.preheader69.us.preheader ]
  br i1 %min.iters.check, label %scalar.ph.preheader, label %vector.memcheck

vector.memcheck:                                  ; preds = %.preheader69.us
  %scevgep = getelementptr i8, ptr %.277.us, i64 %64
  %scevgep112 = getelementptr i8, ptr %.26476.us, i64 %65
  %bound0 = icmp ult ptr %.277.us, %scevgep112
  %bound1 = icmp ult ptr %.26476.us, %scevgep
  %found.conflict = and i1 %bound0, %bound1
  br i1 %found.conflict, label %scalar.ph.preheader, label %vector.ph

vector.ph:                                        ; preds = %vector.memcheck
  %ind.end114 = getelementptr i8, ptr %.277.us, i64 %67
  %ind.end116 = getelementptr i8, ptr %.26476.us, i64 %n.vec
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %offset.idx = shl i64 %index, 1
  %68 = or disjoint i64 %offset.idx, 16
  %next.gep = getelementptr i8, ptr %.277.us, i64 %offset.idx
  %next.gep118 = getelementptr i8, ptr %.277.us, i64 %68
  %next.gep119 = getelementptr i8, ptr %.26476.us, i64 %index
  %69 = getelementptr i8, ptr %next.gep119, i64 8
  %wide.load = load <8 x i8>, ptr %next.gep119, align 1, !tbaa !14, !alias.scope !15
  %wide.load121 = load <8 x i8>, ptr %69, align 1, !tbaa !14, !alias.scope !15
  %interleaved.vec = shufflevector <8 x i8> %wide.load, <8 x i8> <i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1>, <16 x i32> <i32 0, i32 8, i32 1, i32 9, i32 2, i32 10, i32 3, i32 11, i32 4, i32 12, i32 5, i32 13, i32 6, i32 14, i32 7, i32 15>
  store <16 x i8> %interleaved.vec, ptr %next.gep, align 1, !tbaa !14
  %interleaved.vec122 = shufflevector <8 x i8> %wide.load121, <8 x i8> <i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1>, <16 x i32> <i32 0, i32 8, i32 1, i32 9, i32 2, i32 10, i32 3, i32 11, i32 4, i32 12, i32 5, i32 13, i32 6, i32 14, i32 7, i32 15>
  store <16 x i8> %interleaved.vec122, ptr %next.gep118, align 1, !tbaa !14
  %index.next = add nuw i64 %index, 16
  %70 = icmp eq i64 %index.next, %n.vec
  br i1 %70, label %middle.block, label %vector.body, !llvm.loop !18

middle.block:                                     ; preds = %vector.body
  br i1 %cmp.n, label %._crit_edge.us, label %scalar.ph.preheader

scalar.ph.preheader:                              ; preds = %middle.block, %vector.memcheck, %.preheader69.us
  %.074.us.ph = phi i16 [ 0, %vector.memcheck ], [ 0, %.preheader69.us ], [ %ind.end, %middle.block ]
  %.373.us.ph = phi ptr [ %.277.us, %vector.memcheck ], [ %.277.us, %.preheader69.us ], [ %ind.end114, %middle.block ]
  %.36572.us.ph = phi ptr [ %.26476.us, %vector.memcheck ], [ %.26476.us, %.preheader69.us ], [ %ind.end116, %middle.block ]
  %71 = sub i16 %66, %.074.us.ph
  %xtraiter = and i16 %71, 3
  %lcmp.mod.not = icmp eq i16 %xtraiter, 0
  br i1 %lcmp.mod.not, label %scalar.ph.prol.loopexit, label %scalar.ph.prol

scalar.ph.prol:                                   ; preds = %scalar.ph.preheader, %scalar.ph.prol
  %.074.us.prol = phi i16 [ %76, %scalar.ph.prol ], [ %.074.us.ph, %scalar.ph.preheader ]
  %.373.us.prol = phi ptr [ %75, %scalar.ph.prol ], [ %.373.us.ph, %scalar.ph.preheader ]
  %.36572.us.prol = phi ptr [ %74, %scalar.ph.prol ], [ %.36572.us.ph, %scalar.ph.preheader ]
  %prol.iter = phi i16 [ %prol.iter.next, %scalar.ph.prol ], [ 0, %scalar.ph.preheader ]
  %72 = load i8, ptr %.36572.us.prol, align 1, !tbaa !14
  store i8 %72, ptr %.373.us.prol, align 1, !tbaa !14
  %73 = getelementptr inbounds i8, ptr %.373.us.prol, i64 1
  store i8 -1, ptr %73, align 1, !tbaa !14
  %74 = getelementptr inbounds i8, ptr %.36572.us.prol, i64 1
  %75 = getelementptr inbounds i8, ptr %.373.us.prol, i64 2
  %76 = add nuw i16 %.074.us.prol, 1
  %prol.iter.next = add i16 %prol.iter, 1
  %prol.iter.cmp.not = icmp eq i16 %prol.iter.next, %xtraiter
  br i1 %prol.iter.cmp.not, label %scalar.ph.prol.loopexit, label %scalar.ph.prol, !llvm.loop !22

scalar.ph.prol.loopexit:                          ; preds = %scalar.ph.prol, %scalar.ph.preheader
  %.lcssa153.unr = phi ptr [ poison, %scalar.ph.preheader ], [ %74, %scalar.ph.prol ]
  %.lcssa152.unr = phi ptr [ poison, %scalar.ph.preheader ], [ %75, %scalar.ph.prol ]
  %.074.us.unr = phi i16 [ %.074.us.ph, %scalar.ph.preheader ], [ %76, %scalar.ph.prol ]
  %.373.us.unr = phi ptr [ %.373.us.ph, %scalar.ph.preheader ], [ %75, %scalar.ph.prol ]
  %.36572.us.unr = phi ptr [ %.36572.us.ph, %scalar.ph.preheader ], [ %74, %scalar.ph.prol ]
  %77 = sub i16 %.074.us.ph, %66
  %78 = icmp ugt i16 %77, -4
  br i1 %78, label %._crit_edge.us, label %scalar.ph

scalar.ph:                                        ; preds = %scalar.ph.prol.loopexit, %scalar.ph
  %.074.us = phi i16 [ %95, %scalar.ph ], [ %.074.us.unr, %scalar.ph.prol.loopexit ]
  %.373.us = phi ptr [ %94, %scalar.ph ], [ %.373.us.unr, %scalar.ph.prol.loopexit ]
  %.36572.us = phi ptr [ %93, %scalar.ph ], [ %.36572.us.unr, %scalar.ph.prol.loopexit ]
  %79 = load i8, ptr %.36572.us, align 1, !tbaa !14
  store i8 %79, ptr %.373.us, align 1, !tbaa !14
  %80 = getelementptr inbounds i8, ptr %.373.us, i64 1
  store i8 -1, ptr %80, align 1, !tbaa !14
  %81 = getelementptr inbounds i8, ptr %.36572.us, i64 1
  %82 = getelementptr inbounds i8, ptr %.373.us, i64 2
  %83 = load i8, ptr %81, align 1, !tbaa !14
  store i8 %83, ptr %82, align 1, !tbaa !14
  %84 = getelementptr inbounds i8, ptr %.373.us, i64 3
  store i8 -1, ptr %84, align 1, !tbaa !14
  %85 = getelementptr inbounds i8, ptr %.36572.us, i64 2
  %86 = getelementptr inbounds i8, ptr %.373.us, i64 4
  %87 = load i8, ptr %85, align 1, !tbaa !14
  store i8 %87, ptr %86, align 1, !tbaa !14
  %88 = getelementptr inbounds i8, ptr %.373.us, i64 5
  store i8 -1, ptr %88, align 1, !tbaa !14
  %89 = getelementptr inbounds i8, ptr %.36572.us, i64 3
  %90 = getelementptr inbounds i8, ptr %.373.us, i64 6
  %91 = load i8, ptr %89, align 1, !tbaa !14
  store i8 %91, ptr %90, align 1, !tbaa !14
  %92 = getelementptr inbounds i8, ptr %.373.us, i64 7
  store i8 -1, ptr %92, align 1, !tbaa !14
  %93 = getelementptr inbounds i8, ptr %.36572.us, i64 4
  %94 = getelementptr inbounds i8, ptr %.373.us, i64 8
  %95 = add nuw i16 %.074.us, 4
  %exitcond.not.3 = icmp eq i16 %30, %95
  br i1 %exitcond.not.3, label %._crit_edge.us, label %scalar.ph, !llvm.loop !24

._crit_edge.us:                                   ; preds = %scalar.ph.prol.loopexit, %scalar.ph, %middle.block
  %.lcssa111 = phi ptr [ %ind.end116, %middle.block ], [ %.lcssa153.unr, %scalar.ph.prol.loopexit ], [ %93, %scalar.ph ]
  %.lcssa110 = phi ptr [ %ind.end114, %middle.block ], [ %.lcssa152.unr, %scalar.ph.prol.loopexit ], [ %94, %scalar.ph ]
  %96 = getelementptr inbounds i8, ptr %.lcssa111, i64 %56
  %97 = getelementptr inbounds i8, ptr %.lcssa110, i64 %59
  %98 = add nuw i16 %.05678.us, 1
  %exitcond98.not = icmp eq i16 %98, %umax97
  br i1 %exitcond98.not, label %.loopexit, label %.preheader69.us, !llvm.loop !25

.preheader68:                                     ; preds = %4
  br i1 %or.cond107, label %.loopexit, label %.preheader.us.preheader

.preheader.us.preheader:                          ; preds = %.preheader68
  %umax101 = tail call i16 @llvm.umax.i16(i16 %32, i16 1)
  %99 = tail call i16 @llvm.umax.i16(i16 %30, i16 1)
  %umax126 = zext i16 %99 to i64
  %min.iters.check129 = icmp ult i16 %30, 32
  %n.vec132 = and i64 %umax126, 65504
  %ind.end133 = trunc nuw i64 %n.vec132 to i16
  %cmp.n148 = icmp eq i64 %n.vec132, %umax126
  br label %.preheader.us

.preheader.us:                                    ; preds = %.preheader.us.preheader, %._crit_edge.us86
  %.05885.us = phi i16 [ %138, %._crit_edge.us86 ], [ 0, %.preheader.us.preheader ]
  %.06184.us = phi ptr [ %137, %._crit_edge.us86 ], [ %52, %.preheader.us.preheader ]
  %.06283.us = phi ptr [ %136, %._crit_edge.us86 ], [ %42, %.preheader.us.preheader ]
  %.06283.us125 = ptrtoint ptr %.06283.us to i64
  %.06184.us124 = ptrtoint ptr %.06184.us to i64
  %100 = sub i64 %.06184.us124, %.06283.us125
  %diff.check = icmp ult i64 %100, 32
  %or.cond = select i1 %min.iters.check129, i1 true, i1 %diff.check
  br i1 %or.cond, label %scalar.ph128.preheader, label %vector.ph130

vector.ph130:                                     ; preds = %.preheader.us
  %ind.end135 = getelementptr i8, ptr %.06184.us, i64 %n.vec132
  %ind.end137 = getelementptr i8, ptr %.06283.us, i64 %n.vec132
  br label %vector.body139

vector.body139:                                   ; preds = %vector.body139, %vector.ph130
  %index140 = phi i64 [ 0, %vector.ph130 ], [ %index.next147, %vector.body139 ]
  %next.gep141 = getelementptr i8, ptr %.06184.us, i64 %index140
  %next.gep143 = getelementptr i8, ptr %.06283.us, i64 %index140
  %101 = getelementptr i8, ptr %next.gep143, i64 16
  %wide.load145 = load <16 x i8>, ptr %next.gep143, align 1, !tbaa !14
  %wide.load146 = load <16 x i8>, ptr %101, align 1, !tbaa !14
  %102 = getelementptr i8, ptr %next.gep141, i64 16
  store <16 x i8> %wide.load145, ptr %next.gep141, align 1, !tbaa !14
  store <16 x i8> %wide.load146, ptr %102, align 1, !tbaa !14
  %index.next147 = add nuw i64 %index140, 32
  %103 = icmp eq i64 %index.next147, %n.vec132
  br i1 %103, label %middle.block127, label %vector.body139, !llvm.loop !26

middle.block127:                                  ; preds = %vector.body139
  br i1 %cmp.n148, label %._crit_edge.us86, label %scalar.ph128.preheader

scalar.ph128.preheader:                           ; preds = %middle.block127, %.preheader.us
  %.05781.us.ph = phi i16 [ 0, %.preheader.us ], [ %ind.end133, %middle.block127 ]
  %.180.us.ph = phi ptr [ %.06184.us, %.preheader.us ], [ %ind.end135, %middle.block127 ]
  %.16379.us.ph = phi ptr [ %.06283.us, %.preheader.us ], [ %ind.end137, %middle.block127 ]
  %104 = sub i16 %99, %.05781.us.ph
  %xtraiter154 = and i16 %104, 7
  %lcmp.mod155.not = icmp eq i16 %xtraiter154, 0
  br i1 %lcmp.mod155.not, label %scalar.ph128.prol.loopexit, label %scalar.ph128.prol

scalar.ph128.prol:                                ; preds = %scalar.ph128.preheader, %scalar.ph128.prol
  %.05781.us.prol = phi i16 [ %108, %scalar.ph128.prol ], [ %.05781.us.ph, %scalar.ph128.preheader ]
  %.180.us.prol = phi ptr [ %107, %scalar.ph128.prol ], [ %.180.us.ph, %scalar.ph128.preheader ]
  %.16379.us.prol = phi ptr [ %106, %scalar.ph128.prol ], [ %.16379.us.ph, %scalar.ph128.preheader ]
  %prol.iter156 = phi i16 [ %prol.iter156.next, %scalar.ph128.prol ], [ 0, %scalar.ph128.preheader ]
  %105 = load i8, ptr %.16379.us.prol, align 1, !tbaa !14
  store i8 %105, ptr %.180.us.prol, align 1, !tbaa !14
  %106 = getelementptr inbounds i8, ptr %.16379.us.prol, i64 1
  %107 = getelementptr inbounds i8, ptr %.180.us.prol, i64 1
  %108 = add nuw i16 %.05781.us.prol, 1
  %prol.iter156.next = add i16 %prol.iter156, 1
  %prol.iter156.cmp.not = icmp eq i16 %prol.iter156.next, %xtraiter154
  br i1 %prol.iter156.cmp.not, label %scalar.ph128.prol.loopexit, label %scalar.ph128.prol, !llvm.loop !27

scalar.ph128.prol.loopexit:                       ; preds = %scalar.ph128.prol, %scalar.ph128.preheader
  %.lcssa150.unr = phi ptr [ poison, %scalar.ph128.preheader ], [ %106, %scalar.ph128.prol ]
  %.lcssa149.unr = phi ptr [ poison, %scalar.ph128.preheader ], [ %107, %scalar.ph128.prol ]
  %.05781.us.unr = phi i16 [ %.05781.us.ph, %scalar.ph128.preheader ], [ %108, %scalar.ph128.prol ]
  %.180.us.unr = phi ptr [ %.180.us.ph, %scalar.ph128.preheader ], [ %107, %scalar.ph128.prol ]
  %.16379.us.unr = phi ptr [ %.16379.us.ph, %scalar.ph128.preheader ], [ %106, %scalar.ph128.prol ]
  %109 = sub i16 %.05781.us.ph, %99
  %110 = icmp ugt i16 %109, -8
  br i1 %110, label %._crit_edge.us86, label %scalar.ph128

scalar.ph128:                                     ; preds = %scalar.ph128.prol.loopexit, %scalar.ph128
  %.05781.us = phi i16 [ %135, %scalar.ph128 ], [ %.05781.us.unr, %scalar.ph128.prol.loopexit ]
  %.180.us = phi ptr [ %134, %scalar.ph128 ], [ %.180.us.unr, %scalar.ph128.prol.loopexit ]
  %.16379.us = phi ptr [ %133, %scalar.ph128 ], [ %.16379.us.unr, %scalar.ph128.prol.loopexit ]
  %111 = load i8, ptr %.16379.us, align 1, !tbaa !14
  store i8 %111, ptr %.180.us, align 1, !tbaa !14
  %112 = getelementptr inbounds i8, ptr %.16379.us, i64 1
  %113 = getelementptr inbounds i8, ptr %.180.us, i64 1
  %114 = load i8, ptr %112, align 1, !tbaa !14
  store i8 %114, ptr %113, align 1, !tbaa !14
  %115 = getelementptr inbounds i8, ptr %.16379.us, i64 2
  %116 = getelementptr inbounds i8, ptr %.180.us, i64 2
  %117 = load i8, ptr %115, align 1, !tbaa !14
  store i8 %117, ptr %116, align 1, !tbaa !14
  %118 = getelementptr inbounds i8, ptr %.16379.us, i64 3
  %119 = getelementptr inbounds i8, ptr %.180.us, i64 3
  %120 = load i8, ptr %118, align 1, !tbaa !14
  store i8 %120, ptr %119, align 1, !tbaa !14
  %121 = getelementptr inbounds i8, ptr %.16379.us, i64 4
  %122 = getelementptr inbounds i8, ptr %.180.us, i64 4
  %123 = load i8, ptr %121, align 1, !tbaa !14
  store i8 %123, ptr %122, align 1, !tbaa !14
  %124 = getelementptr inbounds i8, ptr %.16379.us, i64 5
  %125 = getelementptr inbounds i8, ptr %.180.us, i64 5
  %126 = load i8, ptr %124, align 1, !tbaa !14
  store i8 %126, ptr %125, align 1, !tbaa !14
  %127 = getelementptr inbounds i8, ptr %.16379.us, i64 6
  %128 = getelementptr inbounds i8, ptr %.180.us, i64 6
  %129 = load i8, ptr %127, align 1, !tbaa !14
  store i8 %129, ptr %128, align 1, !tbaa !14
  %130 = getelementptr inbounds i8, ptr %.16379.us, i64 7
  %131 = getelementptr inbounds i8, ptr %.180.us, i64 7
  %132 = load i8, ptr %130, align 1, !tbaa !14
  store i8 %132, ptr %131, align 1, !tbaa !14
  %133 = getelementptr inbounds i8, ptr %.16379.us, i64 8
  %134 = getelementptr inbounds i8, ptr %.180.us, i64 8
  %135 = add nuw i16 %.05781.us, 8
  %exitcond100.not.7 = icmp eq i16 %30, %135
  br i1 %exitcond100.not.7, label %._crit_edge.us86, label %scalar.ph128, !llvm.loop !28

._crit_edge.us86:                                 ; preds = %scalar.ph128.prol.loopexit, %scalar.ph128, %middle.block127
  %.lcssa109 = phi ptr [ %ind.end137, %middle.block127 ], [ %.lcssa150.unr, %scalar.ph128.prol.loopexit ], [ %133, %scalar.ph128 ]
  %.lcssa = phi ptr [ %ind.end135, %middle.block127 ], [ %.lcssa149.unr, %scalar.ph128.prol.loopexit ], [ %134, %scalar.ph128 ]
  %136 = getelementptr inbounds i8, ptr %.lcssa109, i64 %56
  %137 = getelementptr inbounds i8, ptr %.lcssa, i64 %59
  %138 = add nuw i16 %.05885.us, 1
  %exitcond102.not = icmp eq i16 %138, %umax101
  br i1 %exitcond102.not, label %.loopexit, label %.preheader.us, !llvm.loop !29

.loopexit:                                        ; preds = %._crit_edge.us, %._crit_edge.us86, %.preheader70, %.preheader68
  ret void
}

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

attributes #0 = { mustprogress nofree norecurse nosync nounwind memory(readwrite, inaccessiblemem: none) uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }

!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 0}
!6 = !{!"_ZTSN3rmg6BitmapE", !7, i64 0, !7, i64 2, !8, i64 4, !10, i64 8}
!7 = !{!"short", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"any pointer", !8, i64 0}
!11 = !{!6, !7, i64 2}
!12 = !{!6, !10, i64 8}
!13 = !{!6, !8, i64 4}
!14 = !{!8, !8, i64 0}
!15 = !{!16}
!16 = distinct !{!16, !17}
!17 = distinct !{!17, !"LVerDomain"}
!18 = distinct !{!18, !19, !20, !21}
!19 = !{!"llvm.loop.mustprogress"}
!20 = !{!"llvm.loop.isvectorized", i32 1}
!21 = !{!"llvm.loop.unroll.runtime.disable"}
!22 = distinct !{!22, !23}
!23 = !{!"llvm.loop.unroll.disable"}
!24 = distinct !{!24, !19, !20}
!25 = distinct !{!25, !19}
!26 = distinct !{!26, !19, !20, !21}
!27 = distinct !{!27, !23}
!28 = distinct !{!28, !19, !20}
!29 = distinct !{!29, !19}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalDCEPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopInstSimplifyPass,LoopLoadEliminationPass,LoopRotatePass,LoopSimplifyCFGPass,LoopSimplifyPass,LoopUnrollPass,LoopVectorizePass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass