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
5target 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"
6target triple = "hexagon"
7
8@g0 = external local_unnamed_addr global i32, align 4
9
10; Function Attrs: nounwind
11define void @f0(i8* noalias nocapture readonly %a0, i8* noalias nocapture %a1, i32 %a2) local_unnamed_addr #0 {
12b0:
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
20b1:                                               ; 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
36b2:                                               ; 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
62b3:                                               ; preds = %b2
63  br label %b4
64
65b4:                                               ; preds = %b3, %b0
66  ret void
67}
68
69; Function Attrs: nounwind readnone
70declare <32 x i32> @llvm.hexagon.V6.vmaxub.128B(<32 x i32>, <32 x i32>) #1
71
72; Function Attrs: nounwind readnone
73declare <32 x i32> @llvm.hexagon.V6.valignbi.128B(<32 x i32>, <32 x i32>, i32) #1
74
75attributes #0 = { nounwind "target-cpu"="hexagonv60" "target-features"="+hvx,+hvx-length128b,-long-calls" }
76attributes #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}
83