1# as: -xauto -mtune=itanium1
2# objdump: -d
3# name ia64 dv-srlz
4
5.*: +file format .*
6
7Disassembly of section \.text:
8
90+000 <start>:
10   0:	0a 00 00 02 34 04 	\[MMI\]       ptc\.e r1;;
11   6:	00 00 00 60 00 00 	            srlz\.d
12   c:	00 00 04 00       	            nop\.i 0x0
13  10:	1d 08 00 04 18 10 	\[MFB\]       ld8 r1=\[r2\]
14  16:	00 00 00 02 00 00 	            nop\.f 0x0
15  1c:	00 00 20 00       	            rfi;;
16  20:	0b 00 00 02 34 04 	\[MMI\]       ptc\.e r1;;
17  26:	00 00 00 62 00 00 	            srlz\.i
18  2c:	00 00 04 00       	            nop\.i 0x0;;
19  30:	17 00 00 00 10 00 	\[BBB\]       epc
20  36:	00 00 00 00 10 00 	            nop\.b 0x0
21  3c:	00 00 00 20       	            nop\.b 0x0;;
22  40:	1d 00 00 00 01 00 	\[MFB\]       nop\.m 0x0
23  46:	00 00 00 02 00 00 	            nop\.f 0x0
24  4c:	00 00 20 00       	            rfi;;
25