; LLVM IR from ubaldot/defrecs :: stm32f4x/ADC_Readings/Drivers/CMSIS/NN/Source/ConvolutionFunctions (nonsquare)

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

; Function Attrs: nounwind uwtable
define dso_local i32 @arm_convolve_HWC_q15_fast_nonsquare(ptr noundef %0, i16 noundef zeroext %1, i16 noundef zeroext %2, i16 noundef zeroext %3, ptr noundef %4, i16 noundef zeroext %5, i16 noundef zeroext %6, i16 noundef zeroext %7, i16 noundef zeroext %8, i16 noundef zeroext %9, i16 noundef zeroext %10, i16 noundef zeroext %11, ptr noundef %12, i16 noundef zeroext %13, i16 noundef zeroext %14, ptr noundef %15, i16 noundef zeroext %16, i16 noundef zeroext %17, ptr noundef %18, ptr noundef %19) #0 {
  %21 = alloca i32, align 4
  %22 = alloca ptr, align 8
  %23 = alloca i16, align 2
  %24 = alloca i16, align 2
  %25 = alloca i16, align 2
  %26 = alloca ptr, align 8
  %27 = alloca i16, align 2
  %28 = alloca i16, align 2
  %29 = alloca i16, align 2
  %30 = alloca i16, align 2
  %31 = alloca i16, align 2
  %32 = alloca i16, align 2
  %33 = alloca i16, align 2
  %34 = alloca ptr, align 8
  %35 = alloca i16, align 2
  %36 = alloca i16, align 2
  %37 = alloca ptr, align 8
  %38 = alloca i16, align 2
  %39 = alloca i16, align 2
  %40 = alloca ptr, align 8
  %41 = alloca ptr, align 8
  %42 = alloca i32, align 4
  %43 = alloca i32, align 4
  %44 = alloca i32, align 4
  %45 = alloca i32, align 4
  %46 = alloca i32, align 4
  %47 = alloca i32, align 4
  %48 = alloca i32, align 4
  %49 = alloca i32, align 4
  %50 = alloca i32, align 4
  %51 = alloca i32, align 4
  store ptr %0, ptr %22, align 8, !tbaa !5
  store i16 %1, ptr %23, align 2, !tbaa !9
  store i16 %2, ptr %24, align 2, !tbaa !9
  store i16 %3, ptr %25, align 2, !tbaa !9
  store ptr %4, ptr %26, align 8, !tbaa !5
  store i16 %5, ptr %27, align 2, !tbaa !9
  store i16 %6, ptr %28, align 2, !tbaa !9
  store i16 %7, ptr %29, align 2, !tbaa !9
  store i16 %8, ptr %30, align 2, !tbaa !9
  store i16 %9, ptr %31, align 2, !tbaa !9
  store i16 %10, ptr %32, align 2, !tbaa !9
  store i16 %11, ptr %33, align 2, !tbaa !9
  store ptr %12, ptr %34, align 8, !tbaa !5
  store i16 %13, ptr %35, align 2, !tbaa !9
  store i16 %14, ptr %36, align 2, !tbaa !9
  store ptr %15, ptr %37, align 8, !tbaa !5
  store i16 %16, ptr %38, align 2, !tbaa !9
  store i16 %17, ptr %39, align 2, !tbaa !9
  store ptr %18, ptr %40, align 8, !tbaa !5
  store ptr %19, ptr %41, align 8, !tbaa !5
  %52 = load ptr, ptr %41, align 8, !tbaa !5
  %53 = load ptr, ptr %40, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %45) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %46) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %47) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %49) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %50) #3
  %54 = load i16, ptr %25, align 2, !tbaa !9
  %55 = zext i16 %54 to i32
  %56 = srem i32 %55, 2
  %57 = icmp ne i32 %56, 0
  br i1 %57, label %63, label %58

58:                                               ; preds = %20
  %59 = load i16, ptr %27, align 2, !tbaa !9
  %60 = zext i16 %59 to i32
  %61 = srem i32 %60, 2
  %62 = icmp ne i32 %61, 0
  br i1 %62, label %63, label %64

63:                                               ; preds = %58, %20
  store i32 -3, ptr %21, align 4
  store i32 1, ptr %51, align 4
  br label %240

64:                                               ; preds = %58
  store i32 0, ptr %42, align 4, !tbaa !11
  br label %65

65:                                               ; preds = %236, %64
  %66 = load i32, ptr %42, align 4, !tbaa !11
  %67 = load i16, ptr %27, align 2, !tbaa !9
  %68 = zext i16 %67 to i32
  %69 = icmp slt i32 %66, %68
  br i1 %69, label %70, label %239

70:                                               ; preds = %65
  store i32 0, ptr %43, align 4, !tbaa !11
  br label %71

71:                                               ; preds = %232, %70
  %72 = load i32, ptr %43, align 4, !tbaa !11
  %73 = load i16, ptr %39, align 2, !tbaa !9
  %74 = zext i16 %73 to i32
  %75 = icmp slt i32 %72, %74
  br i1 %75, label %76, label %235

76:                                               ; preds = %71
  store i32 0, ptr %44, align 4, !tbaa !11
  br label %77

77:                                               ; preds = %228, %76
  %78 = load i32, ptr %44, align 4, !tbaa !11
  %79 = load i16, ptr %38, align 2, !tbaa !9
  %80 = zext i16 %79 to i32
  %81 = icmp slt i32 %78, %80
  br i1 %81, label %82, label %231

82:                                               ; preds = %77
  %83 = load ptr, ptr %34, align 8, !tbaa !5
  %84 = load i32, ptr %42, align 4, !tbaa !11
  %85 = sext i32 %84 to i64
  %86 = getelementptr inbounds i16, ptr %83, i64 %85
  %87 = load i16, ptr %86, align 2, !tbaa !9
  %88 = sext i16 %87 to i32
  %89 = load i16, ptr %35, align 2, !tbaa !9
  %90 = zext i16 %89 to i32
  %91 = shl i32 %88, %90
  %92 = load i16, ptr %36, align 2, !tbaa !9
  %93 = zext i16 %92 to i32
  %94 = shl i32 1, %93
  %95 = ashr i32 %94, 1
  %96 = add nsw i32 %91, %95
  store i32 %96, ptr %48, align 4, !tbaa !11
  store i32 0, ptr %46, align 4, !tbaa !11
  br label %97

97:                                               ; preds = %204, %82
  %98 = load i32, ptr %46, align 4, !tbaa !11
  %99 = load i16, ptr %29, align 2, !tbaa !9
  %100 = zext i16 %99 to i32
  %101 = icmp slt i32 %98, %100
  br i1 %101, label %102, label %207

102:                                              ; preds = %97
  store i32 0, ptr %47, align 4, !tbaa !11
  br label %103

103:                                              ; preds = %200, %102
  %104 = load i32, ptr %47, align 4, !tbaa !11
  %105 = load i16, ptr %28, align 2, !tbaa !9
  %106 = zext i16 %105 to i32
  %107 = icmp slt i32 %104, %106
  br i1 %107, label %108, label %203

108:                                              ; preds = %103
  %109 = load i16, ptr %33, align 2, !tbaa !9
  %110 = zext i16 %109 to i32
  %111 = load i32, ptr %43, align 4, !tbaa !11
  %112 = mul nsw i32 %110, %111
  %113 = load i32, ptr %46, align 4, !tbaa !11
  %114 = add nsw i32 %112, %113
  %115 = load i16, ptr %31, align 2, !tbaa !9
  %116 = zext i16 %115 to i32
  %117 = sub nsw i32 %114, %116
  store i32 %117, ptr %49, align 4, !tbaa !11
  %118 = load i16, ptr %32, align 2, !tbaa !9
  %119 = zext i16 %118 to i32
  %120 = load i32, ptr %44, align 4, !tbaa !11
  %121 = mul nsw i32 %119, %120
  %122 = load i32, ptr %47, align 4, !tbaa !11
  %123 = add nsw i32 %121, %122
  %124 = load i16, ptr %30, align 2, !tbaa !9
  %125 = zext i16 %124 to i32
  %126 = sub nsw i32 %123, %125
  store i32 %126, ptr %50, align 4, !tbaa !11
  %127 = load i32, ptr %49, align 4, !tbaa !11
  %128 = icmp sge i32 %127, 0
  br i1 %128, label %129, label %199

129:                                              ; preds = %108
  %130 = load i32, ptr %50, align 4, !tbaa !11
  %131 = icmp sge i32 %130, 0
  br i1 %131, label %132, label %199

132:                                              ; preds = %129
  %133 = load i32, ptr %49, align 4, !tbaa !11
  %134 = load i16, ptr %24, align 2, !tbaa !9
  %135 = zext i16 %134 to i32
  %136 = icmp slt i32 %133, %135
  br i1 %136, label %137, label %199

137:                                              ; preds = %132
  %138 = load i32, ptr %50, align 4, !tbaa !11
  %139 = load i16, ptr %23, align 2, !tbaa !9
  %140 = zext i16 %139 to i32
  %141 = icmp slt i32 %138, %140
  br i1 %141, label %142, label %199

142:                                              ; preds = %137
  store i32 0, ptr %45, align 4, !tbaa !11
  br label %143

143:                                              ; preds = %195, %142
  %144 = load i32, ptr %45, align 4, !tbaa !11
  %145 = load i16, ptr %25, align 2, !tbaa !9
  %146 = zext i16 %145 to i32
  %147 = icmp slt i32 %144, %146
  br i1 %147, label %148, label %198

148:                                              ; preds = %143
  %149 = load ptr, ptr %22, align 8, !tbaa !5
  %150 = load i32, ptr %49, align 4, !tbaa !11
  %151 = load i16, ptr %23, align 2, !tbaa !9
  %152 = zext i16 %151 to i32
  %153 = mul nsw i32 %150, %152
  %154 = load i32, ptr %50, align 4, !tbaa !11
  %155 = add nsw i32 %153, %154
  %156 = load i16, ptr %25, align 2, !tbaa !9
  %157 = zext i16 %156 to i32
  %158 = mul nsw i32 %155, %157
  %159 = load i32, ptr %45, align 4, !tbaa !11
  %160 = add nsw i32 %158, %159
  %161 = sext i32 %160 to i64
  %162 = getelementptr inbounds i16, ptr %149, i64 %161
  %163 = load i16, ptr %162, align 2, !tbaa !9
  %164 = sext i16 %163 to i32
  %165 = load ptr, ptr %26, align 8, !tbaa !5
  %166 = load i32, ptr %42, align 4, !tbaa !11
  %167 = load i16, ptr %25, align 2, !tbaa !9
  %168 = zext i16 %167 to i32
  %169 = mul nsw i32 %166, %168
  %170 = load i16, ptr %28, align 2, !tbaa !9
  %171 = zext i16 %170 to i32
  %172 = mul nsw i32 %169, %171
  %173 = load i16, ptr %29, align 2, !tbaa !9
  %174 = zext i16 %173 to i32
  %175 = mul nsw i32 %172, %174
  %176 = load i32, ptr %46, align 4, !tbaa !11
  %177 = load i16, ptr %28, align 2, !tbaa !9
  %178 = zext i16 %177 to i32
  %179 = mul nsw i32 %176, %178
  %180 = load i32, ptr %47, align 4, !tbaa !11
  %181 = add nsw i32 %179, %180
  %182 = load i16, ptr %25, align 2, !tbaa !9
  %183 = zext i16 %182 to i32
  %184 = mul nsw i32 %181, %183
  %185 = add nsw i32 %175, %184
  %186 = load i32, ptr %45, align 4, !tbaa !11
  %187 = add nsw i32 %185, %186
  %188 = sext i32 %187 to i64
  %189 = getelementptr inbounds i16, ptr %165, i64 %188
  %190 = load i16, ptr %189, align 2, !tbaa !9
  %191 = sext i16 %190 to i32
  %192 = mul nsw i32 %164, %191
  %193 = load i32, ptr %48, align 4, !tbaa !11
  %194 = add nsw i32 %193, %192
  store i32 %194, ptr %48, align 4, !tbaa !11
  br label %195

195:                                              ; preds = %148
  %196 = load i32, ptr %45, align 4, !tbaa !11
  %197 = add nsw i32 %196, 1
  store i32 %197, ptr %45, align 4, !tbaa !11
  br label %143, !llvm.loop !13

198:                                              ; preds = %143
  br label %199

199:                                              ; preds = %198, %137, %132, %129, %108
  br label %200

200:                                              ; preds = %199
  %201 = load i32, ptr %47, align 4, !tbaa !11
  %202 = add nsw i32 %201, 1
  store i32 %202, ptr %47, align 4, !tbaa !11
  br label %103, !llvm.loop !15

203:                                              ; preds = %103
  br label %204

204:                                              ; preds = %203
  %205 = load i32, ptr %46, align 4, !tbaa !11
  %206 = add nsw i32 %205, 1
  store i32 %206, ptr %46, align 4, !tbaa !11
  br label %97, !llvm.loop !16

207:                                              ; preds = %97
  %208 = load i32, ptr %48, align 4, !tbaa !11
  %209 = load i16, ptr %36, align 2, !tbaa !9
  %210 = zext i16 %209 to i32
  %211 = ashr i32 %208, %210
  %212 = call i32 @__SSAT(i32 noundef %211, i32 noundef 16)
  %213 = trunc i32 %212 to i16
  %214 = load ptr, ptr %37, align 8, !tbaa !5
  %215 = load i32, ptr %42, align 4, !tbaa !11
  %216 = load i32, ptr %43, align 4, !tbaa !11
  %217 = load i16, ptr %38, align 2, !tbaa !9
  %218 = zext i16 %217 to i32
  %219 = mul nsw i32 %216, %218
  %220 = load i32, ptr %44, align 4, !tbaa !11
  %221 = add nsw i32 %219, %220
  %222 = load i16, ptr %27, align 2, !tbaa !9
  %223 = zext i16 %222 to i32
  %224 = mul nsw i32 %221, %223
  %225 = add nsw i32 %215, %224
  %226 = sext i32 %225 to i64
  %227 = getelementptr inbounds i16, ptr %214, i64 %226
  store i16 %213, ptr %227, align 2, !tbaa !9
  br label %228

228:                                              ; preds = %207
  %229 = load i32, ptr %44, align 4, !tbaa !11
  %230 = add nsw i32 %229, 1
  store i32 %230, ptr %44, align 4, !tbaa !11
  br label %77, !llvm.loop !17

231:                                              ; preds = %77
  br label %232

232:                                              ; preds = %231
  %233 = load i32, ptr %43, align 4, !tbaa !11
  %234 = add nsw i32 %233, 1
  store i32 %234, ptr %43, align 4, !tbaa !11
  br label %71, !llvm.loop !18

235:                                              ; preds = %71
  br label %236

236:                                              ; preds = %235
  %237 = load i32, ptr %42, align 4, !tbaa !11
  %238 = add nsw i32 %237, 1
  store i32 %238, ptr %42, align 4, !tbaa !11
  br label %65, !llvm.loop !19

239:                                              ; preds = %65
  store i32 0, ptr %21, align 4
  store i32 1, ptr %51, align 4
  br label %240

240:                                              ; preds = %239, %63
  call void @llvm.lifetime.end.p0(i64 4, ptr %50) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %49) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %47) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %45) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #3
  %241 = load i32, ptr %21, align 4
  ret i32 %241
}

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

; Function Attrs: alwaysinline nounwind uwtable
declare hidden i32 @__SSAT(i32 noundef, i32 noundef) #2

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

attributes #0 = { 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 #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { alwaysinline 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 = { 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/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"short", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = distinct !{!15, !14}
!16 = distinct !{!16, !14}
!17 = distinct !{!17, !14}
!18 = distinct !{!18, !14}
!19 = distinct !{!19, !14}


; 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: nounwind uwtable
define dso_local range(i32 -3, 1) i32 @arm_convolve_HWC_q15_fast_nonsquare(ptr nocapture noundef readonly %0, i16 noundef zeroext %1, i16 noundef zeroext %2, i16 noundef zeroext %3, ptr nocapture noundef readonly %4, i16 noundef zeroext %5, i16 noundef zeroext %6, i16 noundef zeroext %7, i16 noundef zeroext %8, i16 noundef zeroext %9, i16 noundef zeroext %10, i16 noundef zeroext %11, ptr nocapture noundef readonly %12, i16 noundef zeroext %13, i16 noundef zeroext %14, ptr nocapture noundef writeonly %15, i16 noundef zeroext %16, i16 noundef zeroext %17, ptr nocapture noundef readnone %18, ptr nocapture noundef readnone %19) local_unnamed_addr #0 {
  %21 = zext i16 %3 to i32
  %22 = and i32 %21, 1
  %.not = icmp eq i32 %22, 0
  %23 = and i16 %5, 1
  %.not81 = icmp eq i16 %23, 0
  %or.cond261 = and i1 %.not, %.not81
  br i1 %or.cond261, label %.preheader90, label %.loopexit91

.preheader90:                                     ; preds = %20
  %.not167 = icmp eq i16 %5, 0
  br i1 %.not167, label %.loopexit91, label %.preheader89.lr.ph

.preheader89.lr.ph:                               ; preds = %.preheader90
  %.not168 = icmp eq i16 %17, 0
  %24 = zext nneg i16 %13 to i32
  %25 = zext i16 %14 to i32
  %26 = shl nuw i32 1, %25
  %27 = ashr i32 %26, 1
  %28 = zext i16 %7 to i32
  %29 = zext i16 %6 to i32
  %.not171 = icmp eq i16 %6, 0
  %30 = zext i16 %9 to i32
  %31 = zext i16 %8 to i32
  %32 = zext i16 %2 to i32
  %33 = zext i16 %1 to i32
  %.not172 = icmp eq i16 %3, 0
  %.not169 = icmp eq i16 %16, 0
  %or.cond262 = or i1 %.not168, %.not169
  br i1 %or.cond262, label %.loopexit91, label %.preheader89.lr.ph.split.us.split.us

.preheader89.lr.ph.split.us.split.us:             ; preds = %.preheader89.lr.ph
  %.not170 = icmp eq i16 %7, 0
  br i1 %.not170, label %.preheader89.us.us.preheader, label %.preheader89.lr.ph.split.us.split.us.split.us

.preheader89.us.us.preheader:                     ; preds = %.preheader89.lr.ph.split.us.split.us
  %34 = zext i16 %5 to i64
  %35 = zext i16 %16 to i64
  %wide.trip.count241 = zext i16 %17 to i64
  br label %.preheader89.us.us

.preheader89.lr.ph.split.us.split.us.split.us:    ; preds = %.preheader89.lr.ph.split.us.split.us
  br i1 %.not171, label %.preheader89.us.us.us.preheader, label %.preheader89.lr.ph.split.us.split.us.split.us.split.us

.preheader89.us.us.us.preheader:                  ; preds = %.preheader89.lr.ph.split.us.split.us.split.us
  %36 = zext i16 %5 to i64
  %37 = zext i16 %16 to i64
  %wide.trip.count226 = zext i16 %17 to i64
  br label %.preheader89.us.us.us

.preheader89.lr.ph.split.us.split.us.split.us.split.us: ; preds = %.preheader89.lr.ph.split.us.split.us.split.us
  br i1 %.not172, label %.preheader89.us.us.us.us.preheader, label %.preheader89.us.us.us.us.us.preheader

.preheader89.us.us.us.us.us.preheader:            ; preds = %.preheader89.lr.ph.split.us.split.us.split.us.split.us
  %38 = zext i16 %10 to i64
  %39 = zext i16 %5 to i64
  %40 = zext i16 %11 to i64
  %41 = zext i16 %16 to i64
  %42 = zext i16 %7 to i64
  %wide.trip.count196 = zext i16 %17 to i64
  %wide.trip.count185 = zext i16 %6 to i64
  %wide.trip.count = zext i16 %3 to i64
  %min.iters.check = icmp ult i16 %3, 8
  %n.vec = and i64 %wide.trip.count, 65528
  %cmp.n = icmp eq i64 %n.vec, %wide.trip.count
  br label %.preheader89.us.us.us.us.us

.preheader89.us.us.us.us.preheader:               ; preds = %.preheader89.lr.ph.split.us.split.us.split.us.split.us
  %43 = zext i16 %5 to i64
  %44 = zext i16 %16 to i64
  %wide.trip.count211 = zext i16 %17 to i64
  br label %.preheader89.us.us.us.us

.preheader89.us.us.us.us.us:                      ; preds = %.preheader89.us.us.us.us.us.preheader, %._crit_edge133.split.us.split.us.split.us.split.us.us.us.us.us.us
  %indvars.iv198 = phi i64 [ 0, %.preheader89.us.us.us.us.us.preheader ], [ %indvars.iv.next199, %._crit_edge133.split.us.split.us.split.us.split.us.us.us.us.us.us ]
  %45 = getelementptr inbounds i16, ptr %12, i64 %indvars.iv198
  %46 = mul nuw nsw i64 %indvars.iv198, %42
  %47 = trunc nuw i64 %46 to i32
  %invariant.gep253 = getelementptr inbounds i16, ptr %15, i64 %indvars.iv198
  br label %.preheader88.us.us.us.us.us.us.us.us.us

.preheader88.us.us.us.us.us.us.us.us.us:          ; preds = %._crit_edge.split.us.split.us.us.us.split.us.us.us.us.us.us.us.us, %.preheader89.us.us.us.us.us
  %indvars.iv193 = phi i64 [ %indvars.iv.next194, %._crit_edge.split.us.split.us.us.us.split.us.us.us.us.us.us.us.us ], [ 0, %.preheader89.us.us.us.us.us ]
  %48 = mul nuw nsw i64 %indvars.iv193, %40
  %49 = trunc nuw i64 %48 to i32
  %50 = sub nsw i32 %49, %30
  %51 = mul nuw nsw i64 %indvars.iv193, %41
  br label %.preheader87.lr.ph.us.us.us.us.us.us.us.us.us.us.us.us

.preheader87.lr.ph.us.us.us.us.us.us.us.us.us.us.us.us: ; preds = %._crit_edge107.split.us.split.us.us.us.us.us.us.us.us.us.us.us.us.us, %.preheader88.us.us.us.us.us.us.us.us.us
  %indvars.iv188 = phi i64 [ %indvars.iv.next189, %._crit_edge107.split.us.split.us.us.us.us.us.us.us.us.us.us.us.us.us ], [ 0, %.preheader88.us.us.us.us.us.us.us.us.us ]
  %52 = load i16, ptr %45, align 2, !tbaa !5
  %53 = sext i16 %52 to i32
  %54 = shl i32 %53, %24
  %55 = add nsw i32 %54, %27
  %56 = mul nuw nsw i64 %indvars.iv188, %38
  %57 = trunc nuw i64 %56 to i32
  %58 = sub nsw i32 %57, %31
  br label %.preheader87.us.us.us.us.us.us.us.us.us.us.us.us.us.us

.preheader87.us.us.us.us.us.us.us.us.us.us.us.us.us.us: ; preds = %._crit_edge.us.us.us.us.us.us.us.us.us.us.us.us.us.us, %.preheader87.lr.ph.us.us.us.us.us.us.us.us.us.us.us.us
  %.067106.us.us.us.us.us.us.us.us.us.us.us.us.us.us = phi i32 [ %55, %.preheader87.lr.ph.us.us.us.us.us.us.us.us.us.us.us.us ], [ %.us-phi.us.us.us.us.us.us.us.us.us.us.us.us.us.us, %._crit_edge.us.us.us.us.us.us.us.us.us.us.us.us.us.us ]
  %.069105.us.us.us.us.us.us.us.us.us.us.us.us.us.us = phi i32 [ 0, %.preheader87.lr.ph.us.us.us.us.us.us.us.us.us.us.us.us ], [ %62, %._crit_edge.us.us.us.us.us.us.us.us.us.us.us.us.us.us ]
  %59 = add i32 %50, %.069105.us.us.us.us.us.us.us.us.us.us.us.us.us.us
  %.fr173 = freeze i32 %59
  %60 = mul nuw nsw i32 %.fr173, %33
  %reass.add85.us.us.us.us.us.us.us.us.us.us.us.us.us.us = add nuw i32 %.069105.us.us.us.us.us.us.us.us.us.us.us.us.us.us, %47
  %reass.mul86.us.us.us.us.us.us.us.us.us.us.us.us.us.us = mul i32 %reass.add85.us.us.us.us.us.us.us.us.us.us.us.us.us.us, %29
  %61 = icmp ult i32 %.fr173, %32
  br i1 %61, label %.lr.ph97.split.us111.us.us.us.us.us.us.us.us.us.us.us.us.us, label %._crit_edge.us.us.us.us.us.us.us.us.us.us.us.us.us.us

._crit_edge.us.us.us.us.us.us.us.us.us.us.us.us.us.us: ; preds = %..loopexit_crit_edge.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us, %.preheader87.us.us.us.us.us.us.us.us.us.us.us.us.us.us
  %.us-phi.us.us.us.us.us.us.us.us.us.us.us.us.us.us = phi i32 [ %.067106.us.us.us.us.us.us.us.us.us.us.us.us.us.us, %.preheader87.us.us.us.us.us.us.us.us.us.us.us.us.us.us ], [ %.3.us102.us.us.us.us.us.us.us.us.us.us.us.us.us.us, %..loopexit_crit_edge.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us ]
  %62 = add nuw nsw i32 %.069105.us.us.us.us.us.us.us.us.us.us.us.us.us.us, 1
  %exitcond187.not = icmp eq i32 %62, %28
  br i1 %exitcond187.not, label %._crit_edge107.split.us.split.us.us.us.us.us.us.us.us.us.us.us.us.us, label %.preheader87.us.us.us.us.us.us.us.us.us.us.us.us.us.us, !llvm.loop !9

.lr.ph97.split.us111.us.us.us.us.us.us.us.us.us.us.us.us.us: ; preds = %.preheader87.us.us.us.us.us.us.us.us.us.us.us.us.us.us, %..loopexit_crit_edge.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us
  %indvars.iv182 = phi i64 [ %indvars.iv.next183, %..loopexit_crit_edge.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us ], [ 0, %.preheader87.us.us.us.us.us.us.us.us.us.us.us.us.us.us ]
  %.196.us100.us.us.us.us.us.us.us.us.us.us.us.us.us.us = phi i32 [ %.3.us102.us.us.us.us.us.us.us.us.us.us.us.us.us.us, %..loopexit_crit_edge.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us ], [ %.067106.us.us.us.us.us.us.us.us.us.us.us.us.us.us, %.preheader87.us.us.us.us.us.us.us.us.us.us.us.us.us.us ]
  %63 = trunc nuw nsw i64 %indvars.iv182 to i32
  %64 = add i32 %58, %63
  %65 = icmp sgt i32 %64, -1
  %66 = icmp ult i32 %64, %33
  %or.cond = and i1 %65, %66
  br i1 %or.cond, label %.preheader.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us, label %..loopexit_crit_edge.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us

..loopexit_crit_edge.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us: ; preds = %scalar.ph, %middle.block, %.lr.ph97.split.us111.us.us.us.us.us.us.us.us.us.us.us.us.us
  %.3.us102.us.us.us.us.us.us.us.us.us.us.us.us.us.us = phi i32 [ %.196.us100.us.us.us.us.us.us.us.us.us.us.us.us.us.us, %.lr.ph97.split.us111.us.us.us.us.us.us.us.us.us.us.us.us.us ], [ %91, %middle.block ], [ %72, %scalar.ph ]
  %indvars.iv.next183 = add nuw nsw i64 %indvars.iv182, 1
  %exitcond186.not = icmp eq i64 %indvars.iv.next183, %wide.trip.count185
  br i1 %exitcond186.not, label %._crit_edge.us.us.us.us.us.us.us.us.us.us.us.us.us.us, label %.lr.ph97.split.us111.us.us.us.us.us.us.us.us.us.us.us.us.us, !llvm.loop !11

scalar.ph:                                        ; preds = %scalar.ph.preheader, %scalar.ph
  %indvars.iv = phi i64 [ %indvars.iv.next, %scalar.ph ], [ %indvars.iv.ph, %scalar.ph.preheader ]
  %.293.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us = phi i32 [ %72, %scalar.ph ], [ %.293.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us.ph, %scalar.ph.preheader ]
  %gep = getelementptr inbounds i16, ptr %invariant.gep, i64 %indvars.iv
  %67 = load i16, ptr %gep, align 2, !tbaa !5
  %68 = sext i16 %67 to i32
  %gep252 = getelementptr inbounds i16, ptr %invariant.gep251, i64 %indvars.iv
  %69 = load i16, ptr %gep252, align 2, !tbaa !5
  %70 = sext i16 %69 to i32
  %71 = mul nsw i32 %70, %68
  %72 = add nsw i32 %71, %.293.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us
  %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 %..loopexit_crit_edge.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us, label %scalar.ph, !llvm.loop !12

.preheader.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us: ; preds = %.lr.ph97.split.us111.us.us.us.us.us.us.us.us.us.us.us.us.us
  %73 = add nuw nsw i32 %64, %60
  %74 = mul nuw nsw i32 %73, %21
  %reass.add.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us = add i32 %reass.mul86.us.us.us.us.us.us.us.us.us.us.us.us.us.us, %63
  %reass.mul.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us = mul i32 %reass.add.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us, %21
  %75 = zext i32 %74 to i64
  %76 = zext i32 %reass.mul.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us to i64
  %invariant.gep = getelementptr inbounds i16, ptr %0, i64 %75
  %invariant.gep251 = getelementptr inbounds i16, ptr %4, i64 %76
  br i1 %min.iters.check, label %scalar.ph.preheader, label %vector.ph

scalar.ph.preheader:                              ; preds = %middle.block, %.preheader.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us
  %indvars.iv.ph = phi i64 [ 0, %.preheader.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us ], [ %n.vec, %middle.block ]
  %.293.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us.ph = phi i32 [ %.196.us100.us.us.us.us.us.us.us.us.us.us.us.us.us.us, %.preheader.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us ], [ %91, %middle.block ]
  br label %scalar.ph

vector.ph:                                        ; preds = %.preheader.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us
  %77 = insertelement <4 x i32> <i32 poison, i32 0, i32 0, i32 0>, i32 %.196.us100.us.us.us.us.us.us.us.us.us.us.us.us.us.us, i64 0
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %vec.phi = phi <4 x i32> [ %77, %vector.ph ], [ %88, %vector.body ]
  %vec.phi266 = phi <4 x i32> [ zeroinitializer, %vector.ph ], [ %89, %vector.body ]
  %78 = getelementptr inbounds i16, ptr %invariant.gep, i64 %index
  %79 = getelementptr inbounds i8, ptr %78, i64 8
  %wide.load = load <4 x i16>, ptr %78, align 2, !tbaa !5
  %wide.load267 = load <4 x i16>, ptr %79, align 2, !tbaa !5
  %80 = sext <4 x i16> %wide.load to <4 x i32>
  %81 = sext <4 x i16> %wide.load267 to <4 x i32>
  %82 = getelementptr inbounds i16, ptr %invariant.gep251, i64 %index
  %83 = getelementptr inbounds i8, ptr %82, i64 8
  %wide.load268 = load <4 x i16>, ptr %82, align 2, !tbaa !5
  %wide.load269 = load <4 x i16>, ptr %83, align 2, !tbaa !5
  %84 = sext <4 x i16> %wide.load268 to <4 x i32>
  %85 = sext <4 x i16> %wide.load269 to <4 x i32>
  %86 = mul nsw <4 x i32> %84, %80
  %87 = mul nsw <4 x i32> %85, %81
  %88 = add <4 x i32> %86, %vec.phi
  %89 = add <4 x i32> %87, %vec.phi266
  %index.next = add nuw i64 %index, 8
  %90 = icmp eq i64 %index.next, %n.vec
  br i1 %90, label %middle.block, label %vector.body, !llvm.loop !15

middle.block:                                     ; preds = %vector.body
  %bin.rdx = add <4 x i32> %89, %88
  %91 = tail call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %bin.rdx)
  br i1 %cmp.n, label %..loopexit_crit_edge.us.us.us.us.us.us.us.us.us.us.us.us.us.us.us, label %scalar.ph.preheader

._crit_edge107.split.us.split.us.us.us.us.us.us.us.us.us.us.us.us.us: ; preds = %._crit_edge.us.us.us.us.us.us.us.us.us.us.us.us.us.us
  %92 = ashr i32 %.us-phi.us.us.us.us.us.us.us.us.us.us.us.us.us.us, %25
  %93 = tail call i32 @__SSAT(i32 noundef %92, i32 noundef 16)
  %94 = trunc i32 %93 to i16
  %95 = add nuw nsw i64 %indvars.iv188, %51
  %96 = mul nuw nsw i64 %95, %39
  %gep254 = getelementptr inbounds i16, ptr %invariant.gep253, i64 %96
  store i16 %94, ptr %gep254, align 2, !tbaa !5
  %indvars.iv.next189 = add nuw nsw i64 %indvars.iv188, 1
  %exitcond192.not = icmp eq i64 %indvars.iv.next189, %41
  br i1 %exitcond192.not, label %._crit_edge.split.us.split.us.us.us.split.us.us.us.us.us.us.us.us, label %.preheader87.lr.ph.us.us.us.us.us.us.us.us.us.us.us.us, !llvm.loop !16

._crit_edge.split.us.split.us.us.us.split.us.us.us.us.us.us.us.us: ; preds = %._crit_edge107.split.us.split.us.us.us.us.us.us.us.us.us.us.us.us.us
  %indvars.iv.next194 = add nuw nsw i64 %indvars.iv193, 1
  %exitcond197.not = icmp eq i64 %indvars.iv.next194, %wide.trip.count196
  br i1 %exitcond197.not, label %._crit_edge133.split.us.split.us.split.us.split.us.us.us.us.us.us, label %.preheader88.us.us.us.us.us.us.us.us.us, !llvm.loop !17

._crit_edge133.split.us.split.us.split.us.split.us.us.us.us.us.us: ; preds = %._crit_edge.split.us.split.us.us.us.split.us.us.us.us.us.us.us.us
  %indvars.iv.next199 = add nuw nsw i64 %indvars.iv198, 1
  %exitcond202.not = icmp eq i64 %indvars.iv.next199, %39
  br i1 %exitcond202.not, label %.loopexit91, label %.preheader89.us.us.us.us.us, !llvm.loop !18

.preheader89.us.us.us.us:                         ; preds = %.preheader89.us.us.us.us.preheader, %._crit_edge133.split.us.split.us.split.us.split.us164.us.us.us
  %indvars.iv213 = phi i64 [ 0, %.preheader89.us.us.us.us.preheader ], [ %indvars.iv.next214, %._crit_edge133.split.us.split.us.split.us.split.us164.us.us.us ]
  %97 = getelementptr inbounds i16, ptr %12, i64 %indvars.iv213
  %invariant.gep255 = getelementptr inbounds i16, ptr %15, i64 %indvars.iv213
  br label %.preheader88.us.us.us.us162.us.us.us

.preheader88.us.us.us.us162.us.us.us:             ; preds = %.preheader89.us.us.us.us, %._crit_edge.split.us.split.us.us.us.split.us143.us.us.us.us
  %indvars.iv208 = phi i64 [ 0, %.preheader89.us.us.us.us ], [ %indvars.iv.next209, %._crit_edge.split.us.split.us.us.us.split.us143.us.us.us.us ]
  %98 = mul nuw nsw i64 %indvars.iv208, %44
  br label %.preheader87.lr.ph.us.us.us.us.us141.us.us.us.us

.preheader87.lr.ph.us.us.us.us.us141.us.us.us.us: ; preds = %.preheader87.lr.ph.us.us.us.us.us141.us.us.us.us, %.preheader88.us.us.us.us162.us.us.us
  %indvars.iv203 = phi i64 [ %indvars.iv.next204, %.preheader87.lr.ph.us.us.us.us.us141.us.us.us.us ], [ 0, %.preheader88.us.us.us.us162.us.us.us ]
  %99 = load i16, ptr %97, align 2, !tbaa !5
  %100 = sext i16 %99 to i32
  %101 = shl i32 %100, %24
  %102 = add nsw i32 %101, %27
  %103 = ashr i32 %102, %25
  %104 = tail call i32 @__SSAT(i32 noundef %103, i32 noundef 16)
  %105 = trunc i32 %104 to i16
  %106 = add nuw nsw i64 %indvars.iv203, %98
  %107 = mul nuw nsw i64 %106, %43
  %gep256 = getelementptr inbounds i16, ptr %invariant.gep255, i64 %107
  store i16 %105, ptr %gep256, align 2, !tbaa !5
  %indvars.iv.next204 = add nuw nsw i64 %indvars.iv203, 1
  %exitcond207.not = icmp eq i64 %indvars.iv.next204, %44
  br i1 %exitcond207.not, label %._crit_edge.split.us.split.us.us.us.split.us143.us.us.us.us, label %.preheader87.lr.ph.us.us.us.us.us141.us.us.us.us, !llvm.loop !16

._crit_edge.split.us.split.us.us.us.split.us143.us.us.us.us: ; preds = %.preheader87.lr.ph.us.us.us.us.us141.us.us.us.us
  %indvars.iv.next209 = add nuw nsw i64 %indvars.iv208, 1
  %exitcond212.not = icmp eq i64 %indvars.iv.next209, %wide.trip.count211
  br i1 %exitcond212.not, label %._crit_edge133.split.us.split.us.split.us.split.us164.us.us.us, label %.preheader88.us.us.us.us162.us.us.us, !llvm.loop !17

._crit_edge133.split.us.split.us.split.us.split.us164.us.us.us: ; preds = %._crit_edge.split.us.split.us.us.us.split.us143.us.us.us.us
  %indvars.iv.next214 = add nuw nsw i64 %indvars.iv213, 1
  %exitcond217.not = icmp eq i64 %indvars.iv.next214, %43
  br i1 %exitcond217.not, label %.loopexit91, label %.preheader89.us.us.us.us, !llvm.loop !18

.preheader89.us.us.us:                            ; preds = %.preheader89.us.us.us.preheader, %._crit_edge133.split.us.split.us.split.us160.us.us
  %indvars.iv228 = phi i64 [ 0, %.preheader89.us.us.us.preheader ], [ %indvars.iv.next229, %._crit_edge133.split.us.split.us.split.us160.us.us ]
  %108 = getelementptr inbounds i16, ptr %12, i64 %indvars.iv228
  %invariant.gep257 = getelementptr inbounds i16, ptr %15, i64 %indvars.iv228
  br label %.preheader88.us.us.us158.us.us

.preheader88.us.us.us158.us.us:                   ; preds = %.preheader89.us.us.us, %._crit_edge.split.us.split.us139.us.us.us.us
  %indvars.iv223 = phi i64 [ 0, %.preheader89.us.us.us ], [ %indvars.iv.next224, %._crit_edge.split.us.split.us139.us.us.us.us ]
  %109 = mul nuw nsw i64 %indvars.iv223, %37
  br label %.preheader87.lr.ph.us.us137.us.us.us.us

.preheader87.lr.ph.us.us137.us.us.us.us:          ; preds = %.preheader87.lr.ph.us.us137.us.us.us.us, %.preheader88.us.us.us158.us.us
  %indvars.iv218 = phi i64 [ %indvars.iv.next219, %.preheader87.lr.ph.us.us137.us.us.us.us ], [ 0, %.preheader88.us.us.us158.us.us ]
  %110 = load i16, ptr %108, align 2, !tbaa !5
  %111 = sext i16 %110 to i32
  %112 = shl i32 %111, %24
  %113 = add nsw i32 %112, %27
  %114 = ashr i32 %113, %25
  %115 = tail call i32 @__SSAT(i32 noundef %114, i32 noundef 16)
  %116 = trunc i32 %115 to i16
  %117 = add nuw nsw i64 %indvars.iv218, %109
  %118 = mul nuw nsw i64 %117, %36
  %gep258 = getelementptr inbounds i16, ptr %invariant.gep257, i64 %118
  store i16 %116, ptr %gep258, align 2, !tbaa !5
  %indvars.iv.next219 = add nuw nsw i64 %indvars.iv218, 1
  %exitcond222.not = icmp eq i64 %indvars.iv.next219, %37
  br i1 %exitcond222.not, label %._crit_edge.split.us.split.us139.us.us.us.us, label %.preheader87.lr.ph.us.us137.us.us.us.us, !llvm.loop !16

._crit_edge.split.us.split.us139.us.us.us.us:     ; preds = %.preheader87.lr.ph.us.us137.us.us.us.us
  %indvars.iv.next224 = add nuw nsw i64 %indvars.iv223, 1
  %exitcond227.not = icmp eq i64 %indvars.iv.next224, %wide.trip.count226
  br i1 %exitcond227.not, label %._crit_edge133.split.us.split.us.split.us160.us.us, label %.preheader88.us.us.us158.us.us, !llvm.loop !17

._crit_edge133.split.us.split.us.split.us160.us.us: ; preds = %._crit_edge.split.us.split.us139.us.us.us.us
  %indvars.iv.next229 = add nuw nsw i64 %indvars.iv228, 1
  %exitcond232.not = icmp eq i64 %indvars.iv.next229, %36
  br i1 %exitcond232.not, label %.loopexit91, label %.preheader89.us.us.us, !llvm.loop !18

.preheader89.us.us:                               ; preds = %.preheader89.us.us.preheader, %._crit_edge133.split.us.split.us156.us
  %indvars.iv243 = phi i64 [ 0, %.preheader89.us.us.preheader ], [ %indvars.iv.next244, %._crit_edge133.split.us.split.us156.us ]
  %119 = getelementptr inbounds i16, ptr %12, i64 %indvars.iv243
  %invariant.gep259 = getelementptr inbounds i16, ptr %15, i64 %indvars.iv243
  br label %.preheader88.us.us154.us

.preheader88.us.us154.us:                         ; preds = %.preheader89.us.us, %._crit_edge.split.us135.us.us
  %indvars.iv238 = phi i64 [ 0, %.preheader89.us.us ], [ %indvars.iv.next239, %._crit_edge.split.us135.us.us ]
  %120 = mul nuw nsw i64 %indvars.iv238, %35
  br label %121

121:                                              ; preds = %121, %.preheader88.us.us154.us
  %indvars.iv233 = phi i64 [ %indvars.iv.next234, %121 ], [ 0, %.preheader88.us.us154.us ]
  %122 = load i16, ptr %119, align 2, !tbaa !5
  %123 = sext i16 %122 to i32
  %124 = shl i32 %123, %24
  %125 = add nsw i32 %124, %27
  %126 = ashr i32 %125, %25
  %127 = tail call i32 @__SSAT(i32 noundef %126, i32 noundef 16)
  %128 = trunc i32 %127 to i16
  %129 = add nuw nsw i64 %indvars.iv233, %120
  %130 = mul nuw nsw i64 %129, %34
  %gep260 = getelementptr inbounds i16, ptr %invariant.gep259, i64 %130
  store i16 %128, ptr %gep260, align 2, !tbaa !5
  %indvars.iv.next234 = add nuw nsw i64 %indvars.iv233, 1
  %exitcond237.not = icmp eq i64 %indvars.iv.next234, %35
  br i1 %exitcond237.not, label %._crit_edge.split.us135.us.us, label %121, !llvm.loop !16

._crit_edge.split.us135.us.us:                    ; preds = %121
  %indvars.iv.next239 = add nuw nsw i64 %indvars.iv238, 1
  %exitcond242.not = icmp eq i64 %indvars.iv.next239, %wide.trip.count241
  br i1 %exitcond242.not, label %._crit_edge133.split.us.split.us156.us, label %.preheader88.us.us154.us, !llvm.loop !17

._crit_edge133.split.us.split.us156.us:           ; preds = %._crit_edge.split.us135.us.us
  %indvars.iv.next244 = add nuw nsw i64 %indvars.iv243, 1
  %exitcond247.not = icmp eq i64 %indvars.iv.next244, %34
  br i1 %exitcond247.not, label %.loopexit91, label %.preheader89.us.us, !llvm.loop !18

.loopexit91:                                      ; preds = %._crit_edge133.split.us.split.us.split.us.split.us.us.us.us.us.us, %._crit_edge133.split.us.split.us.split.us.split.us164.us.us.us, %._crit_edge133.split.us.split.us.split.us160.us.us, %._crit_edge133.split.us.split.us156.us, %.preheader89.lr.ph, %.preheader90, %20
  %.0 = phi i32 [ -3, %20 ], [ 0, %.preheader90 ], [ 0, %.preheader89.lr.ph ], [ 0, %._crit_edge133.split.us.split.us156.us ], [ 0, %._crit_edge133.split.us.split.us.split.us160.us.us ], [ 0, %._crit_edge133.split.us.split.us.split.us.split.us164.us.us.us ], [ 0, %._crit_edge133.split.us.split.us.split.us.split.us.us.us.us.us.us ]
  ret i32 %.0
}

; Function Attrs: alwaysinline nounwind uwtable
declare hidden i32 @__SSAT(i32 noundef, i32 noundef) local_unnamed_addr #1

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.vector.reduce.add.v4i32(<4 x i32>) #2

attributes #0 = { 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 #1 = { alwaysinline 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 = { 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, !6, i64 0}
!6 = !{!"short", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !10}
!12 = distinct !{!12, !10, !13, !14}
!13 = !{!"llvm.loop.unroll.runtime.disable"}
!14 = !{!"llvm.loop.isvectorized", i32 1}
!15 = distinct !{!15, !10, !14, !13}
!16 = distinct !{!16, !10}
!17 = distinct !{!17, !10}
!18 = distinct !{!18, !10}


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