1; RUN: opt < %s -S -functionattrs | FileCheck %s --check-prefix=CHECK-CONTROL
2; RUN: opt < %s -S -functionattrs -force-attribute foo:noinline | FileCheck %s --check-prefix=CHECK-FOO
3
4; CHECK-CONTROL: define void @foo() #0 {
5; CHECK-FOO: define void @foo() #0 {
6define void @foo() {
7  ret void
8}
9
10
11; CHECK-CONTROL: attributes #0 = { norecurse readnone }
12; CHECK-FOO: attributes #0 = { noinline norecurse readnone }
13