Home | History | Annotate | Download | only in Verifier
      1 ; RUN: not llvm-as %s -disable-output 2>&1 | FileCheck %s
      2 
      3 ; CHECK: function declaration may not have a !prof attachment
      4 declare !prof !0 void @f1()
      5 
      6 define void @f2() !prof !0 {
      7   unreachable
      8 }
      9 
     10 ; CHECK: function must have a single !prof attachment
     11 define void @f3() !prof !0 !prof !0 {
     12   unreachable
     13 }
     14 
     15 !0 = !{}
     16