diff options
Diffstat (limited to 'llvm/test/Bitcode/upgrade-frame-pointer.ll')
| -rw-r--r-- | llvm/test/Bitcode/upgrade-frame-pointer.ll | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/llvm/test/Bitcode/upgrade-frame-pointer.ll b/llvm/test/Bitcode/upgrade-frame-pointer.ll new file mode 100644 index 00000000000..5251db9ec2d --- /dev/null +++ b/llvm/test/Bitcode/upgrade-frame-pointer.ll @@ -0,0 +1,33 @@ +;; Test that function attributes "no-frame-pointer-elim" ("true" or "false") and +;; "no-frame-pointer-elim-non-leaf" (value is ignored) can be upgraded to +;; "frame-pointer". + +; RUN: llvm-as %s -o - | llvm-dis - | FileCheck %s + +; CHECK: define void @all0() #0 +define void @all0() "no-frame-pointer-elim"="true" { ret void } +; CHECK: define void @all1() #1 +define void @all1() #0 { ret void } + +; CHECK: define void @non_leaf0() #2 +define void @non_leaf0() "no-frame-pointer-elim-non-leaf" { ret void } +; CHECK: define void @non_leaf1() #3 +define void @non_leaf1() #1 { ret void } + +; CHECK: define void @none() #4 +define void @none() "no-frame-pointer-elim"="false" { ret void } + +;; Don't add "frame-pointer" if neither "no-frame-pointer-elim" nor +;; "no-frame-pointer-elim-non-leaf" is present. +; CHECK: define void @no_attr() { +define void @no_attr() { ret void } + +attributes #0 = { readnone "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" } +attributes #1 = { readnone "no-frame-pointer-elim"="false" "no-frame-pointer-elim-non-leaf" } + +;; Other attributes (e.g. readnone) are unaffected. +; CHECK: attributes #0 = { "frame-pointer"="all" } +; CHECK: attributes #1 = { readnone "frame-pointer"="all" } +; CHECK: attributes #2 = { "frame-pointer"="non-leaf" } +; CHECK: attributes #3 = { readnone "frame-pointer"="non-leaf" } +; CHECK: attributes #4 = { "frame-pointer"="none" } |
