Commit | Line | Data |
---|---|---|
42d6e430 BJ |
1 | #include <stdio.h> |
2 | #include "def.h" | |
3 | ||
4 | char *typename[TYPENUM] = {"STLNVX", "IFVX", "DOVX", "IOVX", "FMTVX", | |
5 | "COMPVX", "ASVX", "ASGOVX", "LOOPVX", "WHIVX", | |
6 | "UNTVX", "ITERVX", "THENVX", "STOPVX", "RETVX", | |
7 | "DUMVX", "GOVX", "BRKVX", "NXTVX", "SWCHVX", | |
8 | "ACASVX", "ICASVX" | |
9 | }; | |
10 | int hascom[TYPENUM] = {2, 2, 2, 2, 2, | |
11 | 2, 2, 2, 0, 0, | |
12 | 0, 0, 2, 0, 0, | |
13 | 0, 0, 0, 0, 2, | |
14 | 2, 0 | |
15 | }; | |
16 | ||
17 | int nonarcs[TYPENUM] = {FIXED+3, FIXED+4, FIXED+2, FIXED+3, FIXED+2, | |
18 | FIXED+2, FIXED+2, FIXED+2, FIXED+1, FIXED+1, | |
19 | FIXED+1, FIXED+4, FIXED+3, FIXED, FIXED, | |
20 | FIXED+2, FIXED+1, FIXED + 1, FIXED + 1, FIXED+3, | |
21 | FIXED+4, FIXED+2 | |
22 | }; | |
23 | ||
24 | int childper[TYPENUM] = {0, 2, 1, 0, 0, | |
25 | 0, 0, 0, 1, 1, | |
26 | 1, 1, 1, 0, 0, | |
27 | 1, 0, 0, 0, 1, | |
28 | 2, 1 | |
29 | }; | |
30 | ||
31 | int arcsper[TYPENUM] = {1, 2, 2, 3, 0, | |
32 | -(FIXED+1), 1, -(FIXED+1), 1, 1, | |
33 | 1, 1, 2, 0, 0, | |
34 | -FIXED, 1, 1, 1, -(FIXED+1), | |
35 | 2, 1 | |
36 | }; | |
37 | ||
38 | VERT *arc(v,i) | |
39 | VERT v; | |
40 | int i; | |
41 | { | |
42 | ASSERT(DEFINED(v),arc); | |
43 | ASSERT(0 <= i && i < ARCNUM(v), arc); | |
44 | return(&graph[v][nonarcs[NTYPE(v)] + i ]); | |
45 | } | |
46 | ||
47 | VERT *lchild(v,i) | |
48 | VERT v; int i; | |
49 | { | |
50 | ASSERT(DEFINED(v),lchild); | |
51 | ASSERT(0 <= i && i < childper[NTYPE(v)],lchild); | |
52 | return(&graph[v][nonarcs[NTYPE(v)]-i-1]); | |
53 | } | |
54 | ||
55 | int *vxpart(v,type,j) | |
56 | VERT v; | |
57 | int type,j; | |
58 | { | |
59 | ASSERT((NTYPE(v) == type) && (0 <= j) && (j < nonarcs[type] - FIXED), vxpart); | |
60 | return(&graph[v][FIXED+j]); | |
61 | } | |
62 | ||
63 | int *expres(v) | |
64 | VERT v; | |
65 | { | |
66 | int ty; | |
67 | ty = NTYPE(v); | |
68 | ASSERT(ty == COMPVX || ty == ASGOVX || ty == ASVX || ty == SWCHVX || ty == ICASVX,expres); | |
69 | return(&graph[v][FIXED]); | |
70 | } | |
71 | ||
72 | int *negpart(v) | |
73 | VERT v; | |
74 | { | |
75 | ASSERT(NTYPE(v) == IFVX || NTYPE(v) == ACASVX,negpart); | |
76 | return(&graph[v][FIXED+1]); | |
77 | } | |
78 | ||
79 | int *predic(v) | |
80 | VERT v; | |
81 | { | |
82 | ASSERT(NTYPE(v) == IFVX || NTYPE(v) == ACASVX, predic); | |
83 | return(&graph[v][FIXED]); | |
84 | } | |
85 | ||
86 | int *level(v) | |
87 | VERT v; | |
88 | { | |
89 | ASSERT(NTYPE(v) == GOVX || NTYPE(v) == BRKVX || NTYPE(v) == NXTVX, level); | |
90 | return(&graph[v][FIXED]); | |
91 | } | |
92 | int *stlfmt(v,n) | |
93 | VERT v; | |
94 | int n; | |
95 | { | |
96 | ASSERT(NTYPE(v) == STLNVX || NTYPE(v) == FMTVX,stlfmt); | |
97 | return(&graph[v][FIXED + n]); | |
98 | } | |
99 | ||
100 | create(type,arcnum) | |
101 | int type, arcnum; | |
102 | { | |
103 | int i, *temp, wds; | |
104 | if (nodenum >= maxnode) | |
105 | { | |
106 | maxnode += 100; | |
107 | temp=realloc(graph,maxnode*sizeof(*graph)); | |
108 | free(graph); | |
109 | graph=temp; | |
110 | } | |
111 | wds = nonarcs[type] + arcnum; | |
112 | graph[nodenum] = galloc(sizeof(*graph) * wds); | |
113 | for (i = 0; i < wds; i++) graph[nodenum][i] = 0; | |
114 | NTYPE(nodenum) = type; | |
115 | if (arcsper[type] < 0) | |
116 | ARCNUM(nodenum) = arcnum; | |
117 | ||
118 | return(nodenum++); | |
119 | } | |
120 |