; LLVM IR from alekras/ao.rtos.cpp :: Library/Display/formatter.ll (Z11intToStringPciiic)

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

@_ZZ11intToStringPciiicE6digits = external hidden global [16 x i8], align 16

; 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 noundef ptr @_Z11intToStringPciiic(ptr noundef %0, i32 noundef %1, i32 noundef %2, i32 noundef %3, i8 noundef signext %4) #1 {
  %6 = alloca ptr, align 8
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i8, align 1
  %11 = alloca i32, align 4
  %12 = alloca [80 x i8], align 16
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  store ptr %0, ptr %6, align 8, !tbaa !5
  store i32 %1, ptr %7, align 4, !tbaa !9
  store i32 %2, ptr %8, align 4, !tbaa !9
  store i32 %3, ptr %9, align 4, !tbaa !9
  store i8 %4, ptr %10, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #2
  call void @llvm.lifetime.start.p0(i64 80, ptr %12) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #2
  store i32 0, ptr %16, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #2
  %18 = load i8, ptr %10, align 1, !tbaa !11
  %19 = sext i8 %18 to i32
  %20 = icmp eq i32 %19, 104
  %21 = zext i1 %20 to i64
  %22 = select i1 %20, i32 16, i32 10
  store i32 %22, ptr %17, align 4, !tbaa !9
  %23 = load i8, ptr %10, align 1, !tbaa !11
  %24 = sext i8 %23 to i32
  %25 = icmp eq i32 %24, 117
  br i1 %25, label %30, label %26

26:                                               ; preds = %5
  %27 = load i8, ptr %10, align 1, !tbaa !11
  %28 = sext i8 %27 to i32
  %29 = icmp eq i32 %28, 104
  br i1 %29, label %30, label %32

30:                                               ; preds = %26, %5
  %31 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %31, ptr %11, align 4, !tbaa !9
  br label %41

32:                                               ; preds = %26
  %33 = load i32, ptr %7, align 4, !tbaa !9
  %34 = icmp slt i32 %33, 0
  br i1 %34, label %35, label %38

35:                                               ; preds = %32
  %36 = load i32, ptr %7, align 4, !tbaa !9
  %37 = sub nsw i32 0, %36
  store i32 %37, ptr %11, align 4, !tbaa !9
  store i32 1, ptr %16, align 4, !tbaa !9
  br label %40

38:                                               ; preds = %32
  %39 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %39, ptr %11, align 4, !tbaa !9
  br label %40

40:                                               ; preds = %38, %35
  br label %41

41:                                               ; preds = %40, %30
  store i32 0, ptr %13, align 4, !tbaa !9
  %42 = load i32, ptr %11, align 4, !tbaa !9
  %43 = icmp eq i32 %42, 0
  br i1 %43, label %44, label %51

44:                                               ; preds = %41
  %45 = load i8, ptr @_ZZ11intToStringPciiicE6digits, align 16, !tbaa !11
  %46 = getelementptr inbounds [80 x i8], ptr %12, i64 0, i64 0
  %47 = load i32, ptr %13, align 4, !tbaa !9
  %48 = add nsw i32 %47, 1
  store i32 %48, ptr %13, align 4, !tbaa !9
  %49 = sext i32 %47 to i64
  %50 = getelementptr inbounds i8, ptr %46, i64 %49
  store i8 %45, ptr %50, align 1, !tbaa !11
  br label %71

51:                                               ; preds = %41
  br label %52

52:                                               ; preds = %55, %51
  %53 = load i32, ptr %11, align 4, !tbaa !9
  %54 = icmp ugt i32 %53, 0
  br i1 %54, label %55, label %70

55:                                               ; preds = %52
  %56 = load i32, ptr %11, align 4, !tbaa !9
  %57 = load i32, ptr %17, align 4, !tbaa !9
  %58 = urem i32 %56, %57
  %59 = zext i32 %58 to i64
  %60 = getelementptr inbounds [16 x i8], ptr @_ZZ11intToStringPciiicE6digits, i64 0, i64 %59
  %61 = load i8, ptr %60, align 1, !tbaa !11
  %62 = getelementptr inbounds [80 x i8], ptr %12, i64 0, i64 0
  %63 = load i32, ptr %13, align 4, !tbaa !9
  %64 = add nsw i32 %63, 1
  store i32 %64, ptr %13, align 4, !tbaa !9
  %65 = sext i32 %63 to i64
  %66 = getelementptr inbounds i8, ptr %62, i64 %65
  store i8 %61, ptr %66, align 1, !tbaa !11
  %67 = load i32, ptr %11, align 4, !tbaa !9
  %68 = load i32, ptr %17, align 4, !tbaa !9
  %69 = udiv i32 %67, %68
  store i32 %69, ptr %11, align 4, !tbaa !9
  br label %52, !llvm.loop !12

70:                                               ; preds = %52
  br label %71

71:                                               ; preds = %70, %44
  %72 = load i32, ptr %16, align 4, !tbaa !9
  %73 = icmp eq i32 %72, 1
  br i1 %73, label %74, label %80

74:                                               ; preds = %71
  %75 = getelementptr inbounds [80 x i8], ptr %12, i64 0, i64 0
  %76 = load i32, ptr %13, align 4, !tbaa !9
  %77 = add nsw i32 %76, 1
  store i32 %77, ptr %13, align 4, !tbaa !9
  %78 = sext i32 %76 to i64
  %79 = getelementptr inbounds i8, ptr %75, i64 %78
  store i8 45, ptr %79, align 1, !tbaa !11
  br label %80

80:                                               ; preds = %74, %71
  %81 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %81, ptr %15, align 4, !tbaa !9
  %82 = load i32, ptr %8, align 4, !tbaa !9
  %83 = icmp eq i32 %82, 0
  br i1 %83, label %84, label %86

84:                                               ; preds = %80
  %85 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %85, ptr %8, align 4, !tbaa !9
  br label %104

86:                                               ; preds = %80
  %87 = load i32, ptr %15, align 4, !tbaa !9
  %88 = load i32, ptr %8, align 4, !tbaa !9
  %89 = icmp sgt i32 %87, %88
  br i1 %89, label %90, label %103

90:                                               ; preds = %86
  store i32 0, ptr %13, align 4, !tbaa !9
  br label %91

91:                                               ; preds = %95, %90
  %92 = load i32, ptr %8, align 4, !tbaa !9
  %93 = load i32, ptr %13, align 4, !tbaa !9
  %94 = icmp sgt i32 %92, %93
  br i1 %94, label %95, label %101

95:                                               ; preds = %91
  %96 = getelementptr inbounds [80 x i8], ptr %12, i64 0, i64 0
  %97 = load i32, ptr %13, align 4, !tbaa !9
  %98 = add nsw i32 %97, 1
  store i32 %98, ptr %13, align 4, !tbaa !9
  %99 = sext i32 %97 to i64
  %100 = getelementptr inbounds i8, ptr %96, i64 %99
  store i8 42, ptr %100, align 1, !tbaa !11
  br label %91, !llvm.loop !14

101:                                              ; preds = %91
  %102 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %102, ptr %15, align 4, !tbaa !9
  br label %103

103:                                              ; preds = %101, %86
  br label %104

104:                                              ; preds = %103, %84
  store i32 0, ptr %13, align 4, !tbaa !9
  %105 = load i32, ptr %9, align 4, !tbaa !9
  %106 = icmp eq i32 %105, 0
  br i1 %106, label %107, label %123

107:                                              ; preds = %104
  br label %108

108:                                              ; preds = %119, %107
  %109 = load i32, ptr %13, align 4, !tbaa !9
  %110 = load i32, ptr %8, align 4, !tbaa !9
  %111 = load i32, ptr %15, align 4, !tbaa !9
  %112 = sub nsw i32 %110, %111
  %113 = icmp slt i32 %109, %112
  br i1 %113, label %114, label %122

114:                                              ; preds = %108
  %115 = load ptr, ptr %6, align 8, !tbaa !5
  %116 = load i32, ptr %13, align 4, !tbaa !9
  %117 = sext i32 %116 to i64
  %118 = getelementptr inbounds i8, ptr %115, i64 %117
  store i8 32, ptr %118, align 1, !tbaa !11
  br label %119

119:                                              ; preds = %114
  %120 = load i32, ptr %13, align 4, !tbaa !9
  %121 = add nsw i32 %120, 1
  store i32 %121, ptr %13, align 4, !tbaa !9
  br label %108, !llvm.loop !15

122:                                              ; preds = %108
  br label %123

123:                                              ; preds = %122, %104
  %124 = load i32, ptr %9, align 4, !tbaa !9
  %125 = icmp eq i32 %124, 2
  br i1 %125, label %126, label %142

126:                                              ; preds = %123
  br label %127

127:                                              ; preds = %138, %126
  %128 = load i32, ptr %13, align 4, !tbaa !9
  %129 = load i32, ptr %8, align 4, !tbaa !9
  %130 = load i32, ptr %15, align 4, !tbaa !9
  %131 = sub nsw i32 %129, %130
  %132 = icmp slt i32 %128, %131
  br i1 %132, label %133, label %141

133:                                              ; preds = %127
  %134 = load ptr, ptr %6, align 8, !tbaa !5
  %135 = load i32, ptr %13, align 4, !tbaa !9
  %136 = sext i32 %135 to i64
  %137 = getelementptr inbounds i8, ptr %134, i64 %136
  store i8 48, ptr %137, align 1, !tbaa !11
  br label %138

138:                                              ; preds = %133
  %139 = load i32, ptr %13, align 4, !tbaa !9
  %140 = add nsw i32 %139, 1
  store i32 %140, ptr %13, align 4, !tbaa !9
  br label %127, !llvm.loop !16

141:                                              ; preds = %127
  br label %142

142:                                              ; preds = %141, %123
  store i32 0, ptr %14, align 4, !tbaa !9
  br label %143

143:                                              ; preds = %162, %142
  %144 = load i32, ptr %14, align 4, !tbaa !9
  %145 = load i32, ptr %15, align 4, !tbaa !9
  %146 = icmp slt i32 %144, %145
  br i1 %146, label %147, label %167

147:                                              ; preds = %143
  %148 = getelementptr inbounds [80 x i8], ptr %12, i64 0, i64 0
  %149 = load i32, ptr %15, align 4, !tbaa !9
  %150 = sext i32 %149 to i64
  %151 = getelementptr inbounds i8, ptr %148, i64 %150
  %152 = load i32, ptr %14, align 4, !tbaa !9
  %153 = sext i32 %152 to i64
  %154 = sub i64 0, %153
  %155 = getelementptr inbounds i8, ptr %151, i64 %154
  %156 = getelementptr inbounds i8, ptr %155, i64 -1
  %157 = load i8, ptr %156, align 1, !tbaa !11
  %158 = load ptr, ptr %6, align 8, !tbaa !5
  %159 = load i32, ptr %13, align 4, !tbaa !9
  %160 = sext i32 %159 to i64
  %161 = getelementptr inbounds i8, ptr %158, i64 %160
  store i8 %157, ptr %161, align 1, !tbaa !11
  br label %162

162:                                              ; preds = %147
  %163 = load i32, ptr %13, align 4, !tbaa !9
  %164 = add nsw i32 %163, 1
  store i32 %164, ptr %13, align 4, !tbaa !9
  %165 = load i32, ptr %14, align 4, !tbaa !9
  %166 = add nsw i32 %165, 1
  store i32 %166, ptr %14, align 4, !tbaa !9
  br label %143, !llvm.loop !17

167:                                              ; preds = %143
  br label %168

168:                                              ; preds = %177, %167
  %169 = load i32, ptr %13, align 4, !tbaa !9
  %170 = load i32, ptr %8, align 4, !tbaa !9
  %171 = icmp slt i32 %169, %170
  br i1 %171, label %172, label %180

172:                                              ; preds = %168
  %173 = load ptr, ptr %6, align 8, !tbaa !5
  %174 = load i32, ptr %13, align 4, !tbaa !9
  %175 = sext i32 %174 to i64
  %176 = getelementptr inbounds i8, ptr %173, i64 %175
  store i8 32, ptr %176, align 1, !tbaa !11
  br label %177

177:                                              ; preds = %172
  %178 = load i32, ptr %13, align 4, !tbaa !9
  %179 = add nsw i32 %178, 1
  store i32 %179, ptr %13, align 4, !tbaa !9
  br label %168, !llvm.loop !18

180:                                              ; preds = %168
  %181 = load ptr, ptr %6, align 8, !tbaa !5
  %182 = load i32, ptr %8, align 4, !tbaa !9
  %183 = sext i32 %182 to i64
  %184 = getelementptr inbounds i8, ptr %181, i64 %183
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #2
  call void @llvm.lifetime.end.p0(i64 80, ptr %12) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #2
  ret ptr %184
}

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 = !{!"int", !7, i64 0}
!11 = !{!7, !7, i64 0}
!12 = distinct !{!12, !13}
!13 = !{!"llvm.loop.mustprogress"}
!14 = distinct !{!14, !13}
!15 = distinct !{!15, !13}
!16 = distinct !{!16, !13}
!17 = distinct !{!17, !13}
!18 = distinct !{!18, !13}


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

@_ZZ11intToStringPciiicE6digits = external hidden local_unnamed_addr global [16 x i8], align 16

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

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

; Function Attrs: mustprogress nofree norecurse nosync nounwind memory(read, argmem: write, inaccessiblemem: none) uwtable
define dso_local noundef ptr @_Z11intToStringPciiic(ptr noundef writeonly %0, i32 noundef %1, i32 noundef %2, i32 noundef %3, i8 noundef signext %4) local_unnamed_addr #1 {
  %6 = alloca [80 x i8], align 16
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %6) #4
  %7 = icmp eq i8 %4, 104
  %8 = select i1 %7, i32 16, i32 10
  switch i8 %4, label %9 [
    i8 117, label %11
    i8 104, label %11
  ]

9:                                                ; preds = %5
  %10 = icmp slt i32 %1, 0
  %spec.select = tail call i32 @llvm.abs.i32(i32 %1, i1 true)
  br label %11

11:                                               ; preds = %9, %5, %5
  %.060 = phi i32 [ %1, %5 ], [ %1, %5 ], [ %spec.select, %9 ]
  %12 = phi i1 [ false, %5 ], [ false, %5 ], [ %10, %9 ]
  %13 = icmp eq i32 %.060, 0
  br i1 %13, label %14, label %.preheader71

14:                                               ; preds = %11
  %15 = load i8, ptr @_ZZ11intToStringPciiicE6digits, align 16, !tbaa !5
  store i8 %15, ptr %6, align 16, !tbaa !5
  br label %.loopexit72

.preheader71:                                     ; preds = %11, %.preheader71
  %indvars.iv = phi i64 [ %indvars.iv.next, %.preheader71 ], [ 0, %11 ]
  %.16173 = phi i32 [ %21, %.preheader71 ], [ %.060, %11 ]
  %16 = urem i32 %.16173, %8
  %17 = zext nneg i32 %16 to i64
  %18 = getelementptr inbounds [16 x i8], ptr @_ZZ11intToStringPciiicE6digits, i64 0, i64 %17
  %19 = load i8, ptr %18, align 1, !tbaa !5
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %20 = getelementptr inbounds i8, ptr %6, i64 %indvars.iv
  store i8 %19, ptr %20, align 1, !tbaa !5
  %21 = udiv i32 %.16173, %8
  %.not = icmp ugt i32 %8, %.16173
  br i1 %.not, label %.loopexit72.loopexit, label %.preheader71, !llvm.loop !8

.loopexit72.loopexit:                             ; preds = %.preheader71
  %22 = trunc nuw i64 %indvars.iv.next to i32
  br label %.loopexit72

.loopexit72:                                      ; preds = %.loopexit72.loopexit, %14
  %.1 = phi i32 [ 1, %14 ], [ %22, %.loopexit72.loopexit ]
  br i1 %12, label %23, label %27

23:                                               ; preds = %.loopexit72
  %24 = add nuw nsw i32 %.1, 1
  %25 = zext nneg i32 %.1 to i64
  %26 = getelementptr inbounds i8, ptr %6, i64 %25
  store i8 45, ptr %26, align 1, !tbaa !5
  br label %27

27:                                               ; preds = %23, %.loopexit72
  %.2 = phi i32 [ %24, %23 ], [ %.1, %.loopexit72 ]
  %28 = icmp eq i32 %2, 0
  br i1 %28, label %.loopexit70, label %29

29:                                               ; preds = %27
  %30 = icmp sgt i32 %.2, %2
  br i1 %30, label %.preheader69, label %.loopexit70

.preheader69:                                     ; preds = %29
  %31 = icmp sgt i32 %2, 0
  br i1 %31, label %.lr.ph.preheader, label %.loopexit70

.lr.ph.preheader:                                 ; preds = %.preheader69
  %32 = zext nneg i32 %2 to i64
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %6, i8 42, i64 %32, i1 false), !tbaa !5
  br label %.loopexit70

.loopexit70:                                      ; preds = %.lr.ph.preheader, %.preheader69, %27, %29
  %.057 = phi i32 [ %.2, %29 ], [ %.2, %27 ], [ %2, %.preheader69 ], [ %2, %.lr.ph.preheader ]
  %.0 = phi i32 [ %2, %29 ], [ %.2, %27 ], [ %2, %.preheader69 ], [ %2, %.lr.ph.preheader ]
  switch i32 %3, label %.loopexit [
    i32 0, label %.preheader67
    i32 2, label %.preheader66
  ]

.preheader67:                                     ; preds = %.loopexit70
  %33 = icmp sgt i32 %.0, %.057
  br i1 %33, label %.lr.ph77.preheader, label %.loopexit

.lr.ph77.preheader:                               ; preds = %.preheader67
  %34 = xor i32 %.057, -1
  %35 = add i32 %.0, %34
  %36 = zext i32 %35 to i64
  %37 = add nuw nsw i64 %36, 1
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 1 dereferenceable(1) %0, i8 32, i64 %37, i1 false), !tbaa !5
  %38 = trunc nuw nsw i64 %37 to i32
  br label %.loopexit

.preheader66:                                     ; preds = %.loopexit70
  %39 = sub nsw i32 %.0, %.057
  %40 = icmp sgt i32 %39, 0
  br i1 %40, label %iter.check, label %.loopexit

iter.check:                                       ; preds = %.preheader66
  %41 = xor i32 %.057, -1
  %42 = add i32 %.0, %41
  %43 = zext i32 %42 to i64
  %44 = add nuw nsw i64 %43, 1
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 1 dereferenceable(1) %0, i8 48, i64 %44, i1 false), !tbaa !5
  %45 = xor i32 %.057, -1
  %46 = add i32 %.0, %45
  %47 = zext i32 %46 to i64
  %48 = add nuw nsw i64 %47, 1
  %min.iters.check = icmp ult i32 %46, 7
  br i1 %min.iters.check, label %.lr.ph79.preheader, label %vector.main.loop.iter.check

vector.main.loop.iter.check:                      ; preds = %iter.check
  %min.iters.check113 = icmp ult i32 %46, 31
  br i1 %min.iters.check113, label %vec.epilog.ph, label %vector.ph

vector.ph:                                        ; preds = %vector.main.loop.iter.check
  %n.vec = and i64 %48, 8589934560
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %49 = phi i64 [ 15, %vector.ph ], [ %50, %vector.body ]
  %index.next = add nuw i64 %index, 32
  %50 = add i64 %49, 32
  %51 = icmp eq i64 %index.next, %n.vec
  br i1 %51, label %middle.block, label %vector.body, !llvm.loop !10

middle.block:                                     ; preds = %vector.body
  %52 = trunc i64 %49 to i32
  %53 = add i32 %52, 17
  %cmp.n = icmp eq i64 %48, %n.vec
  br i1 %cmp.n, label %.loopexit, label %vec.epilog.iter.check

vec.epilog.iter.check:                            ; preds = %middle.block
  %n.vec.remaining = and i64 %48, 24
  %min.epilog.iters.check = icmp eq i64 %n.vec.remaining, 0
  br i1 %min.epilog.iters.check, label %.lr.ph79.preheader, label %vec.epilog.ph

vec.epilog.ph:                                    ; preds = %vector.main.loop.iter.check, %vec.epilog.iter.check
  %vec.epilog.resume.val = phi i64 [ %n.vec, %vec.epilog.iter.check ], [ 0, %vector.main.loop.iter.check ]
  %n.vec116 = and i64 %48, 8589934584
  %54 = or disjoint i64 %vec.epilog.resume.val, 7
  br label %vec.epilog.vector.body

vec.epilog.vector.body:                           ; preds = %vec.epilog.vector.body, %vec.epilog.ph
  %index118 = phi i64 [ %vec.epilog.resume.val, %vec.epilog.ph ], [ %index.next122, %vec.epilog.vector.body ]
  %55 = phi i64 [ %54, %vec.epilog.ph ], [ %56, %vec.epilog.vector.body ]
  %index.next122 = add nuw i64 %index118, 8
  %56 = add i64 %55, 8
  %57 = icmp eq i64 %index.next122, %n.vec116
  br i1 %57, label %vec.epilog.middle.block, label %vec.epilog.vector.body, !llvm.loop !13

vec.epilog.middle.block:                          ; preds = %vec.epilog.vector.body
  %58 = trunc i64 %55 to i32
  %59 = add i32 %58, 1
  %cmp.n123 = icmp eq i64 %48, %n.vec116
  br i1 %cmp.n123, label %.loopexit, label %.lr.ph79.preheader

.lr.ph79.preheader:                               ; preds = %vec.epilog.middle.block, %iter.check, %vec.epilog.iter.check
  %indvars.iv97.ph = phi i64 [ 0, %iter.check ], [ %n.vec, %vec.epilog.iter.check ], [ %n.vec116, %vec.epilog.middle.block ]
  br label %.lr.ph79

.lr.ph79:                                         ; preds = %.lr.ph79.preheader, %.lr.ph79
  %indvars.iv97 = phi i64 [ %indvars.iv.next98, %.lr.ph79 ], [ %indvars.iv97.ph, %.lr.ph79.preheader ]
  %indvars.iv.next98 = add nuw nsw i64 %indvars.iv97, 1
  %60 = trunc nuw i64 %indvars.iv.next98 to i32
  %61 = icmp sgt i32 %39, %60
  br i1 %61, label %.lr.ph79, label %.loopexit, !llvm.loop !14

.loopexit:                                        ; preds = %.lr.ph79, %middle.block, %vec.epilog.middle.block, %.loopexit70, %.preheader67, %.lr.ph77.preheader, %.preheader66
  %.7 = phi i32 [ 0, %.preheader66 ], [ %38, %.lr.ph77.preheader ], [ 0, %.preheader67 ], [ 0, %.loopexit70 ], [ %53, %middle.block ], [ %59, %vec.epilog.middle.block ], [ %60, %.lr.ph79 ]
  %62 = icmp sgt i32 %.057, 0
  br i1 %62, label %.lr.ph83, label %.preheader

.lr.ph83:                                         ; preds = %.loopexit
  %63 = zext nneg i32 %.057 to i64
  %64 = getelementptr inbounds i8, ptr %6, i64 %63
  %invariant.gep = getelementptr i8, ptr %64, i64 -1
  %65 = sext i32 %.7 to i64
  %min.iters.check125 = icmp ult i32 %.057, 32
  br i1 %min.iters.check125, label %scalar.ph.preheader, label %vector.ph126

scalar.ph.preheader:                              ; preds = %middle.block124, %.lr.ph83
  %indvars.iv102.ph = phi i64 [ %65, %.lr.ph83 ], [ %ind.end, %middle.block124 ]
  %indvars.iv100.ph = phi i64 [ 0, %.lr.ph83 ], [ %n.vec128, %middle.block124 ]
  br label %scalar.ph

vector.ph126:                                     ; preds = %.lr.ph83
  %n.vec128 = and i64 %63, 2147483616
  %ind.end = add nsw i64 %n.vec128, %65
  %invariant.gep143 = getelementptr i8, ptr %0, i64 %65
  br label %vector.body131

vector.body131:                                   ; preds = %vector.body131, %vector.ph126
  %index132 = phi i64 [ 0, %vector.ph126 ], [ %index.next135, %vector.body131 ]
  %66 = sub nsw i64 0, %index132
  %67 = getelementptr i8, ptr %invariant.gep, i64 %66
  %68 = getelementptr i8, ptr %67, i64 -15
  %69 = getelementptr i8, ptr %67, i64 -31
  %wide.load = load <16 x i8>, ptr %68, align 1, !tbaa !5
  %reverse = shufflevector <16 x i8> %wide.load, <16 x i8> poison, <16 x i32> <i32 15, i32 14, i32 13, i32 12, i32 11, i32 10, i32 9, i32 8, i32 7, i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0>
  %wide.load133 = load <16 x i8>, ptr %69, align 1, !tbaa !5
  %reverse134 = shufflevector <16 x i8> %wide.load133, <16 x i8> poison, <16 x i32> <i32 15, i32 14, i32 13, i32 12, i32 11, i32 10, i32 9, i32 8, i32 7, i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0>
  %gep144 = getelementptr i8, ptr %invariant.gep143, i64 %index132
  %70 = getelementptr inbounds i8, ptr %gep144, i64 16
  store <16 x i8> %reverse, ptr %gep144, align 1, !tbaa !5
  store <16 x i8> %reverse134, ptr %70, align 1, !tbaa !5
  %index.next135 = add nuw i64 %index132, 32
  %71 = icmp eq i64 %index.next135, %n.vec128
  br i1 %71, label %middle.block124, label %vector.body131, !llvm.loop !15

middle.block124:                                  ; preds = %vector.body131
  %cmp.n136 = icmp eq i64 %n.vec128, %63
  br i1 %cmp.n136, label %.preheader.loopexit, label %scalar.ph.preheader

.preheader.loopexit:                              ; preds = %scalar.ph, %middle.block124
  %indvars.iv.next103.lcssa = phi i64 [ %ind.end, %middle.block124 ], [ %indvars.iv.next103, %scalar.ph ]
  %72 = trunc nsw i64 %indvars.iv.next103.lcssa to i32
  br label %.preheader

.preheader:                                       ; preds = %.preheader.loopexit, %.loopexit
  %.8.lcssa = phi i32 [ %.7, %.loopexit ], [ %72, %.preheader.loopexit ]
  %73 = icmp slt i32 %.8.lcssa, %.0
  br i1 %73, label %.lr.ph86.preheader, label %._crit_edge

.lr.ph86.preheader:                               ; preds = %.preheader
  %74 = sext i32 %.8.lcssa to i64
  %scevgep108 = getelementptr i8, ptr %0, i64 %74
  %75 = xor i32 %.8.lcssa, -1
  %76 = add i32 %.0, %75
  %77 = zext i32 %76 to i64
  %78 = add nuw nsw i64 %77, 1
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 1 dereferenceable(1) %scevgep108, i8 32, i64 %78, i1 false), !tbaa !5
  br label %._crit_edge

scalar.ph:                                        ; preds = %scalar.ph.preheader, %scalar.ph
  %indvars.iv102 = phi i64 [ %indvars.iv.next103, %scalar.ph ], [ %indvars.iv102.ph, %scalar.ph.preheader ]
  %indvars.iv100 = phi i64 [ %indvars.iv.next101, %scalar.ph ], [ %indvars.iv100.ph, %scalar.ph.preheader ]
  %79 = sub nsw i64 0, %indvars.iv100
  %gep = getelementptr i8, ptr %invariant.gep, i64 %79
  %80 = load i8, ptr %gep, align 1, !tbaa !5
  %81 = getelementptr inbounds i8, ptr %0, i64 %indvars.iv102
  store i8 %80, ptr %81, align 1, !tbaa !5
  %indvars.iv.next103 = add nsw i64 %indvars.iv102, 1
  %indvars.iv.next101 = add nuw nsw i64 %indvars.iv100, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next101, %63
  br i1 %exitcond.not, label %.preheader.loopexit, label %scalar.ph, !llvm.loop !16

._crit_edge:                                      ; preds = %.lr.ph86.preheader, %.preheader
  %82 = sext i32 %.0 to i64
  %83 = getelementptr inbounds i8, ptr %0, i64 %82
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %6) #4
  ret ptr %83
}

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.abs.i32(i32, i1 immarg) #2

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

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nofree norecurse nosync nounwind memory(read, argmem: write, 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 #2 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #3 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #4 = { 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 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C++ TBAA"}
!8 = distinct !{!8, !9}
!9 = !{!"llvm.loop.mustprogress"}
!10 = distinct !{!10, !9, !11, !12}
!11 = !{!"llvm.loop.isvectorized", i32 1}
!12 = !{!"llvm.loop.unroll.runtime.disable"}
!13 = distinct !{!13, !9, !11, !12}
!14 = distinct !{!14, !9, !12, !11}
!15 = distinct !{!15, !9, !11, !12}
!16 = distinct !{!16, !9, !12, !11}


; Effective O3 passes: BDCEPass,CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopIdiomRecognizePass,LoopLoadEliminationPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,LoopVectorizePass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass