Index: src/trusted/validator_x86/testdata/32/foof-bug.tf |
diff --git a/src/trusted/validator_x86/testdata/32/foof-bug.tf b/src/trusted/validator_x86/testdata/32/foof-bug.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..d68afbaba9e6efbf06d234e7111801963e32932e |
--- /dev/null |
+++ b/src/trusted/validator_x86/testdata/32/foof-bug.tf |
@@ -0,0 +1,8 @@ |
+BITS: 32 |
+OUTCOME: invalid |
+ |
+# Test how we handle the F00F bug |
+# (http://en.wikipedia.org/wiki/Pentium_F00F_bug). |
+hex: f0 0f c7 c8 |
+nc_out: Illegal instruction |
+ |