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, symbol
  37 # CHECK: lui     $8, %hi(symbol)     # encoding: [A,A,0x08,0x3c]
  38 # CHECK:                             #   fixup A - offset: 0, value: symbol@ABS_HI, kind: fixup_Mips_HI16
  39 # CHECK: ori     $8, $8, %lo(symbol) # encoding: [A,A,0x08,0x35]
  40 # CHECK:                             #   fixup A - offset: 0, value: symbol@ABS_LO, kind: fixup_Mips_LO16
  41
  42 # LW/SW and LDC1/SDC1 of symbol address, done by MipsAsmParser::expandMemInst():
  43   .set noat
  44   lw $10, symbol($4)
  45 # CHECK: lui     $10, %hi(symbol)        # encoding: [A,A,0x0a,0x3c]
  46 # CHECK:                                 #   fixup A - offset: 0, value: symbol@ABS_HI, kind: fixup_Mips_HI16
  47 # CHECK: addu    $10, $10, $4            # encoding: [0x21,0x50,0x44,0x01]
  48 # CHECK: lw      $10, %lo(symbol)($10)   # encoding: [A,A,0x4a,0x8d]
  49 # CHECK:                                 #   fixup A - offset: 0, value: symbol@ABS_LO, kind: fixup_Mips_LO16
  50   .set at
  51   sw $10, symbol($9)
  52 # CHECK: lui     $1, %hi(symbol)         # encoding: [A,A,0x01,0x3c]
  53 # CHECK:                                 #   fixup A - offset: 0, value: symbol@ABS_HI, kind: fixup_Mips_HI16
  54 # CHECK: addu    $1, $1, $9              # encoding: [0x21,0x08,0x29,0x00]
  55 # CHECK: sw      $10, %lo(symbol)($1)    # encoding: [A,A,0x2a,0xac]
  56 # CHECK:                                 #   fixup A - offset: 0, value: symbol@ABS_LO, kind: fixup_Mips_LO16
  57
  58   lw $8, 1f
  59 # CHECK: lui $8, %hi($tmp0)              # encoding: [A,A,0x08,0x3c]
  60 # CHECK:                                 #   fixup A - offset: 0, value: ($tmp0)@ABS_HI, kind: fixup_Mips_HI16
  61 # CHECK: lw  $8, %lo($tmp0)($8)          # encoding: [A,A,0x08,0x8d]
  62 # CHECK:                                 #   fixup A - offset: 0, value: ($tmp0)@ABS_LO, kind: fixup_Mips_LO16
  63   sw $8, 1f
  64 # CHECK: lui $1, %hi($tmp0)              # encoding: [A,A,0x01,0x3c]
  65 # CHECK:                                 #   fixup A - offset: 0, value: ($tmp0)@ABS_HI, kind: fixup_Mips_HI16
  66 # CHECK: sw  $8, %lo($tmp0)($1)          # encoding: [A,A,0x28,0xac]
  67 # CHECK:                                 #   fixup A - offset: 0, value: ($tmp0)@ABS_LO, kind: fixup_Mips_LO16
  68
  69   lw $10, 655483($4)
  70 # CHECK: lui     $10, 10                 # encoding: [0x0a,0x00,0x0a,0x3c]
  71 # CHECK: addu    $10, $10, $4            # encoding: [0x21,0x50,0x44,0x01]
  72 # CHECK: lw      $10, 123($10)           # encoding: [0x7b,0x00,0x4a,0x8d]
  73   sw $10, 123456($9)
  74 # CHECK: lui     $1, 2                   # encoding: [0x02,0x00,0x01,0x3c]
  75 # CHECK: addu    $1, $1, $9              # encoding: [0x21,0x08,0x29,0x00]
  76 # CHECK: sw      $10, 57920($1)          # encoding: [0x40,0xe2,0x2a,0xac]
  77
  78   lw $8, symbol
  79 # CHECK:     lui     $8, %hi(symbol)     # encoding: [A,A,0x08,0x3c]
  80 # CHECK:                                 #   fixup A - offset: 0, value: symbol@ABS_HI, kind: fixup_Mips_HI16
  81 # CHECK-NOT: move    $8, $8              # encoding: [0x21,0x40,0x00,0x01]
  82 # CHECK:     lw      $8, %lo(symbol)($8) # encoding: [A,A,0x08,0x8d]
  83 # CHECK:                                 #   fixup A - offset: 0, value: symbol@ABS_LO, kind: fixup_Mips_LO16
  84   sw $8, symbol
  85 # CHECK:     lui     $1, %hi(symbol)     # encoding: [A,A,0x01,0x3c]
  86 # CHECK:                                 #   fixup A - offset: 0, value: symbol@ABS_HI, kind: fixup_Mips_HI16
  87 # CHECK-NOT: move    $1, $1              # encoding: [0x21,0x08,0x20,0x00]
  88 # CHECK:     sw      $8, %lo(symbol)($1) # encoding: [A,A,0x28,0xac]
  89 # CHECK:                                 #   fixup A - offset: 0, value: symbol@ABS_LO, kind: fixup_Mips_LO16
  90
  91   ldc1 $f0, symbol
  92 # CHECK: lui     $1, %hi(symbol)
  93 # CHECK: ldc1    $f0, %lo(symbol)($1)
  94   sdc1 $f0, symbol
  95 # CHECK: lui     $1, %hi(symbol)
  96 # CHECK: sdc1    $f0, %lo(symbol)($1)
  97
  98 # Test BNE with an immediate as the 2nd operand.
  99   bne $2, 0, 1332
 100 # CHECK: bnez  $2, 1332          # encoding: [0x4d,0x01,0x40,0x14]
 101 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 102
 103   bne $2, 123, 1332
 104 # CHECK: ori   $1, $zero, 123    # encoding: [0x7b,0x00,0x01,0x34]
 105 # CHECK: bne   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x14]
 106 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 107
 108   bne $2, -2345, 1332
 109 # CHECK: addiu $1, $zero, -2345  # encoding: [0xd7,0xf6,0x01,0x24]
 110 # CHECK: bne   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x14]
 111 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 112
 113   bne $2, 65538, 1332
 114 # CHECK: lui   $1, 1             # encoding: [0x01,0x00,0x01,0x3c]
 115 # CHECK: ori   $1, $1, 2         # encoding: [0x02,0x00,0x21,0x34]
 116 # CHECK: bne   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x14]
 117 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 118
 119   bne $2, ~7, 1332
 120 # CHECK: addiu $1, $zero, -8     # encoding: [0xf8,0xff,0x01,0x24]
 121 # CHECK: bne   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x14]
 122 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 123
 124   bne $2, 0x10000, 1332
 125 # CHECK: lui   $1, 1             # encoding: [0x01,0x00,0x01,0x3c]
 126 # CHECK: bne   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x14]
 127 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 128
 129 # Test BEQ with an immediate as the 2nd operand.
 130   beq $2, 0, 1332
 131 # CHECK: beqz  $2, 1332          # encoding: [0x4d,0x01,0x40,0x10]
 132 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 133
 134   beq $2, 123, 1332
 135 # CHECK: ori   $1, $zero, 123    # encoding: [0x7b,0x00,0x01,0x34]
 136 # CHECK: beq   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x10]
 137 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 138
 139   beq $2, -2345, 1332
 140 # CHECK: addiu $1, $zero, -2345  # encoding: [0xd7,0xf6,0x01,0x24]
 141 # CHECK: beq   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x10]
 142 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 143
 144   beq $2, 65538, 1332
 145 # CHECK: lui   $1, 1             # encoding: [0x01,0x00,0x01,0x3c]
 146 # CHECK: ori   $1, $1, 2         # encoding: [0x02,0x00,0x21,0x34]
 147 # CHECK: beq   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x10]
 148 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 149
 150   beq $2, ~7, 1332
 151 # CHECK: addiu $1, $zero, -8     # encoding: [0xf8,0xff,0x01,0x24]
 152 # CHECK: beq   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x10]
 153 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 154
 155   beq $2, 0x10000, 1332
 156 # CHECK: lui   $1, 1             # encoding: [0x01,0x00,0x01,0x3c]
 157 # CHECK: beq   $2, $1, 1332      # encoding: [0x4d,0x01,0x41,0x10]
 158 # CHECK: nop                     # encoding: [0x00,0x00,0x00,0x00]
 159
 160 1:
 161   add $4, $4, $4