tests/dock/send-without-destination.fleet-

   1 #skip
   2 // output ///////////////////////////////////////////////////////////////////
   3 #expect 5263
   4
   5 // program //////////////////////////////////////////////////////////////////
   6 #ship debug        : Debug
   7 #ship memory       : Memory
   8 #ship bitfifo      : BitFifo
   9 #ship fifo         : Fifo
  10
  11 // dumb configurations
  12 debug.in:           set ilc=*;  take, deliver;
  13 memory.inAddrRead:  set ilc=*;  take, deliver;
  14 memory.inAddrWrite: set ilc=*;  take, deliver;
  15 memory.inDataWrite: set ilc=*;  take, deliver;
  16
  17 FRED: {
  18   fifo.in: deliver, send token to fifo.out;
  19 }
  20
  21 fifo.in: set word= 5263;
  22 fifo.out: recv token, take, send to debug.in;
  23
  24 bitfifo.in:
  25   set word= 0; deliver;     // six bits of leading zero (to wash out the codebag size)
  26   set word= FRED; deliver;  // FRED = { address_of_fred[31], size_of_fred[6] }
  27
  28 // strip off bottom 6 bits
  29 bitfifo.inOp:
  30    set word= BitFifo.inOp[take=6]; deliver;
  31    set word= BitFifo.inOp[take=37]; deliver;
  32 bitfifo.outOp:
  33    set word= BitFifo.outOp[take=37]; deliver;
  34
  35 bitfifo.out:            take, send to memory.inAddrRead;
  36
  37 // value read out will be the instruction at FRED
  38 memory.out:             take, send;
  39
  40