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