From 6411e53fe729a987a300274f6b15fd88b737367d Mon Sep 17 00:00:00 2001
From: Serhei Makarov <smakarov@redhat.com>
Date: Tue, 16 Oct 2018 18:13:47 -0400
Subject: [PATCH 04/32] stapbpf assembler WIP #3 :: additional assembly test
 cases

---
 testsuite/systemtap.bpf/asm_tests/err_alloc.stp   | 10 ++++++++++
 testsuite/systemtap.bpf/asm_tests/err_numeric.stp | 18 ++++++++++++++++++
 testsuite/systemtap.bpf/asm_tests/simple.stp      |  6 +++---
 testsuite/systemtap.bpf/asm_tests/string.stp      | 22 ++++++++++++++++++++++
 testsuite/systemtap.bpf/asm_tests/temporary.stp   | 14 ++++++++++++++
 5 files changed, 67 insertions(+), 3 deletions(-)
 create mode 100644 testsuite/systemtap.bpf/asm_tests/err_alloc.stp
 create mode 100644 testsuite/systemtap.bpf/asm_tests/err_numeric.stp
 create mode 100644 testsuite/systemtap.bpf/asm_tests/string.stp
 create mode 100644 testsuite/systemtap.bpf/asm_tests/temporary.stp

diff --git a/testsuite/systemtap.bpf/asm_tests/err_alloc.stp b/testsuite/systemtap.bpf/asm_tests/err_alloc.stp
new file mode 100644
index 000000000..6778a52e2
--- /dev/null
+++ b/testsuite/systemtap.bpf/asm_tests/err_alloc.stp
@@ -0,0 +1,10 @@
+function foo:long (x:long) %{ /* bpf */ /* pure */
+  alloc "not a register", BPF_MAXSTRINGLEN; /* SHOULD ERROR */
+  0xbf, $$, "fifty", -, -; /* mov $$, "fifty" */
+%}
+
+
+probe begin {
+  printf("foo(1)=%d should be fifty\n", foo(1))
+  exit()
+}
diff --git a/testsuite/systemtap.bpf/asm_tests/err_numeric.stp b/testsuite/systemtap.bpf/asm_tests/err_numeric.stp
new file mode 100644
index 000000000..9428e5704
--- /dev/null
+++ b/testsuite/systemtap.bpf/asm_tests/err_numeric.stp
@@ -0,0 +1,18 @@
+function foo:long (x:long) %{ /* bpf */ /* pure */
+  /* verify refusal to accept gibberish */
+  0xd33333333333333333333333333333333333333333333333333333333333333333333333333334db33f, $x, -, _bar, 10; /* XTREAM opcode */
+  /* 0xb7, $$, -, huirgishvirguwishgiburg, 100; /* XTREAM 3rd arg */
+  /* 0xb7, $$, -, -, borkborkborkborkbork; /* XTREAM 4th arg */
+%}
+
+function bar:long (x:long) {
+  if (x <= 10) return 50 else return 100
+}
+
+probe begin {
+  printf("foo(1)=%d should be %d\n", foo(1), bar(1))
+  printf("foo(8)=%d should be %d\n", foo(8), bar(8))
+  printf("foo(15)=%d should be %d\n", foo(15), bar(15))
+  exit()
+}
+
diff --git a/testsuite/systemtap.bpf/asm_tests/simple.stp b/testsuite/systemtap.bpf/asm_tests/simple.stp
index 693219d15..17184a139 100644
--- a/testsuite/systemtap.bpf/asm_tests/simple.stp
+++ b/testsuite/systemtap.bpf/asm_tests/simple.stp
@@ -1,11 +1,11 @@
 function foo:long (x:long) %{ /* bpf */ /* pure */
   /* compute 100-x */
-  0xb7, $$, -, -, 100; /* mov $$, ee */
+  0xb7, $$, -, -, 100; /* mov $$, 100 */
   0x1f, $$, $x, -, -; /* sub $$, $x */
 %}
 
 probe begin {
-  printf("foo(1)=%d\n", foo(1))
-  printf("foo(15)=%d\n", foo(15))
+  printf("foo(1)=%d, should be 99\n", foo(1))
+  printf("foo(15)=%d, should be 85\n", foo(15))
   exit()
 }
diff --git a/testsuite/systemtap.bpf/asm_tests/string.stp b/testsuite/systemtap.bpf/asm_tests/string.stp
new file mode 100644
index 000000000..dce665c14
--- /dev/null
+++ b/testsuite/systemtap.bpf/asm_tests/string.stp
@@ -0,0 +1,22 @@
+function foo:long (x:long) %{ /* bpf */ /* pure */
+  /* if x <= 10 then "fifty" else "one-hundred" */
+  0xd5, $x, -, _bar, 10; /* jsle $x, 10, _bar */
+  0xbf, $$, "one-hundred", -, -; /* mov $$, "one-hundred" */
+  0x05, -, -, _done, -; /* ja _done; */
+  label, _bar;
+  0xbf, $$, "fifty", -, -; /* mov $$, "fifty" */
+  label, _done;
+  /* 0xbf, $$, $$, -, -; /* dummy op */
+%}
+
+function bar:long (x:long) {
+  if (x <= 10) return 50 else return 100
+}
+
+probe begin {
+  printf("foo(1)=%d should be %d\n", foo(1), bar(1))
+  printf("foo(8)=%d should be %d\n", foo(8), bar(8))
+  printf("foo(15)=%d should be %d\n", foo(15), bar(15))
+  exit()
+}
+
diff --git a/testsuite/systemtap.bpf/asm_tests/temporary.stp b/testsuite/systemtap.bpf/asm_tests/temporary.stp
new file mode 100644
index 000000000..153c759ba
--- /dev/null
+++ b/testsuite/systemtap.bpf/asm_tests/temporary.stp
@@ -0,0 +1,14 @@
+function foo:long (x:long) %{ /* bpf */ /* pure */
+  /* compute (100-x)*(x+2) */
+  0xb7, $$, -, -, 100; /* mov $$, 100 */
+  0x1f, $$, $x, -, -; /* sub $$, $x */
+  0xbf, $tmp, $x, -, -; /* mov $tmp, $x */
+  0x07, $tmp, -, -, 2; /* add $tmp, 2 */
+  0x2f, $$, $tmp, -, -; /* mul $$, $tmp */
+%}
+
+probe begin {
+  printf("foo(1)=%d, should be 99*3=297\n", foo(1))
+  printf("foo(15)=%d, should be 85*18=1530\n", foo(15))
+  exit()
+}
-- 
2.14.5