; 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 } |