1 | inst(1,def(byte,array(a,2))). | |
2 | inst(2,def(byte,array(b,2))). | |
3 | ||
4 | inst(3,init). | |
5 | inst(4,assign(vt(array(a,expr(0)),byte),expr(5))). | |
6 | inst(5,assign(vt(array(a,expr(1)),byte),expr(6))). | |
7 | inst(6,assign(vt(array(b,expr(0)),byte),expr(10))). | |
8 | inst(7,assign(vt(array(b,expr(1)),byte),expr(11))). | |
9 | inst(8,p_atomic_start(def(byte,i))). | |
10 | inst(9,p_atomic(def(byte,tmp))). | |
11 | inst(10,p_atomic(assign(vt(i,byte),expr(0)))). | |
12 | inst(11,p_atomic(do([12,18]))). | |
13 | inst(12,p_atomic(expr(lt(i,2)))). | |
14 | inst(13,p_atomic(assign(vt(tmp,byte),expr(array(b,expr(i)))))). | |
15 | inst(14,p_atomic(assign(vt(array(b,expr(i)),byte),expr(array(a,expr(i)))))). | |
16 | inst(15,p_atomic(assign(vt(array(a,expr(i)),byte),expr(tmp)))). | |
17 | inst(16,p_atomic(inc(vt(i,byte)))). | |
18 | inst(17,p_atomic(igoto(11))). | |
19 | inst(18,p_atomic(else)). | |
20 | inst(19,p_atomic(break(21))). | |
21 | inst(20,p_atomic(igoto(11))). | |
22 | inst(21,p_atomic(expr(skip))). | |
23 | inst(22,destructor). | |
24 | ||
25 | inst(23,proctype(active(1),message,[])). | |
26 | inst(24,do([25])). | |
27 | inst(25,printf("message")). | |
28 | inst(26,igoto(24)). | |
29 | inst(27,destructor). | |
30 | ||
31 | line(1,1,1,1,10). | |
32 | line(2,1,1,1,16). | |
33 | line(4,4,5,4,13). | |
34 | line(5,5,5,5,13). | |
35 | line(6,6,5,6,14). | |
36 | line(7,7,5,7,14). | |
37 | line(8,11,2,11,8). | |
38 | line(9,11,2,11,13). | |
39 | line(10,12,2,12,7). | |
40 | line(12,14,5,14,10). | |
41 | line(13,15,6,15,16). | |
42 | line(14,16,6,16,17). | |
43 | line(15,17,6,17,16). | |
44 | line(16,18,6,18,9). | |
45 | line(18,19,5,19,9). | |
46 | line(19,20,6,20,11). | |
47 | line(21,22,2,22,6). | |
48 | line(22,24,1,24,2). | |
49 | line(25,28,8,28,25). | |
50 | line(27,30,1,30,2). |