Home Explore Help
Sign In
GfA
/
linux_kernel
5
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: a8df6a5160
Branches Tags
linux_kernel
/
tools
/
perf
/
arch
/
x86
/
tests
/
insn-x86-dat-64.c

insn-x86-dat-64.c 44 KB
History Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768 
  1. /*
    2. 

  2.  * Generated by gen-insn-x86-dat.sh and gen-insn-x86-dat.awk
    3. 

  3.  * from insn-x86-dat-src.c for inclusion by insn-x86.c
    4. 

  4.  * Do not change this code.
    5. 

  5. */
    6. 

  6. 

  7. {{0x0f, 0x31, }, 2, 0, "", "",
    8. 

  8. "0f 31                \trdtsc  ",},
    9. 

  9. {{0xf3, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
    10. 

  10. "f3 0f 1b 00          \tbndmk  (%rax),%bnd0",},
    11. 

  11. {{0xf3, 0x41, 0x0f, 0x1b, 0x00, }, 5, 0, "", "",
    12. 

  12. "f3 41 0f 1b 00       \tbndmk  (%r8),%bnd0",},
    13. 

  13. {{0xf3, 0x0f, 0x1b, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    14. 

  14. "f3 0f 1b 04 25 78 56 34 12 \tbndmk  0x12345678,%bnd0",},
    15. 

  15. {{0xf3, 0x0f, 0x1b, 0x18, }, 4, 0, "", "",
    16. 

  16. "f3 0f 1b 18          \tbndmk  (%rax),%bnd3",},
    17. 

  17. {{0xf3, 0x0f, 0x1b, 0x04, 0x01, }, 5, 0, "", "",
    18. 

  18. "f3 0f 1b 04 01       \tbndmk  (%rcx,%rax,1),%bnd0",},
    19. 

  19. {{0xf3, 0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    20. 

  20. "f3 0f 1b 04 05 78 56 34 12 \tbndmk  0x12345678(,%rax,1),%bnd0",},
    21. 

  21. {{0xf3, 0x0f, 0x1b, 0x04, 0x08, }, 5, 0, "", "",
    22. 

  22. "f3 0f 1b 04 08       \tbndmk  (%rax,%rcx,1),%bnd0",},
    23. 

  23. {{0xf3, 0x0f, 0x1b, 0x04, 0xc8, }, 5, 0, "", "",
    24. 

  24. "f3 0f 1b 04 c8       \tbndmk  (%rax,%rcx,8),%bnd0",},
    25. 

  25. {{0xf3, 0x0f, 0x1b, 0x40, 0x12, }, 5, 0, "", "",
    26. 

  26. "f3 0f 1b 40 12       \tbndmk  0x12(%rax),%bnd0",},
    27. 

  27. {{0xf3, 0x0f, 0x1b, 0x45, 0x12, }, 5, 0, "", "",
    28. 

  28. "f3 0f 1b 45 12       \tbndmk  0x12(%rbp),%bnd0",},
    29. 

  29. {{0xf3, 0x0f, 0x1b, 0x44, 0x01, 0x12, }, 6, 0, "", "",
    30. 

  30. "f3 0f 1b 44 01 12    \tbndmk  0x12(%rcx,%rax,1),%bnd0",},
    31. 

  31. {{0xf3, 0x0f, 0x1b, 0x44, 0x05, 0x12, }, 6, 0, "", "",
    32. 

  32. "f3 0f 1b 44 05 12    \tbndmk  0x12(%rbp,%rax,1),%bnd0",},
    33. 

  33. {{0xf3, 0x0f, 0x1b, 0x44, 0x08, 0x12, }, 6, 0, "", "",
    34. 

  34. "f3 0f 1b 44 08 12    \tbndmk  0x12(%rax,%rcx,1),%bnd0",},
    35. 

  35. {{0xf3, 0x0f, 0x1b, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
    36. 

  36. "f3 0f 1b 44 c8 12    \tbndmk  0x12(%rax,%rcx,8),%bnd0",},
    37. 

  37. {{0xf3, 0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    38. 

  38. "f3 0f 1b 80 78 56 34 12 \tbndmk  0x12345678(%rax),%bnd0",},
    39. 

  39. {{0xf3, 0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    40. 

  40. "f3 0f 1b 85 78 56 34 12 \tbndmk  0x12345678(%rbp),%bnd0",},
    41. 

  41. {{0xf3, 0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    42. 

  42. "f3 0f 1b 84 01 78 56 34 12 \tbndmk  0x12345678(%rcx,%rax,1),%bnd0",},
    43. 

  43. {{0xf3, 0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    44. 

  44. "f3 0f 1b 84 05 78 56 34 12 \tbndmk  0x12345678(%rbp,%rax,1),%bnd0",},
    45. 

  45. {{0xf3, 0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    46. 

  46. "f3 0f 1b 84 08 78 56 34 12 \tbndmk  0x12345678(%rax,%rcx,1),%bnd0",},
    47. 

  47. {{0xf3, 0x0f, 0x1b, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    48. 

  48. "f3 0f 1b 84 c8 78 56 34 12 \tbndmk  0x12345678(%rax,%rcx,8),%bnd0",},
    49. 

  49. {{0xf3, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
    50. 

  50. "f3 0f 1a 00          \tbndcl  (%rax),%bnd0",},
    51. 

  51. {{0xf3, 0x41, 0x0f, 0x1a, 0x00, }, 5, 0, "", "",
    52. 

  52. "f3 41 0f 1a 00       \tbndcl  (%r8),%bnd0",},
    53. 

  53. {{0xf3, 0x0f, 0x1a, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    54. 

  54. "f3 0f 1a 04 25 78 56 34 12 \tbndcl  0x12345678,%bnd0",},
    55. 

  55. {{0xf3, 0x0f, 0x1a, 0x18, }, 4, 0, "", "",
    56. 

  56. "f3 0f 1a 18          \tbndcl  (%rax),%bnd3",},
    57. 

  57. {{0xf3, 0x0f, 0x1a, 0x04, 0x01, }, 5, 0, "", "",
    58. 

  58. "f3 0f 1a 04 01       \tbndcl  (%rcx,%rax,1),%bnd0",},
    59. 

  59. {{0xf3, 0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    60. 

  60. "f3 0f 1a 04 05 78 56 34 12 \tbndcl  0x12345678(,%rax,1),%bnd0",},
    61. 

  61. {{0xf3, 0x0f, 0x1a, 0x04, 0x08, }, 5, 0, "", "",
    62. 

  62. "f3 0f 1a 04 08       \tbndcl  (%rax,%rcx,1),%bnd0",},
    63. 

  63. {{0xf3, 0x0f, 0x1a, 0x04, 0xc8, }, 5, 0, "", "",
    64. 

  64. "f3 0f 1a 04 c8       \tbndcl  (%rax,%rcx,8),%bnd0",},
    65. 

  65. {{0xf3, 0x0f, 0x1a, 0x40, 0x12, }, 5, 0, "", "",
    66. 

  66. "f3 0f 1a 40 12       \tbndcl  0x12(%rax),%bnd0",},
    67. 

  67. {{0xf3, 0x0f, 0x1a, 0x45, 0x12, }, 5, 0, "", "",
    68. 

  68. "f3 0f 1a 45 12       \tbndcl  0x12(%rbp),%bnd0",},
    69. 

  69. {{0xf3, 0x0f, 0x1a, 0x44, 0x01, 0x12, }, 6, 0, "", "",
    70. 

  70. "f3 0f 1a 44 01 12    \tbndcl  0x12(%rcx,%rax,1),%bnd0",},
    71. 

  71. {{0xf3, 0x0f, 0x1a, 0x44, 0x05, 0x12, }, 6, 0, "", "",
    72. 

  72. "f3 0f 1a 44 05 12    \tbndcl  0x12(%rbp,%rax,1),%bnd0",},
    73. 

  73. {{0xf3, 0x0f, 0x1a, 0x44, 0x08, 0x12, }, 6, 0, "", "",
    74. 

  74. "f3 0f 1a 44 08 12    \tbndcl  0x12(%rax,%rcx,1),%bnd0",},
    75. 

  75. {{0xf3, 0x0f, 0x1a, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
    76. 

  76. "f3 0f 1a 44 c8 12    \tbndcl  0x12(%rax,%rcx,8),%bnd0",},
    77. 

  77. {{0xf3, 0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    78. 

  78. "f3 0f 1a 80 78 56 34 12 \tbndcl  0x12345678(%rax),%bnd0",},
    79. 

  79. {{0xf3, 0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    80. 

  80. "f3 0f 1a 85 78 56 34 12 \tbndcl  0x12345678(%rbp),%bnd0",},
    81. 

  81. {{0xf3, 0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    82. 

  82. "f3 0f 1a 84 01 78 56 34 12 \tbndcl  0x12345678(%rcx,%rax,1),%bnd0",},
    83. 

  83. {{0xf3, 0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    84. 

  84. "f3 0f 1a 84 05 78 56 34 12 \tbndcl  0x12345678(%rbp,%rax,1),%bnd0",},
    85. 

  85. {{0xf3, 0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    86. 

  86. "f3 0f 1a 84 08 78 56 34 12 \tbndcl  0x12345678(%rax,%rcx,1),%bnd0",},
    87. 

  87. {{0xf3, 0x0f, 0x1a, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    88. 

  88. "f3 0f 1a 84 c8 78 56 34 12 \tbndcl  0x12345678(%rax,%rcx,8),%bnd0",},
    89. 

  89. {{0xf3, 0x0f, 0x1a, 0xc0, }, 4, 0, "", "",
    90. 

  90. "f3 0f 1a c0          \tbndcl  %rax,%bnd0",},
    91. 

  91. {{0xf2, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
    92. 

  92. "f2 0f 1a 00          \tbndcu  (%rax),%bnd0",},
    93. 

  93. {{0xf2, 0x41, 0x0f, 0x1a, 0x00, }, 5, 0, "", "",
    94. 

  94. "f2 41 0f 1a 00       \tbndcu  (%r8),%bnd0",},
    95. 

  95. {{0xf2, 0x0f, 0x1a, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    96. 

  96. "f2 0f 1a 04 25 78 56 34 12 \tbndcu  0x12345678,%bnd0",},
    97. 

  97. {{0xf2, 0x0f, 0x1a, 0x18, }, 4, 0, "", "",
    98. 

  98. "f2 0f 1a 18          \tbndcu  (%rax),%bnd3",},
    99. 

  99. {{0xf2, 0x0f, 0x1a, 0x04, 0x01, }, 5, 0, "", "",
    100. 

  100. "f2 0f 1a 04 01       \tbndcu  (%rcx,%rax,1),%bnd0",},
    101. 

  101. {{0xf2, 0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    102. 

  102. "f2 0f 1a 04 05 78 56 34 12 \tbndcu  0x12345678(,%rax,1),%bnd0",},
    103. 

  103. {{0xf2, 0x0f, 0x1a, 0x04, 0x08, }, 5, 0, "", "",
    104. 

  104. "f2 0f 1a 04 08       \tbndcu  (%rax,%rcx,1),%bnd0",},
    105. 

  105. {{0xf2, 0x0f, 0x1a, 0x04, 0xc8, }, 5, 0, "", "",
    106. 

  106. "f2 0f 1a 04 c8       \tbndcu  (%rax,%rcx,8),%bnd0",},
    107. 

  107. {{0xf2, 0x0f, 0x1a, 0x40, 0x12, }, 5, 0, "", "",
    108. 

  108. "f2 0f 1a 40 12       \tbndcu  0x12(%rax),%bnd0",},
    109. 

  109. {{0xf2, 0x0f, 0x1a, 0x45, 0x12, }, 5, 0, "", "",
    110. 

  110. "f2 0f 1a 45 12       \tbndcu  0x12(%rbp),%bnd0",},
    111. 

  111. {{0xf2, 0x0f, 0x1a, 0x44, 0x01, 0x12, }, 6, 0, "", "",
    112. 

  112. "f2 0f 1a 44 01 12    \tbndcu  0x12(%rcx,%rax,1),%bnd0",},
    113. 

  113. {{0xf2, 0x0f, 0x1a, 0x44, 0x05, 0x12, }, 6, 0, "", "",
    114. 

  114. "f2 0f 1a 44 05 12    \tbndcu  0x12(%rbp,%rax,1),%bnd0",},
    115. 

  115. {{0xf2, 0x0f, 0x1a, 0x44, 0x08, 0x12, }, 6, 0, "", "",
    116. 

  116. "f2 0f 1a 44 08 12    \tbndcu  0x12(%rax,%rcx,1),%bnd0",},
    117. 

  117. {{0xf2, 0x0f, 0x1a, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
    118. 

  118. "f2 0f 1a 44 c8 12    \tbndcu  0x12(%rax,%rcx,8),%bnd0",},
    119. 

  119. {{0xf2, 0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    120. 

  120. "f2 0f 1a 80 78 56 34 12 \tbndcu  0x12345678(%rax),%bnd0",},
    121. 

  121. {{0xf2, 0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    122. 

  122. "f2 0f 1a 85 78 56 34 12 \tbndcu  0x12345678(%rbp),%bnd0",},
    123. 

  123. {{0xf2, 0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    124. 

  124. "f2 0f 1a 84 01 78 56 34 12 \tbndcu  0x12345678(%rcx,%rax,1),%bnd0",},
    125. 

  125. {{0xf2, 0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    126. 

  126. "f2 0f 1a 84 05 78 56 34 12 \tbndcu  0x12345678(%rbp,%rax,1),%bnd0",},
    127. 

  127. {{0xf2, 0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    128. 

  128. "f2 0f 1a 84 08 78 56 34 12 \tbndcu  0x12345678(%rax,%rcx,1),%bnd0",},
    129. 

  129. {{0xf2, 0x0f, 0x1a, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    130. 

  130. "f2 0f 1a 84 c8 78 56 34 12 \tbndcu  0x12345678(%rax,%rcx,8),%bnd0",},
    131. 

  131. {{0xf2, 0x0f, 0x1a, 0xc0, }, 4, 0, "", "",
    132. 

  132. "f2 0f 1a c0          \tbndcu  %rax,%bnd0",},
    133. 

  133. {{0xf2, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
    134. 

  134. "f2 0f 1b 00          \tbndcn  (%rax),%bnd0",},
    135. 

  135. {{0xf2, 0x41, 0x0f, 0x1b, 0x00, }, 5, 0, "", "",
    136. 

  136. "f2 41 0f 1b 00       \tbndcn  (%r8),%bnd0",},
    137. 

  137. {{0xf2, 0x0f, 0x1b, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    138. 

  138. "f2 0f 1b 04 25 78 56 34 12 \tbndcn  0x12345678,%bnd0",},
    139. 

  139. {{0xf2, 0x0f, 0x1b, 0x18, }, 4, 0, "", "",
    140. 

  140. "f2 0f 1b 18          \tbndcn  (%rax),%bnd3",},
    141. 

  141. {{0xf2, 0x0f, 0x1b, 0x04, 0x01, }, 5, 0, "", "",
    142. 

  142. "f2 0f 1b 04 01       \tbndcn  (%rcx,%rax,1),%bnd0",},
    143. 

  143. {{0xf2, 0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    144. 

  144. "f2 0f 1b 04 05 78 56 34 12 \tbndcn  0x12345678(,%rax,1),%bnd0",},
    145. 

  145. {{0xf2, 0x0f, 0x1b, 0x04, 0x08, }, 5, 0, "", "",
    146. 

  146. "f2 0f 1b 04 08       \tbndcn  (%rax,%rcx,1),%bnd0",},
    147. 

  147. {{0xf2, 0x0f, 0x1b, 0x04, 0xc8, }, 5, 0, "", "",
    148. 

  148. "f2 0f 1b 04 c8       \tbndcn  (%rax,%rcx,8),%bnd0",},
    149. 

  149. {{0xf2, 0x0f, 0x1b, 0x40, 0x12, }, 5, 0, "", "",
    150. 

  150. "f2 0f 1b 40 12       \tbndcn  0x12(%rax),%bnd0",},
    151. 

  151. {{0xf2, 0x0f, 0x1b, 0x45, 0x12, }, 5, 0, "", "",
    152. 

  152. "f2 0f 1b 45 12       \tbndcn  0x12(%rbp),%bnd0",},
    153. 

  153. {{0xf2, 0x0f, 0x1b, 0x44, 0x01, 0x12, }, 6, 0, "", "",
    154. 

  154. "f2 0f 1b 44 01 12    \tbndcn  0x12(%rcx,%rax,1),%bnd0",},
    155. 

  155. {{0xf2, 0x0f, 0x1b, 0x44, 0x05, 0x12, }, 6, 0, "", "",
    156. 

  156. "f2 0f 1b 44 05 12    \tbndcn  0x12(%rbp,%rax,1),%bnd0",},
    157. 

  157. {{0xf2, 0x0f, 0x1b, 0x44, 0x08, 0x12, }, 6, 0, "", "",
    158. 

  158. "f2 0f 1b 44 08 12    \tbndcn  0x12(%rax,%rcx,1),%bnd0",},
    159. 

  159. {{0xf2, 0x0f, 0x1b, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
    160. 

  160. "f2 0f 1b 44 c8 12    \tbndcn  0x12(%rax,%rcx,8),%bnd0",},
    161. 

  161. {{0xf2, 0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    162. 

  162. "f2 0f 1b 80 78 56 34 12 \tbndcn  0x12345678(%rax),%bnd0",},
    163. 

  163. {{0xf2, 0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    164. 

  164. "f2 0f 1b 85 78 56 34 12 \tbndcn  0x12345678(%rbp),%bnd0",},
    165. 

  165. {{0xf2, 0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    166. 

  166. "f2 0f 1b 84 01 78 56 34 12 \tbndcn  0x12345678(%rcx,%rax,1),%bnd0",},
    167. 

  167. {{0xf2, 0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    168. 

  168. "f2 0f 1b 84 05 78 56 34 12 \tbndcn  0x12345678(%rbp,%rax,1),%bnd0",},
    169. 

  169. {{0xf2, 0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    170. 

  170. "f2 0f 1b 84 08 78 56 34 12 \tbndcn  0x12345678(%rax,%rcx,1),%bnd0",},
    171. 

  171. {{0xf2, 0x0f, 0x1b, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    172. 

  172. "f2 0f 1b 84 c8 78 56 34 12 \tbndcn  0x12345678(%rax,%rcx,8),%bnd0",},
    173. 

  173. {{0xf2, 0x0f, 0x1b, 0xc0, }, 4, 0, "", "",
    174. 

  174. "f2 0f 1b c0          \tbndcn  %rax,%bnd0",},
    175. 

  175. {{0x66, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
    176. 

  176. "66 0f 1a 00          \tbndmov (%rax),%bnd0",},
    177. 

  177. {{0x66, 0x41, 0x0f, 0x1a, 0x00, }, 5, 0, "", "",
    178. 

  178. "66 41 0f 1a 00       \tbndmov (%r8),%bnd0",},
    179. 

  179. {{0x66, 0x0f, 0x1a, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    180. 

  180. "66 0f 1a 04 25 78 56 34 12 \tbndmov 0x12345678,%bnd0",},
    181. 

  181. {{0x66, 0x0f, 0x1a, 0x18, }, 4, 0, "", "",
    182. 

  182. "66 0f 1a 18          \tbndmov (%rax),%bnd3",},
    183. 

  183. {{0x66, 0x0f, 0x1a, 0x04, 0x01, }, 5, 0, "", "",
    184. 

  184. "66 0f 1a 04 01       \tbndmov (%rcx,%rax,1),%bnd0",},
    185. 

  185. {{0x66, 0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    186. 

  186. "66 0f 1a 04 05 78 56 34 12 \tbndmov 0x12345678(,%rax,1),%bnd0",},
    187. 

  187. {{0x66, 0x0f, 0x1a, 0x04, 0x08, }, 5, 0, "", "",
    188. 

  188. "66 0f 1a 04 08       \tbndmov (%rax,%rcx,1),%bnd0",},
    189. 

  189. {{0x66, 0x0f, 0x1a, 0x04, 0xc8, }, 5, 0, "", "",
    190. 

  190. "66 0f 1a 04 c8       \tbndmov (%rax,%rcx,8),%bnd0",},
    191. 

  191. {{0x66, 0x0f, 0x1a, 0x40, 0x12, }, 5, 0, "", "",
    192. 

  192. "66 0f 1a 40 12       \tbndmov 0x12(%rax),%bnd0",},
    193. 

  193. {{0x66, 0x0f, 0x1a, 0x45, 0x12, }, 5, 0, "", "",
    194. 

  194. "66 0f 1a 45 12       \tbndmov 0x12(%rbp),%bnd0",},
    195. 

  195. {{0x66, 0x0f, 0x1a, 0x44, 0x01, 0x12, }, 6, 0, "", "",
    196. 

  196. "66 0f 1a 44 01 12    \tbndmov 0x12(%rcx,%rax,1),%bnd0",},
    197. 

  197. {{0x66, 0x0f, 0x1a, 0x44, 0x05, 0x12, }, 6, 0, "", "",
    198. 

  198. "66 0f 1a 44 05 12    \tbndmov 0x12(%rbp,%rax,1),%bnd0",},
    199. 

  199. {{0x66, 0x0f, 0x1a, 0x44, 0x08, 0x12, }, 6, 0, "", "",
    200. 

  200. "66 0f 1a 44 08 12    \tbndmov 0x12(%rax,%rcx,1),%bnd0",},
    201. 

  201. {{0x66, 0x0f, 0x1a, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
    202. 

  202. "66 0f 1a 44 c8 12    \tbndmov 0x12(%rax,%rcx,8),%bnd0",},
    203. 

  203. {{0x66, 0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    204. 

  204. "66 0f 1a 80 78 56 34 12 \tbndmov 0x12345678(%rax),%bnd0",},
    205. 

  205. {{0x66, 0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    206. 

  206. "66 0f 1a 85 78 56 34 12 \tbndmov 0x12345678(%rbp),%bnd0",},
    207. 

  207. {{0x66, 0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    208. 

  208. "66 0f 1a 84 01 78 56 34 12 \tbndmov 0x12345678(%rcx,%rax,1),%bnd0",},
    209. 

  209. {{0x66, 0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    210. 

  210. "66 0f 1a 84 05 78 56 34 12 \tbndmov 0x12345678(%rbp,%rax,1),%bnd0",},
    211. 

  211. {{0x66, 0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    212. 

  212. "66 0f 1a 84 08 78 56 34 12 \tbndmov 0x12345678(%rax,%rcx,1),%bnd0",},
    213. 

  213. {{0x66, 0x0f, 0x1a, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    214. 

  214. "66 0f 1a 84 c8 78 56 34 12 \tbndmov 0x12345678(%rax,%rcx,8),%bnd0",},
    215. 

  215. {{0x66, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
    216. 

  216. "66 0f 1b 00          \tbndmov %bnd0,(%rax)",},
    217. 

  217. {{0x66, 0x41, 0x0f, 0x1b, 0x00, }, 5, 0, "", "",
    218. 

  218. "66 41 0f 1b 00       \tbndmov %bnd0,(%r8)",},
    219. 

  219. {{0x66, 0x0f, 0x1b, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    220. 

  220. "66 0f 1b 04 25 78 56 34 12 \tbndmov %bnd0,0x12345678",},
    221. 

  221. {{0x66, 0x0f, 0x1b, 0x18, }, 4, 0, "", "",
    222. 

  222. "66 0f 1b 18          \tbndmov %bnd3,(%rax)",},
    223. 

  223. {{0x66, 0x0f, 0x1b, 0x04, 0x01, }, 5, 0, "", "",
    224. 

  224. "66 0f 1b 04 01       \tbndmov %bnd0,(%rcx,%rax,1)",},
    225. 

  225. {{0x66, 0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    226. 

  226. "66 0f 1b 04 05 78 56 34 12 \tbndmov %bnd0,0x12345678(,%rax,1)",},
    227. 

  227. {{0x66, 0x0f, 0x1b, 0x04, 0x08, }, 5, 0, "", "",
    228. 

  228. "66 0f 1b 04 08       \tbndmov %bnd0,(%rax,%rcx,1)",},
    229. 

  229. {{0x66, 0x0f, 0x1b, 0x04, 0xc8, }, 5, 0, "", "",
    230. 

  230. "66 0f 1b 04 c8       \tbndmov %bnd0,(%rax,%rcx,8)",},
    231. 

  231. {{0x66, 0x0f, 0x1b, 0x40, 0x12, }, 5, 0, "", "",
    232. 

  232. "66 0f 1b 40 12       \tbndmov %bnd0,0x12(%rax)",},
    233. 

  233. {{0x66, 0x0f, 0x1b, 0x45, 0x12, }, 5, 0, "", "",
    234. 

  234. "66 0f 1b 45 12       \tbndmov %bnd0,0x12(%rbp)",},
    235. 

  235. {{0x66, 0x0f, 0x1b, 0x44, 0x01, 0x12, }, 6, 0, "", "",
    236. 

  236. "66 0f 1b 44 01 12    \tbndmov %bnd0,0x12(%rcx,%rax,1)",},
    237. 

  237. {{0x66, 0x0f, 0x1b, 0x44, 0x05, 0x12, }, 6, 0, "", "",
    238. 

  238. "66 0f 1b 44 05 12    \tbndmov %bnd0,0x12(%rbp,%rax,1)",},
    239. 

  239. {{0x66, 0x0f, 0x1b, 0x44, 0x08, 0x12, }, 6, 0, "", "",
    240. 

  240. "66 0f 1b 44 08 12    \tbndmov %bnd0,0x12(%rax,%rcx,1)",},
    241. 

  241. {{0x66, 0x0f, 0x1b, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
    242. 

  242. "66 0f 1b 44 c8 12    \tbndmov %bnd0,0x12(%rax,%rcx,8)",},
    243. 

  243. {{0x66, 0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    244. 

  244. "66 0f 1b 80 78 56 34 12 \tbndmov %bnd0,0x12345678(%rax)",},
    245. 

  245. {{0x66, 0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    246. 

  246. "66 0f 1b 85 78 56 34 12 \tbndmov %bnd0,0x12345678(%rbp)",},
    247. 

  247. {{0x66, 0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    248. 

  248. "66 0f 1b 84 01 78 56 34 12 \tbndmov %bnd0,0x12345678(%rcx,%rax,1)",},
    249. 

  249. {{0x66, 0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    250. 

  250. "66 0f 1b 84 05 78 56 34 12 \tbndmov %bnd0,0x12345678(%rbp,%rax,1)",},
    251. 

  251. {{0x66, 0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    252. 

  252. "66 0f 1b 84 08 78 56 34 12 \tbndmov %bnd0,0x12345678(%rax,%rcx,1)",},
    253. 

  253. {{0x66, 0x0f, 0x1b, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    254. 

  254. "66 0f 1b 84 c8 78 56 34 12 \tbndmov %bnd0,0x12345678(%rax,%rcx,8)",},
    255. 

  255. {{0x66, 0x0f, 0x1a, 0xc8, }, 4, 0, "", "",
    256. 

  256. "66 0f 1a c8          \tbndmov %bnd0,%bnd1",},
    257. 

  257. {{0x66, 0x0f, 0x1a, 0xc1, }, 4, 0, "", "",
    258. 

  258. "66 0f 1a c1          \tbndmov %bnd1,%bnd0",},
    259. 

  259. {{0x0f, 0x1a, 0x00, }, 3, 0, "", "",
    260. 

  260. "0f 1a 00             \tbndldx (%rax),%bnd0",},
    261. 

  261. {{0x41, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
    262. 

  262. "41 0f 1a 00          \tbndldx (%r8),%bnd0",},
    263. 

  263. {{0x0f, 0x1a, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    264. 

  264. "0f 1a 04 25 78 56 34 12 \tbndldx 0x12345678,%bnd0",},
    265. 

  265. {{0x0f, 0x1a, 0x18, }, 3, 0, "", "",
    266. 

  266. "0f 1a 18             \tbndldx (%rax),%bnd3",},
    267. 

  267. {{0x0f, 0x1a, 0x04, 0x01, }, 4, 0, "", "",
    268. 

  268. "0f 1a 04 01          \tbndldx (%rcx,%rax,1),%bnd0",},
    269. 

  269. {{0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    270. 

  270. "0f 1a 04 05 78 56 34 12 \tbndldx 0x12345678(,%rax,1),%bnd0",},
    271. 

  271. {{0x0f, 0x1a, 0x04, 0x08, }, 4, 0, "", "",
    272. 

  272. "0f 1a 04 08          \tbndldx (%rax,%rcx,1),%bnd0",},
    273. 

  273. {{0x0f, 0x1a, 0x40, 0x12, }, 4, 0, "", "",
    274. 

  274. "0f 1a 40 12          \tbndldx 0x12(%rax),%bnd0",},
    275. 

  275. {{0x0f, 0x1a, 0x45, 0x12, }, 4, 0, "", "",
    276. 

  276. "0f 1a 45 12          \tbndldx 0x12(%rbp),%bnd0",},
    277. 

  277. {{0x0f, 0x1a, 0x44, 0x01, 0x12, }, 5, 0, "", "",
    278. 

  278. "0f 1a 44 01 12       \tbndldx 0x12(%rcx,%rax,1),%bnd0",},
    279. 

  279. {{0x0f, 0x1a, 0x44, 0x05, 0x12, }, 5, 0, "", "",
    280. 

  280. "0f 1a 44 05 12       \tbndldx 0x12(%rbp,%rax,1),%bnd0",},
    281. 

  281. {{0x0f, 0x1a, 0x44, 0x08, 0x12, }, 5, 0, "", "",
    282. 

  282. "0f 1a 44 08 12       \tbndldx 0x12(%rax,%rcx,1),%bnd0",},
    283. 

  283. {{0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
    284. 

  284. "0f 1a 80 78 56 34 12 \tbndldx 0x12345678(%rax),%bnd0",},
    285. 

  285. {{0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
    286. 

  286. "0f 1a 85 78 56 34 12 \tbndldx 0x12345678(%rbp),%bnd0",},
    287. 

  287. {{0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    288. 

  288. "0f 1a 84 01 78 56 34 12 \tbndldx 0x12345678(%rcx,%rax,1),%bnd0",},
    289. 

  289. {{0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    290. 

  290. "0f 1a 84 05 78 56 34 12 \tbndldx 0x12345678(%rbp,%rax,1),%bnd0",},
    291. 

  291. {{0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    292. 

  292. "0f 1a 84 08 78 56 34 12 \tbndldx 0x12345678(%rax,%rcx,1),%bnd0",},
    293. 

  293. {{0x0f, 0x1b, 0x00, }, 3, 0, "", "",
    294. 

  294. "0f 1b 00             \tbndstx %bnd0,(%rax)",},
    295. 

  295. {{0x41, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
    296. 

  296. "41 0f 1b 00          \tbndstx %bnd0,(%r8)",},
    297. 

  297. {{0x0f, 0x1b, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    298. 

  298. "0f 1b 04 25 78 56 34 12 \tbndstx %bnd0,0x12345678",},
    299. 

  299. {{0x0f, 0x1b, 0x18, }, 3, 0, "", "",
    300. 

  300. "0f 1b 18             \tbndstx %bnd3,(%rax)",},
    301. 

  301. {{0x0f, 0x1b, 0x04, 0x01, }, 4, 0, "", "",
    302. 

  302. "0f 1b 04 01          \tbndstx %bnd0,(%rcx,%rax,1)",},
    303. 

  303. {{0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    304. 

  304. "0f 1b 04 05 78 56 34 12 \tbndstx %bnd0,0x12345678(,%rax,1)",},
    305. 

  305. {{0x0f, 0x1b, 0x04, 0x08, }, 4, 0, "", "",
    306. 

  306. "0f 1b 04 08          \tbndstx %bnd0,(%rax,%rcx,1)",},
    307. 

  307. {{0x0f, 0x1b, 0x40, 0x12, }, 4, 0, "", "",
    308. 

  308. "0f 1b 40 12          \tbndstx %bnd0,0x12(%rax)",},
    309. 

  309. {{0x0f, 0x1b, 0x45, 0x12, }, 4, 0, "", "",
    310. 

  310. "0f 1b 45 12          \tbndstx %bnd0,0x12(%rbp)",},
    311. 

  311. {{0x0f, 0x1b, 0x44, 0x01, 0x12, }, 5, 0, "", "",
    312. 

  312. "0f 1b 44 01 12       \tbndstx %bnd0,0x12(%rcx,%rax,1)",},
    313. 

  313. {{0x0f, 0x1b, 0x44, 0x05, 0x12, }, 5, 0, "", "",
    314. 

  314. "0f 1b 44 05 12       \tbndstx %bnd0,0x12(%rbp,%rax,1)",},
    315. 

  315. {{0x0f, 0x1b, 0x44, 0x08, 0x12, }, 5, 0, "", "",
    316. 

  316. "0f 1b 44 08 12       \tbndstx %bnd0,0x12(%rax,%rcx,1)",},
    317. 

  317. {{0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
    318. 

  318. "0f 1b 80 78 56 34 12 \tbndstx %bnd0,0x12345678(%rax)",},
    319. 

  319. {{0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
    320. 

  320. "0f 1b 85 78 56 34 12 \tbndstx %bnd0,0x12345678(%rbp)",},
    321. 

  321. {{0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    322. 

  322. "0f 1b 84 01 78 56 34 12 \tbndstx %bnd0,0x12345678(%rcx,%rax,1)",},
    323. 

  323. {{0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    324. 

  324. "0f 1b 84 05 78 56 34 12 \tbndstx %bnd0,0x12345678(%rbp,%rax,1)",},
    325. 

  325. {{0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    326. 

  326. "0f 1b 84 08 78 56 34 12 \tbndstx %bnd0,0x12345678(%rax,%rcx,1)",},
    327. 

  327. {{0xf2, 0xe8, 0x00, 0x00, 0x00, 0x00, }, 6, 0, "call", "unconditional",
    328. 

  328. "f2 e8 00 00 00 00    \tbnd callq 3f6 <main+0x3f6>",},
    329. 

  329. {{0x67, 0xf2, 0xff, 0x10, }, 4, 0, "call", "indirect",
    330. 

  330. "67 f2 ff 10          \tbnd callq *(%eax)",},
    331. 

  331. {{0xf2, 0xc3, }, 2, 0, "ret", "indirect",
    332. 

  332. "f2 c3                \tbnd retq ",},
    333. 

  333. {{0xf2, 0xe9, 0x00, 0x00, 0x00, 0x00, }, 6, 0, "jmp", "unconditional",
    334. 

  334. "f2 e9 00 00 00 00    \tbnd jmpq 402 <main+0x402>",},
    335. 

  335. {{0xf2, 0xe9, 0x00, 0x00, 0x00, 0x00, }, 6, 0, "jmp", "unconditional",
    336. 

  336. "f2 e9 00 00 00 00    \tbnd jmpq 408 <main+0x408>",},
    337. 

  337. {{0x67, 0xf2, 0xff, 0x21, }, 4, 0, "jmp", "indirect",
    338. 

  338. "67 f2 ff 21          \tbnd jmpq *(%ecx)",},
    339. 

  339. {{0xf2, 0x0f, 0x85, 0x00, 0x00, 0x00, 0x00, }, 7, 0, "jcc", "conditional",
    340. 

  340. "f2 0f 85 00 00 00 00 \tbnd jne 413 <main+0x413>",},
    341. 

  341. {{0x0f, 0x3a, 0xcc, 0xc1, 0x00, }, 5, 0, "", "",
    342. 

  342. "0f 3a cc c1 00       \tsha1rnds4 $0x0,%xmm1,%xmm0",},
    343. 

  343. {{0x0f, 0x3a, 0xcc, 0xd7, 0x91, }, 5, 0, "", "",
    344. 

  344. "0f 3a cc d7 91       \tsha1rnds4 $0x91,%xmm7,%xmm2",},
    345. 

  345. {{0x41, 0x0f, 0x3a, 0xcc, 0xc0, 0x91, }, 6, 0, "", "",
    346. 

  346. "41 0f 3a cc c0 91    \tsha1rnds4 $0x91,%xmm8,%xmm0",},
    347. 

  347. {{0x44, 0x0f, 0x3a, 0xcc, 0xc7, 0x91, }, 6, 0, "", "",
    348. 

  348. "44 0f 3a cc c7 91    \tsha1rnds4 $0x91,%xmm7,%xmm8",},
    349. 

  349. {{0x45, 0x0f, 0x3a, 0xcc, 0xc7, 0x91, }, 6, 0, "", "",
    350. 

  350. "45 0f 3a cc c7 91    \tsha1rnds4 $0x91,%xmm15,%xmm8",},
    351. 

  351. {{0x0f, 0x3a, 0xcc, 0x00, 0x91, }, 5, 0, "", "",
    352. 

  352. "0f 3a cc 00 91       \tsha1rnds4 $0x91,(%rax),%xmm0",},
    353. 

  353. {{0x41, 0x0f, 0x3a, 0xcc, 0x00, 0x91, }, 6, 0, "", "",
    354. 

  354. "41 0f 3a cc 00 91    \tsha1rnds4 $0x91,(%r8),%xmm0",},
    355. 

  355. {{0x0f, 0x3a, 0xcc, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
    356. 

  356. "0f 3a cc 04 25 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678,%xmm0",},
    357. 

  357. {{0x0f, 0x3a, 0xcc, 0x18, 0x91, }, 5, 0, "", "",
    358. 

  358. "0f 3a cc 18 91       \tsha1rnds4 $0x91,(%rax),%xmm3",},
    359. 

  359. {{0x0f, 0x3a, 0xcc, 0x04, 0x01, 0x91, }, 6, 0, "", "",
    360. 

  360. "0f 3a cc 04 01 91    \tsha1rnds4 $0x91,(%rcx,%rax,1),%xmm0",},
    361. 

  361. {{0x0f, 0x3a, 0xcc, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
    362. 

  362. "0f 3a cc 04 05 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(,%rax,1),%xmm0",},
    363. 

  363. {{0x0f, 0x3a, 0xcc, 0x04, 0x08, 0x91, }, 6, 0, "", "",
    364. 

  364. "0f 3a cc 04 08 91    \tsha1rnds4 $0x91,(%rax,%rcx,1),%xmm0",},
    365. 

  365. {{0x0f, 0x3a, 0xcc, 0x04, 0xc8, 0x91, }, 6, 0, "", "",
    366. 

  366. "0f 3a cc 04 c8 91    \tsha1rnds4 $0x91,(%rax,%rcx,8),%xmm0",},
    367. 

  367. {{0x0f, 0x3a, 0xcc, 0x40, 0x12, 0x91, }, 6, 0, "", "",
    368. 

  368. "0f 3a cc 40 12 91    \tsha1rnds4 $0x91,0x12(%rax),%xmm0",},
    369. 

  369. {{0x0f, 0x3a, 0xcc, 0x45, 0x12, 0x91, }, 6, 0, "", "",
    370. 

  370. "0f 3a cc 45 12 91    \tsha1rnds4 $0x91,0x12(%rbp),%xmm0",},
    371. 

  371. {{0x0f, 0x3a, 0xcc, 0x44, 0x01, 0x12, 0x91, }, 7, 0, "", "",
    372. 

  372. "0f 3a cc 44 01 12 91 \tsha1rnds4 $0x91,0x12(%rcx,%rax,1),%xmm0",},
    373. 

  373. {{0x0f, 0x3a, 0xcc, 0x44, 0x05, 0x12, 0x91, }, 7, 0, "", "",
    374. 

  374. "0f 3a cc 44 05 12 91 \tsha1rnds4 $0x91,0x12(%rbp,%rax,1),%xmm0",},
    375. 

  375. {{0x0f, 0x3a, 0xcc, 0x44, 0x08, 0x12, 0x91, }, 7, 0, "", "",
    376. 

  376. "0f 3a cc 44 08 12 91 \tsha1rnds4 $0x91,0x12(%rax,%rcx,1),%xmm0",},
    377. 

  377. {{0x0f, 0x3a, 0xcc, 0x44, 0xc8, 0x12, 0x91, }, 7, 0, "", "",
    378. 

  378. "0f 3a cc 44 c8 12 91 \tsha1rnds4 $0x91,0x12(%rax,%rcx,8),%xmm0",},
    379. 

  379. {{0x0f, 0x3a, 0xcc, 0x80, 0x78, 0x56, 0x34, 0x12, 0x91, }, 9, 0, "", "",
    380. 

  380. "0f 3a cc 80 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rax),%xmm0",},
    381. 

  381. {{0x0f, 0x3a, 0xcc, 0x85, 0x78, 0x56, 0x34, 0x12, 0x91, }, 9, 0, "", "",
    382. 

  382. "0f 3a cc 85 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rbp),%xmm0",},
    383. 

  383. {{0x0f, 0x3a, 0xcc, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
    384. 

  384. "0f 3a cc 84 01 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rcx,%rax,1),%xmm0",},
    385. 

  385. {{0x0f, 0x3a, 0xcc, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
    386. 

  386. "0f 3a cc 84 05 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rbp,%rax,1),%xmm0",},
    387. 

  387. {{0x0f, 0x3a, 0xcc, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
    388. 

  388. "0f 3a cc 84 08 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rax,%rcx,1),%xmm0",},
    389. 

  389. {{0x0f, 0x3a, 0xcc, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
    390. 

  390. "0f 3a cc 84 c8 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rax,%rcx,8),%xmm0",},
    391. 

  391. {{0x44, 0x0f, 0x3a, 0xcc, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, 0x91, }, 11, 0, "", "",
    392. 

  392. "44 0f 3a cc bc c8 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rax,%rcx,8),%xmm15",},
    393. 

  393. {{0x0f, 0x38, 0xc8, 0xc1, }, 4, 0, "", "",
    394. 

  394. "0f 38 c8 c1          \tsha1nexte %xmm1,%xmm0",},
    395. 

  395. {{0x0f, 0x38, 0xc8, 0xd7, }, 4, 0, "", "",
    396. 

  396. "0f 38 c8 d7          \tsha1nexte %xmm7,%xmm2",},
    397. 

  397. {{0x41, 0x0f, 0x38, 0xc8, 0xc0, }, 5, 0, "", "",
    398. 

  398. "41 0f 38 c8 c0       \tsha1nexte %xmm8,%xmm0",},
    399. 

  399. {{0x44, 0x0f, 0x38, 0xc8, 0xc7, }, 5, 0, "", "",
    400. 

  400. "44 0f 38 c8 c7       \tsha1nexte %xmm7,%xmm8",},
    401. 

  401. {{0x45, 0x0f, 0x38, 0xc8, 0xc7, }, 5, 0, "", "",
    402. 

  402. "45 0f 38 c8 c7       \tsha1nexte %xmm15,%xmm8",},
    403. 

  403. {{0x0f, 0x38, 0xc8, 0x00, }, 4, 0, "", "",
    404. 

  404. "0f 38 c8 00          \tsha1nexte (%rax),%xmm0",},
    405. 

  405. {{0x41, 0x0f, 0x38, 0xc8, 0x00, }, 5, 0, "", "",
    406. 

  406. "41 0f 38 c8 00       \tsha1nexte (%r8),%xmm0",},
    407. 

  407. {{0x0f, 0x38, 0xc8, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    408. 

  408. "0f 38 c8 04 25 78 56 34 12 \tsha1nexte 0x12345678,%xmm0",},
    409. 

  409. {{0x0f, 0x38, 0xc8, 0x18, }, 4, 0, "", "",
    410. 

  410. "0f 38 c8 18          \tsha1nexte (%rax),%xmm3",},
    411. 

  411. {{0x0f, 0x38, 0xc8, 0x04, 0x01, }, 5, 0, "", "",
    412. 

  412. "0f 38 c8 04 01       \tsha1nexte (%rcx,%rax,1),%xmm0",},
    413. 

  413. {{0x0f, 0x38, 0xc8, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    414. 

  414. "0f 38 c8 04 05 78 56 34 12 \tsha1nexte 0x12345678(,%rax,1),%xmm0",},
    415. 

  415. {{0x0f, 0x38, 0xc8, 0x04, 0x08, }, 5, 0, "", "",
    416. 

  416. "0f 38 c8 04 08       \tsha1nexte (%rax,%rcx,1),%xmm0",},
    417. 

  417. {{0x0f, 0x38, 0xc8, 0x04, 0xc8, }, 5, 0, "", "",
    418. 

  418. "0f 38 c8 04 c8       \tsha1nexte (%rax,%rcx,8),%xmm0",},
    419. 

  419. {{0x0f, 0x38, 0xc8, 0x40, 0x12, }, 5, 0, "", "",
    420. 

  420. "0f 38 c8 40 12       \tsha1nexte 0x12(%rax),%xmm0",},
    421. 

  421. {{0x0f, 0x38, 0xc8, 0x45, 0x12, }, 5, 0, "", "",
    422. 

  422. "0f 38 c8 45 12       \tsha1nexte 0x12(%rbp),%xmm0",},
    423. 

  423. {{0x0f, 0x38, 0xc8, 0x44, 0x01, 0x12, }, 6, 0, "", "",
    424. 

  424. "0f 38 c8 44 01 12    \tsha1nexte 0x12(%rcx,%rax,1),%xmm0",},
    425. 

  425. {{0x0f, 0x38, 0xc8, 0x44, 0x05, 0x12, }, 6, 0, "", "",
    426. 

  426. "0f 38 c8 44 05 12    \tsha1nexte 0x12(%rbp,%rax,1),%xmm0",},
    427. 

  427. {{0x0f, 0x38, 0xc8, 0x44, 0x08, 0x12, }, 6, 0, "", "",
    428. 

  428. "0f 38 c8 44 08 12    \tsha1nexte 0x12(%rax,%rcx,1),%xmm0",},
    429. 

  429. {{0x0f, 0x38, 0xc8, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
    430. 

  430. "0f 38 c8 44 c8 12    \tsha1nexte 0x12(%rax,%rcx,8),%xmm0",},
    431. 

  431. {{0x0f, 0x38, 0xc8, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    432. 

  432. "0f 38 c8 80 78 56 34 12 \tsha1nexte 0x12345678(%rax),%xmm0",},
    433. 

  433. {{0x0f, 0x38, 0xc8, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    434. 

  434. "0f 38 c8 85 78 56 34 12 \tsha1nexte 0x12345678(%rbp),%xmm0",},
    435. 

  435. {{0x0f, 0x38, 0xc8, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    436. 

  436. "0f 38 c8 84 01 78 56 34 12 \tsha1nexte 0x12345678(%rcx,%rax,1),%xmm0",},
    437. 

  437. {{0x0f, 0x38, 0xc8, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    438. 

  438. "0f 38 c8 84 05 78 56 34 12 \tsha1nexte 0x12345678(%rbp,%rax,1),%xmm0",},
    439. 

  439. {{0x0f, 0x38, 0xc8, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    440. 

  440. "0f 38 c8 84 08 78 56 34 12 \tsha1nexte 0x12345678(%rax,%rcx,1),%xmm0",},
    441. 

  441. {{0x0f, 0x38, 0xc8, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    442. 

  442. "0f 38 c8 84 c8 78 56 34 12 \tsha1nexte 0x12345678(%rax,%rcx,8),%xmm0",},
    443. 

  443. {{0x44, 0x0f, 0x38, 0xc8, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
    444. 

  444. "44 0f 38 c8 bc c8 78 56 34 12 \tsha1nexte 0x12345678(%rax,%rcx,8),%xmm15",},
    445. 

  445. {{0x0f, 0x38, 0xc9, 0xc1, }, 4, 0, "", "",
    446. 

  446. "0f 38 c9 c1          \tsha1msg1 %xmm1,%xmm0",},
    447. 

  447. {{0x0f, 0x38, 0xc9, 0xd7, }, 4, 0, "", "",
    448. 

  448. "0f 38 c9 d7          \tsha1msg1 %xmm7,%xmm2",},
    449. 

  449. {{0x41, 0x0f, 0x38, 0xc9, 0xc0, }, 5, 0, "", "",
    450. 

  450. "41 0f 38 c9 c0       \tsha1msg1 %xmm8,%xmm0",},
    451. 

  451. {{0x44, 0x0f, 0x38, 0xc9, 0xc7, }, 5, 0, "", "",
    452. 

  452. "44 0f 38 c9 c7       \tsha1msg1 %xmm7,%xmm8",},
    453. 

  453. {{0x45, 0x0f, 0x38, 0xc9, 0xc7, }, 5, 0, "", "",
    454. 

  454. "45 0f 38 c9 c7       \tsha1msg1 %xmm15,%xmm8",},
    455. 

  455. {{0x0f, 0x38, 0xc9, 0x00, }, 4, 0, "", "",
    456. 

  456. "0f 38 c9 00          \tsha1msg1 (%rax),%xmm0",},
    457. 

  457. {{0x41, 0x0f, 0x38, 0xc9, 0x00, }, 5, 0, "", "",
    458. 

  458. "41 0f 38 c9 00       \tsha1msg1 (%r8),%xmm0",},
    459. 

  459. {{0x0f, 0x38, 0xc9, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    460. 

  460. "0f 38 c9 04 25 78 56 34 12 \tsha1msg1 0x12345678,%xmm0",},
    461. 

  461. {{0x0f, 0x38, 0xc9, 0x18, }, 4, 0, "", "",
    462. 

  462. "0f 38 c9 18          \tsha1msg1 (%rax),%xmm3",},
    463. 

  463. {{0x0f, 0x38, 0xc9, 0x04, 0x01, }, 5, 0, "", "",
    464. 

  464. "0f 38 c9 04 01       \tsha1msg1 (%rcx,%rax,1),%xmm0",},
    465. 

  465. {{0x0f, 0x38, 0xc9, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    466. 

  466. "0f 38 c9 04 05 78 56 34 12 \tsha1msg1 0x12345678(,%rax,1),%xmm0",},
    467. 

  467. {{0x0f, 0x38, 0xc9, 0x04, 0x08, }, 5, 0, "", "",
    468. 

  468. "0f 38 c9 04 08       \tsha1msg1 (%rax,%rcx,1),%xmm0",},
    469. 

  469. {{0x0f, 0x38, 0xc9, 0x04, 0xc8, }, 5, 0, "", "",
    470. 

  470. "0f 38 c9 04 c8       \tsha1msg1 (%rax,%rcx,8),%xmm0",},
    471. 

  471. {{0x0f, 0x38, 0xc9, 0x40, 0x12, }, 5, 0, "", "",
    472. 

  472. "0f 38 c9 40 12       \tsha1msg1 0x12(%rax),%xmm0",},
    473. 

  473. {{0x0f, 0x38, 0xc9, 0x45, 0x12, }, 5, 0, "", "",
    474. 

  474. "0f 38 c9 45 12       \tsha1msg1 0x12(%rbp),%xmm0",},
    475. 

  475. {{0x0f, 0x38, 0xc9, 0x44, 0x01, 0x12, }, 6, 0, "", "",
    476. 

  476. "0f 38 c9 44 01 12    \tsha1msg1 0x12(%rcx,%rax,1),%xmm0",},
    477. 

  477. {{0x0f, 0x38, 0xc9, 0x44, 0x05, 0x12, }, 6, 0, "", "",
    478. 

  478. "0f 38 c9 44 05 12    \tsha1msg1 0x12(%rbp,%rax,1),%xmm0",},
    479. 

  479. {{0x0f, 0x38, 0xc9, 0x44, 0x08, 0x12, }, 6, 0, "", "",
    480. 

  480. "0f 38 c9 44 08 12    \tsha1msg1 0x12(%rax,%rcx,1),%xmm0",},
    481. 

  481. {{0x0f, 0x38, 0xc9, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
    482. 

  482. "0f 38 c9 44 c8 12    \tsha1msg1 0x12(%rax,%rcx,8),%xmm0",},
    483. 

  483. {{0x0f, 0x38, 0xc9, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    484. 

  484. "0f 38 c9 80 78 56 34 12 \tsha1msg1 0x12345678(%rax),%xmm0",},
    485. 

  485. {{0x0f, 0x38, 0xc9, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    486. 

  486. "0f 38 c9 85 78 56 34 12 \tsha1msg1 0x12345678(%rbp),%xmm0",},
    487. 

  487. {{0x0f, 0x38, 0xc9, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    488. 

  488. "0f 38 c9 84 01 78 56 34 12 \tsha1msg1 0x12345678(%rcx,%rax,1),%xmm0",},
    489. 

  489. {{0x0f, 0x38, 0xc9, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    490. 

  490. "0f 38 c9 84 05 78 56 34 12 \tsha1msg1 0x12345678(%rbp,%rax,1),%xmm0",},
    491. 

  491. {{0x0f, 0x38, 0xc9, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    492. 

  492. "0f 38 c9 84 08 78 56 34 12 \tsha1msg1 0x12345678(%rax,%rcx,1),%xmm0",},
    493. 

  493. {{0x0f, 0x38, 0xc9, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    494. 

  494. "0f 38 c9 84 c8 78 56 34 12 \tsha1msg1 0x12345678(%rax,%rcx,8),%xmm0",},
    495. 

  495. {{0x44, 0x0f, 0x38, 0xc9, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
    496. 

  496. "44 0f 38 c9 bc c8 78 56 34 12 \tsha1msg1 0x12345678(%rax,%rcx,8),%xmm15",},
    497. 

  497. {{0x0f, 0x38, 0xca, 0xc1, }, 4, 0, "", "",
    498. 

  498. "0f 38 ca c1          \tsha1msg2 %xmm1,%xmm0",},
    499. 

  499. {{0x0f, 0x38, 0xca, 0xd7, }, 4, 0, "", "",
    500. 

  500. "0f 38 ca d7          \tsha1msg2 %xmm7,%xmm2",},
    501. 

  501. {{0x41, 0x0f, 0x38, 0xca, 0xc0, }, 5, 0, "", "",
    502. 

  502. "41 0f 38 ca c0       \tsha1msg2 %xmm8,%xmm0",},
    503. 

  503. {{0x44, 0x0f, 0x38, 0xca, 0xc7, }, 5, 0, "", "",
    504. 

  504. "44 0f 38 ca c7       \tsha1msg2 %xmm7,%xmm8",},
    505. 

  505. {{0x45, 0x0f, 0x38, 0xca, 0xc7, }, 5, 0, "", "",
    506. 

  506. "45 0f 38 ca c7       \tsha1msg2 %xmm15,%xmm8",},
    507. 

  507. {{0x0f, 0x38, 0xca, 0x00, }, 4, 0, "", "",
    508. 

  508. "0f 38 ca 00          \tsha1msg2 (%rax),%xmm0",},
    509. 

  509. {{0x41, 0x0f, 0x38, 0xca, 0x00, }, 5, 0, "", "",
    510. 

  510. "41 0f 38 ca 00       \tsha1msg2 (%r8),%xmm0",},
    511. 

  511. {{0x0f, 0x38, 0xca, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    512. 

  512. "0f 38 ca 04 25 78 56 34 12 \tsha1msg2 0x12345678,%xmm0",},
    513. 

  513. {{0x0f, 0x38, 0xca, 0x18, }, 4, 0, "", "",
    514. 

  514. "0f 38 ca 18          \tsha1msg2 (%rax),%xmm3",},
    515. 

  515. {{0x0f, 0x38, 0xca, 0x04, 0x01, }, 5, 0, "", "",
    516. 

  516. "0f 38 ca 04 01       \tsha1msg2 (%rcx,%rax,1),%xmm0",},
    517. 

  517. {{0x0f, 0x38, 0xca, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    518. 

  518. "0f 38 ca 04 05 78 56 34 12 \tsha1msg2 0x12345678(,%rax,1),%xmm0",},
    519. 

  519. {{0x0f, 0x38, 0xca, 0x04, 0x08, }, 5, 0, "", "",
    520. 

  520. "0f 38 ca 04 08       \tsha1msg2 (%rax,%rcx,1),%xmm0",},
    521. 

  521. {{0x0f, 0x38, 0xca, 0x04, 0xc8, }, 5, 0, "", "",
    522. 

  522. "0f 38 ca 04 c8       \tsha1msg2 (%rax,%rcx,8),%xmm0",},
    523. 

  523. {{0x0f, 0x38, 0xca, 0x40, 0x12, }, 5, 0, "", "",
    524. 

  524. "0f 38 ca 40 12       \tsha1msg2 0x12(%rax),%xmm0",},
    525. 

  525. {{0x0f, 0x38, 0xca, 0x45, 0x12, }, 5, 0, "", "",
    526. 

  526. "0f 38 ca 45 12       \tsha1msg2 0x12(%rbp),%xmm0",},
    527. 

  527. {{0x0f, 0x38, 0xca, 0x44, 0x01, 0x12, }, 6, 0, "", "",
    528. 

  528. "0f 38 ca 44 01 12    \tsha1msg2 0x12(%rcx,%rax,1),%xmm0",},
    529. 

  529. {{0x0f, 0x38, 0xca, 0x44, 0x05, 0x12, }, 6, 0, "", "",
    530. 

  530. "0f 38 ca 44 05 12    \tsha1msg2 0x12(%rbp,%rax,1),%xmm0",},
    531. 

  531. {{0x0f, 0x38, 0xca, 0x44, 0x08, 0x12, }, 6, 0, "", "",
    532. 

  532. "0f 38 ca 44 08 12    \tsha1msg2 0x12(%rax,%rcx,1),%xmm0",},
    533. 

  533. {{0x0f, 0x38, 0xca, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
    534. 

  534. "0f 38 ca 44 c8 12    \tsha1msg2 0x12(%rax,%rcx,8),%xmm0",},
    535. 

  535. {{0x0f, 0x38, 0xca, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    536. 

  536. "0f 38 ca 80 78 56 34 12 \tsha1msg2 0x12345678(%rax),%xmm0",},
    537. 

  537. {{0x0f, 0x38, 0xca, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    538. 

  538. "0f 38 ca 85 78 56 34 12 \tsha1msg2 0x12345678(%rbp),%xmm0",},
    539. 

  539. {{0x0f, 0x38, 0xca, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    540. 

  540. "0f 38 ca 84 01 78 56 34 12 \tsha1msg2 0x12345678(%rcx,%rax,1),%xmm0",},
    541. 

  541. {{0x0f, 0x38, 0xca, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    542. 

  542. "0f 38 ca 84 05 78 56 34 12 \tsha1msg2 0x12345678(%rbp,%rax,1),%xmm0",},
    543. 

  543. {{0x0f, 0x38, 0xca, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    544. 

  544. "0f 38 ca 84 08 78 56 34 12 \tsha1msg2 0x12345678(%rax,%rcx,1),%xmm0",},
    545. 

  545. {{0x0f, 0x38, 0xca, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    546. 

  546. "0f 38 ca 84 c8 78 56 34 12 \tsha1msg2 0x12345678(%rax,%rcx,8),%xmm0",},
    547. 

  547. {{0x44, 0x0f, 0x38, 0xca, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
    548. 

  548. "44 0f 38 ca bc c8 78 56 34 12 \tsha1msg2 0x12345678(%rax,%rcx,8),%xmm15",},
    549. 

  549. {{0x0f, 0x38, 0xcb, 0xcc, }, 4, 0, "", "",
    550. 

  550. "0f 38 cb cc          \tsha256rnds2 %xmm0,%xmm4,%xmm1",},
    551. 

  551. {{0x0f, 0x38, 0xcb, 0xd7, }, 4, 0, "", "",
    552. 

  552. "0f 38 cb d7          \tsha256rnds2 %xmm0,%xmm7,%xmm2",},
    553. 

  553. {{0x41, 0x0f, 0x38, 0xcb, 0xc8, }, 5, 0, "", "",
    554. 

  554. "41 0f 38 cb c8       \tsha256rnds2 %xmm0,%xmm8,%xmm1",},
    555. 

  555. {{0x44, 0x0f, 0x38, 0xcb, 0xc7, }, 5, 0, "", "",
    556. 

  556. "44 0f 38 cb c7       \tsha256rnds2 %xmm0,%xmm7,%xmm8",},
    557. 

  557. {{0x45, 0x0f, 0x38, 0xcb, 0xc7, }, 5, 0, "", "",
    558. 

  558. "45 0f 38 cb c7       \tsha256rnds2 %xmm0,%xmm15,%xmm8",},
    559. 

  559. {{0x0f, 0x38, 0xcb, 0x08, }, 4, 0, "", "",
    560. 

  560. "0f 38 cb 08          \tsha256rnds2 %xmm0,(%rax),%xmm1",},
    561. 

  561. {{0x41, 0x0f, 0x38, 0xcb, 0x08, }, 5, 0, "", "",
    562. 

  562. "41 0f 38 cb 08       \tsha256rnds2 %xmm0,(%r8),%xmm1",},
    563. 

  563. {{0x0f, 0x38, 0xcb, 0x0c, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    564. 

  564. "0f 38 cb 0c 25 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678,%xmm1",},
    565. 

  565. {{0x0f, 0x38, 0xcb, 0x18, }, 4, 0, "", "",
    566. 

  566. "0f 38 cb 18          \tsha256rnds2 %xmm0,(%rax),%xmm3",},
    567. 

  567. {{0x0f, 0x38, 0xcb, 0x0c, 0x01, }, 5, 0, "", "",
    568. 

  568. "0f 38 cb 0c 01       \tsha256rnds2 %xmm0,(%rcx,%rax,1),%xmm1",},
    569. 

  569. {{0x0f, 0x38, 0xcb, 0x0c, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    570. 

  570. "0f 38 cb 0c 05 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(,%rax,1),%xmm1",},
    571. 

  571. {{0x0f, 0x38, 0xcb, 0x0c, 0x08, }, 5, 0, "", "",
    572. 

  572. "0f 38 cb 0c 08       \tsha256rnds2 %xmm0,(%rax,%rcx,1),%xmm1",},
    573. 

  573. {{0x0f, 0x38, 0xcb, 0x0c, 0xc8, }, 5, 0, "", "",
    574. 

  574. "0f 38 cb 0c c8       \tsha256rnds2 %xmm0,(%rax,%rcx,8),%xmm1",},
    575. 

  575. {{0x0f, 0x38, 0xcb, 0x48, 0x12, }, 5, 0, "", "",
    576. 

  576. "0f 38 cb 48 12       \tsha256rnds2 %xmm0,0x12(%rax),%xmm1",},
    577. 

  577. {{0x0f, 0x38, 0xcb, 0x4d, 0x12, }, 5, 0, "", "",
    578. 

  578. "0f 38 cb 4d 12       \tsha256rnds2 %xmm0,0x12(%rbp),%xmm1",},
    579. 

  579. {{0x0f, 0x38, 0xcb, 0x4c, 0x01, 0x12, }, 6, 0, "", "",
    580. 

  580. "0f 38 cb 4c 01 12    \tsha256rnds2 %xmm0,0x12(%rcx,%rax,1),%xmm1",},
    581. 

  581. {{0x0f, 0x38, 0xcb, 0x4c, 0x05, 0x12, }, 6, 0, "", "",
    582. 

  582. "0f 38 cb 4c 05 12    \tsha256rnds2 %xmm0,0x12(%rbp,%rax,1),%xmm1",},
    583. 

  583. {{0x0f, 0x38, 0xcb, 0x4c, 0x08, 0x12, }, 6, 0, "", "",
    584. 

  584. "0f 38 cb 4c 08 12    \tsha256rnds2 %xmm0,0x12(%rax,%rcx,1),%xmm1",},
    585. 

  585. {{0x0f, 0x38, 0xcb, 0x4c, 0xc8, 0x12, }, 6, 0, "", "",
    586. 

  586. "0f 38 cb 4c c8 12    \tsha256rnds2 %xmm0,0x12(%rax,%rcx,8),%xmm1",},
    587. 

  587. {{0x0f, 0x38, 0xcb, 0x88, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    588. 

  588. "0f 38 cb 88 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rax),%xmm1",},
    589. 

  589. {{0x0f, 0x38, 0xcb, 0x8d, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    590. 

  590. "0f 38 cb 8d 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rbp),%xmm1",},
    591. 

  591. {{0x0f, 0x38, 0xcb, 0x8c, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    592. 

  592. "0f 38 cb 8c 01 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rcx,%rax,1),%xmm1",},
    593. 

  593. {{0x0f, 0x38, 0xcb, 0x8c, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    594. 

  594. "0f 38 cb 8c 05 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rbp,%rax,1),%xmm1",},
    595. 

  595. {{0x0f, 0x38, 0xcb, 0x8c, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    596. 

  596. "0f 38 cb 8c 08 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rax,%rcx,1),%xmm1",},
    597. 

  597. {{0x0f, 0x38, 0xcb, 0x8c, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    598. 

  598. "0f 38 cb 8c c8 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rax,%rcx,8),%xmm1",},
    599. 

  599. {{0x44, 0x0f, 0x38, 0xcb, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
    600. 

  600. "44 0f 38 cb bc c8 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rax,%rcx,8),%xmm15",},
    601. 

  601. {{0x0f, 0x38, 0xcc, 0xc1, }, 4, 0, "", "",
    602. 

  602. "0f 38 cc c1          \tsha256msg1 %xmm1,%xmm0",},
    603. 

  603. {{0x0f, 0x38, 0xcc, 0xd7, }, 4, 0, "", "",
    604. 

  604. "0f 38 cc d7          \tsha256msg1 %xmm7,%xmm2",},
    605. 

  605. {{0x41, 0x0f, 0x38, 0xcc, 0xc0, }, 5, 0, "", "",
    606. 

  606. "41 0f 38 cc c0       \tsha256msg1 %xmm8,%xmm0",},
    607. 

  607. {{0x44, 0x0f, 0x38, 0xcc, 0xc7, }, 5, 0, "", "",
    608. 

  608. "44 0f 38 cc c7       \tsha256msg1 %xmm7,%xmm8",},
    609. 

  609. {{0x45, 0x0f, 0x38, 0xcc, 0xc7, }, 5, 0, "", "",
    610. 

  610. "45 0f 38 cc c7       \tsha256msg1 %xmm15,%xmm8",},
    611. 

  611. {{0x0f, 0x38, 0xcc, 0x00, }, 4, 0, "", "",
    612. 

  612. "0f 38 cc 00          \tsha256msg1 (%rax),%xmm0",},
    613. 

  613. {{0x41, 0x0f, 0x38, 0xcc, 0x00, }, 5, 0, "", "",
    614. 

  614. "41 0f 38 cc 00       \tsha256msg1 (%r8),%xmm0",},
    615. 

  615. {{0x0f, 0x38, 0xcc, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    616. 

  616. "0f 38 cc 04 25 78 56 34 12 \tsha256msg1 0x12345678,%xmm0",},
    617. 

  617. {{0x0f, 0x38, 0xcc, 0x18, }, 4, 0, "", "",
    618. 

  618. "0f 38 cc 18          \tsha256msg1 (%rax),%xmm3",},
    619. 

  619. {{0x0f, 0x38, 0xcc, 0x04, 0x01, }, 5, 0, "", "",
    620. 

  620. "0f 38 cc 04 01       \tsha256msg1 (%rcx,%rax,1),%xmm0",},
    621. 

  621. {{0x0f, 0x38, 0xcc, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    622. 

  622. "0f 38 cc 04 05 78 56 34 12 \tsha256msg1 0x12345678(,%rax,1),%xmm0",},
    623. 

  623. {{0x0f, 0x38, 0xcc, 0x04, 0x08, }, 5, 0, "", "",
    624. 

  624. "0f 38 cc 04 08       \tsha256msg1 (%rax,%rcx,1),%xmm0",},
    625. 

  625. {{0x0f, 0x38, 0xcc, 0x04, 0xc8, }, 5, 0, "", "",
    626. 

  626. "0f 38 cc 04 c8       \tsha256msg1 (%rax,%rcx,8),%xmm0",},
    627. 

  627. {{0x0f, 0x38, 0xcc, 0x40, 0x12, }, 5, 0, "", "",
    628. 

  628. "0f 38 cc 40 12       \tsha256msg1 0x12(%rax),%xmm0",},
    629. 

  629. {{0x0f, 0x38, 0xcc, 0x45, 0x12, }, 5, 0, "", "",
    630. 

  630. "0f 38 cc 45 12       \tsha256msg1 0x12(%rbp),%xmm0",},
    631. 

  631. {{0x0f, 0x38, 0xcc, 0x44, 0x01, 0x12, }, 6, 0, "", "",
    632. 

  632. "0f 38 cc 44 01 12    \tsha256msg1 0x12(%rcx,%rax,1),%xmm0",},
    633. 

  633. {{0x0f, 0x38, 0xcc, 0x44, 0x05, 0x12, }, 6, 0, "", "",
    634. 

  634. "0f 38 cc 44 05 12    \tsha256msg1 0x12(%rbp,%rax,1),%xmm0",},
    635. 

  635. {{0x0f, 0x38, 0xcc, 0x44, 0x08, 0x12, }, 6, 0, "", "",
    636. 

  636. "0f 38 cc 44 08 12    \tsha256msg1 0x12(%rax,%rcx,1),%xmm0",},
    637. 

  637. {{0x0f, 0x38, 0xcc, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
    638. 

  638. "0f 38 cc 44 c8 12    \tsha256msg1 0x12(%rax,%rcx,8),%xmm0",},
    639. 

  639. {{0x0f, 0x38, 0xcc, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    640. 

  640. "0f 38 cc 80 78 56 34 12 \tsha256msg1 0x12345678(%rax),%xmm0",},
    641. 

  641. {{0x0f, 0x38, 0xcc, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    642. 

  642. "0f 38 cc 85 78 56 34 12 \tsha256msg1 0x12345678(%rbp),%xmm0",},
    643. 

  643. {{0x0f, 0x38, 0xcc, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    644. 

  644. "0f 38 cc 84 01 78 56 34 12 \tsha256msg1 0x12345678(%rcx,%rax,1),%xmm0",},
    645. 

  645. {{0x0f, 0x38, 0xcc, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    646. 

  646. "0f 38 cc 84 05 78 56 34 12 \tsha256msg1 0x12345678(%rbp,%rax,1),%xmm0",},
    647. 

  647. {{0x0f, 0x38, 0xcc, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    648. 

  648. "0f 38 cc 84 08 78 56 34 12 \tsha256msg1 0x12345678(%rax,%rcx,1),%xmm0",},
    649. 

  649. {{0x0f, 0x38, 0xcc, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    650. 

  650. "0f 38 cc 84 c8 78 56 34 12 \tsha256msg1 0x12345678(%rax,%rcx,8),%xmm0",},
    651. 

  651. {{0x44, 0x0f, 0x38, 0xcc, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
    652. 

  652. "44 0f 38 cc bc c8 78 56 34 12 \tsha256msg1 0x12345678(%rax,%rcx,8),%xmm15",},
    653. 

  653. {{0x0f, 0x38, 0xcd, 0xc1, }, 4, 0, "", "",
    654. 

  654. "0f 38 cd c1          \tsha256msg2 %xmm1,%xmm0",},
    655. 

  655. {{0x0f, 0x38, 0xcd, 0xd7, }, 4, 0, "", "",
    656. 

  656. "0f 38 cd d7          \tsha256msg2 %xmm7,%xmm2",},
    657. 

  657. {{0x41, 0x0f, 0x38, 0xcd, 0xc0, }, 5, 0, "", "",
    658. 

  658. "41 0f 38 cd c0       \tsha256msg2 %xmm8,%xmm0",},
    659. 

  659. {{0x44, 0x0f, 0x38, 0xcd, 0xc7, }, 5, 0, "", "",
    660. 

  660. "44 0f 38 cd c7       \tsha256msg2 %xmm7,%xmm8",},
    661. 

  661. {{0x45, 0x0f, 0x38, 0xcd, 0xc7, }, 5, 0, "", "",
    662. 

  662. "45 0f 38 cd c7       \tsha256msg2 %xmm15,%xmm8",},
    663. 

  663. {{0x0f, 0x38, 0xcd, 0x00, }, 4, 0, "", "",
    664. 

  664. "0f 38 cd 00          \tsha256msg2 (%rax),%xmm0",},
    665. 

  665. {{0x41, 0x0f, 0x38, 0xcd, 0x00, }, 5, 0, "", "",
    666. 

  666. "41 0f 38 cd 00       \tsha256msg2 (%r8),%xmm0",},
    667. 

  667. {{0x0f, 0x38, 0xcd, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    668. 

  668. "0f 38 cd 04 25 78 56 34 12 \tsha256msg2 0x12345678,%xmm0",},
    669. 

  669. {{0x0f, 0x38, 0xcd, 0x18, }, 4, 0, "", "",
    670. 

  670. "0f 38 cd 18          \tsha256msg2 (%rax),%xmm3",},
    671. 

  671. {{0x0f, 0x38, 0xcd, 0x04, 0x01, }, 5, 0, "", "",
    672. 

  672. "0f 38 cd 04 01       \tsha256msg2 (%rcx,%rax,1),%xmm0",},
    673. 

  673. {{0x0f, 0x38, 0xcd, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    674. 

  674. "0f 38 cd 04 05 78 56 34 12 \tsha256msg2 0x12345678(,%rax,1),%xmm0",},
    675. 

  675. {{0x0f, 0x38, 0xcd, 0x04, 0x08, }, 5, 0, "", "",
    676. 

  676. "0f 38 cd 04 08       \tsha256msg2 (%rax,%rcx,1),%xmm0",},
    677. 

  677. {{0x0f, 0x38, 0xcd, 0x04, 0xc8, }, 5, 0, "", "",
    678. 

  678. "0f 38 cd 04 c8       \tsha256msg2 (%rax,%rcx,8),%xmm0",},
    679. 

  679. {{0x0f, 0x38, 0xcd, 0x40, 0x12, }, 5, 0, "", "",
    680. 

  680. "0f 38 cd 40 12       \tsha256msg2 0x12(%rax),%xmm0",},
    681. 

  681. {{0x0f, 0x38, 0xcd, 0x45, 0x12, }, 5, 0, "", "",
    682. 

  682. "0f 38 cd 45 12       \tsha256msg2 0x12(%rbp),%xmm0",},
    683. 

  683. {{0x0f, 0x38, 0xcd, 0x44, 0x01, 0x12, }, 6, 0, "", "",
    684. 

  684. "0f 38 cd 44 01 12    \tsha256msg2 0x12(%rcx,%rax,1),%xmm0",},
    685. 

  685. {{0x0f, 0x38, 0xcd, 0x44, 0x05, 0x12, }, 6, 0, "", "",
    686. 

  686. "0f 38 cd 44 05 12    \tsha256msg2 0x12(%rbp,%rax,1),%xmm0",},
    687. 

  687. {{0x0f, 0x38, 0xcd, 0x44, 0x08, 0x12, }, 6, 0, "", "",
    688. 

  688. "0f 38 cd 44 08 12    \tsha256msg2 0x12(%rax,%rcx,1),%xmm0",},
    689. 

  689. {{0x0f, 0x38, 0xcd, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
    690. 

  690. "0f 38 cd 44 c8 12    \tsha256msg2 0x12(%rax,%rcx,8),%xmm0",},
    691. 

  691. {{0x0f, 0x38, 0xcd, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    692. 

  692. "0f 38 cd 80 78 56 34 12 \tsha256msg2 0x12345678(%rax),%xmm0",},
    693. 

  693. {{0x0f, 0x38, 0xcd, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    694. 

  694. "0f 38 cd 85 78 56 34 12 \tsha256msg2 0x12345678(%rbp),%xmm0",},
    695. 

  695. {{0x0f, 0x38, 0xcd, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    696. 

  696. "0f 38 cd 84 01 78 56 34 12 \tsha256msg2 0x12345678(%rcx,%rax,1),%xmm0",},
    697. 

  697. {{0x0f, 0x38, 0xcd, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    698. 

  698. "0f 38 cd 84 05 78 56 34 12 \tsha256msg2 0x12345678(%rbp,%rax,1),%xmm0",},
    699. 

  699. {{0x0f, 0x38, 0xcd, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    700. 

  700. "0f 38 cd 84 08 78 56 34 12 \tsha256msg2 0x12345678(%rax,%rcx,1),%xmm0",},
    701. 

  701. {{0x0f, 0x38, 0xcd, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    702. 

  702. "0f 38 cd 84 c8 78 56 34 12 \tsha256msg2 0x12345678(%rax,%rcx,8),%xmm0",},
    703. 

  703. {{0x44, 0x0f, 0x38, 0xcd, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
    704. 

  704. "44 0f 38 cd bc c8 78 56 34 12 \tsha256msg2 0x12345678(%rax,%rcx,8),%xmm15",},
    705. 

  705. {{0x66, 0x0f, 0xae, 0x38, }, 4, 0, "", "",
    706. 

  706. "66 0f ae 38          \tclflushopt (%rax)",},
    707. 

  707. {{0x66, 0x41, 0x0f, 0xae, 0x38, }, 5, 0, "", "",
    708. 

  708. "66 41 0f ae 38       \tclflushopt (%r8)",},
    709. 

  709. {{0x66, 0x0f, 0xae, 0x3c, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    710. 

  710. "66 0f ae 3c 25 78 56 34 12 \tclflushopt 0x12345678",},
    711. 

  711. {{0x66, 0x0f, 0xae, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    712. 

  712. "66 0f ae bc c8 78 56 34 12 \tclflushopt 0x12345678(%rax,%rcx,8)",},
    713. 

  713. {{0x66, 0x41, 0x0f, 0xae, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
    714. 

  714. "66 41 0f ae bc c8 78 56 34 12 \tclflushopt 0x12345678(%r8,%rcx,8)",},
    715. 

  715. {{0x0f, 0xae, 0x38, }, 3, 0, "", "",
    716. 

  716. "0f ae 38             \tclflush (%rax)",},
    717. 

  717. {{0x41, 0x0f, 0xae, 0x38, }, 4, 0, "", "",
    718. 

  718. "41 0f ae 38          \tclflush (%r8)",},
    719. 

  719. {{0x0f, 0xae, 0xf8, }, 3, 0, "", "",
    720. 

  720. "0f ae f8             \tsfence ",},
    721. 

  721. {{0x66, 0x0f, 0xae, 0x30, }, 4, 0, "", "",
    722. 

  722. "66 0f ae 30          \tclwb   (%rax)",},
    723. 

  723. {{0x66, 0x41, 0x0f, 0xae, 0x30, }, 5, 0, "", "",
    724. 

  724. "66 41 0f ae 30       \tclwb   (%r8)",},
    725. 

  725. {{0x66, 0x0f, 0xae, 0x34, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    726. 

  726. "66 0f ae 34 25 78 56 34 12 \tclwb   0x12345678",},
    727. 

  727. {{0x66, 0x0f, 0xae, 0xb4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    728. 

  728. "66 0f ae b4 c8 78 56 34 12 \tclwb   0x12345678(%rax,%rcx,8)",},
    729. 

  729. {{0x66, 0x41, 0x0f, 0xae, 0xb4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
    730. 

  730. "66 41 0f ae b4 c8 78 56 34 12 \tclwb   0x12345678(%r8,%rcx,8)",},
    731. 

  731. {{0x0f, 0xae, 0x30, }, 3, 0, "", "",
    732. 

  732. "0f ae 30             \txsaveopt (%rax)",},
    733. 

  733. {{0x41, 0x0f, 0xae, 0x30, }, 4, 0, "", "",
    734. 

  734. "41 0f ae 30          \txsaveopt (%r8)",},
    735. 

  735. {{0x0f, 0xae, 0xf0, }, 3, 0, "", "",
    736. 

  736. "0f ae f0             \tmfence ",},
    737. 

  737. {{0x0f, 0xc7, 0x20, }, 3, 0, "", "",
    738. 

  738. "0f c7 20             \txsavec (%rax)",},
    739. 

  739. {{0x41, 0x0f, 0xc7, 0x20, }, 4, 0, "", "",
    740. 

  740. "41 0f c7 20          \txsavec (%r8)",},
    741. 

  741. {{0x0f, 0xc7, 0x24, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    742. 

  742. "0f c7 24 25 78 56 34 12 \txsavec 0x12345678",},
    743. 

  743. {{0x0f, 0xc7, 0xa4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    744. 

  744. "0f c7 a4 c8 78 56 34 12 \txsavec 0x12345678(%rax,%rcx,8)",},
    745. 

  745. {{0x41, 0x0f, 0xc7, 0xa4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    746. 

  746. "41 0f c7 a4 c8 78 56 34 12 \txsavec 0x12345678(%r8,%rcx,8)",},
    747. 

  747. {{0x0f, 0xc7, 0x28, }, 3, 0, "", "",
    748. 

  748. "0f c7 28             \txsaves (%rax)",},
    749. 

  749. {{0x41, 0x0f, 0xc7, 0x28, }, 4, 0, "", "",
    750. 

  750. "41 0f c7 28          \txsaves (%r8)",},
    751. 

  751. {{0x0f, 0xc7, 0x2c, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    752. 

  752. "0f c7 2c 25 78 56 34 12 \txsaves 0x12345678",},
    753. 

  753. {{0x0f, 0xc7, 0xac, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    754. 

  754. "0f c7 ac c8 78 56 34 12 \txsaves 0x12345678(%rax,%rcx,8)",},
    755. 

  755. {{0x41, 0x0f, 0xc7, 0xac, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    756. 

  756. "41 0f c7 ac c8 78 56 34 12 \txsaves 0x12345678(%r8,%rcx,8)",},
    757. 

  757. {{0x0f, 0xc7, 0x18, }, 3, 0, "", "",
    758. 

  758. "0f c7 18             \txrstors (%rax)",},
    759. 

  759. {{0x41, 0x0f, 0xc7, 0x18, }, 4, 0, "", "",
    760. 

  760. "41 0f c7 18          \txrstors (%r8)",},
    761. 

  761. {{0x0f, 0xc7, 0x1c, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    762. 

  762. "0f c7 1c 25 78 56 34 12 \txrstors 0x12345678",},
    763. 

  763. {{0x0f, 0xc7, 0x9c, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
    764. 

  764. "0f c7 9c c8 78 56 34 12 \txrstors 0x12345678(%rax,%rcx,8)",},
    765. 

  765. {{0x41, 0x0f, 0xc7, 0x9c, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
    766. 

  766. "41 0f c7 9c c8 78 56 34 12 \txrstors 0x12345678(%r8,%rcx,8)",},
    767. 

  767. {{0x66, 0x0f, 0xae, 0xf8, }, 4, 0, "", "",
    768. 

  768. "66 0f ae f8          \tpcommit ",},
    769.