Delete old x86 validator.

src/trusted/validator_x86/testdata/64/pop-rbp.test

Index: src/trusted/validator_x86/testdata/64/pop-rbp.test
diff --git a/src/trusted/validator_x86/testdata/64/pop-rbp.test b/src/trusted/validator_x86/testdata/64/pop-rbp.test
deleted file mode 100644
index f4233fa3502cd9af12b6a632af3ab9235f9463c6..0000000000000000000000000000000000000000
--- a/src/trusted/validator_x86/testdata/64/pop-rbp.test
+++ /dev/null
@@ -1,33 +0,0 @@
-@hex:
-  # Test that we catch the assignment to rbp in a pop.
-  5D
-@val:
-  VALIDATOR: 0000000000000000: 5d                                           pop %rbp
-  VALIDATOR: ERROR: Illegal change to register RBP
-  VALIDATOR: Checking jump targets: 0 to 1
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> IS UNSAFE ***
-@rval:
-  VALIDATOR: 0000000000000000: 5d                                           pop %rbp
-  VALIDATOR: ERROR: Illegal change to register RBP
-  VALIDATOR: Checking jump targets: 0 to 1
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> IS UNSAFE ***
-@rvald:
-  VALIDATOR: 0000000000000000: 5d                                           pop %rbp
-  VALIDATOR: ERROR: Illegal change to register RBP
-  VALIDATOR: Checking block alignment and jump targets: 0 to 1
-  *** <input> IS UNSAFE ***
-@vd-rval:
-  VALIDATOR: 0000000000000000: 5d                                           pop %rbp
-  VALIDATOR: ERROR: Illegal change to register RBP
-  VALIDATOR: Checking jump targets: 0 to 1
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> IS UNSAFE ***
-@dis:
-  0000000000000000: 5d                                           pop %rbp
-@vdis:
-  0000000000000000: 5d                                           pop %rbp
-@rdfa_output:
-  0: [0] error - %bpl or %bp is changed
-  return code: 1