llvm/test/MC/RISCV/rv32c-aliases-valid.s

   1 # RUN: llvm-mc -triple=riscv32 -mattr=+c -riscv-no-aliases < %s \
   2 # RUN:     | FileCheck -check-prefixes=CHECK-EXPAND,CHECK-INST %s
   3 # RUN: llvm-mc -filetype=obj -triple riscv32 -mattr=+c < %s \
   4 # RUN:     | llvm-objdump -d -M no-aliases - \
   5 # RUN:     | FileCheck -check-prefixes=CHECK-EXPAND,CHECK-INST %s
   6
   7 # The following check prefixes are used in this test:
   8 # CHECK-INST.....Match the canonical instr (tests alias to instr. mapping)
   9 # CHECK-EXPAND...Match canonical instr. unconditionally (tests alias expansion)
  10 # CHECK-INST: {{^}}
  11
  12 # CHECK-EXPAND: c.li a0, 0
  13 li x10, 0
  14 # CHECK-EXPAND: c.li a0, 1
  15 li x10, 1
  16 # CHECK-EXPAND: c.li a0, -1
  17 li x10, -1
  18 # CHECK-EXPAND: addi a0, zero, 2047
  19 li x10, 2047
  20 # CHECK-EXPAND: addi a0, zero, -2047
  21 li x10, -2047
  22 # CHECK-EXPAND: c.lui a1, 1
  23 # CHECK-EXPAND: addi a1, a1, -2048
  24 li x11, 2048
  25 # CHECK-EXPAND: addi a1, zero, -2048
  26 li x11, -2048
  27 # CHECK-EXPAND: c.lui a1, 1
  28 # CHECK-EXPAND: addi a1, a1, -2047
  29 li x11, 2049
  30 # CHECK-EXPAND: lui a1, 1048575
  31 # CHECK-EXPAND: addi a1, a1, 2047
  32 li x11, -2049
  33 # CHECK-EXPAND: c.lui a1, 1
  34 # CHECK-EXPAND: c.addi a1, -1
  35 li x11, 4095
  36 # CHECK-EXPAND: lui a1, 1048575
  37 # CHECK-EXPAND: c.addi a1, 1
  38 li x11, -4095
  39 # CHECK-EXPAND: c.lui a2, 1
  40 li x12, 4096
  41 # CHECK-EXPAND: lui a2, 1048575
  42 li x12, -4096
  43 # CHECK-EXPAND: c.lui a2, 1
  44 # CHECK-EXPAND: c.addi a2, 1
  45 li x12, 4097
  46 # CHECK-EXPAND: lui a2, 1048575
  47 # CHECK-EXPAND: c.addi a2, -1
  48 li x12, -4097
  49 # CHECK-EXPAND: lui a2, 524288
  50 # CHECK-EXPAND: c.addi a2, -1
  51 li x12, 2147483647
  52 # CHECK-EXPAND: lui a2, 524288
  53 # CHECK-EXPAND: c.addi a2, 1
  54 li x12, -2147483647
  55 # CHECK-EXPAND: lui a2, 524288
  56 li x12, -2147483648
  57 # CHECK-EXPAND: lui a2, 524288
  58 li x12, -0x80000000
  59
  60 # CHECK-EXPAND: lui a2, 524288
  61 li x12, 0x80000000
  62 # CHECK-EXPAND: c.li a2, -1
  63 li x12, 0xFFFFFFFF
  64
  65 # CHECK-EXPAND: c.mv sp, sp
  66 addi x2, x2, 0