; RUN: llvm-as < %s | llvm-dis | FileCheck %s
; REQUIRES: nvptx-registered-target
; Make sure LLVM knows about the convergent attribute on the
; llvm.nvvm.barrier0 intrinsic.
declare void @llvm.nvvm.barrier0()
; CHECK: declare void @llvm.nvvm.barrier0() #[[ATTRNUM:[0-9]+]]
; CHECK: attributes #[[ATTRNUM]] = { convergent nocallback nounwind }