; LLVM IR from KamilSJaron/smudgeplot :: src_ploidyplot (libfastk)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct._Kmer_Table = type { i32, i32, i64, i32, i32, i32, i32, i32, i32, ptr, ptr, ptr, i32 }

; 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: nounwind uwtable
define dso_local i64 @Find_Kmer(ptr noundef %0, ptr noundef %1) #1 {
  %3 = alloca i64, align 8
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca i64, align 8
  %15 = alloca ptr, align 8
  %16 = alloca i64, align 8
  %17 = alloca i64, align 8
  %18 = alloca i64, align 8
  %19 = alloca i64, align 8
  %20 = alloca i32, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #4
  %21 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %21, ptr %6, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #4
  %22 = load ptr, ptr %6, align 8, !tbaa !5
  %23 = getelementptr inbounds %struct._Kmer_Table, ptr %22, i32 0, i32 0
  %24 = load i32, ptr %23, align 8, !tbaa !9
  store i32 %24, ptr %7, align 4, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #4
  %25 = load ptr, ptr %6, align 8, !tbaa !5
  %26 = getelementptr inbounds %struct._Kmer_Table, ptr %25, i32 0, i32 3
  %27 = load i32, ptr %26, align 8, !tbaa !14
  store i32 %27, ptr %8, align 4, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #4
  %28 = load ptr, ptr %6, align 8, !tbaa !5
  %29 = getelementptr inbounds %struct._Kmer_Table, ptr %28, i32 0, i32 6
  %30 = load i32, ptr %29, align 4, !tbaa !15
  store i32 %30, ptr %9, align 4, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #4
  %31 = load ptr, ptr %6, align 8, !tbaa !5
  %32 = getelementptr inbounds %struct._Kmer_Table, ptr %31, i32 0, i32 7
  %33 = load i32, ptr %32, align 8, !tbaa !16
  store i32 %33, ptr %10, align 4, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #4
  %34 = load ptr, ptr %6, align 8, !tbaa !5
  %35 = getelementptr inbounds %struct._Kmer_Table, ptr %34, i32 0, i32 9
  %36 = load ptr, ptr %35, align 8, !tbaa !17
  store ptr %36, ptr %11, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #4
  %37 = load ptr, ptr %6, align 8, !tbaa !5
  %38 = getelementptr inbounds %struct._Kmer_Table, ptr %37, i32 0, i32 10
  %39 = load ptr, ptr %38, align 8, !tbaa !18
  store ptr %39, ptr %12, align 8, !tbaa !5
  %40 = load ptr, ptr %6, align 8, !tbaa !5
  %41 = getelementptr inbounds %struct._Kmer_Table, ptr %40, i32 0, i32 4
  %42 = load i32, ptr %41, align 4, !tbaa !19
  %43 = zext i32 %42 to i64
  %44 = call ptr @llvm.stacksave.p0()
  store ptr %44, ptr %13, align 8
  %45 = alloca i8, i64 %43, align 16
  store i64 %43, ptr %14, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #4
  %46 = load ptr, ptr %5, align 8, !tbaa !5
  %47 = load i32, ptr %7, align 4, !tbaa !13
  %48 = call i32 @is_minimal(ptr noundef %46, i32 noundef %47)
  %49 = icmp ne i32 %48, 0
  br i1 %49, label %50, label %53

50:                                               ; preds = %2
  %51 = load ptr, ptr %5, align 8, !tbaa !5
  %52 = load i32, ptr %7, align 4, !tbaa !13
  call void @compress_norm(ptr noundef %51, i32 noundef %52, ptr noundef %45)
  br label %56

53:                                               ; preds = %2
  %54 = load ptr, ptr %5, align 8, !tbaa !5
  %55 = load i32, ptr %7, align 4, !tbaa !13
  call void @compress_comp(ptr noundef %54, i32 noundef %55, ptr noundef %45)
  br label %56

56:                                               ; preds = %53, %50
  store ptr %45, ptr %15, align 8, !tbaa !5
  %57 = load ptr, ptr %15, align 8, !tbaa !5
  %58 = getelementptr inbounds i8, ptr %57, i32 1
  store ptr %58, ptr %15, align 8, !tbaa !5
  %59 = load i8, ptr %57, align 1, !tbaa !20
  %60 = zext i8 %59 to i64
  store i64 %60, ptr %18, align 8, !tbaa !21
  store i64 1, ptr %16, align 8, !tbaa !21
  br label %61

61:                                               ; preds = %74, %56
  %62 = load i64, ptr %16, align 8, !tbaa !21
  %63 = load i32, ptr %8, align 4, !tbaa !13
  %64 = sext i32 %63 to i64
  %65 = icmp slt i64 %62, %64
  br i1 %65, label %66, label %77

66:                                               ; preds = %61
  %67 = load i64, ptr %18, align 8, !tbaa !21
  %68 = shl i64 %67, 8
  %69 = load ptr, ptr %15, align 8, !tbaa !5
  %70 = getelementptr inbounds i8, ptr %69, i32 1
  store ptr %70, ptr %15, align 8, !tbaa !5
  %71 = load i8, ptr %69, align 1, !tbaa !20
  %72 = zext i8 %71 to i64
  %73 = or i64 %68, %72
  store i64 %73, ptr %18, align 8, !tbaa !21
  br label %74

74:                                               ; preds = %66
  %75 = load i64, ptr %16, align 8, !tbaa !21
  %76 = add nsw i64 %75, 1
  store i64 %76, ptr %16, align 8, !tbaa !21
  br label %61, !llvm.loop !22

77:                                               ; preds = %61
  %78 = load i64, ptr %18, align 8, !tbaa !21
  %79 = icmp eq i64 %78, 0
  br i1 %79, label %80, label %81

80:                                               ; preds = %77
  store i64 0, ptr %16, align 8, !tbaa !21
  br label %87

81:                                               ; preds = %77
  %82 = load ptr, ptr %12, align 8, !tbaa !5
  %83 = load i64, ptr %18, align 8, !tbaa !21
  %84 = sub nsw i64 %83, 1
  %85 = getelementptr inbounds i64, ptr %82, i64 %84
  %86 = load i64, ptr %85, align 8, !tbaa !21
  store i64 %86, ptr %16, align 8, !tbaa !21
  br label %87

87:                                               ; preds = %81, %80
  %88 = load i64, ptr %16, align 8, !tbaa !21
  %89 = load ptr, ptr %6, align 8, !tbaa !5
  %90 = getelementptr inbounds %struct._Kmer_Table, ptr %89, i32 0, i32 2
  %91 = load i64, ptr %90, align 8, !tbaa !24
  %92 = icmp sge i64 %88, %91
  br i1 %92, label %93, label %94

93:                                               ; preds = %87
  store i64 -1, ptr %3, align 8
  store i32 1, ptr %20, align 4
  br label %147

94:                                               ; preds = %87
  %95 = load ptr, ptr %12, align 8, !tbaa !5
  %96 = load i64, ptr %18, align 8, !tbaa !21
  %97 = getelementptr inbounds i64, ptr %95, i64 %96
  %98 = load i64, ptr %97, align 8, !tbaa !21
  store i64 %98, ptr %19, align 8, !tbaa !21
  store i64 %98, ptr %17, align 8, !tbaa !21
  %99 = load i64, ptr %17, align 8, !tbaa !21
  %100 = load i64, ptr %16, align 8, !tbaa !21
  %101 = icmp sle i64 %99, %100
  br i1 %101, label %102, label %103

102:                                              ; preds = %94
  store i64 -1, ptr %3, align 8
  store i32 1, ptr %20, align 4
  br label %147

103:                                              ; preds = %94
  br label %104

104:                                              ; preds = %128, %103
  %105 = load i64, ptr %16, align 8, !tbaa !21
  %106 = load i64, ptr %17, align 8, !tbaa !21
  %107 = icmp slt i64 %105, %106
  br i1 %107, label %108, label %129

108:                                              ; preds = %104
  %109 = load i64, ptr %16, align 8, !tbaa !21
  %110 = load i64, ptr %17, align 8, !tbaa !21
  %111 = add nsw i64 %109, %110
  %112 = ashr i64 %111, 1
  store i64 %112, ptr %18, align 8, !tbaa !21
  %113 = load ptr, ptr %11, align 8, !tbaa !5
  %114 = load i64, ptr %18, align 8, !tbaa !21
  %115 = load i32, ptr %10, align 4, !tbaa !13
  %116 = sext i32 %115 to i64
  %117 = mul nsw i64 %114, %116
  %118 = getelementptr inbounds i8, ptr %113, i64 %117
  %119 = load ptr, ptr %15, align 8, !tbaa !5
  %120 = load i32, ptr %9, align 4, !tbaa !13
  %121 = call i32 @mycmp(ptr noundef %118, ptr noundef %119, i32 noundef %120)
  %122 = icmp slt i32 %121, 0
  br i1 %122, label %123, label %126

123:                                              ; preds = %108
  %124 = load i64, ptr %18, align 8, !tbaa !21
  %125 = add nsw i64 %124, 1
  store i64 %125, ptr %16, align 8, !tbaa !21
  br label %128

126:                                              ; preds = %108
  %127 = load i64, ptr %18, align 8, !tbaa !21
  store i64 %127, ptr %17, align 8, !tbaa !21
  br label %128

128:                                              ; preds = %126, %123
  br label %104, !llvm.loop !25

129:                                              ; preds = %104
  %130 = load i64, ptr %16, align 8, !tbaa !21
  %131 = load i64, ptr %19, align 8, !tbaa !21
  %132 = icmp sge i64 %130, %131
  br i1 %132, label %144, label %133

133:                                              ; preds = %129
  %134 = load ptr, ptr %11, align 8, !tbaa !5
  %135 = load i64, ptr %16, align 8, !tbaa !21
  %136 = load i32, ptr %10, align 4, !tbaa !13
  %137 = sext i32 %136 to i64
  %138 = mul nsw i64 %135, %137
  %139 = getelementptr inbounds i8, ptr %134, i64 %138
  %140 = load ptr, ptr %15, align 8, !tbaa !5
  %141 = load i32, ptr %9, align 4, !tbaa !13
  %142 = call i32 @mycmp(ptr noundef %139, ptr noundef %140, i32 noundef %141)
  %143 = icmp ne i32 %142, 0
  br i1 %143, label %144, label %145

144:                                              ; preds = %133, %129
  store i64 -1, ptr %3, align 8
  store i32 1, ptr %20, align 4
  br label %147

145:                                              ; preds = %133
  %146 = load i64, ptr %16, align 8, !tbaa !21
  store i64 %146, ptr %3, align 8
  store i32 1, ptr %20, align 4
  br label %147

147:                                              ; preds = %145, %144, %102, %93
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #4
  %148 = load ptr, ptr %13, align 8
  call void @llvm.stackrestore.p0(ptr %148)
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #4
  %149 = load i64, ptr %3, align 8
  ret i64 %149
}

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

; Function Attrs: nounwind uwtable
declare hidden i32 @is_minimal(ptr noundef, i32 noundef) #1

; Function Attrs: nounwind uwtable
declare hidden void @compress_norm(ptr noundef, i32 noundef, ptr noundef) #1

; Function Attrs: nounwind uwtable
declare hidden void @compress_comp(ptr noundef, i32 noundef, ptr noundef) #1

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @mycmp(ptr noundef, ptr noundef, i32 noundef) #3

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

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 willreturn }
attributes #3 = { inlinehint 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 #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 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !11, i64 0}
!10 = !{!"", !11, i64 0, !11, i64 4, !12, i64 8, !11, i64 16, !11, i64 20, !11, i64 24, !11, i64 28, !11, i64 32, !11, i64 36, !6, i64 40, !6, i64 48, !6, i64 56, !11, i64 64}
!11 = !{!"int", !7, i64 0}
!12 = !{!"long long", !7, i64 0}
!13 = !{!11, !11, i64 0}
!14 = !{!10, !11, i64 16}
!15 = !{!10, !11, i64 28}
!16 = !{!10, !11, i64 32}
!17 = !{!10, !6, i64 40}
!18 = !{!10, !6, i64 48}
!19 = !{!10, !11, i64 20}
!20 = !{!7, !7, i64 0}
!21 = !{!12, !12, i64 0}
!22 = distinct !{!22, !23}
!23 = !{!"llvm.loop.mustprogress"}
!24 = !{!10, !12, i64 8}
!25 = distinct !{!25, !23}


; 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 i64 @Find_Kmer(ptr nocapture noundef readonly %0, ptr noundef %1) local_unnamed_addr #0 {
  %3 = load i32, ptr %0, align 8, !tbaa !5
  %4 = getelementptr inbounds i8, ptr %0, i64 16
  %5 = load i32, ptr %4, align 8, !tbaa !12
  %6 = getelementptr inbounds i8, ptr %0, i64 28
  %7 = load i32, ptr %6, align 4, !tbaa !13
  %8 = getelementptr inbounds i8, ptr %0, i64 32
  %9 = load i32, ptr %8, align 8, !tbaa !14
  %10 = getelementptr inbounds i8, ptr %0, i64 40
  %11 = load ptr, ptr %10, align 8, !tbaa !15
  %12 = getelementptr inbounds i8, ptr %0, i64 48
  %13 = load ptr, ptr %12, align 8, !tbaa !16
  %14 = getelementptr inbounds i8, ptr %0, i64 20
  %15 = load i32, ptr %14, align 4, !tbaa !17
  %16 = zext i32 %15 to i64
  %17 = alloca i8, i64 %16, align 16
  %18 = tail call i32 @is_minimal(ptr noundef %1, i32 noundef %3)
  %.not = icmp eq i32 %18, 0
  br i1 %.not, label %20, label %19

19:                                               ; preds = %2
  call void @compress_norm(ptr noundef %1, i32 noundef %3, ptr noundef nonnull %17)
  br label %21

20:                                               ; preds = %2
  call void @compress_comp(ptr noundef %1, i32 noundef %3, ptr noundef nonnull %17)
  br label %21

21:                                               ; preds = %20, %19
  %22 = load i8, ptr %17, align 16, !tbaa !18
  %23 = zext i8 %22 to i64
  %24 = sext i32 %5 to i64
  %.05359 = getelementptr inbounds i8, ptr %17, i64 1
  %25 = icmp sgt i32 %5, 1
  br i1 %25, label %.lr.ph.preheader, label %._crit_edge

.lr.ph.preheader:                                 ; preds = %21
  %26 = add nsw i64 %24, -1
  %27 = add nsw i64 %24, -2
  %xtraiter = and i64 %26, 3
  %28 = icmp ult i64 %27, 3
  br i1 %28, label %._crit_edge.loopexit.unr-lcssa, label %.lr.ph.preheader.new

.lr.ph.preheader.new:                             ; preds = %.lr.ph.preheader
  %unroll_iter = and i64 %26, -4
  br label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph, %.lr.ph.preheader.new
  %.05362 = phi ptr [ %.05359, %.lr.ph.preheader.new ], [ %.053.3, %.lr.ph ]
  %.04961 = phi i64 [ %23, %.lr.ph.preheader.new ], [ %44, %.lr.ph ]
  %niter = phi i64 [ 0, %.lr.ph.preheader.new ], [ %niter.next.3, %.lr.ph ]
  %29 = load i8, ptr %.05362, align 1, !tbaa !18
  %30 = zext i8 %29 to i64
  %.053 = getelementptr inbounds i8, ptr %.05362, i64 1
  %31 = shl i64 %.04961, 16
  %32 = shl nuw nsw i64 %30, 8
  %33 = or disjoint i64 %31, %32
  %34 = load i8, ptr %.053, align 1, !tbaa !18
  %35 = zext i8 %34 to i64
  %36 = or disjoint i64 %33, %35
  %.053.1 = getelementptr inbounds i8, ptr %.05362, i64 2
  %37 = load i8, ptr %.053.1, align 1, !tbaa !18
  %38 = zext i8 %37 to i64
  %.053.2 = getelementptr inbounds i8, ptr %.05362, i64 3
  %39 = shl i64 %36, 16
  %40 = shl nuw nsw i64 %38, 8
  %41 = or disjoint i64 %39, %40
  %42 = load i8, ptr %.053.2, align 1, !tbaa !18
  %43 = zext i8 %42 to i64
  %44 = or disjoint i64 %41, %43
  %.053.3 = getelementptr inbounds i8, ptr %.05362, i64 4
  %niter.next.3 = add i64 %niter, 4
  %niter.ncmp.3 = icmp eq i64 %niter.next.3, %unroll_iter
  br i1 %niter.ncmp.3, label %._crit_edge.loopexit.unr-lcssa, label %.lr.ph, !llvm.loop !19

._crit_edge.loopexit.unr-lcssa:                   ; preds = %.lr.ph, %.lr.ph.preheader
  %.lcssa.ph = phi i64 [ poison, %.lr.ph.preheader ], [ %44, %.lr.ph ]
  %.05362.unr = phi ptr [ %.05359, %.lr.ph.preheader ], [ %.053.3, %.lr.ph ]
  %.04961.unr = phi i64 [ %23, %.lr.ph.preheader ], [ %44, %.lr.ph ]
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %._crit_edge.loopexit, label %.lr.ph.epil

.lr.ph.epil:                                      ; preds = %._crit_edge.loopexit.unr-lcssa, %.lr.ph.epil
  %.05362.epil = phi ptr [ %.053.epil, %.lr.ph.epil ], [ %.05362.unr, %._crit_edge.loopexit.unr-lcssa ]
  %.04961.epil = phi i64 [ %48, %.lr.ph.epil ], [ %.04961.unr, %._crit_edge.loopexit.unr-lcssa ]
  %epil.iter = phi i64 [ %epil.iter.next, %.lr.ph.epil ], [ 0, %._crit_edge.loopexit.unr-lcssa ]
  %45 = shl i64 %.04961.epil, 8
  %46 = load i8, ptr %.05362.epil, align 1, !tbaa !18
  %47 = zext i8 %46 to i64
  %48 = or disjoint i64 %45, %47
  %.053.epil = getelementptr inbounds i8, ptr %.05362.epil, i64 1
  %epil.iter.next = add i64 %epil.iter, 1
  %epil.iter.cmp.not = icmp eq i64 %epil.iter.next, %xtraiter
  br i1 %epil.iter.cmp.not, label %._crit_edge.loopexit, label %.lr.ph.epil, !llvm.loop !21

._crit_edge.loopexit:                             ; preds = %.lr.ph.epil, %._crit_edge.loopexit.unr-lcssa
  %.lcssa = phi i64 [ %.lcssa.ph, %._crit_edge.loopexit.unr-lcssa ], [ %48, %.lr.ph.epil ]
  %scevgep = getelementptr i8, ptr %17, i64 %24
  br label %._crit_edge

._crit_edge:                                      ; preds = %._crit_edge.loopexit, %21
  %.049.lcssa = phi i64 [ %23, %21 ], [ %.lcssa, %._crit_edge.loopexit ]
  %.053.lcssa = phi ptr [ %.05359, %21 ], [ %scevgep, %._crit_edge.loopexit ]
  %49 = icmp eq i64 %.049.lcssa, 0
  br i1 %49, label %54, label %50

50:                                               ; preds = %._crit_edge
  %51 = getelementptr i64, ptr %13, i64 %.049.lcssa
  %52 = getelementptr i8, ptr %51, i64 -8
  %53 = load i64, ptr %52, align 8, !tbaa !23
  br label %54

54:                                               ; preds = %._crit_edge, %50
  %.152 = phi i64 [ %53, %50 ], [ 0, %._crit_edge ]
  %55 = getelementptr inbounds i8, ptr %0, i64 8
  %56 = load i64, ptr %55, align 8, !tbaa !24
  %.not55 = icmp slt i64 %.152, %56
  br i1 %.not55, label %57, label %75

57:                                               ; preds = %54
  %58 = getelementptr inbounds i64, ptr %13, i64 %.049.lcssa
  %59 = load i64, ptr %58, align 8, !tbaa !23
  %.not56 = icmp sgt i64 %59, %.152
  br i1 %.not56, label %.preheader, label %75

.preheader:                                       ; preds = %57
  %60 = sext i32 %9 to i64
  br label %61

61:                                               ; preds = %.preheader, %61
  %.05065 = phi i64 [ %59, %.preheader ], [ %.1, %61 ]
  %.264 = phi i64 [ %.152, %.preheader ], [ %.3, %61 ]
  %62 = add nsw i64 %.05065, %.264
  %63 = ashr i64 %62, 1
  %64 = mul nsw i64 %63, %60
  %65 = getelementptr inbounds i8, ptr %11, i64 %64
  %66 = call i32 @mycmp(ptr noundef %65, ptr noundef nonnull %.053.lcssa, i32 noundef %7)
  %67 = icmp slt i32 %66, 0
  %68 = add nsw i64 %63, 1
  %.3 = select i1 %67, i64 %68, i64 %.264
  %.1 = select i1 %67, i64 %.05065, i64 %63
  %69 = icmp slt i64 %.3, %.1
  br i1 %69, label %61, label %70, !llvm.loop !25

70:                                               ; preds = %61
  %.not57 = icmp slt i64 %.3, %59
  br i1 %.not57, label %71, label %75

71:                                               ; preds = %70
  %72 = mul nsw i64 %.3, %60
  %73 = getelementptr inbounds i8, ptr %11, i64 %72
  %74 = call i32 @mycmp(ptr noundef %73, ptr noundef nonnull %.053.lcssa, i32 noundef %7)
  %.not58 = icmp eq i32 %74, 0
  %spec.select = select i1 %.not58, i64 %.3, i64 -1
  br label %75

75:                                               ; preds = %71, %70, %57, %54
  %.0 = phi i64 [ -1, %54 ], [ -1, %57 ], [ -1, %70 ], [ %spec.select, %71 ]
  ret i64 %.0
}

; Function Attrs: nounwind uwtable
declare hidden i32 @is_minimal(ptr noundef, i32 noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare hidden void @compress_norm(ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare hidden void @compress_comp(ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @mycmp(ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #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 = { inlinehint 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" }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 0}
!6 = !{!"", !7, i64 0, !7, i64 4, !10, i64 8, !7, i64 16, !7, i64 20, !7, i64 24, !7, i64 28, !7, i64 32, !7, i64 36, !11, i64 40, !11, i64 48, !11, i64 56, !7, i64 64}
!7 = !{!"int", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"long long", !8, i64 0}
!11 = !{!"any pointer", !8, i64 0}
!12 = !{!6, !7, i64 16}
!13 = !{!6, !7, i64 28}
!14 = !{!6, !7, i64 32}
!15 = !{!6, !11, i64 40}
!16 = !{!6, !11, i64 48}
!17 = !{!6, !7, i64 20}
!18 = !{!8, !8, i64 0}
!19 = distinct !{!19, !20}
!20 = !{!"llvm.loop.mustprogress"}
!21 = distinct !{!21, !22}
!22 = !{!"llvm.loop.unroll.disable"}
!23 = !{!10, !10, i64 0}
!24 = !{!6, !10, i64 8}
!25 = distinct !{!25, !20}


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