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));
+}