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