| ; RUN: llvm-as < %s | llvm-dis | FileCheck %s | |
| ; REQUIRES: NVPTX | |
| ; 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 nounwind } |