test-copymove.fleet

   1 #import edu.berkeley.fleet
   2
   3 // skeleton solution to problem #1 (fill in the XXX blanks)
   4
   5 #memory { 1, 2, 3, 4, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
   6
   7 #ship memread   : MemReadShip
   8 #ship memwrite1 : MemWriteShip
   9 #ship memwrite2 : MemWriteShip
  10 #ship bitbucket : BitBucketShip
  11 #ship halt      : HaltShip
  12 #ship fetch     : FetchShip
  13 #ship tokenjoin : TokenJoinShip
  14
  15 top: {
  16
  17        2                     -> memread.count
  18        0                 -(2)-> memread.token
  19        0                     -> memread.addr
  20        1                     -> memread.stride
  21
  22        memread.data     +-(4)-> memwrite1.data
  23        memread.data          -> memwrite1.data
  24        memread.data     +-(4)-> memwrite1.data
  25        memread.data          -> memwrite1.data
  26
  27        10                    -> memwrite1.count
  28        5                     -> memwrite1.addr
  29        1                     -> memwrite1.stride
  30        memwrite1.token   -(9)-> bitbucket.in
  31        memwrite1.token       -> halt.in
  32
  33 }
  34
  35 top -> fetch.in
  36