gas/testsuite/gas/i386/x86-64-keylocker.d

   1 #as:
   2 #objdump: -dw
   3 #name: x86_64 KEYLOCKER insns
   4 #source: x86-64-keylocker.s
   5
   6 .*: +file format .*
   7
   8
   9 Disassembly of section \.text:
  10
  11 0+ <_start>:
  12 [       ]*[a-f0-9]+:[   ]*f3 0f 38 dc f2[       ]*loadiwkey %xmm2,%xmm6
  13 [       ]*[a-f0-9]+:[   ]*f3 0f 38 fa d0[       ]*encodekey128 %eax,%edx
  14 [       ]*[a-f0-9]+:[   ]*f3 0f 38 fb d0[       ]*encodekey256 %eax,%edx
  15 [       ]*[a-f0-9]+:[   ]*f3 0f 38 dc 52 7e[    ]*aesenc128kl 0x7e\(%rdx\),%xmm2
  16 [       ]*[a-f0-9]+:[   ]*f3 0f 38 de 52 7e[    ]*aesenc256kl 0x7e\(%rdx\),%xmm2
  17 [       ]*[a-f0-9]+:[   ]*f3 0f 38 dd 52 7e[    ]*aesdec128kl 0x7e\(%rdx\),%xmm2
  18 [       ]*[a-f0-9]+:[   ]*f3 0f 38 df 52 7e[    ]*aesdec256kl 0x7e\(%rdx\),%xmm2
  19 [       ]*[a-f0-9]+:[   ]*f3 0f 38 d8 42 7e[    ]*aesencwide128kl 0x7e\(%rdx\)
  20 [       ]*[a-f0-9]+:[   ]*f3 0f 38 d8 52 7e[    ]*aesencwide256kl 0x7e\(%rdx\)
  21 [       ]*[a-f0-9]+:[   ]*f3 0f 38 d8 4a 7e[    ]*aesdecwide128kl 0x7e\(%rdx\)
  22 [       ]*[a-f0-9]+:[   ]*f3 0f 38 d8 5a 7e[    ]*aesdecwide256kl 0x7e\(%rdx\)
  23 [       ]*[a-f0-9]+:[   ]*f3 0f 38 dc f2[       ]*loadiwkey %xmm2,%xmm6
  24 [       ]*[a-f0-9]+:[   ]*f3 0f 38 fa d0[       ]*encodekey128 %eax,%edx
  25 [       ]*[a-f0-9]+:[   ]*f3 0f 38 fb d0[       ]*encodekey256 %eax,%edx
  26 [       ]*[a-f0-9]+:[   ]*f3 0f 38 dc 52 7e[    ]*aesenc128kl 0x7e\(%rdx\),%xmm2
  27 [       ]*[a-f0-9]+:[   ]*f3 0f 38 de 52 7e[    ]*aesenc256kl 0x7e\(%rdx\),%xmm2
  28 [       ]*[a-f0-9]+:[   ]*f3 0f 38 dd 52 7e[    ]*aesdec128kl 0x7e\(%rdx\),%xmm2
  29 [       ]*[a-f0-9]+:[   ]*f3 0f 38 df 52 7e[    ]*aesdec256kl 0x7e\(%rdx\),%xmm2
  30 [       ]*[a-f0-9]+:[   ]*f3 0f 38 d8 42 7e[    ]*aesencwide128kl 0x7e\(%rdx\)
  31 [       ]*[a-f0-9]+:[   ]*f3 0f 38 d8 52 7e[    ]*aesencwide256kl 0x7e\(%rdx\)
  32 [       ]*[a-f0-9]+:[   ]*f3 0f 38 d8 4a 7e[    ]*aesdecwide128kl 0x7e\(%rdx\)
  33 [       ]*[a-f0-9]+:[   ]*f3 0f 38 d8 5a 7e[    ]*aesdecwide256kl 0x7e\(%rdx\)
  34 #pass