x86_emulate.c 56 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079
  1. /******************************************************************************
  2. * x86_emulate.c
  3. *
  4. * Generic x86 (32-bit and 64-bit) instruction decoder and emulator.
  5. *
  6. * Copyright (c) 2005 Keir Fraser
  7. *
  8. * Linux coding style, mod r/m decoder, segment base fixes, real-mode
  9. * privileged instructions:
  10. *
  11. * Copyright (C) 2006 Qumranet
  12. *
  13. * Avi Kivity <avi@qumranet.com>
  14. * Yaniv Kamay <yaniv@qumranet.com>
  15. *
  16. * This work is licensed under the terms of the GNU GPL, version 2. See
  17. * the COPYING file in the top-level directory.
  18. *
  19. * From: xen-unstable 10676:af9809f51f81a3c43f276f00c81a52ef558afda4
  20. */
  21. #ifndef __KERNEL__
  22. #include <stdio.h>
  23. #include <stdint.h>
  24. #include <public/xen.h>
  25. #define DPRINTF(_f, _a ...) printf(_f , ## _a)
  26. #else
  27. #include <linux/kvm_host.h>
  28. #include "kvm_cache_regs.h"
  29. #define DPRINTF(x...) do {} while (0)
  30. #endif
  31. #include <linux/module.h>
  32. #include <asm/kvm_x86_emulate.h>
  33. /*
  34. * Opcode effective-address decode tables.
  35. * Note that we only emulate instructions that have at least one memory
  36. * operand (excluding implicit stack references). We assume that stack
  37. * references and instruction fetches will never occur in special memory
  38. * areas that require emulation. So, for example, 'mov <imm>,<reg>' need
  39. * not be handled.
  40. */
  41. /* Operand sizes: 8-bit operands or specified/overridden size. */
  42. #define ByteOp (1<<0) /* 8-bit operands. */
  43. /* Destination operand type. */
  44. #define ImplicitOps (1<<1) /* Implicit in opcode. No generic decode. */
  45. #define DstReg (2<<1) /* Register operand. */
  46. #define DstMem (3<<1) /* Memory operand. */
  47. #define DstAcc (4<<1) /* Destination Accumulator */
  48. #define DstMask (7<<1)
  49. /* Source operand type. */
  50. #define SrcNone (0<<4) /* No source operand. */
  51. #define SrcImplicit (0<<4) /* Source operand is implicit in the opcode. */
  52. #define SrcReg (1<<4) /* Register operand. */
  53. #define SrcMem (2<<4) /* Memory operand. */
  54. #define SrcMem16 (3<<4) /* Memory operand (16-bit). */
  55. #define SrcMem32 (4<<4) /* Memory operand (32-bit). */
  56. #define SrcImm (5<<4) /* Immediate operand. */
  57. #define SrcImmByte (6<<4) /* 8-bit sign-extended immediate operand. */
  58. #define SrcMask (7<<4)
  59. /* Generic ModRM decode. */
  60. #define ModRM (1<<7)
  61. /* Destination is only written; never read. */
  62. #define Mov (1<<8)
  63. #define BitOp (1<<9)
  64. #define MemAbs (1<<10) /* Memory operand is absolute displacement */
  65. #define String (1<<12) /* String instruction (rep capable) */
  66. #define Stack (1<<13) /* Stack instruction (push/pop) */
  67. #define Group (1<<14) /* Bits 3:5 of modrm byte extend opcode */
  68. #define GroupDual (1<<15) /* Alternate decoding of mod == 3 */
  69. #define GroupMask 0xff /* Group number stored in bits 0:7 */
  70. enum {
  71. Group1_80, Group1_81, Group1_82, Group1_83,
  72. Group1A, Group3_Byte, Group3, Group4, Group5, Group7,
  73. };
  74. static u16 opcode_table[256] = {
  75. /* 0x00 - 0x07 */
  76. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  77. ByteOp | DstReg | SrcMem | ModRM, DstReg | SrcMem | ModRM,
  78. 0, 0, 0, 0,
  79. /* 0x08 - 0x0F */
  80. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  81. ByteOp | DstReg | SrcMem | ModRM, DstReg | SrcMem | ModRM,
  82. 0, 0, 0, 0,
  83. /* 0x10 - 0x17 */
  84. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  85. ByteOp | DstReg | SrcMem | ModRM, DstReg | SrcMem | ModRM,
  86. 0, 0, 0, 0,
  87. /* 0x18 - 0x1F */
  88. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  89. ByteOp | DstReg | SrcMem | ModRM, DstReg | SrcMem | ModRM,
  90. 0, 0, 0, 0,
  91. /* 0x20 - 0x27 */
  92. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  93. ByteOp | DstReg | SrcMem | ModRM, DstReg | SrcMem | ModRM,
  94. DstAcc | SrcImmByte, DstAcc | SrcImm, 0, 0,
  95. /* 0x28 - 0x2F */
  96. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  97. ByteOp | DstReg | SrcMem | ModRM, DstReg | SrcMem | ModRM,
  98. 0, 0, 0, 0,
  99. /* 0x30 - 0x37 */
  100. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  101. ByteOp | DstReg | SrcMem | ModRM, DstReg | SrcMem | ModRM,
  102. 0, 0, 0, 0,
  103. /* 0x38 - 0x3F */
  104. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  105. ByteOp | DstReg | SrcMem | ModRM, DstReg | SrcMem | ModRM,
  106. ByteOp | DstAcc | SrcImm, DstAcc | SrcImm,
  107. 0, 0,
  108. /* 0x40 - 0x47 */
  109. DstReg, DstReg, DstReg, DstReg, DstReg, DstReg, DstReg, DstReg,
  110. /* 0x48 - 0x4F */
  111. DstReg, DstReg, DstReg, DstReg, DstReg, DstReg, DstReg, DstReg,
  112. /* 0x50 - 0x57 */
  113. SrcReg | Stack, SrcReg | Stack, SrcReg | Stack, SrcReg | Stack,
  114. SrcReg | Stack, SrcReg | Stack, SrcReg | Stack, SrcReg | Stack,
  115. /* 0x58 - 0x5F */
  116. DstReg | Stack, DstReg | Stack, DstReg | Stack, DstReg | Stack,
  117. DstReg | Stack, DstReg | Stack, DstReg | Stack, DstReg | Stack,
  118. /* 0x60 - 0x67 */
  119. 0, 0, 0, DstReg | SrcMem32 | ModRM | Mov /* movsxd (x86/64) */ ,
  120. 0, 0, 0, 0,
  121. /* 0x68 - 0x6F */
  122. SrcImm | Mov | Stack, 0, SrcImmByte | Mov | Stack, 0,
  123. SrcNone | ByteOp | ImplicitOps, SrcNone | ImplicitOps, /* insb, insw/insd */
  124. SrcNone | ByteOp | ImplicitOps, SrcNone | ImplicitOps, /* outsb, outsw/outsd */
  125. /* 0x70 - 0x77 */
  126. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  127. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  128. /* 0x78 - 0x7F */
  129. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  130. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  131. /* 0x80 - 0x87 */
  132. Group | Group1_80, Group | Group1_81,
  133. Group | Group1_82, Group | Group1_83,
  134. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  135. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  136. /* 0x88 - 0x8F */
  137. ByteOp | DstMem | SrcReg | ModRM | Mov, DstMem | SrcReg | ModRM | Mov,
  138. ByteOp | DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  139. DstMem | SrcReg | ModRM | Mov, ModRM | DstReg,
  140. DstReg | SrcMem | ModRM | Mov, Group | Group1A,
  141. /* 0x90 - 0x97 */
  142. DstReg, DstReg, DstReg, DstReg, DstReg, DstReg, DstReg, DstReg,
  143. /* 0x98 - 0x9F */
  144. 0, 0, 0, 0, ImplicitOps | Stack, ImplicitOps | Stack, 0, 0,
  145. /* 0xA0 - 0xA7 */
  146. ByteOp | DstReg | SrcMem | Mov | MemAbs, DstReg | SrcMem | Mov | MemAbs,
  147. ByteOp | DstMem | SrcReg | Mov | MemAbs, DstMem | SrcReg | Mov | MemAbs,
  148. ByteOp | ImplicitOps | Mov | String, ImplicitOps | Mov | String,
  149. ByteOp | ImplicitOps | String, ImplicitOps | String,
  150. /* 0xA8 - 0xAF */
  151. 0, 0, ByteOp | ImplicitOps | Mov | String, ImplicitOps | Mov | String,
  152. ByteOp | ImplicitOps | Mov | String, ImplicitOps | Mov | String,
  153. ByteOp | ImplicitOps | String, ImplicitOps | String,
  154. /* 0xB0 - 0xB7 */
  155. ByteOp | DstReg | SrcImm | Mov, ByteOp | DstReg | SrcImm | Mov,
  156. ByteOp | DstReg | SrcImm | Mov, ByteOp | DstReg | SrcImm | Mov,
  157. ByteOp | DstReg | SrcImm | Mov, ByteOp | DstReg | SrcImm | Mov,
  158. ByteOp | DstReg | SrcImm | Mov, ByteOp | DstReg | SrcImm | Mov,
  159. /* 0xB8 - 0xBF */
  160. DstReg | SrcImm | Mov, DstReg | SrcImm | Mov,
  161. DstReg | SrcImm | Mov, DstReg | SrcImm | Mov,
  162. DstReg | SrcImm | Mov, DstReg | SrcImm | Mov,
  163. DstReg | SrcImm | Mov, DstReg | SrcImm | Mov,
  164. /* 0xC0 - 0xC7 */
  165. ByteOp | DstMem | SrcImm | ModRM, DstMem | SrcImmByte | ModRM,
  166. 0, ImplicitOps | Stack, 0, 0,
  167. ByteOp | DstMem | SrcImm | ModRM | Mov, DstMem | SrcImm | ModRM | Mov,
  168. /* 0xC8 - 0xCF */
  169. 0, 0, 0, 0, 0, 0, 0, 0,
  170. /* 0xD0 - 0xD7 */
  171. ByteOp | DstMem | SrcImplicit | ModRM, DstMem | SrcImplicit | ModRM,
  172. ByteOp | DstMem | SrcImplicit | ModRM, DstMem | SrcImplicit | ModRM,
  173. 0, 0, 0, 0,
  174. /* 0xD8 - 0xDF */
  175. 0, 0, 0, 0, 0, 0, 0, 0,
  176. /* 0xE0 - 0xE7 */
  177. 0, 0, 0, 0,
  178. SrcNone | ByteOp | ImplicitOps, SrcNone | ImplicitOps,
  179. SrcNone | ByteOp | ImplicitOps, SrcNone | ImplicitOps,
  180. /* 0xE8 - 0xEF */
  181. ImplicitOps | Stack, SrcImm | ImplicitOps,
  182. ImplicitOps, SrcImmByte | ImplicitOps,
  183. SrcNone | ByteOp | ImplicitOps, SrcNone | ImplicitOps,
  184. SrcNone | ByteOp | ImplicitOps, SrcNone | ImplicitOps,
  185. /* 0xF0 - 0xF7 */
  186. 0, 0, 0, 0,
  187. ImplicitOps, ImplicitOps, Group | Group3_Byte, Group | Group3,
  188. /* 0xF8 - 0xFF */
  189. ImplicitOps, 0, ImplicitOps, ImplicitOps,
  190. ImplicitOps, ImplicitOps, Group | Group4, Group | Group5,
  191. };
  192. static u16 twobyte_table[256] = {
  193. /* 0x00 - 0x0F */
  194. 0, Group | GroupDual | Group7, 0, 0, 0, 0, ImplicitOps, 0,
  195. ImplicitOps, ImplicitOps, 0, 0, 0, ImplicitOps | ModRM, 0, 0,
  196. /* 0x10 - 0x1F */
  197. 0, 0, 0, 0, 0, 0, 0, 0, ImplicitOps | ModRM, 0, 0, 0, 0, 0, 0, 0,
  198. /* 0x20 - 0x2F */
  199. ModRM | ImplicitOps, ModRM, ModRM | ImplicitOps, ModRM, 0, 0, 0, 0,
  200. 0, 0, 0, 0, 0, 0, 0, 0,
  201. /* 0x30 - 0x3F */
  202. ImplicitOps, 0, ImplicitOps, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  203. /* 0x40 - 0x47 */
  204. DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  205. DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  206. DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  207. DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  208. /* 0x48 - 0x4F */
  209. DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  210. DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  211. DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  212. DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  213. /* 0x50 - 0x5F */
  214. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  215. /* 0x60 - 0x6F */
  216. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  217. /* 0x70 - 0x7F */
  218. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  219. /* 0x80 - 0x8F */
  220. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  221. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  222. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  223. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  224. /* 0x90 - 0x9F */
  225. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  226. /* 0xA0 - 0xA7 */
  227. 0, 0, 0, DstMem | SrcReg | ModRM | BitOp, 0, 0, 0, 0,
  228. /* 0xA8 - 0xAF */
  229. 0, 0, 0, DstMem | SrcReg | ModRM | BitOp, 0, 0, ModRM, 0,
  230. /* 0xB0 - 0xB7 */
  231. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM, 0,
  232. DstMem | SrcReg | ModRM | BitOp,
  233. 0, 0, ByteOp | DstReg | SrcMem | ModRM | Mov,
  234. DstReg | SrcMem16 | ModRM | Mov,
  235. /* 0xB8 - 0xBF */
  236. 0, 0, DstMem | SrcImmByte | ModRM, DstMem | SrcReg | ModRM | BitOp,
  237. 0, 0, ByteOp | DstReg | SrcMem | ModRM | Mov,
  238. DstReg | SrcMem16 | ModRM | Mov,
  239. /* 0xC0 - 0xCF */
  240. 0, 0, 0, DstMem | SrcReg | ModRM | Mov, 0, 0, 0, ImplicitOps | ModRM,
  241. 0, 0, 0, 0, 0, 0, 0, 0,
  242. /* 0xD0 - 0xDF */
  243. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  244. /* 0xE0 - 0xEF */
  245. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  246. /* 0xF0 - 0xFF */
  247. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
  248. };
  249. static u16 group_table[] = {
  250. [Group1_80*8] =
  251. ByteOp | DstMem | SrcImm | ModRM, ByteOp | DstMem | SrcImm | ModRM,
  252. ByteOp | DstMem | SrcImm | ModRM, ByteOp | DstMem | SrcImm | ModRM,
  253. ByteOp | DstMem | SrcImm | ModRM, ByteOp | DstMem | SrcImm | ModRM,
  254. ByteOp | DstMem | SrcImm | ModRM, ByteOp | DstMem | SrcImm | ModRM,
  255. [Group1_81*8] =
  256. DstMem | SrcImm | ModRM, DstMem | SrcImm | ModRM,
  257. DstMem | SrcImm | ModRM, DstMem | SrcImm | ModRM,
  258. DstMem | SrcImm | ModRM, DstMem | SrcImm | ModRM,
  259. DstMem | SrcImm | ModRM, DstMem | SrcImm | ModRM,
  260. [Group1_82*8] =
  261. ByteOp | DstMem | SrcImm | ModRM, ByteOp | DstMem | SrcImm | ModRM,
  262. ByteOp | DstMem | SrcImm | ModRM, ByteOp | DstMem | SrcImm | ModRM,
  263. ByteOp | DstMem | SrcImm | ModRM, ByteOp | DstMem | SrcImm | ModRM,
  264. ByteOp | DstMem | SrcImm | ModRM, ByteOp | DstMem | SrcImm | ModRM,
  265. [Group1_83*8] =
  266. DstMem | SrcImmByte | ModRM, DstMem | SrcImmByte | ModRM,
  267. DstMem | SrcImmByte | ModRM, DstMem | SrcImmByte | ModRM,
  268. DstMem | SrcImmByte | ModRM, DstMem | SrcImmByte | ModRM,
  269. DstMem | SrcImmByte | ModRM, DstMem | SrcImmByte | ModRM,
  270. [Group1A*8] =
  271. DstMem | SrcNone | ModRM | Mov | Stack, 0, 0, 0, 0, 0, 0, 0,
  272. [Group3_Byte*8] =
  273. ByteOp | SrcImm | DstMem | ModRM, 0,
  274. ByteOp | DstMem | SrcNone | ModRM, ByteOp | DstMem | SrcNone | ModRM,
  275. 0, 0, 0, 0,
  276. [Group3*8] =
  277. DstMem | SrcImm | ModRM, 0,
  278. DstMem | SrcNone | ModRM, DstMem | SrcNone | ModRM,
  279. 0, 0, 0, 0,
  280. [Group4*8] =
  281. ByteOp | DstMem | SrcNone | ModRM, ByteOp | DstMem | SrcNone | ModRM,
  282. 0, 0, 0, 0, 0, 0,
  283. [Group5*8] =
  284. DstMem | SrcNone | ModRM, DstMem | SrcNone | ModRM,
  285. SrcMem | ModRM | Stack, 0,
  286. SrcMem | ModRM | Stack, 0, SrcMem | ModRM | Stack, 0,
  287. [Group7*8] =
  288. 0, 0, ModRM | SrcMem, ModRM | SrcMem,
  289. SrcNone | ModRM | DstMem | Mov, 0,
  290. SrcMem16 | ModRM | Mov, SrcMem | ModRM | ByteOp,
  291. };
  292. static u16 group2_table[] = {
  293. [Group7*8] =
  294. SrcNone | ModRM, 0, 0, 0,
  295. SrcNone | ModRM | DstMem | Mov, 0,
  296. SrcMem16 | ModRM | Mov, 0,
  297. };
  298. /* EFLAGS bit definitions. */
  299. #define EFLG_OF (1<<11)
  300. #define EFLG_DF (1<<10)
  301. #define EFLG_SF (1<<7)
  302. #define EFLG_ZF (1<<6)
  303. #define EFLG_AF (1<<4)
  304. #define EFLG_PF (1<<2)
  305. #define EFLG_CF (1<<0)
  306. /*
  307. * Instruction emulation:
  308. * Most instructions are emulated directly via a fragment of inline assembly
  309. * code. This allows us to save/restore EFLAGS and thus very easily pick up
  310. * any modified flags.
  311. */
  312. #if defined(CONFIG_X86_64)
  313. #define _LO32 "k" /* force 32-bit operand */
  314. #define _STK "%%rsp" /* stack pointer */
  315. #elif defined(__i386__)
  316. #define _LO32 "" /* force 32-bit operand */
  317. #define _STK "%%esp" /* stack pointer */
  318. #endif
  319. /*
  320. * These EFLAGS bits are restored from saved value during emulation, and
  321. * any changes are written back to the saved value after emulation.
  322. */
  323. #define EFLAGS_MASK (EFLG_OF|EFLG_SF|EFLG_ZF|EFLG_AF|EFLG_PF|EFLG_CF)
  324. /* Before executing instruction: restore necessary bits in EFLAGS. */
  325. #define _PRE_EFLAGS(_sav, _msk, _tmp) \
  326. /* EFLAGS = (_sav & _msk) | (EFLAGS & ~_msk); _sav &= ~_msk; */ \
  327. "movl %"_sav",%"_LO32 _tmp"; " \
  328. "push %"_tmp"; " \
  329. "push %"_tmp"; " \
  330. "movl %"_msk",%"_LO32 _tmp"; " \
  331. "andl %"_LO32 _tmp",("_STK"); " \
  332. "pushf; " \
  333. "notl %"_LO32 _tmp"; " \
  334. "andl %"_LO32 _tmp",("_STK"); " \
  335. "andl %"_LO32 _tmp","__stringify(BITS_PER_LONG/4)"("_STK"); " \
  336. "pop %"_tmp"; " \
  337. "orl %"_LO32 _tmp",("_STK"); " \
  338. "popf; " \
  339. "pop %"_sav"; "
  340. /* After executing instruction: write-back necessary bits in EFLAGS. */
  341. #define _POST_EFLAGS(_sav, _msk, _tmp) \
  342. /* _sav |= EFLAGS & _msk; */ \
  343. "pushf; " \
  344. "pop %"_tmp"; " \
  345. "andl %"_msk",%"_LO32 _tmp"; " \
  346. "orl %"_LO32 _tmp",%"_sav"; "
  347. /* Raw emulation: instruction has two explicit operands. */
  348. #define __emulate_2op_nobyte(_op,_src,_dst,_eflags,_wx,_wy,_lx,_ly,_qx,_qy) \
  349. do { \
  350. unsigned long _tmp; \
  351. \
  352. switch ((_dst).bytes) { \
  353. case 2: \
  354. __asm__ __volatile__ ( \
  355. _PRE_EFLAGS("0", "4", "2") \
  356. _op"w %"_wx"3,%1; " \
  357. _POST_EFLAGS("0", "4", "2") \
  358. : "=m" (_eflags), "=m" ((_dst).val), \
  359. "=&r" (_tmp) \
  360. : _wy ((_src).val), "i" (EFLAGS_MASK)); \
  361. break; \
  362. case 4: \
  363. __asm__ __volatile__ ( \
  364. _PRE_EFLAGS("0", "4", "2") \
  365. _op"l %"_lx"3,%1; " \
  366. _POST_EFLAGS("0", "4", "2") \
  367. : "=m" (_eflags), "=m" ((_dst).val), \
  368. "=&r" (_tmp) \
  369. : _ly ((_src).val), "i" (EFLAGS_MASK)); \
  370. break; \
  371. case 8: \
  372. __emulate_2op_8byte(_op, _src, _dst, \
  373. _eflags, _qx, _qy); \
  374. break; \
  375. } \
  376. } while (0)
  377. #define __emulate_2op(_op,_src,_dst,_eflags,_bx,_by,_wx,_wy,_lx,_ly,_qx,_qy) \
  378. do { \
  379. unsigned long __tmp; \
  380. switch ((_dst).bytes) { \
  381. case 1: \
  382. __asm__ __volatile__ ( \
  383. _PRE_EFLAGS("0", "4", "2") \
  384. _op"b %"_bx"3,%1; " \
  385. _POST_EFLAGS("0", "4", "2") \
  386. : "=m" (_eflags), "=m" ((_dst).val), \
  387. "=&r" (__tmp) \
  388. : _by ((_src).val), "i" (EFLAGS_MASK)); \
  389. break; \
  390. default: \
  391. __emulate_2op_nobyte(_op, _src, _dst, _eflags, \
  392. _wx, _wy, _lx, _ly, _qx, _qy); \
  393. break; \
  394. } \
  395. } while (0)
  396. /* Source operand is byte-sized and may be restricted to just %cl. */
  397. #define emulate_2op_SrcB(_op, _src, _dst, _eflags) \
  398. __emulate_2op(_op, _src, _dst, _eflags, \
  399. "b", "c", "b", "c", "b", "c", "b", "c")
  400. /* Source operand is byte, word, long or quad sized. */
  401. #define emulate_2op_SrcV(_op, _src, _dst, _eflags) \
  402. __emulate_2op(_op, _src, _dst, _eflags, \
  403. "b", "q", "w", "r", _LO32, "r", "", "r")
  404. /* Source operand is word, long or quad sized. */
  405. #define emulate_2op_SrcV_nobyte(_op, _src, _dst, _eflags) \
  406. __emulate_2op_nobyte(_op, _src, _dst, _eflags, \
  407. "w", "r", _LO32, "r", "", "r")
  408. /* Instruction has only one explicit operand (no source operand). */
  409. #define emulate_1op(_op, _dst, _eflags) \
  410. do { \
  411. unsigned long _tmp; \
  412. \
  413. switch ((_dst).bytes) { \
  414. case 1: \
  415. __asm__ __volatile__ ( \
  416. _PRE_EFLAGS("0", "3", "2") \
  417. _op"b %1; " \
  418. _POST_EFLAGS("0", "3", "2") \
  419. : "=m" (_eflags), "=m" ((_dst).val), \
  420. "=&r" (_tmp) \
  421. : "i" (EFLAGS_MASK)); \
  422. break; \
  423. case 2: \
  424. __asm__ __volatile__ ( \
  425. _PRE_EFLAGS("0", "3", "2") \
  426. _op"w %1; " \
  427. _POST_EFLAGS("0", "3", "2") \
  428. : "=m" (_eflags), "=m" ((_dst).val), \
  429. "=&r" (_tmp) \
  430. : "i" (EFLAGS_MASK)); \
  431. break; \
  432. case 4: \
  433. __asm__ __volatile__ ( \
  434. _PRE_EFLAGS("0", "3", "2") \
  435. _op"l %1; " \
  436. _POST_EFLAGS("0", "3", "2") \
  437. : "=m" (_eflags), "=m" ((_dst).val), \
  438. "=&r" (_tmp) \
  439. : "i" (EFLAGS_MASK)); \
  440. break; \
  441. case 8: \
  442. __emulate_1op_8byte(_op, _dst, _eflags); \
  443. break; \
  444. } \
  445. } while (0)
  446. /* Emulate an instruction with quadword operands (x86/64 only). */
  447. #if defined(CONFIG_X86_64)
  448. #define __emulate_2op_8byte(_op, _src, _dst, _eflags, _qx, _qy) \
  449. do { \
  450. __asm__ __volatile__ ( \
  451. _PRE_EFLAGS("0", "4", "2") \
  452. _op"q %"_qx"3,%1; " \
  453. _POST_EFLAGS("0", "4", "2") \
  454. : "=m" (_eflags), "=m" ((_dst).val), "=&r" (_tmp) \
  455. : _qy ((_src).val), "i" (EFLAGS_MASK)); \
  456. } while (0)
  457. #define __emulate_1op_8byte(_op, _dst, _eflags) \
  458. do { \
  459. __asm__ __volatile__ ( \
  460. _PRE_EFLAGS("0", "3", "2") \
  461. _op"q %1; " \
  462. _POST_EFLAGS("0", "3", "2") \
  463. : "=m" (_eflags), "=m" ((_dst).val), "=&r" (_tmp) \
  464. : "i" (EFLAGS_MASK)); \
  465. } while (0)
  466. #elif defined(__i386__)
  467. #define __emulate_2op_8byte(_op, _src, _dst, _eflags, _qx, _qy)
  468. #define __emulate_1op_8byte(_op, _dst, _eflags)
  469. #endif /* __i386__ */
  470. /* Fetch next part of the instruction being emulated. */
  471. #define insn_fetch(_type, _size, _eip) \
  472. ({ unsigned long _x; \
  473. rc = do_insn_fetch(ctxt, ops, (_eip), &_x, (_size)); \
  474. if (rc != 0) \
  475. goto done; \
  476. (_eip) += (_size); \
  477. (_type)_x; \
  478. })
  479. static inline unsigned long ad_mask(struct decode_cache *c)
  480. {
  481. return (1UL << (c->ad_bytes << 3)) - 1;
  482. }
  483. /* Access/update address held in a register, based on addressing mode. */
  484. static inline unsigned long
  485. address_mask(struct decode_cache *c, unsigned long reg)
  486. {
  487. if (c->ad_bytes == sizeof(unsigned long))
  488. return reg;
  489. else
  490. return reg & ad_mask(c);
  491. }
  492. static inline unsigned long
  493. register_address(struct decode_cache *c, unsigned long base, unsigned long reg)
  494. {
  495. return base + address_mask(c, reg);
  496. }
  497. static inline void
  498. register_address_increment(struct decode_cache *c, unsigned long *reg, int inc)
  499. {
  500. if (c->ad_bytes == sizeof(unsigned long))
  501. *reg += inc;
  502. else
  503. *reg = (*reg & ~ad_mask(c)) | ((*reg + inc) & ad_mask(c));
  504. }
  505. static inline void jmp_rel(struct decode_cache *c, int rel)
  506. {
  507. register_address_increment(c, &c->eip, rel);
  508. }
  509. static void set_seg_override(struct decode_cache *c, int seg)
  510. {
  511. c->has_seg_override = true;
  512. c->seg_override = seg;
  513. }
  514. static unsigned long seg_base(struct x86_emulate_ctxt *ctxt, int seg)
  515. {
  516. if (ctxt->mode == X86EMUL_MODE_PROT64 && seg < VCPU_SREG_FS)
  517. return 0;
  518. return kvm_x86_ops->get_segment_base(ctxt->vcpu, seg);
  519. }
  520. static unsigned long seg_override_base(struct x86_emulate_ctxt *ctxt,
  521. struct decode_cache *c)
  522. {
  523. if (!c->has_seg_override)
  524. return 0;
  525. return seg_base(ctxt, c->seg_override);
  526. }
  527. static unsigned long es_base(struct x86_emulate_ctxt *ctxt)
  528. {
  529. return seg_base(ctxt, VCPU_SREG_ES);
  530. }
  531. static unsigned long ss_base(struct x86_emulate_ctxt *ctxt)
  532. {
  533. return seg_base(ctxt, VCPU_SREG_SS);
  534. }
  535. static int do_fetch_insn_byte(struct x86_emulate_ctxt *ctxt,
  536. struct x86_emulate_ops *ops,
  537. unsigned long linear, u8 *dest)
  538. {
  539. struct fetch_cache *fc = &ctxt->decode.fetch;
  540. int rc;
  541. int size;
  542. if (linear < fc->start || linear >= fc->end) {
  543. size = min(15UL, PAGE_SIZE - offset_in_page(linear));
  544. rc = ops->read_std(linear, fc->data, size, ctxt->vcpu);
  545. if (rc)
  546. return rc;
  547. fc->start = linear;
  548. fc->end = linear + size;
  549. }
  550. *dest = fc->data[linear - fc->start];
  551. return 0;
  552. }
  553. static int do_insn_fetch(struct x86_emulate_ctxt *ctxt,
  554. struct x86_emulate_ops *ops,
  555. unsigned long eip, void *dest, unsigned size)
  556. {
  557. int rc = 0;
  558. eip += ctxt->cs_base;
  559. while (size--) {
  560. rc = do_fetch_insn_byte(ctxt, ops, eip++, dest++);
  561. if (rc)
  562. return rc;
  563. }
  564. return 0;
  565. }
  566. /*
  567. * Given the 'reg' portion of a ModRM byte, and a register block, return a
  568. * pointer into the block that addresses the relevant register.
  569. * @highbyte_regs specifies whether to decode AH,CH,DH,BH.
  570. */
  571. static void *decode_register(u8 modrm_reg, unsigned long *regs,
  572. int highbyte_regs)
  573. {
  574. void *p;
  575. p = &regs[modrm_reg];
  576. if (highbyte_regs && modrm_reg >= 4 && modrm_reg < 8)
  577. p = (unsigned char *)&regs[modrm_reg & 3] + 1;
  578. return p;
  579. }
  580. static int read_descriptor(struct x86_emulate_ctxt *ctxt,
  581. struct x86_emulate_ops *ops,
  582. void *ptr,
  583. u16 *size, unsigned long *address, int op_bytes)
  584. {
  585. int rc;
  586. if (op_bytes == 2)
  587. op_bytes = 3;
  588. *address = 0;
  589. rc = ops->read_std((unsigned long)ptr, (unsigned long *)size, 2,
  590. ctxt->vcpu);
  591. if (rc)
  592. return rc;
  593. rc = ops->read_std((unsigned long)ptr + 2, address, op_bytes,
  594. ctxt->vcpu);
  595. return rc;
  596. }
  597. static int test_cc(unsigned int condition, unsigned int flags)
  598. {
  599. int rc = 0;
  600. switch ((condition & 15) >> 1) {
  601. case 0: /* o */
  602. rc |= (flags & EFLG_OF);
  603. break;
  604. case 1: /* b/c/nae */
  605. rc |= (flags & EFLG_CF);
  606. break;
  607. case 2: /* z/e */
  608. rc |= (flags & EFLG_ZF);
  609. break;
  610. case 3: /* be/na */
  611. rc |= (flags & (EFLG_CF|EFLG_ZF));
  612. break;
  613. case 4: /* s */
  614. rc |= (flags & EFLG_SF);
  615. break;
  616. case 5: /* p/pe */
  617. rc |= (flags & EFLG_PF);
  618. break;
  619. case 7: /* le/ng */
  620. rc |= (flags & EFLG_ZF);
  621. /* fall through */
  622. case 6: /* l/nge */
  623. rc |= (!(flags & EFLG_SF) != !(flags & EFLG_OF));
  624. break;
  625. }
  626. /* Odd condition identifiers (lsb == 1) have inverted sense. */
  627. return (!!rc ^ (condition & 1));
  628. }
  629. static void decode_register_operand(struct operand *op,
  630. struct decode_cache *c,
  631. int inhibit_bytereg)
  632. {
  633. unsigned reg = c->modrm_reg;
  634. int highbyte_regs = c->rex_prefix == 0;
  635. if (!(c->d & ModRM))
  636. reg = (c->b & 7) | ((c->rex_prefix & 1) << 3);
  637. op->type = OP_REG;
  638. if ((c->d & ByteOp) && !inhibit_bytereg) {
  639. op->ptr = decode_register(reg, c->regs, highbyte_regs);
  640. op->val = *(u8 *)op->ptr;
  641. op->bytes = 1;
  642. } else {
  643. op->ptr = decode_register(reg, c->regs, 0);
  644. op->bytes = c->op_bytes;
  645. switch (op->bytes) {
  646. case 2:
  647. op->val = *(u16 *)op->ptr;
  648. break;
  649. case 4:
  650. op->val = *(u32 *)op->ptr;
  651. break;
  652. case 8:
  653. op->val = *(u64 *) op->ptr;
  654. break;
  655. }
  656. }
  657. op->orig_val = op->val;
  658. }
  659. static int decode_modrm(struct x86_emulate_ctxt *ctxt,
  660. struct x86_emulate_ops *ops)
  661. {
  662. struct decode_cache *c = &ctxt->decode;
  663. u8 sib;
  664. int index_reg = 0, base_reg = 0, scale;
  665. int rc = 0;
  666. if (c->rex_prefix) {
  667. c->modrm_reg = (c->rex_prefix & 4) << 1; /* REX.R */
  668. index_reg = (c->rex_prefix & 2) << 2; /* REX.X */
  669. c->modrm_rm = base_reg = (c->rex_prefix & 1) << 3; /* REG.B */
  670. }
  671. c->modrm = insn_fetch(u8, 1, c->eip);
  672. c->modrm_mod |= (c->modrm & 0xc0) >> 6;
  673. c->modrm_reg |= (c->modrm & 0x38) >> 3;
  674. c->modrm_rm |= (c->modrm & 0x07);
  675. c->modrm_ea = 0;
  676. c->use_modrm_ea = 1;
  677. if (c->modrm_mod == 3) {
  678. c->modrm_ptr = decode_register(c->modrm_rm,
  679. c->regs, c->d & ByteOp);
  680. c->modrm_val = *(unsigned long *)c->modrm_ptr;
  681. return rc;
  682. }
  683. if (c->ad_bytes == 2) {
  684. unsigned bx = c->regs[VCPU_REGS_RBX];
  685. unsigned bp = c->regs[VCPU_REGS_RBP];
  686. unsigned si = c->regs[VCPU_REGS_RSI];
  687. unsigned di = c->regs[VCPU_REGS_RDI];
  688. /* 16-bit ModR/M decode. */
  689. switch (c->modrm_mod) {
  690. case 0:
  691. if (c->modrm_rm == 6)
  692. c->modrm_ea += insn_fetch(u16, 2, c->eip);
  693. break;
  694. case 1:
  695. c->modrm_ea += insn_fetch(s8, 1, c->eip);
  696. break;
  697. case 2:
  698. c->modrm_ea += insn_fetch(u16, 2, c->eip);
  699. break;
  700. }
  701. switch (c->modrm_rm) {
  702. case 0:
  703. c->modrm_ea += bx + si;
  704. break;
  705. case 1:
  706. c->modrm_ea += bx + di;
  707. break;
  708. case 2:
  709. c->modrm_ea += bp + si;
  710. break;
  711. case 3:
  712. c->modrm_ea += bp + di;
  713. break;
  714. case 4:
  715. c->modrm_ea += si;
  716. break;
  717. case 5:
  718. c->modrm_ea += di;
  719. break;
  720. case 6:
  721. if (c->modrm_mod != 0)
  722. c->modrm_ea += bp;
  723. break;
  724. case 7:
  725. c->modrm_ea += bx;
  726. break;
  727. }
  728. if (c->modrm_rm == 2 || c->modrm_rm == 3 ||
  729. (c->modrm_rm == 6 && c->modrm_mod != 0))
  730. if (!c->has_seg_override)
  731. set_seg_override(c, VCPU_SREG_SS);
  732. c->modrm_ea = (u16)c->modrm_ea;
  733. } else {
  734. /* 32/64-bit ModR/M decode. */
  735. if ((c->modrm_rm & 7) == 4) {
  736. sib = insn_fetch(u8, 1, c->eip);
  737. index_reg |= (sib >> 3) & 7;
  738. base_reg |= sib & 7;
  739. scale = sib >> 6;
  740. if ((base_reg & 7) == 5 && c->modrm_mod == 0)
  741. c->modrm_ea += insn_fetch(s32, 4, c->eip);
  742. else
  743. c->modrm_ea += c->regs[base_reg];
  744. if (index_reg != 4)
  745. c->modrm_ea += c->regs[index_reg] << scale;
  746. } else if ((c->modrm_rm & 7) == 5 && c->modrm_mod == 0) {
  747. if (ctxt->mode == X86EMUL_MODE_PROT64)
  748. c->rip_relative = 1;
  749. } else
  750. c->modrm_ea += c->regs[c->modrm_rm];
  751. switch (c->modrm_mod) {
  752. case 0:
  753. if (c->modrm_rm == 5)
  754. c->modrm_ea += insn_fetch(s32, 4, c->eip);
  755. break;
  756. case 1:
  757. c->modrm_ea += insn_fetch(s8, 1, c->eip);
  758. break;
  759. case 2:
  760. c->modrm_ea += insn_fetch(s32, 4, c->eip);
  761. break;
  762. }
  763. }
  764. done:
  765. return rc;
  766. }
  767. static int decode_abs(struct x86_emulate_ctxt *ctxt,
  768. struct x86_emulate_ops *ops)
  769. {
  770. struct decode_cache *c = &ctxt->decode;
  771. int rc = 0;
  772. switch (c->ad_bytes) {
  773. case 2:
  774. c->modrm_ea = insn_fetch(u16, 2, c->eip);
  775. break;
  776. case 4:
  777. c->modrm_ea = insn_fetch(u32, 4, c->eip);
  778. break;
  779. case 8:
  780. c->modrm_ea = insn_fetch(u64, 8, c->eip);
  781. break;
  782. }
  783. done:
  784. return rc;
  785. }
  786. int
  787. x86_decode_insn(struct x86_emulate_ctxt *ctxt, struct x86_emulate_ops *ops)
  788. {
  789. struct decode_cache *c = &ctxt->decode;
  790. int rc = 0;
  791. int mode = ctxt->mode;
  792. int def_op_bytes, def_ad_bytes, group;
  793. /* Shadow copy of register state. Committed on successful emulation. */
  794. memset(c, 0, sizeof(struct decode_cache));
  795. c->eip = kvm_rip_read(ctxt->vcpu);
  796. ctxt->cs_base = seg_base(ctxt, VCPU_SREG_CS);
  797. memcpy(c->regs, ctxt->vcpu->arch.regs, sizeof c->regs);
  798. switch (mode) {
  799. case X86EMUL_MODE_REAL:
  800. case X86EMUL_MODE_PROT16:
  801. def_op_bytes = def_ad_bytes = 2;
  802. break;
  803. case X86EMUL_MODE_PROT32:
  804. def_op_bytes = def_ad_bytes = 4;
  805. break;
  806. #ifdef CONFIG_X86_64
  807. case X86EMUL_MODE_PROT64:
  808. def_op_bytes = 4;
  809. def_ad_bytes = 8;
  810. break;
  811. #endif
  812. default:
  813. return -1;
  814. }
  815. c->op_bytes = def_op_bytes;
  816. c->ad_bytes = def_ad_bytes;
  817. /* Legacy prefixes. */
  818. for (;;) {
  819. switch (c->b = insn_fetch(u8, 1, c->eip)) {
  820. case 0x66: /* operand-size override */
  821. /* switch between 2/4 bytes */
  822. c->op_bytes = def_op_bytes ^ 6;
  823. break;
  824. case 0x67: /* address-size override */
  825. if (mode == X86EMUL_MODE_PROT64)
  826. /* switch between 4/8 bytes */
  827. c->ad_bytes = def_ad_bytes ^ 12;
  828. else
  829. /* switch between 2/4 bytes */
  830. c->ad_bytes = def_ad_bytes ^ 6;
  831. break;
  832. case 0x26: /* ES override */
  833. case 0x2e: /* CS override */
  834. case 0x36: /* SS override */
  835. case 0x3e: /* DS override */
  836. set_seg_override(c, (c->b >> 3) & 3);
  837. break;
  838. case 0x64: /* FS override */
  839. case 0x65: /* GS override */
  840. set_seg_override(c, c->b & 7);
  841. break;
  842. case 0x40 ... 0x4f: /* REX */
  843. if (mode != X86EMUL_MODE_PROT64)
  844. goto done_prefixes;
  845. c->rex_prefix = c->b;
  846. continue;
  847. case 0xf0: /* LOCK */
  848. c->lock_prefix = 1;
  849. break;
  850. case 0xf2: /* REPNE/REPNZ */
  851. c->rep_prefix = REPNE_PREFIX;
  852. break;
  853. case 0xf3: /* REP/REPE/REPZ */
  854. c->rep_prefix = REPE_PREFIX;
  855. break;
  856. default:
  857. goto done_prefixes;
  858. }
  859. /* Any legacy prefix after a REX prefix nullifies its effect. */
  860. c->rex_prefix = 0;
  861. }
  862. done_prefixes:
  863. /* REX prefix. */
  864. if (c->rex_prefix)
  865. if (c->rex_prefix & 8)
  866. c->op_bytes = 8; /* REX.W */
  867. /* Opcode byte(s). */
  868. c->d = opcode_table[c->b];
  869. if (c->d == 0) {
  870. /* Two-byte opcode? */
  871. if (c->b == 0x0f) {
  872. c->twobyte = 1;
  873. c->b = insn_fetch(u8, 1, c->eip);
  874. c->d = twobyte_table[c->b];
  875. }
  876. }
  877. if (c->d & Group) {
  878. group = c->d & GroupMask;
  879. c->modrm = insn_fetch(u8, 1, c->eip);
  880. --c->eip;
  881. group = (group << 3) + ((c->modrm >> 3) & 7);
  882. if ((c->d & GroupDual) && (c->modrm >> 6) == 3)
  883. c->d = group2_table[group];
  884. else
  885. c->d = group_table[group];
  886. }
  887. /* Unrecognised? */
  888. if (c->d == 0) {
  889. DPRINTF("Cannot emulate %02x\n", c->b);
  890. return -1;
  891. }
  892. if (mode == X86EMUL_MODE_PROT64 && (c->d & Stack))
  893. c->op_bytes = 8;
  894. /* ModRM and SIB bytes. */
  895. if (c->d & ModRM)
  896. rc = decode_modrm(ctxt, ops);
  897. else if (c->d & MemAbs)
  898. rc = decode_abs(ctxt, ops);
  899. if (rc)
  900. goto done;
  901. if (!c->has_seg_override)
  902. set_seg_override(c, VCPU_SREG_DS);
  903. if (!(!c->twobyte && c->b == 0x8d))
  904. c->modrm_ea += seg_override_base(ctxt, c);
  905. if (c->ad_bytes != 8)
  906. c->modrm_ea = (u32)c->modrm_ea;
  907. /*
  908. * Decode and fetch the source operand: register, memory
  909. * or immediate.
  910. */
  911. switch (c->d & SrcMask) {
  912. case SrcNone:
  913. break;
  914. case SrcReg:
  915. decode_register_operand(&c->src, c, 0);
  916. break;
  917. case SrcMem16:
  918. c->src.bytes = 2;
  919. goto srcmem_common;
  920. case SrcMem32:
  921. c->src.bytes = 4;
  922. goto srcmem_common;
  923. case SrcMem:
  924. c->src.bytes = (c->d & ByteOp) ? 1 :
  925. c->op_bytes;
  926. /* Don't fetch the address for invlpg: it could be unmapped. */
  927. if (c->twobyte && c->b == 0x01 && c->modrm_reg == 7)
  928. break;
  929. srcmem_common:
  930. /*
  931. * For instructions with a ModR/M byte, switch to register
  932. * access if Mod = 3.
  933. */
  934. if ((c->d & ModRM) && c->modrm_mod == 3) {
  935. c->src.type = OP_REG;
  936. c->src.val = c->modrm_val;
  937. c->src.ptr = c->modrm_ptr;
  938. break;
  939. }
  940. c->src.type = OP_MEM;
  941. break;
  942. case SrcImm:
  943. c->src.type = OP_IMM;
  944. c->src.ptr = (unsigned long *)c->eip;
  945. c->src.bytes = (c->d & ByteOp) ? 1 : c->op_bytes;
  946. if (c->src.bytes == 8)
  947. c->src.bytes = 4;
  948. /* NB. Immediates are sign-extended as necessary. */
  949. switch (c->src.bytes) {
  950. case 1:
  951. c->src.val = insn_fetch(s8, 1, c->eip);
  952. break;
  953. case 2:
  954. c->src.val = insn_fetch(s16, 2, c->eip);
  955. break;
  956. case 4:
  957. c->src.val = insn_fetch(s32, 4, c->eip);
  958. break;
  959. }
  960. break;
  961. case SrcImmByte:
  962. c->src.type = OP_IMM;
  963. c->src.ptr = (unsigned long *)c->eip;
  964. c->src.bytes = 1;
  965. c->src.val = insn_fetch(s8, 1, c->eip);
  966. break;
  967. }
  968. /* Decode and fetch the destination operand: register or memory. */
  969. switch (c->d & DstMask) {
  970. case ImplicitOps:
  971. /* Special instructions do their own operand decoding. */
  972. return 0;
  973. case DstReg:
  974. decode_register_operand(&c->dst, c,
  975. c->twobyte && (c->b == 0xb6 || c->b == 0xb7));
  976. break;
  977. case DstMem:
  978. if ((c->d & ModRM) && c->modrm_mod == 3) {
  979. c->dst.bytes = (c->d & ByteOp) ? 1 : c->op_bytes;
  980. c->dst.type = OP_REG;
  981. c->dst.val = c->dst.orig_val = c->modrm_val;
  982. c->dst.ptr = c->modrm_ptr;
  983. break;
  984. }
  985. c->dst.type = OP_MEM;
  986. break;
  987. case DstAcc:
  988. c->dst.type = OP_REG;
  989. c->dst.bytes = c->op_bytes;
  990. c->dst.ptr = &c->regs[VCPU_REGS_RAX];
  991. switch (c->op_bytes) {
  992. case 1:
  993. c->dst.val = *(u8 *)c->dst.ptr;
  994. break;
  995. case 2:
  996. c->dst.val = *(u16 *)c->dst.ptr;
  997. break;
  998. case 4:
  999. c->dst.val = *(u32 *)c->dst.ptr;
  1000. break;
  1001. }
  1002. c->dst.orig_val = c->dst.val;
  1003. break;
  1004. }
  1005. if (c->rip_relative)
  1006. c->modrm_ea += c->eip;
  1007. done:
  1008. return (rc == X86EMUL_UNHANDLEABLE) ? -1 : 0;
  1009. }
  1010. static inline void emulate_push(struct x86_emulate_ctxt *ctxt)
  1011. {
  1012. struct decode_cache *c = &ctxt->decode;
  1013. c->dst.type = OP_MEM;
  1014. c->dst.bytes = c->op_bytes;
  1015. c->dst.val = c->src.val;
  1016. register_address_increment(c, &c->regs[VCPU_REGS_RSP], -c->op_bytes);
  1017. c->dst.ptr = (void *) register_address(c, ss_base(ctxt),
  1018. c->regs[VCPU_REGS_RSP]);
  1019. }
  1020. static inline int emulate_grp1a(struct x86_emulate_ctxt *ctxt,
  1021. struct x86_emulate_ops *ops)
  1022. {
  1023. struct decode_cache *c = &ctxt->decode;
  1024. int rc;
  1025. rc = ops->read_std(register_address(c, ss_base(ctxt),
  1026. c->regs[VCPU_REGS_RSP]),
  1027. &c->dst.val, c->dst.bytes, ctxt->vcpu);
  1028. if (rc != 0)
  1029. return rc;
  1030. register_address_increment(c, &c->regs[VCPU_REGS_RSP], c->dst.bytes);
  1031. return 0;
  1032. }
  1033. static inline void emulate_grp2(struct x86_emulate_ctxt *ctxt)
  1034. {
  1035. struct decode_cache *c = &ctxt->decode;
  1036. switch (c->modrm_reg) {
  1037. case 0: /* rol */
  1038. emulate_2op_SrcB("rol", c->src, c->dst, ctxt->eflags);
  1039. break;
  1040. case 1: /* ror */
  1041. emulate_2op_SrcB("ror", c->src, c->dst, ctxt->eflags);
  1042. break;
  1043. case 2: /* rcl */
  1044. emulate_2op_SrcB("rcl", c->src, c->dst, ctxt->eflags);
  1045. break;
  1046. case 3: /* rcr */
  1047. emulate_2op_SrcB("rcr", c->src, c->dst, ctxt->eflags);
  1048. break;
  1049. case 4: /* sal/shl */
  1050. case 6: /* sal/shl */
  1051. emulate_2op_SrcB("sal", c->src, c->dst, ctxt->eflags);
  1052. break;
  1053. case 5: /* shr */
  1054. emulate_2op_SrcB("shr", c->src, c->dst, ctxt->eflags);
  1055. break;
  1056. case 7: /* sar */
  1057. emulate_2op_SrcB("sar", c->src, c->dst, ctxt->eflags);
  1058. break;
  1059. }
  1060. }
  1061. static inline int emulate_grp3(struct x86_emulate_ctxt *ctxt,
  1062. struct x86_emulate_ops *ops)
  1063. {
  1064. struct decode_cache *c = &ctxt->decode;
  1065. int rc = 0;
  1066. switch (c->modrm_reg) {
  1067. case 0 ... 1: /* test */
  1068. emulate_2op_SrcV("test", c->src, c->dst, ctxt->eflags);
  1069. break;
  1070. case 2: /* not */
  1071. c->dst.val = ~c->dst.val;
  1072. break;
  1073. case 3: /* neg */
  1074. emulate_1op("neg", c->dst, ctxt->eflags);
  1075. break;
  1076. default:
  1077. DPRINTF("Cannot emulate %02x\n", c->b);
  1078. rc = X86EMUL_UNHANDLEABLE;
  1079. break;
  1080. }
  1081. return rc;
  1082. }
  1083. static inline int emulate_grp45(struct x86_emulate_ctxt *ctxt,
  1084. struct x86_emulate_ops *ops)
  1085. {
  1086. struct decode_cache *c = &ctxt->decode;
  1087. switch (c->modrm_reg) {
  1088. case 0: /* inc */
  1089. emulate_1op("inc", c->dst, ctxt->eflags);
  1090. break;
  1091. case 1: /* dec */
  1092. emulate_1op("dec", c->dst, ctxt->eflags);
  1093. break;
  1094. case 2: /* call near abs */ {
  1095. long int old_eip;
  1096. old_eip = c->eip;
  1097. c->eip = c->src.val;
  1098. c->src.val = old_eip;
  1099. emulate_push(ctxt);
  1100. break;
  1101. }
  1102. case 4: /* jmp abs */
  1103. c->eip = c->src.val;
  1104. break;
  1105. case 6: /* push */
  1106. emulate_push(ctxt);
  1107. break;
  1108. }
  1109. return 0;
  1110. }
  1111. static inline int emulate_grp9(struct x86_emulate_ctxt *ctxt,
  1112. struct x86_emulate_ops *ops,
  1113. unsigned long memop)
  1114. {
  1115. struct decode_cache *c = &ctxt->decode;
  1116. u64 old, new;
  1117. int rc;
  1118. rc = ops->read_emulated(memop, &old, 8, ctxt->vcpu);
  1119. if (rc != 0)
  1120. return rc;
  1121. if (((u32) (old >> 0) != (u32) c->regs[VCPU_REGS_RAX]) ||
  1122. ((u32) (old >> 32) != (u32) c->regs[VCPU_REGS_RDX])) {
  1123. c->regs[VCPU_REGS_RAX] = (u32) (old >> 0);
  1124. c->regs[VCPU_REGS_RDX] = (u32) (old >> 32);
  1125. ctxt->eflags &= ~EFLG_ZF;
  1126. } else {
  1127. new = ((u64)c->regs[VCPU_REGS_RCX] << 32) |
  1128. (u32) c->regs[VCPU_REGS_RBX];
  1129. rc = ops->cmpxchg_emulated(memop, &old, &new, 8, ctxt->vcpu);
  1130. if (rc != 0)
  1131. return rc;
  1132. ctxt->eflags |= EFLG_ZF;
  1133. }
  1134. return 0;
  1135. }
  1136. static inline int writeback(struct x86_emulate_ctxt *ctxt,
  1137. struct x86_emulate_ops *ops)
  1138. {
  1139. int rc;
  1140. struct decode_cache *c = &ctxt->decode;
  1141. switch (c->dst.type) {
  1142. case OP_REG:
  1143. /* The 4-byte case *is* correct:
  1144. * in 64-bit mode we zero-extend.
  1145. */
  1146. switch (c->dst.bytes) {
  1147. case 1:
  1148. *(u8 *)c->dst.ptr = (u8)c->dst.val;
  1149. break;
  1150. case 2:
  1151. *(u16 *)c->dst.ptr = (u16)c->dst.val;
  1152. break;
  1153. case 4:
  1154. *c->dst.ptr = (u32)c->dst.val;
  1155. break; /* 64b: zero-ext */
  1156. case 8:
  1157. *c->dst.ptr = c->dst.val;
  1158. break;
  1159. }
  1160. break;
  1161. case OP_MEM:
  1162. if (c->lock_prefix)
  1163. rc = ops->cmpxchg_emulated(
  1164. (unsigned long)c->dst.ptr,
  1165. &c->dst.orig_val,
  1166. &c->dst.val,
  1167. c->dst.bytes,
  1168. ctxt->vcpu);
  1169. else
  1170. rc = ops->write_emulated(
  1171. (unsigned long)c->dst.ptr,
  1172. &c->dst.val,
  1173. c->dst.bytes,
  1174. ctxt->vcpu);
  1175. if (rc != 0)
  1176. return rc;
  1177. break;
  1178. case OP_NONE:
  1179. /* no writeback */
  1180. break;
  1181. default:
  1182. break;
  1183. }
  1184. return 0;
  1185. }
  1186. int
  1187. x86_emulate_insn(struct x86_emulate_ctxt *ctxt, struct x86_emulate_ops *ops)
  1188. {
  1189. unsigned long memop = 0;
  1190. u64 msr_data;
  1191. unsigned long saved_eip = 0;
  1192. struct decode_cache *c = &ctxt->decode;
  1193. unsigned int port;
  1194. int io_dir_in;
  1195. int rc = 0;
  1196. /* Shadow copy of register state. Committed on successful emulation.
  1197. * NOTE: we can copy them from vcpu as x86_decode_insn() doesn't
  1198. * modify them.
  1199. */
  1200. memcpy(c->regs, ctxt->vcpu->arch.regs, sizeof c->regs);
  1201. saved_eip = c->eip;
  1202. if (((c->d & ModRM) && (c->modrm_mod != 3)) || (c->d & MemAbs))
  1203. memop = c->modrm_ea;
  1204. if (c->rep_prefix && (c->d & String)) {
  1205. /* All REP prefixes have the same first termination condition */
  1206. if (c->regs[VCPU_REGS_RCX] == 0) {
  1207. kvm_rip_write(ctxt->vcpu, c->eip);
  1208. goto done;
  1209. }
  1210. /* The second termination condition only applies for REPE
  1211. * and REPNE. Test if the repeat string operation prefix is
  1212. * REPE/REPZ or REPNE/REPNZ and if it's the case it tests the
  1213. * corresponding termination condition according to:
  1214. * - if REPE/REPZ and ZF = 0 then done
  1215. * - if REPNE/REPNZ and ZF = 1 then done
  1216. */
  1217. if ((c->b == 0xa6) || (c->b == 0xa7) ||
  1218. (c->b == 0xae) || (c->b == 0xaf)) {
  1219. if ((c->rep_prefix == REPE_PREFIX) &&
  1220. ((ctxt->eflags & EFLG_ZF) == 0)) {
  1221. kvm_rip_write(ctxt->vcpu, c->eip);
  1222. goto done;
  1223. }
  1224. if ((c->rep_prefix == REPNE_PREFIX) &&
  1225. ((ctxt->eflags & EFLG_ZF) == EFLG_ZF)) {
  1226. kvm_rip_write(ctxt->vcpu, c->eip);
  1227. goto done;
  1228. }
  1229. }
  1230. c->regs[VCPU_REGS_RCX]--;
  1231. c->eip = kvm_rip_read(ctxt->vcpu);
  1232. }
  1233. if (c->src.type == OP_MEM) {
  1234. c->src.ptr = (unsigned long *)memop;
  1235. c->src.val = 0;
  1236. rc = ops->read_emulated((unsigned long)c->src.ptr,
  1237. &c->src.val,
  1238. c->src.bytes,
  1239. ctxt->vcpu);
  1240. if (rc != 0)
  1241. goto done;
  1242. c->src.orig_val = c->src.val;
  1243. }
  1244. if ((c->d & DstMask) == ImplicitOps)
  1245. goto special_insn;
  1246. if (c->dst.type == OP_MEM) {
  1247. c->dst.ptr = (unsigned long *)memop;
  1248. c->dst.bytes = (c->d & ByteOp) ? 1 : c->op_bytes;
  1249. c->dst.val = 0;
  1250. if (c->d & BitOp) {
  1251. unsigned long mask = ~(c->dst.bytes * 8 - 1);
  1252. c->dst.ptr = (void *)c->dst.ptr +
  1253. (c->src.val & mask) / 8;
  1254. }
  1255. if (!(c->d & Mov) &&
  1256. /* optimisation - avoid slow emulated read */
  1257. ((rc = ops->read_emulated((unsigned long)c->dst.ptr,
  1258. &c->dst.val,
  1259. c->dst.bytes, ctxt->vcpu)) != 0))
  1260. goto done;
  1261. }
  1262. c->dst.orig_val = c->dst.val;
  1263. special_insn:
  1264. if (c->twobyte)
  1265. goto twobyte_insn;
  1266. switch (c->b) {
  1267. case 0x00 ... 0x05:
  1268. add: /* add */
  1269. emulate_2op_SrcV("add", c->src, c->dst, ctxt->eflags);
  1270. break;
  1271. case 0x08 ... 0x0d:
  1272. or: /* or */
  1273. emulate_2op_SrcV("or", c->src, c->dst, ctxt->eflags);
  1274. break;
  1275. case 0x10 ... 0x15:
  1276. adc: /* adc */
  1277. emulate_2op_SrcV("adc", c->src, c->dst, ctxt->eflags);
  1278. break;
  1279. case 0x18 ... 0x1d:
  1280. sbb: /* sbb */
  1281. emulate_2op_SrcV("sbb", c->src, c->dst, ctxt->eflags);
  1282. break;
  1283. case 0x20 ... 0x25:
  1284. and: /* and */
  1285. emulate_2op_SrcV("and", c->src, c->dst, ctxt->eflags);
  1286. break;
  1287. case 0x28 ... 0x2d:
  1288. sub: /* sub */
  1289. emulate_2op_SrcV("sub", c->src, c->dst, ctxt->eflags);
  1290. break;
  1291. case 0x30 ... 0x35:
  1292. xor: /* xor */
  1293. emulate_2op_SrcV("xor", c->src, c->dst, ctxt->eflags);
  1294. break;
  1295. case 0x38 ... 0x3d:
  1296. cmp: /* cmp */
  1297. emulate_2op_SrcV("cmp", c->src, c->dst, ctxt->eflags);
  1298. break;
  1299. case 0x40 ... 0x47: /* inc r16/r32 */
  1300. emulate_1op("inc", c->dst, ctxt->eflags);
  1301. break;
  1302. case 0x48 ... 0x4f: /* dec r16/r32 */
  1303. emulate_1op("dec", c->dst, ctxt->eflags);
  1304. break;
  1305. case 0x50 ... 0x57: /* push reg */
  1306. c->dst.type = OP_MEM;
  1307. c->dst.bytes = c->op_bytes;
  1308. c->dst.val = c->src.val;
  1309. register_address_increment(c, &c->regs[VCPU_REGS_RSP],
  1310. -c->op_bytes);
  1311. c->dst.ptr = (void *) register_address(
  1312. c, ss_base(ctxt), c->regs[VCPU_REGS_RSP]);
  1313. break;
  1314. case 0x58 ... 0x5f: /* pop reg */
  1315. pop_instruction:
  1316. if ((rc = ops->read_std(register_address(c, ss_base(ctxt),
  1317. c->regs[VCPU_REGS_RSP]), c->dst.ptr,
  1318. c->op_bytes, ctxt->vcpu)) != 0)
  1319. goto done;
  1320. register_address_increment(c, &c->regs[VCPU_REGS_RSP],
  1321. c->op_bytes);
  1322. c->dst.type = OP_NONE; /* Disable writeback. */
  1323. break;
  1324. case 0x63: /* movsxd */
  1325. if (ctxt->mode != X86EMUL_MODE_PROT64)
  1326. goto cannot_emulate;
  1327. c->dst.val = (s32) c->src.val;
  1328. break;
  1329. case 0x68: /* push imm */
  1330. case 0x6a: /* push imm8 */
  1331. emulate_push(ctxt);
  1332. break;
  1333. case 0x6c: /* insb */
  1334. case 0x6d: /* insw/insd */
  1335. if (kvm_emulate_pio_string(ctxt->vcpu, NULL,
  1336. 1,
  1337. (c->d & ByteOp) ? 1 : c->op_bytes,
  1338. c->rep_prefix ?
  1339. address_mask(c, c->regs[VCPU_REGS_RCX]) : 1,
  1340. (ctxt->eflags & EFLG_DF),
  1341. register_address(c, es_base(ctxt),
  1342. c->regs[VCPU_REGS_RDI]),
  1343. c->rep_prefix,
  1344. c->regs[VCPU_REGS_RDX]) == 0) {
  1345. c->eip = saved_eip;
  1346. return -1;
  1347. }
  1348. return 0;
  1349. case 0x6e: /* outsb */
  1350. case 0x6f: /* outsw/outsd */
  1351. if (kvm_emulate_pio_string(ctxt->vcpu, NULL,
  1352. 0,
  1353. (c->d & ByteOp) ? 1 : c->op_bytes,
  1354. c->rep_prefix ?
  1355. address_mask(c, c->regs[VCPU_REGS_RCX]) : 1,
  1356. (ctxt->eflags & EFLG_DF),
  1357. register_address(c,
  1358. seg_override_base(ctxt, c),
  1359. c->regs[VCPU_REGS_RSI]),
  1360. c->rep_prefix,
  1361. c->regs[VCPU_REGS_RDX]) == 0) {
  1362. c->eip = saved_eip;
  1363. return -1;
  1364. }
  1365. return 0;
  1366. case 0x70 ... 0x7f: /* jcc (short) */ {
  1367. int rel = insn_fetch(s8, 1, c->eip);
  1368. if (test_cc(c->b, ctxt->eflags))
  1369. jmp_rel(c, rel);
  1370. break;
  1371. }
  1372. case 0x80 ... 0x83: /* Grp1 */
  1373. switch (c->modrm_reg) {
  1374. case 0:
  1375. goto add;
  1376. case 1:
  1377. goto or;
  1378. case 2:
  1379. goto adc;
  1380. case 3:
  1381. goto sbb;
  1382. case 4:
  1383. goto and;
  1384. case 5:
  1385. goto sub;
  1386. case 6:
  1387. goto xor;
  1388. case 7:
  1389. goto cmp;
  1390. }
  1391. break;
  1392. case 0x84 ... 0x85:
  1393. emulate_2op_SrcV("test", c->src, c->dst, ctxt->eflags);
  1394. break;
  1395. case 0x86 ... 0x87: /* xchg */
  1396. xchg:
  1397. /* Write back the register source. */
  1398. switch (c->dst.bytes) {
  1399. case 1:
  1400. *(u8 *) c->src.ptr = (u8) c->dst.val;
  1401. break;
  1402. case 2:
  1403. *(u16 *) c->src.ptr = (u16) c->dst.val;
  1404. break;
  1405. case 4:
  1406. *c->src.ptr = (u32) c->dst.val;
  1407. break; /* 64b reg: zero-extend */
  1408. case 8:
  1409. *c->src.ptr = c->dst.val;
  1410. break;
  1411. }
  1412. /*
  1413. * Write back the memory destination with implicit LOCK
  1414. * prefix.
  1415. */
  1416. c->dst.val = c->src.val;
  1417. c->lock_prefix = 1;
  1418. break;
  1419. case 0x88 ... 0x8b: /* mov */
  1420. goto mov;
  1421. case 0x8c: { /* mov r/m, sreg */
  1422. struct kvm_segment segreg;
  1423. if (c->modrm_reg <= 5)
  1424. kvm_get_segment(ctxt->vcpu, &segreg, c->modrm_reg);
  1425. else {
  1426. printk(KERN_INFO "0x8c: Invalid segreg in modrm byte 0x%02x\n",
  1427. c->modrm);
  1428. goto cannot_emulate;
  1429. }
  1430. c->dst.val = segreg.selector;
  1431. break;
  1432. }
  1433. case 0x8d: /* lea r16/r32, m */
  1434. c->dst.val = c->modrm_ea;
  1435. break;
  1436. case 0x8e: { /* mov seg, r/m16 */
  1437. uint16_t sel;
  1438. int type_bits;
  1439. int err;
  1440. sel = c->src.val;
  1441. if (c->modrm_reg <= 5) {
  1442. type_bits = (c->modrm_reg == 1) ? 9 : 1;
  1443. err = kvm_load_segment_descriptor(ctxt->vcpu, sel,
  1444. type_bits, c->modrm_reg);
  1445. } else {
  1446. printk(KERN_INFO "Invalid segreg in modrm byte 0x%02x\n",
  1447. c->modrm);
  1448. goto cannot_emulate;
  1449. }
  1450. if (err < 0)
  1451. goto cannot_emulate;
  1452. c->dst.type = OP_NONE; /* Disable writeback. */
  1453. break;
  1454. }
  1455. case 0x8f: /* pop (sole member of Grp1a) */
  1456. rc = emulate_grp1a(ctxt, ops);
  1457. if (rc != 0)
  1458. goto done;
  1459. break;
  1460. case 0x90: /* nop / xchg r8,rax */
  1461. if (!(c->rex_prefix & 1)) { /* nop */
  1462. c->dst.type = OP_NONE;
  1463. break;
  1464. }
  1465. case 0x91 ... 0x97: /* xchg reg,rax */
  1466. c->src.type = c->dst.type = OP_REG;
  1467. c->src.bytes = c->dst.bytes = c->op_bytes;
  1468. c->src.ptr = (unsigned long *) &c->regs[VCPU_REGS_RAX];
  1469. c->src.val = *(c->src.ptr);
  1470. goto xchg;
  1471. case 0x9c: /* pushf */
  1472. c->src.val = (unsigned long) ctxt->eflags;
  1473. emulate_push(ctxt);
  1474. break;
  1475. case 0x9d: /* popf */
  1476. c->dst.ptr = (unsigned long *) &ctxt->eflags;
  1477. goto pop_instruction;
  1478. case 0xa0 ... 0xa1: /* mov */
  1479. c->dst.ptr = (unsigned long *)&c->regs[VCPU_REGS_RAX];
  1480. c->dst.val = c->src.val;
  1481. break;
  1482. case 0xa2 ... 0xa3: /* mov */
  1483. c->dst.val = (unsigned long)c->regs[VCPU_REGS_RAX];
  1484. break;
  1485. case 0xa4 ... 0xa5: /* movs */
  1486. c->dst.type = OP_MEM;
  1487. c->dst.bytes = (c->d & ByteOp) ? 1 : c->op_bytes;
  1488. c->dst.ptr = (unsigned long *)register_address(c,
  1489. es_base(ctxt),
  1490. c->regs[VCPU_REGS_RDI]);
  1491. if ((rc = ops->read_emulated(register_address(c,
  1492. seg_override_base(ctxt, c),
  1493. c->regs[VCPU_REGS_RSI]),
  1494. &c->dst.val,
  1495. c->dst.bytes, ctxt->vcpu)) != 0)
  1496. goto done;
  1497. register_address_increment(c, &c->regs[VCPU_REGS_RSI],
  1498. (ctxt->eflags & EFLG_DF) ? -c->dst.bytes
  1499. : c->dst.bytes);
  1500. register_address_increment(c, &c->regs[VCPU_REGS_RDI],
  1501. (ctxt->eflags & EFLG_DF) ? -c->dst.bytes
  1502. : c->dst.bytes);
  1503. break;
  1504. case 0xa6 ... 0xa7: /* cmps */
  1505. c->src.type = OP_NONE; /* Disable writeback. */
  1506. c->src.bytes = (c->d & ByteOp) ? 1 : c->op_bytes;
  1507. c->src.ptr = (unsigned long *)register_address(c,
  1508. seg_override_base(ctxt, c),
  1509. c->regs[VCPU_REGS_RSI]);
  1510. if ((rc = ops->read_emulated((unsigned long)c->src.ptr,
  1511. &c->src.val,
  1512. c->src.bytes,
  1513. ctxt->vcpu)) != 0)
  1514. goto done;
  1515. c->dst.type = OP_NONE; /* Disable writeback. */
  1516. c->dst.bytes = (c->d & ByteOp) ? 1 : c->op_bytes;
  1517. c->dst.ptr = (unsigned long *)register_address(c,
  1518. es_base(ctxt),
  1519. c->regs[VCPU_REGS_RDI]);
  1520. if ((rc = ops->read_emulated((unsigned long)c->dst.ptr,
  1521. &c->dst.val,
  1522. c->dst.bytes,
  1523. ctxt->vcpu)) != 0)
  1524. goto done;
  1525. DPRINTF("cmps: mem1=0x%p mem2=0x%p\n", c->src.ptr, c->dst.ptr);
  1526. emulate_2op_SrcV("cmp", c->src, c->dst, ctxt->eflags);
  1527. register_address_increment(c, &c->regs[VCPU_REGS_RSI],
  1528. (ctxt->eflags & EFLG_DF) ? -c->src.bytes
  1529. : c->src.bytes);
  1530. register_address_increment(c, &c->regs[VCPU_REGS_RDI],
  1531. (ctxt->eflags & EFLG_DF) ? -c->dst.bytes
  1532. : c->dst.bytes);
  1533. break;
  1534. case 0xaa ... 0xab: /* stos */
  1535. c->dst.type = OP_MEM;
  1536. c->dst.bytes = (c->d & ByteOp) ? 1 : c->op_bytes;
  1537. c->dst.ptr = (unsigned long *)register_address(c,
  1538. es_base(ctxt),
  1539. c->regs[VCPU_REGS_RDI]);
  1540. c->dst.val = c->regs[VCPU_REGS_RAX];
  1541. register_address_increment(c, &c->regs[VCPU_REGS_RDI],
  1542. (ctxt->eflags & EFLG_DF) ? -c->dst.bytes
  1543. : c->dst.bytes);
  1544. break;
  1545. case 0xac ... 0xad: /* lods */
  1546. c->dst.type = OP_REG;
  1547. c->dst.bytes = (c->d & ByteOp) ? 1 : c->op_bytes;
  1548. c->dst.ptr = (unsigned long *)&c->regs[VCPU_REGS_RAX];
  1549. if ((rc = ops->read_emulated(register_address(c,
  1550. seg_override_base(ctxt, c),
  1551. c->regs[VCPU_REGS_RSI]),
  1552. &c->dst.val,
  1553. c->dst.bytes,
  1554. ctxt->vcpu)) != 0)
  1555. goto done;
  1556. register_address_increment(c, &c->regs[VCPU_REGS_RSI],
  1557. (ctxt->eflags & EFLG_DF) ? -c->dst.bytes
  1558. : c->dst.bytes);
  1559. break;
  1560. case 0xae ... 0xaf: /* scas */
  1561. DPRINTF("Urk! I don't handle SCAS.\n");
  1562. goto cannot_emulate;
  1563. case 0xb0 ... 0xbf: /* mov r, imm */
  1564. goto mov;
  1565. case 0xc0 ... 0xc1:
  1566. emulate_grp2(ctxt);
  1567. break;
  1568. case 0xc3: /* ret */
  1569. c->dst.ptr = &c->eip;
  1570. goto pop_instruction;
  1571. case 0xc6 ... 0xc7: /* mov (sole member of Grp11) */
  1572. mov:
  1573. c->dst.val = c->src.val;
  1574. break;
  1575. case 0xd0 ... 0xd1: /* Grp2 */
  1576. c->src.val = 1;
  1577. emulate_grp2(ctxt);
  1578. break;
  1579. case 0xd2 ... 0xd3: /* Grp2 */
  1580. c->src.val = c->regs[VCPU_REGS_RCX];
  1581. emulate_grp2(ctxt);
  1582. break;
  1583. case 0xe4: /* inb */
  1584. case 0xe5: /* in */
  1585. port = insn_fetch(u8, 1, c->eip);
  1586. io_dir_in = 1;
  1587. goto do_io;
  1588. case 0xe6: /* outb */
  1589. case 0xe7: /* out */
  1590. port = insn_fetch(u8, 1, c->eip);
  1591. io_dir_in = 0;
  1592. goto do_io;
  1593. case 0xe8: /* call (near) */ {
  1594. long int rel;
  1595. switch (c->op_bytes) {
  1596. case 2:
  1597. rel = insn_fetch(s16, 2, c->eip);
  1598. break;
  1599. case 4:
  1600. rel = insn_fetch(s32, 4, c->eip);
  1601. break;
  1602. default:
  1603. DPRINTF("Call: Invalid op_bytes\n");
  1604. goto cannot_emulate;
  1605. }
  1606. c->src.val = (unsigned long) c->eip;
  1607. jmp_rel(c, rel);
  1608. c->op_bytes = c->ad_bytes;
  1609. emulate_push(ctxt);
  1610. break;
  1611. }
  1612. case 0xe9: /* jmp rel */
  1613. goto jmp;
  1614. case 0xea: /* jmp far */ {
  1615. uint32_t eip;
  1616. uint16_t sel;
  1617. switch (c->op_bytes) {
  1618. case 2:
  1619. eip = insn_fetch(u16, 2, c->eip);
  1620. break;
  1621. case 4:
  1622. eip = insn_fetch(u32, 4, c->eip);
  1623. break;
  1624. default:
  1625. DPRINTF("jmp far: Invalid op_bytes\n");
  1626. goto cannot_emulate;
  1627. }
  1628. sel = insn_fetch(u16, 2, c->eip);
  1629. if (kvm_load_segment_descriptor(ctxt->vcpu, sel, 9, VCPU_SREG_CS) < 0) {
  1630. DPRINTF("jmp far: Failed to load CS descriptor\n");
  1631. goto cannot_emulate;
  1632. }
  1633. c->eip = eip;
  1634. break;
  1635. }
  1636. case 0xeb:
  1637. jmp: /* jmp rel short */
  1638. jmp_rel(c, c->src.val);
  1639. c->dst.type = OP_NONE; /* Disable writeback. */
  1640. break;
  1641. case 0xec: /* in al,dx */
  1642. case 0xed: /* in (e/r)ax,dx */
  1643. port = c->regs[VCPU_REGS_RDX];
  1644. io_dir_in = 1;
  1645. goto do_io;
  1646. case 0xee: /* out al,dx */
  1647. case 0xef: /* out (e/r)ax,dx */
  1648. port = c->regs[VCPU_REGS_RDX];
  1649. io_dir_in = 0;
  1650. do_io: if (kvm_emulate_pio(ctxt->vcpu, NULL, io_dir_in,
  1651. (c->d & ByteOp) ? 1 : c->op_bytes,
  1652. port) != 0) {
  1653. c->eip = saved_eip;
  1654. goto cannot_emulate;
  1655. }
  1656. return 0;
  1657. case 0xf4: /* hlt */
  1658. ctxt->vcpu->arch.halt_request = 1;
  1659. break;
  1660. case 0xf5: /* cmc */
  1661. /* complement carry flag from eflags reg */
  1662. ctxt->eflags ^= EFLG_CF;
  1663. c->dst.type = OP_NONE; /* Disable writeback. */
  1664. break;
  1665. case 0xf6 ... 0xf7: /* Grp3 */
  1666. rc = emulate_grp3(ctxt, ops);
  1667. if (rc != 0)
  1668. goto done;
  1669. break;
  1670. case 0xf8: /* clc */
  1671. ctxt->eflags &= ~EFLG_CF;
  1672. c->dst.type = OP_NONE; /* Disable writeback. */
  1673. break;
  1674. case 0xfa: /* cli */
  1675. ctxt->eflags &= ~X86_EFLAGS_IF;
  1676. c->dst.type = OP_NONE; /* Disable writeback. */
  1677. break;
  1678. case 0xfb: /* sti */
  1679. ctxt->eflags |= X86_EFLAGS_IF;
  1680. c->dst.type = OP_NONE; /* Disable writeback. */
  1681. break;
  1682. case 0xfc: /* cld */
  1683. ctxt->eflags &= ~EFLG_DF;
  1684. c->dst.type = OP_NONE; /* Disable writeback. */
  1685. break;
  1686. case 0xfd: /* std */
  1687. ctxt->eflags |= EFLG_DF;
  1688. c->dst.type = OP_NONE; /* Disable writeback. */
  1689. break;
  1690. case 0xfe ... 0xff: /* Grp4/Grp5 */
  1691. rc = emulate_grp45(ctxt, ops);
  1692. if (rc != 0)
  1693. goto done;
  1694. break;
  1695. }
  1696. writeback:
  1697. rc = writeback(ctxt, ops);
  1698. if (rc != 0)
  1699. goto done;
  1700. /* Commit shadow register state. */
  1701. memcpy(ctxt->vcpu->arch.regs, c->regs, sizeof c->regs);
  1702. kvm_rip_write(ctxt->vcpu, c->eip);
  1703. done:
  1704. if (rc == X86EMUL_UNHANDLEABLE) {
  1705. c->eip = saved_eip;
  1706. return -1;
  1707. }
  1708. return 0;
  1709. twobyte_insn:
  1710. switch (c->b) {
  1711. case 0x01: /* lgdt, lidt, lmsw */
  1712. switch (c->modrm_reg) {
  1713. u16 size;
  1714. unsigned long address;
  1715. case 0: /* vmcall */
  1716. if (c->modrm_mod != 3 || c->modrm_rm != 1)
  1717. goto cannot_emulate;
  1718. rc = kvm_fix_hypercall(ctxt->vcpu);
  1719. if (rc)
  1720. goto done;
  1721. /* Let the processor re-execute the fixed hypercall */
  1722. c->eip = kvm_rip_read(ctxt->vcpu);
  1723. /* Disable writeback. */
  1724. c->dst.type = OP_NONE;
  1725. break;
  1726. case 2: /* lgdt */
  1727. rc = read_descriptor(ctxt, ops, c->src.ptr,
  1728. &size, &address, c->op_bytes);
  1729. if (rc)
  1730. goto done;
  1731. realmode_lgdt(ctxt->vcpu, size, address);
  1732. /* Disable writeback. */
  1733. c->dst.type = OP_NONE;
  1734. break;
  1735. case 3: /* lidt/vmmcall */
  1736. if (c->modrm_mod == 3 && c->modrm_rm == 1) {
  1737. rc = kvm_fix_hypercall(ctxt->vcpu);
  1738. if (rc)
  1739. goto done;
  1740. kvm_emulate_hypercall(ctxt->vcpu);
  1741. } else {
  1742. rc = read_descriptor(ctxt, ops, c->src.ptr,
  1743. &size, &address,
  1744. c->op_bytes);
  1745. if (rc)
  1746. goto done;
  1747. realmode_lidt(ctxt->vcpu, size, address);
  1748. }
  1749. /* Disable writeback. */
  1750. c->dst.type = OP_NONE;
  1751. break;
  1752. case 4: /* smsw */
  1753. c->dst.bytes = 2;
  1754. c->dst.val = realmode_get_cr(ctxt->vcpu, 0);
  1755. break;
  1756. case 6: /* lmsw */
  1757. realmode_lmsw(ctxt->vcpu, (u16)c->src.val,
  1758. &ctxt->eflags);
  1759. c->dst.type = OP_NONE;
  1760. break;
  1761. case 7: /* invlpg*/
  1762. emulate_invlpg(ctxt->vcpu, memop);
  1763. /* Disable writeback. */
  1764. c->dst.type = OP_NONE;
  1765. break;
  1766. default:
  1767. goto cannot_emulate;
  1768. }
  1769. break;
  1770. case 0x06:
  1771. emulate_clts(ctxt->vcpu);
  1772. c->dst.type = OP_NONE;
  1773. break;
  1774. case 0x08: /* invd */
  1775. case 0x09: /* wbinvd */
  1776. case 0x0d: /* GrpP (prefetch) */
  1777. case 0x18: /* Grp16 (prefetch/nop) */
  1778. c->dst.type = OP_NONE;
  1779. break;
  1780. case 0x20: /* mov cr, reg */
  1781. if (c->modrm_mod != 3)
  1782. goto cannot_emulate;
  1783. c->regs[c->modrm_rm] =
  1784. realmode_get_cr(ctxt->vcpu, c->modrm_reg);
  1785. c->dst.type = OP_NONE; /* no writeback */
  1786. break;
  1787. case 0x21: /* mov from dr to reg */
  1788. if (c->modrm_mod != 3)
  1789. goto cannot_emulate;
  1790. rc = emulator_get_dr(ctxt, c->modrm_reg, &c->regs[c->modrm_rm]);
  1791. if (rc)
  1792. goto cannot_emulate;
  1793. c->dst.type = OP_NONE; /* no writeback */
  1794. break;
  1795. case 0x22: /* mov reg, cr */
  1796. if (c->modrm_mod != 3)
  1797. goto cannot_emulate;
  1798. realmode_set_cr(ctxt->vcpu,
  1799. c->modrm_reg, c->modrm_val, &ctxt->eflags);
  1800. c->dst.type = OP_NONE;
  1801. break;
  1802. case 0x23: /* mov from reg to dr */
  1803. if (c->modrm_mod != 3)
  1804. goto cannot_emulate;
  1805. rc = emulator_set_dr(ctxt, c->modrm_reg,
  1806. c->regs[c->modrm_rm]);
  1807. if (rc)
  1808. goto cannot_emulate;
  1809. c->dst.type = OP_NONE; /* no writeback */
  1810. break;
  1811. case 0x30:
  1812. /* wrmsr */
  1813. msr_data = (u32)c->regs[VCPU_REGS_RAX]
  1814. | ((u64)c->regs[VCPU_REGS_RDX] << 32);
  1815. rc = kvm_set_msr(ctxt->vcpu, c->regs[VCPU_REGS_RCX], msr_data);
  1816. if (rc) {
  1817. kvm_inject_gp(ctxt->vcpu, 0);
  1818. c->eip = kvm_rip_read(ctxt->vcpu);
  1819. }
  1820. rc = X86EMUL_CONTINUE;
  1821. c->dst.type = OP_NONE;
  1822. break;
  1823. case 0x32:
  1824. /* rdmsr */
  1825. rc = kvm_get_msr(ctxt->vcpu, c->regs[VCPU_REGS_RCX], &msr_data);
  1826. if (rc) {
  1827. kvm_inject_gp(ctxt->vcpu, 0);
  1828. c->eip = kvm_rip_read(ctxt->vcpu);
  1829. } else {
  1830. c->regs[VCPU_REGS_RAX] = (u32)msr_data;
  1831. c->regs[VCPU_REGS_RDX] = msr_data >> 32;
  1832. }
  1833. rc = X86EMUL_CONTINUE;
  1834. c->dst.type = OP_NONE;
  1835. break;
  1836. case 0x40 ... 0x4f: /* cmov */
  1837. c->dst.val = c->dst.orig_val = c->src.val;
  1838. if (!test_cc(c->b, ctxt->eflags))
  1839. c->dst.type = OP_NONE; /* no writeback */
  1840. break;
  1841. case 0x80 ... 0x8f: /* jnz rel, etc*/ {
  1842. long int rel;
  1843. switch (c->op_bytes) {
  1844. case 2:
  1845. rel = insn_fetch(s16, 2, c->eip);
  1846. break;
  1847. case 4:
  1848. rel = insn_fetch(s32, 4, c->eip);
  1849. break;
  1850. case 8:
  1851. rel = insn_fetch(s64, 8, c->eip);
  1852. break;
  1853. default:
  1854. DPRINTF("jnz: Invalid op_bytes\n");
  1855. goto cannot_emulate;
  1856. }
  1857. if (test_cc(c->b, ctxt->eflags))
  1858. jmp_rel(c, rel);
  1859. c->dst.type = OP_NONE;
  1860. break;
  1861. }
  1862. case 0xa3:
  1863. bt: /* bt */
  1864. c->dst.type = OP_NONE;
  1865. /* only subword offset */
  1866. c->src.val &= (c->dst.bytes << 3) - 1;
  1867. emulate_2op_SrcV_nobyte("bt", c->src, c->dst, ctxt->eflags);
  1868. break;
  1869. case 0xab:
  1870. bts: /* bts */
  1871. /* only subword offset */
  1872. c->src.val &= (c->dst.bytes << 3) - 1;
  1873. emulate_2op_SrcV_nobyte("bts", c->src, c->dst, ctxt->eflags);
  1874. break;
  1875. case 0xae: /* clflush */
  1876. break;
  1877. case 0xb0 ... 0xb1: /* cmpxchg */
  1878. /*
  1879. * Save real source value, then compare EAX against
  1880. * destination.
  1881. */
  1882. c->src.orig_val = c->src.val;
  1883. c->src.val = c->regs[VCPU_REGS_RAX];
  1884. emulate_2op_SrcV("cmp", c->src, c->dst, ctxt->eflags);
  1885. if (ctxt->eflags & EFLG_ZF) {
  1886. /* Success: write back to memory. */
  1887. c->dst.val = c->src.orig_val;
  1888. } else {
  1889. /* Failure: write the value we saw to EAX. */
  1890. c->dst.type = OP_REG;
  1891. c->dst.ptr = (unsigned long *)&c->regs[VCPU_REGS_RAX];
  1892. }
  1893. break;
  1894. case 0xb3:
  1895. btr: /* btr */
  1896. /* only subword offset */
  1897. c->src.val &= (c->dst.bytes << 3) - 1;
  1898. emulate_2op_SrcV_nobyte("btr", c->src, c->dst, ctxt->eflags);
  1899. break;
  1900. case 0xb6 ... 0xb7: /* movzx */
  1901. c->dst.bytes = c->op_bytes;
  1902. c->dst.val = (c->d & ByteOp) ? (u8) c->src.val
  1903. : (u16) c->src.val;
  1904. break;
  1905. case 0xba: /* Grp8 */
  1906. switch (c->modrm_reg & 3) {
  1907. case 0:
  1908. goto bt;
  1909. case 1:
  1910. goto bts;
  1911. case 2:
  1912. goto btr;
  1913. case 3:
  1914. goto btc;
  1915. }
  1916. break;
  1917. case 0xbb:
  1918. btc: /* btc */
  1919. /* only subword offset */
  1920. c->src.val &= (c->dst.bytes << 3) - 1;
  1921. emulate_2op_SrcV_nobyte("btc", c->src, c->dst, ctxt->eflags);
  1922. break;
  1923. case 0xbe ... 0xbf: /* movsx */
  1924. c->dst.bytes = c->op_bytes;
  1925. c->dst.val = (c->d & ByteOp) ? (s8) c->src.val :
  1926. (s16) c->src.val;
  1927. break;
  1928. case 0xc3: /* movnti */
  1929. c->dst.bytes = c->op_bytes;
  1930. c->dst.val = (c->op_bytes == 4) ? (u32) c->src.val :
  1931. (u64) c->src.val;
  1932. break;
  1933. case 0xc7: /* Grp9 (cmpxchg8b) */
  1934. rc = emulate_grp9(ctxt, ops, memop);
  1935. if (rc != 0)
  1936. goto done;
  1937. c->dst.type = OP_NONE;
  1938. break;
  1939. }
  1940. goto writeback;
  1941. cannot_emulate:
  1942. DPRINTF("Cannot emulate %02x\n", c->b);
  1943. c->eip = saved_eip;
  1944. return -1;
  1945. }