; RUN: not llvm-as %s -disable-output 2>&1 | FileCheck %s

; CHECK: function declaration may not have a !prof attachment
declare !prof !0 void @f1()

define void @f2() !prof !0 {
  unreachable
}

; CHECK: function must have a single !prof attachment
define void @f3() !prof !0 !prof !0 {
  unreachable
}

!0 = !{}