Index: src/trusted/validator_x86/testdata/32/test-1.tf |
diff --git a/src/trusted/validator_x86/testdata/32/test-1.tf b/src/trusted/validator_x86/testdata/32/test-1.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..ab92805610b420874ddbac08db8fb8ec29eb4182 |
--- /dev/null |
+++ b/src/trusted/validator_x86/testdata/32/test-1.tf |
@@ -0,0 +1,37 @@ |
+BITS: 32 |
+OUTCOME: invalid |
+ |
+# test 1: a first very simple test with an illegal inst. |
+asm: push %ebp |
+hex: 55 |
+ |
+asm: mov %esp,%ebp |
+hex: 89 e5 |
+ |
+asm: sub $0x8,%esp |
+hex: 83 ec 08 |
+ |
+asm: call .+134 |
+hex: e8 81 00 00 00 |
+nc_out: JUMP TARGET out of range |
+ |
+asm: call .+216 |
+hex: e8 d3 00 00 00 |
+nc_out: JUMP TARGET out of range |
+ |
+asm: call .+1272 |
+hex: e8 f3 04 00 00 |
+nc_out: JUMP TARGET out of range |
+ |
+asm: leave |
+hex: c9 |
+ |
+asm: ret |
+hex: c3 |
+nc_out: ret instruction (not allowed) |
+nc_out: Illegal instruction |
+ |
+asm: add %al,(%eax); hlt |
+hex: 00 00 f4 |
+ |
+ |