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