| #objdump: -dw | |
| #name: 64-bit INVLPGB insn | |
| #source: invlpgb.s | |
| .*: +file format .* | |
| Disassembly of section \.text: | |
| 0+000 <_start>: | |
| [ ]*[a-f0-9]+:[ ]+0f 01 fe[ ]+invlpgb[ ]* | |
| [0-9a-f]+ <att64>: | |
| [ ]*[a-f0-9]+:[ ]+0f 01 fe[ ]+invlpgb[ ]* | |
| [0-9a-f]+ <att32>: | |
| [ ]*[a-f0-9]+:[ ]+67 0f 01 fe[ ]+addr32 invlpgb[ ]* | |
| [0-9a-f]+ <intel64>: | |
| [ ]*[a-f0-9]+:[ ]+0f 01 fe[ ]+invlpgb[ ]* | |
| [0-9a-f]+ <intel32>: | |
| [ ]*[a-f0-9]+:[ ]+67 0f 01 fe[ ]+addr32 invlpgb[ ]* | |
| #pass |