1# RUN: not llvm-mc -triple=riscv32 -mattr=+c -mattr=+no-rvc-hints < %s 2>&1 \ 2# RUN: | FileCheck %s 3 4## GPRC 5.LBB: 6c.lw ra, 4(sp) # CHECK: :[[@LINE]]:7: error: invalid operand for instruction 7c.sw sp, 4(sp) # CHECK: :[[@LINE]]:7: error: invalid operand for instruction 8c.beqz t0, .LBB # CHECK: :[[@LINE]]:9: error: invalid operand for instruction 9c.bnez s8, .LBB # CHECK: :[[@LINE]]:9: error: invalid operand for instruction 10c.addi4spn s4, sp, 12 # CHECK: :[[@LINE]]:13: error: invalid operand for instruction 11c.srli s7, 12 # CHECK: :[[@LINE]]:9: error: invalid operand for instruction 12c.srai t0, 12 # CHECK: :[[@LINE]]:9: error: invalid operand for instruction 13c.andi t1, 12 # CHECK: :[[@LINE]]:9: error: invalid operand for instruction 14c.and t1, a0 # CHECK: :[[@LINE]]:8: error: invalid operand for instruction 15c.or a0, s8 # CHECK: :[[@LINE]]:12: error: invalid operand for instruction 16c.xor t2, a0 # CHECK: :[[@LINE]]:8: error: invalid operand for instruction 17c.sub a0, s8 # CHECK: :[[@LINE]]:12: error: invalid operand for instruction 18 19## GPRNoX0 20c.lwsp x0, 4(sp) # CHECK: :[[@LINE]]:9: error: invalid operand for instruction 21c.lwsp zero, 4(sp) # CHECK: :[[@LINE]]:9: error: invalid operand for instruction 22c.jr x0 # CHECK: :[[@LINE]]:7: error: invalid operand for instruction 23c.jalr zero # CHECK: :[[@LINE]]:9: error: invalid operand for instruction 24c.addi x0, x0, 1 # CHECK: :[[@LINE]]:13: error: immediate must be zero 25c.li zero, 2 # CHECK: :[[@LINE]]:1: error: instruction requires the following: RVC Hint Instructions 26c.slli zero, zero, 4 # CHECK: :[[@LINE]]:15: error: invalid operand for instruction 27c.mv zero, s0 # CHECK: :[[@LINE]]:1: error: instruction requires the following: RVC Hint Instructions 28c.mv ra, x0 # CHECK: :[[@LINE]]:11: error: invalid operand for instruction 29c.add ra, ra, x0 # CHECK: :[[@LINE]]:16: error: invalid operand for instruction 30c.add zero, zero, sp # CHECK: :[[@LINE]]:14: error: invalid operand for instruction 31 32## GPRNoX0X2 33c.lui x0, 4 # CHECK: :[[@LINE]]:1: error: instruction requires the following: RVC Hint Instructions 34c.lui x2, 4 # CHECK: :[[@LINE]]:7: error: invalid operand for instruction 35 36## SP 37c.addi4spn a0, a0, 12 # CHECK: :[[@LINE]]:17: error: invalid operand for instruction 38c.addi16sp t0, 16 # CHECK: :[[@LINE]]:13: error: invalid operand for instruction 39 40# Out of range immediates 41 42## uimmlog2xlennonzero 43c.slli t0, 64 # CHECK: :[[@LINE]]:12: error: immediate must be an integer in the range [1, 31] 44c.srli a0, 32 # CHECK: :[[@LINE]]:12: error: immediate must be an integer in the range [1, 31] 45c.srai a0, 0 # CHECK: :[[@LINE]]:12: error: immediate must be an integer in the range [1, 31] 46 47## simm6 48c.li t0, 128 # CHECK: :[[@LINE]]:10: error: immediate must be an integer in the range [-32, 31] 49c.li t0, foo # CHECK: :[[@LINE]]:10: error: immediate must be an integer in the range [-32, 31] 50c.li t0, %lo(foo) # CHECK: :[[@LINE]]:10: error: immediate must be an integer in the range [-32, 31] 51c.li t0, %hi(foo) # CHECK: :[[@LINE]]:10: error: immediate must be an integer in the range [-32, 31] 52c.andi a0, -33 # CHECK: :[[@LINE]]:12: error: immediate must be an integer in the range [-32, 31] 53c.andi a0, foo # CHECK: :[[@LINE]]:12: error: immediate must be an integer in the range [-32, 31] 54c.andi a0, %lo(foo) # CHECK: :[[@LINE]]:12: error: immediate must be an integer in the range [-32, 31] 55c.andi a0, %hi(foo) # CHECK: :[[@LINE]]:12: error: immediate must be an integer in the range [-32, 31] 56 57## simm6nonzero 58c.addi t0, 0 # CHECK: :[[@LINE]]:1: error: instruction requires the following: RVC Hint Instructions 59c.addi t0, -33 # CHECK: :[[@LINE]]:12: error: immediate must be non-zero in the range [-32, 31] 60c.addi t0, 32 # CHECK: :[[@LINE]]:12: error: immediate must be non-zero in the range [-32, 31] 61c.addi t0, foo # CHECK: :[[@LINE]]:12: error: immediate must be non-zero in the range [-32, 31] 62c.addi t0, %lo(foo) # CHECK: :[[@LINE]]:12: error: immediate must be non-zero in the range [-32, 31] 63c.addi t0, %hi(foo) # CHECK: :[[@LINE]]:12: error: immediate must be non-zero in the range [-32, 31] 64 65## c_lui_imm 66c.lui t0, 0 # CHECK: :[[@LINE]]:11: error: immediate must be in [0xfffe0, 0xfffff] or [1, 31] 67c.lui t0, 32 # CHECK: :[[@LINE]]:11: error: immediate must be in [0xfffe0, 0xfffff] or [1, 31] 68c.lui t0, 0xffffdf # CHECK: :[[@LINE]]:11: error: immediate must be in [0xfffe0, 0xfffff] or [1, 31] 69c.lui t0, 0x1000000 # CHECK: :[[@LINE]]:11: error: immediate must be in [0xfffe0, 0xfffff] or [1, 31] 70 71## uimm8_lsb00 72c.lwsp ra, 256(sp) # CHECK: :[[@LINE]]:13: error: immediate must be a multiple of 4 bytes in the range [0, 252] 73c.swsp ra, -4(sp) # CHECK: :[[@LINE]]:13: error: immediate must be a multiple of 4 bytes in the range [0, 252] 74## uimm7_lsb00 75c.lw s0, -4(sp) # CHECK: :[[@LINE]]:11: error: immediate must be a multiple of 4 bytes in the range [0, 124] 76c.sw s0, 128(sp) # CHECK: :[[@LINE]]:11: error: immediate must be a multiple of 4 bytes in the range [0, 124] 77 78## simm9_lsb0 79c.bnez s1, -258 # CHECK: :[[@LINE]]:13: error: immediate must be a multiple of 2 bytes in the range [-256, 254] 80c.beqz a0, 256 # CHECK: :[[@LINE]]:13: error: immediate must be a multiple of 2 bytes in the range [-256, 254] 81 82## simm12_lsb0 83c.j 2048 # CHECK: :[[@LINE]]:5: error: immediate must be a multiple of 2 bytes in the range [-2048, 2046] 84c.jal -2050 # CHECK: :[[@LINE]]:7: error: immediate must be a multiple of 2 bytes in the range [-2048, 2046] 85 86## uimm10_lsb00nonzero 87c.addi4spn a0, sp, 0 # CHECK: :[[@LINE]]:21: error: immediate must be a multiple of 4 bytes in the range [4, 1020] 88c.addi4spn a0, sp, 1024 # CHECK: :[[@LINE]]:21: error: immediate must be a multiple of 4 bytes in the range [4, 1020] 89 90## simm10_lsb0000nonzero 91c.addi16sp sp, -528 # CHECK: :[[@LINE]]:17: error: immediate must be a multiple of 16 bytes and non-zero in the range [-512, 496] 92c.addi16sp sp, 512 # CHECK: :[[@LINE]]:17: error: immediate must be a multiple of 16 bytes and non-zero in the range [-512, 496] 93c.addi16sp sp, 0 # CHECK: :[[@LINE]]:17: error: immediate must be a multiple of 16 bytes and non-zero in the range [-512, 496] 94