Index: src/trusted/validator_x86/testdata/32/bt.tf |
diff --git a/src/trusted/validator_x86/testdata/32/bt.tf b/src/trusted/validator_x86/testdata/32/bt.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..cdd4702efec4ccaacc838b887e9053ce250c86c0 |
--- /dev/null |
+++ b/src/trusted/validator_x86/testdata/32/bt.tf |
@@ -0,0 +1,32 @@ |
+BITS: 32 |
+OUTCOME: invalid |
+ |
+# Test legal bit commands |
+# btw $0x1,(%esp) |
+asm: btw $0x1,(%esp) |
+hex: 66 0f ba 24 24 01 |
+nc_out: Undefined instruction |
+ |
+asm: nop; nop; nop; nop; nop |
+hex: 90 90 90 90 90 |
+ |
+# btl $0x1,(%esp) |
+asm: btl $0x1,(%esp) |
+hex: 0f ba 24 24 01 |
+nc_out: Illegal instruction |
+ |
+# btrl $0x1,(%esp) |
+asm: btrl $0x1,(%esp) |
+hex: 0f ba 34 24 01 |
+nc_out: Illegal instruction |
+ |
+# btsl $0x1,(%esp) |
+asm: btsl $0x1,(%esp) |
+hex: 0f ba 2c 24 01 |
+nc_out: Illegal instruction |
+ |
+# btcl $0x1,(%esp) |
+asm: btcl $0x1,(%esp) |
+hex: 0f ba 3c 24 01 |
+nc_out: Illegal instruction |
+ |