| 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
|
|
|