1; RUN: llvm-as < %s | llvm-dis | FileCheck %s
2; RUN: verify-uselistorder %s
3; Basic smoke test for token type.
4
5; CHECK: declare void @llvm.token.foobar(token)
6declare void @llvm.token.foobar(token)
7
8define void @f() {
9  call void @llvm.token.foobar(token none)
10  ret void
11}
12