test/Verifier/token1.ll

   1 ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 define void @f(token %A, token %B) {
   4 entry:
   5   br label %bb
   6
   7 bb:
   8   %phi = phi token [ %A, %bb ], [ %B, %entry]
   9 ; CHECK: PHI nodes cannot have token type!
  10   br label %bb
  11 }