aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-03-06 05:02:56 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-07-01 00:18:44 +0200
commitb8c17466f25794ff9bf444f058cadf637745a02d (patch)
tree7e12e80b149f0e1e5d4e1c0dbf2e8c51810cea24 /validation/optim
parent11380d396ac94f6c808f130268c4ac026ac19f14 (diff)
downloadsparse-dev-b8c17466f25794ff9bf444f058cadf637745a02d.tar.gz
testsuite: improve mem2reg testcases
A few tests are added, some have been renamed to better refect their purposes. Finally, some checks have been added or tweaked. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim')
-rw-r--r--validation/optim/killed-insn.c14
-rw-r--r--validation/optim/null-phi.c9
2 files changed, 23 insertions, 0 deletions
diff --git a/validation/optim/killed-insn.c b/validation/optim/killed-insn.c
new file mode 100644
index 00000000..d1cdd02e
--- /dev/null
+++ b/validation/optim/killed-insn.c
@@ -0,0 +1,14 @@
+static void foo(int v)
+{
+ int a[2] = { };
+ a;
+ a[1] = v;
+}
+
+/*
+ * check-name: killed-insn
+ * check-command: test-linearize $file
+ *
+ * check-output-ignore
+ * check-output-excludes: store\\.
+ */
diff --git a/validation/optim/null-phi.c b/validation/optim/null-phi.c
new file mode 100644
index 00000000..1f9de4d5
--- /dev/null
+++ b/validation/optim/null-phi.c
@@ -0,0 +1,9 @@
+static int foo(void)
+{
+ if (0)
+ return 0;
+}
+
+/*
+ * check-name: null-phi
+ */