Home | History | Annotate | Download | only in mips64r5
      1 # Instructions that are valid
      2 #
      3 # RUN: llvm-mc %s -triple=mips64-unknown-linux -show-encoding -mcpu=mips64r5 | FileCheck %s
      4 a:
      5         .set noat
      6         abs.d     $f7,$f25             # CHECK: encoding:
      7         abs.s     $f9,$f16
      8         add       $s7,$s2,$a1
      9         add       $9,$14,15176         # CHECK: addi $9, $14, 15176   # encoding: [0x21,0xc9,0x3b,0x48]
     10         add       $24,-7193            # CHECK: addi $24, $24, -7193  # encoding: [0x23,0x18,0xe3,0xe7]
     11         add.d     $f1,$f7,$f29
     12         add.s     $f8,$f21,$f24
     13         addi      $13,$9,26322
     14         addi      $8,$8,~1             # CHECK: addi $8, $8, -2 # encoding: [0x21,0x08,0xff,0xfe]
     15         addu      $9,$a0,$a2
     16         addu      $9,10                # CHECK: addiu $9, $9, 10    # encoding: [0x25,0x29,0x00,0x0a]
     17         and       $s7,$v0,$12
     18         and       $2,4                 # CHECK: andi $2, $2, 4 # encoding: [0x30,0x42,0x00,0x04]
     19         bc1f      $fcc0, 4             # CHECK: bc1f 4        # encoding: [0x45,0x00,0x00,0x01]
     20         bc1f      $fcc1, 4             # CHECK: bc1f $fcc1, 4 # encoding: [0x45,0x04,0x00,0x01]
     21         bc1f      4                    # CHECK: bc1f 4        # encoding: [0x45,0x00,0x00,0x01]
     22         bc1fl     $fcc0,4688           # CHECK: bc1fl 4688      # encoding: [0x45,0x02,0x04,0x94]
     23         bc1fl     4688                 # CHECK: bc1fl 4688      # encoding: [0x45,0x02,0x04,0x94]
     24         bc1fl     $fcc7,27             # CHECK: bc1fl $fcc7, 27 # encoding: [0x45,0x1e,0x00,0x06]
     25         bc1t      $fcc0, 4             # CHECK: bc1t 4        # encoding: [0x45,0x01,0x00,0x01]
     26         bc1t      $fcc1, 4             # CHECK: bc1t $fcc1, 4 # encoding: [0x45,0x05,0x00,0x01]
     27         bc1t      4                    # CHECK: bc1t 4        # encoding: [0x45,0x01,0x00,0x01]
     28         bc1tl     $fcc0,4688           # CHECK: bc1tl 4688      # encoding: [0x45,0x03,0x04,0x94]
     29         bc1tl     4688                 # CHECK: bc1tl 4688      # encoding: [0x45,0x03,0x04,0x94]
     30         bc1tl     $fcc7,27             # CHECK: bc1tl $fcc7, 27 # encoding: [0x45,0x1f,0x00,0x06]
     31         bal       21100                # CHECK: bal 21100     # encoding: [0x04,0x11,0x14,0x9b]
     32         bgezal    $0, 21100            # CHECK: bal 21100     # encoding: [0x04,0x11,0x14,0x9b]
     33         bgezal    $6, 21100            # CHECK: bgezal $6, 21100 # encoding: [0x04,0xd1,0x14,0x9b]
     34         bltzal    $6, 21100            # CHECK: bltzal $6, 21100 # encoding: [0x04,0xd0,0x14,0x9b]
     35         beql      $14,$s3,12544        # CHECK: beql $14, $19, 12544 # encoding: [0x51,0xd3,0x0c,0x40]
     36         bgezall   $12,7293             # CHECK: bgezall $12, 7293    # encoding: [0x05,0x93,0x07,0x1f]
     37         bgezl     $4,-6858             # CHECK: bgezl $4, -6858      # encoding: [0x04,0x83,0xf9,0x4d]
     38         bgtzl     $10,-3738            # CHECK: bgtzl $10, -3738     # encoding: [0x5d,0x40,0xfc,0x59]
     39         blezl     $6,2974              # CHECK: blezl $6, 2974       # encoding: [0x58,0xc0,0x02,0xe7]
     40         bltzall   $6,488               # CHECK: bltzall $6, 488      # encoding: [0x04,0xd2,0x00,0x7a]
     41         bltzl     $s1,-9964            # CHECK: bltzl $17, -9964     # encoding: [0x06,0x22,0xf6,0x45]
     42         bnel      $gp,$s4,5107         # CHECK: bnel $gp, $20, 5107  # encoding: [0x57,0x94,0x04,0xfc]
     43         cache     1, 8($5)             # CHECK: cache 1, 8($5)       # encoding: [0xbc,0xa1,0x00,0x08]
     44         c.ngl.d   $f29,$f29
     45         c.ngle.d  $f0,$f16
     46         c.sf.d    $f30,$f0
     47         c.sf.s    $f14,$f22
     48         ceil.l.d  $f1,$f3
     49         ceil.l.s  $f18,$f13
     50         ceil.w.d  $f11,$f25
     51         ceil.w.s  $f6,$f20
     52         cfc1      $s1,$21
     53         clo       $11,$a1              # CHECK: clo $11, $5   # encoding: [0x70,0xab,0x58,0x21]
     54         clz       $sp,$gp              # CHECK: clz $sp, $gp  # encoding: [0x73,0x9d,0xe8,0x20]
     55         ctc1      $a2,$26
     56         cvt.d.l   $f4,$f16
     57         cvt.d.s   $f22,$f28
     58         cvt.d.w   $f26,$f11
     59         cvt.l.d   $f24,$f15
     60         cvt.l.s   $f11,$f29
     61         cvt.s.d   $f26,$f8
     62         cvt.s.l   $f15,$f30
     63         cvt.s.w   $f22,$f15
     64         cvt.w.d   $f20,$f14
     65         cvt.w.s   $f20,$f24
     66         dadd      $s3,$at,$ra
     67         dadd      $sp,$s4,-27705       # CHECK: daddi $sp, $20, -27705 # encoding: [0x62,0x9d,0x93,0xc7]
     68         dadd      $sp,-27705           # CHECK: daddi $sp, $sp, -27705 # encoding: [0x63,0xbd,0x93,0xc7]
     69         daddi     $sp,$s4,-27705
     70         daddi     $sp,$s4,-27705       # CHECK: daddi $sp, $20, -27705 # encoding: [0x62,0x9d,0x93,0xc7]
     71         daddi     $sp,-27705           # CHECK: daddi $sp, $sp, -27705 # encoding: [0x63,0xbd,0x93,0xc7]
     72         daddiu    $k0,$s6,-4586
     73         daddu     $s3,$at,$ra
     74         daddu     $24,$2,18079         # CHECK: daddiu $24, $2, 18079  # encoding: [0x64,0x58,0x46,0x9f]
     75         daddu     $19,26943            # CHECK: daddiu $19, $19, 26943 # encoding: [0x66,0x73,0x69,0x3f]
     76         dclo      $s2,$a2              # CHECK: dclo $18, $6   # encoding: [0x70,0xd2,0x90,0x25]
     77         dclz      $s0,$25              # CHECK: dclz $16, $25  # encoding: [0x73,0x30,0x80,0x24]
     78         deret
     79         di        $s8                  # CHECK: di  $fp        # encoding: [0x41,0x7e,0x60,0x00]
     80         di                             # CHECK: di             # encoding: [0x41,0x60,0x60,0x00]
     81         ddiv      $zero,$k0,$s3
     82         ddivu     $zero,$s0,$s1
     83         div       $zero,$25,$11
     84         div.d     $f29,$f20,$f27
     85         div.s     $f4,$f5,$f15
     86         divu      $zero,$25,$15
     87         dmfc0     $10, $16, 2          # CHECK: dmfc0 $10, $16, 2           # encoding: [0x40,0x2a,0x80,0x02]
     88         dmfc1     $12,$f13
     89         dmtc0     $4, $10, 0           # CHECK: dmtc0 $4, $10, 0            # encoding: [0x40,0xa4,0x50,0x00]
     90         dmtc1     $s0,$f14
     91         dmult     $s7,$9
     92         dmultu    $a1,$a2
     93         dneg      $2                   # CHECK: dneg $2, $2                 # encoding: [0x00,0x02,0x10,0x2e]
     94         dneg      $2,$3                # CHECK: dneg $2, $3                 # encoding: [0x00,0x03,0x10,0x2e]
     95         dnegu     $2,$3                # CHECK: dnegu $2, $3                # encoding: [0x00,0x03,0x10,0x2f]
     96         drotr     $1,15                # CHECK: drotr $1, $1, 15            # encoding: [0x00,0x21,0x0b,0xfa]
     97         drotr     $1,$14,15            # CHECK: drotr $1, $14, 15           # encoding: [0x00,0x2e,0x0b,0xfa]
     98         drotr32   $1,15                # CHECK: drotr32 $1, $1, 15          # encoding: [0x00,0x21,0x0b,0xfe]
     99         drotr32   $1,$14,15            # CHECK: drotr32 $1, $14, 15         # encoding: [0x00,0x2e,0x0b,0xfe]
    100         drotrv    $1,$14,$15           # CHECK: drotrv $1, $14, $15         # encoding: [0x01,0xee,0x08,0x56]
    101         dsbh      $v1,$14
    102         dshd      $v0,$sp
    103         dsll      $zero,18             # CHECK: dsll $zero, $zero, 18       # encoding: [0x00,0x00,0x04,0xb8]
    104         dsll      $zero,$s4,18         # CHECK: dsll $zero, $20, 18         # encoding: [0x00,0x14,0x04,0xb8]
    105         dsll      $zero,$s4,$12        # CHECK: dsllv $zero, $20, $12       # encoding: [0x01,0x94,0x00,0x14]
    106         dsll32    $zero,18             # CHECK: dsll32 $zero, $zero, 18     # encoding: [0x00,0x00,0x04,0xbc]
    107         dsll32    $zero,$zero,18       # CHECK: dsll32 $zero, $zero, 18     # encoding: [0x00,0x00,0x04,0xbc]
    108         dsllv     $zero,$s4,$12        # CHECK: dsllv $zero, $20, $12       # encoding: [0x01,0x94,0x00,0x14]
    109         dsra      $gp,10               # CHECK: dsra $gp, $gp, 10           # encoding: [0x00,0x1c,0xe2,0xbb]
    110         dsra      $gp,$s2,10           # CHECK: dsra $gp, $18, 10           # encoding: [0x00,0x12,0xe2,0xbb]
    111         dsra      $gp,$s2,$s3          # CHECK: dsrav $gp, $18, $19         # encoding: [0x02,0x72,0xe0,0x17]
    112         dsra32    $gp,10               # CHECK: dsra32 $gp, $gp, 10         # encoding: [0x00,0x1c,0xe2,0xbf]
    113         dsra32    $gp,$s2,10           # CHECK: dsra32 $gp, $18, 10         # encoding: [0x00,0x12,0xe2,0xbf]
    114         dsrav     $gp,$s2,$s3          # CHECK: dsrav $gp, $18, $19         # encoding: [0x02,0x72,0xe0,0x17]
    115         dsrl      $s3,23               # CHECK: dsrl $19, $19, 23           # encoding: [0x00,0x13,0x9d,0xfa]
    116         dsrl      $s3,$6,23            # CHECK: dsrl $19, $6, 23            # encoding: [0x00,0x06,0x9d,0xfa]
    117         dsrl      $s3,$6,$s4           # CHECK: dsrlv $19, $6, $20          # encoding: [0x02,0x86,0x98,0x16]
    118         dsrl32    $s3,23               # CHECK: dsrl32 $19, $19, 23         # encoding: [0x00,0x13,0x9d,0xfe]
    119         dsrl32    $s3,$6,23            # CHECK: dsrl32 $19, $6, 23          # encoding: [0x00,0x06,0x9d,0xfe]
    120         dsrlv     $s3,$6,$s4           # CHECK: dsrlv $19, $6, $20          # encoding: [0x02,0x86,0x98,0x16]
    121         dsub      $a3,$s6,$8
    122         dsub      $a3,$s6,$8
    123         dsub      $sp,$s4,-27705       # CHECK: daddi $sp, $20, 27705  # encoding: [0x62,0x9d,0x6c,0x39]
    124         dsub      $sp,-27705           # CHECK: daddi $sp, $sp, 27705  # encoding: [0x63,0xbd,0x6c,0x39]
    125         dsubi     $sp,$s4,-27705       # CHECK: daddi $sp, $20, 27705  # encoding: [0x62,0x9d,0x6c,0x39]
    126         dsubi     $sp,-27705           # CHECK: daddi $sp, $sp, 27705  # encoding: [0x63,0xbd,0x6c,0x39]
    127         dsubu     $a1,$a1,$k0
    128         dsubu     $a1,$a1,$k0
    129         dsubu     $15,$11,5025         # CHECK: daddiu $15, $11, -5025 # encoding: [0x65,0x6f,0xec,0x5f]
    130         dsubu     $14,-4586            # CHECK: daddiu $14, $14, 4586  # encoding: [0x65,0xce,0x11,0xea]
    131         ehb                            # CHECK: ehb # encoding:  [0x00,0x00,0x00,0xc0]
    132         ei        $14                  # CHECK: ei  $14       # encoding: [0x41,0x6e,0x60,0x20]
    133         ei                             # CHECK: ei            # encoding: [0x41,0x60,0x60,0x20]
    134         eret
    135         eretnc                         # CHECK: eretnc        # encoding: [0x42,0x00,0x00,0x58]
    136         floor.l.d $f26,$f7
    137         floor.l.s $f12,$f5
    138         floor.w.d $f14,$f11
    139         floor.w.s $f8,$f9
    140         j         1f                   # CHECK: j $tmp0 # encoding: [0b000010AA,A,A,A]
    141                                        # CHECK:         #   fixup A - offset: 0, value: ($tmp0), kind: fixup_Mips_26
    142         j         a                    # CHECK: j a     # encoding: [0b000010AA,A,A,A]
    143                                        # CHECK:         #   fixup A - offset: 0, value: a, kind: fixup_Mips_26
    144         j         1328                 # CHECK: j 1328  # encoding: [0x08,0x00,0x01,0x4c]
    145         jr.hb     $4                   # CHECK: jr.hb  $4 # encoding: [0x00,0x80,0x04,0x08]
    146         jalr.hb   $4                   # CHECK: jalr.hb  $4 # encoding: [0x00,0x80,0xfc,0x09]
    147         jalr.hb   $4, $5               # CHECK: jalr.hb  $4, $5 # encoding: [0x00,0xa0,0x24,0x09]
    148         lb        $24,-14515($10)
    149         lbu       $8,30195($v1)
    150         ld        $sp,-28645($s1)
    151         ldc1      $f11,16391($s0)
    152         ldc2      $8,-21181($at)        # CHECK: ldc2 $8, -21181($1)   # encoding: [0xd8,0x28,0xad,0x43]
    153         ldl       $24,-4167($24)
    154         ldr       $14,-30358($s4)
    155         ldxc1     $f8,$s7($15)
    156         lh        $11,-8556($s5)
    157         lhu       $s3,-22851($v0)
    158         li        $at,-29773
    159         li        $zero,-29889
    160         ll        $v0,-7321($s2)       # CHECK: ll $2, -7321($18)     # encoding: [0xc2,0x42,0xe3,0x67]
    161         lld       $zero,-14736($ra)    # CHECK: lld $zero, -14736($ra) # encoding: [0xd3,0xe0,0xc6,0x70]
    162         luxc1     $f19,$s6($s5)
    163         lw        $8,5674($a1)
    164         lwc1      $f16,10225($k0)
    165         lwc2      $18,-841($a2)        # CHECK: lwc2 $18, -841($6)     # encoding: [0xc8,0xd2,0xfc,0xb7]
    166         lwl       $s4,-4231($15)
    167         lwr       $zero,-19147($gp)
    168         lwu       $s3,-24086($v1)
    169         lwxc1     $f12,$s1($s8)
    170         madd      $s6,$13
    171         madd      $zero,$9
    172         madd.s    $f1,$f31,$f19,$f25
    173         maddu     $s3,$gp
    174         maddu     $24,$s2
    175         mfc0      $8,$15,1             # CHECK: mfc0 $8, $15, 1        # encoding: [0x40,0x08,0x78,0x01]
    176         mfc1      $a3,$f27
    177         mfhc1     $s8,$f24
    178         mfhi      $s3
    179         mfhi      $sp
    180         mflo      $s1
    181         mov.d     $f20,$f14
    182         mov.s     $f2,$f27
    183         move      $a0,$a3              # CHECK: move $4, $7              # encoding: [0x00,0xe0,0x20,0x25]
    184         move      $s5,$a0              # CHECK: move $21, $4             # encoding: [0x00,0x80,0xa8,0x25]
    185         move      $s8,$a0              # CHECK: move $fp, $4             # encoding: [0x00,0x80,0xf0,0x25]
    186         move      $25,$a2              # CHECK: move $25, $6             # encoding: [0x00,0xc0,0xc8,0x25]
    187         movf      $gp,$8,$fcc7
    188         movf.d    $f6,$f11,$fcc5
    189         movf.s    $f23,$f5,$fcc6
    190         movn      $v1,$s1,$s0
    191         movn.d    $f27,$f21,$k0
    192         movn.s    $f12,$f0,$s7
    193         movt      $zero,$s4,$fcc5
    194         movt.d    $f0,$f2,$fcc0
    195         movt.s    $f30,$f2,$fcc1
    196         movz      $a1,$s6,$9
    197         movz.d    $f12,$f29,$9
    198         movz.s    $f25,$f7,$v1
    199         msub      $s7,$k1
    200         msub.s    $f12,$f19,$f10,$f16
    201         msubu     $15,$a1
    202         mtc0      $9,$15,1             # CHECK: mtc0 $9, $15, 1        # encoding: [0x40,0x89,0x78,0x01]
    203         mtc1      $s8,$f9
    204         mthc1     $zero,$f16
    205         mthi      $s1
    206         mtlo      $sp
    207         mtlo      $25
    208         mul       $s0,$s4,$at
    209         mul.d     $f20,$f20,$f16
    210         mul.s     $f30,$f10,$f2
    211         mult      $sp,$s4
    212         mult      $sp,$v0
    213         multu     $gp,$k0
    214         multu     $9,$s2
    215         negu      $2                   # CHECK: negu $2, $2            # encoding: [0x00,0x02,0x10,0x23]
    216         negu      $2,$3                # CHECK: negu $2, $3            # encoding: [0x00,0x03,0x10,0x23]
    217         neg.d     $f27,$f18
    218         neg.s     $f1,$f15
    219         nmadd.s   $f0,$f5,$f25,$f12
    220         nmsub.s   $f1,$f24,$f19,$f4
    221         nop
    222         nor       $a3,$zero,$a3
    223         or        $12,$s0,$sp
    224         or        $2, 4                # CHECK: ori $2, $2, 4           # encoding: [0x34,0x42,0x00,0x04]
    225         pause                          # CHECK: pause # encoding:  [0x00,0x00,0x01,0x40]
    226         pref      1, 8($5)             # CHECK: pref 1, 8($5)           # encoding: [0xcc,0xa1,0x00,0x08]
    227         # FIXME: Use the code generator in order to print the .set directives
    228         #        instead of the instruction printer.
    229         rdhwr     $sp,$11              # CHECK:      .set  push
    230                                        # CHECK-NEXT: .set  mips32r2
    231                                        # CHECK-NEXT: rdhwr $sp, $11
    232                                        # CHECK-NEXT: .set  pop          # encoding: [0x7c,0x1d,0x58,0x3b]
    233         rotr      $1,15                # CHECK: rotr $1, $1, 15         # encoding: [0x00,0x21,0x0b,0xc2]
    234         rotr      $1,$14,15            # CHECK: rotr $1, $14, 15        # encoding: [0x00,0x2e,0x0b,0xc2]
    235         rotrv     $1,$14,$15           # CHECK: rotrv $1, $14, $15      # encoding: [0x01,0xee,0x08,0x46]
    236         round.l.d $f12,$f1
    237         round.l.s $f25,$f5
    238         round.w.d $f6,$f4
    239         round.w.s $f27,$f28
    240         sb        $s6,-19857($14)
    241         sc        $15,18904($s3)       # CHECK: sc $15, 18904($19)     # encoding: [0xe2,0x6f,0x49,0xd8]
    242         scd       $15,-8243($sp)       # CHECK: scd $15, -8243($sp)    # encoding: [0xf3,0xaf,0xdf,0xcd]
    243         sdbbp                          # CHECK: sdbbp                  # encoding: [0x70,0x00,0x00,0x3f]
    244         sdbbp     34                   # CHECK: sdbbp 34               # encoding: [0x70,0x00,0x08,0xbf]
    245         sd        $12,5835($10)
    246         sdc1      $f31,30574($13)
    247         sdc2      $20,23157($s2)       # CHECK: sdc2 $20, 23157($18)   # encoding: [0xfa,0x54,0x5a,0x75]
    248         sdl       $a3,-20961($s8)
    249         sdr       $11,-20423($12)
    250         sdxc1     $f11,$10($14)
    251         seb       $25,$15
    252         seh       $v1,$12
    253         sh        $14,-6704($15)
    254         sll       $a3,18               # CHECK: sll $7, $7, 18         # encoding: [0x00,0x07,0x3c,0x80]
    255         sll       $a3,$zero,18         # CHECK: sll $7, $zero, 18      # encoding: [0x00,0x00,0x3c,0x80]
    256         sll       $a3,$zero,$9         # CHECK: sllv $7, $zero, $9     # encoding: [0x01,0x20,0x38,0x04]
    257         sllv      $a3,$zero,$9         # CHECK: sllv $7, $zero, $9     # encoding: [0x01,0x20,0x38,0x04]
    258         slt       $s7,$11,$k1          # CHECK: slt $23, $11, $27      # encoding: [0x01,0x7b,0xb8,0x2a]
    259         slti      $s1,$10,9489         # CHECK: slti $17, $10, 9489    # encoding: [0x29,0x51,0x25,0x11]
    260         sltiu     $25,$25,-15531       # CHECK: sltiu $25, $25, -15531 # encoding: [0x2f,0x39,0xc3,0x55]
    261         sltu      $s4,$s5,$11          # CHECK: sltu  $20, $21, $11    # encoding: [0x02,0xab,0xa0,0x2b]
    262         sltu      $24,$25,-15531       # CHECK: sltiu $24, $25, -15531 # encoding: [0x2f,0x38,0xc3,0x55]
    263         sqrt.d    $f17,$f22
    264         sqrt.s    $f0,$f1
    265         sra       $s1,15               # CHECK: sra $17, $17, 15       # encoding: [0x00,0x11,0x8b,0xc3]
    266         sra       $s1,$s7,15           # CHECK: sra $17, $23, 15       # encoding: [0x00,0x17,0x8b,0xc3]
    267         sra       $s1,$s7,$sp          # CHECK: srav $17, $23, $sp     # encoding: [0x03,0xb7,0x88,0x07]
    268         srav      $s1,$s7,$sp          # CHECK: srav $17, $23, $sp     # encoding: [0x03,0xb7,0x88,0x07]
    269         srl       $2,7                 # CHECK: srl $2, $2, 7          # encoding: [0x00,0x02,0x11,0xc2]
    270         srl       $2,$2,7              # CHECK: srl $2, $2, 7          # encoding: [0x00,0x02,0x11,0xc2]
    271         srl       $25,$s4,$a0          # CHECK: srlv $25, $20, $4      # encoding: [0x00,0x94,0xc8,0x06]
    272         srlv      $25,$s4,$a0          # CHECK: srlv $25, $20, $4      # encoding: [0x00,0x94,0xc8,0x06]
    273         ssnop                          # CHECK: ssnop                  # encoding: [0x00,0x00,0x00,0x40]
    274         sub       $s6,$s3,$12
    275         sub       $22,$17,-3126        # CHECK: addi $22, $17, 3126    # encoding: [0x22,0x36,0x0c,0x36]
    276         sub       $13,6512             # CHECK: addi $13, $13, -6512   # encoding: [0x21,0xad,0xe6,0x90]
    277         sub.d     $f18,$f3,$f17
    278         sub.s     $f23,$f22,$f22
    279         subu      $sp,$s6,$s6
    280         suxc1     $f12,$k1($13)
    281         sw        $ra,-10160($sp)
    282         swc1      $f6,-8465($24)
    283         swc2      $25,24880($s0)       # CHECK: swc2 $25, 24880($16)   # encoding: [0xea,0x19,0x61,0x30]
    284         swl       $15,13694($s3)
    285         swr       $s1,-26590($14)
    286         swxc1     $f19,$12($k0)
    287         sync                           # CHECK: sync                   # encoding: [0x00,0x00,0x00,0x0f]
    288         sync      1                    # CHECK: sync 1                 # encoding: [0x00,0x00,0x00,0x4f]
    289         teq       $0,$3                # CHECK: teq $zero, $3          # encoding: [0x00,0x03,0x00,0x34]
    290         teq       $5,$7,620            # CHECK: teq $5, $7, 620        # encoding: [0x00,0xa7,0x9b,0x34]
    291         teqi      $s5,-17504
    292         tge       $7,$10               # CHECK: tge $7, $10            # encoding: [0x00,0xea,0x00,0x30]
    293         tge       $5,$19,340           # CHECK: tge $5, $19, 340       # encoding: [0x00,0xb3,0x55,0x30]
    294         tgei      $s1,5025
    295         tgeiu     $sp,-28621
    296         tgeu      $22,$28              # CHECK: tgeu $22, $gp          # encoding: [0x02,0xdc,0x00,0x31]
    297         tgeu      $20,$14,379          # CHECK: tgeu $20, $14, 379     # encoding: [0x02,0x8e,0x5e,0xf1]
    298         tlbp                           # CHECK: tlbp                   # encoding: [0x42,0x00,0x00,0x08]
    299         tlbr                           # CHECK: tlbr                   # encoding: [0x42,0x00,0x00,0x01]
    300         tlbwi                          # CHECK: tlbwi                  # encoding: [0x42,0x00,0x00,0x02]
    301         tlbwr                          # CHECK: tlbwr                  # encoding: [0x42,0x00,0x00,0x06]
    302         tlt       $15,$13              # CHECK: tlt $15, $13           # encoding: [0x01,0xed,0x00,0x32]
    303         tlt       $2,$19,133           # CHECK: tlt $2, $19, 133       # encoding: [0x00,0x53,0x21,0x72]
    304         tlti      $14,-21059
    305         tltiu     $ra,-5076
    306         tltu      $11,$16              # CHECK: tltu $11, $16          # encoding: [0x01,0x70,0x00,0x33]
    307         tltu      $16,$29,1016         # CHECK: tltu $16, $sp, 1016    # encoding: [0x02,0x1d,0xfe,0x33]
    308         tne       $6,$17               # CHECK: tne $6, $17            # encoding: [0x00,0xd1,0x00,0x36]
    309         tne       $7,$8,885            # CHECK: tne $7, $8, 885        # encoding: [0x00,0xe8,0xdd,0x76]
    310         tnei      $12,-29647
    311         trunc.l.d $f23,$f23
    312         trunc.l.s $f28,$f31
    313         trunc.w.d $f22,$f15
    314         trunc.w.s $f28,$f30
    315         xor       $s2,$a0,$s8
    316         xor       $2, 4                # CHECK: xori $2, $2, 4         # encoding: [0x38,0x42,0x00,0x04]
    317         wsbh      $k1,$9
    318 
    319 1:
    320