add predicate-olc-equals-zero test
[fleet.git] / tests / dock / test-use-loop-counter.fleet
1 #skip
2 #expect 5
3 #expect 7
4 #expect 5
5 #expect 7
6 #expect 5
7 #expect 7
8 #expect 9
9
10 #ship memory       : Memory
11 #ship debug        : Debug
12 #ship fifo         : Fifo
13 #ship fifo2        : Fifo
14
15 debug.in: set ilc=*;  recv, deliver;
16
17 fifo.out: set ilc=*;  collect, send to debug.in;
18
19 fifo.in:
20   set olc=2;
21   [Rq] nop;
22   [Rq] set word= 5;
23   [Rq] deliver;
24   [Rq] send token to memory.inCBD;
25   [Rq] recv, deliver;
26   [Rq] set olc--;
27   tail;
28
29 fifo2.out:
30   set word= 7;
31   set ilc=4;
32   send to fifo.in;
33
34 memory.inCBD: set word= {
35     fifo.in:
36        set word= 9;
37        deliver;
38   };
39   recv nothing;
40   recv nothing;
41   recv nothing;
42   deliver;
43