progs/bfc1.scala
author Christian Urban <urbanc@in.tum.de>
Thu, 26 Sep 2019 11:00:17 +0100
changeset 633 b7fda9e18953
child 636 18f9c0cd8675
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
633
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
// A Transpiler for the Brainf*** language
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
//=========================================
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
import io.Source
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
import scala.util._
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
// loding a bf-file 
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
def load_bff(name: String) : String = 
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
  Try(Source.fromFile(name)("ISO-8859-1").mkString).getOrElse("")
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
def splice(cs: List[Char], acc: List[(Char, Int)]) : List[(Char, Int)] = (cs, acc) match {
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
  case (Nil, acc) => acc
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
  case (c :: cs, Nil) => splice(cs, List((c, 1)))
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
  case (c :: cs, (d, n) :: acc) => 
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
    if (c == d) splice(cs, (c, n + 1) :: acc)
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
    else splice(cs, (c, 1) :: (d, n) :: acc)
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
}
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
def spl(s: String) = splice(s.toList, Nil).reverse
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
def instr2(c: Char, n: Int) : String = c match {
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
  case '>' => "ptr += " + n.toString + ";"
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
  case '<' => "ptr -= " + n.toString + ";"
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
  case '+' => "(*ptr) += " + n.toString + ";"
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
  case '-' => "(*ptr) -= " + n.toString + ";"
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
  case '.' => "putchar(*ptr);" * n
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
  case ',' => "*ptr = getchar();\n" * n
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    29
  case '['  => "while(*ptr){" * n
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    30
  case ']'  => "}" * n
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
  case _ => ""
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    32
}
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    33
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
def instrs2(prog: String) : String =
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
  spl(prog).map{ case (c, n) => instr2(c, n) }.mkString
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
def compile_str(prog: String) : String = {
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
  "#include <string.h>\n" ++
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
  "#include <stdio.h>\n" ++
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
  "char field[30000];\n" ++
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
  "char *ptr = &field[15000];" ++
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
  "int main()\n{\n" ++
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
  "memset(field, '\\0', 30000);\n" ++
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
  instrs2(prog) ++
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
  "\n return 0;\n}"
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
}
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    49
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
def compile(name: String, prog: String) = {
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
  val fw = new java.io.FileWriter(name + ".c") 
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
  val is = compile_str(prog)
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
  //println(is)
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
  fw.write(is) 
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
  fw.close()
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
}
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    58
import sys.process._
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    59
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    60
def compile_run(prog: String) = {
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    61
  compile("tmp", prog)
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    62
  "gcc -O3 -o tmp tmp.c".!
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    63
  "./tmp".!
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    64
  ()
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65
}
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    66
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
def time_needed[T](n: Int, code: => T) = {
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
  val start = System.nanoTime()
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
  for (i <- 0 until n) code
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    70
  val end = System.nanoTime()
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    71
  (end - start) / (n * 1.0e9)
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
}
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    73
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    74
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    75
println(s"${time_needed(1, compile_run(load_bff("mandelbrot.bf")))} secs")
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    76
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    77
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    78
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    79
// a benchmark program (counts down from 'Z' to 'A')
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    80
val b1 = """>++[<+++++++++++++>-]<[[>+>+<<-]>[<+>-]++++++++
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    81
            [>++++++++<-]>.[-]<<>++++++++++[>++++++++++[>++
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    82
            ++++++++[>++++++++++[>++++++++++[>++++++++++[>+
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    83
            +++++++++[-]<-]<-]<-]<-]<-]<-]<-]++++++++++."""
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    84
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    85
println(s"${time_needed(1, compile_run(b1))} secs")