progs/bfc0.scala
author Christian Urban <urbanc@in.tum.de>
Mon, 07 Oct 2019 20:53:25 +0100
changeset 648 a64c9a1007ee
parent 638 e951b9688bb2
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
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
// simple instructions
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
def instr(c: Char) : String = c match {
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
  case '>' => "ptr++;"
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
  case '<' => "ptr--;"
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
  case '+' => "(*ptr)++;"
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
  case '-' => "(*ptr)--;"
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
  case '.' => "putchar(*ptr);"
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
  case ',' => "*ptr = getchar();\n"
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
  case '['  => "while(*ptr){"
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
  case ']'  => "}"
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
  case _ => ""
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
}
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
def instrs(prog: String) : String =
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
  prog.toList.map(instr(_)).mkString
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    29
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    30
def compile_str(prog: String) : String = {
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
  "#include <string.h>\n" ++
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    32
  "#include <stdio.h>\n" ++
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    33
  "char field[30000];\n" ++
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
  "char *ptr = &field[15000];" ++
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
  "int main()\n{\n" ++
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
  "memset(field, '\\0', 30000);\n" ++
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
  instrs(prog) ++
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
  "\n return 0;\n}"
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
}
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
def compile(name: String, prog: String) = {
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
  val fw = new java.io.FileWriter(name + ".c") 
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
  val is = compile_str(prog)
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
  //println(is)
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
  fw.write(is) 
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
  fw.close()
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
}
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
636
18f9c0cd8675 updated
Christian Urban <urbanc@in.tum.de>
parents: 634
diff changeset
    49
// running the c-compiler over the transpiled
18f9c0cd8675 updated
Christian Urban <urbanc@in.tum.de>
parents: 634
diff changeset
    50
// BF program and running the result
633
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
import sys.process._
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
def compile_run(prog: String) = {
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
  compile("tmp", prog)
638
e951b9688bb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 637
diff changeset
    55
  "gcc -O3 -o tmp tmp.c".!
633
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
  "./tmp".!
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
  ()
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    58
}
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 time_needed[T](n: Int, code: => T) = {
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    61
  val start = System.nanoTime()
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    62
  for (i <- 0 until n) code
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    63
  val end = System.nanoTime()
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    64
  (end - start)/(n * 1.0e9)
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65
}
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    66
637
936560fab865 updated
Christian Urban <urbanc@in.tum.de>
parents: 636
diff changeset
    67
// the mandelbrot program
636
18f9c0cd8675 updated
Christian Urban <urbanc@in.tum.de>
parents: 634
diff changeset
    68
val b0 = load_bff("mandelbrot.bf")
633
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
636
18f9c0cd8675 updated
Christian Urban <urbanc@in.tum.de>
parents: 634
diff changeset
    70
println(s"${time_needed(1, compile_run(b0))} secs")
633
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    71
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
// a benchmark program (counts down from 'Z' to 'A')
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    75
val b1 = """>++[<+++++++++++++>-]<[[>+>+<<-]>[<+>-]++++++++
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
b7fda9e18953 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    80
println(s"${time_needed(1, compile_run(b1))} secs")
648
a64c9a1007ee updated
Christian Urban <urbanc@in.tum.de>
parents: 638
diff changeset
    81
a64c9a1007ee updated
Christian Urban <urbanc@in.tum.de>
parents: 638
diff changeset
    82
a64c9a1007ee updated
Christian Urban <urbanc@in.tum.de>
parents: 638
diff changeset
    83
a64c9a1007ee updated
Christian Urban <urbanc@in.tum.de>
parents: 638
diff changeset
    84