| #objdump: -dw | |
| #name: 32-bit INVLPGB insn | |
| .*: +file format .* | |
| Disassembly of section \.text: | |
| 00000000 <_start>: | |
| [ ]*[a-f0-9]+:[ ]+0f 01 fe[ ]+invlpgb[ ]* | |
| [0-9a-f]+ <att32>: | |
| [ ]*[a-f0-9]+:[ ]+0f 01 fe[ ]+invlpgb[ ]* | |
| [0-9a-f]+ <att16>: | |
| [ ]*[a-f0-9]+:[ ]+67 0f 01 fe[ ]+addr16 invlpgb[ ]* | |
| [0-9a-f]+ <intel32>: | |
| [ ]*[a-f0-9]+:[ ]+0f 01 fe[ ]+invlpgb[ ]* | |
| [0-9a-f]+ <intel16>: | |
| [ ]*[a-f0-9]+:[ ]+67 0f 01 fe[ ]+addr16 invlpgb[ ]* | |
| #pass |