test/MC/RISCV/rvi-aliases-valid.s

   1 # RUN: llvm-mc %s -triple=riscv32 -riscv-no-aliases \
   2 # RUN:     | FileCheck -check-prefixes=CHECK-S-NOALIAS,CHECK-S-OBJ-NOALIAS %s
   3 # RUN: llvm-mc %s -triple=riscv32 \
   4 # RUN:     | FileCheck -check-prefixes=CHECK-S,CHECK-S-OBJ %s
   5 # RUN: llvm-mc %s -triple=riscv64 -riscv-no-aliases\
   6 # RUN:     | FileCheck -check-prefixes=CHECK-S-NOALIAS,CHECK-S-OBJ-NOALIAS %s
   7 # RUN: llvm-mc %s -triple=riscv64 \
   8 # RUN:     | FileCheck -check-prefixes=CHECK-S,CHECK-S-OBJ %s
   9 # RUN: llvm-mc -filetype=obj -triple riscv32 < %s \
  10 # RUN:     | llvm-objdump -d -r -riscv-no-aliases - \
  11 # RUN:     | FileCheck -check-prefixes=CHECK-OBJ-NOALIAS,CHECK-S-OBJ-NOALIAS %s
  12 # RUN: llvm-mc -filetype=obj -triple riscv32 < %s \
  13 # RUN:     | llvm-objdump -d -r - \
  14 # RUN:     | FileCheck -check-prefixes=CHECK-OBJ,CHECK-S-OBJ %s
  15 # RUN: llvm-mc -filetype=obj -triple riscv64 < %s \
  16 # RUN:     | llvm-objdump -d -r -riscv-no-aliases - \
  17 # RUN:     | FileCheck -check-prefixes=CHECK-OBJ-NOALIAS,CHECK-S-OBJ-NOALIAS %s
  18 # RUN: llvm-mc -filetype=obj -triple riscv64 < %s \
  19 # RUN:     | llvm-objdump -d -r - \
  20 # RUN:     | FileCheck -check-prefixes=CHECK-OBJ,CHECK-S-OBJ %s
  21
  22 # The following check prefixes are used in this test:
  23 # CHECK-S                 Match the .s output with aliases enabled
  24 # CHECK-S-NOALIAS         Match the .s output with aliases disabled
  25 # CHECK-OBJ               Match the objdumped object output with aliases enabled
  26 # CHECK-OBJ-NOALIAS       Match the objdumped object output with aliases enabled
  27 # CHECK-S-OBJ             Match both the .s and objdumped object output with
  28 #                         aliases enabled
  29 # CHECK-S-OBJ-NOALIAS     Match both the .s and objdumped object output with
  30 #                         aliases disabled
  31
  32 # TODO la
  33 # TODO lb lh lw
  34 # TODO sb sh sw
  35
  36 # CHECK-S-OBJ-NOALIAS: addi zero, zero, 0
  37 # CHECK-S-OBJ: nop
  38 nop
  39
  40 # CHECK-S-OBJ-NOALIAS: addi t6, zero, 0
  41 # CHECK-S-OBJ: mv t6, zero
  42 mv x31, zero
  43 # CHECK-S-OBJ-NOALIAS: addi a2, a3, 0
  44 # CHECK-S-OBJ: mv a2, a3
  45 move a2,a3
  46 # CHECK-S-OBJ-NOALIAS: xori t6, ra, -1
  47 # CHECK-S-OBJ: not t6, ra
  48 not x31, x1
  49 # CHECK-S-OBJ-NOALIAS: sub t6, zero, ra
  50 # CHECK-S-OBJ: neg t6, ra
  51 neg x31, x1
  52 # CHECK-S-OBJ-NOALIAS: sltiu t6, ra, 1
  53 # CHECK-S-OBJ: seqz t6, ra
  54 seqz x31, x1
  55 # CHECK-S-OBJ-NOALIAS: sltu t6, zero, ra
  56 # CHECK-S-OBJ: snez t6, ra
  57 snez x31, x1
  58 # CHECK-S-OBJ-NOALIAS: slt t6, ra, zero
  59 # CHECK-S-OBJ: sltz t6, ra
  60 sltz x31, x1
  61 # CHECK-S-OBJ-NOALIAS: slt t6, zero, ra
  62 # CHECK-S-OBJ: sgtz t6, ra
  63 sgtz x31, x1
  64
  65 # CHECK-S-OBJ-NOALIAS: slt ra, gp, sp
  66 # CHECK-S-OBJ: slt ra, gp, sp
  67 sgt x1, x2, x3
  68 # CHECK-S-OBJ-NOALIAS: sltu tp, t1, t0
  69 # CHECK-S-OBJ: sltu tp, t1, t0
  70 sgtu x4, x5, x6
  71
  72 # CHECK-S-OBJ-NOALIAS: beq a0, zero, 512
  73 # CHECK-S-OBJ: beqz a0, 512
  74 beqz x10, 512
  75 # CHECK-S-OBJ-NOALIAS: bne a1, zero, 1024
  76 # CHECK-S-OBJ: bnez a1, 1024
  77 bnez x11, 1024
  78 # CHECK-S-OBJ-NOALIAS: bge zero, a2, 4
  79 # CHECK-S-OBJ: blez a2, 4
  80 blez x12, 4
  81 # CHECK-S-OBJ-NOALIAS: bge a3, zero, 8
  82 # CHECK-S-OBJ: bgez a3, 8
  83 bgez x13, 8
  84 # CHECK-S-OBJ-NOALIAS: blt a4, zero, 12
  85 # CHECK-S-OBJ: bltz a4, 12
  86 bltz x14, 12
  87 # CHECK-S-OBJ-NOALIAS: blt zero, a5, 16
  88 # CHECK-S-OBJ: bgtz a5, 16
  89 bgtz x15, 16
  90
  91 # Always output the canonical mnemonic for the pseudo branch instructions.
  92 # CHECK-S-OBJ-NOALIAS: blt a6, a5, 20
  93 # CHECK-S-OBJ: blt a6, a5, 20
  94 bgt x15, x16, 20
  95 # CHECK-S-OBJ-NOALIAS: bge a7, a6, 24
  96 # CHECK-S-OBJ: bge a7, a6, 24
  97 ble x16, x17, 24
  98 # CHECK-S-OBJ-NOALIAS: bltu s2, a7, 28
  99 # CHECK-S-OBJ: bltu s2, a7, 28
 100 bgtu x17, x18, 28
 101 # CHECK-S-OBJ-NOALIAS: bgeu s3, s2, 32
 102 # CHECK-S-OBJ: bgeu s3, s2, 32
 103 bleu x18, x19, 32
 104
 105 # CHECK-S-OBJ-NOALIAS: jal zero, 2044
 106 # CHECK-S-OBJ: j 2044
 107 j 2044
 108 # CHECK-S-NOALIAS: jal zero, foo
 109 # CHECK-S: j foo
 110 # CHECK-OBJ-NOALIAS: jal zero, 0
 111 # CHECK-OBJ: j 0
 112 # CHECK-OBJ: R_RISCV_JAL foo
 113 j foo
 114 # CHECK-S-NOALIAS: jal zero, a0
 115 # CHECK-S: j a0
 116 # CHECK-OBJ-NOALIAS: jal zero, 0
 117 # CHECK-OBJ: j 0
 118 # CHECK-OBJ: R_RISCV_JAL a0
 119 j a0
 120 # CHECK-S-OBJ-NOALIAS: jal ra, 2040
 121 # CHECK-S-OBJ: jal 2040
 122 jal 2040
 123 # CHECK-S-NOALIAS: jal ra, foo
 124 # CHECK-S: jal foo
 125 # CHECK-OBJ-NOALIAS: jal ra, 0
 126 # CHECK-OBJ: jal 0
 127 # CHECK-OBJ: R_RISCV_JAL foo
 128 jal foo
 129 # CHECK-S-NOALIAS: jal ra, a0
 130 # CHECK-S: jal a0
 131 # CHECK-OBJ-NOALIAS: jal ra, 0
 132 # CHECK-OBJ: jal 0
 133 # CHECK-OBJ: R_RISCV_JAL a0
 134 jal a0
 135 # CHECK-S-OBJ-NOALIAS: jalr zero, s4, 0
 136 # CHECK-S-OBJ: jr s4
 137 jr x20
 138 # CHECK-S-OBJ-NOALIAS: jalr ra, s5, 0
 139 # CHECK-S-OBJ: jalr s5
 140 jalr x21
 141 # CHECK-S-OBJ-NOALIAS: jalr zero, ra, 0
 142 # CHECK-S-OBJ: ret
 143 ret
 144 # TODO call
 145 # TODO tail
 146
 147 # CHECK-S-OBJ-NOALIAS: fence iorw, iorw
 148 # CHECK-S-OBJ: fence
 149 fence
 150
 151 # CHECK-S-OBJ-NOALIAS: csrrs s10, instret, zero
 152 # CHECK-S-OBJ: rdinstret s10
 153 rdinstret x26
 154 # CHECK-S-OBJ-NOALIAS: csrrs s8, cycle, zero
 155 # CHECK-S-OBJ: rdcycle s8
 156 rdcycle x24
 157 # CHECK-S-OBJ-NOALIAS: csrrs s9, time, zero
 158 # CHECK-S-OBJ: rdtime s9
 159 rdtime x25
 160
 161 # CHECK-S-OBJ-NOALIAS: csrrs  s0, 336, zero
 162 # CHECK-S-OBJ: csrr s0, 336
 163 csrr x8, 0x150
 164 # CHECK-S-OBJ-NOALIAS: csrrw zero, sscratch, s1
 165 # CHECK-S-OBJ: csrw sscratch, s1
 166 csrw 0x140, x9
 167 # CHECK-S-OBJ-NOALIAS: csrrs zero, 4095, s6
 168 # CHECK-S-OBJ: csrs 4095, s6
 169 csrs 0xfff, x22
 170 # CHECK-S-OBJ-NOALIAS: csrrc zero, 4095, s7
 171 # CHECK-S-OBJ: csrc 4095, s7
 172 csrc 0xfff, x23
 173
 174 # CHECK-S-OBJ-NOALIAS: csrrwi zero, 336, 15
 175 # CHECK-S-OBJ: csrwi 336, 15
 176 csrwi 0x150, 0xf
 177 # CHECK-S-OBJ-NOALIAS: csrrsi zero, 4095, 16
 178 # CHECK-S-OBJ: csrsi 4095, 16
 179 csrsi 0xfff, 0x10
 180 # CHECK-S-OBJ-NOALIAS: csrrci zero, sscratch, 17
 181 # CHECK-S-OBJ: csrci sscratch, 17
 182 csrci 0x140, 0x11
 183
 184 # CHECK-S-OBJ-NOALIAS: csrrwi zero, 336, 7
 185 # CHECK-S-OBJ: csrwi 336, 7
 186 csrw 0x150, 7
 187 # CHECK-S-OBJ-NOALIAS: csrrsi zero, 336, 7
 188 # CHECK-S-OBJ: csrsi 336, 7
 189 csrs 0x150, 7
 190 # CHECK-S-OBJ-NOALIAS: csrrci zero, 336, 7
 191 # CHECK-S-OBJ: csrci 336, 7
 192 csrc 0x150, 7
 193
 194 # CHECK-S-OBJ-NOALIAS: csrrwi t0, 336, 15
 195 # CHECK-S-OBJ: csrrwi t0, 336, 15
 196 csrrw t0, 0x150, 0xf
 197 # CHECK-S-OBJ-NOALIAS: csrrsi t0, 4095, 16
 198 # CHECK-S-OBJ: csrrsi t0, 4095, 16
 199 csrrs t0, 0xfff, 0x10
 200 # CHECK-S-OBJ-NOALIAS: csrrci t0, sscratch, 17
 201 # CHECK-S-OBJ: csrrci t0, sscratch, 17
 202 csrrc t0, 0x140, 0x11
 203
 204 # CHECK-S-OBJ-NOALIAS: sfence.vma zero, zero
 205 # CHECK-S-OBJ: sfence.vma
 206 sfence.vma
 207 # CHECK-S-OBJ-NOALIAS: sfence.vma a0, zero
 208 # CHECK-S-OBJ: sfence.vma a0
 209 sfence.vma a0
 210
 211 # The following aliases are accepted as input but the canonical form
 212 # of the instruction will always be printed.
 213 # CHECK-S-OBJ-NOALIAS: addi a2, a3, 4
 214 # CHECK-S-OBJ: addi a2, a3, 4
 215 add a2, a3, 4
 216 # CHECK-S-OBJ-NOALIAS: andi a2, a3, 4
 217 # CHECK-S-OBJ: andi a2, a3, 4
 218 and a2, a3, 4
 219 # CHECK-S-OBJ-NOALIAS: xori a2, a3, 4
 220 # CHECK-S-OBJ: xori a2, a3, 4
 221 xor a2, a3, 4
 222 # CHECK-S-OBJ-NOALIAS: ori a2, a3, 4
 223 # CHECK-S-OBJ: ori a2, a3, 4
 224 or a2, a3, 4
 225 # CHECK-S-OBJ-NOALIAS: slli a2, a3, 4
 226 # CHECK-S-OBJ: slli a2, a3, 4
 227 sll a2, a3, 4
 228 # CHECK-S-OBJ-NOALIAS: srli a2, a3, 4
 229 # CHECK-S-OBJ: srli a2, a3, 4
 230 srl a2, a3, 4
 231 # CHECK-S-OBJ-NOALIAS: srai a2, a3, 4
 232 # CHECK-S-OBJ: srai a2, a3, 4
 233 sra a2, a3, 4
 234 # CHECK-S-OBJ-NOALIAS: slti a2, a3, 4
 235 # CHECK-S-OBJ: slti a2, a3, 4
 236 slt a2, a3, 4
 237 # CHECK-S-OBJ-NOALIAS: sltiu a2, a3, 4
 238 # CHECK-S-OBJ: sltiu a2, a3, 4
 239 sltu a2, a3, 4
 240
 241 # CHECK-S-OBJ-NOALIAS: ebreak
 242 # CHECK-S-OBJ: ebreak
 243 sbreak
 244
 245 # CHECK-S-OBJ-NOALIAS: ecall
 246 # CHECK-S-OBJ: ecall
 247 scall