; LLVM IR from tangjz/acm-icpc :: codeforces/gym/100624B.ll (Z5solveii)

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

@str = external dso_local global [200010 x i8], align 16
@tmp = external dso_local global [200010 x i8], align 16

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_Z5solveii(i32 noundef %0, i32 noundef %1) #0 {
  %3 = alloca i1, align 1
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i8, align 1
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  store i32 %0, ptr %4, align 4, !tbaa !5
  store i32 %1, ptr %5, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %6) #2
  store i8 0, ptr %6, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #2
  %14 = load i32, ptr %4, align 4, !tbaa !5
  store i32 %14, ptr %7, align 4, !tbaa !5
  br label %15

15:                                               ; preds = %29, %2
  %16 = load i32, ptr %7, align 4, !tbaa !5
  %17 = load i32, ptr %5, align 4, !tbaa !5
  %18 = icmp sle i32 %16, %17
  br i1 %18, label %20, label %19

19:                                               ; preds = %15
  store i32 2, ptr %8, align 4
  br label %32

20:                                               ; preds = %15
  %21 = load i32, ptr %7, align 4, !tbaa !5
  %22 = sext i32 %21 to i64
  %23 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %22
  %24 = load i8, ptr %23, align 1, !tbaa !11
  %25 = sext i8 %24 to i32
  %26 = icmp eq i32 %25, 1
  br i1 %26, label %27, label %28

27:                                               ; preds = %20
  store i8 1, ptr %6, align 1, !tbaa !9
  store i32 2, ptr %8, align 4
  br label %32

28:                                               ; preds = %20
  br label %29

29:                                               ; preds = %28
  %30 = load i32, ptr %7, align 4, !tbaa !5
  %31 = add nsw i32 %30, 1
  store i32 %31, ptr %7, align 4, !tbaa !5
  br label %15, !llvm.loop !12

32:                                               ; preds = %27, %19
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #2
  br label %33

33:                                               ; preds = %32
  %34 = load i8, ptr %6, align 1, !tbaa !9, !range !14, !noundef !15
  %35 = trunc i8 %34 to i1
  br i1 %35, label %37, label %36

36:                                               ; preds = %33
  store i1 false, ptr %3, align 1
  store i32 1, ptr %8, align 4
  br label %134

37:                                               ; preds = %33
  %38 = load i32, ptr %5, align 4, !tbaa !5
  %39 = load i32, ptr %4, align 4, !tbaa !5
  %40 = sub nsw i32 %38, %39
  %41 = add nsw i32 %40, 1
  %42 = xor i32 %41, -1
  %43 = and i32 %42, 1
  %44 = icmp ne i32 %43, 0
  br i1 %44, label %45, label %46

45:                                               ; preds = %37
  store i1 true, ptr %3, align 1
  store i32 1, ptr %8, align 4
  br label %134

46:                                               ; preds = %37
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #2
  store i32 0, ptr %10, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #2
  %47 = load i32, ptr %4, align 4, !tbaa !5
  %48 = add nsw i32 %47, 1
  store i32 %48, ptr %11, align 4, !tbaa !5
  br label %49

49:                                               ; preds = %63, %46
  %50 = load i32, ptr %11, align 4, !tbaa !5
  %51 = load i32, ptr %5, align 4, !tbaa !5
  %52 = icmp sle i32 %50, %51
  br i1 %52, label %54, label %53

53:                                               ; preds = %49
  store i32 5, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #2
  br label %66

54:                                               ; preds = %49
  %55 = load i32, ptr %11, align 4, !tbaa !5
  %56 = sext i32 %55 to i64
  %57 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %56
  %58 = load i8, ptr %57, align 1, !tbaa !11
  %59 = load i32, ptr %10, align 4, !tbaa !5
  %60 = add nsw i32 %59, 1
  store i32 %60, ptr %10, align 4, !tbaa !5
  %61 = sext i32 %59 to i64
  %62 = getelementptr inbounds [200010 x i8], ptr @tmp, i64 0, i64 %61
  store i8 %58, ptr %62, align 1, !tbaa !11
  br label %63

63:                                               ; preds = %54
  %64 = load i32, ptr %11, align 4, !tbaa !5
  %65 = add nsw i32 %64, 2
  store i32 %65, ptr %11, align 4, !tbaa !5
  br label %49, !llvm.loop !16

66:                                               ; preds = %53
  %67 = load i32, ptr %4, align 4, !tbaa !5
  %68 = load i32, ptr %10, align 4, !tbaa !5
  %69 = add nsw i32 %67, %68
  %70 = sub nsw i32 %69, 1
  store i32 %70, ptr %9, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #2
  %71 = load i32, ptr %4, align 4, !tbaa !5
  %72 = add nsw i32 %71, 1
  store i32 %72, ptr %12, align 4, !tbaa !5
  br label %73

73:                                               ; preds = %97, %66
  %74 = load i32, ptr %12, align 4, !tbaa !5
  %75 = load i32, ptr %5, align 4, !tbaa !5
  %76 = icmp sle i32 %74, %75
  br i1 %76, label %78, label %77

77:                                               ; preds = %73
  store i32 8, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #2
  br label %100

78:                                               ; preds = %73
  %79 = load i32, ptr %12, align 4, !tbaa !5
  %80 = sub nsw i32 %79, 1
  %81 = sext i32 %80 to i64
  %82 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %81
  %83 = load i8, ptr %82, align 1, !tbaa !11
  %84 = sext i8 %83 to i32
  %85 = load i32, ptr %12, align 4, !tbaa !5
  %86 = add nsw i32 %85, 1
  %87 = sext i32 %86 to i64
  %88 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %87
  %89 = load i8, ptr %88, align 1, !tbaa !11
  %90 = sext i8 %89 to i32
  %91 = xor i32 %84, %90
  %92 = trunc i32 %91 to i8
  %93 = load i32, ptr %10, align 4, !tbaa !5
  %94 = add nsw i32 %93, 1
  store i32 %94, ptr %10, align 4, !tbaa !5
  %95 = sext i32 %93 to i64
  %96 = getelementptr inbounds [200010 x i8], ptr @tmp, i64 0, i64 %95
  store i8 %92, ptr %96, align 1, !tbaa !11
  br label %97

97:                                               ; preds = %78
  %98 = load i32, ptr %12, align 4, !tbaa !5
  %99 = add nsw i32 %98, 2
  store i32 %99, ptr %12, align 4, !tbaa !5
  br label %73, !llvm.loop !17

100:                                              ; preds = %77
  %101 = load i32, ptr %4, align 4, !tbaa !5
  %102 = load i32, ptr %10, align 4, !tbaa !5
  %103 = add nsw i32 %101, %102
  %104 = sub nsw i32 %103, 1
  store i32 %104, ptr %5, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #2
  store i32 0, ptr %13, align 4, !tbaa !5
  br label %105

105:                                              ; preds = %120, %100
  %106 = load i32, ptr %13, align 4, !tbaa !5
  %107 = load i32, ptr %10, align 4, !tbaa !5
  %108 = icmp slt i32 %106, %107
  br i1 %108, label %110, label %109

109:                                              ; preds = %105
  store i32 11, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #2
  br label %123

110:                                              ; preds = %105
  %111 = load i32, ptr %13, align 4, !tbaa !5
  %112 = sext i32 %111 to i64
  %113 = getelementptr inbounds [200010 x i8], ptr @tmp, i64 0, i64 %112
  %114 = load i8, ptr %113, align 1, !tbaa !11
  %115 = load i32, ptr %4, align 4, !tbaa !5
  %116 = load i32, ptr %13, align 4, !tbaa !5
  %117 = add nsw i32 %115, %116
  %118 = sext i32 %117 to i64
  %119 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %118
  store i8 %114, ptr %119, align 1, !tbaa !11
  br label %120

120:                                              ; preds = %110
  %121 = load i32, ptr %13, align 4, !tbaa !5
  %122 = add nsw i32 %121, 1
  store i32 %122, ptr %13, align 4, !tbaa !5
  br label %105, !llvm.loop !18

123:                                              ; preds = %109
  %124 = load i32, ptr %4, align 4, !tbaa !5
  %125 = load i32, ptr %9, align 4, !tbaa !5
  %126 = call noundef zeroext i1 @_Z5solveii(i32 noundef %124, i32 noundef %125)
  br i1 %126, label %132, label %127

127:                                              ; preds = %123
  %128 = load i32, ptr %9, align 4, !tbaa !5
  %129 = add nsw i32 %128, 1
  %130 = load i32, ptr %5, align 4, !tbaa !5
  %131 = call noundef zeroext i1 @_Z5solveii(i32 noundef %129, i32 noundef %130)
  br label %132

132:                                              ; preds = %127, %123
  %133 = phi i1 [ true, %123 ], [ %131, %127 ]
  store i1 %133, ptr %3, align 1
  store i32 1, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #2
  br label %134

134:                                              ; preds = %132, %45, %36
  call void @llvm.lifetime.end.p0(i64 1, ptr %6) #2
  %135 = load i1, ptr %3, align 1
  ret i1 %135
}

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

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

attributes #0 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"bool", !7, i64 0}
!11 = !{!7, !7, i64 0}
!12 = distinct !{!12, !13}
!13 = !{!"llvm.loop.mustprogress"}
!14 = !{i8 0, i8 2}
!15 = !{}
!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"

@str = external dso_local local_unnamed_addr global [200010 x i8], align 16
@tmp = external dso_local local_unnamed_addr global [200010 x i8], align 16

; Function Attrs: mustprogress nofree nosync nounwind memory(readwrite, argmem: none, inaccessiblemem: none) uwtable
define dso_local noundef zeroext i1 @_Z5solveii(i32 noundef %0, i32 noundef %1) local_unnamed_addr #0 {
  br label %tailrecurse

tailrecurse:                                      ; preds = %._crit_edge62, %2
  %.tr = phi i32 [ %0, %2 ], [ %130, %._crit_edge62 ]
  %.tr44 = phi i32 [ %1, %2 ], [ %129, %._crit_edge62 ]
  %.not.not46 = icmp sle i32 %.tr, %.tr44
  br i1 %.not.not46, label %.lr.ph.preheader, label %.critedge

.lr.ph.preheader:                                 ; preds = %tailrecurse
  %3 = sext i32 %.tr to i64
  %4 = add i32 %.tr44, 1
  br label %.lr.ph

5:                                                ; preds = %.lr.ph
  %indvars.iv.next = add nsw i64 %indvars.iv, 1
  %lftr.wideiv = trunc i64 %indvars.iv.next to i32
  %exitcond.not = icmp eq i32 %4, %lftr.wideiv
  br i1 %exitcond.not, label %.critedge, label %.lr.ph, !llvm.loop !5

.lr.ph:                                           ; preds = %.lr.ph.preheader, %5
  %indvars.iv = phi i64 [ %3, %.lr.ph.preheader ], [ %indvars.iv.next, %5 ]
  %6 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %indvars.iv
  %7 = load i8, ptr %6, align 1, !tbaa !7
  %8 = icmp eq i8 %7, 1
  br i1 %8, label %9, label %5

9:                                                ; preds = %.lr.ph
  %.neg = sub i32 %.tr, %.tr44
  %10 = and i32 %.neg, 1
  %.not = icmp eq i32 %10, 0
  br i1 %.not, label %11, label %.critedge

11:                                               ; preds = %9
  %12 = add i32 %.tr, 1
  %.not4248.not = icmp slt i32 %.tr, %.tr44
  br i1 %.not4248.not, label %.lr.ph51.preheader, label %._crit_edge57

.lr.ph51.preheader:                               ; preds = %11
  %13 = sext i32 %12 to i64
  %14 = sext i32 %.tr44 to i64
  %15 = add nsw i64 %13, 2
  %16 = add nsw i64 %14, 1
  %smax95 = tail call i64 @llvm.smax.i64(i64 %15, i64 %16)
  %17 = xor i64 %13, -1
  %18 = add i64 %smax95, %17
  %min.iters.check98 = icmp ult i64 %18, 32
  br i1 %min.iters.check98, label %.lr.ph51.preheader110, label %vector.ph99

.lr.ph51.preheader110:                            ; preds = %vector.body105, %.lr.ph51.preheader
  %indvars.iv69.ph = phi i64 [ 0, %.lr.ph51.preheader ], [ %n.vec101, %vector.body105 ]
  %indvars.iv67.ph = phi i64 [ %13, %.lr.ph51.preheader ], [ %ind.end103, %vector.body105 ]
  br label %.lr.ph51

vector.ph99:                                      ; preds = %.lr.ph51.preheader
  %19 = lshr i64 %18, 1
  %20 = add nuw i64 %19, 1
  %n.mod.vf100 = and i64 %20, 15
  %21 = icmp eq i64 %n.mod.vf100, 0
  %22 = select i1 %21, i64 16, i64 %n.mod.vf100
  %n.vec101 = sub i64 %20, %22
  %23 = shl i64 %n.vec101, 1
  %ind.end103 = add i64 %23, %13
  br label %vector.body105

vector.body105:                                   ; preds = %vector.body105, %vector.ph99
  %index106 = phi i64 [ 0, %vector.ph99 ], [ %index.next108, %vector.body105 ]
  %24 = shl i64 %index106, 1
  %offset.idx107 = add i64 %24, %13
  %25 = add i64 %offset.idx107, 2
  %26 = add i64 %offset.idx107, 4
  %27 = add i64 %offset.idx107, 6
  %28 = add i64 %offset.idx107, 8
  %29 = add i64 %offset.idx107, 10
  %30 = add i64 %offset.idx107, 12
  %31 = add i64 %offset.idx107, 14
  %32 = add i64 %offset.idx107, 16
  %33 = add i64 %offset.idx107, 18
  %34 = add i64 %offset.idx107, 20
  %35 = add i64 %offset.idx107, 22
  %36 = add i64 %offset.idx107, 24
  %37 = add i64 %offset.idx107, 26
  %38 = add i64 %offset.idx107, 28
  %39 = add i64 %offset.idx107, 30
  %40 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %offset.idx107
  %41 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %25
  %42 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %26
  %43 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %27
  %44 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %28
  %45 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %29
  %46 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %30
  %47 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %31
  %48 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %32
  %49 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %33
  %50 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %34
  %51 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %35
  %52 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %36
  %53 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %37
  %54 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %38
  %55 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %39
  %56 = load i8, ptr %40, align 1, !tbaa !7
  %57 = load i8, ptr %41, align 1, !tbaa !7
  %58 = load i8, ptr %42, align 1, !tbaa !7
  %59 = load i8, ptr %43, align 1, !tbaa !7
  %60 = load i8, ptr %44, align 1, !tbaa !7
  %61 = load i8, ptr %45, align 1, !tbaa !7
  %62 = load i8, ptr %46, align 1, !tbaa !7
  %63 = load i8, ptr %47, align 1, !tbaa !7
  %64 = load i8, ptr %48, align 1, !tbaa !7
  %65 = load i8, ptr %49, align 1, !tbaa !7
  %66 = load i8, ptr %50, align 1, !tbaa !7
  %67 = load i8, ptr %51, align 1, !tbaa !7
  %68 = load i8, ptr %52, align 1, !tbaa !7
  %69 = load i8, ptr %53, align 1, !tbaa !7
  %70 = load i8, ptr %54, align 1, !tbaa !7
  %71 = load i8, ptr %55, align 1, !tbaa !7
  %72 = insertelement <16 x i8> poison, i8 %56, i64 0
  %73 = insertelement <16 x i8> %72, i8 %57, i64 1
  %74 = insertelement <16 x i8> %73, i8 %58, i64 2
  %75 = insertelement <16 x i8> %74, i8 %59, i64 3
  %76 = insertelement <16 x i8> %75, i8 %60, i64 4
  %77 = insertelement <16 x i8> %76, i8 %61, i64 5
  %78 = insertelement <16 x i8> %77, i8 %62, i64 6
  %79 = insertelement <16 x i8> %78, i8 %63, i64 7
  %80 = insertelement <16 x i8> %79, i8 %64, i64 8
  %81 = insertelement <16 x i8> %80, i8 %65, i64 9
  %82 = insertelement <16 x i8> %81, i8 %66, i64 10
  %83 = insertelement <16 x i8> %82, i8 %67, i64 11
  %84 = insertelement <16 x i8> %83, i8 %68, i64 12
  %85 = insertelement <16 x i8> %84, i8 %69, i64 13
  %86 = insertelement <16 x i8> %85, i8 %70, i64 14
  %87 = insertelement <16 x i8> %86, i8 %71, i64 15
  %88 = getelementptr inbounds [200010 x i8], ptr @tmp, i64 0, i64 %index106
  store <16 x i8> %87, ptr %88, align 16, !tbaa !7
  %index.next108 = add nuw i64 %index106, 16
  %89 = icmp eq i64 %index.next108, %n.vec101
  br i1 %89, label %.lr.ph51.preheader110, label %vector.body105, !llvm.loop !10

._crit_edge:                                      ; preds = %.lr.ph51
  %90 = trunc nuw i64 %indvars.iv.next70 to i32
  %91 = add nsw i32 %.tr, %90
  br i1 %.not4248.not, label %.lr.ph56.preheader, label %.lr.ph61.preheader

.lr.ph56.preheader:                               ; preds = %._crit_edge
  %92 = sext i32 %12 to i64
  %93 = sext i32 %.tr44 to i64
  %94 = and i64 %indvars.iv.next70, 4294967295
  %95 = add nsw i64 %13, 2
  %96 = add nsw i64 %93, 1
  %smax = tail call i64 @llvm.smax.i64(i64 %95, i64 %96)
  %97 = xor i64 %13, -1
  %98 = add i64 %smax, %97
  %min.iters.check = icmp ult i64 %98, 32
  br i1 %min.iters.check, label %.lr.ph56.preheader109, label %vector.ph

.lr.ph56.preheader109:                            ; preds = %vector.body, %.lr.ph56.preheader
  %indvars.iv76.ph = phi i64 [ %94, %.lr.ph56.preheader ], [ %ind.end, %vector.body ]
  %indvars.iv74.ph = phi i64 [ %92, %.lr.ph56.preheader ], [ %ind.end90, %vector.body ]
  br label %.lr.ph56

vector.ph:                                        ; preds = %.lr.ph56.preheader
  %99 = lshr i64 %98, 1
  %100 = add nuw i64 %99, 1
  %n.mod.vf = and i64 %100, 15
  %101 = icmp eq i64 %n.mod.vf, 0
  %102 = select i1 %101, i64 16, i64 %n.mod.vf
  %n.vec = sub i64 %100, %102
  %ind.end = add i64 %94, %n.vec
  %103 = shl i64 %n.vec, 1
  %ind.end90 = add i64 %103, %92
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %offset.idx = add i64 %94, %index
  %104 = shl i64 %index, 1
  %offset.idx92 = add i64 %104, %92
  %105 = add nsw i64 %offset.idx92, -1
  %106 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %105
  %wide.vec = load <32 x i8>, ptr %106, align 1, !tbaa !7
  %107 = add nsw i64 %offset.idx92, 1
  %108 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %107
  %wide.vec93 = load <32 x i8>, ptr %108, align 1, !tbaa !7
  %109 = xor <32 x i8> %wide.vec93, %wide.vec
  %110 = shufflevector <32 x i8> %109, <32 x i8> poison, <16 x i32> <i32 0, i32 2, i32 4, i32 6, i32 8, i32 10, i32 12, i32 14, i32 16, i32 18, i32 20, i32 22, i32 24, i32 26, i32 28, i32 30>
  %111 = getelementptr inbounds [200010 x i8], ptr @tmp, i64 0, i64 %offset.idx
  store <16 x i8> %110, ptr %111, align 1, !tbaa !7
  %index.next = add nuw i64 %index, 16
  %112 = icmp eq i64 %index.next, %n.vec
  br i1 %112, label %.lr.ph56.preheader109, label %vector.body, !llvm.loop !13

.lr.ph51:                                         ; preds = %.lr.ph51.preheader110, %.lr.ph51
  %indvars.iv69 = phi i64 [ %indvars.iv.next70, %.lr.ph51 ], [ %indvars.iv69.ph, %.lr.ph51.preheader110 ]
  %indvars.iv67 = phi i64 [ %indvars.iv.next68, %.lr.ph51 ], [ %indvars.iv67.ph, %.lr.ph51.preheader110 ]
  %113 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %indvars.iv67
  %114 = load i8, ptr %113, align 1, !tbaa !7
  %indvars.iv.next70 = add nuw nsw i64 %indvars.iv69, 1
  %115 = getelementptr inbounds [200010 x i8], ptr @tmp, i64 0, i64 %indvars.iv69
  store i8 %114, ptr %115, align 1, !tbaa !7
  %indvars.iv.next68 = add nsw i64 %indvars.iv67, 2
  %.not42 = icmp sgt i64 %indvars.iv.next68, %14
  br i1 %.not42, label %._crit_edge, label %.lr.ph51, !llvm.loop !14

._crit_edge57.loopexit:                           ; preds = %.lr.ph56
  %116 = trunc nuw i64 %indvars.iv.next77 to i32
  br label %.lr.ph61.preheader

._crit_edge57:                                    ; preds = %11
  %117 = add i32 %.tr, -1
  br label %._crit_edge62

.lr.ph61.preheader:                               ; preds = %._crit_edge, %._crit_edge57.loopexit
  %.1.lcssa.ph = phi i32 [ %116, %._crit_edge57.loopexit ], [ %90, %._crit_edge ]
  %118 = add i32 %.tr, -1
  %119 = add i32 %118, %.1.lcssa.ph
  %scevgep = getelementptr i8, ptr @str, i64 %3
  %120 = zext i32 %.1.lcssa.ph to i64
  tail call void @llvm.memcpy.p0.p0.i64(ptr align 1 %scevgep, ptr nonnull align 16 @tmp, i64 %120, i1 false), !tbaa !7
  br label %._crit_edge62

.lr.ph56:                                         ; preds = %.lr.ph56.preheader109, %.lr.ph56
  %indvars.iv76 = phi i64 [ %indvars.iv.next77, %.lr.ph56 ], [ %indvars.iv76.ph, %.lr.ph56.preheader109 ]
  %indvars.iv74 = phi i64 [ %indvars.iv.next75, %.lr.ph56 ], [ %indvars.iv74.ph, %.lr.ph56.preheader109 ]
  %121 = add nsw i64 %indvars.iv74, -1
  %122 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %121
  %123 = load i8, ptr %122, align 1, !tbaa !7
  %124 = add nsw i64 %indvars.iv74, 1
  %125 = getelementptr inbounds [200010 x i8], ptr @str, i64 0, i64 %124
  %126 = load i8, ptr %125, align 1, !tbaa !7
  %127 = xor i8 %126, %123
  %indvars.iv.next77 = add nuw nsw i64 %indvars.iv76, 1
  %128 = getelementptr inbounds [200010 x i8], ptr @tmp, i64 0, i64 %indvars.iv76
  store i8 %127, ptr %128, align 1, !tbaa !7
  %indvars.iv.next75 = add nsw i64 %indvars.iv74, 2
  %.not43 = icmp sgt i64 %indvars.iv.next75, %93
  br i1 %.not43, label %._crit_edge57.loopexit, label %.lr.ph56, !llvm.loop !15

._crit_edge62:                                    ; preds = %._crit_edge57, %.lr.ph61.preheader
  %129 = phi i32 [ %119, %.lr.ph61.preheader ], [ %117, %._crit_edge57 ]
  %130 = phi i32 [ %91, %.lr.ph61.preheader ], [ %.tr, %._crit_edge57 ]
  %131 = add nsw i32 %130, -1
  %132 = tail call noundef zeroext i1 @_Z5solveii(i32 noundef %.tr, i32 noundef %131)
  br i1 %132, label %.critedge, label %tailrecurse

.critedge:                                        ; preds = %._crit_edge62, %9, %tailrecurse, %5
  %.038 = phi i1 [ false, %5 ], [ %.not.not46, %._crit_edge62 ], [ %.not.not46, %9 ], [ false, %tailrecurse ]
  ret i1 %.038
}

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #1

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i64 @llvm.smax.i64(i64, i64) #2

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


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