restructured control flow tests

2014-03-04 19:00:18 +04:00
parent fe349da4d5
commit ec47821567
85 changed files with 317 additions and 203 deletions
@@ -0,0 +1,128 @@
+== t1 ==
+fun t1(b: Boolean) {
+    var u: String
+    if (b) {
+        u = "s"
+    }
+    doSmth(u)
+
+    var r: String
+    if (b) {
+        r = "s"
+    }
+    else {
+        r = "t"
+    }
+    doSmth(r)
+}
+---------------------
+L0:
+    <START>
+    v(b: Boolean)
+    w(b)
+    mark({ var u: String if (b) { u = "s" } doSmth(u) var r: String if (b) { r = "s" } else { r = "t" } doSmth(r) })
+    v(var u: String)
+    mark(if (b) { u = "s" })
+    r(b)
+    jf(L2)                                                                                                              NEXT:[read (Unit), mark({ u = "s" })]
+    mark({ u = "s" })
+    mark("s")
+    r("s")
+    w(u)
+    jmp(L3)                                                                                                             NEXT:[mark(doSmth(u))]
+L2:
+    read (Unit)                                                                                                         PREV:[jf(L2)]
+L3:
+    mark(doSmth(u))                                                                                                     PREV:[jmp(L3), read (Unit)]
+    r(u)
+    call(doSmth, doSmth)
+    v(var r: String)
+    mark(if (b) { r = "s" } else { r = "t" })
+    r(b)
+    jf(L4)                                                                                                              NEXT:[mark({ r = "t" }), mark({ r = "s" })]
+    mark({ r = "s" })
+    mark("s")
+    r("s")
+    w(r)
+    jmp(L5)                                                                                                             NEXT:[mark(doSmth(r))]
+L4:
+    mark({ r = "t" })                                                                                                   PREV:[jf(L4)]
+    mark("t")
+    r("t")
+    w(r)
+L5:
+    mark(doSmth(r))                                                                                                     PREV:[jmp(L5), w(r)]
+    r(r)
+    call(doSmth, doSmth)
+L1:
+    <END>                                                                                                               NEXT:[<SINK>]
+error:
+    <ERROR>                                                                                                             PREV:[]
+sink:
+    <SINK>                                                                                                              PREV:[<ERROR>, <END>]
+=====================
+== t2 ==
+fun t2(b: Boolean) {
+    val i = 3
+    if (b) {
+        return;
+    }
+    doSmth(i)
+    if (i is Int) {
+        return;
+    }
+}
+---------------------
+L0:
+    <START>
+    v(b: Boolean)
+    w(b)
+    mark({ val i = 3 if (b) { return; } doSmth(i) if (i is Int) { return; } })
+    v(val i = 3)
+    r(3)
+    w(i)
+    mark(if (b) { return; })
+    r(b)
+    jf(L2)                                                                        NEXT:[read (Unit), mark({ return; })]
+    mark({ return; })
+    ret L1                                                                        NEXT:[<END>]
+-   jmp(L3)                                                                       NEXT:[mark(doSmth(i))]                                                               PREV:[]
+L2:
+    read (Unit)                                                                   PREV:[jf(L2)]
+L3:
+    mark(doSmth(i))
+    r(i)
+    call(doSmth, doSmth)
+    mark(if (i is Int) { return; })
+    mark(i is Int)
+    r(i)
+    jf(L4)                                                                        NEXT:[read (Unit), mark({ return; })]
+    mark({ return; })
+    ret L1                                                                        NEXT:[<END>]
+-   jmp(L5)                                                                       NEXT:[<END>]                                                                         PREV:[]
+L4:
+    read (Unit)                                                                   PREV:[jf(L4)]
+L1:
+L5:
+    <END>                                                                         NEXT:[<SINK>]                                                                        PREV:[ret L1, ret L1, read (Unit)]
+error:
+    <ERROR>                                                                       PREV:[]
+sink:
+    <SINK>                                                                        PREV:[<ERROR>, <END>]
+=====================
+== doSmth ==
+fun doSmth(s: String) {}
+---------------------
+L0:
+    <START>
+    v(s: String)
+    w(s)
+    mark({})
+    read (Unit)
+L1:
+    <END>           NEXT:[<SINK>]
+error:
+    <ERROR>         PREV:[]
+sink:
+    <SINK>          PREV:[<ERROR>, <END>]
+=====================