1; RUN: opt < %s -passes=function-attrs -S | FileCheck %s 2 3@x = global i32 0 4 5define void @test_opt(ptr %p) { 6; CHECK-LABEL: @test_opt 7; CHECK: (ptr readnone captures(none) %p) #0 { 8 ret void 9} 10 11define void @test_optnone(ptr %p) noinline optnone { 12; CHECK-LABEL: @test_optnone 13; CHECK: (ptr %p) #1 { 14 ret void 15} 16 17declare i8 @strlen(ptr) noinline optnone 18; CHECK-LABEL: @strlen 19; CHECK: (ptr) #1 20 21; CHECK-LABEL: attributes #0 22; CHECK: = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) } 23; CHECK-LABEL: attributes #1 24; CHECK: = { noinline optnone } 25