| # RUN: not llvm-mc -triple=riscv64 -mattr=+c < %s 2>&1 | FileCheck %s --implicit-check-not="error:" |
| # RUN: not llvm-mc -triple=riscv64 -mattr=+zca < %s 2>&1 | FileCheck %s --implicit-check-not="error:" |
| |
| ## GPRC |
| c.ld ra, 4(sp) |
| # CHECK: :[[#@LINE-1]]:1: error: invalid instruction |
| c.sd sp, 4(sp) |
| # CHECK: :[[#@LINE-1]]:1: error: invalid instruction |
| c.addw a0, a7 |
| # CHECK: :[[#@LINE-1]]:14: error: register must be a GPR from x8 to x15 |
| c.subw a0, a6 |
| # CHECK: :[[#@LINE-1]]:14: error: register must be a GPR from x8 to x15 |
| |
| ## GPRNoX0 |
| c.ldsp x0, 4(sp) |
| # CHECK: :[[#@LINE-1]]:1: error: invalid instruction |
| c.ldsp zero, 4(sp) |
| # CHECK: :[[#@LINE-1]]:1: error: invalid instruction |
| |
| # Out of range immediates |
| |
| ## uimmlog2xlen |
| c.slli t0, 64 |
| # CHECK: :[[#@LINE-1]]:12: error: immediate must be an integer in the range [0, 63] |
| c.srli a0, -1 |
| # CHECK: :[[#@LINE-1]]:12: error: immediate must be an integer in the range [0, 63] |
| |
| ## simm6 |
| c.addiw t0, -33 |
| # CHECK: :[[#@LINE-1]]:13: error: immediate must be an integer in the range [-32, 31] |
| c.addiw t0, 32 |
| # CHECK: :[[#@LINE-1]]:13: error: immediate must be an integer in the range [-32, 31] |
| c.addiw t0, foo |
| # CHECK: :[[#@LINE-1]]:13: error: immediate must be an integer in the range [-32, 31] |
| c.addiw t0, %lo(foo) |
| # CHECK: :[[#@LINE-1]]:13: error: immediate must be an integer in the range [-32, 31] |
| c.addiw t0, %hi(foo) |
| # CHECK: :[[#@LINE-1]]:13: error: immediate must be an integer in the range [-32, 31] |
| |
| ## uimm9_lsb000 |
| c.ldsp ra, 512(sp) |
| # CHECK: :[[#@LINE-1]]:13: error: immediate must be a multiple of 8 bytes in the range [0, 504] |
| c.sdsp ra, -8(sp) |
| # CHECK: :[[#@LINE-1]]:13: error: immediate must be a multiple of 8 bytes in the range [0, 504] |
| ## uimm8_lsb000 |
| c.ld s0, -8(sp) |
| # CHECK: :[[#@LINE-1]]:1: error: invalid instruction |
| c.sd s0, 256(sp) |
| # CHECK: :[[#@LINE-1]]:1: error: invalid instruction |
