Home | History | Annotate | Download | only in Verifier
      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 }
     12