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 |