xref: /llvm-project/llvm/test/MC/PowerPC/ppc64-encoding-ISA31.s (revision ea8b95d0d52768f014ba7bb7be5abb7e00e69064)
1# RUN: llvm-mc -triple powerpc64-unknown-linux-gnu --show-encoding %s | \
2# RUN:   FileCheck -check-prefix=CHECK-BE %s
3# RUN: llvm-mc -triple powerpc64le-unknown-linux-gnu --show-encoding %s | \
4# RUN:   FileCheck -check-prefix=CHECK-LE %s
5
6# CHECK-BE: plxv 63, 8589934591(0), 1       # encoding: [0x04,0x11,0xff,0xff
7# CHECK-BE-SAME:                                         0xcf,0xe0,0xff,0xff]
8# CHECK-LE: plxv 63, 8589934591(0), 1       # encoding: [0xff,0xff,0x11,0x04
9# CHECK-LE-SAME:                                         0xff,0xff,0xe0,0xcf]
10            plxv 63, 8589934591(0), 1
11# CHECK-BE: plxv 33, -8589934592(31), 0     # encoding: [0x04,0x02,0x00,0x00
12# CHECK-BE-SAME:                                         0xcc,0x3f,0x00,0x00]
13# CHECK-LE: plxv 33, -8589934592(31), 0     # encoding: [0x00,0x00,0x02,0x04
14# CHECK-LE-SAME:                                         0x00,0x00,0x3f,0xcc]
15            plxv 33, -8589934592(31), 0
16# CHECK-BE: pstxv 63, 8589934591(0), 1      # encoding: [0x04,0x11,0xff,0xff
17# CHECK-BE-SAME:                                         0xdf,0xe0,0xff,0xff]
18# CHECK-LE: pstxv 63, 8589934591(0), 1      # encoding: [0xff,0xff,0x11,0x04
19# CHECK-LE-SAME:                                         0xff,0xff,0xe0,0xdf]
20            pstxv 63, 8589934591(0), 1
21# CHECK-BE: pstxv 33, -8589934592(31), 0    # encoding: [0x04,0x02,0x00,0x00
22# CHECK-BE-SAME:                                         0xdc,0x3f,0x00,0x00]
23# CHECK-LE: pstxv 33, -8589934592(31), 0    # encoding: [0x00,0x00,0x02,0x04
24# CHECK-LE-SAME:                                         0x00,0x00,0x3f,0xdc]
25            pstxv 33, -8589934592(31), 0
26# CHECK-BE: xxmfacc 2                          # encoding: [0x7d,0x00,0x01,0x62]
27# CHECK-LE: xxmfacc 2                          # encoding: [0x62,0x01,0x00,0x7d]
28            xxmfacc 2
29# CHECK-BE: xxmtacc 2                          # encoding: [0x7d,0x01,0x01,0x62]
30# CHECK-LE: xxmtacc 2                          # encoding: [0x62,0x01,0x01,0x7d]
31            xxmtacc 2
32# CHECK-BE: xxsetaccz 1                        # encoding: [0x7c,0x83,0x01,0x62]
33# CHECK-LE: xxsetaccz 1                        # encoding: [0x62,0x01,0x83,0x7c]
34            xxsetaccz 1
35# CHECK-BE: pmxvf16ger2 0, 1, 2, 4, 4, 2          # encoding: [0x07,0x90,0x80,0x44,
36# CHECK-BE-SAME:                                               0xec,0x01,0x10,0x98]
37# CHECK-LE: pmxvf16ger2 0, 1, 2, 4, 4, 2          # encoding: [0x44,0x80,0x90,0x07,
38# CHECK-LE-SAME:                                               0x98,0x10,0x01,0xec]
39            pmxvf16ger2 0, 1, 2, 4, 4, 2
40# CHECK-BE: pmxvf16ger2pp 0, 1, 2, 4, 4, 2        # encoding: [0x07,0x90,0x80,0x44,
41# CHECK-BE-SAME:                                               0xec,0x01,0x10,0x90]
42# CHECK-LE: pmxvf16ger2pp 0, 1, 2, 4, 4, 2        # encoding: [0x44,0x80,0x90,0x07,
43# CHECK-LE-SAME:                                               0x90,0x10,0x01,0xec
44            pmxvf16ger2pp 0, 1, 2, 4, 4, 2
45# CHECK-BE: pmxvf16ger2pn 0, 1, 2, 4, 4, 2        # encoding: [0x07,0x90,0x80,0x44,
46# CHECK-BE-SAME:                                               0xec,0x01,0x14,0x90]
47# CHECK-LE: pmxvf16ger2pn 0, 1, 2, 4, 4, 2        # encoding: [0x44,0x80,0x90,0x07,
48# CHECK-LE-SAME:                                               0x90,0x14,0x01,0xec]
49            pmxvf16ger2pn 0, 1, 2, 4, 4, 2
50# CHECK-BE: pmxvf16ger2np 0, 1, 2, 4, 4, 2        # encoding: [0x07,0x90,0x80,0x44,
51# CHECK-BE-SAME:                                               0xec,0x01,0x12,0x90]
52# CHECK-LE: pmxvf16ger2np 0, 1, 2, 4, 4, 2        # encoding: [0x44,0x80,0x90,0x07,
53# CHECK-LE-SAME:                                               0x90,0x12,0x01,0xec]
54            pmxvf16ger2np 0, 1, 2, 4, 4, 2
55# CHECK-BE: pmxvf16ger2nn 0, 1, 2, 4, 4, 2        # encoding: [0x07,0x90,0x80,0x44,
56# CHECK-BE-SAME:                                               0xec,0x01,0x16,0x90]
57# CHECK-LE: pmxvf16ger2nn 0, 1, 2, 4, 4, 2        # encoding: [0x44,0x80,0x90,0x07,
58# CHECK-LE-SAME:                                               0x90,0x16,0x01,0xec]
59            pmxvf16ger2nn 0, 1, 2, 4, 4, 2
60# CHECK-BE: pmxvf32ger 0, 1, 2, 4, 4              # encoding: [0x07,0x90,0x00,0x44,
61# CHECK-BE-SAME:                                               0xec,0x01,0x10,0xd8]
62# CHECK-LE: pmxvf32ger 0, 1, 2, 4, 4              # encoding: [0x44,0x00,0x90,0x07,
63# CHECK-LE-SAME:                                               0xd8,0x10,0x01,0xec]
64            pmxvf32ger 0, 1, 2, 4, 4
65# CHECK-BE: pmxvf32gerpp 0, 1, 2, 4, 4            # encoding: [0x07,0x90,0x00,0x44,
66# CHECK-BE-SAME:                                               0xec,0x01,0x10,0xd0]
67# CHECK-LE: pmxvf32gerpp 0, 1, 2, 4, 4            # encoding: [0x44,0x00,0x90,0x07,
68# CHECK-LE-SAME:                                               0xd0,0x10,0x01,0xec]
69            pmxvf32gerpp 0, 1, 2, 4, 4
70# CHECK-BE: pmxvf32gerpn 0, 1, 2, 4, 4            # encoding: [0x07,0x90,0x00,0x44,
71# CHECK-BE-SAME:                                               0xec,0x01,0x14,0xd0]
72# CHECK-LE: pmxvf32gerpn 0, 1, 2, 4, 4            # encoding: [0x44,0x00,0x90,0x07,
73# CHECK-LE-SAME:                                               0xd0,0x14,0x01,0xec]
74            pmxvf32gerpn 0, 1, 2, 4, 4
75# CHECK-BE: pmxvf32gernp 0, 1, 2, 4, 4            # encoding: [0x07,0x90,0x00,0x44,
76# CHECK-BE-SAME:                                               0xec,0x01,0x12,0xd0]
77# CHECK-LE: pmxvf32gernp 0, 1, 2, 4, 4            # encoding: [0x44,0x00,0x90,0x07,
78# CHECK-LE-SAME:                                               0xd0,0x12,0x01,0xec]
79            pmxvf32gernp 0, 1, 2, 4, 4
80# CHECK-BE: pmxvf32gernn 0, 1, 2, 4, 4            # encoding: [0x07,0x90,0x00,0x44,
81# CHECK-BE-SAME:                                               0xec,0x01,0x16,0xd0]
82# CHECK-LE: pmxvf32gernn 0, 1, 2, 4, 4            # encoding: [0x44,0x00,0x90,0x07,
83# CHECK-LE-SAME:                                               0xd0,0x16,0x01,0xec]
84            pmxvf32gernn 0, 1, 2, 4, 4
85# CHECK-BE: pmxvf64ger 0, 0, 2, 4, 3              # encoding: [0x07,0x90,0x00,0x4c,
86# CHECK-BE-SAME:                                               0xec,0x00,0x11,0xd8]
87# CHECK-LE: pmxvf64ger 0, 0, 2, 4, 3              # encoding: [0x4c,0x00,0x90,0x07,
88# CHECK-LE-SAME:                                               0xd8,0x11,0x00,0xec]
89            pmxvf64ger 0, 0, 2, 4, 3
90# CHECK-BE: pmxvf64gerpp 0, 2, 2, 4, 3            # encoding: [0x07,0x90,0x00,0x4c,
91# CHECK-BE-SAME:                                               0xec,0x02,0x11,0xd0]
92# CHECK-LE: pmxvf64gerpp 0, 2, 2, 4, 3            # encoding: [0x4c,0x00,0x90,0x07,
93# CHECK-LE-SAME:                                               0xd0,0x11,0x02,0xec]
94            pmxvf64gerpp 0, 2, 2, 4, 3
95# CHECK-BE: pmxvf64gerpn 0, 4, 2, 4, 3            # encoding: [0x07,0x90,0x00,0x4c,
96# CHECK-BE-SAME:                                               0xec,0x04,0x15,0xd0]
97# CHECK-LE: pmxvf64gerpn 0, 4, 2, 4, 3            # encoding: [0x4c,0x00,0x90,0x07,
98# CHECK-LE-SAME:                                               0xd0,0x15,0x04,0xec]
99            pmxvf64gerpn 0, 4, 2, 4, 3
100# CHECK-BE: pmxvf64gernp 0, 32, 2, 4, 3           # encoding: [0x07,0x90,0x00,0x4c,
101# CHECK-BE-SAME:                                               0xec,0x00,0x13,0xd4]
102# CHECK-LE: pmxvf64gernp 0, 32, 2, 4, 3           # encoding: [0x4c,0x00,0x90,0x07,
103# CHECK-LE-SAME:                                               0xd4,0x13,0x00,0xec]
104            pmxvf64gernp 0, 32, 2, 4, 3
105# CHECK-BE: pmxvf64gernn 0, 62, 2, 4, 3           # encoding: [0x07,0x90,0x00,0x4c,
106# CHECK-BE-SAME:                                               0xec,0x1e,0x17,0xd4]
107# CHECK-LE: pmxvf64gernn 0, 62, 2, 4, 3           # encoding: [0x4c,0x00,0x90,0x07,
108# CHECK-LE-SAME:                                               0xd4,0x17,0x1e,0xec]
109            pmxvf64gernn 0, 62, 2, 4, 3
110# CHECK-BE: pmxvi4ger8 0, 1, 2, 4, 4, 4           # encoding: [0x07,0x90,0x04,0x44,
111# CHECK-BE-SAME:                                               0xec,0x01,0x11,0x18]
112# CHECK-LE: pmxvi4ger8 0, 1, 2, 4, 4, 4           # encoding: [0x44,0x04,0x90,0x07
113# CHECK-LE-SAME:                                               0x18,0x11,0x01,0xec]
114            pmxvi4ger8 0, 1, 2, 4, 4, 4
115# CHECK-BE: pmxvi4ger8pp 0, 1, 2, 4, 4, 4         # encoding: [0x07,0x90,0x04,0x44,
116# CHECK-BE-SAME:                                               0xec,0x01,0x11,0x10]
117# CHECK-LE: pmxvi4ger8pp 0, 1, 2, 4, 4, 4         # encoding: [0x44,0x04,0x90,0x07
118# CHECK-LE-SAME:                                               0x10,0x11,0x01,0xec]
119            pmxvi4ger8pp 0, 1, 2, 4, 4, 4
120# CHECK-BE: pmxvi8ger4 0, 1, 2, 4, 4, 4           # encoding: [0x07,0x90,0x40,0x44,
121# CHECK-BE-SAME:                                               0xec,0x01,0x10,0x18]
122# CHECK-LE: pmxvi8ger4 0, 1, 2, 4, 4, 4           # encoding: [0x44,0x40,0x90,0x07,
123# CHECK-LE-SAME:                                               0x18,0x10,0x01,0xec]
124            pmxvi8ger4 0, 1, 2, 4, 4, 4
125# CHECK-BE: pmxvi8ger4pp 0, 1, 2, 4, 4, 4         # encoding: [0x07,0x90,0x40,0x44,
126# CHECK-BE-SAME:                                               0xec,0x01,0x10,0x10]
127# CHECK-LE: pmxvi8ger4pp 0, 1, 2, 4, 4, 4         # encoding: [0x44,0x40,0x90,0x07,
128# CHECK-LE-SAME:                                               0x10,0x10,0x01,0xec]
129            pmxvi8ger4pp 0, 1, 2, 4, 4, 4
130# CHECK-BE: pmxvi16ger2s 0, 1, 2, 4, 4, 2         # encoding: [0x07,0x90,0x80,0x44,
131# CHECK-BE-SAME:                                               0xec,0x01,0x11,0x58]
132# CHECK-LE: pmxvi16ger2s 0, 1, 2, 4, 4, 2         # encoding: [0x44,0x80,0x90,0x07,
133# CHECK-LE-SAME:                                               0x58,0x11,0x01,0xec]
134            pmxvi16ger2s 0, 1, 2, 4, 4, 2
135# CHECK-BE: pmxvi16ger2spp 0, 1, 2, 4, 4, 2       # encoding: [0x07,0x90,0x80,0x44,
136# CHECK-BE-SAME:                                               0xec,0x01,0x11,0x50]
137# CHECK-LE: pmxvi16ger2spp 0, 1, 2, 4, 4, 2       # encoding: [0x44,0x80,0x90,0x07,
138# CHECK-LE-SAME:                                               0x50,0x11,0x01,0xec]
139            pmxvi16ger2spp 0, 1, 2, 4, 4, 2
140# CHECK-BE: xvf16ger2 0, 1, 2                     # encoding: [0xec,0x01,0x10,0x98]
141# CHECK-LE: xvf16ger2 0, 1, 2                     # encoding: [0x98,0x10,0x01,0xec]
142            xvf16ger2 0, 1, 2
143# CHECK-BE: xvf16ger2pp 0, 1, 2                   # encoding: [0xec,0x01,0x10,0x90]
144# CHECK-LE: xvf16ger2pp 0, 1, 2                   # encoding: [0x90,0x10,0x01,0xec]
145            xvf16ger2pp 0, 1, 2
146# CHECK-BE: xvf16ger2pn 0, 1, 2                   # encoding: [0xec,0x01,0x14,0x90]
147# CHECK-LE: xvf16ger2pn 0, 1, 2                   # encoding: [0x90,0x14,0x01,0xec]
148            xvf16ger2pn 0, 1, 2
149# CHECK-BE: xvf16ger2np 0, 1, 2                   # encoding: [0xec,0x01,0x12,0x90]
150# CHECK-LE: xvf16ger2np 0, 1, 2                   # encoding: [0x90,0x12,0x01,0xec]
151            xvf16ger2np 0, 1, 2
152# CHECK-BE: xvf16ger2nn 0, 1, 2                   # encoding: [0xec,0x01,0x16,0x90]
153# CHECK-LE: xvf16ger2nn 0, 1, 2                   # encoding: [0x90,0x16,0x01,0xec]
154            xvf16ger2nn 0, 1, 2
155# CHECK-BE: xvf32ger 0, 1, 2                      # encoding: [0xec,0x01,0x10,0xd8]
156# CHECK-LE: xvf32ger 0, 1, 2                      # encoding: [0xd8,0x10,0x01,0xec]
157            xvf32ger 0, 1, 2
158# CHECK-BE: xvf32gerpp 0, 1, 2                    # encoding: [0xec,0x01,0x10,0xd0]
159# CHECK-LE: xvf32gerpp 0, 1, 2                    # encoding: [0xd0,0x10,0x01,0xec]
160            xvf32gerpp 0, 1, 2
161# CHECK-BE: xvf32gerpn 0, 1, 2                    # encoding: [0xec,0x01,0x14,0xd0]
162# CHECK-LE: xvf32gerpn 0, 1, 2                    # encoding: [0xd0,0x14,0x01,0xec]
163            xvf32gerpn 0, 1, 2
164# CHECK-BE: xvf32gernp 0, 1, 2                    # encoding: [0xec,0x01,0x12,0xd0]
165# CHECK-LE: xvf32gernp 0, 1, 2                    # encoding: [0xd0,0x12,0x01,0xec]
166            xvf32gernp 0, 1, 2
167# CHECK-BE: xvf32gernn 0, 1, 2                    # encoding: [0xec,0x01,0x16,0xd0]
168# CHECK-LE: xvf32gernn 0, 1, 2                    # encoding: [0xd0,0x16,0x01,0xec]
169            xvf32gernn 0, 1, 2
170# CHECK-BE: xvf64ger 0, 2, 2                      # encoding: [0xec,0x02,0x11,0xd8]
171# CHECK-LE: xvf64ger 0, 2, 2                      # encoding: [0xd8,0x11,0x02,0xec]
172            xvf64ger 0, 2, 2
173# CHECK-BE: xvf64gerpp 0, 0, 2                    # encoding: [0xec,0x00,0x11,0xd0]
174# CHECK-LE: xvf64gerpp 0, 0, 2                    # encoding: [0xd0,0x11,0x00,0xec]
175            xvf64gerpp 0, 0, 2
176# CHECK-BE: xvf64gerpn 0, 4, 2                    # encoding: [0xec,0x04,0x15,0xd0]
177# CHECK-LE: xvf64gerpn 0, 4, 2                    # encoding: [0xd0,0x15,0x04,0xec]
178            xvf64gerpn 0, 4, 2
179# CHECK-BE: xvf64gernp 0, 62, 2                   # encoding: [0xec,0x1e,0x13,0xd4]
180# CHECK-LE: xvf64gernp 0, 62, 2                   # encoding: [0xd4,0x13,0x1e,0xec]
181            xvf64gernp 0, 62, 2
182# CHECK-BE: xvf64gernn 0, 0, 2                    # encoding: [0xec,0x00,0x17,0xd0]
183# CHECK-LE: xvf64gernn 0, 0, 2                    # encoding: [0xd0,0x17,0x00,0xec]
184            xvf64gernn 0, 0, 2
185# CHECK-BE: xvi4ger8 0, 1, 2                      # encoding: [0xec,0x01,0x11,0x18]
186# CHECK-LE: xvi4ger8 0, 1, 2                      # encoding: [0x18,0x11,0x01,0xec]
187            xvi4ger8 0, 1, 2
188# CHECK-BE: xvi4ger8pp 0, 1, 2                    # encoding: [0xec,0x01,0x11,0x10]
189# CHECK-LE: xvi4ger8pp 0, 1, 2                    # encoding: [0x10,0x11,0x01,0xec]
190            xvi4ger8pp 0, 1, 2
191# CHECK-BE: xvi8ger4 0, 1, 2                      # encoding: [0xec,0x01,0x10,0x18]
192# CHECK-LE: xvi8ger4 0, 1, 2                      # encoding: [0x18,0x10,0x01,0xec]
193            xvi8ger4 0, 1, 2
194# CHECK-BE: xvi8ger4pp 0, 1, 2                    # encoding: [0xec,0x01,0x10,0x10]
195# CHECK-LE: xvi8ger4pp 0, 1, 2                    # encoding: [0x10,0x10,0x01,0xec]
196            xvi8ger4pp 0, 1, 2
197# CHECK-BE: xvi16ger2s 0, 1, 2                    # encoding: [0xec,0x01,0x11,0x58]
198# CHECK-LE: xvi16ger2s 0, 1, 2                    # encoding: [0x58,0x11,0x01,0xec]
199            xvi16ger2s 0, 1, 2
200# CHECK-BE: xvi16ger2spp 0, 1, 2                  # encoding: [0xec,0x01,0x11,0x50]
201# CHECK-LE: xvi16ger2spp 0, 1, 2                  # encoding: [0x50,0x11,0x01,0xec]
202            xvi16ger2spp 0, 1, 2
203# CHECK-BE: xvbf16ger2 2, 33, 34                  # encoding: [0xed,0x01,0x11,0x9e]
204# CHECK-LE: xvbf16ger2 2, 33, 34                  # encoding: [0x9e,0x11,0x01,0xed]
205            xvbf16ger2 2, 33, 34
206# CHECK-BE: xvbf16ger2pp 1, 33, 34                # encoding: [0xec,0x81,0x11,0x96]
207# CHECK-LE: xvbf16ger2pp 1, 33, 34                # encoding: [0x96,0x11,0x81,0xec]
208            xvbf16ger2pp 1, 33, 34
209# CHECK-BE: xvbf16ger2pn 2, 33, 34                # encoding: [0xed,0x01,0x15,0x96]
210# CHECK-LE: xvbf16ger2pn 2, 33, 34                # encoding: [0x96,0x15,0x01,0xed]
211            xvbf16ger2pn 2, 33, 34
212# CHECK-BE: xvbf16ger2np 1, 33, 34                # encoding: [0xec,0x81,0x13,0x96]
213# CHECK-LE: xvbf16ger2np 1, 33, 34                # encoding: [0x96,0x13,0x81,0xec]
214            xvbf16ger2np 1, 33, 34
215# CHECK-BE: xvbf16ger2nn 2, 33, 34                # encoding: [0xed,0x01,0x17,0x96]
216# CHECK-LE: xvbf16ger2nn 2, 33, 34                # encoding: [0x96,0x17,0x01,0xed]
217            xvbf16ger2nn 2, 33, 34
218# CHECK-BE: pmxvbf16ger2 2, 33, 34, 4, 4, 2       # encoding: [0x07,0x90,0x80,0x44,
219# CHECK-BE-SAME:                                               0xed,0x01,0x11,0x9e]
220# CHECK-LE: pmxvbf16ger2 2, 33, 34, 4, 4, 2       # encoding: [0x44,0x80,0x90,0x07,
221# CHECK-LE-SAME:                                               0x9e,0x11,0x01,0xed]
222            pmxvbf16ger2 2, 33, 34, 4, 4, 2
223# CHECK-BE: pmxvbf16ger2pp 1, 33, 34, 4, 4, 2     # encoding: [0x07,0x90,0x80,0x44,
224# CHECK-BE-SAME:                                               0xec,0x81,0x11,0x96]
225# CHECK-LE: pmxvbf16ger2pp 1, 33, 34, 4, 4, 2     # encoding: [0x44,0x80,0x90,0x07,
226# CHECK-LE-SAME:                                               0x96,0x11,0x81,0xec]
227            pmxvbf16ger2pp 1, 33, 34, 4, 4, 2
228# CHECK-BE: pmxvbf16ger2pn 2, 33, 34, 4, 4, 2     # encoding: [0x07,0x90,0x80,0x44,
229# CHECK-BE-SAME:                                               0xed,0x01,0x15,0x96]
230# CHECK-LE: pmxvbf16ger2pn 2, 33, 34, 4, 4, 2     # encoding: [0x44,0x80,0x90,0x07,
231# CHECK-LE-SAME:                                               0x96,0x15,0x01,0xed]
232            pmxvbf16ger2pn 2, 33, 34, 4, 4, 2
233# CHECK-BE: pmxvbf16ger2np 1, 33, 34, 4, 4, 2     # encoding: [0x07,0x90,0x80,0x44,
234# CHECK-BE-SAME:                                               0xec,0x81,0x13,0x96]
235# CHECK-LE: pmxvbf16ger2np 1, 33, 34, 4, 4, 2     # encoding: [0x44,0x80,0x90,0x07,
236# CHECK-LE-SAME:                                               0x96,0x13,0x81,0xec]
237            pmxvbf16ger2np 1, 33, 34, 4, 4, 2
238# CHECK-BE: pmxvbf16ger2nn 2, 33, 34, 4, 4, 2     # encoding: [0x07,0x90,0x80,0x44,
239# CHECK-BE-SAME:                                               0xed,0x01,0x17,0x96]
240# CHECK-LE: pmxvbf16ger2nn 2, 33, 34, 4, 4, 2     # encoding: [0x44,0x80,0x90,0x07,
241# CHECK-LE-SAME:                                               0x96,0x17,0x01,0xed]
242            pmxvbf16ger2nn 2, 33, 34, 4, 4, 2
243# CHECK-BE: xvi8ger4spp 1, 33, 34                 # encoding: [0xec,0x81,0x13,0x1e]
244# CHECK-LE: xvi8ger4spp 1, 33, 34                 # encoding: [0x1e,0x13,0x81,0xec]
245            xvi8ger4spp 1, 33, 34
246# CHECK-BE: xvi16ger2 1, 33, 34                   # encoding: [0xec,0x81,0x12,0x5e]
247# CHECK-LE: xvi16ger2 1, 33, 34                   # encoding: [0x5e,0x12,0x81,0xec]
248            xvi16ger2 1, 33, 34
249# CHECK-BE: xvi16ger2pp 1, 33, 34                 # encoding: [0xec,0x81,0x13,0x5e]
250# CHECK-LE: xvi16ger2pp 1, 33, 34                 # encoding: [0x5e,0x13,0x81,0xec]
251            xvi16ger2pp 1, 33, 34
252# CHECK-BE: pmxvi8ger4spp 1, 33, 34, 4, 4, 8      # encoding: [0x07,0x90,0x80,0x44,
253# CHECK-BE-SAME:                                               0xec,0x81,0x13,0x1e]
254# CHECK-LE: pmxvi8ger4spp 1, 33, 34, 4, 4, 8      # encoding: [0x44,0x80,0x90,0x07,
255# CHECK-LE-SAME:                                               0x1e,0x13,0x81,0xec]
256            pmxvi8ger4spp 1, 33, 34, 4, 4, 8
257# CHECK-BE: pmxvi16ger2 1, 33, 34, 4, 4, 2        # encoding: [0x07,0x90,0x80,0x44,
258# CHECK-BE-SAME:                                               0xec,0x81,0x12,0x5e]
259# CHECK-LE: pmxvi16ger2 1, 33, 34, 4, 4, 2        # encoding: [0x44,0x80,0x90,0x07,
260# CHECK-LE-SAME:                                               0x5e,0x12,0x81,0xec]
261            pmxvi16ger2 1, 33, 34, 4, 4, 2
262# CHECK-BE: pmxvi16ger2pp 1, 33, 34, 4, 4, 2      # encoding: [0x07,0x90,0x80,0x44,
263# CHECK-BE-SAME:                                               0xec,0x81,0x13,0x5e]
264# CHECK-LE: pmxvi16ger2pp 1, 33, 34, 4, 4, 2      # encoding: [0x44,0x80,0x90,0x07,
265# CHECK-LE-SAME:                                               0x5e,0x13,0x81,0xec]
266            pmxvi16ger2pp 1, 33, 34, 4, 4, 2
267# CHECK-BE: lxvp 2, 32(4)                      # encoding: [0x18,0x44,0x00,0x20]
268# CHECK-LE: lxvp 2, 32(4)                      # encoding: [0x20,0x00,0x44,0x18]
269            lxvp 2, 32(4)
270# CHECK-BE: lxvp 34, 64(4)                     # encoding: [0x18,0x64,0x00,0x40]
271# CHECK-LE: lxvp 34, 64(4)                     # encoding: [0x40,0x00,0x64,0x18]
272            lxvp 34, 64(4)
273# CHECK-BE: plxvp 2, -8589934592(0), 1         # encoding: [0x04,0x12,0x00,0x00,
274# CHECK-BE-SAME:                                            0xe8,0x40,0x00,0x00]
275# CHECK-LE: plxvp 2, -8589934592(0), 1         # encoding: [0x00,0x00,0x12,0x04,
276# CHECK-LE-SAME:                                            0x00,0x00,0x40,0xe8]
277            plxvp 2, -8589934592(0), 1
278# CHECK-BE: plxvp 34, 8589934591(3), 0         # encoding: [0x04,0x01,0xff,0xff,
279# CHECK-BE-SAME:                                            0xe8,0x63,0xff,0xff]
280# CHECK-LE: plxvp 34, 8589934591(3), 0         # encoding: [0xff,0xff,0x01,0x04,
281# CHECK-LE-SAME:                                            0xff,0xff,0x63,0xe8]
282            plxvp 34, 8589934591(3), 0
283# CHECK-BE: stxvp 2, 32(4)                     # encoding: [0x18,0x44,0x00,0x21]
284# CHECK-LE: stxvp 2, 32(4)                     # encoding: [0x21,0x00,0x44,0x18]
285            stxvp 2, 32(4)
286# CHECK-BE: stxvp 34, 64(4)                    # encoding: [0x18,0x64,0x00,0x41]
287# CHECK-LE: stxvp 34, 64(4)                    # encoding: [0x41,0x00,0x64,0x18]
288            stxvp 34, 64(4)
289# CHECK-BE: pstxvp 2, -8589934592(0), 1        # encoding: [0x04,0x12,0x00,0x00,
290# CHECK-BE-SAME:                                            0xf8,0x40,0x00,0x00]
291# CHECK-LE: pstxvp 2, -8589934592(0), 1        # encoding: [0x00,0x00,0x12,0x04
292# CHECK-LE-SAME:                                            0x00,0x00,0x40,0xf8]
293            pstxvp 2, -8589934592(0), 1
294# CHECK-BE: pstxvp 34, 8589934591(3), 0        # encoding: [0x04,0x01,0xff,0xff
295# CHECK-BE-SAME:                                            0xf8,0x63,0xff,0xff]
296# CHECK-LE: pstxvp 34, 8589934591(3), 0        # encoding: [0xff,0xff,0x01,0x04
297# CHECK-LE-SAME:                                            0xff,0xff,0x63,0xf8]
298            pstxvp 34, 8589934591(3), 0
299# CHECK-BE: lxvpx 2, 3, 4                      # encoding: [0x7c,0x43,0x22,0x9a]
300# CHECK-LE: lxvpx 2, 3, 4                      # encoding: [0x9a,0x22,0x43,0x7c]
301            lxvpx 2, 3, 4
302# CHECK-BE: stxvpx 34, 6, 4                    # encoding: [0x7c,0x66,0x23,0x9a]
303# CHECK-LE: stxvpx 34, 6, 4                    # encoding: [0x9a,0x23,0x66,0x7c]
304            stxvpx 34, 6, 4
305# CHECK-BE: paddi 1, 2, 8589934591, 0             # encoding: [0x06,0x01,0xff,0xff
306# CHECK-BE-SAME:                                               0x38,0x22,0xff,0xff]
307# CHECK-LE: paddi 1, 2, 8589934591, 0             # encoding: [0xff,0xff,0x01,0x06
308# CHECK-LE-SAME:                                               0xff,0xff,0x22,0x38]
309            paddi 1, 2, 8589934591, 0
310# CHECK-BE: paddi 1, 0, -8589934592, 1            # encoding: [0x06,0x12,0x00,0x00
311# CHECK-BE-SAME:                                               0x38,0x20,0x00,0x00]
312# CHECK-LE: paddi 1, 0, -8589934592, 1            # encoding: [0x00,0x00,0x12,0x06
313# CHECK-LE-SAME:                                               0x00,0x00,0x20,0x38]
314            paddi 1, 0, -8589934592, 1
315# CHECK-BE: pli 1, -8589934592                    # encoding: [0x06,0x02,0x00,0x00
316# CHECK-BE-SAME:                                               0x38,0x20,0x00,0x00]
317# CHECK-LE: pli 1, -8589934592                    # encoding: [0x00,0x00,0x02,0x06
318# CHECK-LE-SAME:                                               0x00,0x00,0x20,0x38]
319            pli 1, -8589934592
320# CHECK-BE: pli 1, 8589934591                     # encoding: [0x06,0x01,0xff,0xff
321# CHECK-BE-SAME:                                               0x38,0x20,0xff,0xff]
322# CHECK-LE: pli 1, 8589934591                     # encoding: [0xff,0xff,0x01,0x06
323# CHECK-LE-SAME:                                               0xff,0xff,0x20,0x38]
324            pli 1, 8589934591
325# CHECK-BE: pstfs 1, -134217728(3), 0             # encoding: [0x06,0x03,0xf8,0x00,
326# CHECK-BE-SAME:                                               0xd0,0x23,0x00,0x00]
327# CHECK-LE: pstfs 1, -134217728(3), 0             # encoding: [0x00,0xf8,0x03,0x06
328# CHECK-LE-SAME:                                               0x00,0x00,0x23,0xd0]
329            pstfs 1, -134217728(3), 0
330# CHECK-BE: pstfs 1, 134217727(0), 1              # encoding: [0x06,0x10,0x07,0xff
331# CHECK-BE-SAME:                                               0xd0,0x20,0xff,0xff]
332# CHECK-LE: pstfs 1, 134217727(0), 1              # encoding: [0xff,0x07,0x10,0x06,
333# CECHK-LE-SAME:                                               0xff,0xff,0x20,0xd0]
334            pstfs 1, 134217727(0), 1
335# CHECK-BE: pstfd 1, -134217728(3), 0             # encoding: [0x06,0x03,0xf8,0x00,
336# CHECK-BE-SAME:                                               0xd8,0x23,0x00,0x00]
337# CHECK-LE: pstfd 1, -134217728(3), 0             # encoding: [0x00,0xf8,0x03,0x06
338# CHECK-LE-SAME:                                               0x00,0x00,0x23,0xd8]
339            pstfd 1, -134217728(3), 0
340# CHECK-BE: pstfd 1, 134217727(0), 1              # encoding: [0x06,0x10,0x07,0xff
341# CHECK-BE-SAME:                                               0xd8,0x20,0xff,0xff]
342# CHECK-LE: pstfd 1, 134217727(0), 1              # encoding: [0xff,0x07,0x10,0x06,
343# CECHK-LE-SAME:                                               0xff,0xff,0x20,0xd8]
344            pstfd 1, 134217727(0), 1
345# CHECK-BE: pstxssp 1, -134217728(3), 0           # encoding: [0x04,0x03,0xf8,0x00,
346# CHECK-BE-SAME:                                               0xbc,0x23,0x00,0x00]
347# CHECK-LE: pstxssp 1, -134217728(3), 0           # encoding: [0x00,0xf8,0x03,0x04
348# CHECK-LE-SAME:                                               0x00,0x00,0x23,0xbc]
349            pstxssp 1, -134217728(3), 0
350# CHECK-BE: pstxssp 1, 134217727(0), 1            # encoding: [0x04,0x10,0x07,0xff
351# CHECK-BE-SAME:                                               0xbc,0x20,0xff,0xff]
352# CHECK-LE: pstxssp 1, 134217727(0), 1            # encoding: [0xff,0x07,0x10,0x04,
353# CECHK-LE-SAME:                                               0xff,0xff,0x20,0xbc]
354            pstxssp 1, 134217727(0), 1
355# CHECK-BE: pstxsd 1, -134217728(3), 0            # encoding: [0x04,0x03,0xf8,0x00,
356# CHECK-BE-SAME:                                               0xb8,0x23,0x00,0x00]
357# CHECK-LE: pstxsd 1, -134217728(3), 0            # encoding: [0x00,0xf8,0x03,0x04
358# CHECK-LE-SAME:                                               0x00,0x00,0x23,0xb8]
359            pstxsd 1, -134217728(3), 0
360# CHECK-BE: pstxsd 1, 134217727(0), 1             # encoding: [0x04,0x10,0x07,0xff
361# CHECK-BE-SAME:                                               0xb8,0x20,0xff,0xff]
362# CHECK-LE: pstxsd 1, 134217727(0), 1             # encoding: [0xff,0x07,0x10,0x04,
363# CECHK-LE-SAME:                                               0xff,0xff,0x20,0xb8]
364            pstxsd 1, 134217727(0), 1
365# CHECK-BE: plfs 1, -8589934592(3), 0             # encoding: [0x06,0x02,0x00,0x00,
366# CHECK-BE-SAME:                                               0xc0,0x23,0x00,0x00]
367# CHECK-LE: plfs 1, -8589934592(3), 0             # encoding: [0x00,0x00,0x02,0x06
368# CHECK-LE-SAME:                                               0x00,0x00,0x23,0xc0]
369            plfs 1, -8589934592(3), 0
370# CHECK-BE: plfs 1, 8589934591(0), 1              # encoding: [0x06,0x11,0xff,0xff
371# CHECK-BE-SAME:                                               0xc0,0x20,0xff,0xff]
372# CHECK-LE: plfs 1, 8589934591(0), 1              # encoding: [0xff,0xff,0x11,0x06,
373# CECHK-LE-SAME:                                               0xff,0xff,0x20,0xc0]
374            plfs 1, 8589934591(0), 1
375# CHECK-BE: plfd 1, -8589934592(3), 0             # encoding: [0x06,0x02,0x00,0x00,
376# CHECK-BE-SAME:                                               0xc8,0x23,0x00,0x00]
377# CHECK-LE: plfd 1, -8589934592(3), 0             # encoding: [0x00,0x00,0x02,0x06
378# CHECK-LE-SAME:                                               0x00,0x00,0x23,0xc8]
379            plfd 1, -8589934592(3), 0
380# CHECK-BE: plfd 1, 8589934591(0), 1              # encoding: [0x06,0x11,0xff,0xff
381# CHECK-BE-SAME:                                               0xc8,0x20,0xff,0xff]
382# CHECK-LE: plfd 1, 8589934591(0), 1              # encoding: [0xff,0xff,0x11,0x06,
383# CECHK-LE-SAME:                                               0xff,0xff,0x20,0xc8]
384            plfd 1, 8589934591(0), 1
385# CHECK-BE: plxssp 1, -8589934592(3), 0           # encoding: [0x04,0x02,0x00,0x00,
386# CHECK-BE-SAME:                                               0xac,0x23,0x00,0x00]
387# CHECK-LE: plxssp 1, -8589934592(3), 0           # encoding: [0x00,0x00,0x02,0x04
388# CHECK-LE-SAME:                                               0x00,0x00,0x23,0xac]
389            plxssp 1, -8589934592(3), 0
390# CHECK-BE: plxssp 1, 8589934591(0), 1            # encoding: [0x04,0x11,0xff,0xff
391# CHECK-BE-SAME:                                               0xac,0x20,0xff,0xff]
392# CHECK-LE: plxssp 1, 8589934591(0), 1            # encoding: [0xff,0xff,0x11,0x04,
393# CECHK-LE-SAME:                                               0xff,0xff,0x20,0xac]
394            plxssp 1, 8589934591(0), 1
395# CHECK-BE: plxsd 1, -8589934592(3), 0            # encoding: [0x04,0x02,0x00,0x00,
396# CHECK-BE-SAME:                                               0xa8,0x23,0x00,0x00]
397# CHECK-LE: plxsd 1, -8589934592(3), 0            # encoding: [0x00,0x00,0x02,0x04
398# CHECK-LE-SAME:                                               0x00,0x00,0x23,0xa8]
399            plxsd 1, -8589934592(3), 0
400# CHECK-BE: plxsd 1, 8589934591(0), 1             # encoding: [0x04,0x11,0xff,0xff
401# CHECK-BE-SAME:                                               0xa8,0x20,0xff,0xff]
402# CHECK-LE: plxsd 1, 8589934591(0), 1             # encoding: [0xff,0xff,0x11,0x04,
403# CECHK-LE-SAME:                                               0xff,0xff,0x20,0xa8]
404            plxsd 1, 8589934591(0), 1
405# CHECK-BE: pstb 1, -8589934592(3), 0             # encoding: [0x06,0x02,0x00,0x00,
406# CHECK-BE-SAME:                                               0x98,0x23,0x00,0x00]
407# CHECK-LE: pstb 1, -8589934592(3), 0             # encoding: [0x00,0x00,0x02,0x06
408# CHECK-LE-SAME:                                               0x00,0x00,0x23,0x98]
409            pstb 1, -8589934592(3), 0
410# CHECK-BE: pstb 1, 8589934591(0), 1              # encoding: [0x06,0x11,0xff,0xff
411# CHECK-BE-SAME:                                               0x98,0x20,0xff,0xff]
412# CHECK-LE: pstb 1, 8589934591(0), 1              # encoding: [0xff,0xff,0x11,0x06,
413# CECHK-LE-SAME:                                               0xff,0xff,0x20,0x98]
414            pstb 1, 8589934591(0), 1
415# CHECK-BE: psth 1, -8589934592(3), 0             # encoding: [0x06,0x02,0x00,0x00,
416# CHECK-BE-SAME:                                               0xb0,0x23,0x00,0x00]
417# CHECK-LE: psth 1, -8589934592(3), 0             # encoding: [0x00,0x00,0x02,0x06
418# CHECK-LE-SAME:                                               0x00,0x00,0x23,0xb0]
419            psth 1, -8589934592(3), 0
420# CHECK-BE: psth 1, 8589934591(0), 1              # encoding: [0x06,0x11,0xff,0xff
421# CHECK-BE-SAME:                                               0xb0,0x20,0xff,0xff]
422# CHECK-LE: psth 1, 8589934591(0), 1              # encoding: [0xff,0xff,0x11,0x06,
423# CECHK-LE-SAME:                                               0xff,0xff,0x20,0xb0]
424            psth 1, 8589934591(0), 1
425# CHECK-BE: pstw 1, -8589934592(3), 0             # encoding: [0x06,0x02,0x00,0x00,
426# CHECK-BE-SAME:                                               0x90,0x23,0x00,0x00]
427# CHECK-LE: pstw 1, -8589934592(3), 0             # encoding: [0x00,0x00,0x02,0x06
428# CHECK-LE-SAME:                                               0x00,0x00,0x23,0x90]
429            pstw 1, -8589934592(3), 0
430# CHECK-BE: pstw 1, 8589934591(0), 1              # encoding: [0x06,0x11,0xff,0xff
431# CHECK-BE-SAME:                                               0x90,0x20,0xff,0xff]
432# CHECK-LE: pstw 1, 8589934591(0), 1              # encoding: [0xff,0xff,0x11,0x06,
433# CECHK-LE-SAME:                                               0xff,0xff,0x20,0x90]
434            pstw 1, 8589934591(0), 1
435# CHECK-BE: pstd 1, -8589934592(3), 0             # encoding: [0x04,0x02,0x00,0x00,
436# CHECK-BE-SAME:                                               0xf4,0x23,0x00,0x00]
437# CHECK-LE: pstd 1, -8589934592(3), 0             # encoding: [0x00,0x00,0x02,0x04
438# CHECK-LE-SAME:                                               0x00,0x00,0x23,0xf4]
439            pstd 1, -8589934592(3), 0
440# CHECK-BE: pstd 1, 8589934591(0), 1              # encoding: [0x04,0x11,0xff,0xff
441# CHECK-BE-SAME:                                               0xf4,0x20,0xff,0xff]
442# CHECK-LE: pstd 1, 8589934591(0), 1              # encoding: [0xff,0xff,0x11,0x04,
443# CECHK-LE-SAME:                                               0xff,0xff,0x20,0xf4]
444            pstd 1, 8589934591(0), 1
445# CHECK-BE: plbz 1, 8589934591(3), 0              # encoding: [0x06,0x01,0xff,0xff
446# CHECK-BE-SAME:                                               0x88,0x23,0xff,0xff]
447# CHECK-LE: plbz 1, 8589934591(3), 0              # encoding: [0xff,0xff,0x01,0x06
448# CHECK-LE-SAME:                                               0xff,0xff,0x23,0x88]
449            plbz 1, 8589934591(3), 0
450# CHECK-BE: plbz 1, -8589934592(0), 1             # encoding: [0x06,0x12,0x00,0x00
451# CHECK-BE-SAME:                                               0x88,0x20,0x00,0x00]
452# CHECK-LE: plbz 1, -8589934592(0), 1             # encoding: [0x00,0x00,0x12,0x06
453# CHECK-LE-SAME:                                               0x00,0x00,0x20,0x88]
454            plbz 1, -8589934592(0), 1
455# CHECK-BE: plhz 1, 8589934591(3), 0              # encoding: [0x06,0x01,0xff,0xff
456# CHECK-BE-SAME:                                               0xa0,0x23,0xff,0xff]
457# CHECK-LE: plhz 1, 8589934591(3), 0              # encoding: [0xff,0xff,0x01,0x06
458# CHECK-LE-SAME:                                               0xff,0xff,0x23,0xa0]
459            plhz 1, 8589934591(3), 0
460# CHECK-BE: plhz 1, -8589934592(0), 1             # encoding: [0x06,0x12,0x00,0x00
461# CHECK-BE-SAME:                                               0xa0,0x20,0x00,0x00]
462# CHECK-LE: plhz 1, -8589934592(0), 1             # encoding: [0x00,0x00,0x12,0x06
463# CHECK-LE-SAME:                                               0x00,0x00,0x20,0xa0]
464            plhz 1, -8589934592(0), 1
465# CHECK-BE: plha 1, 8589934591(3), 0              # encoding: [0x06,0x01,0xff,0xff
466# CHECK-BE-SAME:                                               0xa8,0x23,0xff,0xff]
467# CHECK-LE: plha 1, 8589934591(3), 0              # encoding: [0xff,0xff,0x01,0x06
468# CHECK-LE-SAME:                                               0xff,0xff,0x23,0xa8]
469            plha 1, 8589934591(3), 0
470# CHECK-BE: plha 1, -8589934592(0), 1             # encoding: [0x06,0x12,0x00,0x00
471# CHECK-BE-SAME:                                               0xa8,0x20,0x00,0x00]
472# CHECK-LE: plha 1, -8589934592(0), 1             # encoding: [0x00,0x00,0x12,0x06
473# CHECK-LE-SAME:                                               0x00,0x00,0x20,0xa8]
474            plha 1, -8589934592(0), 1
475# CHECK-BE: plwz 1, 8589934591(3), 0              # encoding: [0x06,0x01,0xff,0xff
476# CHECK-BE-SAME:                                               0x80,0x23,0xff,0xff]
477# CHECK-LE: plwz 1, 8589934591(3), 0              # encoding: [0xff,0xff,0x01,0x06
478# CHECK-LE-SAME:                                               0xff,0xff,0x23,0x80]
479            plwz 1, 8589934591(3), 0
480# CHECK-BE: plwz 1, -8589934592(0), 1             # encoding: [0x06,0x12,0x00,0x00
481# CHECK-BE-SAME:                                               0x80,0x20,0x00,0x00]
482# CHECK-LE: plwz 1, -8589934592(0), 1             # encoding: [0x00,0x00,0x12,0x06
483# CHECK-LE-SAME:                                               0x00,0x00,0x20,0x80]
484            plwz 1, -8589934592(0), 1
485# CHECK-BE: plwa 1, -8589934592(3), 0             # encoding: [0x04,0x02,0x00,0x00,
486# CHECK-BE-SAME:                                               0xa4,0x23,0x00,0x00]
487# CHECK-LE: plwa 1, -8589934592(3), 0             # encoding: [0x00,0x00,0x02,0x04
488# CHECK-LE-SAME:                                               0x00,0x00,0x23,0xa4]
489            plwa 1, -8589934592(3), 0
490# CHECK-BE: plwa 1, 8589934591(0), 1              # encoding: [0x04,0x11,0xff,0xff
491# CHECK-BE-SAME:                                               0xa4,0x20,0xff,0xff]
492# CHECK-LE: plwa 1, 8589934591(0), 1              # encoding: [0xff,0xff,0x11,0x04,
493# CECHK-LE-SAME:                                               0xff,0xff,0x20,0xa4]
494            plwa 1, 8589934591(0), 1
495# CHECK-BE: pld 1, -8589934592(3), 0              # encoding: [0x04,0x02,0x00,0x00,
496# CHECK-BE-SAME:                                               0xe4,0x23,0x00,0x00]
497# CHECK-LE: pld 1, -8589934592(3), 0              # encoding: [0x00,0x00,0x02,0x04
498# CHECK-LE-SAME:                                               0x00,0x00,0x23,0xe4]
499            pld 1, -8589934592(3), 0
500# CHECK-BE: pld 1, 8589934591(0), 1               # encoding: [0x04,0x11,0xff,0xff
501# CHECK-BE-SAME:                                               0xe4,0x20,0xff,0xff]
502# CHECK-LE: pld 1, 8589934591(0), 1               # encoding: [0xff,0xff,0x11,0x04,
503# CHECK-LE-SAME:                                               0xff,0xff,0x20,0xe4]
504            pld 1, 8589934591(0), 1
505# CHECK-BE: vpdepd 1, 2, 0                        # encoding: [0x10,0x22,0x05,0xcd]
506# CHECK-LE: vpdepd 1, 2, 0                        # encoding: [0xcd,0x05,0x22,0x10]
507            vpdepd 1, 2, 0
508# CHECK-BE: vpextd 1, 2, 0                        # encoding: [0x10,0x22,0x05,0x8d]
509# CHECK-LE: vpextd 1, 2, 0                        # encoding: [0x8d,0x05,0x22,0x10]
510            vpextd 1, 2, 0
511# CHECK-BE: pdepd 1, 2, 4                         # encoding: [0x7c,0x41,0x21,0x38]
512# CHECK-LE: pdepd 1, 2, 4                         # encoding: [0x38,0x21,0x41,0x7c]
513            pdepd 1, 2, 4
514# CHECK-BE: pextd 1, 2, 4                         # encoding: [0x7c,0x41,0x21,0x78]
515# CHECK-LE: pextd 1, 2, 4                         # encoding: [0x78,0x21,0x41,0x7c]
516            pextd 1, 2, 4
517# CHECK-BE: vcfuged 1, 2, 4                       # encoding: [0x10,0x22,0x25,0x4d]
518# CHECK-LE: vcfuged 1, 2, 4                       # encoding: [0x4d,0x25,0x22,0x10]
519            vcfuged 1, 2, 4
520# CHECK-BE: cfuged 1, 2, 4                        # encoding: [0x7c,0x41,0x21,0xb8]
521# CHECK-LE: cfuged 1, 2, 4                        # encoding: [0xb8,0x21,0x41,0x7c]
522            cfuged 1, 2, 4
523# CHECK-BE: vgnb 1, 2, 2                          # encoding: [0x10,0x22,0x14,0xcc]
524# CHECK-LE: vgnb 1, 2, 2                          # encoding: [0xcc,0x14,0x22,0x10]
525            vgnb 1, 2, 2
526# CHECK-BE: xxeval 32, 1, 2, 3, 2                 # encoding: [0x05,0x00,0x00,0x02,
527# CHECK-BE-SAME:                                               0x88,0x01,0x10,0xd1]
528# CHECK-LE: xxeval 32, 1, 2, 3, 2                 # encoding: [0x02,0x00,0x00,0x05,
529# CHECK-LE-SAME:                                               0xd1,0x10,0x01,0x88]
530            xxeval 32, 1, 2, 3, 2
531# CHECK-BE: lxvkq 63, 31                          # encoding: [0xf3,0xff,0xfa,0xd1]
532# CHECK-LE: lxvkq 63, 31                          # encoding: [0xd1,0xfa,0xff,0xf3]
533            lxvkq 63, 31
534# CHECK-BE: vclzdm 1, 2, 3                        # encoding: [0x10,0x22,0x1f,0x84]
535# CHECK-LE: vclzdm 1, 2, 3                        # encoding: [0x84,0x1f,0x22,0x10]
536            vclzdm 1, 2, 3
537# CHECK-BE: vctzdm 1, 2, 3                        # encoding: [0x10,0x22,0x1f,0xc4]
538# CHECK-LE: vctzdm 1, 2, 3                        # encoding: [0xc4,0x1f,0x22,0x10]
539            vctzdm 1, 2, 3
540# CHECK-BE: cntlzdm 1, 3, 2                       # encoding: [0x7c,0x61,0x10,0x76]
541# CHECK-LE: cntlzdm 1, 3, 2                       # encoding: [0x76,0x10,0x61,0x7c]
542            cntlzdm 1, 3, 2
543# CHECK-BE: cnttzdm 1, 3, 2                       # encoding: [0x7c,0x61,0x14,0x76]
544# CHECK-LE: cnttzdm 1, 3, 2                       # encoding: [0x76,0x14,0x61,0x7c]
545            cnttzdm 1, 3, 2
546# CHECK-BE: xxgenpcvbm 0, 1, 2                    # encoding: [0xf0,0x02,0x0f,0x28]
547# CHECK-LE: xxgenpcvbm 0, 1, 2                    # encoding: [0x28,0x0f,0x02,0xf0]
548            xxgenpcvbm 0, 1, 2
549# CHECK-BE: xxgenpcvhm 0, 1, 2                    # encoding: [0xf0,0x02,0x0f,0x2a]
550# CHECK-LE: xxgenpcvhm 0, 1, 2                    # encoding: [0x2a,0x0f,0x02,0xf0]
551            xxgenpcvhm 0, 1, 2
552# CHECK-BE: xxgenpcvwm 0, 1, 2                    # encoding: [0xf0,0x02,0x0f,0x68]
553# CHECK-LE: xxgenpcvwm 0, 1, 2                    # encoding: [0x68,0x0f,0x02,0xf0]
554            xxgenpcvwm 0, 1, 2
555# CHECK-BE: xxgenpcvdm 0, 1, 2                    # encoding: [0xf0,0x02,0x0f,0x6a]
556# CHECK-LE: xxgenpcvdm 0, 1, 2                    # encoding: [0x6a,0x0f,0x02,0xf0]
557            xxgenpcvdm 0, 1, 2
558# CHECK-BE: vclrlb 1, 4, 3                        # encoding: [0x10,0x24,0x19,0x8d]
559# CHECK-LE: vclrlb 1, 4, 3                        # encoding: [0x8d,0x19,0x24,0x10]
560            vclrlb 1, 4, 3
561# CHECK-BE: vclrrb 1, 4, 3                        # encoding: [0x10,0x24,0x19,0xcd]
562# CHECK-LE: vclrrb 1, 4, 3                        # encoding: [0xcd,0x19,0x24,0x10]
563            vclrrb 1, 4, 3
564# Boundary conditions of 8RR_DForm_IMM32_XT6's immediates
565# CHECK-BE: xxspltiw 63, 4294901760               # encoding: [0x05,0x00,0xff,0xff,
566# CHECK-BE-SAME:                                               0x83,0xe7,0x00,0x00]
567# CHECK-LE: xxspltiw 63, 4294901760               # encoding: [0xff,0xff,0x00,0x05,
568# CHECK-LE-SAME:                                               0x00,0x00,0xe7,0x83]
569            xxspltiw 63, 4294901760
570# CHECK-BE: xxspltiw 63, 65535                    # encoding: [0x05,0x00,0x00,0x00,
571# CHECK-BE-SAME:                                               0x83,0xe7,0xff,0xff]
572# CHECK-LE: xxspltiw 63, 65535                    # encoding: [0x00,0x00,0x00,0x05,
573# CHECK-LE-SAME:                                               0xff,0xff,0xe7,0x83]
574            xxspltiw 63, 65535
575# CHECK-BE: xxspltiw 63, 4294967295               # encoding: [0x05,0x00,0xff,0xff,
576# CHECK-BE-SAME:                                               0x83,0xe7,0xff,0xff]
577# CHECK-LE: xxspltiw 63, 4294967295               # encoding: [0xff,0xff,0x00,0x05,
578# CHECK-LE-SAME:                                               0xff,0xff,0xe7,0x83]
579            xxspltiw 63, 4294967295
580# CHECK-BE: xxspltiw 63, -1                       # encoding: [0x05,0x00,0xff,0xff,
581# CHECK-BE-SAME:                                               0x83,0xe7,0xff,0xff]
582# CHECK-LE: xxspltiw 63, -1                       # encoding: [0xff,0xff,0x00,0x05,
583# CHECK-LE-SAME:                                               0xff,0xff,0xe7,0x83]
584            xxspltiw 63, -1
585# CHECK-BE: xxspltidp 63, 4294967295              # encoding: [0x05,0x00,0xff,0xff,
586# CHECK-BE-SAME:                                               0x83,0xe5,0xff,0xff]
587# CHECK-LE: xxspltidp 63, 4294967295              # encoding: [0xff,0xff,0x00,0x05,
588# CHECK-LE-SAME:                                               0xff,0xff,0xe5,0x83]
589            xxspltidp 63, 4294967295
590# Boundary conditions of 8RR_DForm_IMM32_XT6_IX's immediates
591# CHECK-BE: xxsplti32dx 63, 1, 4294901760         # encoding: [0x05,0x00,0xff,0xff,
592# CHECK-BE-SAME:                                               0x83,0xe3,0x00,0x00]
593# CHECK-LE: xxsplti32dx 63, 1, 4294901760         # encoding: [0xff,0xff,0x00,0x05,
594# CHECK-LE-SAME:                                               0x00,0x00,0xe3,0x83]
595            xxsplti32dx 63, 1, 4294901760
596# CHECK-BE: xxsplti32dx 63, 1, 65535              # encoding: [0x05,0x00,0x00,0x00,
597# CHECK-BE-SAME:                                               0x83,0xe3,0xff,0xff]
598# CHECK-LE: xxsplti32dx 63, 1, 65535              # encoding: [0x00,0x00,0x00,0x05,
599# CHECK-LE-SAME:                                               0xff,0xff,0xe3,0x83]
600            xxsplti32dx 63, 1, 65535
601# CHECK-BE: xxsplti32dx 63, 1, 4294967295         # encoding: [0x05,0x00,0xff,0xff,
602# CHECK-BE-SAME:                                               0x83,0xe3,0xff,0xff]
603# CHECK-LE: xxsplti32dx 63, 1, 4294967295         # encoding: [0xff,0xff,0x00,0x05,
604# CHECK-LE-SAME:                                               0xff,0xff,0xe3,0x83]
605            xxsplti32dx 63, 1, 4294967295
606# CHECK-BE: xxsplti32dx 63, 1, -1                 # encoding: [0x05,0x00,0xff,0xff,
607# CHECK-BE-SAME:                                               0x83,0xe3,0xff,0xff]
608# CHECK-LE: xxsplti32dx 63, 1, -1                 # encoding: [0xff,0xff,0x00,0x05,
609# CHECK-LE-SAME:                                               0xff,0xff,0xe3,0x83]
610            xxsplti32dx 63, 1, -1
611# CHECK-BE: xxpermx 6, 63, 21, 34, 2              # encoding: [0x05,0x00,0x00,0x02,
612# CHECK-BE-SAME:                                               0x88,0xdf,0xa8,0x8c]
613# CHECK-LE: xxpermx 6, 63, 21, 34, 2              # encoding: [0x02,0x00,0x00,0x05,
614# CHECK-LE-SAME:                                               0x8c,0xa8,0xdf,0x88]
615            xxpermx 6, 63, 21, 34, 2
616# CHECK-BE: brh 1, 2                              # encoding: [0x7c,0x41,0x01,0xb6]
617# CHECK-LE: brh 1, 2                              # encoding: [0xb6,0x01,0x41,0x7c]
618            brh 1, 2
619# CHECK-BE: brw 1, 2                              # encoding: [0x7c,0x41,0x01,0x36]
620# CHECK-LE: brw 1, 2                              # encoding: [0x36,0x01,0x41,0x7c]
621            brw 1, 2
622# CHECK-BE: brd 1, 2                              # encoding: [0x7c,0x41,0x01,0x76]
623# CHECK-LE: brd 1, 2                              # encoding: [0x76,0x01,0x41,0x7c]
624            brd 1, 2
625# CHECK-BE: xxblendvb 6, 63, 21, 34               # encoding: [0x05,0x00,0x00,0x00,
626# CHECK-BE-SAME:                                               0x84,0xdf,0xa8,0x8c]
627# CHECK-LE: xxblendvb 6, 63, 21, 34               # encoding: [0x00,0x00,0x00,0x05,
628# CHECK-LE-SAME:                                               0x8c,0xa8,0xdf,0x84]
629            xxblendvb 6, 63, 21, 34
630# CHECK-BE: xxblendvh 6, 63, 21, 34               # encoding: [0x05,0x00,0x00,0x00,
631# CHECK-BE-SAME:                                               0x84,0xdf,0xa8,0x9c]
632# CHECK-LE: xxblendvh 6, 63, 21, 34               # encoding: [0x00,0x00,0x00,0x05,
633# CHECK-LE-SAME:                                               0x9c,0xa8,0xdf,0x84]
634            xxblendvh 6, 63, 21, 34
635# CHECK-BE: xxblendvw 6, 63, 21, 34               # encoding: [0x05,0x00,0x00,0x00,
636# CHECK-BE-SAME:                                               0x84,0xdf,0xa8,0xac]
637# CHECK-LE: xxblendvw 6, 63, 21, 34               # encoding: [0x00,0x00,0x00,0x05,
638# CHECK-LE-SAME:                                               0xac,0xa8,0xdf,0x84]
639            xxblendvw 6, 63, 21, 34
640# CHECK-BE: xxblendvd 6, 63, 21, 34               # encoding: [0x05,0x00,0x00,0x00,
641# CHECK-BE-SAME:                                               0x84,0xdf,0xa8,0xbc]
642# CHECK-LE: xxblendvd 6, 63, 21, 34               # encoding: [0x00,0x00,0x00,0x05,
643# CHECK-LE-SAME:                                               0xbc,0xa8,0xdf,0x84]
644            xxblendvd 6, 63, 21, 34
645# CHECK-BE: setbc 21, 11                          # encoding: [0x7e,0xab,0x03,0x00]
646# CHECK-LE: setbc 21, 11                          # encoding: [0x00,0x03,0xab,0x7e]
647            setbc 21, 11
648# CHECK-BE: setbcr 21, 11                         # encoding: [0x7e,0xab,0x03,0x40]
649# CHECK-LE: setbcr 21, 11                         # encoding: [0x40,0x03,0xab,0x7e]
650            setbcr 21, 11
651# CHECK-BE: setnbc 21, 11                         # encoding: [0x7e,0xab,0x03,0x80]
652# CHECK-LE: setnbc 21, 11                         # encoding: [0x80,0x03,0xab,0x7e]
653            setnbc 21, 11
654# CHECK-BE: setnbcr 21, 11                        # encoding: [0x7e,0xab,0x03,0xc0]
655# CHECK-LE: setnbcr 21, 11                        # encoding: [0xc0,0x03,0xab,0x7e]
656            setnbcr 21, 11
657# CHECK-BE: vsldbi 2, 3, 4, 5                     # encoding: [0x10,0x43,0x21,0x56]
658# CHECK-LE: vsldbi 2, 3, 4, 5                     # encoding: [0x56,0x21,0x43,0x10]
659            vsldbi 2, 3, 4, 5
660# CHECK-BE: vsrdbi 2, 3, 4, 5                     # encoding: [0x10,0x43,0x23,0x56]
661# CHECK-LE: vsrdbi 2, 3, 4, 5                     # encoding: [0x56,0x23,0x43,0x10]
662            vsrdbi 2, 3, 4, 5
663# CHECK-BE: vmulld 1, 2, 3                        # encoding: [0x10,0x22,0x19,0xc9]
664# CHECK-LE: vmulld 1, 2, 3                        # encoding: [0xc9,0x19,0x22,0x10]
665            vmulld 1, 2, 3
666# CHECK-BE: vmulhsw 1, 2, 3                       # encoding: [0x10,0x22,0x1b,0x89]
667# CHECK-LE: vmulhsw 1, 2, 3                       # encoding: [0x89,0x1b,0x22,0x10]
668            vmulhsw 1, 2, 3
669# CHECK-BE: vmulhuw 1, 2, 3                       # encoding: [0x10,0x22,0x1a,0x89]
670# CHECK-LE: vmulhuw 1, 2, 3                       # encoding: [0x89,0x1a,0x22,0x10]
671            vmulhuw 1, 2, 3
672# CHECK-BE: vmulhsd 1, 2, 3                       # encoding: [0x10,0x22,0x1b,0xc9]
673# CHECK-LE: vmulhsd 1, 2, 3                       # encoding: [0xc9,0x1b,0x22,0x10]
674            vmulhsd 1, 2, 3
675# CHECK-BE: vmulhud 1, 2, 3                       # encoding: [0x10,0x22,0x1a,0xc9]
676# CHECK-LE: vmulhud 1, 2, 3                       # encoding: [0xc9,0x1a,0x22,0x10]
677            vmulhud 1, 2, 3
678# CHECK-BE: vmodsq 3, 4, 5                        # encoding: [0x10,0x64,0x2f,0x0b]
679# CHECK-LE: vmodsq 3, 4, 5                        # encoding: [0x0b,0x2f,0x64,0x10]
680            vmodsq 3, 4, 5
681# CHECK-BE: vmodsw 21, 11, 10                     # encoding: [0x12,0xab,0x57,0x8b]
682# CHECK-LE: vmodsw 21, 11, 10                     # encoding: [0x8b,0x57,0xab,0x12]
683            vmodsw 21, 11, 10
684# CHECK-BE: vmoduw 21, 11, 10                     # encoding: [0x12,0xab,0x56,0x8b]
685# CHECK-LE: vmoduw 21, 11, 10                     # encoding: [0x8b,0x56,0xab,0x12]
686            vmoduw 21, 11, 10
687# CHECK-BE: vmodsd 21, 11, 10                     # encoding: [0x12,0xab,0x57,0xcb]
688# CHECK-LE: vmodsd 21, 11, 10                     # encoding: [0xcb,0x57,0xab,0x12]
689            vmodsd 21, 11, 10
690# CHECK-BE: vmodud 21, 11, 10                     # encoding: [0x12,0xab,0x56,0xcb]
691# CHECK-LE: vmodud 21, 11, 10                     # encoding: [0xcb,0x56,0xab,0x12]
692            vmodud 21, 11, 10
693# CHECK-BE: vdivsw 21, 11, 10                     # encoding: [0x12,0xab,0x51,0x8b]
694# CHECK-LE: vdivsw 21, 11, 10                     # encoding: [0x8b,0x51,0xab,0x12]
695            vdivsw 21, 11, 10
696# CHECK-BE: vdivuw 21, 11, 10                     # encoding: [0x12,0xab,0x50,0x8b]
697# CHECK-LE: vdivuw 21, 11, 10                     # encoding: [0x8b,0x50,0xab,0x12]
698            vdivuw 21, 11, 10
699# CHECK-BE: vdivsd 21, 11, 10                     # encoding: [0x12,0xab,0x51,0xcb]
700# CHECK-LE: vdivsd 21, 11, 10                     # encoding: [0xcb,0x51,0xab,0x12]
701            vdivsd 21, 11, 10
702# CHECK-BE: vdivud 21, 11, 10                     # encoding: [0x12,0xab,0x50,0xcb]
703# CHECK-LE: vdivud 21, 11, 10                     # encoding: [0xcb,0x50,0xab,0x12]
704            vdivud 21, 11, 10
705# CHECK-BE: vdivesw 21, 11, 10                    # encoding: [0x12,0xab,0x53,0x8b]
706# CHECK-LE: vdivesw 21, 11, 10                    # encoding: [0x8b,0x53,0xab,0x12]
707            vdivesw 21, 11, 10
708# CHECK-BE: vdiveuw 21, 11, 10                    # encoding: [0x12,0xab,0x52,0x8b]
709# CHECK-LE: vdiveuw 21, 11, 10                    # encoding: [0x8b,0x52,0xab,0x12]
710            vdiveuw 21, 11, 10
711# CHECK-BE: vdivesd 21, 11, 10                    # encoding: [0x12,0xab,0x53,0xcb]
712# CHECK-LE: vdivesd 21, 11, 10                    # encoding: [0xcb,0x53,0xab,0x12]
713            vdivesd 21, 11, 10
714# CHECK-BE: vdiveud 21, 11, 10                    # encoding: [0x12,0xab,0x52,0xcb]
715# CHECK-LE: vdiveud 21, 11, 10                    # encoding: [0xcb,0x52,0xab,0x12]
716            vdiveud 21, 11, 10
717# CHECK-BE: vinsw 2, 3, 12                        # encoding: [0x10,0x4c,0x18,0xcf]
718# CHECK-LE: vinsw 2, 3, 12                        # encoding: [0xcf,0x18,0x4c,0x10]
719            vinsw 2, 3, 12
720# CHECK-BE: vinsd 2, 3, 12                        # encoding: [0x10,0x4c,0x19,0xcf]
721# CHECK-LE: vinsd 2, 3, 12                        # encoding: [0xcf,0x19,0x4c,0x10]
722            vinsd 2, 3, 12
723# CHECK-BE: vinsbvlx 1, 3, 5                      # encoding: [0x10,0x23,0x28,0x0f]
724# CHECK-LE: vinsbvlx 1, 3, 5                      # encoding: [0x0f,0x28,0x23,0x10]
725            vinsbvlx 1, 3, 5
726# CHECK-BE: vinsbvrx 1, 3, 5                      # encoding: [0x10,0x23,0x29,0x0f]
727# CHECK-LE: vinsbvrx 1, 3, 5                      # encoding: [0x0f,0x29,0x23,0x10]
728            vinsbvrx 1, 3, 5
729# CHECK-BE: vinshvlx 1, 3, 5                      # encoding: [0x10,0x23,0x28,0x4f]
730# CHECK-LE: vinshvlx 1, 3, 5                      # encoding: [0x4f,0x28,0x23,0x10]
731            vinshvlx 1, 3, 5
732# CHECK-BE: vinshvrx 1, 3, 5                      # encoding: [0x10,0x23,0x29,0x4f]
733# CHECK-LE: vinshvrx 1, 3, 5                      # encoding: [0x4f,0x29,0x23,0x10]
734            vinshvrx 1, 3, 5
735# CHECK-BE: vinswvlx 1, 3, 5                      # encoding: [0x10,0x23,0x28,0x8f]
736# CHECK-LE: vinswvlx 1, 3, 5                      # encoding: [0x8f,0x28,0x23,0x10]
737            vinswvlx 1, 3, 5
738# CHECK-BE: vinswvrx 1, 3, 5                      # encoding: [0x10,0x23,0x29,0x8f]
739# CHECK-LE: vinswvrx 1, 3, 5                      # encoding: [0x8f,0x29,0x23,0x10]
740            vinswvrx 1, 3, 5
741# CHECK-BE: vinsblx 1, 2, 3                       # encoding: [0x10,0x22,0x1a,0x0f]
742# CHECK-LE: vinsblx 1, 2, 3                       # encoding: [0x0f,0x1a,0x22,0x10]
743            vinsblx 1, 2, 3
744# CHECK-BE: vinsbrx 1, 2, 3                       # encoding: [0x10,0x22,0x1b,0x0f]
745# CHECK-LE: vinsbrx 1, 2, 3                       # encoding: [0x0f,0x1b,0x22,0x10]
746            vinsbrx 1, 2, 3
747# CHECK-BE: vinshlx 1, 2, 3                       # encoding: [0x10,0x22,0x1a,0x4f]
748# CHECK-LE: vinshlx 1, 2, 3                       # encoding: [0x4f,0x1a,0x22,0x10]
749            vinshlx 1, 2, 3
750# CHECK-BE: vinshrx 1, 2, 3                       # encoding: [0x10,0x22,0x1b,0x4f]
751# CHECK-LE: vinshrx 1, 2, 3                       # encoding: [0x4f,0x1b,0x22,0x10]
752            vinshrx 1, 2, 3
753# CHECK-BE: vinswlx 1, 2, 3                       # encoding: [0x10,0x22,0x1a,0x8f]
754# CHECK-LE: vinswlx 1, 2, 3                       # encoding: [0x8f,0x1a,0x22,0x10]
755            vinswlx 1, 2, 3
756# CHECK-BE: vinswrx 1, 2, 3                       # encoding: [0x10,0x22,0x1b,0x8f]
757# CHECK-LE: vinswrx 1, 2, 3                       # encoding: [0x8f,0x1b,0x22,0x10]
758            vinswrx 1, 2, 3
759# CHECK-BE: vinsdlx 1, 2, 3                       # encoding: [0x10,0x22,0x1a,0xcf]
760# CHECK-LE: vinsdlx 1, 2, 3                       # encoding: [0xcf,0x1a,0x22,0x10]
761            vinsdlx 1, 2, 3
762# CHECK-BE: vinsdrx 1, 2, 3                       # encoding: [0x10,0x22,0x1b,0xcf]
763# CHECK-LE: vinsdrx 1, 2, 3                       # encoding: [0xcf,0x1b,0x22,0x10]
764            vinsdrx 1, 2, 3
765# CHECK-BE: vextdubvlx 1, 2, 3, 3                 # encoding: [0x10,0x22,0x18,0xd8]
766# CHECK-LE: vextdubvlx 1, 2, 3, 3                 # encoding: [0xd8,0x18,0x22,0x10]
767            vextdubvlx 1, 2, 3, 3
768# CHECK-BE: vextdubvrx 1, 2, 3, 3                 # encoding: [0x10,0x22,0x18,0xd9]
769# CHECK-LE: vextdubvrx 1, 2, 3, 3                 # encoding: [0xd9,0x18,0x22,0x10]
770            vextdubvrx 1, 2, 3, 3
771# CHECK-BE: vextduhvlx 1, 2, 3, 3                 # encoding: [0x10,0x22,0x18,0xda]
772# CHECK-LE: vextduhvlx 1, 2, 3, 3                 # encoding: [0xda,0x18,0x22,0x10]
773            vextduhvlx 1, 2, 3, 3
774# CHECK-BE: vextduhvrx 1, 2, 3, 3                 # encoding: [0x10,0x22,0x18,0xdb]
775# CHECK-LE: vextduhvrx 1, 2, 3, 3                 # encoding: [0xdb,0x18,0x22,0x10]
776            vextduhvrx 1, 2, 3, 3
777# CHECK-BE: vextduwvlx 1, 2, 3, 3                 # encoding: [0x10,0x22,0x18,0xdc]
778# CHECK-LE: vextduwvlx 1, 2, 3, 3                 # encoding: [0xdc,0x18,0x22,0x10]
779            vextduwvlx 1, 2, 3, 3
780# CHECK-BE: vextduwvrx 1, 2, 3, 3                 # encoding: [0x10,0x22,0x18,0xdd]
781# CHECK-LE: vextduwvrx 1, 2, 3, 3                 # encoding: [0xdd,0x18,0x22,0x10]
782            vextduwvrx 1, 2, 3, 3
783# CHECK-BE: vextddvlx 1, 2, 3, 3                  # encoding: [0x10,0x22,0x18,0xde]
784# CHECK-LE: vextddvlx 1, 2, 3, 3                  # encoding: [0xde,0x18,0x22,0x10]
785            vextddvlx 1, 2, 3, 3
786# CHECK-BE: vextddvrx 1, 2, 3, 3                  # encoding: [0x10,0x22,0x18,0xdf]
787# CHECK-LE: vextddvrx 1, 2, 3, 3                  # encoding: [0xdf,0x18,0x22,0x10]
788            vextddvrx 1, 2, 3, 3
789# CHECK-BE: lxvrbx 32, 1, 2                       # encoding: [0x7c,0x01,0x10,0x1b]
790# CHECK-LE: lxvrbx 32, 1, 2                       # encoding: [0x1b,0x10,0x01,0x7c]
791            lxvrbx 32, 1, 2
792# CHECK-BE: lxvrhx 33, 1, 2                       # encoding: [0x7c,0x21,0x10,0x5b]
793# CHECK-LE: lxvrhx 33, 1, 2                       # encoding: [0x5b,0x10,0x21,0x7c]
794            lxvrhx 33, 1, 2
795# CHECK-BE: lxvrdx 34, 1, 2                       # encoding: [0x7c,0x41,0x10,0xdb]
796# CHECK-LE: lxvrdx 34, 1, 2                       # encoding: [0xdb,0x10,0x41,0x7c]
797            lxvrdx 34, 1, 2
798# CHECK-BE: lxvrwx 35, 1, 2                       # encoding: [0x7c,0x61,0x10,0x9b]
799# CHECK-LE: lxvrwx 35, 1, 2                       # encoding: [0x9b,0x10,0x61,0x7c]
800            lxvrwx 35, 1, 2
801# CHECK-BE: stxvrbx 32, 3, 1                      # encoding: [0x7c,0x03,0x09,0x1b]
802# CHECK-LE: stxvrbx 32, 3, 1                      # encoding: [0x1b,0x09,0x03,0x7c]
803            stxvrbx 32, 3, 1
804# CHECK-BE: stxvrhx 33, 3, 1                      # encoding: [0x7c,0x23,0x09,0x5b]
805# CHECK-LE: stxvrhx 33, 3, 1                      # encoding: [0x5b,0x09,0x23,0x7c]
806            stxvrhx 33, 3, 1
807# CHECK-BE: stxvrwx 34, 3, 1                      # encoding: [0x7c,0x43,0x09,0x9b]
808# CHECK-LE: stxvrwx 34, 3, 1                      # encoding: [0x9b,0x09,0x43,0x7c]
809            stxvrwx 34, 3, 1
810# CHECK-BE: stxvrdx 35, 3, 1                      # encoding: [0x7c,0x63,0x09,0xdb]
811# CHECK-LE: stxvrdx 35, 3, 1                      # encoding: [0xdb,0x09,0x63,0x7c]
812            stxvrdx 35, 3, 1
813# CHECK-BE: vextractbm 1, 2                       # encoding: [0x10,0x28,0x16,0x42]
814# CHECK-LE: vextractbm 1, 2                       # encoding: [0x42,0x16,0x28,0x10]
815            vextractbm 1, 2
816# CHECK-BE: vextracthm 1, 2                       # encoding: [0x10,0x29,0x16,0x42]
817# CHECK-LE: vextracthm 1, 2                       # encoding: [0x42,0x16,0x29,0x10]
818            vextracthm 1, 2
819# CHECK-BE: vextractwm 1, 2                       # encoding: [0x10,0x2a,0x16,0x42]
820# CHECK-LE: vextractwm 1, 2                       # encoding: [0x42,0x16,0x2a,0x10]
821            vextractwm 1, 2
822# CHECK-BE: vextractdm 1, 2                       # encoding: [0x10,0x2b,0x16,0x42]
823# CHECK-LE: vextractdm 1, 2                       # encoding: [0x42,0x16,0x2b,0x10]
824            vextractdm 1, 2
825# CHECK-BE: vextractqm 1, 2                       # encoding: [0x10,0x2c,0x16,0x42]
826# CHECK-LE: vextractqm 1, 2                       # encoding: [0x42,0x16,0x2c,0x10]
827            vextractqm 1, 2
828# CHECK-BE: vexpandbm 1, 2                        # encoding: [0x10,0x20,0x16,0x42]
829# CHECK-LE: vexpandbm 1, 2                        # encoding: [0x42,0x16,0x20,0x10]
830            vexpandbm 1, 2
831# CHECK-BE: vexpandhm 1, 2                        # encoding: [0x10,0x21,0x16,0x42]
832# CHECK-LE: vexpandhm 1, 2                        # encoding: [0x42,0x16,0x21,0x10]
833            vexpandhm 1, 2
834# CHECK-BE: vexpandwm 1, 2                        # encoding: [0x10,0x22,0x16,0x42]
835# CHECK-LE: vexpandwm 1, 2                        # encoding: [0x42,0x16,0x22,0x10]
836            vexpandwm 1, 2
837# CHECK-BE: vexpanddm 1, 2                        # encoding: [0x10,0x23,0x16,0x42]
838# CHECK-LE: vexpanddm 1, 2                        # encoding: [0x42,0x16,0x23,0x10]
839            vexpanddm 1, 2
840# CHECK-BE: vexpandqm 1, 2                        # encoding: [0x10,0x24,0x16,0x42]
841# CHECK-LE: vexpandqm 1, 2                        # encoding: [0x42,0x16,0x24,0x10]
842            vexpandqm 1, 2
843# CHECK-BE: mtvsrbm 1, 2                          # encoding: [0x10,0x30,0x16,0x42]
844# CHECK-LE: mtvsrbm 1, 2                          # encoding: [0x42,0x16,0x30,0x10]
845            mtvsrbm 1, 2
846# CHECK-BE: mtvsrhm 1, 2                          # encoding: [0x10,0x31,0x16,0x42]
847# CHECK-LE: mtvsrhm 1, 2                          # encoding: [0x42,0x16,0x31,0x10]
848            mtvsrhm 1, 2
849# CHECK-BE: mtvsrwm 1, 2                          # encoding: [0x10,0x32,0x16,0x42]
850# CHECK-LE: mtvsrwm 1, 2                          # encoding: [0x42,0x16,0x32,0x10]
851            mtvsrwm 1, 2
852# CHECK-BE: mtvsrdm 1, 2                          # encoding: [0x10,0x33,0x16,0x42]
853# CHECK-LE: mtvsrdm 1, 2                          # encoding: [0x42,0x16,0x33,0x10]
854            mtvsrdm 1, 2
855# CHECK-BE: mtvsrqm 1, 2                          # encoding: [0x10,0x34,0x16,0x42]
856# CHECK-LE: mtvsrqm 1, 2                          # encoding: [0x42,0x16,0x34,0x10]
857            mtvsrqm 1, 2
858# CHECK-BE: mtvsrbmi 1, 31                        # encoding: [0x10,0x2f,0x00,0x15]
859# CHECK-LE: mtvsrbmi 1, 31                        # encoding: [0x15,0x00,0x2f,0x10]
860            mtvsrbmi 1, 31
861# CHECK-BE: vcntmbb 1, 2, 1                       # encoding: [0x10,0x39,0x16,0x42]
862# CHECK-LE: vcntmbb 1, 2, 1                       # encoding: [0x42,0x16,0x39,0x10]
863            vcntmbb 1, 2, 1
864# CHECK-BE: vcntmbh 1, 2, 1                       # encoding: [0x10,0x3b,0x16,0x42]
865# CHECK-LE: vcntmbh 1, 2, 1                       # encoding: [0x42,0x16,0x3b,0x10]
866            vcntmbh 1, 2, 1
867# CHECK-BE: vcntmbw 1, 2, 0                       # encoding: [0x10,0x3c,0x16,0x42]
868# CHECK-LE: vcntmbw 1, 2, 0                       # encoding: [0x42,0x16,0x3c,0x10]
869            vcntmbw 1, 2, 0
870# CHECK-BE: vcntmbd 1, 2, 0                       # encoding: [0x10,0x3e,0x16,0x42]
871# CHECK-LE: vcntmbd 1, 2, 0                       # encoding: [0x42,0x16,0x3e,0x10]
872            vcntmbd 1, 2, 0
873# CHECK-BE: vmulesd 1, 2, 3                       # encoding: [0x10,0x22,0x1b,0xc8]
874# CHECK-LE: vmulesd 1, 2, 3                       # encoding: [0xc8,0x1b,0x22,0x10]
875            vmulesd 1, 2, 3
876# CHECK-BE: vmulosd 1, 2, 3                       # encoding: [0x10,0x22,0x19,0xc8]
877# CHECK-LE: vmulosd 1, 2, 3                       # encoding: [0xc8,0x19,0x22,0x10]
878            vmulosd 1, 2, 3
879# CHECK-BE: vmuleud 1, 2, 3                       # encoding: [0x10,0x22,0x1a,0xc8]
880# CHECK-LE: vmuleud 1, 2, 3                       # encoding: [0xc8,0x1a,0x22,0x10]
881            vmuleud 1, 2, 3
882# CHECK-BE: vmuloud 1, 2, 3                       # encoding: [0x10,0x22,0x18,0xc8]
883# CHECK-LE: vmuloud 1, 2, 3                       # encoding: [0xc8,0x18,0x22,0x10]
884            vmuloud 1, 2, 3
885# CHECK-BE: vmsumcud 1, 2, 3, 4                   # encoding: [0x10,0x22,0x19,0x17]
886# CHECK-LE: vmsumcud 1, 2, 3, 4                   # encoding: [0x17,0x19,0x22,0x10]
887            vmsumcud 1, 2, 3, 4
888# CHECK-BE: vdivsq 3, 4, 5                        # encoding: [0x10,0x64,0x29,0x0b]
889# CHECK-LE: vdivsq 3, 4, 5                        # encoding: [0x0b,0x29,0x64,0x10]
890            vdivsq 3, 4, 5
891# CHECK-BE: vdivuq 3, 4, 5                        # encoding: [0x10,0x64,0x28,0x0b]
892# CHECK-LE: vdivuq 3, 4, 5                        # encoding: [0x0b,0x28,0x64,0x10]
893            vdivuq 3, 4, 5
894# CHECK-BE: vdivesq 3, 4, 5                       # encoding: [0x10,0x64,0x2b,0x0b]
895# CHECK-LE: vdivesq 3, 4, 5                       # encoding: [0x0b,0x2b,0x64,0x10]
896            vdivesq 3, 4, 5
897# CHECK-BE: vdiveuq 3, 4, 5                       # encoding: [0x10,0x64,0x2a,0x0b]
898# CHECK-LE: vdiveuq 3, 4, 5                       # encoding: [0x0b,0x2a,0x64,0x10]
899            vdiveuq 3, 4, 5
900# CHECK-BE: vcmpequq 4, 5, 6                      # encoding: [0x10,0x85,0x31,0xc7]
901# CHECK-LE: vcmpequq 4, 5, 6                      # encoding: [0xc7,0x31,0x85,0x10]
902            vcmpequq 4, 5, 6
903# CHECK-BE: vcmpequq. 4, 5, 6                     # encoding: [0x10,0x85,0x35,0xc7]
904# CHECK-LE: vcmpequq. 4, 5, 6                     # encoding: [0xc7,0x35,0x85,0x10]
905            vcmpequq. 4, 5, 6
906# CHECK-BE: vcmpgtsq 4, 5, 6                      # encoding: [0x10,0x85,0x33,0x87]
907# CHECK-LE: vcmpgtsq 4, 5, 6                      # encoding: [0x87,0x33,0x85,0x10]
908            vcmpgtsq 4, 5, 6
909# CHECK-BE: vcmpgtsq. 4, 5, 6                     # encoding: [0x10,0x85,0x37,0x87]
910# CHECK-LE: vcmpgtsq. 4, 5, 6                     # encoding: [0x87,0x37,0x85,0x10]
911            vcmpgtsq. 4, 5, 6
912# CHECK-BE: vcmpgtuq 4, 5, 6                      # encoding: [0x10,0x85,0x32,0x87]
913# CHECK-LE: vcmpgtuq 4, 5, 6                      # encoding: [0x87,0x32,0x85,0x10]
914            vcmpgtuq 4, 5, 6
915# CHECK-BE: vcmpgtuq. 4, 5, 6                     # encoding: [0x10,0x85,0x36,0x87]
916# CHECK-LE: vcmpgtuq. 4, 5, 6                     # encoding: [0x87,0x36,0x85,0x10]
917            vcmpgtuq. 4, 5, 6
918# CHECK-BE: vcmpsq 7, 1, 2                        # encoding: [0x13,0x81,0x11,0x41]
919# CHECK-LE: vcmpsq 7, 1, 2                        # encoding: [0x41,0x11,0x81,0x13]
920            vcmpsq 7, 1, 2
921# CHECK-BE: vcmpuq 7, 1, 2                        # encoding: [0x13,0x81,0x11,0x01]
922# CHECK-LE: vcmpuq 7, 1, 2                        # encoding: [0x01,0x11,0x81,0x13]
923            vcmpuq 7, 1, 2
924# CHECK-BE: vmodsq 3, 4, 5                        # encoding: [0x10,0x64,0x2f,0x0b]
925# CHECK-LE: vmodsq 3, 4, 5                        # encoding: [0x0b,0x2f,0x64,0x10]
926            vmodsq 3, 4, 5
927# CHECK-BE: vmoduq 3, 4, 5                        # encoding: [0x10,0x64,0x2e,0x0b]
928# CHECK-LE: vmoduq 3, 4, 5                        # encoding: [0x0b,0x2e,0x64,0x10]
929            vmoduq 3, 4, 5
930# CHECK-BE: vextsd2q 20, 25                       # encoding: [0x12,0x9b,0xce,0x02]
931# CHECK-LE: vextsd2q 20, 25                       # encoding: [0x02,0xce,0x9b,0x12]
932            vextsd2q 20, 25
933# CHECK-BE: vrlq 4, 5, 6                          # encoding: [0x10,0x85,0x30,0x05]
934# CHECK-LE: vrlq 4, 5, 6                          # encoding: [0x05,0x30,0x85,0x10]
935            vrlq 4, 5, 6
936# CHECK-BE: vrlqnm 4, 5, 6                        # encoding: [0x10,0x85,0x31,0x45]
937# CHECK-LE: vrlqnm 4, 5, 6                        # encoding: [0x45,0x31,0x85,0x10]
938            vrlqnm 4, 5, 6
939# CHECK-BE: vrlqmi 4, 5, 6                        # encoding: [0x10,0x85,0x30,0x45]
940# CHECK-LE: vrlqmi 4, 5, 6                        # encoding: [0x45,0x30,0x85,0x10]
941            vrlqmi 4, 5, 6
942# CHECK-BE: vslq 4, 5, 6                          # encoding: [0x10,0x85,0x31,0x05]
943# CHECK-LE: vslq 4, 5, 6                          # encoding: [0x05,0x31,0x85,0x10]
944            vslq 4, 5, 6
945# CHECK-BE: vsrq 4, 5, 6                          # encoding: [0x10,0x85,0x32,0x05]
946# CHECK-LE: vsrq 4, 5, 6                          # encoding: [0x05,0x32,0x85,0x10]
947            vsrq 4, 5, 6
948# CHECK-BE: vsraq 4, 5, 6                         # encoding: [0x10,0x85,0x33,0x05]
949# CHECK-LE: vsraq 4, 5, 6                         # encoding: [0x05,0x33,0x85,0x10]
950            vsraq 4, 5, 6
951# CHECK-BE: xscvqpuqz 8, 28                       # encoding: [0xfd,0x00,0xe6,0x88]
952# CHECK-LE: xscvqpuqz 8, 28                       # encoding: [0x88,0xe6,0x00,0xfd]
953            xscvqpuqz 8, 28
954# CHECK-BE: xscvqpsqz 8, 28                       # encoding: [0xfd,0x08,0xe6,0x88]
955# CHECK-LE: xscvqpsqz 8, 28                       # encoding: [0x88,0xe6,0x08,0xfd]
956            xscvqpsqz 8, 28
957# CHECK-BE: xscvuqqp 8, 28                        # encoding: [0xfd,0x03,0xe6,0x88]
958# CHECK-LE: xscvuqqp 8, 28                        # encoding: [0x88,0xe6,0x03,0xfd]
959            xscvuqqp 8, 28
960# CHECK-BE: xscvsqqp 8, 28                        # encoding: [0xfd,0x0b,0xe6,0x88]
961# CHECK-LE: xscvsqqp 8, 28                        # encoding: [0x88,0xe6,0x0b,0xfd]
962            xscvsqqp 8, 28
963# CHECK-BE: xsmaxcqp 2, 2, 3                      # encoding: [0xfc,0x42,0x1d,0x48]
964# CHECK-LE: xsmaxcqp 2, 2, 3                      # encoding: [0x48,0x1d,0x42,0xfc]
965            xsmaxcqp 2, 2, 3
966# CHECK-BE: xsmincqp 2, 2, 3                      # encoding: [0xfc,0x42,0x1d,0xc8]
967# CHECK-LE: xsmincqp 2, 2, 3                      # encoding: [0xc8,0x1d,0x42,0xfc]
968            xsmincqp 2, 2, 3
969# CHECK-BE: xscmpeqqp 1, 2, 2                     # encoding: [0xfc,0x22,0x10,0x88]
970# CHECK-LE: xscmpeqqp 1, 2, 2                     # encoding: [0x88,0x10,0x22,0xfc]
971            xscmpeqqp 1, 2, 2
972# CHECK-BE: xscmpgeqp 1, 2, 3                     # encoding: [0xfc,0x22,0x19,0x88]
973# CHECK-LE: xscmpgeqp 1, 2, 3                     # encoding: [0x88,0x19,0x22,0xfc]
974            xscmpgeqp 1, 2, 3
975# CHECK-BE: xscmpgtqp 1, 2, 4                     # encoding: [0xfc,0x22,0x21,0xc8]
976# CHECK-LE: xscmpgtqp 1, 2, 4                     # encoding: [0xc8,0x21,0x22,0xfc]
977            xscmpgtqp 1, 2, 4
978# CHECK-BE: vstribr 2, 2                          # encoding: [0x10,0x41,0x10,0x0d]
979# CHECK-LE: vstribr 2, 2                          # encoding: [0x0d,0x10,0x41,0x10]
980            vstribr 2, 2
981# CHECK-BE: vstribl 2, 2                          # encoding: [0x10,0x40,0x10,0x0d]
982# CHECK-LE: vstribl 2, 2                          # encoding: [0x0d,0x10,0x40,0x10]
983            vstribl 2, 2
984# CHECK-BE: vstrihr 2, 2                          # encoding: [0x10,0x43,0x10,0x0d]
985# CHECK-LE: vstrihr 2, 2                          # encoding: [0x0d,0x10,0x43,0x10]
986            vstrihr 2, 2
987# CHECK-BE: vstribr. 2, 2                         # encoding: [0x10,0x41,0x14,0x0d]
988# CHECK-LE: vstribr. 2, 2                         # encoding: [0x0d,0x14,0x41,0x10]
989            vstribr. 2, 2
990# CHECK-BE: vstribl. 2, 2                         # encoding: [0x10,0x40,0x14,0x0d]
991# CHECK-LE: vstribl. 2, 2                         # encoding: [0x0d,0x14,0x40,0x10]
992            vstribl. 2, 2
993# CHECK-BE: vstrihr. 2, 2                         # encoding: [0x10,0x43,0x14,0x0d]
994# CHECK-LE: vstrihr. 2, 2                         # encoding: [0x0d,0x14,0x43,0x10]
995            vstrihr. 2, 2
996# CHECK-BE: vstrihl 2, 4                          # encoding: [0x10,0x42,0x20,0x0d]
997# CHECK-LE: vstrihl 2, 4                          # encoding: [0x0d,0x20,0x42,0x10]
998            vstrihl 2, 4
999# CHECK-BE: vstrihl. 2, 2                         # encoding: [0x10,0x42,0x14,0x0d]
1000# CHECK-LE: vstrihl. 2, 2                         # encoding: [0x0d,0x14,0x42,0x10]
1001            vstrihl. 2, 2
1002# CHECK-BE: xvcvspbf16 33, 34                     # encoding: [0xf0,0x31,0x17,0x6f]
1003# CHECK-LE: xvcvspbf16 33, 34                     # encoding: [0x6f,0x17,0x31,0xf0]
1004            xvcvspbf16 33, 34
1005# CHECK-BE: xvcvbf16spn 33, 34                    # encoding: [0xf0,0x30,0x17,0x6f]
1006# CHECK-LE: xvcvbf16spn 33, 34                    # encoding: [0x6f,0x17,0x30,0xf0]
1007            xvcvbf16spn 33, 34
1008# CHECK-BE: xvtlsbb 1, 7                          # encoding: [0xf0,0x82,0x3f,0x6c]
1009# CHECK-LE: xvtlsbb 1, 7                          # encoding: [0x6c,0x3f,0x82,0xf0]
1010            xvtlsbb 1, 7
1011# CHECK-BE: hashst 5, -8(1)                       # encoding: [0x7f,0xe1,0x2d,0xa5]
1012# CHECK-LE: hashst 5, -8(1)                       # encoding: [0xa5,0x2d,0xe1,0x7f]
1013            hashst 5, -8(1)
1014# CHECK-BE: hashst 0, -8(30)                      # encoding: [0x7f,0xfe,0x05,0xa5]
1015# CHECK-LE: hashst 0, -8(30)                      # encoding: [0xa5,0x05,0xfe,0x7f]
1016            hashst 0, -8(30)
1017# CHECK-BE: hashst 5, -512(1)                     # encoding: [0x7c,0x01,0x2d,0xa4]
1018# CHECK-LE: hashst 5, -512(1)                     # encoding: [0xa4,0x2d,0x01,0x7c]
1019            hashst 5, -512(1)
1020# CHECK-BE: hashchk 5, -8(1)                      # encoding: [0x7f,0xe1,0x2d,0xe5]
1021# CHECK-LE: hashchk 5, -8(1)                      # encoding: [0xe5,0x2d,0xe1,0x7f]
1022            hashchk 5, -8(1)
1023# CHECK-BE: hashchk 0, -8(30)                     # encoding: [0x7f,0xfe,0x05,0xe5]
1024# CHECK-LE: hashchk 0, -8(30)                     # encoding: [0xe5,0x05,0xfe,0x7f]
1025            hashchk 0, -8(30)
1026# CHECK-BE: hashchk 5, -512(1)                    # encoding: [0x7c,0x01,0x2d,0xe4]
1027# CHECK-LE: hashchk 5, -512(1)                    # encoding: [0xe4,0x2d,0x01,0x7c]
1028            hashchk 5, -512(1)
1029# CHECK-BE: hashstp 5, -8(1)                      # encoding: [0x7f,0xe1,0x2d,0x25]
1030# CHECK-LE: hashstp 5, -8(1)                      # encoding: [0x25,0x2d,0xe1,0x7f]
1031            hashstp 5, -8(1)
1032# CHECK-BE: hashstp 0, -8(30)                     # encoding: [0x7f,0xfe,0x05,0x25]
1033# CHECK-LE: hashstp 0, -8(30)                     # encoding: [0x25,0x05,0xfe,0x7f]
1034            hashstp 0, -8(30)
1035# CHECK-BE: hashstp 5, -512(1)                    # encoding: [0x7c,0x01,0x2d,0x24]
1036# CHECK-LE: hashstp 5, -512(1)                    # encoding: [0x24,0x2d,0x01,0x7c]
1037            hashstp 5, -512(1)
1038# CHECK-BE: hashchkp 5, -8(1)                     # encoding: [0x7f,0xe1,0x2d,0x65]
1039# CHECK-LE: hashchkp 5, -8(1)                     # encoding: [0x65,0x2d,0xe1,0x7f]
1040            hashchkp 5, -8(1)
1041# CHECK-BE: hashchkp 0, -8(30)                    # encoding: [0x7f,0xfe,0x05,0x65]
1042# CHECK-LE: hashchkp 0, -8(30)                    # encoding: [0x65,0x05,0xfe,0x7f]
1043            hashchkp 0, -8(30)
1044# CHECK-BE: hashchkp 5, -512(1)                   # encoding: [0x7c,0x01,0x2d,0x64]
1045# CHECK-LE: hashchkp 5, -512(1)                   # encoding: [0x64,0x2d,0x01,0x7c]
1046            hashchkp 5, -512(1)
1047
1048##
1049## Extended Mnemonics
1050##
1051
1052# CHECK-BE: wait                                  # encoding: [0x7c,0x00,0x00,0x3c]
1053# CHECK-LE: wait                                  # encoding: [0x3c,0x00,0x00,0x7c]
1054            wait
1055# CHECK-BE: wait                                  # encoding: [0x7c,0x00,0x00,0x3c]
1056# CHECK-LE: wait                                  # encoding: [0x3c,0x00,0x00,0x7c]
1057            wait 0
1058# CHECK-BE: waitrsv                               # encoding: [0x7c,0x20,0x00,0x3c]
1059# CHECK-LE: waitrsv                               # encoding: [0x3c,0x00,0x20,0x7c]
1060            wait 1
1061# CHECK-BE: waitrsv                               # encoding: [0x7c,0x20,0x00,0x3c]
1062# CHECK-LE: waitrsv                               # encoding: [0x3c,0x00,0x20,0x7c]
1063            waitrsv
1064# CHECK-BE: wait 2 0                              # encoding: [0x7c,0x40,0x00,0x3c]
1065# CHECK-LE: wait 2 0                              # encoding: [0x3c,0x00,0x40,0x7c]
1066            pause_short
1067
1068# CHECK-BE: sync                                  # encoding: [0x7c,0x00,0x04,0xac]
1069# CHECK-LE: sync                                  # encoding: [0xac,0x04,0x00,0x7c]
1070            sync
1071# CHECK-BE: ptesync                               # encoding: [0x7c,0x40,0x04,0xac]
1072# CHECK-LE: ptesync                               # encoding: [0xac,0x04,0x40,0x7c]
1073            sync 2
1074# CHECK-BE: sync                                  # encoding: [0x7c,0x00,0x04,0xac]
1075# CHECK-LE: sync                                  # encoding: [0xac,0x04,0x00,0x7c]
1076            hwsync
1077# CHECK-BE: sync 1                                # encoding: [0x7c,0x20,0x04,0xac]
1078# CHECK-LE: sync 1                                # encoding: [0xac,0x04,0x20,0x7c]
1079            wsync
1080# CHECK-BE: ptesync                               # encoding: [0x7c,0x40,0x04,0xac]
1081# CHECK-LE: ptesync                               # encoding: [0xac,0x04,0x40,0x7c]
1082            ptesync
1083# CHECK-BE: phwsync                               # encoding: [0x7c,0x80,0x04,0xac]
1084# CHECK-LE: phwsync                               # encoding: [0xac,0x04,0x80,0x7c]
1085            phwsync
1086# CHECK-BE: plwsync                               # encoding: [0x7c,0xa0,0x04,0xac]
1087# CHECK-LE: plwsync                               # encoding: [0xac,0x04,0xa0,0x7c]
1088            plwsync
1089# CHECK-BE: stncisync                             # encoding: [0x7c,0x21,0x04,0xac]
1090# CHECK-LE: stncisync                             # encoding: [0xac,0x04,0x21,0x7c]
1091            stncisync
1092# CHECK-BE: stcisync                              # encoding: [0x7c,0x02,0x04,0xac]
1093# CHECK-LE: stcisync                              # encoding: [0xac,0x04,0x02,0x7c]
1094            stcisync
1095# CHECK-BE: stsync                                # encoding: [0x7c,0x03,0x04,0xac]
1096# CHECK-LE: stsync                                # encoding: [0xac,0x04,0x03,0x7c]
1097            stsync
1098
1099# CHECK-BE: paddi 4, 5, 4294965249                # encoding: [0x06,0x00,0xff,0xff,
1100# CHECK-BE-SAME:                                               0x38,0x85,0xf8,0x01]
1101# CHECK-LE: paddi 4, 5, 4294965249                # encoding: [0xff,0xff,0x00,0x06,
1102# CHECK-LE-SAME:                                               0x01,0xf8,0x85,0x38]
1103            paddi 4, 5, 4294965249
1104# CHECK-BE: pli 4, 4294965249                     # encoding: [0x06,0x00,0xff,0xff,
1105# CHECK-BE-SAME:                                               0x38,0x80,0xf8,0x01]
1106# CHECK-LE: pli 4, 4294965249                     # encoding: [0xff,0xff,0x00,0x06,
1107# CHECK-LE-SAME:                                               0x01,0xf8,0x80,0x38]
1108            pli 4, 4294965249
1109# CHECK-BE: paddi 4, 3, 4294965249                # encoding: [0x06,0x00,0xff,0xff,
1110# CHECK-BE-SAME:                                               0x38,0x83,0xf8,0x01]
1111# CHECK-LE: paddi 4, 3, 4294965249                # encoding: [0xff,0xff,0x00,0x06,
1112# CHECK-LE-SAME:                                               0x01,0xf8,0x83,0x38]
1113            pla 4, 4294965249(3)
1114# CHECK-BE: paddi 4, 0, 4294965249, 1             # encoding: [0x06,0x10,0xff,0xff,
1115# CHECK-BE-SAME:                                               0x38,0x80,0xf8,0x01]
1116# CHECK-LE: paddi 4, 0, 4294965249, 1             # encoding: [0xff,0xff,0x10,0x06,
1117# CHECK-LE-SAME:                                               0x01,0xf8,0x80,0x38]
1118            pla 4, 4294965249
1119# CHECK-BE: paddi 4, 5, -80, 0                    # encoding: [0x06,0x03,0xff,0xff,
1120# CHECK-BE-SAME:                                               0x38,0x85,0xff,0xb0]
1121# CHECK-LE: paddi 4, 5, -80, 0                    # encoding: [0xff,0xff,0x03,0x06,
1122# CHECK-LE-SAME:                                               0xb0,0xff,0x85,0x38]
1123            psubi 4, 5, 80
1124
1125# CHECK-BE: plbz 5, 4294965249(3)                 # encoding: [0x06,0x00,0xff,0xff,
1126# CHECK-BE-SAME:                                               0x88,0xa3,0xf8,0x01]
1127# CHECK-LE: plbz 5, 4294965249(3)                 # encoding: [0xff,0xff,0x00,0x06,
1128# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0x88]
1129            plbz 5, 4294965249(3)
1130# CHECK-BE: plbz 5, 4294965249                    # encoding: [0x06,0x10,0xff,0xff,
1131# CHECK-BE-SAME:                                               0x88,0xa0,0xf8,0x01]
1132# CHECK-LE: plbz 5, 4294965249                    # encoding: [0xff,0xff,0x10,0x06,
1133# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0x88]
1134            plbz 5, 4294965249
1135# CHECK-BE: plhz 5, 4294965249(3)                 # encoding: [0x06,0x00,0xff,0xff,
1136# CHECK-BE-SAME:                                               0xa0,0xa3,0xf8,0x01]
1137# CHECK-LE: plhz 5, 4294965249(3)                 # encoding: [0xff,0xff,0x00,0x06,
1138# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0xa0]
1139            plhz 5, 4294965249(3)
1140# CHECK-BE: plhz 5, 4294965249                    # encoding: [0x06,0x10,0xff,0xff,
1141# CHECK-BE-SAME:                                               0xa0,0xa0,0xf8,0x01]
1142# CHECK-LE: plhz 5, 4294965249                    # encoding: [0xff,0xff,0x10,0x06,
1143# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0xa0]
1144            plhz 5, 4294965249
1145# CHECK-BE: plha 5, 4294965249(3)                 # encoding: [0x06,0x00,0xff,0xff,
1146# CHECK-BE-SAME:                                               0xa8,0xa3,0xf8,0x01]
1147# CHECK-LE: plha 5, 4294965249(3)                 # encoding: [0xff,0xff,0x00,0x06,
1148# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0xa8]
1149            plha 5, 4294965249(3)
1150# CHECK-BE: plha 5, 4294965249                    # encoding: [0x06,0x10,0xff,0xff,
1151# CHECK-BE-SAME:                                               0xa8,0xa0,0xf8,0x01]
1152# CHECK-LE: plha 5, 4294965249                    # encoding: [0xff,0xff,0x10,0x06,
1153# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0xa8]
1154            plha 5, 4294965249
1155# CHECK-BE: plwz 5, 4294965249(3)                 # encoding: [0x06,0x00,0xff,0xff,
1156# CHECK-BE-SAME:                                               0x80,0xa3,0xf8,0x01]
1157# CHECK-LE: plwz 5, 4294965249(3)                 # encoding: [0xff,0xff,0x00,0x06,
1158# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0x80]
1159            plwz 5, 4294965249(3)
1160# CHECK-BE: plwz 5, 4294965249                    # encoding: [0x06,0x10,0xff,0xff,
1161# CHECK-BE-SAME:                                               0x80,0xa0,0xf8,0x01]
1162# CHECK-LE: plwz 5, 4294965249                    # encoding: [0xff,0xff,0x10,0x06,
1163# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0x80]
1164            plwz 5, 4294965249
1165# CHECK-BE: plwa 5, 4294965249(3)                 # encoding: [0x04,0x00,0xff,0xff,
1166# CHECK-BE-SAME:                                               0xa4,0xa3,0xf8,0x01]
1167# CHECK-LE: plwa 5, 4294965249(3)                 # encoding: [0xff,0xff,0x00,0x04,
1168# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0xa4]
1169            plwa 5, 4294965249(3)
1170# CHECK-BE: plwa 5, 4294965249                    # encoding: [0x04,0x10,0xff,0xff,
1171# CHECK-BE-SAME:                                               0xa4,0xa0,0xf8,0x01]
1172# CHECK-LE: plwa 5, 4294965249                    # encoding: [0xff,0xff,0x10,0x04,
1173# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0xa4]
1174            plwa 5, 4294965249
1175# CHECK-BE: pld 5, 4294965249(3)                  # encoding: [0x04,0x00,0xff,0xff,
1176# CHECK-BE-SAME:                                               0xe4,0xa3,0xf8,0x01]
1177# CHECK-LE: pld 5, 4294965249(3)                  # encoding: [0xff,0xff,0x00,0x04,
1178# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0xe4]
1179            pld 5, 4294965249(3)
1180# CHECK-BE: pld 5, 4294965249                     # encoding: [0x04,0x10,0xff,0xff,
1181# CHECK-BE-SAME:                                               0xe4,0xa0,0xf8,0x01]
1182# CHECK-LE: pld 5, 4294965249                     # encoding: [0xff,0xff,0x10,0x04,
1183# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0xe4]
1184            pld 5, 4294965249
1185# CHECK-BE: pstb 5, 4294965249(3)                 # encoding: [0x06,0x00,0xff,0xff,
1186# CHECK-BE-SAME:                                               0x98,0xa3,0xf8,0x01]
1187# CHECK-LE: pstb 5, 4294965249(3)                 # encoding: [0xff,0xff,0x00,0x06,
1188# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0x98]
1189            pstb 5, 4294965249(3)
1190# CHECK-BE: pstb 5, 4294965249                    # encoding: [0x06,0x10,0xff,0xff,
1191# CHECK-BE-SAME:                                               0x98,0xa0,0xf8,0x01]
1192# CHECK-LE: pstb 5, 4294965249                    # encoding: [0xff,0xff,0x10,0x06,
1193# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0x98]
1194            pstb 5, 4294965249
1195# CHECK-BE: psth 5, 4294965249(3)                 # encoding: [0x06,0x00,0xff,0xff,
1196# CHECK-BE-SAME:                                               0xb0,0xa3,0xf8,0x01]
1197# CHECK-LE: psth 5, 4294965249(3)                 # encoding: [0xff,0xff,0x00,0x06,
1198# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0xb0]
1199            psth 5, 4294965249(3)
1200# CHECK-BE: psth 5, 4294965249                    # encoding: [0x06,0x10,0xff,0xff,
1201# CHECK-BE-SAME:                                               0xb0,0xa0,0xf8,0x01]
1202# CHECK-LE: psth 5, 4294965249                    # encoding: [0xff,0xff,0x10,0x06,
1203# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0xb0]
1204            psth 5, 4294965249
1205# CHECK-BE: pstw 5, 4294965249(3)                 # encoding: [0x06,0x00,0xff,0xff,
1206# CHECK-BE-SAME:                                               0x90,0xa3,0xf8,0x01]
1207# CHECK-LE: pstw 5, 4294965249(3)                 # encoding: [0xff,0xff,0x00,0x06,
1208# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0x90]
1209            pstw 5, 4294965249(3)
1210# CHECK-BE: pstw 5, 4294965249                    # encoding: [0x06,0x10,0xff,0xff,
1211# CHECK-BE-SAME:                                               0x90,0xa0,0xf8,0x01]
1212# CHECK-LE: pstw 5, 4294965249                    # encoding: [0xff,0xff,0x10,0x06,
1213# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0x90]
1214            pstw 5, 4294965249
1215# CHECK-BE: pstd 5, 4294965249(3)                 # encoding: [0x04,0x00,0xff,0xff,
1216# CHECK-BE-SAME:                                               0xf4,0xa3,0xf8,0x01]
1217# CHECK-LE: pstd 5, 4294965249(3)                 # encoding: [0xff,0xff,0x00,0x04,
1218# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0xf4]
1219            pstd 5, 4294965249(3)
1220# CHECK-BE: pstd 5, 4294965249                    # encoding: [0x04,0x10,0xff,0xff,
1221# CHECK-BE-SAME:                                               0xf4,0xa0,0xf8,0x01]
1222# CHECK-LE: pstd 5, 4294965249                    # encoding: [0xff,0xff,0x10,0x04,
1223# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0xf4]
1224            pstd 5, 4294965249
1225# CHECK-BE: plfs 5, 4294965249(3)                 # encoding: [0x06,0x00,0xff,0xff,
1226# CHECK-BE-SAME:                                               0xc0,0xa3,0xf8,0x01]
1227# CHECK-LE: plfs 5, 4294965249(3)                 # encoding: [0xff,0xff,0x00,0x06,
1228# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0xc0]
1229            plfs 5, 4294965249(3)
1230# CHECK-BE: plfs 5, 4294965249                    # encoding: [0x06,0x10,0xff,0xff,
1231# CHECK-BE-SAME:                                               0xc0,0xa0,0xf8,0x01]
1232# CHECK-LE: plfs 5, 4294965249                    # encoding: [0xff,0xff,0x10,0x06,
1233# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0xc0]
1234            plfs 5, 4294965249
1235# CHECK-BE: plfd 5, 4294965249(3)                 # encoding: [0x06,0x00,0xff,0xff,
1236# CHECK-BE-SAME:                                               0xc8,0xa3,0xf8,0x01]
1237# CHECK-LE: plfd 5, 4294965249(3)                 # encoding: [0xff,0xff,0x00,0x06,
1238# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0xc8]
1239            plfd 5, 4294965249(3)
1240# CHECK-BE: plfd 5, 4294965249                    # encoding: [0x06,0x10,0xff,0xff,
1241# CHECK-BE-SAME:                                               0xc8,0xa0,0xf8,0x01]
1242# CHECK-LE: plfd 5, 4294965249                    # encoding: [0xff,0xff,0x10,0x06,
1243# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0xc8]
1244            plfd 5, 4294965249
1245# CHECK-BE: pstfs 5, 4294965249(3)                # encoding: [0x06,0x00,0xff,0xff,
1246# CHECK-BE-SAME:                                               0xd0,0xa3,0xf8,0x01]
1247# CHECK-LE: pstfs 5, 4294965249(3)                # encoding: [0xff,0xff,0x00,0x06,
1248# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0xd0]
1249            pstfs 5, 4294965249(3)
1250# CHECK-BE: pstfs 5, 4294965249                   # encoding: [0x06,0x10,0xff,0xff,
1251# CHECK-BE-SAME:                                               0xd0,0xa0,0xf8,0x01]
1252# CHECK-LE: pstfs 5, 4294965249                   # encoding: [0xff,0xff,0x10,0x06,
1253# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0xd0]
1254            pstfs 5, 4294965249
1255# CHECK-BE: pstfd 5, 4294965249(3)                # encoding: [0x06,0x00,0xff,0xff,
1256# CHECK-BE-SAME:                                               0xd8,0xa3,0xf8,0x01]
1257# CHECK-LE: pstfd 5, 4294965249(3)                # encoding: [0xff,0xff,0x00,0x06,
1258# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0xd8]
1259            pstfd 5, 4294965249(3)
1260# CHECK-BE: pstfd 5, 4294965249                   # encoding: [0x06,0x10,0xff,0xff,
1261# CHECK-BE-SAME:                                               0xd8,0xa0,0xf8,0x01]
1262# CHECK-LE: pstfd 5, 4294965249                   # encoding: [0xff,0xff,0x10,0x06,
1263# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0xd8]
1264            pstfd 5, 4294965249
1265# CHECK-BE: plxsd 5, 4294965249(3)                # encoding: [0x04,0x00,0xff,0xff,
1266# CHECK-BE-SAME:                                               0xa8,0xa3,0xf8,0x01]
1267# CHECK-LE: plxsd 5, 4294965249(3)                # encoding: [0xff,0xff,0x00,0x04,
1268# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0xa8]
1269            plxsd 5, 4294965249(3)
1270# CHECK-BE: plxsd 5, 4294965249                   # encoding: [0x04,0x10,0xff,0xff,
1271# CHECK-BE-SAME:                                               0xa8,0xa0,0xf8,0x01]
1272# CHECK-LE: plxsd 5, 4294965249                   # encoding: [0xff,0xff,0x10,0x04,
1273# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0xa8]
1274            plxsd 5, 4294965249
1275# CHECK-BE: plxssp 5, 4294965249(3)               # encoding: [0x04,0x00,0xff,0xff,
1276# CHECK-BE-SAME:                                               0xac,0xa3,0xf8,0x01]
1277# CHECK-LE: plxssp 5, 4294965249(3)               # encoding: [0xff,0xff,0x00,0x04,
1278# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0xac]
1279            plxssp 5, 4294965249(3)
1280# CHECK-BE: plxssp 5, 4294965249                  # encoding: [0x04,0x10,0xff,0xff,
1281# CHECK-BE-SAME:                                               0xac,0xa0,0xf8,0x01]
1282# CHECK-LE: plxssp 5, 4294965249                  # encoding: [0xff,0xff,0x10,0x04,
1283# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0xac]
1284            plxssp 5, 4294965249
1285# CHECK-BE: plxv 5, 4294965249(3)                 # encoding: [0x04,0x00,0xff,0xff,
1286# CHECK-BE-SAME:                                               0xc8,0xa3,0xf8,0x01]
1287# CHECK-LE: plxv 5, 4294965249(3)                 # encoding: [0xff,0xff,0x00,0x04,
1288# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0xc8]
1289            plxv 5, 4294965249(3)
1290# CHECK-BE: plxv 5, 4294965249                    # encoding: [0x04,0x10,0xff,0xff,
1291# CHECK-BE-SAME:                                               0xc8,0xa0,0xf8,0x01]
1292# CHECK-LE: plxv 5, 4294965249                    # encoding: [0xff,0xff,0x10,0x04,
1293# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0xc8]
1294            plxv 5, 4294965249
1295# CHECK-BE: plxvp 6, 4294965249(3)                # encoding: [0x04,0x00,0xff,0xff,
1296# CHECK-BE-SAME:                                               0xe8,0xc3,0xf8,0x01]
1297# CHECK-LE: plxvp 6, 4294965249(3)                # encoding: [0xff,0xff,0x00,0x04,
1298# CHECK-LE-SAME:                                               0x01,0xf8,0xc3,0xe8]
1299            plxvp 6, 4294965249(3)
1300# CHECK-BE: plxvp 6, 4294965249                   # encoding: [0x04,0x10,0xff,0xff,
1301# CHECK-BE-SAME:                                               0xe8,0xc0,0xf8,0x01]
1302# CHECK-LE: plxvp 6, 4294965249                   # encoding: [0xff,0xff,0x10,0x04,
1303# CHECK-LE-SAME:                                               0x01,0xf8,0xc0,0xe8]
1304            plxvp 6, 4294965249
1305# CHECK-BE: pstxsd 5, 4294965249(3)               # encoding: [0x04,0x00,0xff,0xff,
1306# CHECK-BE-SAME:                                               0xb8,0xa3,0xf8,0x01]
1307# CHECK-LE: pstxsd 5, 4294965249(3)               # encoding: [0xff,0xff,0x00,0x04,
1308# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0xb8]
1309            pstxsd 5, 4294965249(3)
1310# CHECK-BE: pstxsd 5, 4294965249                  # encoding: [0x04,0x10,0xff,0xff,
1311# CHECK-BE-SAME:                                               0xb8,0xa0,0xf8,0x01]
1312# CHECK-LE: pstxsd 5, 4294965249                  # encoding: [0xff,0xff,0x10,0x04,
1313# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0xb8]
1314            pstxsd 5, 4294965249
1315# CHECK-BE: pstxssp 5, 4294965249(3)              # encoding: [0x04,0x00,0xff,0xff,
1316# CHECK-BE-SAME:                                               0xbc,0xa3,0xf8,0x01]
1317# CHECK-LE: pstxssp 5, 4294965249(3)              # encoding: [0xff,0xff,0x00,0x04,
1318# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0xbc]
1319            pstxssp 5, 4294965249(3)
1320# CHECK-BE: pstxssp 5, 4294965249                 # encoding: [0x04,0x10,0xff,0xff,
1321# CHECK-BE-SAME:                                               0xbc,0xa0,0xf8,0x01]
1322# CHECK-LE: pstxssp 5, 4294965249                 # encoding: [0xff,0xff,0x10,0x04,
1323# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0xbc]
1324            pstxssp 5, 4294965249
1325# CHECK-BE: pstxv 5, 4294965249(3)                # encoding: [0x04,0x00,0xff,0xff,
1326# CHECK-BE-SAME:                                               0xd8,0xa3,0xf8,0x01]
1327# CHECK-LE: pstxv 5, 4294965249(3)                # encoding: [0xff,0xff,0x00,0x04,
1328# CHECK-LE-SAME:                                               0x01,0xf8,0xa3,0xd8]
1329            pstxv 5, 4294965249(3)
1330# CHECK-BE: pstxv 5, 4294965249                   # encoding: [0x04,0x10,0xff,0xff,
1331# CHECK-BE-SAME:                                               0xd8,0xa0,0xf8,0x01]
1332# CHECK-LE: pstxv 5, 4294965249                   # encoding: [0xff,0xff,0x10,0x04,
1333# CHECK-LE-SAME:                                               0x01,0xf8,0xa0,0xd8]
1334            pstxv 5, 4294965249
1335# CHECK-BE: pstxvp 6, 4294965249(3)               # encoding: [0x04,0x00,0xff,0xff,
1336# CHECK-BE-SAME:                                               0xf8,0xc3,0xf8,0x01]
1337# CHECK-LE: pstxvp 6, 4294965249(3)               # encoding: [0xff,0xff,0x00,0x04,
1338# CHECK-LE-SAME:                                               0x01,0xf8,0xc3,0xf8]
1339            pstxvp 6, 4294965249(3)
1340# CHECK-BE: pstxvp 6, 4294965249                  # encoding: [0x04,0x10,0xff,0xff,
1341# CHECK-BE-SAME:                                               0xf8,0xc0,0xf8,0x01]
1342# CHECK-LE: pstxvp 6, 4294965249                  # encoding: [0xff,0xff,0x10,0x04,
1343# CHECK-LE-SAME:                                               0x01,0xf8,0xc0,0xf8]
1344            pstxvp 6, 4294965249
1345