; RUN: llc -enable-aa-sched-mi -march=hexagon -mcpu=hexagonv5 -rdf-opt=0 \
; RUN:      < %s | FileCheck %s

; CHECK: {
; CHECK: = memd([[REG0:(r[0-9]+)]]++#8)
; CHECK-NOT: memw([[REG0]]+#0) =
; CHECK: }


define void @f0(i32* %a0) #0 {
b0:
  store i32 -1, i32* %a0, align 8, !tbaa !0
  br label %b4

b1:                                               ; preds = %b3
  unreachable

b2:                                               ; preds = %b3
  ret void

b3:                                               ; preds = %b4
  %v0 = extractelement <2 x i32> %v6, i32 1
  br i1 undef, label %b2, label %b1

b4:                                               ; preds = %b4, %b0
  %v1 = phi <2 x i32> [ %v6, %b4 ], [ zeroinitializer, %b0 ]
  %v2 = phi i32* [ %v9, %b4 ], [ %a0, %b0 ]
  %v3 = phi i32 [ %v7, %b4 ], [ 0, %b0 ]
  %v4 = bitcast i32* %v2 to <2 x i32>*
  %v5 = load <2 x i32>, <2 x i32>* %v4, align 8
  %v6 = add <2 x i32> %v5, %v1
  %v7 = add nsw i32 %v3, 2
  %v8 = icmp slt i32 %v3, 4
  %v9 = getelementptr i32, i32* %v2, i32 2
  br i1 %v8, label %b4, label %b3
}

attributes #0 = { "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf"="true" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }

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