X-Git-Url: https://pd.if.org/git/?p=lice;a=blobdiff_plain;f=tests%2Fcontrol.c;fp=tests%2Fcontrol.c;h=05548fe1e1080f72cfb6082ff46727aae17c66c3;hp=0000000000000000000000000000000000000000;hb=f1abb26903687c7967cf37c3f6c830051bdeb371;hpb=bb650f4a52a456c1aa0a34508d6f3dcce58291b6

diff --git a/tests/control.c b/tests/control.c
new file mode 100644
index 0000000..05548fe
--- /dev/null
+++ b/tests/control.c
@@ -0,0 +1,313 @@
+// control flow
+
+int if1(void) {
+    if (1) {
+        return 1;
+    }
+    return 0;
+}
+
+int if2(void) {
+    if (0) {
+        return 0;
+    }
+    return 2;
+}
+
+int if3(void) {
+    if (1) {
+        return 3;
+    } else {
+        return 0;
+    }
+    return 0;
+}
+
+int if4(void) {
+    if (0) {
+        return 0;
+    } else {
+        return 4;
+    }
+    return 0;
+}
+
+int if5(void) {
+    if (1) return 5;
+    return 0;
+}
+
+int if6(void) {
+    if (0) return 0;
+    return 6;
+}
+
+int if7(void) {
+    if (1) return 7;
+    else return 0;
+    return 0;
+}
+
+int if8(void) {
+    if (0) return 0;
+    else return 8;
+    return 0;
+}
+
+int if9(void) {
+    // 0.5 evaluates true
+    if (0.5) return 9;
+    else return 0;
+}
+
+int main(void) {
+    int i;
+    int j;
+
+    expecti(if1(), 1);
+    expecti(if2(), 2);
+    expecti(if3(), 3);
+    expecti(if4(), 4);
+    expecti(if5(), 5);
+    expecti(if6(), 6);
+    expecti(if7(), 7);
+    expecti(if8(), 8);
+    expecti(if9(), 9);
+
+    // for control
+    j = 0;
+    for (i = 0; i < 5; i++)
+        j = j + i;
+    expecti(j, 10);
+
+    j = 0;
+    for (i = 0; i < 5; i++) {
+        j = j + i;
+    }
+    expecti(j, 10);
+
+    j = 0;
+    for (i = 0; i < 100; i++) {
+        if (i < 5)
+            continue;
+        if (i == 9)
+            break;
+        j += i;
+    }
+    expecti(j, 5 + 6 + 7 + 8);
+
+    i = 0;
+    for (; 0.5;) {
+        i = 1337;
+        break;
+    }
+    expecti(i, 1337);
+
+    // while control
+    i = 0;
+    j = 0;
+    while (i <= 100)
+        j = j + i++;
+    expecti(j, 5050);
+
+    i = 0;
+    j = 1;
+    while (i <= 100)
+        j = j + i++;
+    expecti(j, 5051);
+
+    i = 0;
+    j = 0;
+    while (i < 10) {
+        if (i++ < 5)
+            continue;
+        j += i;
+        if (i == 9)
+            break;
+    }
+    expecti(j, 6 + 7 + 8 + 9);
+
+    i = 0;
+    while (0.5) {
+        i = 1337;
+        break;
+    }
+    expecti(i, 1337);
+
+    // do control
+    i = 0;
+    j = 0;
+    do {
+        j = j + i++;
+    } while (i <= 100);
+    expecti(j, 5050);
+
+    i = 0;
+    do { i = 1337; } while (0);
+    expecti(i, 1337);
+
+    i = 0;
+    j = 0;
+    do {
+        if (i++ < 5)
+            continue;
+        j += i;
+        if (i == 9)
+            break;
+    } while (i < 10);
+    expecti(j, 6 + 7 + 8 + 9);
+    expecti(i, 9);
+
+    i = 0;
+    do { i++; break; } while (0.5);
+    expecti(i, 1);
+
+    // switch control
+    i = 0;
+    switch (1 + 2) {
+        case 0:
+            expecti(0, 1);
+        case 3:
+            i = 3;
+            break;
+        case 1:
+            expecti(0, 1);
+    }
+    expecti(i, 3);
+
+    i = 0;
+    switch(1) {
+        case 0: i++;
+        case 1: i++;
+        case 2: i++;
+        case 3: i++;
+    }
+    expecti(i, 3);
+
+    i = 0;
+    switch (1024) {
+        case 0: i++;
+        default:
+            i = 128;
+    }
+    expecti(i, 128);
+
+    i = 0;
+    switch (1024) {
+        case 0: i++;
+    }
+    expecti(i, 0);
+
+    i = 1024;
+    switch (3) {
+        i++;
+    }
+
+    switch (1337) {
+        case 1 ... 100:
+            expecti(1, 0);
+        case 101:
+            expecti(1, 0);
+        case 102 ... 1337:
+            break;
+        default:
+            expecti(1, 0);
+    }
+
+    expecti(i, 1024);
+
+    i = 0;
+    j = 1024;
+    switch (j % 8) {
+        case 0: do { i++;
+        case 7:      i++;
+        case 6:      i++;
+        case 5:      i++;
+        case 4:      i++;
+        case 3:      i++;
+        case 2:      i++;
+        case 1:      i++;
+                } while ((j -= 8) > 0);
+    }
+    expecti(i, 1024);
+
+    // goto control
+    j = 0;
+    goto A;
+    j = 5;
+A:  expecti(j, 0);
+    i = 0;
+    j = 0;
+B:  if (i > 10)
+        goto C;
+    j += i++;
+    goto B;
+C:  if (i > 11)
+        goto D;
+    expecti(j, 55);
+    i++;
+    goto B;
+D:
+    expecti(i, 12);
+    expecti(j, 55);
+
+    // logical or control flow
+    expecti(0 || 3, 1);
+    expecti(5 || 0, 1);
+    expecti(0 || 0, 0);
+
+    // empty expressions
+    for (;;)
+        break;
+
+    for (i = 0; i < 50; i++)
+        ;
+
+    i = 0;
+    while (i++ < 50)
+        ;
+
+    i = 0;
+    do 1; while (i++ < 50);
+    i = 0;
+    do; while (i++ < 50);
+
+    switch (1)
+        ;
+
+    i = ((0.5) ? 1 : 0);
+    expecti(i, 1);
+
+    // computed goto
+    void *Q[] = { &&__a, &&__b, &&__c, &&__d };
+    int _ = 0;
+    goto *Q[0];
+    _ = 100;
+
+__a:
+    if (_ == 5)
+        return 0;
+    expecti(_, 0);
+    _ = 1;
+    goto *Q[2];
+    _ = 2;
+
+__b:
+    expecti(_, -1);
+    _ = 5;
+    goto *Q[3];
+    _ = 0;
+
+__c:
+    expecti(_, 1);
+    _ = -1;
+    goto *Q[1];
+    _ = 3;
+
+__d:
+    expecti(_, 5);
+    goto **Q;
+
+
+    return 1; // error
+}