1 # as: -xauto -mtune=itanium1
2 # objdump: -d
3 # name ia64 dv-srlz
4 
5 .*: +file format .*
6 
7 Disassembly of section \.text:
8 
9 0+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