; RUN: llvm-as < %s | llvm-dis | FileCheck %s
; RUN: verify-uselistorder %s
; Basic smoke test for token type.

; CHECK: declare void @llvm.token.foobar(token)
declare void @llvm.token.foobar(token)

define void @f() {
  call void @llvm.token.foobar(token none)
  ret void
}