1; RUN: opt < %s -functionattrs -S | FileCheck %s
2
3@x = global i32 0
4
5define void @test_opt(i8* %p) {
6; CHECK-LABEL: @test_opt
7; CHECK: (i8* nocapture readnone %p) #0 {
8  ret void
9}
10
11define void @test_optnone(i8* %p) noinline optnone {
12; CHECK-LABEL: @test_optnone
13; CHECK: (i8* %p) #1 {
14  ret void
15}
16
17declare i8 @strlen(i8*) noinline optnone
18; CHECK-LABEL: @strlen
19; CHECK: (i8*) #1
20
21; CHECK-LABEL: attributes #0
22; CHECK: = { readnone }
23; CHECK-LABEL: attributes #1
24; CHECK: = { noinline optnone }
25