diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2019-12-10 16:42:48 +0530 |
|---|---|---|
| committer | Matt Arsenault <arsenm2@gmail.com> | 2019-12-11 19:53:49 +0530 |
| commit | 49d731b5e0ec643ed47dc49c4cffcf974e5af5ad (patch) | |
| tree | 3b67e65a9e51c27cb438e0f06ba600affb1df0f3 /llvm/test/Verifier | |
| parent | 855d21a03ae841b7c6c980e92f67bd5b65287fa6 (diff) | |
| download | bcm5719-llvm-49d731b5e0ec643ed47dc49c4cffcf974e5af5ad.tar.gz bcm5719-llvm-49d731b5e0ec643ed47dc49c4cffcf974e5af5ad.zip | |
Verifier: Check frame-pointer attribute values
There are a few places that check specific string attributes have
particular values, and assert if they are something else. The verifier
should catch these kinds of cases.
Diffstat (limited to 'llvm/test/Verifier')
| -rw-r--r-- | llvm/test/Verifier/invalid-frame-pointer-attr-empty.ll | 9 | ||||
| -rw-r--r-- | llvm/test/Verifier/invalid-frame-pointer-attr-no-value.ll | 9 | ||||
| -rw-r--r-- | llvm/test/Verifier/invalid-frame-pointer-attr.ll | 9 |
3 files changed, 27 insertions, 0 deletions
diff --git a/llvm/test/Verifier/invalid-frame-pointer-attr-empty.ll b/llvm/test/Verifier/invalid-frame-pointer-attr-empty.ll new file mode 100644 index 00000000000..b1cd2a3a6d3 --- /dev/null +++ b/llvm/test/Verifier/invalid-frame-pointer-attr-empty.ll @@ -0,0 +1,9 @@ +; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s + +; CHECK: invalid value for 'frame-pointer' attribute: + +define void @func() #0 { + ret void +} + +attributes #0 = { "frame-pointer"="" } diff --git a/llvm/test/Verifier/invalid-frame-pointer-attr-no-value.ll b/llvm/test/Verifier/invalid-frame-pointer-attr-no-value.ll new file mode 100644 index 00000000000..8ba4d4eec82 --- /dev/null +++ b/llvm/test/Verifier/invalid-frame-pointer-attr-no-value.ll @@ -0,0 +1,9 @@ +; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s + +; CHECK: invalid value for 'frame-pointer' attribute: + +define void @func() #0 { + ret void +} + +attributes #0 = { "frame-pointer" } diff --git a/llvm/test/Verifier/invalid-frame-pointer-attr.ll b/llvm/test/Verifier/invalid-frame-pointer-attr.ll new file mode 100644 index 00000000000..d589b96acc0 --- /dev/null +++ b/llvm/test/Verifier/invalid-frame-pointer-attr.ll @@ -0,0 +1,9 @@ +; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s + +; CHECK: invalid value for 'frame-pointer' attribute: arst + +define void @func() #0 { + ret void +} + +attributes #0 = { "frame-pointer"="arst" } |
