FreeCalypso > hg > ueda-linux
annotate ueda/unet-utils/unet-destar.c @ 149:d1a507d34e77
netdiff: donl-netmatch2 factored out
author | Mychaela Falconia <falcon@freecalypso.org> |
---|---|
date | Sun, 15 Nov 2020 04:18:47 +0000 |
parents | a93e4b07fdf3 |
children |
rev | line source |
---|---|
24
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
1 #include <stdio.h> |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
2 #include <stdlib.h> |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
3 #include <string.h> |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
4 #include <strings.h> |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
5 #include <unistd.h> |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
6 #include "../libunet/unetrd.h" |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
7 #include "../libunet/nethash.h" |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
8 |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
9 extern struct net *enter_net_object(); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
10 extern struct net *find_net_by_name(); |
26
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
11 extern struct net *net_list_head; |
24
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
12 |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
13 static char *input_filename, *output_filename; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
14 static struct unetrd_state rdstate; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
15 static struct unetrd_out rdout; |
26
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
16 static int total_input_nets, total_output_nets; |
24
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
17 static struct net *starpoint_head; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
18 static FILE *tempFILE, *outFILE; |
26
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
19 static int net_comment_column; |
24
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
20 |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
21 struct netextra { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
22 struct net *squashed_to; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
23 int npoints; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
24 }; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
25 |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
26 static FILE * |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
27 tempfile() |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
28 { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
29 char template[16]; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
30 register int fd; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
31 register FILE *f; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
32 |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
33 strcpy(template, "/tmp/uedaXXXXXX"); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
34 fd = mkstemp(template); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
35 if (fd < 0) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
36 perror("mkstemp"); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
37 exit(1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
38 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
39 unlink(template); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
40 f = fdopen(fd, "r+w"); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
41 if (!f) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
42 perror("fdopen"); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
43 exit(1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
44 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
45 return(f); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
46 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
47 |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
48 static void |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
49 dump_tempfile() |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
50 { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
51 register FILE *inf = tempFILE; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
52 register FILE *outf = outFILE; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
53 register int c; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
54 |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
55 rewind(inf); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
56 while ((c = getc(inf)) != EOF) |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
57 putc(c, outf); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
58 fclose(inf); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
59 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
60 |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
61 static void |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
62 process_starpoint_head() |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
63 { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
64 register struct net *n; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
65 register struct netextra *nx; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
66 |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
67 n = find_net_by_name(rdout.connect_to_net); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
68 for (;;) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
69 nx = (struct netextra *)(n + 1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
70 if (!nx->squashed_to) |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
71 break; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
72 n = nx->squashed_to; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
73 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
74 starpoint_head = n; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
75 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
76 |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
77 static void |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
78 process_starpoint_arm() |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
79 { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
80 register struct net *n; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
81 register struct netextra *nx; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
82 |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
83 n = find_net_by_name(rdout.connect_to_net); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
84 if (n == starpoint_head) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
85 fprintf(stderr, |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
86 "%s line %d: starpoint between net %s and itself!\n", |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
87 input_filename, rdstate.lineno, n->name); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
88 exit(1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
89 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
90 nx = (struct netextra *)(n + 1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
91 if (nx->squashed_to) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
92 fprintf(stderr, |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
93 "%s line %d: net %s has already been squashed\n", |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
94 input_filename, rdstate.lineno, n->name); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
95 exit(1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
96 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
97 nx->squashed_to = starpoint_head; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
98 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
99 |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
100 static void |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
101 process_starpoint() |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
102 { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
103 starpoint_head = 0; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
104 for (;;) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
105 if (!read_unet_line(&rdstate, &rdout)) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
106 fprintf(stderr, "%s error: EOF in STARPOINT block\n", |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
107 input_filename); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
108 exit(1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
109 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
110 if (rdout.typecode == UNETOBJ_CLOSINGBRACE) |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
111 break; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
112 switch(rdout.typecode) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
113 case UNETOBJ_PRIMITIVE: |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
114 case UNETOBJ_ALTNAME: |
30
a93e4b07fdf3
unet-destar: pass attributes through
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
27
diff
changeset
|
115 case UNETOBJ_ATTR: |
24
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
116 continue; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
117 case UNETOBJ_PIN: |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
118 if (!rdout.connect_to_net) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
119 fprintf(stderr, |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
120 "%s line %d: no-connect is meaningless for a starpoint arm\n", |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
121 input_filename, rdstate.lineno); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
122 exit(1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
123 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
124 if (!starpoint_head) |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
125 process_starpoint_head(); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
126 else |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
127 process_starpoint_arm(); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
128 continue; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
129 case UNETOBJ_PINMAP: |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
130 fprintf(stderr, |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
131 "%s line %d: PINMAP meaningless in a STARPOINT block\n", |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
132 input_filename, rdstate.lineno); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
133 exit(1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
134 default: |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
135 fprintf(stderr, |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
136 "%s line %d: object type %s unexpected in STARPOINT block\n", |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
137 input_filename, rdstate.lineno, rdout.keyword); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
138 exit(1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
139 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
140 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
141 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
142 |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
143 static void |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
144 process_component_pin() |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
145 { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
146 register struct net *n; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
147 register struct netextra *nx; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
148 |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
149 if (!rdout.connect_to_net) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
150 fprintf(tempFILE, " %s %s = NC (%s)\n", rdout.keyword, |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
151 rdout.objname, rdout.nc_comment); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
152 return; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
153 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
154 n = find_net_by_name(rdout.connect_to_net); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
155 for (;;) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
156 nx = (struct netextra *)(n + 1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
157 if (!nx->squashed_to) |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
158 break; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
159 n = nx->squashed_to; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
160 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
161 fprintf(tempFILE, " %s %s = NET %s\n", rdout.keyword, rdout.objname, |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
162 n->name); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
163 nx->npoints++; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
164 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
165 |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
166 static void |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
167 process_component() |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
168 { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
169 fprintf(tempFILE, "\nCOMPONENT %s {\n", rdout.objname); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
170 for (;;) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
171 if (!read_unet_line(&rdstate, &rdout)) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
172 fprintf(stderr, "%s error: EOF in COMPONENT block\n", |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
173 input_filename); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
174 exit(1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
175 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
176 if (rdout.typecode == UNETOBJ_CLOSINGBRACE) |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
177 break; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
178 switch(rdout.typecode) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
179 case UNETOBJ_PRIMITIVE: |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
180 case UNETOBJ_ALTNAME: |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
181 fprintf(tempFILE, " %s %s\n", rdout.keyword, |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
182 rdout.objname); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
183 continue; |
30
a93e4b07fdf3
unet-destar: pass attributes through
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
27
diff
changeset
|
184 case UNETOBJ_ATTR: |
a93e4b07fdf3
unet-destar: pass attributes through
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
27
diff
changeset
|
185 fprintf(tempFILE, " ATTR %s=%s\n", rdout.objname, |
a93e4b07fdf3
unet-destar: pass attributes through
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
27
diff
changeset
|
186 rdout.attr_value); |
a93e4b07fdf3
unet-destar: pass attributes through
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
27
diff
changeset
|
187 continue; |
24
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
188 case UNETOBJ_PIN: |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
189 case UNETOBJ_PINMAP: |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
190 process_component_pin(); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
191 continue; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
192 default: |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
193 fprintf(stderr, |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
194 "%s line %d: object type %s unexpected in COMPONENT block\n", |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
195 input_filename, rdstate.lineno, rdout.keyword); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
196 exit(1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
197 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
198 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
199 fputs("}\n", tempFILE); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
200 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
201 |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
202 static void |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
203 process_input_unet() |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
204 { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
205 struct net *n; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
206 int state = 0; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
207 |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
208 open_unet_input_file(input_filename, &rdstate); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
209 while (read_unet_line(&rdstate, &rdout)) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
210 switch(rdout.typecode) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
211 case UNETOBJ_CLOSINGBRACE: |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
212 fprintf(stderr, |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
213 "%s line %d: unexpected '}' outside of component block\n", |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
214 input_filename, rdstate.lineno); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
215 exit(1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
216 case UNETOBJ_NET: |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
217 if (state == 0) |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
218 state = 1; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
219 else if (state > 1) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
220 fprintf(stderr, |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
221 "error: all input nets must precede all starpoints and components (%s line %d)\n", |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
222 input_filename, rdstate.lineno); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
223 exit(1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
224 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
225 n = enter_net_object(rdout.objname, |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
226 sizeof(struct netextra)); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
227 bzero(n + 1, sizeof(struct netextra)); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
228 total_input_nets++; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
229 continue; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
230 case UNETOBJ_STARPOINT: |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
231 if (state < 1) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
232 fprintf(stderr, |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
233 "error (%s line %d): STARPOINT without any preceding NETs\n", |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
234 input_filename, rdstate.lineno); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
235 exit(1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
236 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
237 if (state > 2) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
238 fprintf(stderr, |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
239 "error: all STARPOINTs must precede all COMPONENTs (%s line %d)\n", |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
240 input_filename, rdstate.lineno); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
241 exit(1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
242 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
243 state = 2; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
244 process_starpoint(); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
245 continue; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
246 case UNETOBJ_COMPONENT: |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
247 if (state < 1) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
248 fprintf(stderr, |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
249 "error (%s line %d): COMPONENT without any preceding NETs\n", |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
250 input_filename, rdstate.lineno); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
251 exit(1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
252 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
253 if (state < 3) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
254 tempFILE = tempfile(); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
255 state = 3; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
256 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
257 process_component(); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
258 continue; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
259 default: |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
260 fprintf(stderr, |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
261 "%s line %d: unexpected object type %s\n", |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
262 input_filename, rdstate.lineno, rdout.keyword); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
263 exit(1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
264 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
265 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
266 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
267 |
26
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
268 static void |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
269 find_net_comment_column() |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
270 { |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
271 register struct net *n; |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
272 register struct netextra *nx; |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
273 register int len, maxlen; |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
274 |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
275 maxlen = 0; |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
276 for (n = net_list_head; n; n = n->nextinlist) { |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
277 nx = (struct netextra *)(n + 1); |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
278 if (nx->squashed_to) |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
279 continue; |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
280 total_output_nets++; |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
281 len = strlen(n->name); |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
282 if (len > maxlen) |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
283 maxlen = len; |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
284 } |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
285 maxlen += 4; |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
286 do |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
287 maxlen++; |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
288 while (maxlen % 8); |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
289 net_comment_column = maxlen; |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
290 } |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
291 |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
292 static void |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
293 output_nets() |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
294 { |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
295 register struct net *n; |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
296 register struct netextra *nx; |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
297 register int col; |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
298 |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
299 fprintf(outFILE, "\n# %d input nets reduced to %d joined nets:\n#\n", |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
300 total_input_nets, total_output_nets); |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
301 for (n = net_list_head; n; n = n->nextinlist) { |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
302 nx = (struct netextra *)(n + 1); |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
303 if (nx->squashed_to) |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
304 continue; |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
305 fprintf(outFILE, "NET %s", n->name); |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
306 col = 4 + strlen(n->name); |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
307 do { |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
308 fputc('\t', outFILE); |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
309 col += 8; |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
310 col &= ~7; |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
311 } while (col < net_comment_column); |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
312 fprintf(outFILE, "# %d points\n", nx->npoints); |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
313 } |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
314 } |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
315 |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
316 static void |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
317 generate_output() |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
318 { |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
319 if (output_filename) { |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
320 outFILE = fopen(output_filename, "w"); |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
321 if (!outFILE) { |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
322 perror(output_filename); |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
323 exit(1); |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
324 } |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
325 } else |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
326 outFILE = stdout; |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
327 fprintf(outFILE, |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
328 "# This netlist has been generated by unet-destar from %s\n", |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
329 input_filename); |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
330 output_nets(); |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
331 dump_tempfile(); |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
332 if (outFILE != stdout) |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
333 fclose(outFILE); |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
334 } |
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
335 |
24
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
336 main(argc, argv) |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
337 char **argv; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
338 { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
339 if (argc < 2 || argc > 3) { |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
340 fprintf(stderr, "usage: %s input.unet [output.unet]\n", |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
341 argv[0]); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
342 exit(1); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
343 } |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
344 input_filename = argv[1]; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
345 output_filename = argv[2]; |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
346 process_input_unet(); |
27
d14bf25b5e26
unet-destar: forgot to call find_net_comment_column()
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
26
diff
changeset
|
347 find_net_comment_column(); |
26
b2b60ec8d9ca
unet-destar: output implemented
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
24
diff
changeset
|
348 generate_output(); |
24
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
349 exit(0); |
7e8a2cb54b6b
started implementing unet-destar
Space Falcon <falcon@ivan.Harhan.ORG>
parents:
diff
changeset
|
350 } |