1; RUN: llvm-as < %s | llvm-dis | FileCheck %s
2
3; CHECK: @fun() #0
4define void @fun() #0 {
5  ret void
6}
7
8; CHECK: attributes #0 = { cold }
9attributes #0 = { cold }
10