1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant# Instructions that are valid
2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#
3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant# RUN: llvm-mc %s -triple=mips64-unknown-linux -show-encoding -mcpu=mips64r2 | FileCheck %s
4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanta:
5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant        .set noat
6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant        abs.d     $f7,$f25             # CHECK: encoding:
7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        abs.s     $f9,$f16
8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        add       $s7,$s2,$a1
9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        add       $9,$14,15176         # CHECK: addi $9, $14, 15176   # encoding: [0x21,0xc9,0x3b,0x48]
10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        add       $24,-7193            # CHECK: addi $24, $24, -7193  # encoding: [0x23,0x18,0xe3,0xe7]
11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        add.d     $f1,$f7,$f29
12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        add.s     $f8,$f21,$f24
13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        addi      $13,$9,26322
14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        addi      $8,$8,~1             # CHECK: addi $8, $8, -2 # encoding: [0x21,0x08,0xff,0xfe]
15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        addu      $9,$a0,$a2
16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        addu      $9,10                # CHECK: addiu $9, $9, 10    # encoding: [0x25,0x29,0x00,0x0a]
17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        and       $s7,$v0,$12
18bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        and       $2,4                 # CHECK: andi $2, $2, 4 # encoding: [0x30,0x42,0x00,0x04]
19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        bc1f      $fcc0, 4             # CHECK: bc1f 4        # encoding: [0x45,0x00,0x00,0x01]
20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        bc1f      $fcc1, 4             # CHECK: bc1f $fcc1, 4 # encoding: [0x45,0x04,0x00,0x01]
21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        bc1f      4                    # CHECK: bc1f 4        # encoding: [0x45,0x00,0x00,0x01]
22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        bc1fl     $fcc0,4688           # CHECK: bc1fl 4688      # encoding: [0x45,0x02,0x04,0x94]
23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        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        floor.l.d $f26,$f7
136        floor.l.s $f12,$f5
137        floor.w.d $f14,$f11
138        floor.w.s $f8,$f9
139        j         1f                   # CHECK: j $tmp0 # encoding: [0b000010AA,A,A,A]
140                                       # CHECK:         #   fixup A - offset: 0, value: ($tmp0), kind: fixup_Mips_26
141        j         a                    # CHECK: j a     # encoding: [0b000010AA,A,A,A]
142                                       # CHECK:         #   fixup A - offset: 0, value: a, kind: fixup_Mips_26
143        j         1328                 # CHECK: j 1328  # encoding: [0x08,0x00,0x01,0x4c]
144        jr.hb     $4                   # CHECK: jr.hb  $4 # encoding: [0x00,0x80,0x04,0x08]
145        jalr.hb   $4                   # CHECK: jalr.hb  $4 # encoding: [0x00,0x80,0xfc,0x09]
146        jalr.hb   $4, $5               # CHECK: jalr.hb  $4, $5 # encoding: [0x00,0xa0,0x24,0x09]
147        lb        $24,-14515($10)
148        lbu       $8,30195($v1)
149        ld        $sp,-28645($s1)
150        ldc1      $f11,16391($s0)
151        ldc2      $8,-21181($at)        # CHECK: ldc2 $8, -21181($1)   # encoding: [0xd8,0x28,0xad,0x43]
152        ldl       $24,-4167($24)
153        ldr       $14,-30358($s4)
154        ldxc1     $f8,$s7($15)
155        lh        $11,-8556($s5)
156        lhu       $s3,-22851($v0)
157        li        $at,-29773
158        li        $zero,-29889
159        ll        $v0,-7321($s2)       # CHECK: ll $2, -7321($18)     # encoding: [0xc2,0x42,0xe3,0x67]
160        lld       $zero,-14736($ra)    # CHECK: lld $zero, -14736($ra) # encoding: [0xd3,0xe0,0xc6,0x70]
161        luxc1     $f19,$s6($s5)
162        lw        $8,5674($a1)
163        lwc1      $f16,10225($k0)
164        lwc2      $18,-841($a2)        # CHECK: lwc2 $18, -841($6)     # encoding: [0xc8,0xd2,0xfc,0xb7]
165        lwl       $s4,-4231($15)
166        lwr       $zero,-19147($gp)
167        lwu       $s3,-24086($v1)
168        lwxc1     $f12,$s1($s8)
169        madd      $s6,$13
170        madd      $zero,$9
171        madd.s    $f1,$f31,$f19,$f25
172        maddu     $s3,$gp
173        maddu     $24,$s2
174        mfc0      $8,$15,1             # CHECK: mfc0 $8, $15, 1        # encoding: [0x40,0x08,0x78,0x01]
175        mfc1      $a3,$f27
176        mfhc1     $s8,$f24
177        mfhi      $s3
178        mfhi      $sp
179        mflo      $s1
180        mov.d     $f20,$f14
181        mov.s     $f2,$f27
182        move      $a0,$a3              # CHECK: move $4, $7              # encoding: [0x00,0xe0,0x20,0x25]
183        move      $s5,$a0              # CHECK: move $21, $4             # encoding: [0x00,0x80,0xa8,0x25]
184        move      $s8,$a0              # CHECK: move $fp, $4             # encoding: [0x00,0x80,0xf0,0x25]
185        move      $25,$a2              # CHECK: move $25, $6             # encoding: [0x00,0xc0,0xc8,0x25]
186        movf      $gp,$8,$fcc7
187        movf.d    $f6,$f11,$fcc5
188        movf.s    $f23,$f5,$fcc6
189        movn      $v1,$s1,$s0
190        movn.d    $f27,$f21,$k0
191        movn.s    $f12,$f0,$s7
192        movt      $zero,$s4,$fcc5
193        movt.d    $f0,$f2,$fcc0
194        movt.s    $f30,$f2,$fcc1
195        movz      $a1,$s6,$9
196        movz.d    $f12,$f29,$9
197        movz.s    $f25,$f7,$v1
198        msub      $s7,$k1
199        msub.s    $f12,$f19,$f10,$f16
200        msubu     $15,$a1
201        mtc0      $9,$15,1             # CHECK: mtc0 $9, $15, 1     # encoding: [0x40,0x89,0x78,0x01]
202        mtc1      $s8,$f9
203        mthc1     $zero,$f16
204        mthi      $s1
205        mtlo      $sp
206        mtlo      $25
207        mul       $s0,$s4,$at
208        mul.d     $f20,$f20,$f16
209        mul.s     $f30,$f10,$f2
210        mult      $sp,$s4
211        mult      $sp,$v0
212        multu     $gp,$k0
213        multu     $9,$s2
214        negu      $2                   # CHECK: negu $2, $2            # encoding: [0x00,0x02,0x10,0x23]
215        negu      $2,$3                # CHECK: negu $2, $3            # encoding: [0x00,0x03,0x10,0x23]
216        neg.d     $f27,$f18
217        neg.s     $f1,$f15
218        nmadd.s   $f0,$f5,$f25,$f12
219        nmsub.s   $f1,$f24,$f19,$f4
220        nop
221        nor       $a3,$zero,$a3
222        or        $12,$s0,$sp
223        or        $2, 4                # CHECK: ori $2, $2, 4           # encoding: [0x34,0x42,0x00,0x04]
224        pause                          # CHECK: pause # encoding:  [0x00,0x00,0x01,0x40]
225        pref      1, 8($5)             # CHECK: pref 1, 8($5)           # encoding: [0xcc,0xa1,0x00,0x08]
226        # FIXME: Use the code generator in order to print the .set directives
227        #        instead of the instruction printer.
228        rdhwr     $sp,$11              # CHECK:      .set  push
229                                       # CHECK-NEXT: .set  mips32r2
230                                       # CHECK-NEXT: rdhwr $sp, $11
231                                       # CHECK-NEXT: .set  pop          # encoding: [0x7c,0x1d,0x58,0x3b]
232        rotr      $1,15                # CHECK: rotr $1, $1, 15         # encoding: [0x00,0x21,0x0b,0xc2]
233        rotr      $1,$14,15            # CHECK: rotr $1, $14, 15        # encoding: [0x00,0x2e,0x0b,0xc2]
234        rotrv     $1,$14,$15           # CHECK: rotrv $1, $14, $15      # encoding: [0x01,0xee,0x08,0x46]
235        round.l.d $f12,$f1
236        round.l.s $f25,$f5
237        round.w.d $f6,$f4
238        round.w.s $f27,$f28
239        sb        $s6,-19857($14)
240        sc        $15,18904($s3)       # CHECK: sc $15, 18904($19)     # encoding: [0xe2,0x6f,0x49,0xd8]
241        scd       $15,-8243($sp)       # CHECK: scd $15, -8243($sp)    # encoding: [0xf3,0xaf,0xdf,0xcd]
242        sdbbp                          # CHECK: sdbbp                  # encoding: [0x70,0x00,0x00,0x3f]
243        sdbbp     34                   # CHECK: sdbbp 34               # encoding: [0x70,0x00,0x08,0xbf]
244        sd        $12,5835($10)
245        sdc1      $f31,30574($13)
246        sdc2      $20,23157($s2)       # CHECK: sdc2 $20, 23157($18)   # encoding: [0xfa,0x54,0x5a,0x75]
247        sdl       $a3,-20961($s8)
248        sdr       $11,-20423($12)
249        sdxc1     $f11,$10($14)
250        seb       $25,$15
251        seh       $v1,$12
252        sh        $14,-6704($15)
253        sll       $a3,18               # CHECK: sll $7, $7, 18         # encoding: [0x00,0x07,0x3c,0x80]
254        sll       $a3,$zero,18         # CHECK: sll $7, $zero, 18      # encoding: [0x00,0x00,0x3c,0x80]
255        sll       $a3,$zero,$9         # CHECK: sllv $7, $zero, $9     # encoding: [0x01,0x20,0x38,0x04]
256        sllv      $a3,$zero,$9         # CHECK: sllv $7, $zero, $9     # encoding: [0x01,0x20,0x38,0x04]
257        slt       $s7,$11,$k1          # CHECK: slt $23, $11, $27      # encoding: [0x01,0x7b,0xb8,0x2a]
258        slti      $s1,$10,9489         # CHECK: slti $17, $10, 9489    # encoding: [0x29,0x51,0x25,0x11]
259        sltiu     $25,$25,-15531       # CHECK: sltiu $25, $25, -15531 # encoding: [0x2f,0x39,0xc3,0x55]
260        sltu      $s4,$s5,$11          # CHECK: sltu  $20, $21, $11    # encoding: [0x02,0xab,0xa0,0x2b]
261        sltu      $24,$25,-15531       # CHECK: sltiu $24, $25, -15531 # encoding: [0x2f,0x38,0xc3,0x55]
262        sqrt.d    $f17,$f22
263        sqrt.s    $f0,$f1
264        sra       $s1,15               # CHECK: sra $17, $17, 15       # encoding: [0x00,0x11,0x8b,0xc3]
265        sra       $s1,$s7,15           # CHECK: sra $17, $23, 15       # encoding: [0x00,0x17,0x8b,0xc3]
266        sra       $s1,$s7,$sp          # CHECK: srav $17, $23, $sp     # encoding: [0x03,0xb7,0x88,0x07]
267        srav      $s1,$s7,$sp          # CHECK: srav $17, $23, $sp     # encoding: [0x03,0xb7,0x88,0x07]
268        srl       $2,7                 # CHECK: srl $2, $2, 7          # encoding: [0x00,0x02,0x11,0xc2]
269        srl       $2,$2,7              # CHECK: srl $2, $2, 7          # encoding: [0x00,0x02,0x11,0xc2]
270        srl       $25,$s4,$a0          # CHECK: srlv $25, $20, $4      # encoding: [0x00,0x94,0xc8,0x06]
271        srlv      $25,$s4,$a0          # CHECK: srlv $25, $20, $4      # encoding: [0x00,0x94,0xc8,0x06]
272        ssnop                          # CHECK: ssnop                  # encoding: [0x00,0x00,0x00,0x40]
273        sub       $s6,$s3,$12
274        sub       $22,$17,-3126        # CHECK: addi $22, $17, 3126    # encoding: [0x22,0x36,0x0c,0x36]
275        sub       $13,6512             # CHECK: addi $13, $13, -6512   # encoding: [0x21,0xad,0xe6,0x90]
276        sub.d     $f18,$f3,$f17
277        sub.s     $f23,$f22,$f22
278        subu      $sp,$s6,$s6
279        suxc1     $f12,$k1($13)
280        sw        $ra,-10160($sp)
281        swc1      $f6,-8465($24)
282        swc2      $25,24880($s0)       # CHECK: swc2 $25, 24880($16)   # encoding: [0xea,0x19,0x61,0x30]
283        swl       $15,13694($s3)
284        swr       $s1,-26590($14)
285        swxc1     $f19,$12($k0)
286        sync                           # CHECK: sync                   # encoding: [0x00,0x00,0x00,0x0f]
287        sync      1                    # CHECK: sync 1                 # encoding: [0x00,0x00,0x00,0x4f]
288        teq       $0,$3                # CHECK: teq $zero, $3          # encoding: [0x00,0x03,0x00,0x34]
289        teq       $5,$7,620            # CHECK: teq $5, $7, 620        # encoding: [0x00,0xa7,0x9b,0x34]
290        teqi      $s5,-17504
291        tge       $7,$10               # CHECK: tge $7, $10            # encoding: [0x00,0xea,0x00,0x30]
292        tge       $5,$19,340           # CHECK: tge $5, $19, 340       # encoding: [0x00,0xb3,0x55,0x30]
293        tgei      $s1,5025
294        tgeiu     $sp,-28621
295        tgeu      $22,$28              # CHECK: tgeu $22, $gp          # encoding: [0x02,0xdc,0x00,0x31]
296        tgeu      $20,$14,379          # CHECK: tgeu $20, $14, 379     # encoding: [0x02,0x8e,0x5e,0xf1]
297        tlbp                           # CHECK: tlbp                   # encoding: [0x42,0x00,0x00,0x08]
298        tlbr                           # CHECK: tlbr                   # encoding: [0x42,0x00,0x00,0x01]
299        tlbwi                          # CHECK: tlbwi                  # encoding: [0x42,0x00,0x00,0x02]
300        tlbwr                          # CHECK: tlbwr                  # encoding: [0x42,0x00,0x00,0x06]
301        tlt       $15,$13              # CHECK: tlt $15, $13           # encoding: [0x01,0xed,0x00,0x32]
302        tlt       $2,$19,133           # CHECK: tlt $2, $19, 133       # encoding: [0x00,0x53,0x21,0x72]
303        tlti      $14,-21059
304        tltiu     $ra,-5076
305        tltu      $11,$16              # CHECK: tltu $11, $16          # encoding: [0x01,0x70,0x00,0x33]
306        tltu      $16,$29,1016         # CHECK: tltu $16, $sp, 1016    # encoding: [0x02,0x1d,0xfe,0x33]
307        tne       $6,$17               # CHECK: tne $6, $17            # encoding: [0x00,0xd1,0x00,0x36]
308        tne       $7,$8,885            # CHECK: tne $7, $8, 885        # encoding: [0x00,0xe8,0xdd,0x76]
309        tnei      $12,-29647
310        trunc.l.d $f23,$f23
311        trunc.l.s $f28,$f31
312        trunc.w.d $f22,$f15
313        trunc.w.s $f28,$f30
314        xor       $s2,$a0,$s8
315        xor       $2, 4                # CHECK: xori $2, $2, 4         # encoding: [0x38,0x42,0x00,0x04]
316        wsbh      $k1,$9
317
3181:
319