1 2 3 4 5
CHECK: declare void @foo() CHECK-SAME: #[[ATTR_3:[0-9]+]] CHECK: attributes #[[ATTR_3]] CHECK-SAME: no-builtins