test/MC/Mips/mips-expansions.s

   1 # RUN: llvm-mc %s -triple=mipsel-unknown-linux -show-encoding -mcpu=mips32r2 | \
   2 # RUN:   FileCheck %s
   3
   4 # Check that the IAS expands macro instructions in the same way as GAS.
   5
   6 # Load immediate, done by MipsAsmParser::expandLoadImm():
   7   li $5, 123
   8 # CHECK:     ori     $5, $zero, 123   # encoding: [0x7b,0x00,0x05,0x34]
   9   li $6, -2345
  10 # CHECK:     addiu   $6, $zero, -2345 # encoding: [0xd7,0xf6,0x06,0x24]
  11   li $7, 65538
  12 # CHECK:     lui     $7, 1            # encoding: [0x01,0x00,0x07,0x3c]
  13 # CHECK:     ori     $7, $7, 2        # encoding: [0x02,0x00,0xe7,0x34]
  14   li $8, ~7
  15 # CHECK:     addiu   $8, $zero, -8    # encoding: [0xf8,0xff,0x08,0x24]
  16   li $9, 0x10000
  17 # CHECK:     lui     $9, 1            # encoding: [0x01,0x00,0x09,0x3c]
  18 # CHECK-NOT: ori $9, $9, 0            # encoding: [0x00,0x00,0x29,0x35]
  19   li $10, ~(0x101010)
  20 # CHECK:     lui     $10, 65519       # encoding: [0xef,0xff,0x0a,0x3c]
  21 # CHECK:     ori     $10, $10, 61423  # encoding: [0xef,0xef,0x4a,0x35]
  22
  23 # Load address, done by MipsAsmParser::expandLoadAddressReg()
  24 # and MipsAsmParser::expandLoadAddressImm():
  25   la $4, 20
  26 # CHECK: ori     $4, $zero, 20       # encoding: [0x14,0x00,0x04,0x34]
  27   la $7, 65538
  28 # CHECK: lui     $7, 1               # encoding: [0x01,0x00,0x07,0x3c]
  29 # CHECK: ori     $7, $7, 2           # encoding: [0x02,0x00,0xe7,0x34]
  30   la $4, 20($5)
  31 # CHECK: ori     $4, $5, 20          # encoding: [0x14,0x00,0xa4,0x34]
  32   la $7, 65538($8)
  33 # CHECK: lui     $7, 1               # encoding: [0x01,0x00,0x07,0x3c]
  34 # CHECK: ori     $7, $7, 2           # encoding: [0x02,0x00,0xe7,0x34]
  35 # CHECK: addu    $7, $7, $8          # encoding: [0x21,0x38,0xe8,0x00]
  36   la $8, 1f
  37 # CHECK: lui     $8, %hi($tmp0)      # encoding: [A,A,0x08,0x3c]
  38 # CHECK:                             #   fixup A - offset: 0, value: ($tmp0)@ABS_HI, kind: fixup_Mips_HI16
  39 # CHECK: ori     $8, $8, %lo($tmp0)  # encoding: [A,A,0x08,0x35]
  40 # CHECK:                             #   fixup A - offset: 0, value: ($tmp0)@ABS_LO, kind: fixup_Mips_LO16
  41   la $8, symbol
  42 # CHECK: lui     $8, %hi(symbol)     # encoding: [A,A,0x08,0x3c]
  43 # CHECK:                             #   fixup A - offset: 0, value: symbol@ABS_HI, kind: fixup_Mips_HI16
  44 # CHECK: ori     $8, $8, %lo(symbol) # encoding: [A,A,0x08,0x35]
  45 # CHECK:                             #   fixup A - offset: 0, value: symbol@ABS_LO, kind: fixup_Mips_LO16
  46   la $8, symbol($9)
  47 # CHECK: lui  $8, %hi(symbol)        # encoding: [A,A,0x08,0x3c]
  48 # CHECK:                             #   fixup A - offset: 0, value: symbol@ABS_HI, kind: fixup_Mips_HI16
  49 # CHECK: ori  $8, $8, %lo(symbol)    # encoding: [A,A,0x08,0x35]
  50 # CHECK:                             #   fixup A - offset: 0, value: symbol@ABS_LO, kind: fixup_Mips_LO16
  51 # CHECK: addu $8, $8, $9             # encoding: [0x21,0x40,0x09,0x01]
  52   la $8, symbol($8)
  53 # CHECK: lui  $1, %hi(symbol)        # encoding: [A,A,0x01,0x3c]
  54 # CHECK:                             #   fixup A - offset: 0, value: symbol@ABS_HI, kind: fixup_Mips_HI16
  55 # CHECK: ori  $1, $1, %lo(symbol)    # encoding: [A,A,0x21,0x34]
  56 # CHECK:                             #   fixup A - offset: 0, value: symbol@ABS_LO, kind: fixup_Mips_LO16
  57 # CHECK: addu $8, $1, $8             # encoding: [0x21,0x40,0x28,0x00]
  58   la $8, 20($8)
  59 # CHECK: ori  $8, $8, 20             # encoding: [0x14,0x00,0x08,0x35]
  60   la $8, 65538($8)
  61 # CHECK: lui  $1, 1                  # encoding: [0x01,0x00,0x01,0x3c]
  62 # CHECK: ori  $1, $1, 2              # encoding: [0x02,0x00,0x21,0x34]
  63 # CHECK: addu $8, $1, $8             # encoding: [0x21,0x40,0x28,0x00]
  64
  65 # LW/SW and LDC1/SDC1 of symbol address, done by MipsAsmParser::expandMemInst():
  66   .set noat
  67   lw $10, symbol($4)
  68 # CHECK: lui     $10, %hi(symbol)        # encoding: [A,A,0x0a,0x3c]
  69 # CHECK:                                 #   fixup A - offset: 0, value: symbol@ABS_HI, kind: fixup_Mips_HI16
  70 # CHECK: addu    $10, $10, $4            # encoding: [0x21,0x50,0x44,0x01]
  71 # CHECK: lw      $10, %lo(symbol)($10)   # encoding: [A,A,0x4a,0x8d]
  72 # CHECK:                                 #   fixup A - offset: 0, value: symbol@ABS_LO, kind: fixup_Mips_LO16
  73   .set at
  74   sw $10, symbol($9)
  75 # CHECK: lui     $1, %hi(symbol)         # encoding: [A,A,0x01,0x3c]
  76 # CHECK:                                 #   fixup A - offset: 0, value: symbol@ABS_HI, kind: fixup_Mips_HI16
  77 # CHECK: addu    $1, $1, $9              # encoding: [0x21,0x08,0x29,0x00]
  78 # CHECK: sw      $10, %lo(symbol)($1)    # encoding: [A,A,0x2a,0xac]
  79 # CHECK:                                 #   fixup A - offset: 0, value: symbol@ABS_LO, kind: fixup_Mips_LO16
  80
  81   lw $8, 1f
  82 # CHECK: lui $8, %hi($tmp0)              # encoding: [A,A,0x08,0x3c]
  83 # CHECK:                                 #   fixup A - offset: 0, value: ($tmp0)@ABS_HI, kind: fixup_Mips_HI16
  84 # CHECK: lw  $8, %lo($tmp0)($8)          # encoding: [A,A,0x08,0x8d]
  85 # CHECK:                                 #   fixup A - offset: 0, value: ($tmp0)@ABS_LO, kind: fixup_Mips_LO16
  86   sw $8, 1f
  87 # CHECK: lui $1, %hi($tmp0)              # encoding: [A,A,0x01,0x3c]
  88 # CHECK:                                 #   fixup A - offset: 0, value: ($tmp0)@ABS_HI, kind: fixup_Mips_HI16
  89 # CHECK: sw  $8, %lo($tmp0)($1)          # encoding: [A,A,0x28,0xac]
  90 # CHECK:                                 #   fixup A - offset: 0, value: ($tmp0)@ABS_LO, kind: fixup_Mips_LO16
  91
  92   lw $10, 655483($4)
  93 # CHECK: lui     $10, 10                 # encoding: [0x0a,0x00,0x0a,0x3c]
  94 # CHECK: addu    $10, $10, $4            # encoding: [0x21,0x50,0x44,0x01]
  95 # CHECK: lw      $10, 123($10)           # encoding: [0x7b,0x00,0x4a,0x8d]
  96   sw $10, 123456($9)
  97 # CHECK: lui     $1, 2                   # encoding: [0x02,0x00,0x01,0x3c]
  98 # CHECK: addu    $1, $1, $9              # encoding: [0x21,0x08,0x29,0x00]
  99 # CHECK: sw      $10, 57920($1)          # encoding: [0x40,0xe2,0x2a,0xac]
 100
 101   lw $8, symbol
 102 # CHECK:     lui     $8, %hi(symbol)     # encoding: [A,A,0x08,0x3c]
 103 # CHECK:                                 #   fixup A - offset: 0, value: symbol@ABS_HI, kind: fixup_Mips_HI16
 104 # CHECK-NOT: move    $8, $8              # encoding: [0x21,0x40,0x00,0x01]
 105 # CHECK:     lw      $8, %lo(symbol)($8) # encoding: [A,A,0x08,0x8d]
 106 # CHECK:                                 #   fixup A - offset: 0, value: symbol@ABS_LO, kind: fixup_Mips_LO16
 107   sw $8, symbol
 108 # CHECK:     lui     $1, %hi(symbol)     # encoding: [A,A,0x01,0x3c]
 109 # CHECK:                                 #   fixup A - offset: 0, value: symbol@ABS_HI, kind: fixup_Mips_HI16
 110 # CHECK-NOT: move    $1, $1              # encoding: [0x21,0x08,0x20,0x00]
 111 # CHECK:     sw      $8, %lo(symbol)($1) # encoding: [A,A,0x28,0xac]
 112 # CHECK:                                 #   fixup A - offset: 0, value: symbol@ABS_LO, kind: fixup_Mips_LO16
 113
 114   ldc1 $f0, symbol
 115 # CHECK: lui     $1, %hi(symbol)
 116 # CHECK: ldc1    $f0, %lo(symbol)($1)
 117   sdc1 $f0, symbol
 118 # CHECK: lui     $1, %hi(symbol)
 119 # CHECK: sdc1    $f0, %lo(symbol)($1)
 120
 121 # Test BNE with an immediate as the 2nd operand.
 122   bne $2, 0, 1332
 123 # CHECK: bnez  $2, 1332          # encoding: [0x4d,0x01,0x40,0x14]
 124 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 125
 126   bne $2, 123, 1332
 127 # CHECK: ori   $1, $zero, 123    # encoding: [0x7b,0x00,0x01,0x34]
 128 # CHECK: bne   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x14]
 129 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 130
 131   bne $2, -2345, 1332
 132 # CHECK: addiu $1, $zero, -2345  # encoding: [0xd7,0xf6,0x01,0x24]
 133 # CHECK: bne   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x14]
 134 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 135
 136   bne $2, 65538, 1332
 137 # CHECK: lui   $1, 1             # encoding: [0x01,0x00,0x01,0x3c]
 138 # CHECK: ori   $1, $1, 2         # encoding: [0x02,0x00,0x21,0x34]
 139 # CHECK: bne   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x14]
 140 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 141
 142   bne $2, ~7, 1332
 143 # CHECK: addiu $1, $zero, -8     # encoding: [0xf8,0xff,0x01,0x24]
 144 # CHECK: bne   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x14]
 145 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 146
 147   bne $2, 0x10000, 1332
 148 # CHECK: lui   $1, 1             # encoding: [0x01,0x00,0x01,0x3c]
 149 # CHECK: bne   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x14]
 150 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 151
 152 # Test BEQ with an immediate as the 2nd operand.
 153   beq $2, 0, 1332
 154 # CHECK: beqz  $2, 1332          # encoding: [0x4d,0x01,0x40,0x10]
 155 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 156
 157   beq $2, 123, 1332
 158 # CHECK: ori   $1, $zero, 123    # encoding: [0x7b,0x00,0x01,0x34]
 159 # CHECK: beq   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x10]
 160 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 161
 162   beq $2, -2345, 1332
 163 # CHECK: addiu $1, $zero, -2345  # encoding: [0xd7,0xf6,0x01,0x24]
 164 # CHECK: beq   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x10]
 165 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 166
 167   beq $2, 65538, 1332
 168 # CHECK: lui   $1, 1             # encoding: [0x01,0x00,0x01,0x3c]
 169 # CHECK: ori   $1, $1, 2         # encoding: [0x02,0x00,0x21,0x34]
 170 # CHECK: beq   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x10]
 171 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 172
 173   beq $2, ~7, 1332
 174 # CHECK: addiu $1, $zero, -8     # encoding: [0xf8,0xff,0x01,0x24]
 175 # CHECK: beq   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x10]
 176 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 177
 178   beq $2, 0x10000, 1332
 179 # CHECK: lui   $1, 1             # encoding: [0x01,0x00,0x01,0x3c]
 180 # CHECK: beq   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x10]
 181 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 182
 183 1:
 184   add $4, $4, $4