Delete old x86 validator.

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

Index: src/trusted/validator_x86/testdata/64/call_aligned.test
diff --git a/src/trusted/validator_x86/testdata/64/call_aligned.test b/src/trusted/validator_x86/testdata/64/call_aligned.test
deleted file mode 100644
index bf6f7c4db31cff04681a0972de735109e776a342..0000000000000000000000000000000000000000
--- a/src/trusted/validator_x86/testdata/64/call_aligned.test
+++ /dev/null
@@ -1,110 +0,0 @@
-@hex:
-  # Model case where the call is aligned so that the return address is aligned (32 bytes).
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  e8 00 00 00 00
-  90
-  
-  
-@val:
-  VALIDATOR: Checking jump targets: 0 to 21
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> is safe ***
-@rval:
-  VALIDATOR: Checking jump targets: 0 to 21
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> is safe ***
-@rvald:
-  VALIDATOR: Checking block alignment and jump targets: 0 to 21
-  *** <input> is safe ***
-@vd-rval:
-  VALIDATOR: Checking jump targets: 0 to 21
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> is safe ***
-@dis:
-  0000000000000000: 90                                           nop
-  0000000000000001: 90                                           nop
-  0000000000000002: 90                                           nop
-  0000000000000003: 90                                           nop
-  0000000000000004: 90                                           nop
-  0000000000000005: 90                                           nop
-  0000000000000006: 90                                           nop
-  0000000000000007: 90                                           nop
-  0000000000000008: 90                                           nop
-  0000000000000009: 90                                           nop
-  000000000000000a: 90                                           nop
-  000000000000000b: 90                                           nop
-  000000000000000c: 90                                           nop
-  000000000000000d: 90                                           nop
-  000000000000000e: 90                                           nop
-  000000000000000f: 90                                           nop
-  0000000000000010: 90                                           nop
-  0000000000000011: 90                                           nop
-  0000000000000012: 90                                           nop
-  0000000000000013: 90                                           nop
-  0000000000000014: 90                                           nop
-  0000000000000015: 90                                           nop
-  0000000000000016: 90                                           nop
-  0000000000000017: 90                                           nop
-  0000000000000018: 90                                           nop
-  0000000000000019: 90                                           nop
-  000000000000001a: 90                                           nop
-  000000000000001b: e8 00 00 00 00                               call 0x20
-  0000000000000020: 90                                           nop
-@vdis:
-  0000000000000000: 90                                           [P] dontcare
-  0000000000000001: 90                                           [P] dontcare
-  0000000000000002: 90                                           [P] dontcare
-  0000000000000003: 90                                           [P] dontcare
-  0000000000000004: 90                                           [P] dontcare
-  0000000000000005: 90                                           [P] dontcare
-  0000000000000006: 90                                           [P] dontcare
-  0000000000000007: 90                                           [P] dontcare
-  0000000000000008: 90                                           [P] dontcare
-  0000000000000009: 90                                           [P] dontcare
-  000000000000000a: 90                                           [P] dontcare
-  000000000000000b: 90                                           [P] dontcare
-  000000000000000c: 90                                           [P] dontcare
-  000000000000000d: 90                                           [P] dontcare
-  000000000000000e: 90                                           [P] dontcare
-  000000000000000f: 90                                           [P] dontcare
-  0000000000000010: 90                                           [P] dontcare
-  0000000000000011: 90                                           [P] dontcare
-  0000000000000012: 90                                           [P] dontcare
-  0000000000000013: 90                                           [P] dontcare
-  0000000000000014: 90                                           [P] dontcare
-  0000000000000015: 90                                           [P] dontcare
-  0000000000000016: 90                                           [P] dontcare
-  0000000000000017: 90                                           [P] dontcare
-  0000000000000018: 90                                           [P] dontcare
-  0000000000000019: 90                                           [P] dontcare
-  000000000000001a: 90                                           [P] dontcare
-  000000000000001b: e8 00 00 00 00                               call 0x20
-  0000000000000020: 90                                           [P] dontcare
-@rdfa_output:
-  return code: 0