Что-то, издалека похожее на компилятор

komarov.andrey/.gitignore

@@ -0,0 +1,4 @@
+arm
+.cabal-sandbox
+*flymake*
+dist

komarov.andrey/LICENSE

@@ -0,0 +1,14 @@
+            DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE
+                    Version 2, December 2004
+
+ Copyright (C) 2004 Sam Hocevar <sam@hocevar.net>
+
+ Everyone is permitted to copy and distribute verbatim or modified
+ copies of this license document, and changing it is allowed as long
+ as the name is changed.
+
+            DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE
+   TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
+
+  0. You just DO WHAT THE FUCK YOU WANT TO.
+

komarov.andrey/README.md

@@ -0,0 +1,67 @@
+# Что должно быть установлено в системе #
+
+* qemu
+* cabal
+
+# Установка эмулятора #
+
+В папке `vm` лежит файл `download.sh`, который скачает всё необходимое
+для запуска виртуальной машины (всё взято отсюда:
+https://people.debian.org/~aurel32/qemu/armel/).
+
+Затем, `run.sh` запустит виртуальную машину (несколько минут). После
+запуска, можно будет заходить на неё по ssh на 2222 порту. Пароли:
+user/user, root/root.
+
+На виртуальной машине выполнить:
+
+``````
+~# apt-get update && apt-get install -y gcc strace
+``````
+
+Убедиться, что `as` и `ld` установились.
+
+# Установка компилятора #
+
+``````
+cabal install 
+``````
+
+После этого должен появиться файл `~/.cabal/bin/fcc`. Это компилятор,
+который принимает на вход программу, и выводит на стандартный вывод
+ассемблер для ARM. Процесс компиляции и запуска:
+
+`````
+local $ fcc < examples/cat.fc > cat.S
+local $ scp -P 2222 cat.S user@localhost:~
+user@debian-armel $ as cat.S -o cat.o
+user@debian-armel $ ld cat.o -o cat
+user@debian-armel $ echo hello | ./cat
+hello
+`````
+
+# Как запустить что-то, отличное от `cat` #
+
+В остальных примерах не используется ввод-вывод, а для этого результат
+возвращается из функции main как код возврата. Наглядно за этим можно,
+например, наблюдать, запуская программу через strace и смотря на
+аргумент, с которым вызван системный вызов `exit`
+
+# Оптимизации #
+
+Реализовано два вида оптимизаций:
+
+* Удаление ненужного кода
+Начинаем с точки входа, смотрим, какие функции и глобальные
+переменные достижимы, остальные удаляем
+* Пытаемся посчитать значения подвыражений
+  * Выделяем <<хорошие>> функции и пытаемся вычислять их во время компиляции
+  * Хорошие --- те, которые не используют <<неправильных>>
+  <<библиотечных>> вызовов, массивов (TBD) и глобальных переменных
+  * Удаляем недостижимый код и упраздняем очевидные `if`-ы и `while`-ы
+  * Вычислятор -решает проблему останова- делает 10000 итераций и
+  успокаивается, если вычислить не удалось
+
+Примеры хорошо оптимизируемых программ: `examples/fact.fc`,
+`examples/sum.fc`
+

komarov.andrey/Setup.hs

@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain

komarov.andrey/asm/Makefile

@@ -0,0 +1,9 @@
+
+hello: example.o
+	gcc -g hello.c example.o -o hello
+
+example.o: example.S
+	as example.S -o example.o
+
+clean:
+	rm -f *.o hello

komarov.andrey/asm/example.S

@@ -0,0 +1,52 @@
+.data
+x: .word 0
+
+.text
+
+xx: .word x
+
+.global f
+.global fact
+.global ret5
+.global ret6
+
+f:
+ldr r1, xx
+ldr r0, [r1]
+add r0, #1
+str r0, [r1]
+mov pc, lr
+
+# calling conv.
+ret5:
+ret6:
+ldr r0, [sp]
+mov pc, lr
+
+# fact(n)
+fact:
+push {fp, lr}   @
+mov fp, sp      @ ENTER
+sub sp, sp, #4 @
+
+mov r2, #0
+teq r0, r2
+beq ret1
+
+str r0, [fp, #-4]
+sub r0, r0, #1
+bl fact
+ldr r1, [fp, #-4]
+mul r0, r1, r0
+b ret
+
+ret1:
+mov r0, #1
+b ret
+
+ret:
+mov sp, fp    @
+pop {fp, lr}  @ EXIT
+mov pc, lr    @
+
+

komarov.andrey/asm/hello.c

@@ -0,0 +1,27 @@
+#include <stdio.h>
+
+int f();
+
+int fact(int x);
+
+int ret5(int a, int b, int c, int d, int e);
+
+int ret6(int a, int b, int c, int d, int e, int f);
+
+int add(int a, int b)
+{
+    int c = a + b;
+    return c;
+}
+
+int main()
+{
+    printf("hello\n");
+    int i;
+    for (i = 0; i < 10; i++)
+        printf("%d ", f());
+    printf("\n");
+    printf("%d\n", fact(5));
+    printf("%d\n", ret5(1, 2, 3, 4, 5));
+    printf("%d\n", ret6(1, 2, 3, 4, 5, 6));
+}

komarov.andrey/demo/Makefile

@@ -0,0 +1,13 @@
+all:
+	make -C ../src
+	../src/TestCompiler < callc.l > callc.S
+	../src/TestCompiler < isPrime.l > prime.S
+	../src/TestCompiler < fact.l > fact.S
+	../src/TestCompiler < global.l > global.S
+
+compile:
+	gcc callc.S call.c -o call
+	gcc fact.S fact.c -o fact
+	gcc global.S global.c -o global
+	gcc prime.S prime.c -o prime
+

komarov.andrey/demo/call.c

@@ -0,0 +1,14 @@
+#include <stdio.h>
+
+int add(int a, int b)
+{
+    return a + b;
+}
+
+int f();
+
+int main()
+{
+    printf("%d\n", f());
+}
+

komarov.andrey/demo/callc.l

@@ -0,0 +1,6 @@
+int add(int a, int b);
+
+int f()
+{
+    return add(40, 2);
+}

komarov.andrey/demo/fact.c

@@ -0,0 +1,9 @@
+#include <stdio.h>
+
+int fact(int n);
+
+int main()
+{
+    printf("%d\n", fact(5));
+    return 0;
+}

komarov.andrey/demo/fact.l

@@ -0,0 +1,6 @@
+int fact(int n) {
+    if (n == 0)
+        return 1;
+    else
+        return n * fact(n - 1);
+}

komarov.andrey/demo/global.c

@@ -0,0 +1,12 @@
+#include <stdio.h>
+
+int inc();
+
+int main()
+{
+    int i;
+    for (i = 0; i < 10; i++)
+        printf("%d ", inc());
+    printf("\n");
+    return 0;
+}

komarov.andrey/demo/global.l

@@ -0,0 +1,8 @@
+
+int v;
+
+int inc()
+{
+  v = v + 1;
+  return v;
+}

komarov.andrey/demo/isPrime.l

@@ -0,0 +1,50 @@
+int div(int a, int b);
+int mod(int a, int b);
+
+bool isPrime(int n)
+{
+    int i;
+    i = 2;
+    while (i * i <= n)
+    {
+        if (mod(n, i) == 0)
+            return false;
+        else {}
+        i = i + 1;
+    }
+    return true;
+}
+
+int numPrimes(int from, int to)
+{
+    int i;
+    i = from;
+    int ans;
+    ans = 0;
+    while (i < to)
+    {
+        if (isPrime(i))
+            ans = ans + 1;
+        else {}
+        i = i + 1;
+    }
+    return ans;
+}
+
+int mod(int a, int b)
+{
+    return a - b * div(a, b);
+}
+
+int div(int a, int b)
+{
+    int c;
+    c = 0;
+    while (a >= 0)
+    {
+        c = c + 1;
+        a = a - b;
+    }
+    return c - 1;
+}
+

komarov.andrey/demo/prime.c

@@ -0,0 +1,15 @@
+#include <stdio.h>
+
+int isPrime(int n);
+int numPrimes(int from, int to);
+
+int main()
+{
+    int i;
+    for (i = 2; i < 20; i++)
+    {
+        printf("%d is %s\n", i, isPrime(i) ? "prime" : "not prime");
+    }
+    printf("%d primes between 100 and 5000\n", numPrimes(100, 5000));
+}
+

komarov.andrey/examples/cat-global.fc

@@ -0,0 +1,9 @@
+int c;
+int main() {
+	c = getchar();
+	while (c != 0-1) {
+		putchar(c);
+		c = getchar();
+	}
+	return 0;
+}

komarov.andrey/examples/cat.fc

@@ -0,0 +1,9 @@
+int main() {
+	int c;
+	c = getchar();
+	while (c != 0-1) {
+		putchar(c);
+		c = getchar();
+	}
+	return 0;
+}

komarov.andrey/examples/e.fc

@@ -0,0 +1 @@
+int main() { return 10 + 20; }

komarov.andrey/examples/e2.fc

@@ -0,0 +1,11 @@
+int f() {
+    if (true) {
+        return 10;
+    } else {
+        return 20;
+    }
+}
+
+int main() {
+    return f();
+}

komarov.andrey/examples/e3.fc

@@ -0,0 +1,9 @@
+int fact(int n) {
+  if (n == 0) {
+     return 10;
+  } else {
+     return 20;
+  }
+}
+
+int main() { return fact(10); }

komarov.andrey/examples/e4.fc

@@ -0,0 +1,9 @@
+int fact(int n) {
+    if (n == 0) {
+        return 10;
+    } else {
+        return fact(n - 3);
+    }
+}
+
+int main() { return fact(10); }

komarov.andrey/examples/e5.fc

@@ -0,0 +1,10 @@
+int f() {
+    int a;
+    a = 0;
+    while (a < 10) {
+        a = a + 3;
+    }
+    return a;
+}
+
+int main() { return f(); }

komarov.andrey/examples/e6.fc

@@ -0,0 +1,9 @@
+int f() {
+    int a;
+    a = 10;
+    return a;
+}
+
+int main() {
+    return f();
+}