main_templates5/bfc.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Wed, 02 Nov 2022 13:22:59 +0000
changeset 426 66d8cbd39ef6
parent 425 6e990ae2c6a3
child 429 440836d805e3
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
399
d04b8569f124 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 384
diff changeset
     1
// Main Part 5 about a "Compiler" for the Brainf*** language
d04b8569f124 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 384
diff changeset
     2
//============================================================
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
285
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
     4
399
d04b8569f124 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 384
diff changeset
     5
object M5b {
285
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
     6
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
// !!! Copy any function you need from file bf.scala !!!
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
//
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
// If you need any auxiliary function, feel free to 
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
// implement it, but do not make any changes to the
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
// templates below.
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
285
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    13
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    14
// DEBUGGING INFORMATION FOR COMPILERS!!!
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    15
//
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    16
// Compiler, even real ones, are fiendishly difficult to get
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    17
// to produce correct code. One way to debug them is to run
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    18
// example programs ``unoptimised''; and then optimised. Does
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    19
// the optimised version still produce the same result?
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    20
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    21
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    22
// for timing purposes
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
def time_needed[T](n: Int, code: => T) = {
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
  val start = System.nanoTime()
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
  for (i <- 0 until n) code
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
  val end = System.nanoTime()
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
  (end - start)/(n * 1.0e9)
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
}
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    29
285
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    30
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
type Mem = Map[Int, Int]
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    32
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    33
import io.Source
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
import scala.util._
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
425
6e990ae2c6a3 updated solutions and templates
Christian Urban <christian.urban@kcl.ac.uk>
parents: 417
diff changeset
    36
// ADD YOUR CODE BELOW
6e990ae2c6a3 updated solutions and templates
Christian Urban <christian.urban@kcl.ac.uk>
parents: 417
diff changeset
    37
//======================
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
426
66d8cbd39ef6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 425
diff changeset
    39
// (6) 
347
0b727d1a8184 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 333
diff changeset
    40
def jtable(pg: String) : Map[Int, Int] = ???
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
// testcase
285
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    43
//
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
// jtable("""+++++[->++++++++++<]>--<+++[->>++++++++++<<]>>++<<----------[+>.>.<+<]""")
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
// =>  Map(69 -> 61, 5 -> 20, 60 -> 70, 27 -> 44, 43 -> 28, 19 -> 6)
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
347
0b727d1a8184 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 333
diff changeset
    48
def compute2(pg: String, tb: Map[Int, Int], pc: Int, mp: Int, mem: Mem) : Mem = ???
0b727d1a8184 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 333
diff changeset
    49
def run2(pg: String, m: Mem = Map()) = ???
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
285
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    51
// testcases
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    52
// time_needed(1, run2(load_bff("benchmark.bf")))
333
0b82e661341a updated
Christian Urban <urbanc@in.tum.de>
parents: 285
diff changeset
    53
// time_needed(1, run2(load_bff("sierpinski.bf")))
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
426
66d8cbd39ef6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 425
diff changeset
    57
// (7) 
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    58
347
0b727d1a8184 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 333
diff changeset
    59
def optimise(s: String) : String = ???
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    60
347
0b727d1a8184 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 333
diff changeset
    61
def compute3(pg: String, tb: Map[Int, Int], pc: Int, mp: Int, mem: Mem) : Mem = ???
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    62
347
0b727d1a8184 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 333
diff changeset
    63
def run3(pg: String, m: Mem = Map()) = ???
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    64
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    66
// testcases
285
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    67
//
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    68
// optimise(load_bff("benchmark.bf"))          // should have inserted 0's
348
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 347
diff changeset
    69
// optimise(load_bff("mandelbrot.bf")).length  // => 11205
285
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    70
// 
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    71
// time_needed(1, run3(load_bff("benchmark.bf")))
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    73
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    74
426
66d8cbd39ef6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 425
diff changeset
    75
// (8)  
347
0b727d1a8184 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 333
diff changeset
    76
def combine(s: String) : String = ???
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    77
285
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    78
// testcase
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    79
// combine(load_bff("benchmark.bf"))
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    80
347
0b727d1a8184 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 333
diff changeset
    81
def compute4(pg: String, tb: Map[Int, Int], pc: Int, mp: Int, mem: Mem) : Mem = ???
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    82
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    83
// should call first optimise and then combine on the input string
285
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    84
//
347
0b727d1a8184 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 333
diff changeset
    85
def run4(pg: String, m: Mem = Map()) = ???
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    86
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    87
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    88
// testcases
285
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    89
// combine(optimise(load_bff("benchmark.bf"))) // => """>A+B[<A+M>A-A]<A[[....."""
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    90
285
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    91
// testcases (they should now run much faster)
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    92
// time_needed(1, run4(load_bff("benchmark.bf")))
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    93
// time_needed(1, run4(load_bff("sierpinski.bf"))) 
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    94
// time_needed(1, run4(load_bff("mandelbrot.bf")))
233
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    95
5f36d04d23a5 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    96
285
475c39725698 updated
Christian Urban <urbanc@in.tum.de>
parents: 233
diff changeset
    97
}