; LLVM IR from rdguez-mariano/fast_imas_IPOL :: libUSAC/utils/FundmatrixFunctions.ll (ZN6FTools17computeDataMatrixEPdjS0_)

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

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

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

; Function Attrs: mustprogress nounwind uwtable
define dso_local void @_ZN6FTools17computeDataMatrixEPdjS0_(ptr noundef %0, i32 noundef %1, ptr noundef %2) #1 {
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %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 ptr %0, ptr %4, align 8, !tbaa !5
  store i32 %1, ptr %5, align 4, !tbaa !9
  store ptr %2, ptr %6, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #2
  %14 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %14, ptr %8, align 8, !tbaa !5
  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 !9
  br label %15

15:                                               ; preds = %65, %3
  %16 = load i32, ptr %10, align 4, !tbaa !9
  %17 = load i32, ptr %5, align 4, !tbaa !9
  %18 = icmp ult i32 %16, %17
  br i1 %18, label %20, label %19

19:                                               ; preds = %15
  store i32 2, ptr %11, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #2
  br label %68

20:                                               ; preds = %15
  %21 = load ptr, ptr %6, align 8, !tbaa !5
  %22 = load i32, ptr %10, align 4, !tbaa !9
  %23 = mul i32 6, %22
  %24 = zext i32 %23 to i64
  %25 = getelementptr inbounds double, ptr %21, i64 %24
  store ptr %25, ptr %7, align 8, !tbaa !5
  store i32 0, ptr %9, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #2
  store i32 0, ptr %12, align 4, !tbaa !9
  br label %26

26:                                               ; preds = %59, %20
  %27 = load i32, ptr %12, align 4, !tbaa !9
  %28 = icmp ult i32 %27, 3
  br i1 %28, label %30, label %29

29:                                               ; preds = %26
  store i32 5, ptr %11, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #2
  br label %62

30:                                               ; preds = %26
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #2
  store i32 0, ptr %13, align 4, !tbaa !9
  br label %31

31:                                               ; preds = %55, %30
  %32 = load i32, ptr %13, align 4, !tbaa !9
  %33 = icmp ult i32 %32, 3
  br i1 %33, label %35, label %34

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

35:                                               ; preds = %31
  %36 = load ptr, ptr %7, align 8, !tbaa !5
  %37 = load i32, ptr %12, align 4, !tbaa !9
  %38 = zext i32 %37 to i64
  %39 = getelementptr inbounds double, ptr %36, i64 %38
  %40 = getelementptr inbounds double, ptr %39, i64 3
  %41 = load double, ptr %40, align 8, !tbaa !11
  %42 = load ptr, ptr %7, align 8, !tbaa !5
  %43 = load i32, ptr %13, align 4, !tbaa !9
  %44 = zext i32 %43 to i64
  %45 = getelementptr inbounds double, ptr %42, i64 %44
  %46 = load double, ptr %45, align 8, !tbaa !11
  %47 = fmul double %41, %46
  %48 = load ptr, ptr %8, align 8, !tbaa !5
  %49 = load i32, ptr %9, align 4, !tbaa !9
  %50 = zext i32 %49 to i64
  %51 = getelementptr inbounds double, ptr %48, i64 %50
  store double %47, ptr %51, align 8, !tbaa !11
  %52 = load i32, ptr %5, align 4, !tbaa !9
  %53 = load i32, ptr %9, align 4, !tbaa !9
  %54 = add i32 %53, %52
  store i32 %54, ptr %9, align 4, !tbaa !9
  br label %55

55:                                               ; preds = %35
  %56 = load i32, ptr %13, align 4, !tbaa !9
  %57 = add i32 %56, 1
  store i32 %57, ptr %13, align 4, !tbaa !9
  br label %31, !llvm.loop !13

58:                                               ; preds = %34
  br label %59

59:                                               ; preds = %58
  %60 = load i32, ptr %12, align 4, !tbaa !9
  %61 = add i32 %60, 1
  store i32 %61, ptr %12, align 4, !tbaa !9
  br label %26, !llvm.loop !15

62:                                               ; preds = %29
  %63 = load ptr, ptr %8, align 8, !tbaa !5
  %64 = getelementptr inbounds double, ptr %63, i32 1
  store ptr %64, ptr %8, align 8, !tbaa !5
  br label %65

65:                                               ; preds = %62
  %66 = load i32, ptr %10, align 4, !tbaa !9
  %67 = add i32 %66, 1
  store i32 %67, ptr %10, align 4, !tbaa !9
  br label %15, !llvm.loop !16

68:                                               ; preds = %19
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #2
  ret void
}

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"double", !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = distinct !{!15, !14}
!16 = distinct !{!16, !14}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

; Function Attrs: mustprogress nofree norecurse nosync nounwind memory(write, argmem: readwrite, inaccessiblemem: none) uwtable
define dso_local void @_ZN6FTools17computeDataMatrixEPdjS0_(ptr nocapture noundef writeonly %0, i32 noundef %1, ptr nocapture noundef readonly %2) local_unnamed_addr #0 {
  %.not = icmp eq i32 %1, 0
  br i1 %.not, label %._crit_edge, label %.lr.ph.preheader

.lr.ph.preheader:                                 ; preds = %3
  %wide.trip.count = zext i32 %1 to i64
  %4 = shl i32 %1, 1
  %5 = zext i32 %4 to i64
  %6 = mul i32 %1, 3
  %7 = zext i32 %6 to i64
  %8 = shl i32 %1, 2
  %9 = zext i32 %8 to i64
  %10 = mul i32 %1, 5
  %11 = zext i32 %10 to i64
  %12 = mul i32 %1, 6
  %13 = zext i32 %12 to i64
  %14 = mul i32 %1, 7
  %15 = zext i32 %14 to i64
  %16 = shl i32 %1, 3
  %17 = zext i32 %16 to i64
  %min.iters.check = icmp ult i32 %1, 84
  br i1 %min.iters.check, label %.lr.ph.preheader511, label %vector.scevcheck

.lr.ph.preheader511:                              ; preds = %middle.block, %vector.memcheck, %vector.scevcheck, %.lr.ph.preheader
  %indvars.iv.ph = phi i64 [ 0, %vector.memcheck ], [ 0, %vector.scevcheck ], [ 0, %.lr.ph.preheader ], [ %n.vec, %middle.block ]
  %.02127.ph = phi ptr [ %0, %vector.memcheck ], [ %0, %vector.scevcheck ], [ %0, %.lr.ph.preheader ], [ %ind.end, %middle.block ]
  br label %.lr.ph

vector.scevcheck:                                 ; preds = %.lr.ph.preheader
  %18 = add nsw i64 %wide.trip.count, -1
  %19 = icmp ugt i64 %18, 2147483647
  %scevgep = getelementptr i8, ptr %2, i64 24
  %mul = tail call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %18, i64 48)
  %mul.result = extractvalue { i64, i1 } %mul, 0
  %mul.overflow = extractvalue { i64, i1 } %mul, 1
  %20 = getelementptr i8, ptr %scevgep, i64 %mul.result
  %21 = icmp ult ptr %20, %scevgep
  %22 = or i1 %21, %mul.overflow
  %mul32 = tail call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %18, i64 48)
  %mul.result33 = extractvalue { i64, i1 } %mul32, 0
  %mul.overflow34 = extractvalue { i64, i1 } %mul32, 1
  %23 = getelementptr i8, ptr %2, i64 %mul.result33
  %24 = icmp ult ptr %23, %2
  %25 = or i1 %24, %mul.overflow34
  %scevgep35 = getelementptr i8, ptr %2, i64 8
  %mul36 = tail call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %18, i64 48)
  %mul.result37 = extractvalue { i64, i1 } %mul36, 0
  %mul.overflow38 = extractvalue { i64, i1 } %mul36, 1
  %26 = getelementptr i8, ptr %scevgep35, i64 %mul.result37
  %27 = icmp ult ptr %26, %scevgep35
  %28 = or i1 %27, %mul.overflow38
  %scevgep39 = getelementptr i8, ptr %2, i64 16
  %mul40 = tail call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %18, i64 48)
  %mul.result41 = extractvalue { i64, i1 } %mul40, 0
  %mul.overflow42 = extractvalue { i64, i1 } %mul40, 1
  %29 = getelementptr i8, ptr %scevgep39, i64 %mul.result41
  %30 = icmp ult ptr %29, %scevgep39
  %31 = or i1 %30, %mul.overflow42
  %scevgep43 = getelementptr i8, ptr %2, i64 32
  %mul44 = tail call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %18, i64 48)
  %mul.result45 = extractvalue { i64, i1 } %mul44, 0
  %mul.overflow46 = extractvalue { i64, i1 } %mul44, 1
  %32 = getelementptr i8, ptr %scevgep43, i64 %mul.result45
  %33 = icmp ult ptr %32, %scevgep43
  %34 = or i1 %33, %mul.overflow46
  %scevgep47 = getelementptr i8, ptr %2, i64 40
  %mul48 = tail call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %18, i64 48)
  %mul.result49 = extractvalue { i64, i1 } %mul48, 0
  %mul.overflow50 = extractvalue { i64, i1 } %mul48, 1
  %35 = getelementptr i8, ptr %scevgep47, i64 %mul.result49
  %36 = icmp ult ptr %35, %scevgep47
  %37 = or i1 %36, %mul.overflow50
  %38 = or i1 %19, %22
  %39 = or i1 %38, %25
  %40 = or i1 %39, %28
  %41 = or i1 %40, %31
  %42 = or i1 %41, %34
  %43 = or i1 %42, %37
  br i1 %43, label %.lr.ph.preheader511, label %vector.memcheck

vector.memcheck:                                  ; preds = %vector.scevcheck
  %44 = shl nuw nsw i64 %wide.trip.count, 3
  %scevgep51 = getelementptr i8, ptr %0, i64 %44
  %45 = shl nuw nsw i64 %wide.trip.count, 4
  %scevgep52 = getelementptr i8, ptr %0, i64 %45
  %46 = shl nuw nsw i64 %5, 3
  %scevgep53 = getelementptr i8, ptr %0, i64 %46
  %47 = getelementptr i8, ptr %0, i64 %44
  %scevgep54 = getelementptr i8, ptr %47, i64 %46
  %48 = shl nuw nsw i64 %7, 3
  %scevgep55 = getelementptr i8, ptr %0, i64 %48
  %49 = getelementptr i8, ptr %0, i64 %44
  %scevgep56 = getelementptr i8, ptr %49, i64 %48
  %50 = shl nuw nsw i64 %9, 3
  %scevgep57 = getelementptr i8, ptr %0, i64 %50
  %51 = getelementptr i8, ptr %0, i64 %44
  %scevgep58 = getelementptr i8, ptr %51, i64 %50
  %52 = shl nuw nsw i64 %11, 3
  %scevgep59 = getelementptr i8, ptr %0, i64 %52
  %53 = getelementptr i8, ptr %0, i64 %44
  %scevgep60 = getelementptr i8, ptr %53, i64 %52
  %54 = shl nuw nsw i64 %13, 3
  %scevgep61 = getelementptr i8, ptr %0, i64 %54
  %55 = getelementptr i8, ptr %0, i64 %44
  %scevgep62 = getelementptr i8, ptr %55, i64 %54
  %56 = shl nuw nsw i64 %15, 3
  %scevgep63 = getelementptr i8, ptr %0, i64 %56
  %57 = getelementptr i8, ptr %0, i64 %44
  %scevgep64 = getelementptr i8, ptr %57, i64 %56
  %58 = shl nuw nsw i64 %17, 3
  %scevgep65 = getelementptr i8, ptr %0, i64 %58
  %59 = getelementptr i8, ptr %0, i64 %44
  %scevgep66 = getelementptr i8, ptr %59, i64 %58
  %scevgep67 = getelementptr i8, ptr %2, i64 24
  %60 = mul nuw nsw i64 %wide.trip.count, 48
  %61 = getelementptr i8, ptr %2, i64 %60
  %62 = getelementptr i8, ptr %2, i64 %60
  %63 = insertelement <2 x ptr> poison, ptr %2, i64 0
  %64 = shufflevector <2 x ptr> %63, <2 x ptr> poison, <2 x i32> zeroinitializer
  %65 = getelementptr i8, <2 x ptr> %64, <2 x i64> <i64 16, i64 8>
  %66 = getelementptr i8, ptr %2, i64 %60
  %67 = getelementptr i8, ptr %2, i64 %60
  %68 = getelementptr i8, <2 x ptr> %64, <2 x i64> <i64 40, i64 32>
  %69 = getelementptr i8, ptr %2, i64 %60
  %scevgep75 = getelementptr i8, ptr %69, i64 -8
  %scevgep77 = getelementptr i8, ptr %2, i64 %60
  %70 = insertelement <8 x ptr> poison, ptr %scevgep54, i64 0
  %71 = insertelement <8 x ptr> %70, ptr %scevgep56, i64 1
  %72 = insertelement <8 x ptr> %71, ptr %scevgep58, i64 2
  %73 = insertelement <8 x ptr> %72, ptr %scevgep60, i64 3
  %74 = insertelement <8 x ptr> %73, ptr %scevgep62, i64 4
  %75 = insertelement <8 x ptr> %74, ptr %scevgep64, i64 5
  %76 = insertelement <8 x ptr> %75, ptr %scevgep66, i64 6
  %77 = insertelement <8 x ptr> poison, ptr %0, i64 0
  %78 = shufflevector <8 x ptr> %77, <8 x ptr> poison, <8 x i32> zeroinitializer
  %79 = insertelement <8 x ptr> poison, ptr %scevgep53, i64 0
  %80 = insertelement <8 x ptr> %79, ptr %scevgep55, i64 1
  %81 = insertelement <8 x ptr> %80, ptr %scevgep57, i64 2
  %82 = insertelement <8 x ptr> %81, ptr %scevgep59, i64 3
  %83 = insertelement <8 x ptr> %82, ptr %scevgep61, i64 4
  %84 = insertelement <8 x ptr> %83, ptr %scevgep63, i64 5
  %85 = insertelement <8 x ptr> %84, ptr %scevgep65, i64 6
  %86 = insertelement <8 x ptr> %85, ptr %scevgep67, i64 7
  %87 = insertelement <8 x ptr> poison, ptr %scevgep51, i64 0
  %88 = shufflevector <8 x ptr> %87, <8 x ptr> poison, <8 x i32> zeroinitializer
  %89 = icmp ult <8 x ptr> %86, %88
  %bound0238 = icmp ult ptr %scevgep55, %scevgep64
  %bound1239 = icmp ult ptr %scevgep63, %scevgep56
  %found.conflict240 = and i1 %bound0238, %bound1239
  %bound1359 = icmp ugt ptr %scevgep62, %2
  %scevgep70 = getelementptr i8, ptr %2, i64 8
  %bound1363 = icmp ult ptr %scevgep70, %scevgep62
  %scevgep72 = getelementptr i8, ptr %2, i64 16
  %bound1367 = icmp ult ptr %scevgep72, %scevgep62
  %bound0370 = icmp ult ptr %scevgep61, %scevgep75
  %scevgep74 = getelementptr i8, ptr %2, i64 32
  %bound1371 = icmp ult ptr %scevgep74, %scevgep62
  %found.conflict372 = and i1 %bound0370, %bound1371
  %bound0374 = icmp ult ptr %scevgep61, %scevgep77
  %scevgep76 = getelementptr i8, ptr %2, i64 40
  %bound1375 = icmp ult ptr %scevgep76, %scevgep62
  %found.conflict376 = and i1 %bound0374, %bound1375
  %bound0378 = icmp ult ptr %scevgep63, %scevgep66
  %bound1379 = icmp ult ptr %scevgep65, %scevgep64
  %found.conflict380 = and i1 %bound0378, %bound1379
  %bound1383 = icmp ult ptr %scevgep67, %scevgep64
  %bound1387 = icmp ugt ptr %scevgep64, %2
  %bound1391 = icmp ult ptr %scevgep70, %scevgep64
  %bound1395 = icmp ult ptr %scevgep72, %scevgep64
  %bound0398 = icmp ult ptr %scevgep63, %scevgep75
  %bound1399 = icmp ult ptr %scevgep74, %scevgep64
  %found.conflict400 = and i1 %bound0398, %bound1399
  %bound0402 = icmp ult ptr %scevgep63, %scevgep77
  %bound1403 = icmp ult ptr %scevgep76, %scevgep64
  %found.conflict404 = and i1 %bound0402, %bound1403
  %bound1407 = icmp ult ptr %scevgep67, %scevgep66
  %bound1411 = icmp ugt ptr %scevgep66, %2
  %bound1415 = icmp ult ptr %scevgep70, %scevgep66
  %bound1419 = icmp ult ptr %scevgep72, %scevgep66
  %bound0422 = icmp ult ptr %scevgep65, %scevgep75
  %bound1423 = icmp ult ptr %scevgep74, %scevgep66
  %found.conflict424 = and i1 %bound0422, %bound1423
  %bound0426 = icmp ult ptr %scevgep65, %scevgep77
  %bound1427 = icmp ult ptr %scevgep76, %scevgep66
  %found.conflict428 = and i1 %bound0426, %bound1427
  %op.rdx464 = or i1 %found.conflict376, %found.conflict380
  %op.rdx467 = or i1 %found.conflict400, %found.conflict404
  %op.rdx470 = or i1 %found.conflict424, %found.conflict428
  %90 = insertelement <2 x ptr> poison, ptr %62, i64 0
  %91 = insertelement <2 x ptr> %90, ptr %61, i64 1
  %92 = getelementptr i8, <2 x ptr> %91, <2 x i64> <i64 -40, i64 -16>
  %93 = insertelement <2 x ptr> poison, ptr %67, i64 0
  %94 = insertelement <2 x ptr> %93, ptr %66, i64 1
  %95 = getelementptr i8, <2 x ptr> %94, <2 x i64> <i64 -24, i64 -32>
  %96 = shufflevector <2 x ptr> %92, <2 x ptr> poison, <8 x i32> <i32 poison, i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
  %97 = shufflevector <8 x ptr> %76, <8 x ptr> %96, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 9>
  %98 = icmp ugt <8 x ptr> %97, %78
  %99 = and <8 x i1> %98, %89
  %100 = shufflevector <2 x ptr> %65, <2 x ptr> poison, <2 x i32> <i32 1, i32 poison>
  %101 = insertelement <2 x ptr> %100, ptr %scevgep55, i64 1
  %102 = insertelement <2 x ptr> poison, ptr %scevgep51, i64 0
  %103 = insertelement <2 x ptr> %102, ptr %scevgep60, i64 1
  %104 = icmp ult <2 x ptr> %101, %103
  %105 = shufflevector <2 x ptr> %95, <2 x ptr> poison, <2 x i32> <i32 1, i32 poison>
  %106 = insertelement <2 x ptr> %105, ptr %scevgep56, i64 1
  %107 = insertelement <2 x ptr> poison, ptr %0, i64 0
  %108 = insertelement <2 x ptr> %107, ptr %scevgep59, i64 1
  %109 = icmp ugt <2 x ptr> %106, %108
  %110 = and <2 x i1> %104, %109
  %111 = insertelement <2 x ptr> %65, ptr %scevgep55, i64 1
  %112 = insertelement <2 x ptr> %103, ptr %scevgep62, i64 1
  %113 = icmp ult <2 x ptr> %111, %112
  %114 = insertelement <2 x ptr> %95, ptr %scevgep56, i64 1
  %115 = insertelement <2 x ptr> %108, ptr %scevgep61, i64 1
  %116 = icmp ugt <2 x ptr> %114, %115
  %117 = and <2 x i1> %113, %116
  %118 = insertelement <2 x ptr> %92, ptr %scevgep66, i64 1
  %119 = insertelement <2 x ptr> %101, ptr %0, i64 0
  %120 = icmp ugt <2 x ptr> %118, %119
  %121 = insertelement <2 x ptr> %106, ptr %scevgep51, i64 0
  %122 = insertelement <2 x ptr> %64, ptr %scevgep65, i64 1
  %123 = icmp ugt <2 x ptr> %121, %122
  %124 = and <2 x i1> %120, %123
  %125 = shufflevector <2 x ptr> %68, <2 x ptr> %101, <2 x i32> <i32 1, i32 3>
  %126 = insertelement <2 x ptr> %92, ptr %scevgep51, i64 0
  %127 = icmp ult <2 x ptr> %125, %126
  %128 = insertelement <2 x ptr> poison, ptr %scevgep75, i64 0
  %129 = insertelement <2 x ptr> %128, ptr %scevgep56, i64 1
  %130 = insertelement <2 x ptr> %108, ptr %scevgep67, i64 1
  %131 = icmp ugt <2 x ptr> %129, %130
  %132 = and <2 x i1> %127, %131
  %133 = insertelement <2 x ptr> %68, ptr %scevgep55, i64 1
  %134 = shufflevector <2 x ptr> %102, <2 x ptr> %92, <2 x i32> <i32 0, i32 2>
  %135 = icmp ult <2 x ptr> %133, %134
  %136 = insertelement <2 x ptr> poison, ptr %scevgep77, i64 0
  %137 = insertelement <2 x ptr> %136, ptr %scevgep56, i64 1
  %138 = insertelement <2 x ptr> %107, ptr %2, i64 1
  %139 = icmp ugt <2 x ptr> %137, %138
  %140 = and <2 x i1> %135, %139
  %141 = insertelement <2 x ptr> %101, ptr %scevgep51, i64 0
  %142 = insertelement <2 x ptr> %95, ptr %scevgep54, i64 0
  %143 = icmp ult <2 x ptr> %141, %142
  %144 = insertelement <2 x ptr> %65, ptr %scevgep53, i64 0
  %145 = insertelement <2 x ptr> %106, ptr %scevgep52, i64 0
  %146 = icmp ult <2 x ptr> %144, %145
  %147 = and <2 x i1> %143, %146
  %148 = shufflevector <2 x ptr> %114, <2 x ptr> poison, <2 x i32> <i32 1, i32 0>
  %149 = icmp ult <2 x ptr> %141, %148
  %150 = shufflevector <2 x ptr> %111, <2 x ptr> poison, <2 x i32> <i32 1, i32 0>
  %151 = icmp ult <2 x ptr> %150, %145
  %152 = and <2 x i1> %149, %151
  %153 = insertelement <2 x ptr> poison, ptr %scevgep58, i64 0
  %154 = insertelement <2 x ptr> %153, ptr %scevgep75, i64 1
  %155 = icmp ult <2 x ptr> %141, %154
  %156 = insertelement <2 x ptr> %68, ptr %scevgep57, i64 0
  %157 = icmp ult <2 x ptr> %156, %145
  %158 = and <2 x i1> %155, %157
  %159 = shufflevector <2 x ptr> %103, <2 x ptr> %136, <2 x i32> <i32 1, i32 2>
  %160 = icmp ult <2 x ptr> %141, %159
  %161 = shufflevector <2 x ptr> %108, <2 x ptr> %68, <2 x i32> <i32 1, i32 2>
  %162 = icmp ult <2 x ptr> %161, %145
  %163 = and <2 x i1> %160, %162
  %164 = insertelement <2 x ptr> %102, ptr %scevgep57, i64 1
  %165 = insertelement <2 x ptr> %103, ptr %scevgep62, i64 0
  %166 = icmp ult <2 x ptr> %164, %165
  %167 = insertelement <2 x ptr> %108, ptr %scevgep61, i64 0
  %168 = insertelement <2 x ptr> %145, ptr %scevgep58, i64 1
  %169 = icmp ult <2 x ptr> %167, %168
  %170 = and <2 x i1> %166, %169
  %171 = insertelement <2 x ptr> poison, ptr %scevgep64, i64 0
  %172 = insertelement <2 x ptr> %171, ptr %scevgep62, i64 1
  %173 = icmp ult <2 x ptr> %164, %172
  %174 = insertelement <2 x ptr> poison, ptr %scevgep63, i64 0
  %175 = insertelement <2 x ptr> %174, ptr %scevgep61, i64 1
  %176 = icmp ult <2 x ptr> %175, %168
  %177 = and <2 x i1> %173, %176
  %178 = insertelement <2 x ptr> poison, ptr %scevgep66, i64 0
  %179 = insertelement <2 x ptr> %178, ptr %scevgep64, i64 1
  %180 = icmp ult <2 x ptr> %164, %179
  %181 = insertelement <2 x ptr> poison, ptr %scevgep65, i64 0
  %182 = insertelement <2 x ptr> %181, ptr %scevgep63, i64 1
  %183 = icmp ult <2 x ptr> %182, %168
  %184 = and <2 x i1> %180, %183
  %185 = shufflevector <2 x ptr> %92, <2 x ptr> %118, <2 x i32> <i32 1, i32 3>
  %186 = icmp ult <2 x ptr> %164, %185
  %187 = insertelement <2 x ptr> poison, ptr %scevgep67, i64 0
  %188 = insertelement <2 x ptr> %187, ptr %scevgep65, i64 1
  %189 = icmp ult <2 x ptr> %188, %168
  %190 = and <2 x i1> %186, %189
  %191 = icmp ult <2 x ptr> %164, %92
  %192 = insertelement <2 x ptr> %64, ptr %scevgep67, i64 1
  %193 = icmp ugt <2 x ptr> %168, %192
  %194 = and <2 x i1> %191, %193
  %195 = shufflevector <2 x ptr> %105, <2 x ptr> %92, <2 x i32> <i32 0, i32 2>
  %196 = icmp ult <2 x ptr> %164, %195
  %197 = shufflevector <2 x ptr> %100, <2 x ptr> %64, <2 x i32> <i32 0, i32 2>
  %198 = icmp ult <2 x ptr> %197, %168
  %199 = and <2 x i1> %196, %198
  %200 = icmp ult <2 x ptr> %164, %95
  %201 = icmp ult <2 x ptr> %65, %168
  %202 = and <2 x i1> %200, %201
  %203 = shufflevector <2 x ptr> %128, <2 x ptr> %95, <2 x i32> <i32 0, i32 2>
  %204 = icmp ult <2 x ptr> %164, %203
  %205 = shufflevector <2 x ptr> %125, <2 x ptr> %65, <2 x i32> <i32 0, i32 2>
  %206 = icmp ult <2 x ptr> %205, %168
  %207 = and <2 x i1> %204, %206
  %208 = insertelement <2 x ptr> %136, ptr %scevgep75, i64 1
  %209 = icmp ult <2 x ptr> %164, %208
  %210 = icmp ult <2 x ptr> %68, %168
  %211 = and <2 x i1> %209, %210
  %212 = insertelement <2 x ptr> %156, ptr %scevgep53, i64 1
  %213 = icmp ult <2 x ptr> %212, %137
  %214 = insertelement <2 x ptr> %153, ptr %scevgep54, i64 1
  %215 = icmp ult <2 x ptr> %133, %214
  %216 = and <2 x i1> %213, %215
  %217 = shufflevector <2 x i1> %216, <2 x i1> poison, <2 x i32> <i32 1, i32 0>
  %218 = insertelement <2 x ptr> %108, ptr %scevgep53, i64 0
  %219 = insertelement <2 x ptr> %112, ptr %scevgep58, i64 0
  %220 = icmp ult <2 x ptr> %218, %219
  %221 = insertelement <2 x ptr> %115, ptr %scevgep57, i64 0
  %222 = insertelement <2 x ptr> %103, ptr %scevgep54, i64 0
  %223 = icmp ult <2 x ptr> %221, %222
  %224 = and <2 x i1> %220, %223
  %225 = shufflevector <2 x ptr> %103, <2 x ptr> %171, <2 x i32> <i32 1, i32 2>
  %226 = icmp ult <2 x ptr> %218, %225
  %227 = shufflevector <2 x ptr> %108, <2 x ptr> %174, <2 x i32> <i32 1, i32 2>
  %228 = icmp ult <2 x ptr> %227, %222
  %229 = and <2 x i1> %226, %228
  %230 = insertelement <2 x ptr> poison, ptr %scevgep62, i64 0
  %231 = insertelement <2 x ptr> %230, ptr %scevgep66, i64 1
  %232 = icmp ult <2 x ptr> %218, %231
  %233 = insertelement <2 x ptr> poison, ptr %scevgep61, i64 0
  %234 = insertelement <2 x ptr> %233, ptr %scevgep65, i64 1
  %235 = icmp ult <2 x ptr> %234, %222
  %236 = and <2 x i1> %232, %235
  %237 = insertelement <2 x ptr> %92, ptr %scevgep64, i64 0
  %238 = icmp ult <2 x ptr> %218, %237
  %239 = insertelement <2 x ptr> %174, ptr %scevgep67, i64 1
  %240 = icmp ult <2 x ptr> %239, %222
  %241 = and <2 x i1> %238, %240
  %242 = shufflevector <2 x ptr> %118, <2 x ptr> poison, <2 x i32> <i32 1, i32 0>
  %243 = icmp ult <2 x ptr> %218, %242
  %244 = shufflevector <2 x ptr> %122, <2 x ptr> poison, <2 x i32> <i32 1, i32 0>
  %245 = icmp ult <2 x ptr> %244, %222
  %246 = and <2 x i1> %243, %245
  %247 = shufflevector <2 x ptr> %92, <2 x ptr> %105, <2 x i32> <i32 1, i32 2>
  %248 = icmp ult <2 x ptr> %218, %247
  %249 = shufflevector <2 x ptr> %130, <2 x ptr> %100, <2 x i32> <i32 1, i32 2>
  %250 = icmp ult <2 x ptr> %249, %222
  %251 = and <2 x i1> %248, %250
  %252 = shufflevector <2 x ptr> %92, <2 x ptr> %95, <2 x i32> <i32 0, i32 2>
  %253 = icmp ult <2 x ptr> %218, %252
  %254 = shufflevector <2 x ptr> %63, <2 x ptr> %65, <2 x i32> <i32 0, i32 2>
  %255 = icmp ugt <2 x ptr> %222, %254
  %256 = and <2 x i1> %253, %255
  %257 = insertelement <2 x ptr> %105, ptr %scevgep75, i64 1
  %258 = icmp ult <2 x ptr> %218, %257
  %259 = shufflevector <2 x ptr> %100, <2 x ptr> %125, <2 x i32> <i32 0, i32 2>
  %260 = icmp ult <2 x ptr> %259, %222
  %261 = and <2 x i1> %258, %260
  %262 = insertelement <2 x ptr> %95, ptr %scevgep77, i64 1
  %263 = icmp ult <2 x ptr> %218, %262
  %264 = shufflevector <2 x ptr> %65, <2 x ptr> %68, <2 x i32> <i32 0, i32 2>
  %265 = icmp ult <2 x ptr> %264, %222
  %266 = and <2 x i1> %263, %265
  %267 = insertelement <2 x ptr> %115, ptr %scevgep53, i64 0
  %268 = insertelement <2 x ptr> %128, ptr %scevgep64, i64 1
  %269 = icmp ult <2 x ptr> %267, %268
  %270 = insertelement <2 x ptr> %125, ptr %scevgep63, i64 1
  %271 = insertelement <2 x ptr> %112, ptr %scevgep54, i64 0
  %272 = icmp ult <2 x ptr> %270, %271
  %273 = and <2 x i1> %269, %272
  %274 = insertelement <2 x ptr> %136, ptr %scevgep66, i64 1
  %275 = icmp ult <2 x ptr> %267, %274
  %276 = insertelement <2 x ptr> %68, ptr %scevgep65, i64 1
  %277 = icmp ult <2 x ptr> %276, %271
  %278 = and <2 x i1> %275, %277
  %279 = insertelement <2 x ptr> poison, ptr %scevgep55, i64 0
  %280 = insertelement <2 x ptr> %279, ptr %scevgep61, i64 1
  %281 = insertelement <2 x ptr> %92, ptr %scevgep58, i64 0
  %282 = icmp ult <2 x ptr> %280, %281
  %283 = insertelement <2 x ptr> %130, ptr %scevgep57, i64 0
  %284 = insertelement <2 x ptr> poison, ptr %scevgep56, i64 0
  %285 = insertelement <2 x ptr> %284, ptr %scevgep62, i64 1
  %286 = icmp ult <2 x ptr> %283, %285
  %287 = and <2 x i1> %282, %286
  %scevgep69 = getelementptr i8, ptr %62, i64 -40
  %bound0358 = icmp ult ptr %scevgep61, %scevgep69
  %found.conflict360 = and i1 %bound0358, %bound1359
  %scevgep71 = getelementptr i8, ptr %66, i64 -32
  %bound0362 = icmp ult ptr %scevgep61, %scevgep71
  %found.conflict364 = and i1 %bound0362, %bound1363
  %scevgep73 = getelementptr i8, ptr %67, i64 -24
  %bound0366 = icmp ult ptr %scevgep61, %scevgep73
  %found.conflict368 = and i1 %bound0366, %bound1367
  %scevgep68 = getelementptr i8, ptr %61, i64 -16
  %bound0382 = icmp ult ptr %scevgep63, %scevgep68
  %found.conflict384 = and i1 %bound0382, %bound1383
  %bound0386 = icmp ult ptr %scevgep63, %scevgep69
  %found.conflict388 = and i1 %bound0386, %bound1387
  %bound0390 = icmp ult ptr %scevgep63, %scevgep71
  %found.conflict392 = and i1 %bound0390, %bound1391
  %bound0394 = icmp ult ptr %scevgep63, %scevgep73
  %found.conflict396 = and i1 %bound0394, %bound1395
  %bound0406 = icmp ult ptr %scevgep65, %scevgep68
  %found.conflict408 = and i1 %bound0406, %bound1407
  %bound0410 = icmp ult ptr %scevgep65, %scevgep69
  %found.conflict412 = and i1 %bound0410, %bound1411
  %bound0414 = icmp ult ptr %scevgep65, %scevgep71
  %found.conflict416 = and i1 %bound0414, %bound1415
  %bound0418 = icmp ult ptr %scevgep65, %scevgep73
  %found.conflict420 = and i1 %bound0418, %bound1419
  %288 = bitcast <8 x i1> %99 to i8
  %289 = icmp ne i8 %288, 0
  %290 = or <2 x i1> %110, %117
  %291 = insertelement <2 x i1> poison, i1 %289, i64 0
  %292 = insertelement <2 x i1> %291, i1 %found.conflict240, i64 1
  %293 = or <2 x i1> %292, %124
  %294 = or <2 x i1> %132, %140
  %295 = or <2 x i1> %147, %152
  %296 = or <2 x i1> %158, %163
  %297 = or <2 x i1> %170, %177
  %298 = or <2 x i1> %184, %190
  %299 = or <2 x i1> %194, %199
  %300 = or <2 x i1> %202, %207
  %301 = or <2 x i1> %211, %217
  %302 = or <2 x i1> %224, %229
  %303 = or <2 x i1> %236, %241
  %304 = or <2 x i1> %246, %251
  %305 = or <2 x i1> %256, %261
  %306 = or <2 x i1> %266, %273
  %307 = or <2 x i1> %278, %287
  %op.rdx462 = or i1 %found.conflict360, %found.conflict364
  %op.rdx463 = or i1 %found.conflict368, %found.conflict372
  %op.rdx465 = or i1 %found.conflict384, %found.conflict388
  %op.rdx466 = or i1 %found.conflict392, %found.conflict396
  %op.rdx468 = or i1 %found.conflict408, %found.conflict412
  %op.rdx469 = or i1 %found.conflict416, %found.conflict420
  %308 = or <2 x i1> %290, %293
  %309 = or <2 x i1> %294, %295
  %310 = or <2 x i1> %296, %297
  %311 = or <2 x i1> %298, %299
  %312 = or <2 x i1> %300, %301
  %313 = or <2 x i1> %302, %303
  %314 = or <2 x i1> %304, %305
  %315 = or <2 x i1> %306, %307
  %op.rdx487 = or i1 %op.rdx462, %op.rdx463
  %op.rdx488 = or i1 %op.rdx464, %op.rdx465
  %op.rdx489 = or i1 %op.rdx466, %op.rdx467
  %op.rdx490 = or i1 %op.rdx468, %op.rdx469
  %316 = or <2 x i1> %308, %309
  %317 = or <2 x i1> %310, %311
  %318 = or <2 x i1> %312, %313
  %319 = or <2 x i1> %314, %315
  %op.rdx499 = or i1 %op.rdx487, %op.rdx488
  %op.rdx500 = or i1 %op.rdx489, %op.rdx490
  %320 = or <2 x i1> %316, %317
  %321 = or <2 x i1> %318, %319
  %op.rdx505 = or i1 %op.rdx499, %op.rdx500
  %322 = or <2 x i1> %320, %321
  %op.rdx508 = or i1 %op.rdx505, %op.rdx470
  %shift = shufflevector <2 x i1> %322, <2 x i1> poison, <2 x i32> <i32 1, i32 poison>
  %323 = or <2 x i1> %322, %shift
  %op.rdx509 = extractelement <2 x i1> %323, i64 0
  %op.rdx510 = or i1 %op.rdx509, %op.rdx508
  br i1 %op.rdx510, label %.lr.ph.preheader511, label %vector.ph

vector.ph:                                        ; preds = %vector.memcheck
  %n.vec = and i64 %wide.trip.count, 4294967294
  %324 = shl nuw nsw i64 %n.vec, 3
  %ind.end = getelementptr i8, ptr %0, i64 %324
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %offset.idx = shl i64 %index, 3
  %next.gep = getelementptr i8, ptr %0, i64 %offset.idx
  %325 = mul i64 %index, 6
  %326 = mul i64 %index, 6
  %327 = add i64 %326, 6
  %328 = and i64 %325, 4294967292
  %329 = and i64 %327, 4294967294
  %330 = getelementptr inbounds double, ptr %2, i64 %328
  %331 = getelementptr inbounds double, ptr %2, i64 %329
  %332 = getelementptr inbounds i8, ptr %330, i64 24
  %333 = getelementptr inbounds i8, ptr %331, i64 24
  %334 = load double, ptr %332, align 8, !tbaa !5, !alias.scope !9
  %335 = load double, ptr %333, align 8, !tbaa !5, !alias.scope !9
  %336 = insertelement <2 x double> poison, double %334, i64 0
  %337 = insertelement <2 x double> %336, double %335, i64 1
  %338 = load double, ptr %330, align 8, !tbaa !5, !alias.scope !12
  %339 = load double, ptr %331, align 8, !tbaa !5, !alias.scope !12
  %340 = insertelement <2 x double> poison, double %338, i64 0
  %341 = insertelement <2 x double> %340, double %339, i64 1
  %342 = fmul <2 x double> %337, %341
  store <2 x double> %342, ptr %next.gep, align 8, !tbaa !5, !alias.scope !14, !noalias !16
  %343 = load double, ptr %332, align 8, !tbaa !5, !alias.scope !9
  %344 = load double, ptr %333, align 8, !tbaa !5, !alias.scope !9
  %345 = insertelement <2 x double> poison, double %343, i64 0
  %346 = insertelement <2 x double> %345, double %344, i64 1
  %347 = getelementptr inbounds i8, ptr %330, i64 8
  %348 = getelementptr inbounds i8, ptr %331, i64 8
  %349 = load double, ptr %347, align 8, !tbaa !5, !alias.scope !29
  %350 = load double, ptr %348, align 8, !tbaa !5, !alias.scope !29
  %351 = insertelement <2 x double> poison, double %349, i64 0
  %352 = insertelement <2 x double> %351, double %350, i64 1
  %353 = fmul <2 x double> %346, %352
  %354 = getelementptr inbounds double, ptr %next.gep, i64 %wide.trip.count
  store <2 x double> %353, ptr %354, align 8, !tbaa !5, !alias.scope !30, !noalias !31
  %355 = load double, ptr %332, align 8, !tbaa !5, !alias.scope !9
  %356 = load double, ptr %333, align 8, !tbaa !5, !alias.scope !9
  %357 = insertelement <2 x double> poison, double %355, i64 0
  %358 = insertelement <2 x double> %357, double %356, i64 1
  %359 = getelementptr inbounds i8, ptr %330, i64 16
  %360 = getelementptr inbounds i8, ptr %331, i64 16
  %361 = load double, ptr %359, align 8, !tbaa !5, !alias.scope !32
  %362 = load double, ptr %360, align 8, !tbaa !5, !alias.scope !32
  %363 = insertelement <2 x double> poison, double %361, i64 0
  %364 = insertelement <2 x double> %363, double %362, i64 1
  %365 = fmul <2 x double> %358, %364
  %366 = getelementptr inbounds double, ptr %next.gep, i64 %5
  store <2 x double> %365, ptr %366, align 8, !tbaa !5, !alias.scope !33, !noalias !34
  %367 = getelementptr inbounds i8, ptr %330, i64 32
  %368 = getelementptr inbounds i8, ptr %331, i64 32
  %369 = load double, ptr %367, align 8, !tbaa !5, !alias.scope !35
  %370 = load double, ptr %368, align 8, !tbaa !5, !alias.scope !35
  %371 = insertelement <2 x double> poison, double %369, i64 0
  %372 = insertelement <2 x double> %371, double %370, i64 1
  %373 = load double, ptr %330, align 8, !tbaa !5, !alias.scope !12
  %374 = load double, ptr %331, align 8, !tbaa !5, !alias.scope !12
  %375 = insertelement <2 x double> poison, double %373, i64 0
  %376 = insertelement <2 x double> %375, double %374, i64 1
  %377 = fmul <2 x double> %372, %376
  %378 = getelementptr inbounds double, ptr %next.gep, i64 %7
  store <2 x double> %377, ptr %378, align 8, !tbaa !5, !alias.scope !36, !noalias !37
  %379 = load double, ptr %367, align 8, !tbaa !5, !alias.scope !35
  %380 = load double, ptr %368, align 8, !tbaa !5, !alias.scope !35
  %381 = insertelement <2 x double> poison, double %379, i64 0
  %382 = insertelement <2 x double> %381, double %380, i64 1
  %383 = load double, ptr %347, align 8, !tbaa !5, !alias.scope !29
  %384 = load double, ptr %348, align 8, !tbaa !5, !alias.scope !29
  %385 = insertelement <2 x double> poison, double %383, i64 0
  %386 = insertelement <2 x double> %385, double %384, i64 1
  %387 = fmul <2 x double> %382, %386
  %388 = getelementptr inbounds double, ptr %next.gep, i64 %9
  store <2 x double> %387, ptr %388, align 8, !tbaa !5, !alias.scope !38, !noalias !39
  %389 = load double, ptr %367, align 8, !tbaa !5, !alias.scope !35
  %390 = load double, ptr %368, align 8, !tbaa !5, !alias.scope !35
  %391 = insertelement <2 x double> poison, double %389, i64 0
  %392 = insertelement <2 x double> %391, double %390, i64 1
  %393 = load double, ptr %359, align 8, !tbaa !5, !alias.scope !32
  %394 = load double, ptr %360, align 8, !tbaa !5, !alias.scope !32
  %395 = insertelement <2 x double> poison, double %393, i64 0
  %396 = insertelement <2 x double> %395, double %394, i64 1
  %397 = fmul <2 x double> %392, %396
  %398 = getelementptr inbounds double, ptr %next.gep, i64 %11
  store <2 x double> %397, ptr %398, align 8, !tbaa !5, !alias.scope !40, !noalias !41
  %399 = getelementptr inbounds i8, ptr %330, i64 40
  %400 = getelementptr inbounds i8, ptr %331, i64 40
  %401 = load double, ptr %399, align 8, !tbaa !5, !alias.scope !42
  %402 = load double, ptr %400, align 8, !tbaa !5, !alias.scope !42
  %403 = insertelement <2 x double> poison, double %401, i64 0
  %404 = insertelement <2 x double> %403, double %402, i64 1
  %405 = load double, ptr %330, align 8, !tbaa !5, !alias.scope !12
  %406 = load double, ptr %331, align 8, !tbaa !5, !alias.scope !12
  %407 = insertelement <2 x double> poison, double %405, i64 0
  %408 = insertelement <2 x double> %407, double %406, i64 1
  %409 = fmul <2 x double> %404, %408
  %410 = getelementptr inbounds double, ptr %next.gep, i64 %13
  store <2 x double> %409, ptr %410, align 8, !tbaa !5, !alias.scope !43, !noalias !44
  %411 = load double, ptr %399, align 8, !tbaa !5, !alias.scope !42
  %412 = load double, ptr %400, align 8, !tbaa !5, !alias.scope !42
  %413 = insertelement <2 x double> poison, double %411, i64 0
  %414 = insertelement <2 x double> %413, double %412, i64 1
  %415 = load double, ptr %347, align 8, !tbaa !5, !alias.scope !29
  %416 = load double, ptr %348, align 8, !tbaa !5, !alias.scope !29
  %417 = insertelement <2 x double> poison, double %415, i64 0
  %418 = insertelement <2 x double> %417, double %416, i64 1
  %419 = fmul <2 x double> %414, %418
  %420 = getelementptr inbounds double, ptr %next.gep, i64 %15
  store <2 x double> %419, ptr %420, align 8, !tbaa !5, !alias.scope !45, !noalias !46
  %421 = load double, ptr %399, align 8, !tbaa !5, !alias.scope !42
  %422 = load double, ptr %400, align 8, !tbaa !5, !alias.scope !42
  %423 = insertelement <2 x double> poison, double %421, i64 0
  %424 = insertelement <2 x double> %423, double %422, i64 1
  %425 = load double, ptr %359, align 8, !tbaa !5, !alias.scope !32
  %426 = load double, ptr %360, align 8, !tbaa !5, !alias.scope !32
  %427 = insertelement <2 x double> poison, double %425, i64 0
  %428 = insertelement <2 x double> %427, double %426, i64 1
  %429 = fmul <2 x double> %424, %428
  %430 = getelementptr inbounds double, ptr %next.gep, i64 %17
  store <2 x double> %429, ptr %430, align 8, !tbaa !5, !alias.scope !47, !noalias !48
  %index.next = add nuw i64 %index, 2
  %431 = icmp eq i64 %index.next, %n.vec
  br i1 %431, label %middle.block, label %vector.body, !llvm.loop !49

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %n.vec, %wide.trip.count
  br i1 %cmp.n, label %._crit_edge, label %.lr.ph.preheader511

._crit_edge:                                      ; preds = %.lr.ph, %middle.block, %3
  ret void

.lr.ph:                                           ; preds = %.lr.ph.preheader511, %.lr.ph
  %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph ], [ %indvars.iv.ph, %.lr.ph.preheader511 ]
  %.02127 = phi ptr [ %472, %.lr.ph ], [ %.02127.ph, %.lr.ph.preheader511 ]
  %432 = mul i64 %indvars.iv, 6
  %433 = and i64 %432, 4294967294
  %434 = getelementptr inbounds double, ptr %2, i64 %433
  %invariant.gep = getelementptr inbounds i8, ptr %434, i64 24
  %435 = load double, ptr %invariant.gep, align 8, !tbaa !5
  %436 = load double, ptr %434, align 8, !tbaa !5
  %437 = fmul double %435, %436
  store double %437, ptr %.02127, align 8, !tbaa !5
  %438 = load double, ptr %invariant.gep, align 8, !tbaa !5
  %439 = getelementptr inbounds i8, ptr %434, i64 8
  %440 = load double, ptr %439, align 8, !tbaa !5
  %441 = fmul double %438, %440
  %442 = getelementptr inbounds double, ptr %.02127, i64 %wide.trip.count
  store double %441, ptr %442, align 8, !tbaa !5
  %443 = load double, ptr %invariant.gep, align 8, !tbaa !5
  %444 = getelementptr inbounds i8, ptr %434, i64 16
  %445 = load double, ptr %444, align 8, !tbaa !5
  %446 = fmul double %443, %445
  %447 = getelementptr inbounds double, ptr %.02127, i64 %5
  store double %446, ptr %447, align 8, !tbaa !5
  %gep.1 = getelementptr inbounds i8, ptr %434, i64 32
  %448 = load double, ptr %gep.1, align 8, !tbaa !5
  %449 = load double, ptr %434, align 8, !tbaa !5
  %450 = fmul double %448, %449
  %451 = getelementptr inbounds double, ptr %.02127, i64 %7
  store double %450, ptr %451, align 8, !tbaa !5
  %452 = load double, ptr %gep.1, align 8, !tbaa !5
  %453 = load double, ptr %439, align 8, !tbaa !5
  %454 = fmul double %452, %453
  %455 = getelementptr inbounds double, ptr %.02127, i64 %9
  store double %454, ptr %455, align 8, !tbaa !5
  %456 = load double, ptr %gep.1, align 8, !tbaa !5
  %457 = load double, ptr %444, align 8, !tbaa !5
  %458 = fmul double %456, %457
  %459 = getelementptr inbounds double, ptr %.02127, i64 %11
  store double %458, ptr %459, align 8, !tbaa !5
  %gep.2 = getelementptr inbounds i8, ptr %434, i64 40
  %460 = load double, ptr %gep.2, align 8, !tbaa !5
  %461 = load double, ptr %434, align 8, !tbaa !5
  %462 = fmul double %460, %461
  %463 = getelementptr inbounds double, ptr %.02127, i64 %13
  store double %462, ptr %463, align 8, !tbaa !5
  %464 = load double, ptr %gep.2, align 8, !tbaa !5
  %465 = load double, ptr %439, align 8, !tbaa !5
  %466 = fmul double %464, %465
  %467 = getelementptr inbounds double, ptr %.02127, i64 %15
  store double %466, ptr %467, align 8, !tbaa !5
  %468 = load double, ptr %gep.2, align 8, !tbaa !5
  %469 = load double, ptr %444, align 8, !tbaa !5
  %470 = fmul double %468, %469
  %471 = getelementptr inbounds double, ptr %.02127, i64 %17
  store double %470, ptr %471, align 8, !tbaa !5
  %472 = getelementptr inbounds i8, ptr %.02127, i64 8
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge, label %.lr.ph, !llvm.loop !53
}

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare { i64, i1 } @llvm.umul.with.overflow.i64(i64, i64) #1

attributes #0 = { mustprogress nofree norecurse nosync nounwind memory(write, argmem: readwrite, 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 nosync nounwind speculatable willreturn memory(none) }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"double", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10}
!10 = distinct !{!10, !11}
!11 = distinct !{!11, !"LVerDomain"}
!12 = !{!13}
!13 = distinct !{!13, !11}
!14 = !{!15}
!15 = distinct !{!15, !11}
!16 = !{!17, !18, !19, !20, !21, !22, !23, !24, !10, !13, !25, !26, !27, !28}
!17 = distinct !{!17, !11}
!18 = distinct !{!18, !11}
!19 = distinct !{!19, !11}
!20 = distinct !{!20, !11}
!21 = distinct !{!21, !11}
!22 = distinct !{!22, !11}
!23 = distinct !{!23, !11}
!24 = distinct !{!24, !11}
!25 = distinct !{!25, !11}
!26 = distinct !{!26, !11}
!27 = distinct !{!27, !11}
!28 = distinct !{!28, !11}
!29 = !{!25}
!30 = !{!17}
!31 = !{!18, !19, !20, !21, !22, !23, !24, !10, !13, !25, !26, !27, !28}
!32 = !{!26}
!33 = !{!18}
!34 = !{!19, !20, !21, !22, !23, !24, !10, !13, !25, !26, !27, !28}
!35 = !{!27}
!36 = !{!19}
!37 = !{!20, !21, !22, !23, !24, !10, !13, !25, !26, !27, !28}
!38 = !{!20}
!39 = !{!21, !22, !23, !24, !10, !13, !25, !26, !27, !28}
!40 = !{!21}
!41 = !{!22, !23, !24, !10, !13, !25, !26, !27, !28}
!42 = !{!28}
!43 = !{!22}
!44 = !{!23, !24, !10, !13, !25, !26, !27, !28}
!45 = !{!23}
!46 = !{!24, !10, !13, !25, !26, !27, !28}
!47 = !{!24}
!48 = !{!10, !13, !25, !26, !27, !28}
!49 = distinct !{!49, !50, !51, !52}
!50 = !{!"llvm.loop.mustprogress"}
!51 = !{!"llvm.loop.isvectorized", i32 1}
!52 = !{!"llvm.loop.unroll.runtime.disable"}
!53 = distinct !{!53, !50, !51}


; Effective O3 passes: GVNPass,GlobalDCEPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LCSSAPass,LICMPass,LoopLoadEliminationPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,LoopVectorizePass,PostOrderFunctionAttrsPass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,TailCallElimPass,VectorCombinePass