Index: src/trusted/validator_x86/testdata/64/fpu.test |
diff --git a/src/trusted/validator_x86/testdata/64/fpu.test b/src/trusted/validator_x86/testdata/64/fpu.test |
deleted file mode 100644 |
index de2270674aff77ba86238ed4c5d444b9c62747ed..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/64/fpu.test |
+++ /dev/null |
@@ -1,246 +0,0 @@ |
-@hex: |
- # Load floating point value. |
- # mov %eax,%eax |
- 89 C0 \\ |
- # fld (%r15,%rax) |
- 41 D9 04 07 |
- |
- # mov %eax,%eax |
- 89 C0 \\ |
- # fldl (%r15,%rax) |
- 41 DD 04 07 |
- |
- # mov %eax,%eax |
- 89 C0 \\ |
- # fldt (%r15,%rax) |
- 41 DB 2C 07 |
-@rval: |
- VALIDATOR: Checking jump targets: 0 to 12 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> is safe *** |
-@rvald: |
- VALIDATOR: Checking block alignment and jump targets: 0 to 12 |
- *** <input> is safe *** |
-@vd-rval: |
- VALIDATOR: Checking jump targets: 0 to 12 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> is safe *** |
-@dis: |
- 0000000000000000: 89 c0 mov %eax, %eax |
- 0000000000000002: 41 d9 04 07 fld %st0, [%r15+%rax*1] |
- 0000000000000006: 89 c0 mov %eax, %eax |
- 0000000000000008: 41 dd 04 07 fld %st0, [%r15+%rax*1] |
- 000000000000000c: 89 c0 mov %eax, %eax |
- 000000000000000e: 41 db 2c 07 fld %st0, [%r15+%rax*1] |
-@vdis: |
- 0000000000000000: 89 c0 mov %eax, %eax |
- 0000000000000002: 41 d9 04 07 [P] dontcare [%r15+%rax*1] (u) |
- 0000000000000006: 89 c0 mov %eax, %eax |
- 0000000000000008: 41 dd 04 07 [P] dontcare [%r15+%rax*1] (u) |
- 000000000000000c: 89 c0 mov %eax, %eax |
- 000000000000000e: 41 db 2c 07 [P] dontcare [%r15+%rax*1] (u) |
-@rdfa_output: |
- return code: 0 |
----------------------------------------------------------------------- |
-@hex: |
- # Load integer value. |
- # mov %eax,%eax |
- 89 C0 \\ |
- # fildl (%r15,%rax) |
- 41 DB 04 07 |
- |
- # mov %eax,%eax |
- 89 C0 \\ |
- # fildq (%r15,%rax) |
- 41 DF 2C 07 |
-@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: 89 c0 mov %eax, %eax |
- 0000000000000002: 41 db 04 07 fild %st0, [%r15+%rax*1] |
- 0000000000000006: 89 c0 mov %eax, %eax |
- 0000000000000008: 41 df 2c 07 fild %st0, [%r15+%rax*1] |
-@vdis: |
- 0000000000000000: 89 c0 mov %eax, %eax |
- 0000000000000002: 41 db 04 07 [P] dontcare [%r15+%rax*1] (u) |
- 0000000000000006: 89 c0 mov %eax, %eax |
- 0000000000000008: 41 df 2c 07 [P] dontcare [%r15+%rax*1] (u) |
-@rdfa_output: |
- return code: 0 |
----------------------------------------------------------------------- |
-@hex: |
- # Store floating point value. |
- # mov %eax,%eax |
- 89 C0 \\ |
- # fsts (%r15,%rax) |
- 41 D9 14 07 |
- |
- # mov %eax,%eax |
- 89 C0 \\ |
- # fstl (%r15,%rax) |
- 41 DD 14 07 |
- |
- # mov %eax,%eax |
- 89 C0 \\ |
- # fstps (%r15,%rax) |
- 41 D9 1C 07 |
- |
- # mov %eax,%eax |
- 89 C0 \\ |
- # fstpl (%r15,%rax) |
- 41 DD 1C 07 |
- |
- # mov %eax,%eax |
- 89 C0 \\ |
- # fstpt (%r15,%rax) |
- 41 DB 3C 07 |
-@rval: |
- VALIDATOR: Checking jump targets: 0 to 1e |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> is safe *** |
-@rvald: |
- VALIDATOR: Checking block alignment and jump targets: 0 to 1e |
- *** <input> is safe *** |
-@vd-rval: |
- VALIDATOR: Checking jump targets: 0 to 1e |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> is safe *** |
-@dis: |
- 0000000000000000: 89 c0 mov %eax, %eax |
- 0000000000000002: 41 d9 14 07 fst [%r15+%rax*1], %st0 |
- 0000000000000006: 89 c0 mov %eax, %eax |
- 0000000000000008: 41 dd 14 07 fst [%r15+%rax*1], %st0 |
- 000000000000000c: 89 c0 mov %eax, %eax |
- 000000000000000e: 41 d9 1c 07 fstp [%r15+%rax*1], %st0 |
- 0000000000000012: 89 c0 mov %eax, %eax |
- 0000000000000014: 41 dd 1c 07 fstp [%r15+%rax*1], %st0 |
- 0000000000000018: 89 c0 mov %eax, %eax |
- 000000000000001a: 41 db 3c 07 fstp [%r15+%rax*1], %st0 |
-@vdis: |
- 0000000000000000: 89 c0 mov %eax, %eax |
- 0000000000000002: 41 d9 14 07 [P] dontcare [%r15+%rax*1] (s) |
- 0000000000000006: 89 c0 mov %eax, %eax |
- 0000000000000008: 41 dd 14 07 [P] dontcare [%r15+%rax*1] (s) |
- 000000000000000c: 89 c0 mov %eax, %eax |
- 000000000000000e: 41 d9 1c 07 [P] dontcare [%r15+%rax*1] (s) |
- 0000000000000012: 89 c0 mov %eax, %eax |
- 0000000000000014: 41 dd 1c 07 [P] dontcare [%r15+%rax*1] (s) |
- 0000000000000018: 89 c0 mov %eax, %eax |
- 000000000000001a: 41 db 3c 07 [P] dontcare [%r15+%rax*1] (s) |
-@rdfa_output: |
- return code: 0 |
----------------------------------------------------------------------- |
-@hex: |
- # Store integer value |
- # mov %eax,%eax |
- 89 C0 \\ |
- # fists (%r15,%rax) |
- 41 DF 14 07 |
- |
- # mov %eax,%eax |
- 89 C0 \\ |
- # fistl (%r15,%rax) |
- 41 DB 14 07 |
- |
- # mov %eax,%eax |
- 89 C0 \\ |
- # fistp (%r15,%rax) |
- 41 DF 1C 07 |
- |
- # mov %eax,%eax |
- 89 C0 \\ |
- # fistpl (%r15,%rax) |
- 41 DB 1C 07 |
- |
- # mov %eax,%eax |
- 89 C0 \\ |
- # fistpq (%r15,%rax) |
- 41 DF 3C 07 |
-@rval: |
- VALIDATOR: Checking jump targets: 0 to 1e |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> is safe *** |
-@rvald: |
- VALIDATOR: Checking block alignment and jump targets: 0 to 1e |
- *** <input> is safe *** |
-@vd-rval: |
- VALIDATOR: Checking jump targets: 0 to 1e |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> is safe *** |
-@dis: |
- 0000000000000000: 89 c0 mov %eax, %eax |
- 0000000000000002: 41 df 14 07 fist [%r15+%rax*1], %st0 |
- 0000000000000006: 89 c0 mov %eax, %eax |
- 0000000000000008: 41 db 14 07 fist [%r15+%rax*1], %st0 |
- 000000000000000c: 89 c0 mov %eax, %eax |
- 000000000000000e: 41 df 1c 07 fistp [%r15+%rax*1], %st0 |
- 0000000000000012: 89 c0 mov %eax, %eax |
- 0000000000000014: 41 db 1c 07 fistp [%r15+%rax*1], %st0 |
- 0000000000000018: 89 c0 mov %eax, %eax |
- 000000000000001a: 41 df 3c 07 fistp [%r15+%rax*1], %st0 |
-@vdis: |
- 0000000000000000: 89 c0 mov %eax, %eax |
- 0000000000000002: 41 df 14 07 [P] dontcare [%r15+%rax*1] (s) |
- 0000000000000006: 89 c0 mov %eax, %eax |
- 0000000000000008: 41 db 14 07 [P] dontcare [%r15+%rax*1] (s) |
- 000000000000000c: 89 c0 mov %eax, %eax |
- 000000000000000e: 41 df 1c 07 [P] dontcare [%r15+%rax*1] (s) |
- 0000000000000012: 89 c0 mov %eax, %eax |
- 0000000000000014: 41 db 1c 07 [P] dontcare [%r15+%rax*1] (s) |
- 0000000000000018: 89 c0 mov %eax, %eax |
- 000000000000001a: 41 df 3c 07 [P] dontcare [%r15+%rax*1] (s) |
-@rdfa_output: |
- return code: 0 |
----------------------------------------------------------------------- |
-@hex: |
- # Basic arithmetic |
- # fadd %st(1),%st(0) |
- D8 C1 |
- # faddp %st(0),%st(1) |
- DE C1 |
- |
- # mov %eax,%eax |
- 89 C0 \\ |
- # fadds (%r15,%rax) |
- 41 D8 04 07 |
- |
- # mov %eax,%eax |
- 89 C0 \\ |
- # faddl (%r15,%rax) |
- 41 DC 04 07 |
-@rval: |
- VALIDATOR: Checking jump targets: 0 to 10 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> is safe *** |
-@rvald: |
- VALIDATOR: Checking block alignment and jump targets: 0 to 10 |
- *** <input> is safe *** |
-@vd-rval: |
- VALIDATOR: Checking jump targets: 0 to 10 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> is safe *** |
-@dis: |
- 0000000000000000: d8 c1 fadd %st0, %st1 |
- 0000000000000002: de c1 faddp %st1, %st0 |
- 0000000000000004: 89 c0 mov %eax, %eax |
- 0000000000000006: 41 d8 04 07 fadd %st0, [%r15+%rax*1] |
- 000000000000000a: 89 c0 mov %eax, %eax |
- 000000000000000c: 41 dc 04 07 fadd %st0, [%r15+%rax*1] |
-@vdis: |
- 0000000000000000: d8 c1 [P] dontcare |
- 0000000000000002: de c1 [P] dontcare |
- 0000000000000004: 89 c0 mov %eax, %eax |
- 0000000000000006: 41 d8 04 07 [P] dontcare [%r15+%rax*1] (u) |
- 000000000000000a: 89 c0 mov %eax, %eax |
- 000000000000000c: 41 dc 04 07 [P] dontcare [%r15+%rax*1] (u) |
-@rdfa_output: |
- return code: 0 |