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