gas/testsuite/gas/i386/ilp32/x86-64-ept.d

   1 #source: ../x86-64-ept.s
   2 #objdump: -dw
   3 #name: x86-64 (ILP32) EPT
   4
   5 .*:     file format .*
   6
   7 Disassembly of section .text:
   8
   9 0+ <_start>:
  10 [       ]*[a-f0-9]+:    66 0f 38 80 19          invept \(%rcx\),%rbx
  11 [       ]*[a-f0-9]+:    66 44 0f 38 80 19       invept \(%rcx\),%r11
  12 [       ]*[a-f0-9]+:    66 0f 38 81 19          invvpid \(%rcx\),%rbx
  13 [       ]*[a-f0-9]+:    66 44 0f 38 81 19       invvpid \(%rcx\),%r11
  14 [       ]*[a-f0-9]+:    66 0f 38 80 19          invept \(%rcx\),%rbx
  15 [       ]*[a-f0-9]+:    66 44 0f 38 80 19       invept \(%rcx\),%r11
  16 [       ]*[a-f0-9]+:    66 0f 38 81 19          invvpid \(%rcx\),%rbx
  17 [       ]*[a-f0-9]+:    66 44 0f 38 81 19       invvpid \(%rcx\),%r11
  18 #pass