llvm/test/CodeGen/RISCV/reserved-reg-errors.ll

   1 ; RUN: not llc -mtriple=riscv32 -mattr=+reserve-x1 < %s 2>&1 | FileCheck %s -check-prefix=X1
   2 ; RUN: not llc -mtriple=riscv64 -mattr=+reserve-x1 < %s 2>&1 | FileCheck %s -check-prefix=X1
   3 ; RUN: not llc -mtriple=riscv32 -mattr=+reserve-x2 < %s 2>&1 | FileCheck %s -check-prefix=X2
   4 ; RUN: not llc -mtriple=riscv64 -mattr=+reserve-x2 < %s 2>&1 | FileCheck %s -check-prefix=X2
   5 ; RUN: not llc -mtriple=riscv32 -mattr=+reserve-x8 < %s 2>&1 | FileCheck %s -check-prefix=X8
   6 ; RUN: not llc -mtriple=riscv64 -mattr=+reserve-x8 < %s 2>&1 | FileCheck %s -check-prefix=X8
   7 ; RUN: not llc -mtriple=riscv32 -mattr=+reserve-x10 < %s 2>&1 | FileCheck %s -check-prefix=X10
   8 ; RUN: not llc -mtriple=riscv64 -mattr=+reserve-x10 < %s 2>&1 | FileCheck %s -check-prefix=X10
   9 ; RUN: llc -mtriple=riscv32 -mattr=+reserve-x11 < %s 2>&1 | FileCheck %s -check-prefix=X11
  10 ; RUN: llc -mtriple=riscv32 -mattr=+reserve-x11 < %s 2>&1 | FileCheck %s -check-prefix=X11
  11 ; RUN: llc -mtriple=riscv32 <%s
  12 ; RUN: llc -mtriple=riscv64 <%s
  13
  14 ; This tests combinations when we would expect an error to be produced because
  15 ; a reserved register is required by the default ABI. The final test checks no
  16 ; errors are produced when no registers are reserved.
  17
  18 define i32 @caller(i32 %a) #0 {
  19 ; X1: in function caller {{.*}} Return address register required, but has been reserved.
  20 ; X2: in function caller {{.*}} Stack pointer required, but has been reserved.
  21 ; X8: in function caller {{.*}} Frame pointer required, but has been reserved.
  22 ; X10: in function caller {{.*}} Argument register required, but has been reserved.
  23 ; X10: in function caller {{.*}} Return value register required, but has been reserved.
  24   %call = call i32 @callee(i32 0)
  25   ret i32 %call
  26 }
  27
  28 declare i32 @callee(i32 %a)
  29
  30 define void @clobber() {
  31 ; X11: warning: inline asm clobber list contains reserved registers: X11
  32   call void asm sideeffect "nop", "~{x11}"()
  33   ret void
  34 }
  35
  36 attributes #0 = { "frame-pointer"="all" }