• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1# Test instructions that have PC-relative operands.  There is no attempt
2# to keep the instructions in alphabetical order, since adding new instructions
3# in the middle would mean updating all later offsets.
4# RUN: llvm-mc --disassemble %s -triple=s390x-linux-gnu -mcpu=zEC12 | FileCheck %s
5
6# 0x00000000:
7# CHECK: brasl %r0, 0x0
80xc0 0x05 0x00 0x00 0x00 0x00
9
10# 0x00000006:
11# CHECK: brasl %r14, 0x6
120xc0 0xe5 0x00 0x00 0x00 0x00
13
14# 0x0000000c:
15# CHECK: brasl %r15, 0xc
160xc0 0xf5 0x00 0x00 0x00 0x00
17
18# 0x00000012:
19# CHECK: brasl %r0, 0x10
200xc0 0x05 0xff 0xff 0xff 0xff
21
22# 0x00000018:
23# CHECK: brasl %r14, 0xffffffff00000018
240xc0 0xe5 0x80 0x00 0x00 0x00
25
26# 0x0000001e:
27# CHECK: brasl %r15, 0x10000001c
280xc0 0xf5 0x7f 0xff 0xff 0xff
29
30# 0x00000024:
31# CHECK: bras %r0, 0x24
320xa7 0x05 0x00 0x00
33
34# 0x00000028:
35# CHECK: bras %r14, 0x28
360xa7 0xe5 0x00 0x00
37
38# 0x0000002c:
39# CHECK: bras %r15, 0x2c
400xa7 0xf5 0x00 0x00
41
42# 0x00000030:
43# CHECK: bras %r0, 0x2e
440xa7 0x05 0xff 0xff
45
46# 0x00000034:
47# CHECK: bras %r14, 0xffffffffffff0034
480xa7 0xe5 0x80 0x00
49
50# 0x00000038:
51# CHECK: bras %r15, 0x10036
520xa7 0xf5 0x7f 0xff
53
54# 0x0000003c:
55# CHECK: brcl 0, 0x3c
560xc0 0x04 0x00 0x00 0x00 0x00
57
58# 0x00000042:
59# CHECK: jgo 0x42
600xc0 0x14 0x00 0x00 0x00 0x00
61
62# 0x00000048:
63# CHECK: jgh 0x48
640xc0 0x24 0x00 0x00 0x00 0x00
65
66# 0x0000004e:
67# CHECK: jgnle 0x4e
680xc0 0x34 0x00 0x00 0x00 0x00
69
70# 0x00000054:
71# CHECK: jgl 0x54
720xc0 0x44 0x00 0x00 0x00 0x00
73
74# 0x0000005a:
75# CHECK: jgnhe 0x5a
760xc0 0x54 0x00 0x00 0x00 0x00
77
78# 0x00000060:
79# CHECK: jglh 0x60
800xc0 0x64 0x00 0x00 0x00 0x00
81
82# 0x00000066:
83# CHECK: jgne 0x66
840xc0 0x74 0x00 0x00 0x00 0x00
85
86# 0x0000006c:
87# CHECK: jge 0x6c
880xc0 0x84 0x00 0x00 0x00 0x00
89
90# 0x00000072:
91# CHECK: jgnlh 0x72
920xc0 0x94 0x00 0x00 0x00 0x00
93
94# 0x00000078:
95# CHECK: jghe 0x78
960xc0 0xa4 0x00 0x00 0x00 0x00
97
98# 0x0000007e:
99# CHECK: jgnl 0x7e
1000xc0 0xb4 0x00 0x00 0x00 0x00
101
102# 0x00000084:
103# CHECK: jgle 0x84
1040xc0 0xc4 0x00 0x00 0x00 0x00
105
106# 0x0000008a:
107# CHECK: jgnh 0x8a
1080xc0 0xd4 0x00 0x00 0x00 0x00
109
110# 0x00000090:
111# CHECK: jgno 0x90
1120xc0 0xe4 0x00 0x00 0x00 0x00
113
114# 0x00000096:
115# CHECK: jg 0x96
1160xc0 0xf4 0x00 0x00 0x00 0x00
117
118# 0x0000009c:
119# CHECK: brcl 0, 0x9a
1200xc0 0x04 0xff 0xff 0xff 0xff
121
122# 0x000000a2:
123# CHECK: brcl 0, 0xffffffff000000a2
1240xc0 0x04 0x80 0x00 0x00 0x00
125
126# 0x000000a8:
127# CHECK: brcl 0, 0x1000000a6
1280xc0 0x04 0x7f 0xff 0xff 0xff
129
130# 0x000000ae:
131# CHECK: jg 0xac
1320xc0 0xf4 0xff 0xff 0xff 0xff
133
134# 0x000000b4:
135# CHECK: jg 0xffffffff000000b4
1360xc0 0xf4 0x80 0x00 0x00 0x00
137
138# 0x000000ba:
139# CHECK: jg 0x1000000b8
1400xc0 0xf4 0x7f 0xff 0xff 0xff
141
142# 0x000000c0:
143# CHECK: brc 0, 0xc0
1440xa7 0x04 0x00 0x00
145
146# 0x000000c4:
147# CHECK: jo 0xc4
1480xa7 0x14 0x00 0x00
149
150# 0x000000c8:
151# CHECK: jh 0xc8
1520xa7 0x24 0x00 0x00
153
154# 0x000000cc:
155# CHECK: jnle 0xcc
1560xa7 0x34 0x00 0x00
157
158# 0x000000d0:
159# CHECK: jl 0xd0
1600xa7 0x44 0x00 0x00
161
162# 0x000000d4:
163# CHECK: jnhe 0xd4
1640xa7 0x54 0x00 0x00
165
166# 0x000000d8:
167# CHECK: jlh 0xd8
1680xa7 0x64 0x00 0x00
169
170# 0x000000dc:
171# CHECK: jne 0xdc
1720xa7 0x74 0x00 0x00
173
174# 0x000000e0:
175# CHECK: je 0xe0
1760xa7 0x84 0x00 0x00
177
178# 0x000000e4:
179# CHECK: jnlh 0xe4
1800xa7 0x94 0x00 0x00
181
182# 0x000000e8:
183# CHECK: jhe 0xe8
1840xa7 0xa4 0x00 0x00
185
186# 0x000000ec:
187# CHECK: jnl 0xec
1880xa7 0xb4 0x00 0x00
189
190# 0x000000f0:
191# CHECK: jle 0xf0
1920xa7 0xc4 0x00 0x00
193
194# 0x000000f4:
195# CHECK: jnh 0xf4
1960xa7 0xd4 0x00 0x00
197
198# 0x000000f8:
199# CHECK: jno 0xf8
2000xa7 0xe4 0x00 0x00
201
202# 0x000000fc:
203# CHECK: j 0xfc
2040xa7 0xf4 0x00 0x00
205
206# 0x00000100:
207# CHECK: brc 0, 0xfe
2080xa7 0x04 0xff 0xff
209
210# 0x00000104:
211# CHECK: brc 0, 0xffffffffffff0104
2120xa7 0x04 0x80 0x00
213
214# 0x00000108:
215# CHECK: brc 0, 0x10106
2160xa7 0x04 0x7f 0xff
217
218# 0x0000010c:
219# CHECK: j 0x10a
2200xa7 0xf4 0xff 0xff
221
222# 0x00000110:
223# CHECK: j 0xffffffffffff0110
2240xa7 0xf4 0x80 0x00
225
226# 0x00000114:
227# CHECK: j 0x10112
2280xa7 0xf4 0x7f 0xff
229
230# 0x00000118:
231# CHECK: cgfrl %r0, 0x118
2320xc6 0x0c 0x00 0x00 0x00 0x00
233
234# 0x0000011e:
235# CHECK: cgfrl %r15, 0x11e
2360xc6 0xfc 0x00 0x00 0x00 0x00
237
238# 0x00000124:
239# CHECK: cgfrl %r0, 0x122
2400xc6 0x0c 0xff 0xff 0xff 0xff
241
242# 0x0000012a:
243# CHECK: cgfrl %r15, 0x128
2440xc6 0xfc 0xff 0xff 0xff 0xff
245
246# 0x00000130:
247# CHECK: cgfrl %r0, 0xffffffff00000130
2480xc6 0x0c 0x80 0x00 0x00 0x00
249
250# 0x00000136:
251# CHECK: cgfrl %r15, 0xffffffff00000136
2520xc6 0xfc 0x80 0x00 0x00 0x00
253
254# 0x0000013c:
255# CHECK: cgfrl %r0, 0x10000013a
2560xc6 0x0c 0x7f 0xff 0xff 0xff
257
258# 0x00000142:
259# CHECK: cgfrl %r15, 0x100000140
2600xc6 0xfc 0x7f 0xff 0xff 0xff
261
262# 0x00000148:
263# CHECK: cghrl %r0, 0x148
2640xc6 0x04 0x00 0x00 0x00 0x00
265
266# 0x0000014e:
267# CHECK: cghrl %r15, 0x14e
2680xc6 0xf4 0x00 0x00 0x00 0x00
269
270# 0x00000154:
271# CHECK: cghrl %r0, 0x152
2720xc6 0x04 0xff 0xff 0xff 0xff
273
274# 0x0000015a:
275# CHECK: cghrl %r15, 0x158
2760xc6 0xf4 0xff 0xff 0xff 0xff
277
278# 0x00000160:
279# CHECK: cghrl %r0, 0xffffffff00000160
2800xc6 0x04 0x80 0x00 0x00 0x00
281
282# 0x00000166:
283# CHECK: cghrl %r15, 0xffffffff00000166
2840xc6 0xf4 0x80 0x00 0x00 0x00
285
286# 0x0000016c:
287# CHECK: cghrl %r0, 0x10000016a
2880xc6 0x04 0x7f 0xff 0xff 0xff
289
290# 0x00000172:
291# CHECK: cghrl %r15, 0x100000170
2920xc6 0xf4 0x7f 0xff 0xff 0xff
293
294# 0x00000178:
295# CHECK: cgrl %r0, 0x178
2960xc6 0x08 0x00 0x00 0x00 0x00
297
298# 0x0000017e:
299# CHECK: cgrl %r15, 0x17e
3000xc6 0xf8 0x00 0x00 0x00 0x00
301
302# 0x00000184:
303# CHECK: cgrl %r0, 0x182
3040xc6 0x08 0xff 0xff 0xff 0xff
305
306# 0x0000018a:
307# CHECK: cgrl %r15, 0x188
3080xc6 0xf8 0xff 0xff 0xff 0xff
309
310# 0x00000190:
311# CHECK: cgrl %r0, 0xffffffff00000190
3120xc6 0x08 0x80 0x00 0x00 0x00
313
314# 0x00000196:
315# CHECK: cgrl %r15, 0xffffffff00000196
3160xc6 0xf8 0x80 0x00 0x00 0x00
317
318# 0x0000019c:
319# CHECK: cgrl %r0, 0x10000019a
3200xc6 0x08 0x7f 0xff 0xff 0xff
321
322# 0x000001a2:
323# CHECK: cgrl %r15, 0x1000001a0
3240xc6 0xf8 0x7f 0xff 0xff 0xff
325
326# 0x000001a8:
327# CHECK: chrl %r0, 0x1a8
3280xc6 0x05 0x00 0x00 0x00 0x00
329
330# 0x000001ae:
331# CHECK: chrl %r15, 0x1ae
3320xc6 0xf5 0x00 0x00 0x00 0x00
333
334# 0x000001b4:
335# CHECK: chrl %r0, 0x1b2
3360xc6 0x05 0xff 0xff 0xff 0xff
337
338# 0x000001ba:
339# CHECK: chrl %r15, 0x1b8
3400xc6 0xf5 0xff 0xff 0xff 0xff
341
342# 0x000001c0:
343# CHECK: chrl %r0, 0xffffffff000001c0
3440xc6 0x05 0x80 0x00 0x00 0x00
345
346# 0x000001c6:
347# CHECK: chrl %r15, 0xffffffff000001c6
3480xc6 0xf5 0x80 0x00 0x00 0x00
349
350# 0x000001cc:
351# CHECK: chrl %r0, 0x1000001ca
3520xc6 0x05 0x7f 0xff 0xff 0xff
353
354# 0x000001d2:
355# CHECK: chrl %r15, 0x1000001d0
3560xc6 0xf5 0x7f 0xff 0xff 0xff
357
358# 0x000001d8:
359# CHECK: clgfrl %r0, 0x1d8
3600xc6 0x0e 0x00 0x00 0x00 0x00
361
362# 0x000001de:
363# CHECK: clgfrl %r15, 0x1de
3640xc6 0xfe 0x00 0x00 0x00 0x00
365
366# 0x000001e4:
367# CHECK: clgfrl %r0, 0x1e2
3680xc6 0x0e 0xff 0xff 0xff 0xff
369
370# 0x000001ea:
371# CHECK: clgfrl %r15, 0x1e8
3720xc6 0xfe 0xff 0xff 0xff 0xff
373
374# 0x000001f0:
375# CHECK: clgfrl %r0, 0xffffffff000001f0
3760xc6 0x0e 0x80 0x00 0x00 0x00
377
378# 0x000001f6:
379# CHECK: clgfrl %r15, 0xffffffff000001f6
3800xc6 0xfe 0x80 0x00 0x00 0x00
381
382# 0x000001fc:
383# CHECK: clgfrl %r0, 0x1000001fa
3840xc6 0x0e 0x7f 0xff 0xff 0xff
385
386# 0x00000202:
387# CHECK: clgfrl %r15, 0x100000200
3880xc6 0xfe 0x7f 0xff 0xff 0xff
389
390# 0x00000208:
391# CHECK: clghrl %r0, 0x208
3920xc6 0x06 0x00 0x00 0x00 0x00
393
394# 0x0000020e:
395# CHECK: clghrl %r15, 0x20e
3960xc6 0xf6 0x00 0x00 0x00 0x00
397
398# 0x00000214:
399# CHECK: clghrl %r0, 0x212
4000xc6 0x06 0xff 0xff 0xff 0xff
401
402# 0x0000021a:
403# CHECK: clghrl %r15, 0x218
4040xc6 0xf6 0xff 0xff 0xff 0xff
405
406# 0x00000220:
407# CHECK: clghrl %r0, 0xffffffff00000220
4080xc6 0x06 0x80 0x00 0x00 0x00
409
410# 0x00000226:
411# CHECK: clghrl %r15, 0xffffffff00000226
4120xc6 0xf6 0x80 0x00 0x00 0x00
413
414# 0x0000022c:
415# CHECK: clghrl %r0, 0x10000022a
4160xc6 0x06 0x7f 0xff 0xff 0xff
417
418# 0x00000232:
419# CHECK: clghrl %r15, 0x100000230
4200xc6 0xf6 0x7f 0xff 0xff 0xff
421
422# 0x00000238:
423# CHECK: clgrl %r0, 0x238
4240xc6 0x0a 0x00 0x00 0x00 0x00
425
426# 0x0000023e:
427# CHECK: clgrl %r15, 0x23e
4280xc6 0xfa 0x00 0x00 0x00 0x00
429
430# 0x00000244:
431# CHECK: clgrl %r0, 0x242
4320xc6 0x0a 0xff 0xff 0xff 0xff
433
434# 0x0000024a:
435# CHECK: clgrl %r15, 0x248
4360xc6 0xfa 0xff 0xff 0xff 0xff
437
438# 0x00000250:
439# CHECK: clgrl %r0, 0xffffffff00000250
4400xc6 0x0a 0x80 0x00 0x00 0x00
441
442# 0x00000256:
443# CHECK: clgrl %r15, 0xffffffff00000256
4440xc6 0xfa 0x80 0x00 0x00 0x00
445
446# 0x0000025c:
447# CHECK: clgrl %r0, 0x10000025a
4480xc6 0x0a 0x7f 0xff 0xff 0xff
449
450# 0x00000262:
451# CHECK: clgrl %r15, 0x100000260
4520xc6 0xfa 0x7f 0xff 0xff 0xff
453
454# 0x00000268:
455# CHECK: clhrl %r0, 0x268
4560xc6 0x07 0x00 0x00 0x00 0x00
457
458# 0x0000026e:
459# CHECK: clhrl %r15, 0x26e
4600xc6 0xf7 0x00 0x00 0x00 0x00
461
462# 0x00000274:
463# CHECK: clhrl %r0, 0x272
4640xc6 0x07 0xff 0xff 0xff 0xff
465
466# 0x0000027a:
467# CHECK: clhrl %r15, 0x278
4680xc6 0xf7 0xff 0xff 0xff 0xff
469
470# 0x00000280:
471# CHECK: clhrl %r0, 0xffffffff00000280
4720xc6 0x07 0x80 0x00 0x00 0x00
473
474# 0x00000286:
475# CHECK: clhrl %r15, 0xffffffff00000286
4760xc6 0xf7 0x80 0x00 0x00 0x00
477
478# 0x0000028c:
479# CHECK: clhrl %r0, 0x10000028a
4800xc6 0x07 0x7f 0xff 0xff 0xff
481
482# 0x00000292:
483# CHECK: clhrl %r15, 0x100000290
4840xc6 0xf7 0x7f 0xff 0xff 0xff
485
486# 0x00000298:
487# CHECK: clrl %r0, 0x298
4880xc6 0x0f 0x00 0x00 0x00 0x00
489
490# 0x0000029e:
491# CHECK: clrl %r15, 0x29e
4920xc6 0xff 0x00 0x00 0x00 0x00
493
494# 0x000002a4:
495# CHECK: clrl %r0, 0x2a2
4960xc6 0x0f 0xff 0xff 0xff 0xff
497
498# 0x000002aa:
499# CHECK: clrl %r15, 0x2a8
5000xc6 0xff 0xff 0xff 0xff 0xff
501
502# 0x000002b0:
503# CHECK: clrl %r0, 0xffffffff000002b0
5040xc6 0x0f 0x80 0x00 0x00 0x00
505
506# 0x000002b6:
507# CHECK: clrl %r15, 0xffffffff000002b6
5080xc6 0xff 0x80 0x00 0x00 0x00
509
510# 0x000002bc:
511# CHECK: clrl %r0, 0x1000002ba
5120xc6 0x0f 0x7f 0xff 0xff 0xff
513
514# 0x000002c2:
515# CHECK: clrl %r15, 0x1000002c0
5160xc6 0xff 0x7f 0xff 0xff 0xff
517
518# 0x000002c8:
519# CHECK: crl %r0, 0x2c8
5200xc6 0x0d 0x00 0x00 0x00 0x00
521
522# 0x000002ce:
523# CHECK: crl %r15, 0x2ce
5240xc6 0xfd 0x00 0x00 0x00 0x00
525
526# 0x000002d4:
527# CHECK: crl %r0, 0x2d2
5280xc6 0x0d 0xff 0xff 0xff 0xff
529
530# 0x000002da:
531# CHECK: crl %r15, 0x2d8
5320xc6 0xfd 0xff 0xff 0xff 0xff
533
534# 0x000002e0:
535# CHECK: crl %r0, 0xffffffff000002e0
5360xc6 0x0d 0x80 0x00 0x00 0x00
537
538# 0x000002e6:
539# CHECK: crl %r15, 0xffffffff000002e6
5400xc6 0xfd 0x80 0x00 0x00 0x00
541
542# 0x000002ec:
543# CHECK: crl %r0, 0x1000002ea
5440xc6 0x0d 0x7f 0xff 0xff 0xff
545
546# 0x000002f2:
547# CHECK: crl %r15, 0x1000002f0
5480xc6 0xfd 0x7f 0xff 0xff 0xff
549
550# 0x000002f8:
551# CHECK: larl %r0, 0x2f8
5520xc0 0x00 0x00 0x00 0x00 0x00
553
554# 0x000002fe:
555# CHECK: larl %r15, 0x2fe
5560xc0 0xf0 0x00 0x00 0x00 0x00
557
558# 0x00000304:
559# CHECK: larl %r0, 0x302
5600xc0 0x00 0xff 0xff 0xff 0xff
561
562# 0x0000030a:
563# CHECK: larl %r15, 0x308
5640xc0 0xf0 0xff 0xff 0xff 0xff
565
566# 0x00000310:
567# CHECK: larl %r0, 0xffffffff00000310
5680xc0 0x00 0x80 0x00 0x00 0x00
569
570# 0x00000316:
571# CHECK: larl %r15, 0xffffffff00000316
5720xc0 0xf0 0x80 0x00 0x00 0x00
573
574# 0x0000031c:
575# CHECK: larl %r0, 0x10000031a
5760xc0 0x00 0x7f 0xff 0xff 0xff
577
578# 0x00000322:
579# CHECK: larl %r15, 0x100000320
5800xc0 0xf0 0x7f 0xff 0xff 0xff
581
582# 0x00000328:
583# CHECK: lgfrl %r0, 0x328
5840xc4 0x0c 0x00 0x00 0x00 0x00
585
586# 0x0000032e:
587# CHECK: lgfrl %r15, 0x32e
5880xc4 0xfc 0x00 0x00 0x00 0x00
589
590# 0x00000334:
591# CHECK: lgfrl %r0, 0x332
5920xc4 0x0c 0xff 0xff 0xff 0xff
593
594# 0x0000033a:
595# CHECK: lgfrl %r15, 0x338
5960xc4 0xfc 0xff 0xff 0xff 0xff
597
598# 0x00000340:
599# CHECK: lgfrl %r0, 0xffffffff00000340
6000xc4 0x0c 0x80 0x00 0x00 0x00
601
602# 0x00000346:
603# CHECK: lgfrl %r15, 0xffffffff00000346
6040xc4 0xfc 0x80 0x00 0x00 0x00
605
606# 0x0000034c:
607# CHECK: lgfrl %r0, 0x10000034a
6080xc4 0x0c 0x7f 0xff 0xff 0xff
609
610# 0x00000352:
611# CHECK: lgfrl %r15, 0x100000350
6120xc4 0xfc 0x7f 0xff 0xff 0xff
613
614# 0x00000358:
615# CHECK: lghrl %r0, 0x358
6160xc4 0x04 0x00 0x00 0x00 0x00
617
618# 0x0000035e:
619# CHECK: lghrl %r15, 0x35e
6200xc4 0xf4 0x00 0x00 0x00 0x00
621
622# 0x00000364:
623# CHECK: lghrl %r0, 0x362
6240xc4 0x04 0xff 0xff 0xff 0xff
625
626# 0x0000036a:
627# CHECK: lghrl %r15, 0x368
6280xc4 0xf4 0xff 0xff 0xff 0xff
629
630# 0x00000370:
631# CHECK: lghrl %r0, 0xffffffff00000370
6320xc4 0x04 0x80 0x00 0x00 0x00
633
634# 0x00000376:
635# CHECK: lghrl %r15, 0xffffffff00000376
6360xc4 0xf4 0x80 0x00 0x00 0x00
637
638# 0x0000037c:
639# CHECK: lghrl %r0, 0x10000037a
6400xc4 0x04 0x7f 0xff 0xff 0xff
641
642# 0x00000382:
643# CHECK: lghrl %r15, 0x100000380
6440xc4 0xf4 0x7f 0xff 0xff 0xff
645
646# 0x00000388:
647# CHECK: lgrl %r0, 0x388
6480xc4 0x08 0x00 0x00 0x00 0x00
649
650# 0x0000038e:
651# CHECK: lgrl %r15, 0x38e
6520xc4 0xf8 0x00 0x00 0x00 0x00
653
654# 0x00000394:
655# CHECK: lgrl %r0, 0x392
6560xc4 0x08 0xff 0xff 0xff 0xff
657
658# 0x0000039a:
659# CHECK: lgrl %r15, 0x398
6600xc4 0xf8 0xff 0xff 0xff 0xff
661
662# 0x000003a0:
663# CHECK: lgrl %r0, 0xffffffff000003a0
6640xc4 0x08 0x80 0x00 0x00 0x00
665
666# 0x000003a6:
667# CHECK: lgrl %r15, 0xffffffff000003a6
6680xc4 0xf8 0x80 0x00 0x00 0x00
669
670# 0x000003ac:
671# CHECK: lgrl %r0, 0x1000003aa
6720xc4 0x08 0x7f 0xff 0xff 0xff
673
674# 0x000003b2:
675# CHECK: lgrl %r15, 0x1000003b0
6760xc4 0xf8 0x7f 0xff 0xff 0xff
677
678# 0x000003b8:
679# CHECK: lhrl %r0, 0x3b8
6800xc4 0x05 0x00 0x00 0x00 0x00
681
682# 0x000003be:
683# CHECK: lhrl %r15, 0x3be
6840xc4 0xf5 0x00 0x00 0x00 0x00
685
686# 0x000003c4:
687# CHECK: lhrl %r0, 0x3c2
6880xc4 0x05 0xff 0xff 0xff 0xff
689
690# 0x000003ca:
691# CHECK: lhrl %r15, 0x3c8
6920xc4 0xf5 0xff 0xff 0xff 0xff
693
694# 0x000003d0:
695# CHECK: lhrl %r0, 0xffffffff000003d0
6960xc4 0x05 0x80 0x00 0x00 0x00
697
698# 0x000003d6:
699# CHECK: lhrl %r15, 0xffffffff000003d6
7000xc4 0xf5 0x80 0x00 0x00 0x00
701
702# 0x000003dc:
703# CHECK: lhrl %r0, 0x1000003da
7040xc4 0x05 0x7f 0xff 0xff 0xff
705
706# 0x000003e2:
707# CHECK: lhrl %r15, 0x1000003e0
7080xc4 0xf5 0x7f 0xff 0xff 0xff
709
710# 0x000003e8:
711# CHECK: llgfrl %r0, 0x3e8
7120xc4 0x0e 0x00 0x00 0x00 0x00
713
714# 0x000003ee:
715# CHECK: llgfrl %r15, 0x3ee
7160xc4 0xfe 0x00 0x00 0x00 0x00
717
718# 0x000003f4:
719# CHECK: llgfrl %r0, 0x3f2
7200xc4 0x0e 0xff 0xff 0xff 0xff
721
722# 0x000003fa:
723# CHECK: llgfrl %r15, 0x3f8
7240xc4 0xfe 0xff 0xff 0xff 0xff
725
726# 0x00000400:
727# CHECK: llgfrl %r0, 0xffffffff00000400
7280xc4 0x0e 0x80 0x00 0x00 0x00
729
730# 0x00000406:
731# CHECK: llgfrl %r15, 0xffffffff00000406
7320xc4 0xfe 0x80 0x00 0x00 0x00
733
734# 0x0000040c:
735# CHECK: llgfrl %r0, 0x10000040a
7360xc4 0x0e 0x7f 0xff 0xff 0xff
737
738# 0x00000412:
739# CHECK: llgfrl %r15, 0x100000410
7400xc4 0xfe 0x7f 0xff 0xff 0xff
741
742# 0x00000418:
743# CHECK: llghrl %r0, 0x418
7440xc4 0x06 0x00 0x00 0x00 0x00
745
746# 0x0000041e:
747# CHECK: llghrl %r15, 0x41e
7480xc4 0xf6 0x00 0x00 0x00 0x00
749
750# 0x00000424:
751# CHECK: llghrl %r0, 0x422
7520xc4 0x06 0xff 0xff 0xff 0xff
753
754# 0x0000042a:
755# CHECK: llghrl %r15, 0x428
7560xc4 0xf6 0xff 0xff 0xff 0xff
757
758# 0x00000430:
759# CHECK: llghrl %r0, 0xffffffff00000430
7600xc4 0x06 0x80 0x00 0x00 0x00
761
762# 0x00000436:
763# CHECK: llghrl %r15, 0xffffffff00000436
7640xc4 0xf6 0x80 0x00 0x00 0x00
765
766# 0x0000043c:
767# CHECK: llghrl %r0, 0x10000043a
7680xc4 0x06 0x7f 0xff 0xff 0xff
769
770# 0x00000442:
771# CHECK: llghrl %r15, 0x100000440
7720xc4 0xf6 0x7f 0xff 0xff 0xff
773
774# 0x00000448:
775# CHECK: llhrl %r0, 0x448
7760xc4 0x02 0x00 0x00 0x00 0x00
777
778# 0x0000044e:
779# CHECK: llhrl %r15, 0x44e
7800xc4 0xf2 0x00 0x00 0x00 0x00
781
782# 0x00000454:
783# CHECK: llhrl %r0, 0x452
7840xc4 0x02 0xff 0xff 0xff 0xff
785
786# 0x0000045a:
787# CHECK: llhrl %r15, 0x458
7880xc4 0xf2 0xff 0xff 0xff 0xff
789
790# 0x00000460:
791# CHECK: llhrl %r0, 0xffffffff00000460
7920xc4 0x02 0x80 0x00 0x00 0x00
793
794# 0x00000466:
795# CHECK: llhrl %r15, 0xffffffff00000466
7960xc4 0xf2 0x80 0x00 0x00 0x00
797
798# 0x0000046c:
799# CHECK: llhrl %r0, 0x10000046a
8000xc4 0x02 0x7f 0xff 0xff 0xff
801
802# 0x00000472:
803# CHECK: llhrl %r15, 0x100000470
8040xc4 0xf2 0x7f 0xff 0xff 0xff
805
806# 0x00000478:
807# CHECK: lrl %r0, 0x478
8080xc4 0x0d 0x00 0x00 0x00 0x00
809
810# 0x0000047e:
811# CHECK: lrl %r15, 0x47e
8120xc4 0xfd 0x00 0x00 0x00 0x00
813
814# 0x00000484:
815# CHECK: lrl %r0, 0x482
8160xc4 0x0d 0xff 0xff 0xff 0xff
817
818# 0x0000048a:
819# CHECK: lrl %r15, 0x488
8200xc4 0xfd 0xff 0xff 0xff 0xff
821
822# 0x00000490:
823# CHECK: lrl %r0, 0xffffffff00000490
8240xc4 0x0d 0x80 0x00 0x00 0x00
825
826# 0x00000496:
827# CHECK: lrl %r15, 0xffffffff00000496
8280xc4 0xfd 0x80 0x00 0x00 0x00
829
830# 0x0000049c:
831# CHECK: lrl %r0, 0x10000049a
8320xc4 0x0d 0x7f 0xff 0xff 0xff
833
834# 0x000004a2:
835# CHECK: lrl %r15, 0x1000004a0
8360xc4 0xfd 0x7f 0xff 0xff 0xff
837
838# 0x000004a8:
839# CHECK: stgrl %r0, 0x4a8
8400xc4 0x0b 0x00 0x00 0x00 0x00
841
842# 0x000004ae:
843# CHECK: stgrl %r15, 0x4ae
8440xc4 0xfb 0x00 0x00 0x00 0x00
845
846# 0x000004b4:
847# CHECK: stgrl %r0, 0x4b2
8480xc4 0x0b 0xff 0xff 0xff 0xff
849
850# 0x000004ba:
851# CHECK: stgrl %r15, 0x4b8
8520xc4 0xfb 0xff 0xff 0xff 0xff
853
854# 0x000004c0:
855# CHECK: stgrl %r0, 0xffffffff000004c0
8560xc4 0x0b 0x80 0x00 0x00 0x00
857
858# 0x000004c6:
859# CHECK: stgrl %r15, 0xffffffff000004c6
8600xc4 0xfb 0x80 0x00 0x00 0x00
861
862# 0x000004cc:
863# CHECK: stgrl %r0, 0x1000004ca
8640xc4 0x0b 0x7f 0xff 0xff 0xff
865
866# 0x000004d2:
867# CHECK: stgrl %r15, 0x1000004d0
8680xc4 0xfb 0x7f 0xff 0xff 0xff
869
870# 0x000004d8:
871# CHECK: sthrl %r0, 0x4d8
8720xc4 0x07 0x00 0x00 0x00 0x00
873
874# 0x000004de:
875# CHECK: sthrl %r15, 0x4de
8760xc4 0xf7 0x00 0x00 0x00 0x00
877
878# 0x000004e4:
879# CHECK: sthrl %r0, 0x4e2
8800xc4 0x07 0xff 0xff 0xff 0xff
881
882# 0x000004ea:
883# CHECK: sthrl %r15, 0x4e8
8840xc4 0xf7 0xff 0xff 0xff 0xff
885
886# 0x000004f0:
887# CHECK: sthrl %r0, 0xffffffff000004f0
8880xc4 0x07 0x80 0x00 0x00 0x00
889
890# 0x000004f6:
891# CHECK: sthrl %r15, 0xffffffff000004f6
8920xc4 0xf7 0x80 0x00 0x00 0x00
893
894# 0x000004fc:
895# CHECK: sthrl %r0, 0x1000004fa
8960xc4 0x07 0x7f 0xff 0xff 0xff
897
898# 0x00000502:
899# CHECK: sthrl %r15, 0x100000500
9000xc4 0xf7 0x7f 0xff 0xff 0xff
901
902# 0x00000508:
903# CHECK: strl %r0, 0x508
9040xc4 0x0f 0x00 0x00 0x00 0x00
905
906# 0x0000050e:
907# CHECK: strl %r15, 0x50e
9080xc4 0xff 0x00 0x00 0x00 0x00
909
910# 0x00000514:
911# CHECK: strl %r0, 0x512
9120xc4 0x0f 0xff 0xff 0xff 0xff
913
914# 0x0000051a:
915# CHECK: strl %r15, 0x518
9160xc4 0xff 0xff 0xff 0xff 0xff
917
918# 0x00000520:
919# CHECK: strl %r0, 0xffffffff00000520
9200xc4 0x0f 0x80 0x00 0x00 0x00
921
922# 0x00000526:
923# CHECK: strl %r15, 0xffffffff00000526
9240xc4 0xff 0x80 0x00 0x00 0x00
925
926# 0x0000052c:
927# CHECK: strl %r0, 0x10000052a
9280xc4 0x0f 0x7f 0xff 0xff 0xff
929
930# 0x00000532:
931# CHECK: strl %r15, 0x100000530
9320xc4 0xff 0x7f 0xff 0xff 0xff
933
934# 0x00000538:
935# CHECK: cgrj %r0, %r0, 0, 0x538
9360xec 0x00 0x00 0x00 0x00 0x64
937
938# 0x0000053e:
939# CHECK: cgrj %r0, %r15, 0, 0x53e
9400xec 0x0f 0x00 0x00 0x00 0x64
941
942# 0x00000544:
943# CHECK: cgrj %r15, %r0, 0, 0x544
9440xec 0xf0 0x00 0x00 0x00 0x64
945
946# 0x0000054a:
947# CHECK: cgrj %r7, %r8, 0, 0x54a
9480xec 0x78 0x00 0x00 0x00 0x64
949
950# 0x00000550:
951# CHECK: cgrj %r0, %r0, 0, 0x54e
9520xec 0x00 0xff 0xff 0x00 0x64
953
954# 0x00000556:
955# CHECK: cgrj %r0, %r0, 0, 0xffffffffffff0556
9560xec 0x00 0x80 0x00 0x00 0x64
957
958# 0x0000055c:
959# CHECK: cgrj %r0, %r0, 0, 0x1055a
9600xec 0x00 0x7f 0xff 0x00 0x64
961
962# 0x00000562:
963# CHECK: cgrj %r0, %r0, 1, 0x562
9640xec 0x00 0x00 0x00 0x10 0x64
965
966# 0x00000568:
967# CHECK: cgrjh %r0, %r0, 0x568
9680xec 0x00 0x00 0x00 0x20 0x64
969
970# 0x0000056e:
971# CHECK: cgrj %r0, %r0, 3, 0x56e
9720xec 0x00 0x00 0x00 0x30 0x64
973
974# 0x00000574:
975# CHECK: cgrjl %r0, %r0, 0x574
9760xec 0x00 0x00 0x00 0x40 0x64
977
978# 0x0000057a:
979# CHECK: cgrj %r0, %r0, 5, 0x57a
9800xec 0x00 0x00 0x00 0x50 0x64
981
982# 0x00000580:
983# CHECK: cgrjlh %r0, %r0, 0x580
9840xec 0x00 0x00 0x00 0x60 0x64
985
986# 0x00000586:
987# CHECK: cgrj %r0, %r0, 7, 0x586
9880xec 0x00 0x00 0x00 0x70 0x64
989
990# 0x0000058c:
991# CHECK: cgrje %r0, %r0, 0x58c
9920xec 0x00 0x00 0x00 0x80 0x64
993
994# 0x00000592:
995# CHECK: cgrj %r0, %r0, 9, 0x592
9960xec 0x00 0x00 0x00 0x90 0x64
997
998# 0x00000598:
999# CHECK: cgrjhe %r0, %r0, 0x598
10000xec 0x00 0x00 0x00 0xa0 0x64
1001
1002# 0x0000059e:
1003# CHECK: cgrj %r0, %r0, 11, 0x59e
10040xec 0x00 0x00 0x00 0xb0 0x64
1005
1006# 0x000005a4:
1007# CHECK: cgrjle %r0, %r0, 0x5a4
10080xec 0x00 0x00 0x00 0xc0 0x64
1009
1010# 0x000005aa:
1011# CHECK: cgrj %r0, %r0, 13, 0x5aa
10120xec 0x00 0x00 0x00 0xd0 0x64
1013
1014# 0x000005b0:
1015# CHECK: cgrj %r0, %r0, 14, 0x5b0
10160xec 0x00 0x00 0x00 0xe0 0x64
1017
1018# 0x000005b6:
1019# CHECK: cgrj %r0, %r0, 15, 0x5b6
10200xec 0x00 0x00 0x00 0xf0 0x64
1021
1022# 0x000005bc:
1023# CHECK: crj %r0, %r0, 0, 0x5bc
10240xec 0x00 0x00 0x00 0x00 0x76
1025
1026# 0x000005c2:
1027# CHECK: crj %r0, %r15, 0, 0x5c2
10280xec 0x0f 0x00 0x00 0x00 0x76
1029
1030# 0x000005c8:
1031# CHECK: crj %r15, %r0, 0, 0x5c8
10320xec 0xf0 0x00 0x00 0x00 0x76
1033
1034# 0x000005ce:
1035# CHECK: crj %r7, %r8, 0, 0x5ce
10360xec 0x78 0x00 0x00 0x00 0x76
1037
1038# 0x000005d4:
1039# CHECK: crj %r0, %r0, 0, 0x5d2
10400xec 0x00 0xff 0xff 0x00 0x76
1041
1042# 0x000005da:
1043# CHECK: crj %r0, %r0, 0, 0xffffffffffff05da
10440xec 0x00 0x80 0x00 0x00 0x76
1045
1046# 0x000005e0:
1047# CHECK: crj %r0, %r0, 0, 0x105de
10480xec 0x00 0x7f 0xff 0x00 0x76
1049
1050# 0x000005e6:
1051# CHECK: crj %r0, %r0, 1, 0x5e6
10520xec 0x00 0x00 0x00 0x10 0x76
1053
1054# 0x000005ec:
1055# CHECK: crjh %r0, %r0, 0x5ec
10560xec 0x00 0x00 0x00 0x20 0x76
1057
1058# 0x000005f2:
1059# CHECK: crj %r0, %r0, 3, 0x5f2
10600xec 0x00 0x00 0x00 0x30 0x76
1061
1062# 0x000005f8:
1063# CHECK: crjl %r0, %r0, 0x5f8
10640xec 0x00 0x00 0x00 0x40 0x76
1065
1066# 0x000005fe:
1067# CHECK: crj %r0, %r0, 5, 0x5fe
10680xec 0x00 0x00 0x00 0x50 0x76
1069
1070# 0x00000604:
1071# CHECK: crjlh %r0, %r0, 0x604
10720xec 0x00 0x00 0x00 0x60 0x76
1073
1074# 0x0000060a:
1075# CHECK: crj %r0, %r0, 7, 0x60a
10760xec 0x00 0x00 0x00 0x70 0x76
1077
1078# 0x00000610:
1079# CHECK: crje %r0, %r0, 0x610
10800xec 0x00 0x00 0x00 0x80 0x76
1081
1082# 0x00000616:
1083# CHECK: crj %r0, %r0, 9, 0x616
10840xec 0x00 0x00 0x00 0x90 0x76
1085
1086# 0x0000061c:
1087# CHECK: crjhe %r0, %r0, 0x61c
10880xec 0x00 0x00 0x00 0xa0 0x76
1089
1090# 0x00000622:
1091# CHECK: crj %r0, %r0, 11, 0x622
10920xec 0x00 0x00 0x00 0xb0 0x76
1093
1094# 0x00000628:
1095# CHECK: crjle %r0, %r0, 0x628
10960xec 0x00 0x00 0x00 0xc0 0x76
1097
1098# 0x0000062e:
1099# CHECK: crj %r0, %r0, 13, 0x62e
11000xec 0x00 0x00 0x00 0xd0 0x76
1101
1102# 0x00000634:
1103# CHECK: crj %r0, %r0, 14, 0x634
11040xec 0x00 0x00 0x00 0xe0 0x76
1105
1106# 0x0000063a:
1107# CHECK: crj %r0, %r0, 15, 0x63a
11080xec 0x00 0x00 0x00 0xf0 0x76
1109
1110# 0x00000640:
1111# CHECK: cgij %r0, 0, 0, 0x640
11120xec 0x00 0x00 0x00 0x00 0x7c
1113
1114# 0x00000646:
1115# CHECK: cgij %r0, -128, 0, 0x646
11160xec 0x00 0x00 0x00 0x80 0x7c
1117
1118# 0x0000064c:
1119# CHECK: cgij %r0, -1, 0, 0x64c
11200xec 0x00 0x00 0x00 0xff 0x7c
1121
1122# 0x00000652:
1123# CHECK: cgij %r0, 127, 0, 0x652
11240xec 0x00 0x00 0x00 0x7f 0x7c
1125
1126# 0x00000658:
1127# CHECK: cgij %r15, 0, 0, 0x658
11280xec 0xf0 0x00 0x00 0x00 0x7c
1129
1130# 0x0000065e:
1131# CHECK: cgij %r7, 100, 0, 0x65e
11320xec 0x70 0x00 0x00 0x64 0x7c
1133
1134# 0x00000664:
1135# CHECK: cgij %r0, 0, 0, 0x662
11360xec 0x00 0xff 0xff 0x00 0x7c
1137
1138# 0x0000066a:
1139# CHECK: cgij %r0, 0, 0, 0xffffffffffff066a
11400xec 0x00 0x80 0x00 0x00 0x7c
1141
1142# 0x00000670:
1143# CHECK: cgij %r0, 0, 0, 0x1066e
11440xec 0x00 0x7f 0xff 0x00 0x7c
1145
1146# 0x00000676:
1147# CHECK: cgij %r0, 0, 1, 0x676
11480xec 0x01 0x00 0x00 0x00 0x7c
1149
1150# 0x0000067c:
1151# CHECK: cgijh %r0, 0, 0x67c
11520xec 0x02 0x00 0x00 0x00 0x7c
1153
1154# 0x00000682:
1155# CHECK: cgij %r0, 0, 3, 0x682
11560xec 0x03 0x00 0x00 0x00 0x7c
1157
1158# 0x00000688:
1159# CHECK: cgijl %r0, 0, 0x688
11600xec 0x04 0x00 0x00 0x00 0x7c
1161
1162# 0x0000068e:
1163# CHECK: cgij %r0, 0, 5, 0x68e
11640xec 0x05 0x00 0x00 0x00 0x7c
1165
1166# 0x00000694:
1167# CHECK: cgijlh %r0, 0, 0x694
11680xec 0x06 0x00 0x00 0x00 0x7c
1169
1170# 0x0000069a:
1171# CHECK: cgij %r0, 0, 7, 0x69a
11720xec 0x07 0x00 0x00 0x00 0x7c
1173
1174# 0x000006a0:
1175# CHECK: cgije %r0, 0, 0x6a0
11760xec 0x08 0x00 0x00 0x00 0x7c
1177
1178# 0x000006a6:
1179# CHECK: cgij %r0, 0, 9, 0x6a6
11800xec 0x09 0x00 0x00 0x00 0x7c
1181
1182# 0x000006ac:
1183# CHECK: cgijhe %r0, 0, 0x6ac
11840xec 0x0a 0x00 0x00 0x00 0x7c
1185
1186# 0x000006b2:
1187# CHECK: cgij %r0, 0, 11, 0x6b2
11880xec 0x0b 0x00 0x00 0x00 0x7c
1189
1190# 0x000006b8:
1191# CHECK: cgijle %r0, 0, 0x6b8
11920xec 0x0c 0x00 0x00 0x00 0x7c
1193
1194# 0x000006be:
1195# CHECK: cgij %r0, 0, 13, 0x6be
11960xec 0x0d 0x00 0x00 0x00 0x7c
1197
1198# 0x000006c4:
1199# CHECK: cgij %r0, 0, 14, 0x6c4
12000xec 0x0e 0x00 0x00 0x00 0x7c
1201
1202# 0x000006ca:
1203# CHECK: cgij %r0, 0, 15, 0x6ca
12040xec 0x0f 0x00 0x00 0x00 0x7c
1205
1206# 0x000006d0:
1207# CHECK: cij %r0, 0, 0, 0x6d0
12080xec 0x00 0x00 0x00 0x00 0x7e
1209
1210# 0x000006d6:
1211# CHECK: cij %r0, -128, 0, 0x6d6
12120xec 0x00 0x00 0x00 0x80 0x7e
1213
1214# 0x000006dc:
1215# CHECK: cij %r0, -1, 0, 0x6dc
12160xec 0x00 0x00 0x00 0xff 0x7e
1217
1218# 0x000006e2:
1219# CHECK: cij %r0, 127, 0, 0x6e2
12200xec 0x00 0x00 0x00 0x7f 0x7e
1221
1222# 0x000006e8:
1223# CHECK: cij %r15, 0, 0, 0x6e8
12240xec 0xf0 0x00 0x00 0x00 0x7e
1225
1226# 0x000006ee:
1227# CHECK: cij %r7, 100, 0, 0x6ee
12280xec 0x70 0x00 0x00 0x64 0x7e
1229
1230# 0x000006f4:
1231# CHECK: cij %r0, 0, 0, 0x6f2
12320xec 0x00 0xff 0xff 0x00 0x7e
1233
1234# 0x000006fa:
1235# CHECK: cij %r0, 0, 0, 0xffffffffffff06fa
12360xec 0x00 0x80 0x00 0x00 0x7e
1237
1238# 0x00000700:
1239# CHECK: cij %r0, 0, 0, 0x106fe
12400xec 0x00 0x7f 0xff 0x00 0x7e
1241
1242# 0x00000706:
1243# CHECK: cij %r0, 0, 1, 0x706
12440xec 0x01 0x00 0x00 0x00 0x7e
1245
1246# 0x0000070c:
1247# CHECK: cijh %r0, 0, 0x70c
12480xec 0x02 0x00 0x00 0x00 0x7e
1249
1250# 0x00000712:
1251# CHECK: cij %r0, 0, 3, 0x712
12520xec 0x03 0x00 0x00 0x00 0x7e
1253
1254# 0x00000718:
1255# CHECK: cijl %r0, 0, 0x718
12560xec 0x04 0x00 0x00 0x00 0x7e
1257
1258# 0x0000071e:
1259# CHECK: cij %r0, 0, 5, 0x71e
12600xec 0x05 0x00 0x00 0x00 0x7e
1261
1262# 0x00000724:
1263# CHECK: cijlh %r0, 0, 0x724
12640xec 0x06 0x00 0x00 0x00 0x7e
1265
1266# 0x0000072a:
1267# CHECK: cij %r0, 0, 7, 0x72a
12680xec 0x07 0x00 0x00 0x00 0x7e
1269
1270# 0x00000730:
1271# CHECK: cije %r0, 0, 0x730
12720xec 0x08 0x00 0x00 0x00 0x7e
1273
1274# 0x00000736:
1275# CHECK: cij %r0, 0, 9, 0x736
12760xec 0x09 0x00 0x00 0x00 0x7e
1277
1278# 0x0000073c:
1279# CHECK: cijhe %r0, 0, 0x73c
12800xec 0x0a 0x00 0x00 0x00 0x7e
1281
1282# 0x00000742:
1283# CHECK: cij %r0, 0, 11, 0x742
12840xec 0x0b 0x00 0x00 0x00 0x7e
1285
1286# 0x00000748:
1287# CHECK: cijle %r0, 0, 0x748
12880xec 0x0c 0x00 0x00 0x00 0x7e
1289
1290# 0x0000074e:
1291# CHECK: cij %r0, 0, 13, 0x74e
12920xec 0x0d 0x00 0x00 0x00 0x7e
1293
1294# 0x00000754:
1295# CHECK: cij %r0, 0, 14, 0x754
12960xec 0x0e 0x00 0x00 0x00 0x7e
1297
1298# 0x0000075a:
1299# CHECK: cij %r0, 0, 15, 0x75a
13000xec 0x0f 0x00 0x00 0x00 0x7e
1301
1302# 0x00000760:
1303# CHECK: brct %r0, 0x760
13040xa7 0x06 0x00 0x00
1305
1306# 0x00000764:
1307# CHECK: brct %r1, 0x762
13080xa7 0x16 0xff 0xff
1309
1310# 0x00000768:
1311# CHECK: brct %r9, 0xffffffffffff0768
13120xa7 0x96 0x80 0x00
1313
1314# 0x0000076c:
1315# CHECK: brct %r15, 0x1076a
13160xa7 0xf6 0x7f 0xff
1317
1318# 0x00000770:
1319# CHECK: brctg %r0, 0x770
13200xa7 0x07 0x00 0x00
1321
1322# 0x00000774:
1323# CHECK: brctg %r1, 0x772
13240xa7 0x17 0xff 0xff
1325
1326# 0x00000778:
1327# CHECK: brctg %r9, 0xffffffffffff0778
13280xa7 0x97 0x80 0x00
1329
1330# 0x0000077c:
1331# CHECK: brctg %r15, 0x1077a
13320xa7 0xf7 0x7f 0xff
1333
1334# 0x00000780:
1335# CHECK: pfdrl 0, 0x780
13360xc6 0x02 0x00 0x00 0x00 0x00
1337
1338# 0x00000786:
1339# CHECK: pfdrl 15, 0x786
13400xc6 0xf2 0x00 0x00 0x00 0x00
1341
1342# 0x0000078c:
1343# CHECK: pfdrl 0, 0x78a
13440xc6 0x02 0xff 0xff 0xff 0xff
1345
1346# 0x00000792:
1347# CHECK: pfdrl 15, 0x790
13480xc6 0xf2 0xff 0xff 0xff 0xff
1349
1350# 0x00000798:
1351# CHECK: pfdrl 0, 0xffffffff00000798
13520xc6 0x02 0x80 0x00 0x00 0x00
1353
1354# 0x0000079e:
1355# CHECK: pfdrl 15, 0xffffffff0000079e
13560xc6 0xf2 0x80 0x00 0x00 0x00
1357
1358# 0x000007a4:
1359# CHECK: pfdrl 0, 0x1000007a2
13600xc6 0x02 0x7f 0xff 0xff 0xff
1361
1362# 0x000007aa:
1363# CHECK: pfdrl 15, 0x1000007a8
13640xc6 0xf2 0x7f 0xff 0xff 0xff
1365
1366# 0x000007b0:
1367# CHECK: clgrj %r0, %r0, 0, 0x7b0
13680xec 0x00 0x00 0x00 0x00 0x65
1369
1370# 0x000007b6:
1371# CHECK: clgrj %r0, %r15, 0, 0x7b6
13720xec 0x0f 0x00 0x00 0x00 0x65
1373
1374# 0x000007bc:
1375# CHECK: clgrj %r15, %r0, 0, 0x7bc
13760xec 0xf0 0x00 0x00 0x00 0x65
1377
1378# 0x000007c2:
1379# CHECK: clgrj %r7, %r8, 0, 0x7c2
13800xec 0x78 0x00 0x00 0x00 0x65
1381
1382# 0x000007c8:
1383# CHECK: clgrj %r0, %r0, 0, 0x7c6
13840xec 0x00 0xff 0xff 0x00 0x65
1385
1386# 0x000007ce:
1387# CHECK: clgrj %r0, %r0, 0, 0xffffffffffff07ce
13880xec 0x00 0x80 0x00 0x00 0x65
1389
1390# 0x000007d4:
1391# CHECK: clgrj %r0, %r0, 0, 0x107d2
13920xec 0x00 0x7f 0xff 0x00 0x65
1393
1394# 0x000007da:
1395# CHECK: clgrj %r0, %r0, 1, 0x7da
13960xec 0x00 0x00 0x00 0x10 0x65
1397
1398# 0x000007e0:
1399# CHECK: clgrjh %r0, %r0, 0x7e0
14000xec 0x00 0x00 0x00 0x20 0x65
1401
1402# 0x000007e6:
1403# CHECK: clgrj %r0, %r0, 3, 0x7e6
14040xec 0x00 0x00 0x00 0x30 0x65
1405
1406# 0x000007ec:
1407# CHECK: clgrjl %r0, %r0, 0x7ec
14080xec 0x00 0x00 0x00 0x40 0x65
1409
1410# 0x000007f2:
1411# CHECK: clgrj %r0, %r0, 5, 0x7f2
14120xec 0x00 0x00 0x00 0x50 0x65
1413
1414# 0x000007f8:
1415# CHECK: clgrjlh %r0, %r0, 0x7f8
14160xec 0x00 0x00 0x00 0x60 0x65
1417
1418# 0x000007fe:
1419# CHECK: clgrj %r0, %r0, 7, 0x7fe
14200xec 0x00 0x00 0x00 0x70 0x65
1421
1422# 0x00000804:
1423# CHECK: clgrje %r0, %r0, 0x804
14240xec 0x00 0x00 0x00 0x80 0x65
1425
1426# 0x0000080a:
1427# CHECK: clgrj %r0, %r0, 9, 0x80a
14280xec 0x00 0x00 0x00 0x90 0x65
1429
1430# 0x00000810:
1431# CHECK: clgrjhe %r0, %r0, 0x810
14320xec 0x00 0x00 0x00 0xa0 0x65
1433
1434# 0x00000816:
1435# CHECK: clgrj %r0, %r0, 11, 0x816
14360xec 0x00 0x00 0x00 0xb0 0x65
1437
1438# 0x0000081c:
1439# CHECK: clgrjle %r0, %r0, 0x81c
14400xec 0x00 0x00 0x00 0xc0 0x65
1441
1442# 0x00000822:
1443# CHECK: clgrj %r0, %r0, 13, 0x822
14440xec 0x00 0x00 0x00 0xd0 0x65
1445
1446# 0x00000828:
1447# CHECK: clgrj %r0, %r0, 14, 0x828
14480xec 0x00 0x00 0x00 0xe0 0x65
1449
1450# 0x0000082e:
1451# CHECK: clgrj %r0, %r0, 15, 0x82e
14520xec 0x00 0x00 0x00 0xf0 0x65
1453
1454# 0x00000834:
1455# CHECK: clrj %r0, %r0, 0, 0x834
14560xec 0x00 0x00 0x00 0x00 0x77
1457
1458# 0x0000083a:
1459# CHECK: clrj %r0, %r15, 0, 0x83a
14600xec 0x0f 0x00 0x00 0x00 0x77
1461
1462# 0x00000840:
1463# CHECK: clrj %r15, %r0, 0, 0x840
14640xec 0xf0 0x00 0x00 0x00 0x77
1465
1466# 0x00000846:
1467# CHECK: clrj %r7, %r8, 0, 0x846
14680xec 0x78 0x00 0x00 0x00 0x77
1469
1470# 0x0000084c:
1471# CHECK: clrj %r0, %r0, 0, 0x84a
14720xec 0x00 0xff 0xff 0x00 0x77
1473
1474# 0x00000852:
1475# CHECK: clrj %r0, %r0, 0, 0xffffffffffff0852
14760xec 0x00 0x80 0x00 0x00 0x77
1477
1478# 0x00000858:
1479# CHECK: clrj %r0, %r0, 0, 0x10856
14800xec 0x00 0x7f 0xff 0x00 0x77
1481
1482# 0x0000085e:
1483# CHECK: clrj %r0, %r0, 1, 0x85e
14840xec 0x00 0x00 0x00 0x10 0x77
1485
1486# 0x00000864:
1487# CHECK: clrjh %r0, %r0, 0x864
14880xec 0x00 0x00 0x00 0x20 0x77
1489
1490# 0x0000086a:
1491# CHECK: clrj %r0, %r0, 3, 0x86a
14920xec 0x00 0x00 0x00 0x30 0x77
1493
1494# 0x00000870:
1495# CHECK: clrjl %r0, %r0, 0x870
14960xec 0x00 0x00 0x00 0x40 0x77
1497
1498# 0x00000876:
1499# CHECK: clrj %r0, %r0, 5, 0x876
15000xec 0x00 0x00 0x00 0x50 0x77
1501
1502# 0x0000087c:
1503# CHECK: clrjlh %r0, %r0, 0x87c
15040xec 0x00 0x00 0x00 0x60 0x77
1505
1506# 0x00000882:
1507# CHECK: clrj %r0, %r0, 7, 0x882
15080xec 0x00 0x00 0x00 0x70 0x77
1509
1510# 0x00000888:
1511# CHECK: clrje %r0, %r0, 0x888
15120xec 0x00 0x00 0x00 0x80 0x77
1513
1514# 0x0000088e:
1515# CHECK: clrj %r0, %r0, 9, 0x88e
15160xec 0x00 0x00 0x00 0x90 0x77
1517
1518# 0x00000894:
1519# CHECK: clrjhe %r0, %r0, 0x894
15200xec 0x00 0x00 0x00 0xa0 0x77
1521
1522# 0x0000089a:
1523# CHECK: clrj %r0, %r0, 11, 0x89a
15240xec 0x00 0x00 0x00 0xb0 0x77
1525
1526# 0x000008a0:
1527# CHECK: clrjle %r0, %r0, 0x8a0
15280xec 0x00 0x00 0x00 0xc0 0x77
1529
1530# 0x000008a6:
1531# CHECK: clrj %r0, %r0, 13, 0x8a6
15320xec 0x00 0x00 0x00 0xd0 0x77
1533
1534# 0x000008ac:
1535# CHECK: clrj %r0, %r0, 14, 0x8ac
15360xec 0x00 0x00 0x00 0xe0 0x77
1537
1538# 0x000008b2:
1539# CHECK: clrj %r0, %r0, 15, 0x8b2
15400xec 0x00 0x00 0x00 0xf0 0x77
1541
1542# 0x000008b8:
1543# CHECK: clgij %r0, 0, 0, 0x8b8
15440xec 0x00 0x00 0x00 0x00 0x7d
1545
1546# 0x000008be:
1547# CHECK: clgij %r0, 127, 0, 0x8be
15480xec 0x00 0x00 0x00 0x7f 0x7d
1549
1550# 0x000008c4:
1551# CHECK: clgij %r0, 128, 0, 0x8c4
15520xec 0x00 0x00 0x00 0x80 0x7d
1553
1554# 0x000008ca:
1555# CHECK: clgij %r0, 255, 0, 0x8ca
15560xec 0x00 0x00 0x00 0xff 0x7d
1557
1558# 0x000008d0:
1559# CHECK: clgij %r15, 0, 0, 0x8d0
15600xec 0xf0 0x00 0x00 0x00 0x7d
1561
1562# 0x000008d6:
1563# CHECK: clgij %r7, 100, 0, 0x8d6
15640xec 0x70 0x00 0x00 0x64 0x7d
1565
1566# 0x000008dc:
1567# CHECK: clgij %r0, 0, 0, 0x8da
15680xec 0x00 0xff 0xff 0x00 0x7d
1569
1570# 0x000008e2:
1571# CHECK: clgij %r0, 0, 0, 0xffffffffffff08e2
15720xec 0x00 0x80 0x00 0x00 0x7d
1573
1574# 0x000008e8:
1575# CHECK: clgij %r0, 0, 0, 0x108e6
15760xec 0x00 0x7f 0xff 0x00 0x7d
1577
1578# 0x000008ee:
1579# CHECK: clgij %r0, 0, 1, 0x8ee
15800xec 0x01 0x00 0x00 0x00 0x7d
1581
1582# 0x000008f4:
1583# CHECK: clgijh %r0, 0, 0x8f4
15840xec 0x02 0x00 0x00 0x00 0x7d
1585
1586# 0x000008fa:
1587# CHECK: clgij %r0, 0, 3, 0x8fa
15880xec 0x03 0x00 0x00 0x00 0x7d
1589
1590# 0x00000900:
1591# CHECK: clgijl %r0, 0, 0x900
15920xec 0x04 0x00 0x00 0x00 0x7d
1593
1594# 0x00000906:
1595# CHECK: clgij %r0, 0, 5, 0x906
15960xec 0x05 0x00 0x00 0x00 0x7d
1597
1598# 0x0000090c:
1599# CHECK: clgijlh %r0, 0, 0x90c
16000xec 0x06 0x00 0x00 0x00 0x7d
1601
1602# 0x00000912:
1603# CHECK: clgij %r0, 0, 7, 0x912
16040xec 0x07 0x00 0x00 0x00 0x7d
1605
1606# 0x00000918:
1607# CHECK: clgije %r0, 0, 0x918
16080xec 0x08 0x00 0x00 0x00 0x7d
1609
1610# 0x0000091e:
1611# CHECK: clgij %r0, 0, 9, 0x91e
16120xec 0x09 0x00 0x00 0x00 0x7d
1613
1614# 0x00000924:
1615# CHECK: clgijhe %r0, 0, 0x924
16160xec 0x0a 0x00 0x00 0x00 0x7d
1617
1618# 0x0000092a:
1619# CHECK: clgij %r0, 0, 11, 0x92a
16200xec 0x0b 0x00 0x00 0x00 0x7d
1621
1622# 0x00000930:
1623# CHECK: clgijle %r0, 0, 0x930
16240xec 0x0c 0x00 0x00 0x00 0x7d
1625
1626# 0x00000936:
1627# CHECK: clgij %r0, 0, 13, 0x936
16280xec 0x0d 0x00 0x00 0x00 0x7d
1629
1630# 0x0000093c:
1631# CHECK: clgij %r0, 0, 14, 0x93c
16320xec 0x0e 0x00 0x00 0x00 0x7d
1633
1634# 0x00000942:
1635# CHECK: clgij %r0, 0, 15, 0x942
16360xec 0x0f 0x00 0x00 0x00 0x7d
1637
1638# 0x00000948:
1639# CHECK: clij %r0, 0, 0, 0x948
16400xec 0x00 0x00 0x00 0x00 0x7f
1641
1642# 0x0000094e:
1643# CHECK: clij %r0, 127, 0, 0x94e
16440xec 0x00 0x00 0x00 0x7f 0x7f
1645
1646# 0x00000954:
1647# CHECK: clij %r0, 128, 0, 0x954
16480xec 0x00 0x00 0x00 0x80 0x7f
1649
1650# 0x0000095a:
1651# CHECK: clij %r0, 255, 0, 0x95a
16520xec 0x00 0x00 0x00 0xff 0x7f
1653
1654# 0x00000960:
1655# CHECK: clij %r15, 0, 0, 0x960
16560xec 0xf0 0x00 0x00 0x00 0x7f
1657
1658# 0x00000966:
1659# CHECK: clij %r7, 100, 0, 0x966
16600xec 0x70 0x00 0x00 0x64 0x7f
1661
1662# 0x0000096c:
1663# CHECK: clij %r0, 0, 0, 0x96a
16640xec 0x00 0xff 0xff 0x00 0x7f
1665
1666# 0x00000972:
1667# CHECK: clij %r0, 0, 0, 0xffffffffffff0972
16680xec 0x00 0x80 0x00 0x00 0x7f
1669
1670# 0x00000978:
1671# CHECK: clij %r0, 0, 0, 0x10976
16720xec 0x00 0x7f 0xff 0x00 0x7f
1673
1674# 0x0000097e:
1675# CHECK: clij %r0, 0, 1, 0x97e
16760xec 0x01 0x00 0x00 0x00 0x7f
1677
1678# 0x00000984:
1679# CHECK: clijh %r0, 0, 0x984
16800xec 0x02 0x00 0x00 0x00 0x7f
1681
1682# 0x0000098a:
1683# CHECK: clij %r0, 0, 3, 0x98a
16840xec 0x03 0x00 0x00 0x00 0x7f
1685
1686# 0x00000990:
1687# CHECK: clijl %r0, 0, 0x990
16880xec 0x04 0x00 0x00 0x00 0x7f
1689
1690# 0x00000996:
1691# CHECK: clij %r0, 0, 5, 0x996
16920xec 0x05 0x00 0x00 0x00 0x7f
1693
1694# 0x0000099c:
1695# CHECK: clijlh %r0, 0, 0x99c
16960xec 0x06 0x00 0x00 0x00 0x7f
1697
1698# 0x000009a2:
1699# CHECK: clij %r0, 0, 7, 0x9a2
17000xec 0x07 0x00 0x00 0x00 0x7f
1701
1702# 0x000009a8:
1703# CHECK: clije %r0, 0, 0x9a8
17040xec 0x08 0x00 0x00 0x00 0x7f
1705
1706# 0x000009ae:
1707# CHECK: clij %r0, 0, 9, 0x9ae
17080xec 0x09 0x00 0x00 0x00 0x7f
1709
1710# 0x000009b4:
1711# CHECK: clijhe %r0, 0, 0x9b4
17120xec 0x0a 0x00 0x00 0x00 0x7f
1713
1714# 0x000009ba:
1715# CHECK: clij %r0, 0, 11, 0x9ba
17160xec 0x0b 0x00 0x00 0x00 0x7f
1717
1718# 0x000009c0:
1719# CHECK: clijle %r0, 0, 0x9c0
17200xec 0x0c 0x00 0x00 0x00 0x7f
1721
1722# 0x000009c6:
1723# CHECK: clij %r0, 0, 13, 0x9c6
17240xec 0x0d 0x00 0x00 0x00 0x7f
1725
1726# 0x000009cc:
1727# CHECK: clij %r0, 0, 14, 0x9cc
17280xec 0x0e 0x00 0x00 0x00 0x7f
1729
1730# 0x000009d2:
1731# CHECK: clij %r0, 0, 15, 0x9d2
17320xec 0x0f 0x00 0x00 0x00 0x7f
1733
1734# 0x000009d8:
1735# CHECK: exrl %r0, 0x9d8
17360xc6 0x00 0x00 0x00 0x00 0x00
1737
1738# 0x000009de:
1739# CHECK: exrl %r15, 0x9de
17400xc6 0xf0 0x00 0x00 0x00 0x00
1741
1742# 0x000009e4:
1743# CHECK: exrl %r0, 0x9e2
17440xc6 0x00 0xff 0xff 0xff 0xff
1745
1746# 0x000009ea:
1747# CHECK: exrl %r15, 0x9e8
17480xc6 0xf0 0xff 0xff 0xff 0xff
1749
1750# 0x000009f0:
1751# CHECK: exrl %r0, 0xffffffff000009f0
17520xc6 0x00 0x80 0x00 0x00 0x00
1753
1754# 0x000009f6:
1755# CHECK: exrl %r15, 0xffffffff000009f6
17560xc6 0xf0 0x80 0x00 0x00 0x00
1757
1758# 0x000009fc:
1759# CHECK: exrl %r0, 0x1000009fa
17600xc6 0x00 0x7f 0xff 0xff 0xff
1761
1762# 0x00000a02:
1763# CHECK: exrl %r15, 0x100000a00
17640xc6 0xf0 0x7f 0xff 0xff 0xff
1765
1766# 0x00000a08:
1767# CHECK: brxh %r0, %r1, 0xa08
17680x84 0x01 0x00 0x00
1769
1770# 0x00000a0c:
1771# CHECK: brxh %r14, %r1, 0xa0c
17720x84 0xe1 0x00 0x00
1773
1774# 0x00000a10:
1775# CHECK: brxh %r15, %r1, 0xa10
17760x84 0xf1 0x00 0x00
1777
1778# 0x00000a14:
1779# CHECK: brxh %r0, %r1, 0xa12
17800x84 0x01 0xff 0xff
1781
1782# 0x00000a18:
1783# CHECK: brxh %r14, %r1, 0xffffffffffff0a18
17840x84 0xe1 0x80 0x00
1785
1786# 0x00000a1c:
1787# CHECK: brxh %r15, %r1, 0x10a1a
17880x84 0xf1 0x7f 0xff
1789
1790# 0x00000a20:
1791# CHECK: brxle %r0, %r1, 0xa20
17920x85 0x01 0x00 0x00
1793
1794# 0x00000a24:
1795# CHECK: brxle %r14, %r1, 0xa24
17960x85 0xe1 0x00 0x00
1797
1798# 0x00000a28:
1799# CHECK: brxle %r15, %r1, 0xa28
18000x85 0xf1 0x00 0x00
1801
1802# 0x00000a2c:
1803# CHECK: brxle %r0, %r1, 0xa2a
18040x85 0x01 0xff 0xff
1805
1806# 0x00000a30:
1807# CHECK: brxle %r14, %r1, 0xffffffffffff0a30
18080x85 0xe1 0x80 0x00
1809
1810# 0x00000a34:
1811# CHECK: brxle %r15, %r1, 0x10a32
18120x85 0xf1 0x7f 0xff
1813
1814# 0x00000a38:
1815# CHECK: brxhg %r0, %r1, 0xa38
18160xec 0x01 0x00 0x00 0x00 0x44
1817
1818# 0x00000a3e:
1819# CHECK: brxhg %r14, %r1, 0xa3e
18200xec 0xe1 0x00 0x00 0x00 0x44
1821
1822# 0x00000a44:
1823# CHECK: brxhg %r15, %r1, 0xa44
18240xec 0xf1 0x00 0x00 0x00 0x44
1825
1826# 0x00000a4a:
1827# CHECK: brxhg %r0, %r1, 0xa48
18280xec 0x01 0xff 0xff 0x00 0x44
1829
1830# 0x00000a50:
1831# CHECK: brxhg %r14, %r1, 0xffffffffffff0a50
18320xec 0xe1 0x80 0x00 0x00 0x44
1833
1834# 0x00000a56:
1835# CHECK: brxhg %r15, %r1, 0x10a54
18360xec 0xf1 0x7f 0xff 0x00 0x44
1837
1838# 0x00000a5c:
1839# CHECK: brxlg %r0, %r1, 0xa5c
18400xec 0x01 0x00 0x00 0x00 0x45
1841
1842# 0x00000a62:
1843# CHECK: brxlg %r14, %r1, 0xa62
18440xec 0xe1 0x00 0x00 0x00 0x45
1845
1846# 0x00000a68:
1847# CHECK: brxlg %r15, %r1, 0xa68
18480xec 0xf1 0x00 0x00 0x00 0x45
1849
1850# 0x00000a6e:
1851# CHECK: brxlg %r0, %r1, 0xa6c
18520xec 0x01 0xff 0xff 0x00 0x45
1853
1854# 0x00000a74:
1855# CHECK: brxlg %r14, %r1, 0xffffffffffff0a74
18560xec 0xe1 0x80 0x00 0x00 0x45
1857
1858# 0x00000a7a:
1859# CHECK: brxlg %r15, %r1, 0x10a78
18600xec 0xf1 0x7f 0xff 0x00 0x45
1861
1862# 0x00000a80:
1863# CHECK: brcth %r0, 0xa80
18640xcc 0x06 0x00 0x00 0x00 0x00
1865
1866# 0x00000a86:
1867# CHECK: brcth %r14, 0xa86
18680xcc 0xe6 0x00 0x00 0x00 0x00
1869
1870# 0x00000a8c:
1871# CHECK: brcth %r15, 0xa8c
18720xcc 0xf6 0x00 0x00 0x00 0x00
1873
1874# 0x00000a92:
1875# CHECK: brcth %r0, 0xa90
18760xcc 0x06 0xff 0xff 0xff 0xff
1877
1878# 0x00000a98:
1879# CHECK: brcth %r14, 0xffffffff00000a98
18800xcc 0xe6 0x80 0x00 0x00 0x00
1881
1882# 0x00000a9e:
1883# CHECK: brcth %r15, 0x100000a9c
18840xcc 0xf6 0x7f 0xff 0xff 0xff
1885
1886# 0x00000aa4:
1887# CHECK: bpp 0, 0xaa4, 0
18880xc7 0x00 0x00 0x00 0x00 0x00
1889
1890# 0x00000aaa:
1891# CHECK: bpp 14, 0xaaa, 4095(%r3)
18920xc7 0xe0 0x3f 0xff 0x00 0x00
1893
1894# 0x00000ab0:
1895# CHECK: bpp 15, 0xab2, 0
18960xc7 0xf0 0x00 0x00 0x00 0x01
1897
1898# 0x00000ab6:
1899# CHECK: bpp 0, 0xab4, 256(%r8)
19000xc7 0x00 0x81 0x00 0xff 0xff
1901
1902# 0x00000abc:
1903# CHECK: bpp 14, 0xffffffffffff0abc, 0
19040xc7 0xe0 0x00 0x00 0x80 0x00
1905
1906# 0x00000ac2:
1907# CHECK: bpp 15, 0x10ac0, 4095(%r7)
19080xc7 0xf0 0x7f 0xff 0x7f 0xff
1909
1910# 0x00000ac8:
1911# CHECK: bprp 0, 0xac8, 0xac8
19120xc5 0x00 0x00 0x00 0x00 0x00
1913
1914# 0x00000ace:
1915# CHECK: bprp 14, 0xace, 0xad0
19160xc5 0xe0 0x00 0x00 0x00 0x01
1917
1918# 0x00000ad4:
1919# CHECK: bprp 15, 0xad4, 0xad2
19200xc5 0xf0 0x00 0xff 0xff 0xff
1921
1922# 0x00000ada:
1923# CHECK: bprp 0, 0xada, 0xffffffffff000ada
19240xc5 0x00 0x00 0x80 0x00 0x00
1925
1926# 0x00000ae0:
1927# CHECK: bprp 14, 0xae0, 0x1000ade
19280xc5 0xe0 0x00 0x7f 0xff 0xff
1929
1930# 0x00000ae6:
1931# CHECK: bprp 14, 0xae8, 0xae6
19320xc5 0xe0 0x01 0x00 0x00 0x00
1933
1934# 0x00000aec:
1935# CHECK: bprp 15, 0xaea, 0xaec
19360xc5 0xff 0xff 0x00 0x00 0x00
1937
1938# 0x00000af2:
1939# CHECK: bprp 0, 0xfffffffffffffaf2, 0xaf2
19400xc5 0x08 0x00 0x00 0x00 0x00
1941
1942# 0x00000af8:
1943# CHECK: bprp 14, 0x1af6, 0xaf8
19440xc5 0xe7 0xff 0x00 0x00 0x00
1945
1946# 0x00000afe:
1947# CHECK: bprp 15, 0xcfe, 0x2afe
19480xc5 0xf1 0x00 0x00 0x10 0x00
1949
1950