Index: src/trusted/validator/x86/testing/tf/converted/64/test_alias.tf |
diff --git a/src/trusted/validator/x86/testing/tf/converted/64/test_alias.tf b/src/trusted/validator/x86/testing/tf/converted/64/test_alias.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..df73bbf28a49960ec5ab3492a5acc77a04ba4fdb |
--- /dev/null |
+++ b/src/trusted/validator/x86/testing/tf/converted/64/test_alias.tf |
@@ -0,0 +1,25 @@ |
+BITS: 64 |
+OUTCOME: invalid |
+ |
+ |
+# For background, see: |
+# http://code.google.com/p/nativeclient/issues/detail?id=2574 |
+ |
+# "f6 /0" encoding of TEST. This is what assemblers generate. |
+asm: test $0x0,%bl |
+hex: f6 c3 00 |
+ |
+ |
+# "f6 /1" encoding of TEST. This is an alias encoding, which we |
+# should disallow on the grounds of minimalism. |
+hex: f6 cb 00 |
+nc_out: ERROR: This instruction has been marked illegal by Native Client |
+ |
+ |
+# The same applies to the "f7" versions of TEST. |
+asm: test $0x0,%ebx |
+hex: f7 c3 00 00 00 00 |
+ |
+hex: f7 cb 00 00 00 00 |
+nc_out: ERROR: This instruction has been marked illegal by Native Client |
+ |