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