1*03b9f0a5SFangrui Song;; Test that function attributes "no-frame-pointer-elim" ("true" or "false") and
2*03b9f0a5SFangrui Song;; "no-frame-pointer-elim-non-leaf" (value is ignored) can be upgraded to
3*03b9f0a5SFangrui Song;; "frame-pointer".
4*03b9f0a5SFangrui Song
5*03b9f0a5SFangrui Song; RUN: llvm-as %s -o - | llvm-dis - | FileCheck %s
6*03b9f0a5SFangrui Song
7*03b9f0a5SFangrui Song; CHECK: define void @all0() #0
8*03b9f0a5SFangrui Songdefine void @all0() "no-frame-pointer-elim"="true" { ret void }
9*03b9f0a5SFangrui Song; CHECK: define void @all1() #1
10*03b9f0a5SFangrui Songdefine void @all1() #0 { ret void }
11*03b9f0a5SFangrui Song
12*03b9f0a5SFangrui Song; CHECK: define void @non_leaf0() #2
13*03b9f0a5SFangrui Songdefine void @non_leaf0() "no-frame-pointer-elim-non-leaf" { ret void }
14*03b9f0a5SFangrui Song; CHECK: define void @non_leaf1() #3
15*03b9f0a5SFangrui Songdefine void @non_leaf1() #1 { ret void }
16*03b9f0a5SFangrui Song
17*03b9f0a5SFangrui Song; CHECK: define void @none() #4
18*03b9f0a5SFangrui Songdefine void @none() "no-frame-pointer-elim"="false" { ret void }
19*03b9f0a5SFangrui Song
20*03b9f0a5SFangrui Song;; Don't add "frame-pointer" if neither "no-frame-pointer-elim" nor
21*03b9f0a5SFangrui Song;; "no-frame-pointer-elim-non-leaf" is present.
22*03b9f0a5SFangrui Song; CHECK: define void @no_attr() {
23*03b9f0a5SFangrui Songdefine void @no_attr() { ret void }
24*03b9f0a5SFangrui Song
25*03b9f0a5SFangrui Songattributes #0 = { readnone "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" }
26*03b9f0a5SFangrui Songattributes #1 = { readnone "no-frame-pointer-elim"="false" "no-frame-pointer-elim-non-leaf" }
27*03b9f0a5SFangrui Song
28*03b9f0a5SFangrui Song;; Other attributes (e.g. readnone) are unaffected.
29*03b9f0a5SFangrui Song; CHECK: attributes #0 = { "frame-pointer"="all" }
30*03b9f0a5SFangrui Song; CHECK: attributes #1 = { readnone "frame-pointer"="all" }
31*03b9f0a5SFangrui Song; CHECK: attributes #2 = { "frame-pointer"="non-leaf" }
32*03b9f0a5SFangrui Song; CHECK: attributes #3 = { readnone "frame-pointer"="non-leaf" }
33*03b9f0a5SFangrui Song; CHECK: attributes #4 = { "frame-pointer"="none" }
34