├── LICENSE
├── README.md
├── validate_xml.py
├── x86reference.dtd
├── x86reference.xml
└── x86reference.xsd


/LICENSE:
--------------------------------------------------------------------------------
  1 |                    GNU LESSER GENERAL PUBLIC LICENSE
  2 |                        Version 3, 29 June 2007
  3 | 
  4 |  Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/>
  5 |  Everyone is permitted to copy and distribute verbatim copies
  6 |  of this license document, but changing it is not allowed.
  7 | 
  8 | 
  9 |   This version of the GNU Lesser General Public License incorporates
 10 | the terms and conditions of version 3 of the GNU General Public
 11 | License, supplemented by the additional permissions listed below.
 12 | 
 13 |   0. Additional Definitions.
 14 | 
 15 |   As used herein, "this License" refers to version 3 of the GNU Lesser
 16 | General Public License, and the "GNU GPL" refers to version 3 of the GNU
 17 | General Public License.
 18 | 
 19 |   "The Library" refers to a covered work governed by this License,
 20 | other than an Application or a Combined Work as defined below.
 21 | 
 22 |   An "Application" is any work that makes use of an interface provided
 23 | by the Library, but which is not otherwise based on the Library.
 24 | Defining a subclass of a class defined by the Library is deemed a mode
 25 | of using an interface provided by the Library.
 26 | 
 27 |   A "Combined Work" is a work produced by combining or linking an
 28 | Application with the Library.  The particular version of the Library
 29 | with which the Combined Work was made is also called the "Linked
 30 | Version".
 31 | 
 32 |   The "Minimal Corresponding Source" for a Combined Work means the
 33 | Corresponding Source for the Combined Work, excluding any source code
 34 | for portions of the Combined Work that, considered in isolation, are
 35 | based on the Application, and not on the Linked Version.
 36 | 
 37 |   The "Corresponding Application Code" for a Combined Work means the
 38 | object code and/or source code for the Application, including any data
 39 | and utility programs needed for reproducing the Combined Work from the
 40 | Application, but excluding the System Libraries of the Combined Work.
 41 | 
 42 |   1. Exception to Section 3 of the GNU GPL.
 43 | 
 44 |   You may convey a covered work under sections 3 and 4 of this License
 45 | without being bound by section 3 of the GNU GPL.
 46 | 
 47 |   2. Conveying Modified Versions.
 48 | 
 49 |   If you modify a copy of the Library, and, in your modifications, a
 50 | facility refers to a function or data to be supplied by an Application
 51 | that uses the facility (other than as an argument passed when the
 52 | facility is invoked), then you may convey a copy of the modified
 53 | version:
 54 | 
 55 |    a) under this License, provided that you make a good faith effort to
 56 |    ensure that, in the event an Application does not supply the
 57 |    function or data, the facility still operates, and performs
 58 |    whatever part of its purpose remains meaningful, or
 59 | 
 60 |    b) under the GNU GPL, with none of the additional permissions of
 61 |    this License applicable to that copy.
 62 | 
 63 |   3. Object Code Incorporating Material from Library Header Files.
 64 | 
 65 |   The object code form of an Application may incorporate material from
 66 | a header file that is part of the Library.  You may convey such object
 67 | code under terms of your choice, provided that, if the incorporated
 68 | material is not limited to numerical parameters, data structure
 69 | layouts and accessors, or small macros, inline functions and templates
 70 | (ten or fewer lines in length), you do both of the following:
 71 | 
 72 |    a) Give prominent notice with each copy of the object code that the
 73 |    Library is used in it and that the Library and its use are
 74 |    covered by this License.
 75 | 
 76 |    b) Accompany the object code with a copy of the GNU GPL and this license
 77 |    document.
 78 | 
 79 |   4. Combined Works.
 80 | 
 81 |   You may convey a Combined Work under terms of your choice that,
 82 | taken together, effectively do not restrict modification of the
 83 | portions of the Library contained in the Combined Work and reverse
 84 | engineering for debugging such modifications, if you also do each of
 85 | the following:
 86 | 
 87 |    a) Give prominent notice with each copy of the Combined Work that
 88 |    the Library is used in it and that the Library and its use are
 89 |    covered by this License.
 90 | 
 91 |    b) Accompany the Combined Work with a copy of the GNU GPL and this license
 92 |    document.
 93 | 
 94 |    c) For a Combined Work that displays copyright notices during
 95 |    execution, include the copyright notice for the Library among
 96 |    these notices, as well as a reference directing the user to the
 97 |    copies of the GNU GPL and this license document.
 98 | 
 99 |    d) Do one of the following:
100 | 
101 |        0) Convey the Minimal Corresponding Source under the terms of this
102 |        License, and the Corresponding Application Code in a form
103 |        suitable for, and under terms that permit, the user to
104 |        recombine or relink the Application with a modified version of
105 |        the Linked Version to produce a modified Combined Work, in the
106 |        manner specified by section 6 of the GNU GPL for conveying
107 |        Corresponding Source.
108 | 
109 |        1) Use a suitable shared library mechanism for linking with the
110 |        Library.  A suitable mechanism is one that (a) uses at run time
111 |        a copy of the Library already present on the user's computer
112 |        system, and (b) will operate properly with a modified version
113 |        of the Library that is interface-compatible with the Linked
114 |        Version.
115 | 
116 |    e) Provide Installation Information, but only if you would otherwise
117 |    be required to provide such information under section 6 of the
118 |    GNU GPL, and only to the extent that such information is
119 |    necessary to install and execute a modified version of the
120 |    Combined Work produced by recombining or relinking the
121 |    Application with a modified version of the Linked Version. (If
122 |    you use option 4d0, the Installation Information must accompany
123 |    the Minimal Corresponding Source and Corresponding Application
124 |    Code. If you use option 4d1, you must provide the Installation
125 |    Information in the manner specified by section 6 of the GNU GPL
126 |    for conveying Corresponding Source.)
127 | 
128 |   5. Combined Libraries.
129 | 
130 |   You may place library facilities that are a work based on the
131 | Library side by side in a single library together with other library
132 | facilities that are not Applications and are not covered by this
133 | License, and convey such a combined library under terms of your
134 | choice, if you do both of the following:
135 | 
136 |    a) Accompany the combined library with a copy of the same work based
137 |    on the Library, uncombined with any other library facilities,
138 |    conveyed under the terms of this License.
139 | 
140 |    b) Give prominent notice with the combined library that part of it
141 |    is a work based on the Library, and explaining where to find the
142 |    accompanying uncombined form of the same work.
143 | 
144 |   6. Revised Versions of the GNU Lesser General Public License.
145 | 
146 |   The Free Software Foundation may publish revised and/or new versions
147 | of the GNU Lesser General Public License from time to time. Such new
148 | versions will be similar in spirit to the present version, but may
149 | differ in detail to address new problems or concerns.
150 | 
151 |   Each version is given a distinguishing version number. If the
152 | Library as you received it specifies that a certain numbered version
153 | of the GNU Lesser General Public License "or any later version"
154 | applies to it, you have the option of following the terms and
155 | conditions either of that published version or of any later version
156 | published by the Free Software Foundation. If the Library as you
157 | received it does not specify a version number of the GNU Lesser
158 | General Public License, you may choose any version of the GNU Lesser
159 | General Public License ever published by the Free Software Foundation.
160 | 
161 |   If the Library as you received it specifies that a proxy can decide
162 | whether future versions of the GNU Lesser General Public License shall
163 | apply, that proxy's public statement of acceptance of any version is
164 | permanent authorization for you to choose that version for the
165 | Library.
166 | 


--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
1 | # The contents of this repository have been moved
2 | 
3 | See: https://github.com/mazegen/x86reference
4 | 
5 | This repository will be deleted in future.
6 | 


--------------------------------------------------------------------------------
/validate_xml.py:
--------------------------------------------------------------------------------
 1 | # just a quick validator
 2 | 
 3 | import xmlschema   # pip install xmlschema
 4 | 
 5 | XML_FILE = 'x86reference.xml'
 6 | XSD_FILE = 'x86reference.xsd'
 7 | 
 8 | schema = xmlschema.XMLSchema(XSD_FILE)
 9 | 
10 | try:
11 |     schema.validate(XML_FILE)
12 |     print(f"{XML_FILE} validates against {XSD_FILE}")
13 | except xmlschema.XMLSchemaValidationError as e:
14 |     print(f"{XML_FILE} failed to validate against {XSD_FILE}")
15 |     print(f"error: {e}")
16 |     print(f"element: {e.elem}")
17 |     print(f"path: {e.path}")
18 | except Exception as e:
19 |     print(f"an unexpected error occurred during validation of {XML_FILE}")
20 |     print(f"error: {e}")
21 | 


--------------------------------------------------------------------------------
/x86reference.dtd:
--------------------------------------------------------------------------------
  1 | <?xml version="1.0" encoding="UTF-8"?>
  2 | 
  3 | <!-- The reference uses XML Schema now, DTD is here only for backward compatibility -->
  4 | 
  5 | <!-- Visit http://ref.x86asm.net -->
  6 | 
  7 | <!-- revision 1.11 -->
  8 | 
  9 |  <!-- Elements -->
 10 | 
 11 |  <!-- 1st level -->
 12 | 
 13 |  <!-- x86reference: root element -->
 14 | 
 15 | <!ELEMENT x86reference (one-byte, two-byte, gen_notes, ring_notes)>
 16 | 
 17 |  <!-- 2nd level -->
 18 | 
 19 |  <!-- one-byte and two-byte: using this emelents is the reference -->
 20 |  <!-- divided among two main parts, one-byte opcodes and two-byte -->
 21 |  <!-- opcodes -->
 22 | 
 23 | <!ELEMENT one-byte	(pri_opcd+)>
 24 | <!ELEMENT two-byte	(pri_opcd+)>
 25 | 
 26 |  <!-- gen_notes: general notes, referenced when some content needs -->
 27 |  <!-- further explanation -->
 28 | 
 29 | <!ELEMENT gen_notes	(gen_note+)>
 30 | 
 31 |  <!-- ring notes: further determinative conditions referenced from the -->
 32 |  <!-- entry element, ring_ref attribute with the value "f" -->
 33 | 
 34 | <!ELEMENT ring_notes	(ring_note+)>
 35 | 
 36 |  <!-- 3rd level-->
 37 | 
 38 |  <!-- pri_opcd: wraps all informations about single primary opcode -->
 39 |  <!-- note: proc_start and proc_end could't be attributes of -->
 40 |  <!-- pri_opcode, because they can be overriden by the same -->
 41 |  <!-- elements in entry element -->
 42 |  <!-- note: proc_end at this level can never be overriden by -->
 43 |  <!-- entry/proc_end with latter processor -->
 44 | 
 45 | <!ELEMENT pri_opcd	(proc_start?, proc_end?, entry+)>
 46 | 
 47 |  <!-- gen_note and ring_note: single entry for -->
 48 |  <!-- gen_notes and ring_notes element -->
 49 | 
 50 | <!ELEMENT gen_note	EMPTY>
 51 | <!ELEMENT ring_note	EMPTY>
 52 | 
 53 |  <!-- 4th level-->
 54 | 
 55 |  <!-- entry: wraps all informations about single opcode extension, -->
 56 |  <!-- single mod variant {to be revised} and single semantic (i.e. single -->
 57 |  <!-- prefix or single secondary opcode);-->
 58 |  <!-- more syntaxes are inside one entry element -->
 59 | 
 60 | <!ELEMENT entry		(
 61 | 			opcd_ext?,
 62 | 			pref?, sec_opcd?,
 63 | 			proc_start?, proc_end?,
 64 | 			syntax+,
 65 | 			instr_ext?, grp1?, grp2*, grp3*,
 66 | 			test_f?, modif_f?, def_f?, undef_f?, f_vals?,
 67 | 			test_f_fpu?, modif_f_fpu?, def_f_fpu?, undef_f_fpu?, f_vals_fpu?,
 68 | 			note?)>
 69 | 
 70 |  <!-- 5th level -->
 71 | 
 72 |  <!-- quote: quoted text -->
 73 | 
 74 | <!ELEMENT quote		(#PCDATA)>
 75 | 
 76 |  <!-- opcd_ext: opcode extension; if present, only one per entry -->
 77 |  <!-- element -->
 78 | 
 79 | <!ELEMENT opcd_ext	(#PCDATA)>
 80 | 
 81 |  <!-- pref: prefix; doesn't always match the meaning of a prefix from -->
 82 |  <!-- the Intel manuals. This is simply the value which always -->
 83 |  <!-- precede the primary opcode -->
 84 | 
 85 | <!ELEMENT pref		(#PCDATA)>
 86 | 
 87 |  <!-- sec_opcd: secondary opcode; fixed, appended value to the primary -->
 88 |  <!-- opcode -->
 89 | 
 90 | <!ELEMENT sec_opcd	(#PCDATA)>
 91 | 
 92 |  <!-- proc_start: opcode's introductory processor -->
 93 | 
 94 | <!ELEMENT proc_start	(#PCDATA)>
 95 | 
 96 |  <!-- proc_end: opcode's terminating processor -->
 97 | 
 98 | <!ELEMENT proc_end 	(#PCDATA)>
 99 | 
100 |  <!-- processor codes:
101 |  00 - 8086
102 |  01 - 80186
103 |  02 - 80286
104 |  03 - 80386
105 |  04 - 80486
106 |  05 - Pentium 1
107 |  06 - Pentium with MMX
108 |  07 - Pentium Pro
109 |  08 - Pentium II
110 |  09 - Pentium III
111 |  10 - Pentium 4
112 |  11 - Core 1
113 |  12 - Core 2
114 |  13 - Core i7
115 |  99 - Itanium
116 |  -->
117 | 
118 |  <!-- instr_ext: instruction extension, which the opcode belongs to -->
119 | 
120 | <!ELEMENT instr_ext	(#PCDATA)>
121 | 
122 |  <!-- grp1, grp2, grp3: main group, sub-group, sub-sub-group: -->
123 |  <!-- classifies the opcode among groups; these groups don't match the -->
124 |  <!-- instruction groups given by the Intel manual; one instruction may -->
125 |  <!-- fit into more groups -->
126 | 
127 | <!ELEMENT grp1 		(#PCDATA)>
128 | <!ELEMENT grp2 		(#PCDATA)>
129 | <!ELEMENT grp3 		(#PCDATA)>
130 | 
131 |  <!-- test_f, modif_f, def_f, and undef_f: tested, modified, defined, -->
132 |  <!-- and undefined flags in rFlags register; marks these flags using -->
133 |  <!-- case-sensitive "odiszapc" flag pattern. Present flag fits in with -->
134 |  <!-- the appropriate group -->
135 | 
136 | <!ELEMENT test_f	(#PCDATA)>
137 | <!ELEMENT modif_f	(#PCDATA)>
138 | <!ELEMENT def_f		(#PCDATA)>
139 | <!ELEMENT undef_f	(#PCDATA)>
140 | 
141 |  <!-- f_vals: flag values in rFlags register; marks the values of flags, -->
142 |  <!-- which are always set or cleared, using case-sensitive odiszapc -->
143 |  <!-- flag pattern -->
144 | 
145 | <!ELEMENT f_vals	(#PCDATA)>
146 | 
147 |  <!-- test_f_fpu, modif_f_fpu, def_f_fpu, and undef_f_fpu: tested, -->
148 |  <!-- modified, defined, and undefined flags in x87 fpu flags; marks -->
149 |  <!-- these flags using 0123 fpu flag pattern; present flag fits in -->
150 |  <!-- with the appropriate group -->
151 | 
152 | <!ELEMENT test_f_fpu	(#PCDATA)>
153 | <!ELEMENT modif_f_fpu	(#PCDATA)>
154 | <!ELEMENT def_f_fpu	(#PCDATA)>
155 | <!ELEMENT undef_f_fpu	(#PCDATA)>
156 | 
157 |  <!-- f_vals_fpu: flag values in x87 fpu flags; marks these flags using -->
158 |  <!-- 0123 fpu flag pattern; present flag holds its value -->
159 | 
160 | <!ELEMENT f_vals_fpu	(#PCDATA)>
161 | 
162 |  <!-- note: description and notes (brief and detailed) -->
163 | 
164 | <!ELEMENT note 			(brief, det?)>
165 | 
166 |  <!-- syntax: instruction syntax; there may be more syntaxes for one -->
167 |  <!-- opcode; the syntax may be empty -->
168 | 
169 | <!ELEMENT syntax	(
170 | 			mnem?,
171 | 			dst*,
172 | 			src*)>
173 | 
174 | <!ELEMENT brief		(#PCDATA|sup|sub)*>
175 | <!ELEMENT det		(#PCDATA|op1|op2|op3|op4)*>   <!-- op* intended for future use -->
176 | 
177 |  <!-- 6th level -->
178 | 
179 |  <!-- mnem: instruction mnemonic -->
180 | 
181 | <!ELEMENT mnem		(#PCDATA)>
182 | 
183 |  <!-- dst: destination (modified) operand -->
184 | 
185 | <!ELEMENT dst 		(#PCDATA|a|t)*>
186 | 
187 |  <!-- src: source (not modified) operand -->
188 | 
189 | <!ELEMENT src 		(#PCDATA|a|t)*>
190 | 
191 |  <!-- note/brief/sup and note/brief/sub: superscript and subscript -->
192 | 
193 | <!ELEMENT sup		(#PCDATA)>
194 | <!ELEMENT sub		(#PCDATA)>
195 | 
196 | <!ELEMENT op1		EMPTY>
197 | <!ELEMENT op2		EMPTY>
198 | <!ELEMENT op3		EMPTY>
199 | <!ELEMENT op4		EMPTY>
200 | 
201 |  <!-- 7th level -->
202 | 
203 | <!ELEMENT a		(#PCDATA)>
204 | <!ELEMENT t		(#PCDATA)>
205 | 
206 |  <!-- Attributes -->
207 | 
208 |  <!-- x86reference@version: current version (completeness) of the reference -->
209 | 
210 | <!ATTLIST x86reference	version			NMTOKEN			#IMPLIED>
211 | 
212 |  <!--  two-byte@id: used only as an anchor for 0F opcode -->
213 | 
214 | <!ATTLIST two-byte	xml:id			ID			#REQUIRED>
215 | 
216 |  <!-- gen_note@id, and ring_note@id: anchors for notes -->
217 | 
218 | <!ATTLIST gen_note	id			ID			#REQUIRED>
219 | <!ATTLIST ring_note	id			ID			#REQUIRED>
220 | 
221 |  <!-- pri_opcd@value: primary opcode value itself -->
222 | 
223 | <!ATTLIST pri_opcd	value			NMTOKEN			#REQUIRED>
224 | 
225 |  <!-- DEPRECATED since 1.11, unnecessary, will be removed in future:
226 |       proc_start@post: is valid also on posterior processors? -->
227 |  <!-- proc_start@lat_step: is valid only in latter steppings of the processor? -->
228 | 
229 | <!ATTLIST proc_start	post			(no)			#IMPLIED>   <!-- "yes" is implied -->
230 | <!ATTLIST proc_start	lat_step		(yes) 			#IMPLIED>   <!-- "no" is implied -->
231 | 
232 |  <!-- entry -->
233 |  <!-- - bit fields present in the primary opcode -->
234 |  <!-- entry@direction: means bit d (bit index 1, Direction); may be combined with bit w -->
235 |  <!-- entry@sign-ext: means bit s (bit index 1, Sign-extend); may be combined with bit w -->
236 |  <!-- entry@op_size: means bit w (bit index 0, operand size) is present; may be combined with bits d and s -->
237 |  <!-- entry@tttn: means bit field tttn (4 bits, bit index 0, condition); used only with conditional instructions -->
238 |  <!-- entry@mem_format: means bit field MF - memory format (2 bits, bit index 1); used only with x87 FPU instructions -->
239 |  <!--                   coded with second floating-point instruction format -->
240 |  <!-- entry@r: does the ModR/M byte of the instruction contain a register operand and an r/m operand? -->
241 |  <!-- entry@mod: mod is always 11bin (nomem) or different from 11bin (mem); there is also a default value because -->
242 |  <!--            it simplifies its testing in XSL -->
243 |  <!-- entry@ref: referrer (for example, it refers to two-byte element from the opcode 0F) -->
244 |  <!-- [unused, removed] entry@id: an anchor for its aliases -->
245 |  <!-- entry@alias: the opcode is just an alias for the referenced opcode (format: -->
246 |  <!--              <two-char_or_four-char_hex_opcode>_<one-char_hex_opcode_extension>) -->
247 |  <!-- entry@part_alias: the opcode is not true alias for the referenced opcode (format: see @alias) -->
248 |  <!-- entry@doc_part_alias_ref: refers to the description of the not-true alias -->
249 |  <!-- entry@lock: is the opcode generally valid with the lock prefix? -->
250 |  <!-- [unused, removed] entry@rep: is the behavior of the opcode defined with rep/repcc prefix? -->
251 |  <!-- entry@attr: other attributes of the opcode: -->
252 |  <!--             invd: the opcode is invalid -->
253 |  <!--             undef: the behaviour of the opcode is always undefined (e. g., SALC) -->
254 |  <!--             null (only prefixes): the prefix has no meaning (no operation) -->
255 |  <!--             nop (nop instructions and obsolete x87 FPU instructions): -->
256 |  <!--                  the instruction is treated as integer NOP instruction; it should contain a reference to and -->
257 |  <!--                  the title with the source (doc_ref attribute should be used) -->
258 |  <!--             acc: the opcode is optimized for the accumulator (e.g., 0x04 or 0x05) -->
259 |  <!--             serial: the opcode is serializing (CPUID; IRET; RSM; MOV Ddqp; WRMSR; INVD, INVLPG, WBINWD; LGDT; -->
260 |  <!--                     LLDT; LIDT; LTR; LMSW) -->
261 |  <!--             serial_cond: same as serial, but under further conditions (only MOV Cq) -->
262 |  <!--             delaysint: the opcode delays recognition of interrupts until after execution of the next instruction -->
263 |  <!--                        (only POP SS) -->
264 |  <!--             delaysint_cond: same as delaysint, but under further conditions (only STI) -->
265 |  <!-- entry@doc: marks how is the instruction documented in the Intel manuals: -->
266 |  <!--            d: fully documented; it can contain a reference to and a title with the chapter, where -->
267 |  <!--               the instruction is documented, if it may be unclear (doc_ref attribute should be used) -->
268 |  <!--            m: only marginally (e.g., meaning of prefix 66hex when used with SSE instruction extensions) -->
269 |  <!--            u: undocumented at all; it should contain a reference to and a title with the source -->
270 |  <!--               (e.g., SALC, INT1) (doc_ref attribute should be used) -->
271 |  <!-- entry@doc_ref: refers to the additional notes about the documentation state, for all modes -->
272 |  <!-- entry@doc1632_ref: same like doc_ref, applies for outside 64-bit mode -->
273 |  <!-- entry@doc64_ref: same like doc_ref, applies only for 64-bit mode -->
274 |  <!-- entry@ring: The ring level, from which is the instruction valid (3 or 0), or indicates using f mark that -->
275 |  <!--             the level depends on a flag(s) (e.g., IN: rFLAGS.IOPL). It should contain a title with and -->
276 |  <!--             a reference to the description of that flag, if the flag is not complex (ring_ref attribute should -->
277 |  <!--             be used). -->
278 |  <!--             The title is useful in electronic use, the reference is necessary in printed version. -->
279 |  <!-- entry@ring_ref: refers to the description of the flag -->
280 |  <!-- entry@mode: Mode of Operation: marks the mode, in which is the opcode valid: -->
281 |  <!--             r: valid in real, protected and 64-bit mode; SMM is not taken into account -->
282 |  <!--             p: valid only in protected and 64-bit mode; SMM is not taken into account -->
283 |  <!--             e: valid only in 64-bit mode; SMM is not taken into account -->
284 |  <!--             s: valid only in SMM (only RSM) -->
285 |  <!--             This element with @mode 'e' must be always behind -->
286 |  <!--             the same sibling element with other @mode value -->
287 |  <!-- entry@fpop: Number of pops of the x87 FPU register stack (once, twice). Such explicit way is used because some -->
288 |  <!--             x87 FPU mnemonics don't indicate it directly (e. g., FPATAN) -->
289 |  <!-- entry@particular: "yes" indicates very specific, or special, meaning of the opcode; such meaning can be omitted -->
290 |  <!--                   in, for example, less strict disassembler -->
291 | 
292 | 
293 | <!ATTLIST entry		direction		(0|1)				#IMPLIED>
294 | <!ATTLIST entry		sign-ext		(0|1)				#IMPLIED>
295 | <!ATTLIST entry		op_size			(0|1)				#IMPLIED>
296 | <!ATTLIST entry		tttn			(
297 | 						0000|0001|0010|0011|0100|0101|
298 | 						0110|0111|1000|1001|1010|1011|
299 | 						1100|1101|1110|1111
300 | 						)				#IMPLIED>
301 | <!ATTLIST entry		mem_format		(00|01|10|11)			#IMPLIED>
302 | 
303 | <!ATTLIST entry		r			(yes)				#IMPLIED>   <!-- "no" is implied -->
304 | 
305 | <!ATTLIST entry		mod			(nomem|mem)			#IMPLIED>
306 | <!ATTLIST entry		ref			IDREF				#IMPLIED>
307 | <!ATTLIST entry		alias			NMTOKEN				#IMPLIED>
308 | <!ATTLIST entry		part_alias 		NMTOKEN				#IMPLIED>
309 | <!ATTLIST entry		doc_part_alias_ref	IDREF				#IMPLIED>
310 | 
311 | <!ATTLIST entry		lock			(yes)				#IMPLIED>   <!-- "no" is implied -->
312 | 
313 | <!ATTLIST entry		attr			(
314 | 						invd|
315 | 						undef|
316 | 						null|
317 | 						nop|
318 | 						acc|
319 | 						serial|
320 | 						serial_cond|
321 | 						delaysint|
322 | 						delaysint_cond
323 | 						)				#IMPLIED>
324 | 
325 | <!ATTLIST entry		doc			(m|u)				#IMPLIED>   <!-- "d" is implied -->
326 | 
327 | <!-- is_doc, is_undoc new in 1.02.dev1 -->
328 | <!ATTLIST entry		is_doc			(yes)				#IMPLIED>   <!-- "no" is implied -->
329 | <!ATTLIST entry		is_undoc		(yes)				#IMPLIED>   <!-- "no" is implied -->
330 | 
331 | <!ATTLIST entry		doc_ref			IDREF				#IMPLIED>
332 | <!ATTLIST entry		doc1632_ref		IDREF				#IMPLIED>
333 | <!ATTLIST entry		doc64_ref		IDREF				#IMPLIED>
334 | <!ATTLIST entry		ring			(3|2|1|0|f)			#IMPLIED>
335 | <!ATTLIST entry		ring_ref		IDREF				#IMPLIED>
336 | <!ATTLIST entry		mode			(p|e|s)				#IMPLIED>   <!-- "r" is implied -->
337 | <!ATTLIST entry		fpop			(once|twice)			#IMPLIED>
338 | <!ATTLIST entry		fpush			(yes)				#IMPLIED>
339 | 
340 | <!ATTLIST entry		particular		(yes)				#IMPLIED>   <!-- "no" is implied -->
341 | 
342 |   <!-- sec_opcd@escape="yes" indicates three-byte escapes -->
343 | 
344 | <!ATTLIST sec_opcd	escape			(yes)				#IMPLIED>   <!-- "no" is implied -->
345 | 
346 |  <!-- syntax@mod: similar to entry@mod, enables easier definition of -->
347 |  <!-- syntaxes when the instruction acts the same but uses different -->
348 |  <!-- syntaxes -->
349 | 
350 | <!ATTLIST syntax	mod			(nomem|mem)			#IMPLIED>
351 | 
352 | <!ATTLIST note		short			IDREF				#IMPLIED>
353 | 
354 |  <!--  mnem@sug: author's suggestion in case of no oficial mnemonic -->
355 | 
356 | <!ATTLIST mnem		sug			(yes)				#IMPLIED>   <!-- "no" is implied -->
357 | 
358 |  <!-- src and dst: -->
359 |  <!-- @nr: in case of direct register operand, its hardware number, if any -->
360 |  <!-- @group: in case of direct register operand, its group -->
361 |  <!-- @type: in case of direct register operand, its type code, if explicitly needed -->
362 |  <!-- @address: code for addressing method -->
363 |  <!-- @depend: does the resulting operand value depend on its previous value? -->
364 |  <!-- @displayed: is the implicit operand displayed within the syntax? -->
365 | 
366 | <!ATTLIST src		nr			NMTOKEN				#IMPLIED>
367 | <!ATTLIST src		group			(gen|mmx|xmm|seg|x87fpu|ctrl|systabp|msr|debug|xcr) #IMPLIED>
368 | <!ATTLIST src		type			NMTOKEN				#IMPLIED>
369 | <!ATTLIST src		address			(BA|BB|F|I|X|Y|S2|S33|EST|SC)	#IMPLIED>
370 | <!ATTLIST src		depend			(no)				#IMPLIED>   <!-- "yes" is implied -->
371 | <!ATTLIST src		displayed		(no)				#IMPLIED>   <!-- "yes" is implied -->
372 | 
373 | <!-- -->
374 | 
375 | <!ATTLIST dst		nr			NMTOKEN				#IMPLIED>
376 | <!ATTLIST dst		group			(gen|mmx|xmm|seg|x87fpu|ctrl|systabp|msr|debug|xcr) #IMPLIED>
377 | <!ATTLIST dst		type			NMTOKEN				#IMPLIED>
378 | <!ATTLIST dst		address			(BD|F|X|Y|S2|S30|S33|EST|SC)	#IMPLIED>
379 | <!ATTLIST dst		depend			(no)				#IMPLIED>   <!-- "yes" is implied -->
380 | <!ATTLIST dst		displayed		(no)				#IMPLIED>   <!-- "yes" is implied -->
381 | 
382 |  <!-- test_f, modif_f, def_f, and undef_f -->
383 |  <!-- @cond: the flags apply only under further conditions -->
384 | 
385 | <!ATTLIST test_f	cond			(yes)			#IMPLIED>   <!-- "no" is implied -->
386 | <!ATTLIST modif_f	cond			(yes)			#IMPLIED>   <!-- "no" is implied -->
387 | <!ATTLIST def_f		cond			(yes)			#IMPLIED>   <!-- "no" is implied -->
388 | <!ATTLIST undef_f	cond			(yes)			#IMPLIED>   <!-- "no" is implied -->
389 | 


--------------------------------------------------------------------------------
/x86reference.xsd:
--------------------------------------------------------------------------------
  1 | <?xml version="1.0" encoding="UTF-8"?>
  2 | 
  3 | <xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
  4 | 	<xs:element name="x86reference">
  5 | 		<xs:complexType>
  6 | 			<xs:sequence minOccurs="1">
  7 | 				<xs:element name="one-byte" minOccurs="1" maxOccurs="1" type="opcodeType"/>
  8 | 				<xs:element name="two-byte" minOccurs="1" maxOccurs="1" type="opcodeType"/>
  9 | 				<xs:element name="gen_notes" minOccurs="1" maxOccurs="1" type="gennotesType"/>
 10 | 				<xs:element name="ring_notes" minOccurs="1" maxOccurs="1" type="ringnotesType"/>
 11 | 			</xs:sequence>
 12 | 			<xs:attribute name="version" type="nonEmptyString" use="optional"/>
 13 | 		</xs:complexType>
 14 | 	</xs:element>
 15 | 
 16 | 	<xs:complexType name="gennotesType">
 17 | 		<xs:sequence>
 18 | 			<xs:element name="gen_note" maxOccurs="unbounded">
 19 | 				<xs:complexType>
 20 | 					<xs:attribute name="id" type="nonEmptyString" use="required"/>
 21 | 				</xs:complexType>
 22 | 			</xs:element>
 23 | 		</xs:sequence>
 24 | 	</xs:complexType>
 25 | 
 26 | 	<xs:complexType name="ringnotesType">
 27 | 		<xs:sequence>
 28 | 			<xs:element name="ring_note" maxOccurs="unbounded">
 29 | 				<xs:complexType>
 30 | 					<xs:attribute name="id" type="nonEmptyString" use="required"/>
 31 | 				</xs:complexType>
 32 | 			</xs:element>
 33 | 		</xs:sequence>
 34 | 	</xs:complexType>
 35 | 
 36 | 	<xs:complexType name="opcodeType">
 37 | 		<xs:sequence>
 38 | 			<xs:element name="pri_opcd" maxOccurs="unbounded" type="priopcdType"/>
 39 | 		</xs:sequence>
 40 | 		<xs:anyAttribute namespace="http://www.w3.org/XML/1998/namespace" processContents="skip"/>
 41 | 	</xs:complexType>
 42 | 
 43 | 	<xs:complexType name="priopcdType">
 44 | 		<xs:sequence>
 45 | 			<xs:element name="proc_start" minOccurs="0" maxOccurs="1" type="xs:int"/>
 46 | 			<xs:element name="entry" minOccurs="1" maxOccurs="unbounded" type="entryType"/>
 47 | 		</xs:sequence>
 48 | 		<xs:attribute name="value" type="xs:hexBinary" use="required"/>
 49 | 	</xs:complexType>
 50 | 
 51 | 	<xs:complexType name="entryType">
 52 | 		<xs:sequence>
 53 | 			<xs:element name="pref" minOccurs="0" maxOccurs="1" type="xs:hexBinary"/>
 54 | 			<xs:element name="opcd_ext" minOccurs="0" maxOccurs="1">
 55 | 				<xs:simpleType>
 56 | 					<xs:restriction base="xs:integer">
 57 | 						<xs:pattern value="[0-7]"/>
 58 | 					</xs:restriction>
 59 | 				</xs:simpleType>
 60 | 			</xs:element>
 61 | 			<xs:element name="sec_opcd" minOccurs="0" maxOccurs="1">
 62 | 				<xs:complexType>
 63 | 					<xs:simpleContent>
 64 | 						<xs:extension base="xs:hexBinary">
 65 | 							<xs:attribute name="escape" use="optional" type="yes_no"/>
 66 | 						</xs:extension>
 67 | 					</xs:simpleContent>
 68 | 				</xs:complexType>
 69 | 			</xs:element>
 70 | 			<xs:element name="proc_start" minOccurs="0" maxOccurs="1">
 71 | 				<xs:complexType>
 72 | 					<xs:simpleContent>
 73 | 						<xs:extension base="xs:integer">
 74 | 							<xs:attribute name="post" use="optional" type="yes_no"/>
 75 | 							<xs:attribute name="lat_step" use="optional" type="yes_no"/>
 76 | 						</xs:extension>
 77 | 					</xs:simpleContent>
 78 | 				</xs:complexType>
 79 | 			</xs:element>
 80 | 			<xs:element name="proc_end" minOccurs="0" maxOccurs="1" type="xs:int"/>
 81 | 			<xs:element name="syntax" minOccurs="1" maxOccurs="unbounded" type="syntaxType"/>
 82 | 			<xs:element name="instr_ext" minOccurs="0" maxOccurs="1">
 83 | 				<xs:simpleType>
 84 | 					<xs:restriction base="xs:string">
 85 | 						<xs:enumeration value="sse1"/>
 86 | 						<xs:enumeration value="mmx"/>
 87 | 						<xs:enumeration value="sse2"/>
 88 | 						<xs:enumeration value="sse3"/>
 89 | 						<xs:enumeration value="ssse3"/>
 90 | 						<xs:enumeration value="vmx"/>
 91 | 						<xs:enumeration value="smx"/>
 92 | 						<xs:enumeration value="sse41"/>
 93 | 						<xs:enumeration value="sse42"/>
 94 | 						<xs:enumeration value="lzcnt"/>
 95 | 						<xs:enumeration value="bmi1"/>
 96 | 					</xs:restriction>
 97 | 				</xs:simpleType>
 98 | 			</xs:element>
 99 | 			<xs:element name="grp1" minOccurs="0" maxOccurs="1" type="nonEmptyString"/>
100 | 			<xs:element name="grp2" minOccurs="0" maxOccurs="2" type="nonEmptyString"/>
101 | 			<xs:element name="grp3" minOccurs="0" maxOccurs="2" type="nonEmptyString"/>
102 | 			<xs:element name="test_f" minOccurs="0" maxOccurs="1" type="nonEmptyString"/>
103 | 			<xs:element name="modif_f" minOccurs="0" maxOccurs="1">
104 | 				<xs:complexType>
105 | 					<xs:simpleContent>
106 | 						<xs:extension base="nonEmptyString">
107 | 							<xs:attribute name="cond" use="optional" type="yes_no"/>
108 | 						</xs:extension>
109 | 					</xs:simpleContent>
110 | 				</xs:complexType>
111 | 			</xs:element>
112 | 			<xs:element name="def_f" minOccurs="0" maxOccurs="1">
113 | 				<xs:complexType>
114 | 					<xs:simpleContent>
115 | 						<xs:extension base="nonEmptyString">
116 | 							<xs:attribute name="cond" use="optional" type="nonEmptyString"/>
117 | 						</xs:extension>
118 | 					</xs:simpleContent>
119 | 				</xs:complexType>
120 | 			</xs:element>
121 | 			<xs:element name="undef_f" minOccurs="0" maxOccurs="1" type="nonEmptyString"/>
122 | 			<xs:element name="f_vals" minOccurs="0" maxOccurs="1" type="nonEmptyString"/>
123 | 			<xs:element name="modif_f_fpu" minOccurs="0" maxOccurs="1" type="nonEmptyString"/>
124 | 			<xs:element name="def_f_fpu" minOccurs="0" maxOccurs="1" type="nonEmptyString"/>
125 | 			<xs:element name="undef_f_fpu" minOccurs="0" maxOccurs="1" type="nonEmptyString"/>
126 | 			<xs:element name="f_vals_fpu" minOccurs="0" maxOccurs="1" type="nonEmptyString"/>
127 | 			<xs:element name="note" minOccurs="0" maxOccurs="1" type="skipme"/>
128 | 		</xs:sequence>
129 | 
130 | 		<xs:attribute name="doc_part_alias_ref" use="optional" type="nonEmptyString"/>
131 | 		<xs:attribute name="part_alias" use="optional" type="nonEmptyString"/>
132 | 		<xs:attribute name="mod" use="optional">
133 | 			<xs:simpleType>
134 | 				<xs:restriction base="xs:string">
135 | 					<xs:enumeration value="mem"/>
136 | 					<xs:enumeration value="nomem"/>
137 | 				</xs:restriction>
138 | 			</xs:simpleType>
139 | 		</xs:attribute>
140 | 		<xs:attribute name="fpush" use="optional" type="yes_no"/>
141 | 		<xs:attribute name="fpop" use="optional" type="nonEmptyString"/>
142 | 		<xs:attribute name="mem_format" use="optional">
143 | 			<xs:simpleType>
144 | 				<xs:restriction base="xs:string">
145 | 					<xs:pattern value="[0-1][0-1]"/>
146 | 				</xs:restriction>
147 | 			</xs:simpleType>
148 | 		</xs:attribute>
149 | 		<xs:attribute name="doc64_ref" use="optional" type="nonEmptyString"/>
150 | 		<xs:attribute name="alias" use="optional" type="nonEmptyString"/>
151 | 		<xs:attribute name="tttn" use="optional">
152 | 			<xs:simpleType>
153 | 				<xs:restriction base="xs:string">
154 | 					<xs:pattern value="[0-1][0-1][0-1][0-1]"/>
155 | 				</xs:restriction>
156 | 			</xs:simpleType>
157 | 		</xs:attribute>
158 | 		<xs:attribute name="sign-ext" use="optional" type="nonEmptyString" fixed="1"/>
159 | 		<xs:attribute name="particular" use="optional" type="yes_no"/>
160 | 		<xs:attribute name="doc" use="optional">
161 | 			<xs:simpleType>
162 | 				<xs:restriction base="xs:string">
163 | 					<xs:enumeration value="m"/>
164 | 					<xs:enumeration value="u"/>
165 | 				</xs:restriction>
166 | 			</xs:simpleType>
167 | 		</xs:attribute>
168 | 		<xs:attribute name="doc_ref" use="optional" type="nonEmptyString"/>
169 | 		<xs:attribute name="is_doc" use="optional" type="yes_no"/>
170 | 		<xs:attribute name="is_undoc" use="optional" type="yes_no"/>
171 | 		<xs:attribute name="ring" use="optional">
172 | 			<xs:simpleType>
173 | 				<xs:restriction base="xs:string">
174 | 					<xs:enumeration value="0"/>
175 | 					<xs:enumeration value="f"/>
176 | 				</xs:restriction>
177 | 			</xs:simpleType>
178 | 		</xs:attribute>
179 | 		<xs:attribute name="ring_ref" use="optional">
180 | 			<xs:simpleType>
181 | 				<xs:restriction base="xs:string">
182 | 					<xs:enumeration value="cr4_tsd"/>
183 | 					<xs:enumeration value="cr4_pce"/>
184 | 					<xs:enumeration value="rflags_iopl"/>
185 | 				</xs:restriction>
186 | 			</xs:simpleType>
187 | 		</xs:attribute>
188 | 		<xs:attribute name="ref" use="optional" type="nonEmptyString"/>
189 | 		<xs:attribute name="mode" use="optional">
190 | 			<xs:simpleType>
191 | 				<xs:restriction base="xs:string">
192 | 					<xs:enumeration value="e"/>
193 | 					<xs:enumeration value="p"/>
194 | 					<xs:enumeration value="s"/>
195 | 				</xs:restriction>
196 | 			</xs:simpleType>
197 | 		</xs:attribute>
198 | 		<xs:attribute name="doc1632_ref" use="optional" type="nonEmptyString"/>
199 | 		<xs:attribute name="r" use="optional" type="yes_no"/>
200 | 		<xs:attribute name="attr" use="optional">
201 | 			<xs:simpleType>
202 | 				<xs:restriction base="xs:string">
203 | 					<xs:enumeration value="serial"/>
204 | 					<xs:enumeration value="invd"/>
205 | 					<xs:enumeration value="acc"/>
206 | 					<xs:enumeration value="delaysint"/>
207 | 					<xs:enumeration value="undef"/>
208 | 					<xs:enumeration value="null"/>
209 | 					<xs:enumeration value="nop"/>
210 | 					<xs:enumeration value="delaysint_cond"/>
211 | 				</xs:restriction>
212 | 			</xs:simpleType>
213 | 		</xs:attribute>
214 | 		<xs:attribute name="lock" use="optional" type="yes_no"/>
215 | 		<xs:attribute name="direction" use="optional" type="OneOrZero"/>
216 | 		<xs:attribute name="op_size" use="optional" type="OneOrZero"/>
217 | 	</xs:complexType>
218 | 
219 | 	<xs:complexType name="skipme">
220 | 		<xs:sequence>
221 | 			<xs:any minOccurs="0" maxOccurs="unbounded" processContents="skip"/>
222 | 		</xs:sequence>
223 | 		<xs:anyAttribute processContents="skip"/>
224 | 	</xs:complexType>
225 | 
226 | 	<xs:complexType name="syntaxType">
227 | 		<xs:sequence minOccurs="0">
228 | 			<xs:sequence minOccurs="1">
229 | 				<xs:element name="mnem" minOccurs="1" maxOccurs="1">
230 | 					<xs:complexType>
231 | 						<xs:simpleContent>
232 | 							<xs:extension base="nonEmptyString">
233 | 								<xs:attribute name="sug" use="optional" type="yes_no"/>
234 | 							</xs:extension>
235 | 						</xs:simpleContent>
236 | 					</xs:complexType>
237 | 				</xs:element>
238 | 			</xs:sequence>
239 | 			<xs:choice minOccurs="0" maxOccurs="36">
240 | 				<xs:element name="src" minOccurs="0" maxOccurs="1" type="operandType"/>
241 | 				<xs:element name="dst" minOccurs="0" maxOccurs="1" type="operandType"/>
242 | 			</xs:choice>
243 | 		</xs:sequence>
244 | 		<xs:attribute name="mod" use="optional" type="nonEmptyString"/>
245 | 	</xs:complexType>
246 | 
247 | 	<xs:complexType name="operandType" mixed="true">
248 | 		<xs:all>
249 | 			<xs:element name="a" minOccurs="0" maxOccurs="1" type="nonEmptyString"/>
250 | 			<xs:element name="t" minOccurs="0" maxOccurs="1" type="nonEmptyString"/>
251 | 		</xs:all>
252 | 		<xs:attribute name="nr" use="optional">
253 | 			<xs:simpleType>
254 | 				<xs:union>
255 | 					<xs:simpleType>
256 | 						<xs:restriction base="xs:integer">
257 | 							<xs:maxInclusive value="15"/>
258 | 						</xs:restriction>
259 | 					</xs:simpleType>
260 | 					<xs:simpleType>
261 | 						<xs:restriction base="xs:integer">
262 | 							<xs:minInclusive value="172"/>
263 | 							<xs:maxInclusive value="176"/>
264 | 						</xs:restriction>
265 | 					</xs:simpleType>
266 | 					<xs:simpleType>
267 | 						<xs:restriction base="xs:string">
268 | 							<xs:enumeration value="C0000102"/>
269 | 							<xs:enumeration value="C0000103"/>
270 | 							<xs:enumeration value="C0000084"/>
271 | 							<xs:enumeration value="C0000082"/>
272 | 							<xs:enumeration value="C0000081"/>
273 | 							<xs:enumeration value="8B"/>
274 | 						</xs:restriction>
275 | 					</xs:simpleType>
276 | 				</xs:union>
277 | 			</xs:simpleType>
278 | 		</xs:attribute>
279 | 		<xs:attribute name="group" use="optional">
280 | 			<xs:simpleType>
281 | 				<xs:restriction base="xs:string">
282 | 					<xs:enumeration value="gen"/>
283 | 					<xs:enumeration value="x87fpu"/>
284 | 					<xs:enumeration value="seg"/>
285 | 					<xs:enumeration value="systabp"/>
286 | 					<xs:enumeration value="ctrl"/>
287 | 					<xs:enumeration value="msr"/>
288 | 					<xs:enumeration value="xmm"/>
289 | 					<xs:enumeration value="mmx"/>
290 | 					<xs:enumeration value="debug"/>
291 | 					<xs:enumeration value="xcr"/>
292 | 				</xs:restriction>
293 | 			</xs:simpleType>
294 | 		</xs:attribute>
295 | 		<xs:attribute name="type" use="optional" type="nonEmptyString"/>
296 | 		<xs:attribute name="depend" use="optional" type="yes_no"/>
297 | 		<xs:attribute name="address" use="optional" type="AddressType"/>
298 | 		<xs:attribute name="displayed" use="optional" type="yes_no"/>
299 | 	</xs:complexType>
300 | 
301 | 	<xs:simpleType name="AddressType">
302 | 		<xs:restriction base="xs:string">
303 | 			<xs:enumeration value="BA"/>
304 | 			<xs:enumeration value="BB"/>
305 | 			<xs:enumeration value="BD"/>
306 | 			<xs:enumeration value="X"/>
307 | 			<xs:enumeration value="Y"/>
308 | 			<xs:enumeration value="SC"/>
309 | 			<xs:enumeration value="S2"/>
310 | 			<xs:enumeration value="S30"/>
311 | 			<xs:enumeration value="S33"/>
312 | 			<xs:enumeration value="F"/>
313 | 			<xs:enumeration value="I"/>
314 | 			<xs:enumeration value="EST"/>
315 | 		</xs:restriction>
316 | 	</xs:simpleType>
317 | 
318 | 	<xs:simpleType name="nonEmptyString">
319 | 		<xs:annotation>
320 | 			<xs:documentation>
321 | 				Doesn't allow empty strings OR trailing OR preceding whitespace
322 | 			</xs:documentation>
323 | 		</xs:annotation>
324 | 		<xs:restriction base="xs:string">
325 | 			<xs:pattern value="\S+((.|\n)*\S+)*"/>
326 | 		</xs:restriction>
327 | 	</xs:simpleType>
328 | 
329 | 	<xs:simpleType name="OneOrZero">
330 | 		<xs:restriction base="xs:int">
331 | 			<xs:enumeration value="1"/>
332 | 			<xs:enumeration value="0"/>
333 | 		</xs:restriction>
334 | 	</xs:simpleType>
335 | 
336 | 	<xs:simpleType name="yes_no">
337 | 		<xs:restriction base="xs:string">
338 | 			<xs:enumeration value="yes"/>
339 | 			<xs:enumeration value="no"/>
340 | 		</xs:restriction>
341 | 	</xs:simpleType>
342 | </xs:schema>
343 | 


--------------------------------------------------------------------------------