; RUN: llc -march=hexagon -O2 -mcpu=hexagonv60 -mattr=+hvxv60,hvx-length64b < %s | FileCheck %s

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

target datalayout = "e-p:32:32:32-i64:64:64-i32:32:32-i16:16:16-i1:32:32-f64:64:64-f32:32:32-v64:64:64-v32:32:32-a:0-n16:32"
target triple = "hexagon-unknown--elf"

%struct.buffer_t = type { i64, i8*, [4 x i32], [4 x i32], [4 x i32], i32, i8, i8, [6 x i8] }

; Function Attrs: norecurse nounwind
define i32 @__test_vasr(%struct.buffer_t* noalias nocapture %f.buffer, %struct.buffer_t* noalias nocapture %g.buffer, %struct.buffer_t* noalias nocapture %res.buffer) #0 {
entry:
  %buf_host = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %f.buffer, i32 0, i32 1
  %f.host = load i8*, i8** %buf_host, align 4
  %buf_dev = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %f.buffer, i32 0, i32 0
  %f.dev = load i64, i64* %buf_dev, align 8
  %0 = icmp eq i8* %f.host, null
  %1 = icmp eq i64 %f.dev, 0
  %f.host_and_dev_are_null = and i1 %0, %1
  %buf_min = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %f.buffer, i32 0, i32 4, i32 0
  %f.min.0 = load i32, i32* %buf_min, align 4
  %buf_host10 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %g.buffer, i32 0, i32 1
  %g.host = load i8*, i8** %buf_host10, align 4
  %buf_dev11 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %g.buffer, i32 0, i32 0
  %g.dev = load i64, i64* %buf_dev11, align 8
  %2 = icmp eq i8* %g.host, null
  %3 = icmp eq i64 %g.dev, 0
  %g.host_and_dev_are_null = and i1 %2, %3
  %buf_min22 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %g.buffer, i32 0, i32 4, i32 0
  %g.min.0 = load i32, i32* %buf_min22, align 4
  %buf_host27 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %res.buffer, i32 0, i32 1
  %res.host = load i8*, i8** %buf_host27, align 4
  %buf_dev28 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %res.buffer, i32 0, i32 0
  %res.dev = load i64, i64* %buf_dev28, align 8
  %4 = icmp eq i8* %res.host, null
  %5 = icmp eq i64 %res.dev, 0
  %res.host_and_dev_are_null = and i1 %4, %5
  %buf_extent31 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %res.buffer, i32 0, i32 2, i32 0
  %res.extent.0 = load i32, i32* %buf_extent31, align 4
  %buf_min39 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %res.buffer, i32 0, i32 4, i32 0
  %res.min.0 = load i32, i32* %buf_min39, align 4
  %6 = add nsw i32 %res.extent.0, -1
  %7 = and i32 %6, -64
  %8 = add i32 %res.min.0, 63
  %9 = add i32 %8, %7
  %10 = add nsw i32 %res.min.0, %res.extent.0
  %11 = add nsw i32 %10, -1
  %12 = icmp slt i32 %9, %11
  %13 = select i1 %12, i32 %9, i32 %11
  %14 = add nsw i32 %10, -64
  %15 = icmp slt i32 %res.min.0, %14
  %16 = select i1 %15, i32 %res.min.0, i32 %14
  %f.extent.0.required.s = sub nsw i32 %13, %16
  br i1 %f.host_and_dev_are_null, label %true_bb, label %after_bb

true_bb:                                          ; preds = %entry
  %buf_elem_size44 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %f.buffer, i32 0, i32 5
  store i32 1, i32* %buf_elem_size44, align 4
  store i32 %16, i32* %buf_min, align 4
  %17 = add nsw i32 %f.extent.0.required.s, 1
  %buf_extent46 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %f.buffer, i32 0, i32 2, i32 0
  store i32 %17, i32* %buf_extent46, align 4
  %buf_stride47 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %f.buffer, i32 0, i32 3, i32 0
  store i32 1, i32* %buf_stride47, align 4
  %buf_min48 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %f.buffer, i32 0, i32 4, i32 1
  store i32 0, i32* %buf_min48, align 4
  %buf_extent49 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %f.buffer, i32 0, i32 2, i32 1
  store i32 0, i32* %buf_extent49, align 4
  %buf_stride50 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %f.buffer, i32 0, i32 3, i32 1
  store i32 0, i32* %buf_stride50, align 4
  %buf_min51 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %f.buffer, i32 0, i32 4, i32 2
  store i32 0, i32* %buf_min51, align 4
  %buf_extent52 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %f.buffer, i32 0, i32 2, i32 2
  store i32 0, i32* %buf_extent52, align 4
  %buf_stride53 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %f.buffer, i32 0, i32 3, i32 2
  store i32 0, i32* %buf_stride53, align 4
  %buf_min54 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %f.buffer, i32 0, i32 4, i32 3
  store i32 0, i32* %buf_min54, align 4
  %buf_extent55 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %f.buffer, i32 0, i32 2, i32 3
  store i32 0, i32* %buf_extent55, align 4
  %buf_stride56 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %f.buffer, i32 0, i32 3, i32 3
  store i32 0, i32* %buf_stride56, align 4
  br label %after_bb

after_bb:                                         ; preds = %true_bb, %entry
  br i1 %g.host_and_dev_are_null, label %true_bb57, label %after_bb59

true_bb57:                                        ; preds = %after_bb
  %buf_elem_size60 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %g.buffer, i32 0, i32 5
  store i32 1, i32* %buf_elem_size60, align 4
  store i32 %16, i32* %buf_min22, align 4
  %18 = add nsw i32 %f.extent.0.required.s, 1
  %buf_extent62 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %g.buffer, i32 0, i32 2, i32 0
  store i32 %18, i32* %buf_extent62, align 4
  %buf_stride63 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %g.buffer, i32 0, i32 3, i32 0
  store i32 1, i32* %buf_stride63, align 4
  %buf_min64 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %g.buffer, i32 0, i32 4, i32 1
  store i32 0, i32* %buf_min64, align 4
  %buf_extent65 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %g.buffer, i32 0, i32 2, i32 1
  store i32 0, i32* %buf_extent65, align 4
  %buf_stride66 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %g.buffer, i32 0, i32 3, i32 1
  store i32 0, i32* %buf_stride66, align 4
  %buf_min67 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %g.buffer, i32 0, i32 4, i32 2
  store i32 0, i32* %buf_min67, align 4
  %buf_extent68 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %g.buffer, i32 0, i32 2, i32 2
  store i32 0, i32* %buf_extent68, align 4
  %buf_stride69 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %g.buffer, i32 0, i32 3, i32 2
  store i32 0, i32* %buf_stride69, align 4
  %buf_min70 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %g.buffer, i32 0, i32 4, i32 3
  store i32 0, i32* %buf_min70, align 4
  %buf_extent71 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %g.buffer, i32 0, i32 2, i32 3
  store i32 0, i32* %buf_extent71, align 4
  %buf_stride72 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %g.buffer, i32 0, i32 3, i32 3
  store i32 0, i32* %buf_stride72, align 4
  br label %after_bb59

after_bb59:                                       ; preds = %true_bb57, %after_bb
  br i1 %res.host_and_dev_are_null, label %after_bb75.thread, label %after_bb75

after_bb75.thread:                                ; preds = %after_bb59
  %buf_elem_size76 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %res.buffer, i32 0, i32 5
  store i32 1, i32* %buf_elem_size76, align 4
  store i32 %16, i32* %buf_min39, align 4
  %19 = add nsw i32 %f.extent.0.required.s, 1
  store i32 %19, i32* %buf_extent31, align 4
  %buf_stride79 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %res.buffer, i32 0, i32 3, i32 0
  store i32 1, i32* %buf_stride79, align 4
  %buf_min80 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %res.buffer, i32 0, i32 4, i32 1
  store i32 0, i32* %buf_min80, align 4
  %buf_extent81 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %res.buffer, i32 0, i32 2, i32 1
  store i32 0, i32* %buf_extent81, align 4
  %buf_stride82 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %res.buffer, i32 0, i32 3, i32 1
  store i32 0, i32* %buf_stride82, align 4
  %buf_min83 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %res.buffer, i32 0, i32 4, i32 2
  store i32 0, i32* %buf_min83, align 4
  %buf_extent84 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %res.buffer, i32 0, i32 2, i32 2
  store i32 0, i32* %buf_extent84, align 4
  %buf_stride85 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %res.buffer, i32 0, i32 3, i32 2
  store i32 0, i32* %buf_stride85, align 4
  %buf_min86 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %res.buffer, i32 0, i32 4, i32 3
  store i32 0, i32* %buf_min86, align 4
  %buf_extent87 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %res.buffer, i32 0, i32 2, i32 3
  store i32 0, i32* %buf_extent87, align 4
  %buf_stride88 = getelementptr inbounds %struct.buffer_t, %struct.buffer_t* %res.buffer, i32 0, i32 3, i32 3
  store i32 0, i32* %buf_stride88, align 4
  br label %destructor_block

after_bb75:                                       ; preds = %after_bb59
  %20 = or i1 %f.host_and_dev_are_null, %g.host_and_dev_are_null
  br i1 %20, label %destructor_block, label %"produce res"

"produce res":                                    ; preds = %after_bb75
  %21 = ashr i32 %res.extent.0, 6
  %22 = icmp sgt i32 %21, 0
  br i1 %22, label %"for res.s0.x.x", label %"end for res.s0.x.x", !prof !4

"for res.s0.x.x":                                 ; preds = %"for res.s0.x.x", %"produce res"
  %res.s0.x.x = phi i32 [ %41, %"for res.s0.x.x" ], [ 0, %"produce res" ]
  %23 = shl nsw i32 %res.s0.x.x, 6
  %24 = add nsw i32 %23, %res.min.0
  %25 = sub nsw i32 %24, %f.min.0
  %26 = getelementptr inbounds i8, i8* %f.host, i32 %25
  %27 = bitcast i8* %26 to <16 x i32>*
  %28 = load <16 x i32>, <16 x i32>* %27, align 1, !tbaa !5
  %29 = tail call <32 x i32> @llvm.hexagon.V6.vzb(<16 x i32> %28)
  %30 = sub nsw i32 %24, %g.min.0
  %31 = getelementptr inbounds i8, i8* %g.host, i32 %30
  %32 = bitcast i8* %31 to <16 x i32>*
  %33 = load <16 x i32>, <16 x i32>* %32, align 1, !tbaa !8
  %34 = tail call <32 x i32> @llvm.hexagon.V6.vzb(<16 x i32> %33)
  %35 = tail call <32 x i32> @llvm.hexagon.V6.vaddh.dv(<32 x i32> %29, <32 x i32> %34)
  %36 = tail call <16 x i32> @llvm.hexagon.V6.hi(<32 x i32> %35)
  %37 = tail call <16 x i32> @llvm.hexagon.V6.lo(<32 x i32> %35)
  %38 = tail call <16 x i32> @llvm.hexagon.V6.vasrhubsat(<16 x i32> %36, <16 x i32> %37, i32 4)
  %39 = getelementptr inbounds i8, i8* %res.host, i32 %23
  %40 = bitcast i8* %39 to <16 x i32>*
  store <16 x i32> %38, <16 x i32>* %40, align 1, !tbaa !10
  %41 = add nuw nsw i32 %res.s0.x.x, 1
  %42 = icmp eq i32 %41, %21
  br i1 %42, label %"end for res.s0.x.x", label %"for res.s0.x.x"

"end for res.s0.x.x":                             ; preds = %"for res.s0.x.x", %"produce res"
  %43 = add nsw i32 %res.extent.0, 63
  %44 = ashr i32 %43, 6
  %45 = icmp sgt i32 %44, %21
  br i1 %45, label %"for res.s0.x.x92.preheader", label %destructor_block, !prof !4

"for res.s0.x.x92.preheader":                     ; preds = %"end for res.s0.x.x"
  %46 = sub i32 -64, %f.min.0
  %47 = add i32 %46, %10
  %48 = getelementptr inbounds i8, i8* %f.host, i32 %47
  %49 = bitcast i8* %48 to <16 x i32>*
  %50 = load <16 x i32>, <16 x i32>* %49, align 1
  %51 = tail call <32 x i32> @llvm.hexagon.V6.vzb(<16 x i32> %50)
  %52 = sub i32 -64, %g.min.0
  %53 = add i32 %52, %10
  %54 = getelementptr inbounds i8, i8* %g.host, i32 %53
  %55 = bitcast i8* %54 to <16 x i32>*
  %56 = load <16 x i32>, <16 x i32>* %55, align 1
  %57 = tail call <32 x i32> @llvm.hexagon.V6.vzb(<16 x i32> %56)
  %58 = tail call <32 x i32> @llvm.hexagon.V6.vaddh.dv(<32 x i32> %51, <32 x i32> %57)
  %59 = tail call <16 x i32> @llvm.hexagon.V6.lo(<32 x i32> %58)
  %60 = add nsw i32 %res.extent.0, -64
  %61 = getelementptr inbounds i8, i8* %res.host, i32 %60
  %62 = tail call <16 x i32> @llvm.hexagon.V6.hi(<32 x i32> %58)
  %63 = tail call <16 x i32> @llvm.hexagon.V6.vasrhubsat(<16 x i32> %62, <16 x i32> %59, i32 4)
  %64 = bitcast i8* %61 to <16 x i32>*
  store <16 x i32> %63, <16 x i32>* %64, align 1, !tbaa !10
  br label %destructor_block

destructor_block:                                 ; preds = %"for res.s0.x.x92.preheader", %"end for res.s0.x.x", %after_bb75, %after_bb75.thread
  ret i32 0
}

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

; Function Attrs: nounwind readnone
declare <32 x i32> @llvm.hexagon.V6.vzb(<16 x 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.vasrhubsat(<16 x i32>, <16 x i32>, i32) #1

attributes #0 = { norecurse nounwind }
attributes #1 = { nounwind readnone }

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

!0 = !{!"Clang $LLVM_VERSION_MAJOR.$LLVM_VERSION_MINOR (based on LLVM 3.8.0)"}
!1 = !{i32 2, !"halide_use_soft_float_abi", i32 0}
!2 = !{i32 2, !"halide_mcpu", !"hexagonv60"}
!3 = !{i32 2, !"halide_mattrs", !"+hvx"}
!4 = !{!"branch_weights", i32 1073741824, i32 0}
!5 = !{!6, !6, i64 0}
!6 = !{!"f", !7}
!7 = !{!"Halide buffer"}
!8 = !{!9, !9, i64 0}
!9 = !{!"g", !7}
!10 = !{!11, !11, i64 0}
!11 = !{!"res", !7}