| Index: src/trusted/validator_x86/testdata/64/return.test
 | 
| diff --git a/src/trusted/validator_x86/testdata/64/return.test b/src/trusted/validator_x86/testdata/64/return.test
 | 
| deleted file mode 100644
 | 
| index 851a9d7e3120efca43a3c69f570265c98e9da9d2..0000000000000000000000000000000000000000
 | 
| --- a/src/trusted/validator_x86/testdata/64/return.test
 | 
| +++ /dev/null
 | 
| @@ -1,37 +0,0 @@
 | 
| -@hex:
 | 
| -  # Sample hex code for a return.
 | 
| -  # pop %r11
 | 
| -  41 5b
 | 
| -  # and %r11d, 0xe0
 | 
| -  41 83 e3 e0 \\
 | 
| -  # add %r11, %r15
 | 
| -  4d 01 fb \\
 | 
| -  # jmp %r11
 | 
| -  41 ff e3
 | 
| -@val:
 | 
| -  VALIDATOR: Checking jump targets: 0 to c
 | 
| -  VALIDATOR: Checking that basic blocks are aligned
 | 
| -  *** <input> is safe ***
 | 
| -@rval:
 | 
| -  VALIDATOR: Checking jump targets: 0 to c
 | 
| -  VALIDATOR: Checking that basic blocks are aligned
 | 
| -  *** <input> is safe ***
 | 
| -@rvald:
 | 
| -  VALIDATOR: Checking block alignment and jump targets: 0 to c
 | 
| -  *** <input> is safe ***
 | 
| -@vd-rval:
 | 
| -  VALIDATOR: Checking jump targets: 0 to c
 | 
| -  VALIDATOR: Checking that basic blocks are aligned
 | 
| -  *** <input> is safe ***
 | 
| -@dis:
 | 
| -  0000000000000000: 41 5b                                        pop %r11
 | 
| -  0000000000000002: 41 83 e3 e0                                  and %r11d, 0xe0
 | 
| -  0000000000000006: 4d 01 fb                                     add %r11, %r15
 | 
| -  0000000000000009: 41 ff e3                                     jmp %r11
 | 
| -@vdis:
 | 
| -  0000000000000000: 41 5b                                        pop %r11
 | 
| -  0000000000000002: 41 83 e3 e0                                  and %r11d, 0xe0
 | 
| -  0000000000000006: 4d 01 fb                                     add %r11, %r15
 | 
| -  0000000000000009: 41 ff e3                                     [P] dontcarejump %rip (s), %r11 (u)
 | 
| -@rdfa_output:
 | 
| -  return code: 0
 | 
| 
 |