; RUN: opt < %s -passes=argpromotion -S | FileCheck %s

; CHECK-LABEL: define i32 @foo() #0 {
; CHECK-NEXT:      %.val = load <32 x half>, <32 x half>* undef, align 4
; CHECK-NEXT:      call void @bar(<32 x half> %.val)
; CHECK-NEXT:      ret i32 0
; CHECK-NEXT:    }

; CHECK-LABEL: define internal void @bar(<32 x half> %.0.val) #0 {
; CHECK-NEXT:      ret void
; CHECK-NEXT:    }

; CHECK:    attributes #0 = { uwtable "min-legal-vector-width"="512" }

define i32 @foo() #0 {
  call void @bar(<32 x half>* undef)
  ret i32 0
}

define internal void @bar(<32 x half>*) #0 {
  %2 = load <32 x half>, <32 x half>* %0, align 4
  ret void
}

attributes #0 = { uwtable "min-legal-vector-width"="0" }