diff options
Diffstat (limited to 'llvm/test/CodeGen/RISCV/reserved-reg-errors.ll')
| -rw-r--r-- | llvm/test/CodeGen/RISCV/reserved-reg-errors.ll | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/RISCV/reserved-reg-errors.ll b/llvm/test/CodeGen/RISCV/reserved-reg-errors.ll new file mode 100644 index 00000000000..f10ef9ab3e0 --- /dev/null +++ b/llvm/test/CodeGen/RISCV/reserved-reg-errors.ll @@ -0,0 +1,36 @@ +; RUN: not llc -mtriple=riscv32 -mattr=+reserve-x1 < %s 2>&1 | FileCheck %s -check-prefix=X1 +; RUN: not llc -mtriple=riscv64 -mattr=+reserve-x1 < %s 2>&1 | FileCheck %s -check-prefix=X1 +; RUN: not llc -mtriple=riscv32 -mattr=+reserve-x2 < %s 2>&1 | FileCheck %s -check-prefix=X2 +; RUN: not llc -mtriple=riscv64 -mattr=+reserve-x2 < %s 2>&1 | FileCheck %s -check-prefix=X2 +; RUN: not llc -mtriple=riscv32 -mattr=+reserve-x8 < %s 2>&1 | FileCheck %s -check-prefix=X8 +; RUN: not llc -mtriple=riscv64 -mattr=+reserve-x8 < %s 2>&1 | FileCheck %s -check-prefix=X8 +; RUN: not llc -mtriple=riscv32 -mattr=+reserve-x10 < %s 2>&1 | FileCheck %s -check-prefix=X10 +; RUN: not llc -mtriple=riscv64 -mattr=+reserve-x10 < %s 2>&1 | FileCheck %s -check-prefix=X10 +; RUN: llc -mtriple=riscv32 -mattr=+reserve-x11 < %s 2>&1 | FileCheck %s -check-prefix=X11 +; RUN: llc -mtriple=riscv32 -mattr=+reserve-x11 < %s 2>&1 | FileCheck %s -check-prefix=X11 +; RUN: llc -mtriple=riscv32 <%s +; RUN: llc -mtriple=riscv64 <%s + +; This tests combinations when we would expect an error to be produced because +; a reserved register is required by the default ABI. The final test checks no +; errors are produced when no registers are reserved. + +define i32 @caller(i32 %a) #0 { +; X1: in function caller {{.*}} Return address register required, but has been reserved. +; X2: in function caller {{.*}} Stack pointer required, but has been reserved. +; X8: in function caller {{.*}} Frame pointer required, but has been reserved. +; X10: in function caller {{.*}} Argument register required, but has been reserved. +; X10: in function caller {{.*}} Return value register required, but has been reserved. + %call = call i32 @callee(i32 0) + ret i32 %call +} + +declare i32 @callee(i32 %a) + +define void @clobber() { +; X11: warning: inline asm clobber list contains reserved registers: X11 + call void asm sideeffect "nop", "~{x11}"() + ret void +} + +attributes #0 = { "frame-pointer"="all" } |
