Dead

gen/x86_table.js

@@ -443,13 +443,13 @@ const encodings = [
     { opcode: 0x0F0F, skip: 1, block_boundary: 1, },
 
     { opcode: 0x0F18, e: 1, custom: 1 },
-    { opcode: 0x0F19, non_faulting: 1, custom: 1, e: 1, },
+    { opcode: 0x0F19, custom: 1, e: 1, },
     { opcode: 0x0F1A, skip: 1, block_boundary: 1, },
     { opcode: 0x0F1B, skip: 1, block_boundary: 1, },
-    { opcode: 0x0F1C, non_faulting: 1, custom: 1, e: 1, },
-    { opcode: 0x0F1D, non_faulting: 1, custom: 1, e: 1, },
-    { opcode: 0x0F1E, non_faulting: 1, custom: 1, e: 1, },
-    { opcode: 0x0F1F, non_faulting: 1, custom: 1, e: 1, },
+    { opcode: 0x0F1C, custom: 1, e: 1, },
+    { opcode: 0x0F1D, custom: 1, e: 1, },
+    { opcode: 0x0F1E, custom: 1, e: 1, },
+    { opcode: 0x0F1F, custom: 1, e: 1, },
 
     { opcode: 0x0F20, ignore_mod: 1, e: 1, skip: 1, block_boundary: 1, }, // mov reg, creg
     { opcode: 0x0F21, ignore_mod: 1, e: 1, skip: 1, block_boundary: 1, }, // mov reg, dreg