xref: /aosp_15_r20/external/llvm/test/MC/Mips/macro-dli.s (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker# RUN: llvm-mc %s -triple=mips64-unknown-linux -show-encoding -mcpu=mips64r2 | \
2*9880d681SAndroid Build Coastguard Worker# RUN:   FileCheck %s
3*9880d681SAndroid Build Coastguard Worker# RUN: llvm-mc %s -triple=mips64-unknown-linux -show-encoding -mcpu=mips64r6 | \
4*9880d681SAndroid Build Coastguard Worker# RUN:   FileCheck %s
5*9880d681SAndroid Build Coastguard Worker
6*9880d681SAndroid Build Coastguard Workerbits_32_to_47_0x0000:           # CHECK-LABEL: bits_32_to_47_0x0000:
7*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000000000001      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
8*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000000000002      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
9*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000000004000      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
10*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000000008000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
11*9880d681SAndroid Build Coastguard Workerdli $5, 0x00000000ffff8000      # CHECK: ori $5, $zero, 65535        # encoding: [0x34,0x05,0xff,0xff]
12*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
13*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
14*9880d681SAndroid Build Coastguard Workerdli $5, 0x00000000ffffc000      # CHECK: ori $5, $zero, 65535        # encoding: [0x34,0x05,0xff,0xff]
15*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
16*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 49152           # encoding: [0x34,0xa5,0xc0,0x00]
17*9880d681SAndroid Build Coastguard Workerdli $5, 0x00000000fffffffe      # CHECK: ori $5, $zero, 65535        # encoding: [0x34,0x05,0xff,0xff]
18*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
19*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 65534           # encoding: [0x34,0xa5,0xff,0xfe]
20*9880d681SAndroid Build Coastguard Workerdli $5, 0x00000000ffffffff      # CHECK: lui $5, 65535               # encoding: [0x3c,0x05,0xff,0xff]
21*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsrl32 $5, $5, 0            # encoding: [0x00,0x05,0x28,0x3e]
22*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000000010000      # CHECK: lui $5, 1                   # encoding: [0x3c,0x05,0x00,0x01]
23*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000000020000      # CHECK: lui $5, 2                   # encoding: [0x3c,0x05,0x00,0x02]
24*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000040000000      # CHECK: lui $5, 16384               # encoding: [0x3c,0x05,0x40,0x00]
25*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000080000000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
26*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
27*9880d681SAndroid Build Coastguard Workerdli $5, 0x00000000c0000000      # CHECK: ori $5, $zero, 49152        # encoding: [0x34,0x05,0xc0,0x00]
28*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
29*9880d681SAndroid Build Coastguard Workerdli $5, 0x00000000fffe0000      # CHECK: ori $5, $zero, 65534        # encoding: [0x34,0x05,0xff,0xfe]
30*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
31*9880d681SAndroid Build Coastguard Workerdli $5, 0x00000000ffff0000      # CHECK: ori $5, $zero, 65535        # encoding: [0x34,0x05,0xff,0xff]
32*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
33*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000000010001      # CHECK: lui $5, 1                   # encoding: [0x3c,0x05,0x00,0x01]
34*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
35*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000000020001      # CHECK: lui $5, 2                   # encoding: [0x3c,0x05,0x00,0x02]
36*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
37*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000040000001      # CHECK: lui $5, 16384               # encoding: [0x3c,0x05,0x40,0x00]
38*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
39*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000080000001      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
40*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
41*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
42*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000000010002      # CHECK: lui $5, 1                   # encoding: [0x3c,0x05,0x00,0x01]
43*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
44*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000000020002      # CHECK: lui $5, 2                   # encoding: [0x3c,0x05,0x00,0x02]
45*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
46*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000040000002      # CHECK: lui $5, 16384               # encoding: [0x3c,0x05,0x40,0x00]
47*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
48*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000080000002      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
49*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
50*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
51*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000000014000      # CHECK: lui $5, 1                   # encoding: [0x3c,0x05,0x00,0x01]
52*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
53*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000000024000      # CHECK: lui $5, 2                   # encoding: [0x3c,0x05,0x00,0x02]
54*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
55*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000040004000      # CHECK: lui $5, 16384               # encoding: [0x3c,0x05,0x40,0x00]
56*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
57*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000080004000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
58*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
59*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
60*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000000018000      # CHECK: lui $5, 1                   # encoding: [0x3c,0x05,0x00,0x01]
61*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
62*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000000028000      # CHECK: lui $5, 2                   # encoding: [0x3c,0x05,0x00,0x02]
63*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
64*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000040008000      # CHECK: lui $5, 16384               # encoding: [0x3c,0x05,0x40,0x00]
65*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
66*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000080008000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
67*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
68*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
69*9880d681SAndroid Build Coastguard Workerdli $5, 0x00000000c0008000      # CHECK: ori $5, $zero, 49152        # encoding: [0x34,0x05,0xc0,0x00]
70*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
71*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
72*9880d681SAndroid Build Coastguard Workerdli $5, 0x00000000fffe8000      # CHECK: ori $5, $zero, 65534        # encoding: [0x34,0x05,0xff,0xfe]
73*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
74*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
75*9880d681SAndroid Build Coastguard Workerdli $5, 0x00000000ffff8000      # CHECK: ori $5, $zero, 65535        # encoding: [0x34,0x05,0xff,0xff]
76*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
77*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
78*9880d681SAndroid Build Coastguard Workerbits_32_to_47_0x0001:           # CHECK-LABEL: bits_32_to_47_0x0001:
79*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000100000000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
80*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 17             # encoding: [0x00,0x05,0x2c,0x78]
81*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000100000001      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
82*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll32 $5, $5, 0            # encoding: [0x00,0x05,0x28,0x3c]
83*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
84*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000100000002      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
85*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll32 $5, $5, 0            # encoding: [0x00,0x05,0x28,0x3c]
86*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
87*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000100004000      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
88*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll32 $5, $5, 0            # encoding: [0x00,0x05,0x28,0x3c]
89*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
90*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000100008000      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
91*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll32 $5, $5, 0            # encoding: [0x00,0x05,0x28,0x3c]
92*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
93*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000100010000      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
94*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
95*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
96*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
97*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000100010001      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
98*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
99*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
100*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
101*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
102*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000100010002      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
103*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
104*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
105*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
106*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
107*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000100014000      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
108*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
109*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
110*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
111*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
112*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000100018000      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
113*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
114*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
115*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
116*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
117*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000100020000      # CHECK: ori $5, $zero, 32769        # encoding: [0x34,0x05,0x80,0x01]
118*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 17             # encoding: [0x00,0x05,0x2c,0x78]
119*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000100020001      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
120*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
121*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
122*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
123*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
124*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000100020002      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
125*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
126*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
127*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
128*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
129*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000100024000      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
130*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
131*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
132*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
133*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
134*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000100028000      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
135*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
136*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
137*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
138*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
139*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000140000000      # CHECK: ori $5, $zero, 40960        # encoding: [0x34,0x05,0xa0,0x00]
140*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 17             # encoding: [0x00,0x05,0x2c,0x78]
141*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000140000001      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
142*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
143*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
144*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
145*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
146*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000140000002      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
147*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
148*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
149*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
150*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
151*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000140004000      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
152*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
153*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
154*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
155*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
156*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000140008000      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
157*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
158*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
159*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
160*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
161*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000180000000      # CHECK: ori $5, $zero, 49152        # encoding: [0x34,0x05,0xc0,0x00]
162*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 17             # encoding: [0x00,0x05,0x2c,0x78]
163*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000180000001      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
164*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
165*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
166*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
167*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
168*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000180000002      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
169*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
170*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
171*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
172*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
173*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000180004000      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
174*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
175*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
176*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
177*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
178*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000180008000      # CHECK: addiu $5, $zero, 1          # encoding: [0x24,0x05,0x00,0x01]
179*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
180*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
181*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
182*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
183*9880d681SAndroid Build Coastguard Workerbits_32_to_47_0x0002:           # CHECK-LABEL: bits_32_to_47_0x0002:
184*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000200000000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
185*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 18             # encoding: [0x00,0x05,0x2c,0xb8]
186*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000200000001      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
187*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll32 $5, $5, 0            # encoding: [0x00,0x05,0x28,0x3c]
188*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
189*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000200000002      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
190*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll32 $5, $5, 0            # encoding: [0x00,0x05,0x28,0x3c]
191*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
192*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000200004000      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
193*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll32 $5, $5, 0            # encoding: [0x00,0x05,0x28,0x3c]
194*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
195*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000200008000      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
196*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll32 $5, $5, 0            # encoding: [0x00,0x05,0x28,0x3c]
197*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
198*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000200010000      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
199*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
200*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
201*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
202*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000200010001      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
203*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
204*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
205*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
206*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
207*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000200010002      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
208*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
209*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
210*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
211*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
212*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000200014000      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
213*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
214*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
215*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
216*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
217*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000200018000      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
218*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
219*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
220*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
221*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
222*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000200020000      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
223*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
224*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
225*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
226*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000200020001      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
227*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
228*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
229*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
230*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
231*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000200020002      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
232*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
233*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
234*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
235*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
236*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000200024000      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
237*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
238*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
239*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
240*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
241*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000200028000      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
242*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
243*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
244*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
245*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
246*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000240000000      # CHECK: ori $5, $zero, 36864        # encoding: [0x34,0x05,0x90,0x00]
247*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 18             # encoding: [0x00,0x05,0x2c,0xb8]
248*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000240000001      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
249*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
250*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
251*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
252*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
253*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000240000002      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
254*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
255*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
256*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
257*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
258*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000240004000      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
259*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
260*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
261*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
262*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
263*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000240008000      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
264*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
265*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
266*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
267*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
268*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000280000000      # CHECK: ori $5, $zero, 40960        # encoding: [0x34,0x05,0xa0,0x00]
269*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 18             # encoding: [0x00,0x05,0x2c,0xb8]
270*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000280000001      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
271*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
272*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
273*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
274*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
275*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000280000002      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
276*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
277*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
278*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
279*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
280*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000280004000      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
281*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
282*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
283*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
284*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
285*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000000280008000      # CHECK: addiu $5, $zero, 2          # encoding: [0x24,0x05,0x00,0x02]
286*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
287*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
288*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
289*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
290*9880d681SAndroid Build Coastguard Workerbits_32_to_47_0x4000:           # CHECK-LABEL: bits_32_to_47_0x4000:
291*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400000000000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
292*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 31             # encoding: [0x00,0x05,0x2f,0xf8]
293*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400000000001      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
294*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll32 $5, $5, 0            # encoding: [0x00,0x05,0x28,0x3c]
295*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
296*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400000000002      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
297*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll32 $5, $5, 0            # encoding: [0x00,0x05,0x28,0x3c]
298*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
299*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400000004000      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
300*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll32 $5, $5, 0            # encoding: [0x00,0x05,0x28,0x3c]
301*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
302*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400000008000      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
303*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll32 $5, $5, 0            # encoding: [0x00,0x05,0x28,0x3c]
304*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
305*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400000010000      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
306*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
307*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
308*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
309*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400000010001      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
310*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
311*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
312*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
313*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
314*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400000010002      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
315*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
316*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
317*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
318*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
319*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400000014000      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
320*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
321*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
322*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
323*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
324*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400000018000      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
325*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
326*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
327*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
328*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
329*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400000020000      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
330*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
331*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
332*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
333*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400000020001      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
334*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
335*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
336*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
337*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
338*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400000020002      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
339*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
340*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
341*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
342*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
343*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400000024000      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
344*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
345*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
346*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
347*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
348*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400000028000      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
349*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
350*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
351*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
352*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
353*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400040000000      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
354*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
355*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
356*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
357*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400040000001      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
358*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
359*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
360*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
361*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
362*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400040000002      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
363*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
364*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
365*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
366*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
367*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400040004000      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
368*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
369*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
370*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
371*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
372*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400040008000      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
373*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
374*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
375*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
376*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
377*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400080000000      # CHECK: ori $5, $zero, 32769        # encoding: [0x34,0x05,0x80,0x01]
378*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 31             # encoding: [0x00,0x05,0x2f,0xf8]
379*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400080000001      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
380*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
381*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
382*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
383*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
384*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400080000002      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
385*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
386*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
387*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
388*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
389*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400080004000      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
390*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
391*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
392*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
393*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
394*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000400080008000      # CHECK: addiu $5, $zero, 16384      # encoding: [0x24,0x05,0x40,0x00]
395*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
396*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
397*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
398*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
399*9880d681SAndroid Build Coastguard Workerbits_32_to_47_0x8000:           # CHECK-LABEL: bits_32_to_47_0x8000:
400*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800000000000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
401*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 32             # encoding: [0x00,0x05,0x28,0x3c]
402*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800000000001      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
403*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll32 $5, $5, 0            # encoding: [0x00,0x05,0x28,0x3c]
404*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
405*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800000000002      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
406*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll32 $5, $5, 0            # encoding: [0x00,0x05,0x28,0x3c]
407*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
408*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800000004000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
409*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll32 $5, $5, 0            # encoding: [0x00,0x05,0x28,0x3c]
410*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
411*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800000008000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
412*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll32 $5, $5, 0            # encoding: [0x00,0x05,0x28,0x3c]
413*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
414*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800000010000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
415*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
416*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
417*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
418*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800000010001      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
419*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
420*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
421*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
422*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
423*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800000010002      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
424*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
425*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
426*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
427*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
428*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800000014000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
429*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
430*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
431*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
432*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
433*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800000018000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
434*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
435*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
436*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
437*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
438*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800000020000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
439*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
440*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
441*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
442*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800000020001      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
443*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
444*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
445*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
446*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
447*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800000020002      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
448*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
449*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
450*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
451*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
452*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800000024000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
453*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
454*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
455*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
456*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
457*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800000028000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
458*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
459*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
460*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
461*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
462*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800040000000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
463*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
464*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
465*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
466*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800040000001      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
467*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
468*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
469*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
470*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
471*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800040000002      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
472*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
473*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
474*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
475*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
476*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800040004000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
477*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
478*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
479*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
480*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
481*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800040008000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
482*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
483*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
484*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
485*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
486*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800080000000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
487*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
488*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
489*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
490*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800080000001      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
491*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
492*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
493*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
494*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 1               # encoding: [0x34,0xa5,0x00,0x01]
495*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800080000002      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
496*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
497*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
498*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
499*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 2               # encoding: [0x34,0xa5,0x00,0x02]
500*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800080004000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
501*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
502*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
503*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
504*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 16384           # encoding: [0x34,0xa5,0x40,0x00]
505*9880d681SAndroid Build Coastguard Workerdli $5, 0x0000800080008000      # CHECK: ori $5, $zero, 32768        # encoding: [0x34,0x05,0x80,0x00]
506*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
507*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
508*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
509*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
510*9880d681SAndroid Build Coastguard Worker# Only test a few with bits 48-63 non-zero. It just adds an lui to the cases we've already done.
511*9880d681SAndroid Build Coastguard Workerdli $5, 0x0001800080008000      # CHECK: lui $5, 1                   # encoding: [0x3c,0x05,0x00,0x01]
512*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
513*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
514*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
515*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
516*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
517*9880d681SAndroid Build Coastguard Workerdli $5, 0x0002800080008000      # CHECK: lui $5, 2                   # encoding: [0x3c,0x05,0x00,0x02]
518*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
519*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
520*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
521*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
522*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
523*9880d681SAndroid Build Coastguard Workerdli $5, 0x4000800080008000      # CHECK: lui $5, 16384               # encoding: [0x3c,0x05,0x40,0x00]
524*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
525*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
526*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
527*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
528*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
529*9880d681SAndroid Build Coastguard Workerdli $5, 0x8000800080008000      # CHECK: lui $5, 32768               # encoding: [0x3c,0x05,0x80,0x00]
530*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
531*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
532*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
533*9880d681SAndroid Build Coastguard Worker                                # CHECK: dsll $5, $5, 16             # encoding: [0x00,0x05,0x2c,0x38]
534*9880d681SAndroid Build Coastguard Worker                                # CHECK: ori $5, $5, 32768           # encoding: [0x34,0xa5,0x80,0x00]
535