llvm/test/Verifier/token1-with-asserts.ll

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