| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes --version 6 |
| ; RUN: opt < %s -passes=function-attrs -S | FileCheck %s |
| |
| @x = global i32 0 |
| |
| define void @test_opt(ptr %p) { |
| ; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) |
| ; CHECK-LABEL: define void @test_opt( |
| ; CHECK-SAME: ptr nofree readnone captures(none) [[P:%.*]]) #[[ATTR0:[0-9]+]] { |
| ; CHECK-NEXT: ret void |
| ; |
| ret void |
| } |
| |
| define void @test_optnone(ptr %p) noinline optnone { |
| ; CHECK: Function Attrs: noinline optnone |
| ; CHECK-LABEL: define void @test_optnone( |
| ; CHECK-SAME: ptr [[P:%.*]]) #[[ATTR1:[0-9]+]] { |
| ; CHECK-NEXT: ret void |
| ; |
| ret void |
| } |
| |
| declare i8 @strlen(ptr) noinline optnone |
