X86: Add decoding for x87 floating point.

--HG--
extra : convert_revision : 08f0f4a3d77a2c5eb9b5ca0cae7d0be9a72febec

1 files changed, 1 insertions, 10 deletions

diff --git a/src/arch/x86/isa/decoder/one_byte_opcodes.isa b/src/arch/x86/isa/decoder/one_byte_opcodes.isa
index 507f75bb8..7c627b0c2 100644
--- a/src/arch/x86/isa/decoder/one_byte_opcodes.isa
+++ b/src/arch/x86/isa/decoder/one_byte_opcodes.isa
@@ -470,16 +470,7 @@
             }
             0x7: xlat();
         }
-        0x1B: decode OPCODE_OP_BOTTOM3 {
-            0x0: esc0();
-            0x1: esc1();
-            0x2: esc2();
-            0x3: esc3();
-            0x4: esc4();
-            0x5: esc5();
-            0x6: esc6();
-            0x7: esc7();
-        }
+        ##include "x87.isa"
         0x1C: decode OPCODE_OP_BOTTOM3 {
             0x0: loopne_Jb();
             0x1: loope_Jb();