Index: src/trusted/validator/x86/testing/enuminsts/ignore_mnemonics_nacl_xex_64.txt |
diff --git a/src/trusted/validator/x86/testing/enuminsts/ignore_mnemonics_nacl_xex_64.txt b/src/trusted/validator/x86/testing/enuminsts/ignore_mnemonics_nacl_xex_64.txt |
deleted file mode 100644 |
index cb27906294718ac0cca424bc3180c60c6e2f4821..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator/x86/testing/enuminsts/ignore_mnemonics_nacl_xex_64.txt |
+++ /dev/null |
@@ -1,36 +0,0 @@ |
-# Contains instructions for which nacl and xed disagree (in x86-64), but we still |
-# that they are ok. |
- |
-# The following are cases where xed doesn't assume a nop, but nacl does. |
-# |
- |
-#**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop |
-# XED: 0000000000001000: 40 87 c0 xchg eax, eax |
-# NaCl: 0000000000001000: 40 87 c0 xchg %eax, %eax |
-40 87 c0 |
- |
-#**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop |
-# XED: 0000000000001000: 42 87 c0 xchg eax, eax |
-# NaCl: 0000000000001000: 42 87 c0 xchg %eax, %eax |
-42 87 c0 |
- |
-#**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop |
-# XED: 0000000000001000: 48 87 c0 xchg rax, rax |
-# NaCl: 0000000000001000: 48 87 c0 xchg %rax, %rax |
-48 87 c0 |
- |
-#**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop |
-# XED: 0000000000001000: 4a 87 c0 xchg rax, rax |
-# NaCl: 0000000000001000: 4a 87 c0 xchg %rax, %rax |
-4a 87 c0 |
- |
-#**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop |
-# XED: 0000000000001000: 87 c0 xchg eax, eax |
-# NaCl: 0000000000001000: 87 c0 xchg %eax, %eax |
-87 c0 |
- |
-#**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop |
-# XED: 0000000000001000: 87 c0 xchg eax, eax |
-# NaCl: 0000000000001000: 87 c0 xchg %eax, %eax |
-66 87 c0 |
- |