Index: src/trusted/validator_x86/testdata/64/3DNow.tf |
diff --git a/src/trusted/validator_x86/testdata/64/3DNow.tf b/src/trusted/validator_x86/testdata/64/3DNow.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..8b1c93e495b4d351d9ed7ecd46a12dccd0720365 |
--- /dev/null |
+++ b/src/trusted/validator_x86/testdata/64/3DNow.tf |
@@ -0,0 +1,49 @@ |
+BITS: 64 |
+OUTCOME: invalid |
+ |
+# 3DNow! instructions |
+# pi2fd %mm0,%mm1 |
+asm: pi2fd %mm0,%mm1 |
+hex: 0f 0f c8 0d |
+ |
+# pfcmpeq %mm0,%mm1 |
+asm: pfcmpeq %mm0,%mm1 |
+hex: 0f 0f c8 b0 |
+ |
+# pfacc %mm0,%mm1 |
+asm: pfacc %mm0,%mm1 |
+hex: 0f 0f c8 ae |
+ |
+# pfrcp %mm0,%mm1 |
+asm: pfrcp %mm0,%mm1 |
+hex: 0f 0f c8 96 |
+ |
+# pfrcpit2 %mm0,%mm1 |
+asm: pfrcpit2 %mm0,%mm1 |
+hex: 0f 0f c8 b6 |
+ |
+# pavgusb %mm0,%mm1 |
+asm: pavgusb %mm0,%mm1 |
+hex: 0f 0f c8 bf |
+ |
+# pmulhrw %mm0,%mm1 |
+asm: pmulhrw %mm0,%mm1 |
+hex: 0f 0f c8 b7 |
+ |
+# femms |
+asm: femms |
+hex: 0f 0e |
+ |
+# prefetchw (%rsp) |
+asm: prefetchw (%rsp) |
+hex: 0f 0d 0c 24 |
+nc_out: [at +2] Bad basic block alignment. |
+ |
+# pfpnacc %mm0,%mm1 |
+asm: pfpnacc %mm0,%mm1 |
+hex: 0f 0f c8 8e |
+ |
+# pswapd %mm0,%mm1 |
+asm: pswapd %mm0,%mm1 |
+hex: 0f 0f c8 bb |
+ |