test/CodeGen/Hexagon/hexagon_vector_loop_carried_reuse_commutative.ll

   1 ; RUN: opt -march=hexagon < %s -hexagon-vlcr -adce -S | FileCheck %s
   2
   3 ; CHECK: %v32.hexagon.vlcr = tail call <32 x i32> @llvm.hexagon.V6.vmaxub.128B
   4
   5 target datalayout = "e-m:e-p:32:32:32-a:0-n16:32-i64:64:64-i32:32:32-i16:16:16-i1:8:8-f32:32:32-f64:64:64-v32:32:32-v64:64:64-v512:512:512-v1024:1024:1024-v2048:2048:2048"
   6 target triple = "hexagon"
   7
   8 @g0 = external local_unnamed_addr global i32, align 4
   9
  10 ; Function Attrs: nounwind
  11 define void @f0(i8* noalias nocapture readonly %a0, i8* noalias nocapture %a1, i32 %a2) local_unnamed_addr #0 {
  12 b0:
  13   %v0 = getelementptr inbounds i8, i8* %a0, i32 %a2
  14   %v1 = mul nsw i32 %a2, 2
  15   %v2 = getelementptr inbounds i8, i8* %a0, i32 %v1
  16   %v3 = load i32, i32* @g0, align 4, !tbaa !0
  17   %v4 = icmp sgt i32 %v3, 0
  18   br i1 %v4, label %b1, label %b4
  19
  20 b1:                                               ; preds = %b0
  21   %v5 = bitcast i8* %v2 to <32 x i32>*
  22   %v6 = load <32 x i32>, <32 x i32>* %v5, align 128, !tbaa !4
  23   %v7 = getelementptr inbounds i8, i8* %v2, i32 128
  24   %v8 = bitcast i8* %v7 to <32 x i32>*
  25   %v9 = bitcast i8* %v0 to <32 x i32>*
  26   %v10 = load <32 x i32>, <32 x i32>* %v9, align 128, !tbaa !4
  27   %v11 = getelementptr inbounds i8, i8* %v0, i32 128
  28   %v12 = bitcast i8* %v11 to <32 x i32>*
  29   %v13 = bitcast i8* %a0 to <32 x i32>*
  30   %v14 = load <32 x i32>, <32 x i32>* %v13, align 128, !tbaa !4
  31   %v15 = getelementptr inbounds i8, i8* %a0, i32 128
  32   %v16 = bitcast i8* %v15 to <32 x i32>*
  33   %v17 = bitcast i8* %a1 to <32 x i32>*
  34   br label %b2
  35
  36 b2:                                               ; preds = %b2, %b1
  37   %v18 = phi <32 x i32>* [ %v17, %b1 ], [ %v37, %b2 ]
  38   %v19 = phi <32 x i32>* [ %v8, %b1 ], [ %v30, %b2 ]
  39   %v20 = phi <32 x i32>* [ %v12, %b1 ], [ %v28, %b2 ]
  40   %v21 = phi <32 x i32>* [ %v16, %b1 ], [ %v26, %b2 ]
  41   %v22 = phi i32 [ 0, %b1 ], [ %v38, %b2 ]
  42   %v23 = phi <32 x i32> [ %v14, %b1 ], [ %v27, %b2 ]
  43   %v24 = phi <32 x i32> [ %v10, %b1 ], [ %v29, %b2 ]
  44   %v25 = phi <32 x i32> [ %v6, %b1 ], [ %v31, %b2 ]
  45   %v26 = getelementptr inbounds <32 x i32>, <32 x i32>* %v21, i32 1
  46   %v27 = load <32 x i32>, <32 x i32>* %v21, align 128, !tbaa !4
  47   %v28 = getelementptr inbounds <32 x i32>, <32 x i32>* %v20, i32 1
  48   %v29 = load <32 x i32>, <32 x i32>* %v20, align 128, !tbaa !4
  49   %v30 = getelementptr inbounds <32 x i32>, <32 x i32>* %v19, i32 1
  50   %v31 = load <32 x i32>, <32 x i32>* %v19, align 128, !tbaa !4
  51   %v32 = tail call <32 x i32> @llvm.hexagon.V6.vmaxub.128B(<32 x i32> %v23, <32 x i32> %v24)
  52   %v33 = tail call <32 x i32> @llvm.hexagon.V6.vmaxub.128B(<32 x i32> %v32, <32 x i32> %v25)
  53   %v34 = tail call <32 x i32> @llvm.hexagon.V6.vmaxub.128B(<32 x i32> %v29, <32 x i32> %v27)
  54   %v35 = tail call <32 x i32> @llvm.hexagon.V6.vmaxub.128B(<32 x i32> %v34, <32 x i32> %v31)
  55   %v36 = tail call <32 x i32> @llvm.hexagon.V6.valignbi.128B(<32 x i32> %v35, <32 x i32> %v33, i32 1)
  56   %v37 = getelementptr inbounds <32 x i32>, <32 x i32>* %v18, i32 1
  57   store <32 x i32> %v36, <32 x i32>* %v18, align 128, !tbaa !4
  58   %v38 = add nuw nsw i32 %v22, 128
  59   %v39 = icmp slt i32 %v38, %v3
  60   br i1 %v39, label %b2, label %b3
  61
  62 b3:                                               ; preds = %b2
  63   br label %b4
  64
  65 b4:                                               ; preds = %b3, %b0
  66   ret void
  67 }
  68
  69 ; Function Attrs: nounwind readnone
  70 declare <32 x i32> @llvm.hexagon.V6.vmaxub.128B(<32 x i32>, <32 x i32>) #1
  71
  72 ; Function Attrs: nounwind readnone
  73 declare <32 x i32> @llvm.hexagon.V6.valignbi.128B(<32 x i32>, <32 x i32>, i32) #1
  74
  75 attributes #0 = { nounwind "target-cpu"="hexagonv60" "target-features"="+hvx,+hvx-length128b,-long-calls" }
  76 attributes #1 = { nounwind readnone }
  77
  78 !0 = !{!1, !1, i64 0}
  79 !1 = !{!"int", !2, i64 0}
  80 !2 = !{!"omnipotent char", !3, i64 0}
  81 !3 = !{!"Simple C/C++ TBAA"}
  82 !4 = !{!2, !2, i64 0}