(abandoned) Validator tests: convert hexes to TFs and run on bots (for prod. validator only)

src/trusted/validator/x86/testing/tf/converted/32/addr16.tf

Index: src/trusted/validator/x86/testing/tf/converted/32/addr16.tf
diff --git a/src/trusted/validator/x86/testing/tf/converted/32/addr16.tf b/src/trusted/validator/x86/testing/tf/converted/32/addr16.tf
new file mode 100644
index 0000000000000000000000000000000000000000..04ad8155ff40e0815fb9bbe7070cd48f8d63f80e
--- /dev/null
+++ b/src/trusted/validator/x86/testing/tf/converted/32/addr16.tf
@@ -0,0 +1,15 @@
+BITS: 32

[Mark Seaborn, 2012/09/10 19:38:06]

"converted" isn't a good name for the directory if this is going to be the final
place for the test files.  And I wouldn't like to have to move them all in a
later change.

So I'd suggest putting them in the existing
src/trusted/validator_x86/testdata/{32,64} directories as *.tf files.

[Vlad Shcherbina, 2012/09/11 14:26:00]

Done.

+OUTCOME: invalid
+
+# Doesn't disassemble correctly
+# 16-bit instructions
+# mov %ax, (%bx)
+asm: addr16 mov %ax,(%bx)
+hex: 67 66 89 07
+nc_out: Bad prefix usage
+
+# mov %ax, (%bp)
+asm: addr16 mov %ax,0x0(%bp)
+hex: 67 66 89 46 00
+nc_out: Bad prefix usage
+