Delete old x86 validator.

src/trusted/validator_x86/testdata/64/rbp67.test

Index: src/trusted/validator_x86/testdata/64/rbp67.test
diff --git a/src/trusted/validator_x86/testdata/64/rbp67.test b/src/trusted/validator_x86/testdata/64/rbp67.test
deleted file mode 100644
index 65ccb3bb5ee881a9a8ebd481d14aaf949c85f7c6..0000000000000000000000000000000000000000
--- a/src/trusted/validator_x86/testdata/64/rbp67.test
+++ /dev/null
@@ -1,49 +0,0 @@
-@hex:
-  # Mark Dowd example (hello_rbp.c)
-  # Issue 390
-  
-  # mov    $0x12345678,%eax
-  b8 78 56 34 12
-  
-  # addr32 mov %rax,0x63e470(%ebp,%eiz,1)
-  67 48 89 84 25 70 e4 63 00
-@val:
-  VALIDATOR: 0000000000000005: 67 48 89 84 25 70 e4 63 00                   mov [%rbp+0x63e470], %rax
-  VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client
-  VALIDATOR: 0000000000000005: 67 48 89 84 25 70 e4 63 00                   mov [%rbp+0x63e470], %rax
-  VALIDATOR: ERROR: Assignment to non-64 bit memory address
-  VALIDATOR: Checking jump targets: 0 to e
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> IS UNSAFE ***
-@rval:
-  VALIDATOR: 0000000000000005: 67 48 89 84 25 70 e4 63 00                   mov [%rbp+0x63e470], %rax
-  VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client
-  VALIDATOR: 0000000000000005: 67 48 89 84 25 70 e4 63 00                   mov [%rbp+0x63e470], %rax
-  VALIDATOR: ERROR: Assignment to non-64 bit memory address
-  VALIDATOR: Checking jump targets: 0 to e
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> IS UNSAFE ***
-@rvald:
-  VALIDATOR: 0000000000000005: 67 48 89 84 25 70 e4 63 00                   mov [%rbp+0x63e470], %rax
-  VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client
-  VALIDATOR: 0000000000000005: 67 48 89 84 25 70 e4 63 00                   mov [%rbp+0x63e470], %rax
-  VALIDATOR: ERROR: Assignment to non-64 bit memory address
-  VALIDATOR: Checking block alignment and jump targets: 0 to e
-  *** <input> IS UNSAFE ***
-@vd-rval:
-  VALIDATOR: 0000000000000005: 67 48 89 84 25 70 e4 63 00                   mov [%rbp+0x63e470], %rax
-  VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client
-  VALIDATOR: 0000000000000005: 67 48 89 84 25 70 e4 63 00                   mov [%rbp+0x63e470], %rax
-  VALIDATOR: ERROR: Assignment to non-64 bit memory address
-  VALIDATOR: Checking jump targets: 0 to e
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> IS UNSAFE ***
-@dis:
-  0000000000000000: b8 78 56 34 12                               mov %eax, 0x12345678
-  0000000000000005: 67 48 89 84 25 70 e4 63 00                   mov [%rbp+0x63e470], %rax
-@vdis:
-  0000000000000000: b8 78 56 34 12                               mov %eax, 0x12345678
-  0000000000000005: 67 48 89 84 25 70 e4 63 00                   mov [%rbp+0x63e470], %rax
-@rdfa_output:
-  5: [0] unrecognized instruction
-  return code: 1