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