| Index: src/trusted/validator_x86/testdata/32/fpu.test
|
| diff --git a/src/trusted/validator_x86/testdata/32/fpu.test b/src/trusted/validator_x86/testdata/32/fpu.test
|
| deleted file mode 100644
|
| index 0adde522f14d22dd36bc4cc132a8358267fa2433..0000000000000000000000000000000000000000
|
| --- a/src/trusted/validator_x86/testdata/32/fpu.test
|
| +++ /dev/null
|
| @@ -1,92 +0,0 @@
|
| -@hex:
|
| - # Load floating point value
|
| - # flds (%eax)
|
| - D9 00
|
| - # fldl (%eax)
|
| - DD 00
|
| - # fldt (%eax)
|
| - DB 28
|
| -
|
| - # Load integer value
|
| - # fildl (%eax)
|
| - DB 00
|
| - # fildq (%eax)
|
| - DF 28
|
| -
|
| - # Store floating point value
|
| - # fsts (%eax)
|
| - D9 10
|
| - # fstl (%eax)
|
| - DD 10
|
| - # fstps (%eax)
|
| - D9 18
|
| - # fstpl (%eax)
|
| - DD 18
|
| - # fstpt (%eax)
|
| - DB 38
|
| -
|
| - # Store integer value
|
| - # fists (%eax)
|
| - DF 10
|
| - # fistl (%eax)
|
| - DB 10
|
| - # fistps (%eax)
|
| - DF 18
|
| - # fistpl (%eax)
|
| - DB 18
|
| - # fistpq (%eax)
|
| - DF 38
|
| -
|
| - # Basic arithmetic
|
| - # fadd %st(1),%st(0)
|
| - D8 C1
|
| - # faddp %st(0),%st(1)
|
| - DE C1
|
| - # fadds (%eax)
|
| - D8 00
|
| - # faddl (%eax)
|
| - DC 00
|
| -@nval:
|
| - *** <input> is safe ***
|
| -@dis:
|
| - 00000000: d9 00 fld %st0, %ds:[%eax]
|
| - 00000002: dd 00 fld %st0, %ds:[%eax]
|
| - 00000004: db 28 fld %st0, %ds:[%eax]
|
| - 00000006: db 00 fild %st0, %ds:[%eax]
|
| - 00000008: df 28 fild %st0, %ds:[%eax]
|
| - 0000000a: d9 10 fst %ds:[%eax], %st0
|
| - 0000000c: dd 10 fst %ds:[%eax], %st0
|
| - 0000000e: d9 18 fstp %ds:[%eax], %st0
|
| - 00000010: dd 18 fstp %ds:[%eax], %st0
|
| - 00000012: db 38 fstp %ds:[%eax], %st0
|
| - 00000014: df 10 fist %ds:[%eax], %st0
|
| - 00000016: db 10 fist %ds:[%eax], %st0
|
| - 00000018: df 18 fistp %ds:[%eax], %st0
|
| - 0000001a: db 18 fistp %ds:[%eax], %st0
|
| - 0000001c: df 38 fistp %ds:[%eax], %st0
|
| - 0000001e: d8 c1 fadd %st0, %st1
|
| - 00000020: de c1 faddp %st1, %st0
|
| - 00000022: d8 00 fadd %st0, %ds:[%eax]
|
| - 00000024: dc 00 fadd %st0, %ds:[%eax]
|
| -@vdis:
|
| - 0: d9 00 fld
|
| - 2: dd 00 fld
|
| - 4: db 28 fld
|
| - 6: db 00 fild
|
| - 8: df 28 fild
|
| - a: d9 10 fst
|
| - c: dd 10 fst
|
| - e: d9 18 fstp
|
| - 10: dd 18 fstp
|
| - 12: db 38 fstp
|
| - 14: df 10 fist
|
| - 16: db 10 fist
|
| - 18: df 18 fistp
|
| - 1a: db 18 fistp
|
| - 1c: df 38 fistp
|
| - 1e: d8 c1 fadd
|
| - 20: de c1 faddp
|
| - 22: d8 00 fadd
|
| - 24: dc 00 fadd
|
| -@rdfa_output:
|
| - return code: 0
|
|
|