; RUN: llc -march=hexagon -O3 < %s | FileCheck %s
; RUN: llc -march=hexagon -O2 < %s | FileCheck %s
; RUN: llc -march=hexagon -O1 < %s | FileCheck %s
; RUN: llc -march=hexagon -O0 < %s | FileCheck %s
;
; CHECK-NOT: v{{[0-9]*}}.cur
;
; CHECK: {
; CHECK: v{{[0-9]+}}.h = vasr(v{{[0-9]+}}.w,v{{[0-9]+}}.w,r{{[0-7]+}})

; CHECK: }
; CHECK: {
; CHECK: v{{[0-9]+}}.h = vasr(v{{[0-9]+}}.w,v{{[0-9]+}}.w,r{{[0-7]+}})
; CHECK: }
; CHECK-NOT: vand
; CHECK: v{{[0-9]+}} = v{{[0-9]+}}

target triple = "hexagon"

; Function Attrs: nounwind
define void @f0(i8* nocapture readonly %a0, i8* nocapture readonly %a1, i32 %a2, i8* nocapture %a3, i32 %a4) #0 {
b0:
  %v0 = bitcast i8* %a1 to i32*
  %v1 = load i32, i32* %v0, align 4, !tbaa !0
  %v2 = getelementptr inbounds i8, i8* %a1, i32 4
  %v3 = bitcast i8* %v2 to i32*
  %v4 = load i32, i32* %v3, align 4, !tbaa !0
  %v5 = getelementptr inbounds i8, i8* %a1, i32 8
  %v6 = bitcast i8* %v5 to i32*
  %v7 = load i32, i32* %v6, align 4, !tbaa !0
  %v8 = mul i32 %a4, 2
  %v9 = add i32 %v8, %a4
  %v10 = icmp sgt i32 %a4, 0
  br i1 %v10, label %b1, label %b4

b1:                                               ; preds = %b0
  %v11 = getelementptr inbounds i8, i8* %a0, i32 %v9
  %v12 = getelementptr inbounds i8, i8* %a0, i32 %v8
  %v13 = getelementptr inbounds i8, i8* %a0, i32 %a4
  %v14 = add i32 %v9, 64
  %v15 = bitcast i8* %v11 to <16 x i32>*
  %v16 = add i32 %v8, 64
  %v17 = bitcast i8* %v12 to <16 x i32>*
  %v18 = add i32 %a4, 64
  %v19 = bitcast i8* %v13 to <16 x i32>*
  %v20 = bitcast i8* %a0 to <16 x i32>*
  %v21 = getelementptr inbounds i8, i8* %a0, i32 %v14
  %v22 = load <16 x i32>, <16 x i32>* %v15, align 64, !tbaa !4
  %v23 = getelementptr inbounds i8, i8* %a0, i32 %v16
  %v24 = load <16 x i32>, <16 x i32>* %v17, align 64, !tbaa !4
  %v25 = getelementptr inbounds i8, i8* %a0, i32 %v18
  %v26 = load <16 x i32>, <16 x i32>* %v19, align 64, !tbaa !4
  %v27 = load <16 x i32>, <16 x i32>* %v20, align 64, !tbaa !4
  %v28 = getelementptr inbounds i8, i8* %a3, i32 %a4
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v29 = phi i8* [ %a0, %b1 ], [ %v40, %b2 ]
  %v30 = phi i8* [ %a3, %b1 ], [ %v74, %b2 ]
  %v31 = phi i8* [ %v25, %b1 ], [ %v45, %b2 ]
  %v32 = phi i8* [ %v23, %b1 ], [ %v48, %b2 ]
  %v33 = phi i8* [ %v21, %b1 ], [ %v51, %b2 ]
  %v34 = phi i8* [ %v28, %b1 ], [ %v89, %b2 ]
  %v35 = phi i32 [ 0, %b1 ], [ %v90, %b2 ]
  %v36 = phi <16 x i32> [ %v27, %b1 ], [ %v42, %b2 ]
  %v37 = phi <16 x i32> [ %v26, %b1 ], [ %v44, %b2 ]
  %v38 = phi <16 x i32> [ %v24, %b1 ], [ %v47, %b2 ]
  %v39 = phi <16 x i32> [ %v22, %b1 ], [ %v50, %b2 ]
  %v40 = getelementptr inbounds i8, i8* %v29, i32 64
  %v41 = bitcast i8* %v40 to <16 x i32>*
  %v42 = load <16 x i32>, <16 x i32>* %v41, align 64, !tbaa !4
  %v43 = bitcast i8* %v31 to <16 x i32>*
  %v44 = load <16 x i32>, <16 x i32>* %v43, align 64, !tbaa !4
  %v45 = getelementptr inbounds i8, i8* %v31, i32 64
  %v46 = bitcast i8* %v32 to <16 x i32>*
  %v47 = load <16 x i32>, <16 x i32>* %v46, align 64, !tbaa !4
  %v48 = getelementptr inbounds i8, i8* %v32, i32 64
  %v49 = bitcast i8* %v33 to <16 x i32>*
  %v50 = load <16 x i32>, <16 x i32>* %v49, align 64, !tbaa !4
  %v51 = getelementptr inbounds i8, i8* %v33, i32 64
  %v52 = tail call <16 x i32> @llvm.hexagon.V6.valignbi(<16 x i32> %v42, <16 x i32> %v36, i32 4)
  %v53 = tail call <16 x i32> @llvm.hexagon.V6.valignbi(<16 x i32> %v44, <16 x i32> %v37, i32 4)
  %v54 = tail call <16 x i32> @llvm.hexagon.V6.valignbi(<16 x i32> %v47, <16 x i32> %v38, i32 4)
  %v55 = tail call <16 x i32> @llvm.hexagon.V6.valignbi(<16 x i32> %v50, <16 x i32> %v39, i32 4)
  %v56 = tail call <32 x i32> @llvm.hexagon.V6.vcombine(<16 x i32> %v52, <16 x i32> %v36)
  %v57 = tail call <32 x i32> @llvm.hexagon.V6.vcombine(<16 x i32> %v53, <16 x i32> %v37)
  %v58 = tail call <32 x i32> @llvm.hexagon.V6.vcombine(<16 x i32> %v54, <16 x i32> %v38)
  %v59 = tail call <32 x i32> @llvm.hexagon.V6.vcombine(<16 x i32> %v55, <16 x i32> %v39)
  %v60 = tail call <32 x i32> @llvm.hexagon.V6.vrmpybusi(<32 x i32> %v56, i32 %v1, i32 0)
  %v61 = tail call <32 x i32> @llvm.hexagon.V6.vrmpybusi(<32 x i32> %v56, i32 %v1, i32 1)
  %v62 = tail call <32 x i32> @llvm.hexagon.V6.vrmpybusi.acc(<32 x i32> %v60, <32 x i32> %v57, i32 %v4, i32 0)
  %v63 = tail call <32 x i32> @llvm.hexagon.V6.vrmpybusi.acc(<32 x i32> %v61, <32 x i32> %v57, i32 %v4, i32 1)
  %v64 = tail call <32 x i32> @llvm.hexagon.V6.vrmpybusi.acc(<32 x i32> %v62, <32 x i32> %v58, i32 %v7, i32 0)
  %v65 = tail call <32 x i32> @llvm.hexagon.V6.vrmpybusi.acc(<32 x i32> %v63, <32 x i32> %v58, i32 %v7, i32 1)
  %v66 = tail call <16 x i32> @llvm.hexagon.V6.hi(<32 x i32> %v65)
  %v67 = tail call <16 x i32> @llvm.hexagon.V6.lo(<32 x i32> %v65)
  %v68 = tail call <16 x i32> @llvm.hexagon.V6.vasrwh(<16 x i32> %v66, <16 x i32> %v67, i32 %a2)
  %v69 = tail call <16 x i32> @llvm.hexagon.V6.hi(<32 x i32> %v64)
  %v70 = tail call <16 x i32> @llvm.hexagon.V6.lo(<32 x i32> %v64)
  %v71 = tail call <16 x i32> @llvm.hexagon.V6.vasrwh(<16 x i32> %v69, <16 x i32> %v70, i32 %a2)
  %v72 = tail call <16 x i32> @llvm.hexagon.V6.vsathub(<16 x i32> %v68, <16 x i32> %v71)
  %v73 = bitcast i8* %v30 to <16 x i32>*
  store <16 x i32> %v72, <16 x i32>* %v73, align 64, !tbaa !4
  %v74 = getelementptr inbounds i8, i8* %v30, i32 64
  %v75 = tail call <32 x i32> @llvm.hexagon.V6.vrmpybusi(<32 x i32> %v57, i32 %v1, i32 0)
  %v76 = tail call <32 x i32> @llvm.hexagon.V6.vrmpybusi(<32 x i32> %v57, i32 %v1, i32 1)
  %v77 = tail call <32 x i32> @llvm.hexagon.V6.vrmpybusi.acc(<32 x i32> %v75, <32 x i32> %v58, i32 %v4, i32 0)
  %v78 = tail call <32 x i32> @llvm.hexagon.V6.vrmpybusi.acc(<32 x i32> %v76, <32 x i32> %v58, i32 %v4, i32 1)
  %v79 = tail call <32 x i32> @llvm.hexagon.V6.vrmpybusi.acc(<32 x i32> %v77, <32 x i32> %v59, i32 %v7, i32 0)
  %v80 = tail call <32 x i32> @llvm.hexagon.V6.vrmpybusi.acc(<32 x i32> %v78, <32 x i32> %v59, i32 %v7, i32 1)
  %v81 = tail call <16 x i32> @llvm.hexagon.V6.hi(<32 x i32> %v80)
  %v82 = tail call <16 x i32> @llvm.hexagon.V6.lo(<32 x i32> %v80)
  %v83 = tail call <16 x i32> @llvm.hexagon.V6.vasrwh(<16 x i32> %v81, <16 x i32> %v82, i32 %a2)
  %v84 = tail call <16 x i32> @llvm.hexagon.V6.hi(<32 x i32> %v79)
  %v85 = tail call <16 x i32> @llvm.hexagon.V6.lo(<32 x i32> %v79)
  %v86 = tail call <16 x i32> @llvm.hexagon.V6.vasrwh(<16 x i32> %v84, <16 x i32> %v85, i32 %a2)
  %v87 = tail call <16 x i32> @llvm.hexagon.V6.vsathub(<16 x i32> %v83, <16 x i32> %v86)
  %v88 = bitcast i8* %v34 to <16 x i32>*
  store <16 x i32> %v87, <16 x i32>* %v88, align 64, !tbaa !4
  %v89 = getelementptr inbounds i8, i8* %v34, i32 64
  %v90 = add nsw i32 %v35, 64
  %v91 = icmp slt i32 %v90, %a4
  br i1 %v91, label %b2, label %b3

b3:                                               ; preds = %b2
  br label %b4

b4:                                               ; preds = %b3, %b0
  ret void
}

; Function Attrs: nounwind readnone
declare <16 x i32> @llvm.hexagon.V6.valignbi(<16 x i32>, <16 x i32>, i32) #1

; Function Attrs: nounwind readnone
declare <32 x i32> @llvm.hexagon.V6.vcombine(<16 x i32>, <16 x i32>) #1

; Function Attrs: nounwind readnone
declare <32 x i32> @llvm.hexagon.V6.vrmpybusi(<32 x i32>, i32, i32) #1

; Function Attrs: nounwind readnone
declare <32 x i32> @llvm.hexagon.V6.vrmpybusi.acc(<32 x i32>, <32 x i32>, i32, i32) #1

; Function Attrs: nounwind readnone
declare <16 x i32> @llvm.hexagon.V6.vasrwh(<16 x i32>, <16 x i32>, i32) #1

; Function Attrs: nounwind readnone
declare <16 x i32> @llvm.hexagon.V6.hi(<32 x i32>) #1

; Function Attrs: nounwind readnone
declare <16 x i32> @llvm.hexagon.V6.lo(<32 x i32>) #1

; Function Attrs: nounwind readnone
declare <16 x i32> @llvm.hexagon.V6.vsathub(<16 x i32>, <16 x i32>) #1

attributes #0 = { nounwind "target-cpu"="hexagonv60" "target-features"="+hvxv60,+hvx-length64b" }
attributes #1 = { nounwind readnone }

!0 = !{!1, !1, i64 0}
!1 = !{!"int", !2, i64 0}
!2 = !{!"omnipotent char", !3, i64 0}
!3 = !{!"Simple C/C++ TBAA"}
!4 = !{!2, !2, i64 0}