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