Index: src/trusted/validator_x86/testdata/64/test_insts.test |
diff --git a/src/trusted/validator_x86/testdata/64/test_insts.test b/src/trusted/validator_x86/testdata/64/test_insts.test |
deleted file mode 100644 |
index 3c8a9b61e126b32a0b69f83a3ca8321703d7101d..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/64/test_insts.test |
+++ /dev/null |
@@ -1,23 +0,0 @@ |
-@hex: |
- # This is an example of a code segment that begins at address 0. |
- b8 88 77 66 55 41 b8 44 33 22 11 |
- 66 b8 88 77 a0 88 77 66 55 44 33 22 11 |
-@rval: |
- VALIDATOR: 000000000000000f: a0 88 77 66 55 44 33 22 11 mov %al, [0x1122334455667788] |
- VALIDATOR: ERROR: No base register specified in memory offset |
- VALIDATOR: Checking jump targets: 0 to 18 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@dis: |
- 0000000000000000: b8 88 77 66 55 mov %eax, 0x55667788 |
- 0000000000000005: 41 b8 44 33 22 11 mov %r8d, 0x11223344 |
- 000000000000000b: 66 b8 88 77 mov %ax, 0x7788 |
- 000000000000000f: a0 88 77 66 55 44 33 22 11 mov %al, [0x1122334455667788] |
-@vdis: |
- 0000000000000000: b8 88 77 66 55 mov %eax, 0x55667788 |
- 0000000000000005: 41 b8 44 33 22 11 mov %r8d, 0x11223344 |
- 000000000000000b: 66 b8 88 77 mov %ax, 0x7788 |
- 000000000000000f: a0 88 77 66 55 44 33 22 11 mov %al, [0x1122334455667788] |
-@rdfa_output: |
- f: [0] unrecognized instruction |
- return code: 1 |