| Index: src/trusted/validator_x86/testdata/64/3DNow.test
|
| diff --git a/src/trusted/validator_x86/testdata/64/3DNow.test b/src/trusted/validator_x86/testdata/64/3DNow.test
|
| deleted file mode 100644
|
| index 023356ae4b46aae9f1678fc245522f2c9dd01524..0000000000000000000000000000000000000000
|
| --- a/src/trusted/validator_x86/testdata/64/3DNow.test
|
| +++ /dev/null
|
| @@ -1,70 +0,0 @@
|
| -@hex:
|
| - # 3DNow! instructions
|
| - # pi2fd %mm0,%mm1
|
| - 0f 0f c8 0d
|
| - # pfcmpeq %mm0,%mm1
|
| - 0f 0f c8 b0
|
| - # pfacc %mm0,%mm1
|
| - 0f 0f c8 ae
|
| - # pfrcp %mm0,%mm1
|
| - 0f 0f c8 96
|
| - # pfrcpit2 %mm0,%mm1
|
| - 0f 0f c8 b6
|
| - # pavgusb %mm0,%mm1
|
| - 0f 0f c8 bf
|
| - # pmulhrw %mm0,%mm1
|
| - 0f 0f c8 b7
|
| - # femms
|
| - 0f 0e
|
| -
|
| - # bundle alignment
|
| - 90
|
| - 90
|
| -
|
| - # prefetchw (%rsp)
|
| - 0f 0d 0c 24
|
| - # pfpnacc %mm0,%mm1
|
| - 0f 0f c8 8e
|
| - # pswapd %mm0,%mm1
|
| - 0f 0f c8 bb
|
| -@rval:
|
| - VALIDATOR: Checking jump targets: 0 to 2c
|
| - VALIDATOR: Checking that basic blocks are aligned
|
| - *** <input> is safe ***
|
| -@rvald:
|
| - VALIDATOR: Checking block alignment and jump targets: 0 to 2c
|
| - *** <input> is safe ***
|
| -@vd-rval:
|
| - VALIDATOR: Checking jump targets: 0 to 2c
|
| - VALIDATOR: Checking that basic blocks are aligned
|
| - *** <input> is safe ***
|
| -@dis:
|
| - 0000000000000000: 0f 0f c8 0d pi2fd %mmx1, %mmx0
|
| - 0000000000000004: 0f 0f c8 b0 pfcmpeq %mmx1, %mmx0
|
| - 0000000000000008: 0f 0f c8 ae pfacc %mmx1, %mmx0
|
| - 000000000000000c: 0f 0f c8 96 pfrcp %mmx1, %mmx0
|
| - 0000000000000010: 0f 0f c8 b6 pfrcpit2 %mmx1, %mmx0
|
| - 0000000000000014: 0f 0f c8 bf pavgusb %mmx1, %mmx0
|
| - 0000000000000018: 0f 0f c8 b7 pmulhrw %mmx1, %mmx0
|
| - 000000000000001c: 0f 0e femms
|
| - 000000000000001e: 90 nop
|
| - 000000000000001f: 90 nop
|
| - 0000000000000020: 0f 0d 0c 24 prefetch_modified [%rsp]
|
| - 0000000000000024: 0f 0f c8 8e pfpnacc %mmx1, %mmx0
|
| - 0000000000000028: 0f 0f c8 bb pswapd %mmx1, %mmx0
|
| -@vdis:
|
| - 0000000000000000: 0f 0f c8 0d [P] dontcare %mmx0 (u)
|
| - 0000000000000004: 0f 0f c8 b0 [P] dontcare %mmx0 (u)
|
| - 0000000000000008: 0f 0f c8 ae [P] dontcare %mmx0 (u)
|
| - 000000000000000c: 0f 0f c8 96 [P] dontcare %mmx0 (u)
|
| - 0000000000000010: 0f 0f c8 b6 [P] dontcare %mmx0 (u)
|
| - 0000000000000014: 0f 0f c8 bf [P] dontcare %mmx0 (u)
|
| - 0000000000000018: 0f 0f c8 b7 [P] dontcare %mmx0 (u)
|
| - 000000000000001c: 0f 0e [P] dontcare
|
| - 000000000000001e: 90 [P] dontcare
|
| - 000000000000001f: 90 [P] dontcare
|
| - 0000000000000020: 0f 0d 0c 24 [P] dontcare [%rsp]
|
| - 0000000000000024: 0f 0f c8 8e [P] dontcare %mmx0 (u)
|
| - 0000000000000028: 0f 0f c8 bb [P] dontcare %mmx0 (u)
|
| -@rdfa_output:
|
| - return code: 0
|
|
|