add opt checking testcases

3 files changed, 19 insertions, 0 deletions

diff --git a/testbed/custom_opt.c b/testbed/custom_const.c
index d0126f3..d0126f3 100644
--- a/testbed/custom_opt.c
+++ b/testbed/custom_const.c
diff --git a/testbed/custom_subexp.c b/testbed/custom_subexp.c
new file mode 100644
index 0000000..bce5bdb
--- /dev/null
+++ b/testbed/custom_subexp.c
@@ -0,0 +1,9 @@
+int N = 0;

+void f() { N = 2; }

+int main() {

+    int a, b;

+    a = N + 1;

+    f();

+    b = N + 1;

+    printf("%d\n", b);

+}

diff --git a/testbed/custom_subexp2.c b/testbed/custom_subexp2.c
new file mode 100644
index 0000000..1e4af93
--- /dev/null
+++ b/testbed/custom_subexp2.c
@@ -0,0 +1,10 @@
+int flag = 0;
+int check(int x, int y) {
+    return x > 0 && y > 0 && (flag ^= 1);
+}
+int main() {
+    int x = 1, y = 2;
+    printf("%d\n", check(x, y));
+    printf("%d\n", check(x, y));
+    printf("%d\n", check(x, y));
+}