; LLVM IR from sgtlaugh/algovault :: code_library/fast_sieve.ll (Z13process_blockj)

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

@s = external dso_local global i32, align 4
@sq = external dso_local global [65536 x i32], align 16
@sp = external dso_local global [65536 x i32], align 16
@wheel = external dso_local global [15015 x i64], align 16
@is_composite = external dso_local global [8192 x i64], align 16
@mask = external dso_local global [12 x [62 x [8192 x i64]]], 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 uwtable
define dso_local void @_Z13process_blockj(i32 noundef %0) #1 {
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %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 %2, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #4
  %14 = load i32, ptr %2, align 4, !tbaa !5
  %15 = add i32 %14, 1048576
  store i32 %15, ptr %9, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #4
  %16 = load i32, ptr %2, align 4, !tbaa !5
  %17 = urem i32 %16, 15015
  store i32 %17, ptr %10, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #4
  store i32 0, ptr %11, align 4, !tbaa !5
  %18 = load i32, ptr %10, align 4, !tbaa !5
  %19 = load i32, ptr %10, align 4, !tbaa !5
  %20 = mul i32 %19, 105
  %21 = and i32 %20, 127
  %22 = mul i32 %21, 15015
  %23 = add i32 %18, %22
  %24 = lshr i32 %23, 7
  store i32 %24, ptr %10, align 4, !tbaa !5
  store i32 0, ptr %3, align 4, !tbaa !5
  br label %25

25:                                               ; preds = %45, %1
  %26 = load i32, ptr %3, align 4, !tbaa !5
  %27 = shl i32 %26, 7
  %28 = icmp ult i32 %27, 1048576
  br i1 %28, label %29, label %49

29:                                               ; preds = %25
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #4
  %30 = load i32, ptr %10, align 4, !tbaa !5
  %31 = sub i32 15015, %30
  store i32 %31, ptr %12, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #4
  %32 = load i32, ptr %3, align 4, !tbaa !5
  %33 = sub i32 8192, %32
  store i32 %33, ptr %13, align 4, !tbaa !5
  %34 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIjERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %12, ptr noundef nonnull align 4 dereferenceable(4) %13)
  %35 = load i32, ptr %34, align 4, !tbaa !5
  store i32 %35, ptr %11, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #4
  %36 = load i32, ptr %3, align 4, !tbaa !5
  %37 = zext i32 %36 to i64
  %38 = getelementptr inbounds i64, ptr @is_composite, i64 %37
  %39 = load i32, ptr %10, align 4, !tbaa !5
  %40 = zext i32 %39 to i64
  %41 = getelementptr inbounds i64, ptr @wheel, i64 %40
  %42 = load i32, ptr %11, align 4, !tbaa !5
  %43 = zext i32 %42 to i64
  %44 = mul i64 8, %43
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %38, ptr align 8 %41, i64 %44, i1 false)
  br label %45

45:                                               ; preds = %29
  %46 = load i32, ptr %11, align 4, !tbaa !5
  %47 = load i32, ptr %3, align 4, !tbaa !5
  %48 = add i32 %47, %46
  store i32 %48, ptr %3, align 4, !tbaa !5
  store i32 0, ptr %10, align 4, !tbaa !5
  br label %25, !llvm.loop !9

49:                                               ; preds = %25
  %50 = load i32, ptr %2, align 4, !tbaa !5
  %51 = icmp ne i32 %50, 0
  br i1 %51, label %56, label %52

52:                                               ; preds = %49
  %53 = load i64, ptr @is_composite, align 16, !tbaa !11
  %54 = or i64 %53, 1
  %55 = and i64 %54, -111
  store i64 %55, ptr @is_composite, align 16, !tbaa !11
  br label %56

56:                                               ; preds = %52, %49
  store i32 524288, ptr %5, align 4, !tbaa !5
  store i32 8192, ptr %7, align 4, !tbaa !5
  store i32 6, ptr %3, align 4, !tbaa !5
  br label %57

57:                                               ; preds = %95, %56
  %58 = load i32, ptr %3, align 4, !tbaa !5
  %59 = icmp ult i32 %58, 18
  br i1 %59, label %60, label %63

60:                                               ; preds = %57
  %61 = load i32, ptr %2, align 4, !tbaa !5
  %62 = icmp ne i32 %61, 0
  br label %63

63:                                               ; preds = %60, %57
  %64 = phi i1 [ false, %57 ], [ %62, %60 ]
  br i1 %64, label %65, label %98

65:                                               ; preds = %63
  %66 = load i32, ptr %2, align 4, !tbaa !5
  %67 = load i32, ptr %3, align 4, !tbaa !5
  %68 = call noundef i32 @_Z7get_idxjj(i32 noundef %66, i32 noundef %67)
  store i32 %68, ptr %8, align 4, !tbaa !5
  store i32 0, ptr %4, align 4, !tbaa !5
  %69 = load i32, ptr %3, align 4, !tbaa !5
  %70 = sub i32 %69, 6
  store i32 %70, ptr %6, align 4, !tbaa !5
  br label %71

71:                                               ; preds = %91, %65
  %72 = load i32, ptr %4, align 4, !tbaa !5
  %73 = load i32, ptr %7, align 4, !tbaa !5
  %74 = icmp ult i32 %72, %73
  br i1 %74, label %75, label %94

75:                                               ; preds = %71
  %76 = load i32, ptr %6, align 4, !tbaa !5
  %77 = zext i32 %76 to i64
  %78 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 %77
  %79 = load i32, ptr %8, align 4, !tbaa !5
  %80 = zext i32 %79 to i64
  %81 = getelementptr inbounds [62 x [8192 x i64]], ptr %78, i64 0, i64 %80
  %82 = load i32, ptr %4, align 4, !tbaa !5
  %83 = zext i32 %82 to i64
  %84 = getelementptr inbounds [8192 x i64], ptr %81, i64 0, i64 %83
  %85 = load i64, ptr %84, align 8, !tbaa !11
  %86 = load i32, ptr %4, align 4, !tbaa !5
  %87 = zext i32 %86 to i64
  %88 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %87
  %89 = load i64, ptr %88, align 8, !tbaa !11
  %90 = or i64 %89, %85
  store i64 %90, ptr %88, align 8, !tbaa !11
  br label %91

91:                                               ; preds = %75
  %92 = load i32, ptr %4, align 4, !tbaa !5
  %93 = add i32 %92, 1
  store i32 %93, ptr %4, align 4, !tbaa !5
  br label %71, !llvm.loop !13

94:                                               ; preds = %71
  br label %95

95:                                               ; preds = %94
  %96 = load i32, ptr %3, align 4, !tbaa !5
  %97 = add i32 %96, 1
  store i32 %97, ptr %3, align 4, !tbaa !5
  br label %57, !llvm.loop !14

98:                                               ; preds = %63
  %99 = load i32, ptr %2, align 4, !tbaa !5
  %100 = icmp eq i32 %99, 0
  %101 = zext i1 %100 to i64
  %102 = select i1 %100, i32 6, i32 18
  store i32 %102, ptr %3, align 4, !tbaa !5
  br label %103

103:                                              ; preds = %134, %98
  %104 = load i32, ptr %3, align 4, !tbaa !5
  %105 = load i32, ptr @s, align 4, !tbaa !5
  %106 = icmp ult i32 %104, %105
  br i1 %106, label %107, label %114

107:                                              ; preds = %103
  %108 = load i32, ptr %3, align 4, !tbaa !5
  %109 = zext i32 %108 to i64
  %110 = getelementptr inbounds [65536 x i32], ptr @sq, i64 0, i64 %109
  %111 = load i32, ptr %110, align 4, !tbaa !5
  %112 = load i32, ptr %9, align 4, !tbaa !5
  %113 = icmp ult i32 %111, %112
  br label %114

114:                                              ; preds = %107, %103
  %115 = phi i1 [ false, %103 ], [ %113, %107 ]
  br i1 %115, label %116, label %137

116:                                              ; preds = %114
  %117 = load i32, ptr %2, align 4, !tbaa !5
  %118 = load i32, ptr %3, align 4, !tbaa !5
  %119 = call noundef i32 @_Z7get_idxjj(i32 noundef %117, i32 noundef %118)
  store i32 %119, ptr %8, align 4, !tbaa !5
  br label %120

120:                                              ; preds = %126, %116
  %121 = load i32, ptr %8, align 4, !tbaa !5
  %122 = load i32, ptr %5, align 4, !tbaa !5
  %123 = icmp ult i32 %121, %122
  br i1 %123, label %124, label %133

124:                                              ; preds = %120
  %125 = load i32, ptr %8, align 4, !tbaa !5
  call void @_Z6setbitPmj(ptr noundef @is_composite, i32 noundef %125)
  br label %126

126:                                              ; preds = %124
  %127 = load i32, ptr %3, align 4, !tbaa !5
  %128 = zext i32 %127 to i64
  %129 = getelementptr inbounds [65536 x i32], ptr @sp, i64 0, i64 %128
  %130 = load i32, ptr %129, align 4, !tbaa !5
  %131 = load i32, ptr %8, align 4, !tbaa !5
  %132 = add i32 %131, %130
  store i32 %132, ptr %8, align 4, !tbaa !5
  br label %120, !llvm.loop !15

133:                                              ; preds = %120
  br label %134

134:                                              ; preds = %133
  %135 = load i32, ptr %3, align 4, !tbaa !5
  %136 = add i32 %135, 1
  store i32 %136, ptr %3, align 4, !tbaa !5
  br label %103, !llvm.loop !16

137:                                              ; preds = %114
  call void @llvm.lifetime.end.p0(i64 4, 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 4, ptr %6) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #4
  ret void
}

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIjERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) #2

; 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) #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i32 @_Z7get_idxjj(i32 noundef, i32 noundef) #2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_Z6setbitPmj(ptr noundef, i32 noundef) #2

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { inlinehint 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 #3 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = !{!12, !12, i64 0}
!12 = !{!"long", !7, i64 0}
!13 = distinct !{!13, !10}
!14 = distinct !{!14, !10}
!15 = distinct !{!15, !10}
!16 = distinct !{!16, !10}


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

@s = external dso_local local_unnamed_addr global i32, align 4
@sq = external dso_local local_unnamed_addr global [65536 x i32], align 16
@sp = external dso_local local_unnamed_addr global [65536 x i32], align 16
@wheel = external dso_local local_unnamed_addr global [15015 x i64], align 16
@is_composite = external dso_local global [8192 x i64], align 16
@mask = external dso_local local_unnamed_addr global [12 x [62 x [8192 x i64]]], 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 nounwind uwtable
define dso_local void @_Z13process_blockj(i32 noundef %0) local_unnamed_addr #1 {
.peel.begin:
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = urem i32 %0, 15015
  %4 = mul nuw nsw i32 %3, 105
  %5 = and i32 %4, 127
  %6 = mul nuw nsw i32 %5, 15015
  %7 = add nuw nsw i32 %6, %3
  %8 = lshr i32 %7, 7
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %1) #4
  %9 = sub nuw nsw i32 15015, %8
  store i32 %9, ptr %1, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %2) #4
  store i32 8192, ptr %2, align 4, !tbaa !5
  %10 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIjERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %1, ptr noundef nonnull align 4 dereferenceable(4) %2)
  %11 = load i32, ptr %10, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %1) #4
  %12 = zext nneg i32 %8 to i64
  %13 = getelementptr inbounds i64, ptr @wheel, i64 %12
  %14 = zext i32 %11 to i64
  %15 = shl nuw nsw i64 %14, 3
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 @is_composite, ptr nonnull align 8 %13, i64 %15, i1 false)
  %16 = and i32 %11, 33546240
  %17 = icmp eq i32 %16, 0
  br i1 %17, label %.peel.next, label %.loopexit

.peel.next:                                       ; preds = %.peel.begin, %.peel.next
  %.03842 = phi i32 [ %25, %.peel.next ], [ %11, %.peel.begin ]
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %1) #4
  store i32 15015, ptr %1, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %2) #4
  %18 = sub i32 8192, %.03842
  store i32 %18, ptr %2, align 4, !tbaa !5
  %19 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIjERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %1, ptr noundef nonnull align 4 dereferenceable(4) %2)
  %20 = load i32, ptr %19, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %1) #4
  %21 = zext i32 %.03842 to i64
  %22 = getelementptr inbounds i64, ptr @is_composite, i64 %21
  %23 = zext i32 %20 to i64
  %24 = shl nuw nsw i64 %23, 3
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 %22, ptr nonnull align 16 @wheel, i64 %24, i1 false)
  %25 = add i32 %20, %.03842
  %26 = and i32 %25, 33546240
  %27 = icmp eq i32 %26, 0
  br i1 %27, label %.peel.next, label %.loopexit, !llvm.loop !9

.loopexit:                                        ; preds = %.peel.next, %.peel.begin
  %28 = add i32 %0, 1048576
  %.not = icmp eq i32 %0, 0
  br i1 %.not, label %44, label %.lr.ph.split.preheader

.lr.ph.split.preheader:                           ; preds = %.loopexit
  %29 = call noundef i32 @_Z7get_idxjj(i32 noundef %0, i32 noundef 6)
  %30 = zext i32 %29 to i64
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %.lr.ph.split.preheader
  %index = phi i64 [ 0, %.lr.ph.split.preheader ], [ %index.next.1, %vector.body ]
  %31 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 0, i64 %30, i64 %index
  %32 = getelementptr inbounds i8, ptr %31, i64 16
  %wide.load = load <2 x i64>, ptr %31, align 16, !tbaa !12
  %wide.load62 = load <2 x i64>, ptr %32, align 16, !tbaa !12
  %33 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index
  %34 = getelementptr inbounds i8, ptr %33, i64 16
  %wide.load63 = load <2 x i64>, ptr %33, align 16, !tbaa !12
  %wide.load64 = load <2 x i64>, ptr %34, align 16, !tbaa !12
  %35 = or <2 x i64> %wide.load63, %wide.load
  %36 = or <2 x i64> %wide.load64, %wide.load62
  store <2 x i64> %35, ptr %33, align 16, !tbaa !12
  store <2 x i64> %36, ptr %34, align 16, !tbaa !12
  %index.next = or disjoint i64 %index, 4
  %37 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 0, i64 %30, i64 %index.next
  %38 = getelementptr inbounds i8, ptr %37, i64 16
  %wide.load.1 = load <2 x i64>, ptr %37, align 16, !tbaa !12
  %wide.load62.1 = load <2 x i64>, ptr %38, align 16, !tbaa !12
  %39 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index.next
  %40 = getelementptr inbounds i8, ptr %39, i64 16
  %wide.load63.1 = load <2 x i64>, ptr %39, align 16, !tbaa !12
  %wide.load64.1 = load <2 x i64>, ptr %40, align 16, !tbaa !12
  %41 = or <2 x i64> %wide.load63.1, %wide.load.1
  %42 = or <2 x i64> %wide.load64.1, %wide.load62.1
  store <2 x i64> %41, ptr %39, align 16, !tbaa !12
  store <2 x i64> %42, ptr %40, align 16, !tbaa !12
  %index.next.1 = add nuw nsw i64 %index, 8
  %43 = icmp eq i64 %index.next.1, 8192
  br i1 %43, label %.lr.ph.split.1, label %vector.body, !llvm.loop !14

44:                                               ; preds = %.loopexit
  %45 = load i64, ptr @is_composite, align 16, !tbaa !12
  %46 = and i64 %45, -112
  %47 = or disjoint i64 %46, 1
  store i64 %47, ptr @is_composite, align 16, !tbaa !12
  br label %._crit_edge

.lr.ph.split.1:                                   ; preds = %vector.body
  %48 = call noundef i32 @_Z7get_idxjj(i32 noundef %0, i32 noundef 7)
  %49 = zext i32 %48 to i64
  br label %vector.body69

vector.body69:                                    ; preds = %vector.body69, %.lr.ph.split.1
  %index70 = phi i64 [ 0, %.lr.ph.split.1 ], [ %index.next75.1, %vector.body69 ]
  %50 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 1, i64 %49, i64 %index70
  %51 = getelementptr inbounds i8, ptr %50, i64 16
  %wide.load71 = load <2 x i64>, ptr %50, align 16, !tbaa !12
  %wide.load72 = load <2 x i64>, ptr %51, align 16, !tbaa !12
  %52 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index70
  %53 = getelementptr inbounds i8, ptr %52, i64 16
  %wide.load73 = load <2 x i64>, ptr %52, align 16, !tbaa !12
  %wide.load74 = load <2 x i64>, ptr %53, align 16, !tbaa !12
  %54 = or <2 x i64> %wide.load73, %wide.load71
  %55 = or <2 x i64> %wide.load74, %wide.load72
  store <2 x i64> %54, ptr %52, align 16, !tbaa !12
  store <2 x i64> %55, ptr %53, align 16, !tbaa !12
  %index.next75 = or disjoint i64 %index70, 4
  %56 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 1, i64 %49, i64 %index.next75
  %57 = getelementptr inbounds i8, ptr %56, i64 16
  %wide.load71.1 = load <2 x i64>, ptr %56, align 16, !tbaa !12
  %wide.load72.1 = load <2 x i64>, ptr %57, align 16, !tbaa !12
  %58 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index.next75
  %59 = getelementptr inbounds i8, ptr %58, i64 16
  %wide.load73.1 = load <2 x i64>, ptr %58, align 16, !tbaa !12
  %wide.load74.1 = load <2 x i64>, ptr %59, align 16, !tbaa !12
  %60 = or <2 x i64> %wide.load73.1, %wide.load71.1
  %61 = or <2 x i64> %wide.load74.1, %wide.load72.1
  store <2 x i64> %60, ptr %58, align 16, !tbaa !12
  store <2 x i64> %61, ptr %59, align 16, !tbaa !12
  %index.next75.1 = add nuw nsw i64 %index70, 8
  %62 = icmp eq i64 %index.next75.1, 8192
  br i1 %62, label %.lr.ph.split.2, label %vector.body69, !llvm.loop !17

.lr.ph.split.2:                                   ; preds = %vector.body69
  %63 = call noundef i32 @_Z7get_idxjj(i32 noundef %0, i32 noundef 8)
  %64 = zext i32 %63 to i64
  br label %vector.body80

vector.body80:                                    ; preds = %vector.body80, %.lr.ph.split.2
  %index81 = phi i64 [ 0, %.lr.ph.split.2 ], [ %index.next86.1, %vector.body80 ]
  %65 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 2, i64 %64, i64 %index81
  %66 = getelementptr inbounds i8, ptr %65, i64 16
  %wide.load82 = load <2 x i64>, ptr %65, align 16, !tbaa !12
  %wide.load83 = load <2 x i64>, ptr %66, align 16, !tbaa !12
  %67 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index81
  %68 = getelementptr inbounds i8, ptr %67, i64 16
  %wide.load84 = load <2 x i64>, ptr %67, align 16, !tbaa !12
  %wide.load85 = load <2 x i64>, ptr %68, align 16, !tbaa !12
  %69 = or <2 x i64> %wide.load84, %wide.load82
  %70 = or <2 x i64> %wide.load85, %wide.load83
  store <2 x i64> %69, ptr %67, align 16, !tbaa !12
  store <2 x i64> %70, ptr %68, align 16, !tbaa !12
  %index.next86 = or disjoint i64 %index81, 4
  %71 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 2, i64 %64, i64 %index.next86
  %72 = getelementptr inbounds i8, ptr %71, i64 16
  %wide.load82.1 = load <2 x i64>, ptr %71, align 16, !tbaa !12
  %wide.load83.1 = load <2 x i64>, ptr %72, align 16, !tbaa !12
  %73 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index.next86
  %74 = getelementptr inbounds i8, ptr %73, i64 16
  %wide.load84.1 = load <2 x i64>, ptr %73, align 16, !tbaa !12
  %wide.load85.1 = load <2 x i64>, ptr %74, align 16, !tbaa !12
  %75 = or <2 x i64> %wide.load84.1, %wide.load82.1
  %76 = or <2 x i64> %wide.load85.1, %wide.load83.1
  store <2 x i64> %75, ptr %73, align 16, !tbaa !12
  store <2 x i64> %76, ptr %74, align 16, !tbaa !12
  %index.next86.1 = add nuw nsw i64 %index81, 8
  %77 = icmp eq i64 %index.next86.1, 8192
  br i1 %77, label %.lr.ph.split.3, label %vector.body80, !llvm.loop !18

.lr.ph.split.3:                                   ; preds = %vector.body80
  %78 = call noundef i32 @_Z7get_idxjj(i32 noundef %0, i32 noundef 9)
  %79 = zext i32 %78 to i64
  br label %vector.body91

vector.body91:                                    ; preds = %vector.body91, %.lr.ph.split.3
  %index92 = phi i64 [ 0, %.lr.ph.split.3 ], [ %index.next97.1, %vector.body91 ]
  %80 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 3, i64 %79, i64 %index92
  %81 = getelementptr inbounds i8, ptr %80, i64 16
  %wide.load93 = load <2 x i64>, ptr %80, align 16, !tbaa !12
  %wide.load94 = load <2 x i64>, ptr %81, align 16, !tbaa !12
  %82 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index92
  %83 = getelementptr inbounds i8, ptr %82, i64 16
  %wide.load95 = load <2 x i64>, ptr %82, align 16, !tbaa !12
  %wide.load96 = load <2 x i64>, ptr %83, align 16, !tbaa !12
  %84 = or <2 x i64> %wide.load95, %wide.load93
  %85 = or <2 x i64> %wide.load96, %wide.load94
  store <2 x i64> %84, ptr %82, align 16, !tbaa !12
  store <2 x i64> %85, ptr %83, align 16, !tbaa !12
  %index.next97 = or disjoint i64 %index92, 4
  %86 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 3, i64 %79, i64 %index.next97
  %87 = getelementptr inbounds i8, ptr %86, i64 16
  %wide.load93.1 = load <2 x i64>, ptr %86, align 16, !tbaa !12
  %wide.load94.1 = load <2 x i64>, ptr %87, align 16, !tbaa !12
  %88 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index.next97
  %89 = getelementptr inbounds i8, ptr %88, i64 16
  %wide.load95.1 = load <2 x i64>, ptr %88, align 16, !tbaa !12
  %wide.load96.1 = load <2 x i64>, ptr %89, align 16, !tbaa !12
  %90 = or <2 x i64> %wide.load95.1, %wide.load93.1
  %91 = or <2 x i64> %wide.load96.1, %wide.load94.1
  store <2 x i64> %90, ptr %88, align 16, !tbaa !12
  store <2 x i64> %91, ptr %89, align 16, !tbaa !12
  %index.next97.1 = add nuw nsw i64 %index92, 8
  %92 = icmp eq i64 %index.next97.1, 8192
  br i1 %92, label %.lr.ph.split.4, label %vector.body91, !llvm.loop !19

.lr.ph.split.4:                                   ; preds = %vector.body91
  %93 = call noundef i32 @_Z7get_idxjj(i32 noundef %0, i32 noundef 10)
  %94 = zext i32 %93 to i64
  br label %vector.body102

vector.body102:                                   ; preds = %vector.body102, %.lr.ph.split.4
  %index103 = phi i64 [ 0, %.lr.ph.split.4 ], [ %index.next108.1, %vector.body102 ]
  %95 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 4, i64 %94, i64 %index103
  %96 = getelementptr inbounds i8, ptr %95, i64 16
  %wide.load104 = load <2 x i64>, ptr %95, align 16, !tbaa !12
  %wide.load105 = load <2 x i64>, ptr %96, align 16, !tbaa !12
  %97 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index103
  %98 = getelementptr inbounds i8, ptr %97, i64 16
  %wide.load106 = load <2 x i64>, ptr %97, align 16, !tbaa !12
  %wide.load107 = load <2 x i64>, ptr %98, align 16, !tbaa !12
  %99 = or <2 x i64> %wide.load106, %wide.load104
  %100 = or <2 x i64> %wide.load107, %wide.load105
  store <2 x i64> %99, ptr %97, align 16, !tbaa !12
  store <2 x i64> %100, ptr %98, align 16, !tbaa !12
  %index.next108 = or disjoint i64 %index103, 4
  %101 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 4, i64 %94, i64 %index.next108
  %102 = getelementptr inbounds i8, ptr %101, i64 16
  %wide.load104.1 = load <2 x i64>, ptr %101, align 16, !tbaa !12
  %wide.load105.1 = load <2 x i64>, ptr %102, align 16, !tbaa !12
  %103 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index.next108
  %104 = getelementptr inbounds i8, ptr %103, i64 16
  %wide.load106.1 = load <2 x i64>, ptr %103, align 16, !tbaa !12
  %wide.load107.1 = load <2 x i64>, ptr %104, align 16, !tbaa !12
  %105 = or <2 x i64> %wide.load106.1, %wide.load104.1
  %106 = or <2 x i64> %wide.load107.1, %wide.load105.1
  store <2 x i64> %105, ptr %103, align 16, !tbaa !12
  store <2 x i64> %106, ptr %104, align 16, !tbaa !12
  %index.next108.1 = add nuw nsw i64 %index103, 8
  %107 = icmp eq i64 %index.next108.1, 8192
  br i1 %107, label %.lr.ph.split.5, label %vector.body102, !llvm.loop !20

.lr.ph.split.5:                                   ; preds = %vector.body102
  %108 = call noundef i32 @_Z7get_idxjj(i32 noundef %0, i32 noundef 11)
  %109 = zext i32 %108 to i64
  br label %vector.body113

vector.body113:                                   ; preds = %vector.body113, %.lr.ph.split.5
  %index114 = phi i64 [ 0, %.lr.ph.split.5 ], [ %index.next119.1, %vector.body113 ]
  %110 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 5, i64 %109, i64 %index114
  %111 = getelementptr inbounds i8, ptr %110, i64 16
  %wide.load115 = load <2 x i64>, ptr %110, align 16, !tbaa !12
  %wide.load116 = load <2 x i64>, ptr %111, align 16, !tbaa !12
  %112 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index114
  %113 = getelementptr inbounds i8, ptr %112, i64 16
  %wide.load117 = load <2 x i64>, ptr %112, align 16, !tbaa !12
  %wide.load118 = load <2 x i64>, ptr %113, align 16, !tbaa !12
  %114 = or <2 x i64> %wide.load117, %wide.load115
  %115 = or <2 x i64> %wide.load118, %wide.load116
  store <2 x i64> %114, ptr %112, align 16, !tbaa !12
  store <2 x i64> %115, ptr %113, align 16, !tbaa !12
  %index.next119 = or disjoint i64 %index114, 4
  %116 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 5, i64 %109, i64 %index.next119
  %117 = getelementptr inbounds i8, ptr %116, i64 16
  %wide.load115.1 = load <2 x i64>, ptr %116, align 16, !tbaa !12
  %wide.load116.1 = load <2 x i64>, ptr %117, align 16, !tbaa !12
  %118 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index.next119
  %119 = getelementptr inbounds i8, ptr %118, i64 16
  %wide.load117.1 = load <2 x i64>, ptr %118, align 16, !tbaa !12
  %wide.load118.1 = load <2 x i64>, ptr %119, align 16, !tbaa !12
  %120 = or <2 x i64> %wide.load117.1, %wide.load115.1
  %121 = or <2 x i64> %wide.load118.1, %wide.load116.1
  store <2 x i64> %120, ptr %118, align 16, !tbaa !12
  store <2 x i64> %121, ptr %119, align 16, !tbaa !12
  %index.next119.1 = add nuw nsw i64 %index114, 8
  %122 = icmp eq i64 %index.next119.1, 8192
  br i1 %122, label %.lr.ph.split.6, label %vector.body113, !llvm.loop !21

.lr.ph.split.6:                                   ; preds = %vector.body113
  %123 = call noundef i32 @_Z7get_idxjj(i32 noundef %0, i32 noundef 12)
  %124 = zext i32 %123 to i64
  br label %vector.body124

vector.body124:                                   ; preds = %vector.body124, %.lr.ph.split.6
  %index125 = phi i64 [ 0, %.lr.ph.split.6 ], [ %index.next130.1, %vector.body124 ]
  %125 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 6, i64 %124, i64 %index125
  %126 = getelementptr inbounds i8, ptr %125, i64 16
  %wide.load126 = load <2 x i64>, ptr %125, align 16, !tbaa !12
  %wide.load127 = load <2 x i64>, ptr %126, align 16, !tbaa !12
  %127 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index125
  %128 = getelementptr inbounds i8, ptr %127, i64 16
  %wide.load128 = load <2 x i64>, ptr %127, align 16, !tbaa !12
  %wide.load129 = load <2 x i64>, ptr %128, align 16, !tbaa !12
  %129 = or <2 x i64> %wide.load128, %wide.load126
  %130 = or <2 x i64> %wide.load129, %wide.load127
  store <2 x i64> %129, ptr %127, align 16, !tbaa !12
  store <2 x i64> %130, ptr %128, align 16, !tbaa !12
  %index.next130 = or disjoint i64 %index125, 4
  %131 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 6, i64 %124, i64 %index.next130
  %132 = getelementptr inbounds i8, ptr %131, i64 16
  %wide.load126.1 = load <2 x i64>, ptr %131, align 16, !tbaa !12
  %wide.load127.1 = load <2 x i64>, ptr %132, align 16, !tbaa !12
  %133 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index.next130
  %134 = getelementptr inbounds i8, ptr %133, i64 16
  %wide.load128.1 = load <2 x i64>, ptr %133, align 16, !tbaa !12
  %wide.load129.1 = load <2 x i64>, ptr %134, align 16, !tbaa !12
  %135 = or <2 x i64> %wide.load128.1, %wide.load126.1
  %136 = or <2 x i64> %wide.load129.1, %wide.load127.1
  store <2 x i64> %135, ptr %133, align 16, !tbaa !12
  store <2 x i64> %136, ptr %134, align 16, !tbaa !12
  %index.next130.1 = add nuw nsw i64 %index125, 8
  %137 = icmp eq i64 %index.next130.1, 8192
  br i1 %137, label %.lr.ph.split.7, label %vector.body124, !llvm.loop !22

.lr.ph.split.7:                                   ; preds = %vector.body124
  %138 = call noundef i32 @_Z7get_idxjj(i32 noundef %0, i32 noundef 13)
  %139 = zext i32 %138 to i64
  br label %vector.body135

vector.body135:                                   ; preds = %vector.body135, %.lr.ph.split.7
  %index136 = phi i64 [ 0, %.lr.ph.split.7 ], [ %index.next141.1, %vector.body135 ]
  %140 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 7, i64 %139, i64 %index136
  %141 = getelementptr inbounds i8, ptr %140, i64 16
  %wide.load137 = load <2 x i64>, ptr %140, align 16, !tbaa !12
  %wide.load138 = load <2 x i64>, ptr %141, align 16, !tbaa !12
  %142 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index136
  %143 = getelementptr inbounds i8, ptr %142, i64 16
  %wide.load139 = load <2 x i64>, ptr %142, align 16, !tbaa !12
  %wide.load140 = load <2 x i64>, ptr %143, align 16, !tbaa !12
  %144 = or <2 x i64> %wide.load139, %wide.load137
  %145 = or <2 x i64> %wide.load140, %wide.load138
  store <2 x i64> %144, ptr %142, align 16, !tbaa !12
  store <2 x i64> %145, ptr %143, align 16, !tbaa !12
  %index.next141 = or disjoint i64 %index136, 4
  %146 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 7, i64 %139, i64 %index.next141
  %147 = getelementptr inbounds i8, ptr %146, i64 16
  %wide.load137.1 = load <2 x i64>, ptr %146, align 16, !tbaa !12
  %wide.load138.1 = load <2 x i64>, ptr %147, align 16, !tbaa !12
  %148 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index.next141
  %149 = getelementptr inbounds i8, ptr %148, i64 16
  %wide.load139.1 = load <2 x i64>, ptr %148, align 16, !tbaa !12
  %wide.load140.1 = load <2 x i64>, ptr %149, align 16, !tbaa !12
  %150 = or <2 x i64> %wide.load139.1, %wide.load137.1
  %151 = or <2 x i64> %wide.load140.1, %wide.load138.1
  store <2 x i64> %150, ptr %148, align 16, !tbaa !12
  store <2 x i64> %151, ptr %149, align 16, !tbaa !12
  %index.next141.1 = add nuw nsw i64 %index136, 8
  %152 = icmp eq i64 %index.next141.1, 8192
  br i1 %152, label %.lr.ph.split.8, label %vector.body135, !llvm.loop !23

.lr.ph.split.8:                                   ; preds = %vector.body135
  %153 = call noundef i32 @_Z7get_idxjj(i32 noundef %0, i32 noundef 14)
  %154 = zext i32 %153 to i64
  br label %vector.body146

vector.body146:                                   ; preds = %vector.body146, %.lr.ph.split.8
  %index147 = phi i64 [ 0, %.lr.ph.split.8 ], [ %index.next152.1, %vector.body146 ]
  %155 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 8, i64 %154, i64 %index147
  %156 = getelementptr inbounds i8, ptr %155, i64 16
  %wide.load148 = load <2 x i64>, ptr %155, align 16, !tbaa !12
  %wide.load149 = load <2 x i64>, ptr %156, align 16, !tbaa !12
  %157 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index147
  %158 = getelementptr inbounds i8, ptr %157, i64 16
  %wide.load150 = load <2 x i64>, ptr %157, align 16, !tbaa !12
  %wide.load151 = load <2 x i64>, ptr %158, align 16, !tbaa !12
  %159 = or <2 x i64> %wide.load150, %wide.load148
  %160 = or <2 x i64> %wide.load151, %wide.load149
  store <2 x i64> %159, ptr %157, align 16, !tbaa !12
  store <2 x i64> %160, ptr %158, align 16, !tbaa !12
  %index.next152 = or disjoint i64 %index147, 4
  %161 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 8, i64 %154, i64 %index.next152
  %162 = getelementptr inbounds i8, ptr %161, i64 16
  %wide.load148.1 = load <2 x i64>, ptr %161, align 16, !tbaa !12
  %wide.load149.1 = load <2 x i64>, ptr %162, align 16, !tbaa !12
  %163 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index.next152
  %164 = getelementptr inbounds i8, ptr %163, i64 16
  %wide.load150.1 = load <2 x i64>, ptr %163, align 16, !tbaa !12
  %wide.load151.1 = load <2 x i64>, ptr %164, align 16, !tbaa !12
  %165 = or <2 x i64> %wide.load150.1, %wide.load148.1
  %166 = or <2 x i64> %wide.load151.1, %wide.load149.1
  store <2 x i64> %165, ptr %163, align 16, !tbaa !12
  store <2 x i64> %166, ptr %164, align 16, !tbaa !12
  %index.next152.1 = add nuw nsw i64 %index147, 8
  %167 = icmp eq i64 %index.next152.1, 8192
  br i1 %167, label %.lr.ph.split.9, label %vector.body146, !llvm.loop !24

.lr.ph.split.9:                                   ; preds = %vector.body146
  %168 = call noundef i32 @_Z7get_idxjj(i32 noundef %0, i32 noundef 15)
  %169 = zext i32 %168 to i64
  br label %vector.body157

vector.body157:                                   ; preds = %vector.body157, %.lr.ph.split.9
  %index158 = phi i64 [ 0, %.lr.ph.split.9 ], [ %index.next163.1, %vector.body157 ]
  %170 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 9, i64 %169, i64 %index158
  %171 = getelementptr inbounds i8, ptr %170, i64 16
  %wide.load159 = load <2 x i64>, ptr %170, align 16, !tbaa !12
  %wide.load160 = load <2 x i64>, ptr %171, align 16, !tbaa !12
  %172 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index158
  %173 = getelementptr inbounds i8, ptr %172, i64 16
  %wide.load161 = load <2 x i64>, ptr %172, align 16, !tbaa !12
  %wide.load162 = load <2 x i64>, ptr %173, align 16, !tbaa !12
  %174 = or <2 x i64> %wide.load161, %wide.load159
  %175 = or <2 x i64> %wide.load162, %wide.load160
  store <2 x i64> %174, ptr %172, align 16, !tbaa !12
  store <2 x i64> %175, ptr %173, align 16, !tbaa !12
  %index.next163 = or disjoint i64 %index158, 4
  %176 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 9, i64 %169, i64 %index.next163
  %177 = getelementptr inbounds i8, ptr %176, i64 16
  %wide.load159.1 = load <2 x i64>, ptr %176, align 16, !tbaa !12
  %wide.load160.1 = load <2 x i64>, ptr %177, align 16, !tbaa !12
  %178 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index.next163
  %179 = getelementptr inbounds i8, ptr %178, i64 16
  %wide.load161.1 = load <2 x i64>, ptr %178, align 16, !tbaa !12
  %wide.load162.1 = load <2 x i64>, ptr %179, align 16, !tbaa !12
  %180 = or <2 x i64> %wide.load161.1, %wide.load159.1
  %181 = or <2 x i64> %wide.load162.1, %wide.load160.1
  store <2 x i64> %180, ptr %178, align 16, !tbaa !12
  store <2 x i64> %181, ptr %179, align 16, !tbaa !12
  %index.next163.1 = add nuw nsw i64 %index158, 8
  %182 = icmp eq i64 %index.next163.1, 8192
  br i1 %182, label %.lr.ph.split.10, label %vector.body157, !llvm.loop !25

.lr.ph.split.10:                                  ; preds = %vector.body157
  %183 = call noundef i32 @_Z7get_idxjj(i32 noundef %0, i32 noundef 16)
  %184 = zext i32 %183 to i64
  br label %vector.body168

vector.body168:                                   ; preds = %vector.body168, %.lr.ph.split.10
  %index169 = phi i64 [ 0, %.lr.ph.split.10 ], [ %index.next174.1, %vector.body168 ]
  %185 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 10, i64 %184, i64 %index169
  %186 = getelementptr inbounds i8, ptr %185, i64 16
  %wide.load170 = load <2 x i64>, ptr %185, align 16, !tbaa !12
  %wide.load171 = load <2 x i64>, ptr %186, align 16, !tbaa !12
  %187 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index169
  %188 = getelementptr inbounds i8, ptr %187, i64 16
  %wide.load172 = load <2 x i64>, ptr %187, align 16, !tbaa !12
  %wide.load173 = load <2 x i64>, ptr %188, align 16, !tbaa !12
  %189 = or <2 x i64> %wide.load172, %wide.load170
  %190 = or <2 x i64> %wide.load173, %wide.load171
  store <2 x i64> %189, ptr %187, align 16, !tbaa !12
  store <2 x i64> %190, ptr %188, align 16, !tbaa !12
  %index.next174 = or disjoint i64 %index169, 4
  %191 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 10, i64 %184, i64 %index.next174
  %192 = getelementptr inbounds i8, ptr %191, i64 16
  %wide.load170.1 = load <2 x i64>, ptr %191, align 16, !tbaa !12
  %wide.load171.1 = load <2 x i64>, ptr %192, align 16, !tbaa !12
  %193 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index.next174
  %194 = getelementptr inbounds i8, ptr %193, i64 16
  %wide.load172.1 = load <2 x i64>, ptr %193, align 16, !tbaa !12
  %wide.load173.1 = load <2 x i64>, ptr %194, align 16, !tbaa !12
  %195 = or <2 x i64> %wide.load172.1, %wide.load170.1
  %196 = or <2 x i64> %wide.load173.1, %wide.load171.1
  store <2 x i64> %195, ptr %193, align 16, !tbaa !12
  store <2 x i64> %196, ptr %194, align 16, !tbaa !12
  %index.next174.1 = add nuw nsw i64 %index169, 8
  %197 = icmp eq i64 %index.next174.1, 8192
  br i1 %197, label %.lr.ph.split.11, label %vector.body168, !llvm.loop !26

.lr.ph.split.11:                                  ; preds = %vector.body168
  %198 = call noundef i32 @_Z7get_idxjj(i32 noundef %0, i32 noundef 17)
  %199 = zext i32 %198 to i64
  br label %vector.body179

vector.body179:                                   ; preds = %vector.body179, %.lr.ph.split.11
  %index180 = phi i64 [ 0, %.lr.ph.split.11 ], [ %index.next185.1, %vector.body179 ]
  %200 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 11, i64 %199, i64 %index180
  %201 = getelementptr inbounds i8, ptr %200, i64 16
  %wide.load181 = load <2 x i64>, ptr %200, align 16, !tbaa !12
  %wide.load182 = load <2 x i64>, ptr %201, align 16, !tbaa !12
  %202 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index180
  %203 = getelementptr inbounds i8, ptr %202, i64 16
  %wide.load183 = load <2 x i64>, ptr %202, align 16, !tbaa !12
  %wide.load184 = load <2 x i64>, ptr %203, align 16, !tbaa !12
  %204 = or <2 x i64> %wide.load183, %wide.load181
  %205 = or <2 x i64> %wide.load184, %wide.load182
  store <2 x i64> %204, ptr %202, align 16, !tbaa !12
  store <2 x i64> %205, ptr %203, align 16, !tbaa !12
  %index.next185 = or disjoint i64 %index180, 4
  %206 = getelementptr inbounds [12 x [62 x [8192 x i64]]], ptr @mask, i64 0, i64 11, i64 %199, i64 %index.next185
  %207 = getelementptr inbounds i8, ptr %206, i64 16
  %wide.load181.1 = load <2 x i64>, ptr %206, align 16, !tbaa !12
  %wide.load182.1 = load <2 x i64>, ptr %207, align 16, !tbaa !12
  %208 = getelementptr inbounds [8192 x i64], ptr @is_composite, i64 0, i64 %index.next185
  %209 = getelementptr inbounds i8, ptr %208, i64 16
  %wide.load183.1 = load <2 x i64>, ptr %208, align 16, !tbaa !12
  %wide.load184.1 = load <2 x i64>, ptr %209, align 16, !tbaa !12
  %210 = or <2 x i64> %wide.load183.1, %wide.load181.1
  %211 = or <2 x i64> %wide.load184.1, %wide.load182.1
  store <2 x i64> %210, ptr %208, align 16, !tbaa !12
  store <2 x i64> %211, ptr %209, align 16, !tbaa !12
  %index.next185.1 = add nuw nsw i64 %index180, 8
  %212 = icmp eq i64 %index.next185.1, 8192
  br i1 %212, label %._crit_edge, label %vector.body179, !llvm.loop !27

._crit_edge:                                      ; preds = %vector.body179, %44
  %213 = phi i32 [ 6, %44 ], [ 18, %vector.body179 ]
  %214 = load i32, ptr @s, align 4, !tbaa !5
  %215 = icmp ult i32 %213, %214
  br i1 %215, label %.lr.ph52, label %.critedge

.lr.ph52:                                         ; preds = %._crit_edge, %._crit_edge49
  %.250 = phi i32 [ %228, %._crit_edge49 ], [ %213, %._crit_edge ]
  %216 = zext i32 %.250 to i64
  %217 = getelementptr inbounds [65536 x i32], ptr @sq, i64 0, i64 %216
  %218 = load i32, ptr %217, align 4, !tbaa !5
  %219 = icmp ult i32 %218, %28
  br i1 %219, label %220, label %.critedge

220:                                              ; preds = %.lr.ph52
  %221 = call noundef i32 @_Z7get_idxjj(i32 noundef %0, i32 noundef %.250)
  %222 = icmp ult i32 %221, 524288
  br i1 %222, label %.lr.ph48, label %._crit_edge49

.lr.ph48:                                         ; preds = %220
  %223 = getelementptr inbounds [65536 x i32], ptr @sp, i64 0, i64 %216
  br label %224

224:                                              ; preds = %.lr.ph48, %224
  %.03946 = phi i32 [ %221, %.lr.ph48 ], [ %226, %224 ]
  call void @_Z6setbitPmj(ptr noundef nonnull @is_composite, i32 noundef %.03946)
  %225 = load i32, ptr %223, align 4, !tbaa !5
  %226 = add i32 %225, %.03946
  %227 = icmp ult i32 %226, 524288
  br i1 %227, label %224, label %._crit_edge49, !llvm.loop !28

._crit_edge49:                                    ; preds = %224, %220
  %228 = add nuw i32 %.250, 1
  %229 = load i32, ptr @s, align 4, !tbaa !5
  %230 = icmp ult i32 %228, %229
  br i1 %230, label %.lr.ph52, label %.critedge, !llvm.loop !29

.critedge:                                        ; preds = %.lr.ph52, %._crit_edge49, %._crit_edge
  ret void
}

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIjERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #2

; Function Attrs: mustprogress 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) #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i32 @_Z7get_idxjj(i32 noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_Z6setbitPmj(ptr noundef, i32 noundef) local_unnamed_addr #2

attributes #0 = { mustprogress 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 = { inlinehint 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 #3 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = distinct !{!9, !10, !11}
!10 = !{!"llvm.loop.mustprogress"}
!11 = !{!"llvm.loop.peeled.count", i32 1}
!12 = !{!13, !13, i64 0}
!13 = !{!"long", !7, i64 0}
!14 = distinct !{!14, !10, !15, !16}
!15 = !{!"llvm.loop.isvectorized", i32 1}
!16 = !{!"llvm.loop.unroll.runtime.disable"}
!17 = distinct !{!17, !10, !15, !16}
!18 = distinct !{!18, !10, !15, !16}
!19 = distinct !{!19, !10, !15, !16}
!20 = distinct !{!20, !10, !15, !16}
!21 = distinct !{!21, !10, !15, !16}
!22 = distinct !{!22, !10, !15, !16}
!23 = distinct !{!23, !10, !15, !16}
!24 = distinct !{!24, !10, !15, !16}
!25 = distinct !{!25, !10, !15, !16}
!26 = distinct !{!26, !10, !15, !16}
!27 = distinct !{!27, !10, !15, !16}
!28 = distinct !{!28, !10}
!29 = distinct !{!29, !10}


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LICMPass,LoopFullUnrollPass,LoopInstSimplifyPass,LoopLoadEliminationPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,LoopVectorizePass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass