Index: src/trusted/validator_x86/testdata/64/change-subregs.test |
diff --git a/src/trusted/validator_x86/testdata/64/change-subregs.test b/src/trusted/validator_x86/testdata/64/change-subregs.test |
deleted file mode 100644 |
index 23d4a9503036565d64857e397442614a9567ea5a..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/64/change-subregs.test |
+++ /dev/null |
@@ -1,50 +0,0 @@ |
-@hex: |
- # Sample of updating subregisters of protected registers rsp, rbp, and r15 |
- # 66 29 c4 sub %sp, %ax |
- # 66 29 c5 sub %bp, %ax |
- # 47 29 c7 sub %r15d, %r8d |
- 66 29 c4 |
- 66 29 c5 |
- 47 29 c7 |
-@rval: |
- VALIDATOR: 0000000000000000: 66 29 c4 sub %sp, %ax |
- VALIDATOR: ERROR: Changing RegSP changes the value of RegRSP |
- VALIDATOR: 0000000000000003: 66 29 c5 sub %bp, %ax |
- VALIDATOR: ERROR: Changing RegBP changes the value of RegRBP |
- VALIDATOR: 0000000000000006: 47 29 c7 sub %r15d, %r8d |
- VALIDATOR: ERROR: Changing RegR15D changes the value of RegR15 |
- VALIDATOR: Checking jump targets: 0 to 9 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@rvald: |
- VALIDATOR: 0000000000000000: 66 29 c4 sub %sp, %ax |
- VALIDATOR: ERROR: Changing RegSP changes the value of RegRSP |
- VALIDATOR: 0000000000000003: 66 29 c5 sub %bp, %ax |
- VALIDATOR: ERROR: Changing RegBP changes the value of RegRBP |
- VALIDATOR: 0000000000000006: 47 29 c7 sub %r15d, %r8d |
- VALIDATOR: ERROR: Changing RegR15D changes the value of RegR15 |
- VALIDATOR: Checking block alignment and jump targets: 0 to 9 |
- *** <input> IS UNSAFE *** |
-@vd-rval: |
- VALIDATOR: 0000000000000000: 66 29 c4 sub %sp, %ax |
- VALIDATOR: ERROR: Changing RegSP changes the value of RegRSP |
- VALIDATOR: 0000000000000003: 66 29 c5 sub %bp, %ax |
- VALIDATOR: ERROR: Changing RegBP changes the value of RegRBP |
- VALIDATOR: 0000000000000006: 47 29 c7 sub %r15d, %r8d |
- VALIDATOR: ERROR: Changing RegR15D changes the value of RegR15 |
- VALIDATOR: Checking jump targets: 0 to 9 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@dis: |
- 0000000000000000: 66 29 c4 sub %sp, %ax |
- 0000000000000003: 66 29 c5 sub %bp, %ax |
- 0000000000000006: 47 29 c7 sub %r15d, %r8d |
-@vdis: |
- 0000000000000000: 66 29 c4 sub %sp, %ax |
- 0000000000000003: 66 29 c5 sub %bp, %ax |
- 0000000000000006: 47 29 c7 sub %r15d, %r8d |
-@rdfa_output: |
- 0: [0] error - %spl or %sp is changed |
- 3: [0] error - %bpl or %bp is changed |
- 6: [0] error - %r15 is changed |
- return code: 1 |