annotate gcc/gen-pass-instances.awk @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
1 # Copyright (C) 2013-2020 Free Software Foundation, Inc.
111
kono
parents:
diff changeset
2 #
kono
parents:
diff changeset
3 # This program is free software; you can redistribute it and/or modify it
kono
parents:
diff changeset
4 # under the terms of the GNU General Public License as published by the
kono
parents:
diff changeset
5 # Free Software Foundation; either version 3, or (at your option) any
kono
parents:
diff changeset
6 # later version.
kono
parents:
diff changeset
7 #
kono
parents:
diff changeset
8 # This program is distributed in the hope that it will be useful,
kono
parents:
diff changeset
9 # but WITHOUT ANY WARRANTY; without even the implied warranty of
kono
parents:
diff changeset
10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
kono
parents:
diff changeset
11 # GNU General Public License for more details.
kono
parents:
diff changeset
12 #
kono
parents:
diff changeset
13 # You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
14 # along with this program; see the file COPYING3. If not see
kono
parents:
diff changeset
15 # <http://www.gnu.org/licenses/>.
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 # This Awk script takes passes.def and writes pass-instances.def,
kono
parents:
diff changeset
18 # counting the instances of each kind of pass, adding an instance number
kono
parents:
diff changeset
19 # to everywhere that NEXT_PASS is used.
kono
parents:
diff changeset
20 # Also handle INSERT_PASS_AFTER, INSERT_PASS_BEFORE and REPLACE_PASS
kono
parents:
diff changeset
21 # directives.
kono
parents:
diff changeset
22 #
kono
parents:
diff changeset
23 # For example, the single-instanced pass:
kono
parents:
diff changeset
24 # NEXT_PASS (pass_warn_unused_result);
kono
parents:
diff changeset
25 # becomes this in the output:
kono
parents:
diff changeset
26 # NEXT_PASS (pass_warn_unused_result, 1);
kono
parents:
diff changeset
27 #
kono
parents:
diff changeset
28 # The various instances of
kono
parents:
diff changeset
29 # NEXT_PASS (pass_copy_prop);
kono
parents:
diff changeset
30 # become:
kono
parents:
diff changeset
31 # NEXT_PASS (pass_copy_prop, 1);
kono
parents:
diff changeset
32 # through:
kono
parents:
diff changeset
33 # NEXT_PASS (pass_copy_prop, 8);
kono
parents:
diff changeset
34 # (currently there are 8 instances of that pass)
kono
parents:
diff changeset
35 #
kono
parents:
diff changeset
36 # INSERT_PASS_AFTER (pass_copy_prop, 1, pass_stv);
kono
parents:
diff changeset
37 # will insert
kono
parents:
diff changeset
38 # NEXT_PASS (pass_stv, 1);
kono
parents:
diff changeset
39 # immediately after the NEXT_PASS (pass_copy_prop, 1) line,
kono
parents:
diff changeset
40 # similarly INSERT_PASS_BEFORE inserts immediately before that line.
kono
parents:
diff changeset
41 # REPLACE_PASS (pass_copy_prop, 1, pass_stv, true);
kono
parents:
diff changeset
42 # will replace NEXT_PASS (pass_copy_prop, 1) line with
kono
parents:
diff changeset
43 # NEXT_PASS (pass_stv, 1, true);
kono
parents:
diff changeset
44 # line and renumber all higher pass_copy_prop instances if any.
kono
parents:
diff changeset
45
kono
parents:
diff changeset
46 # Usage: awk -f gen-pass-instances.awk passes.def
kono
parents:
diff changeset
47
kono
parents:
diff changeset
48 BEGIN {
kono
parents:
diff changeset
49 print "/* This file is auto-generated by gen-pass-instances.awk";
kono
parents:
diff changeset
50 print " from passes.def. */";
kono
parents:
diff changeset
51 lineno = 1;
kono
parents:
diff changeset
52 }
kono
parents:
diff changeset
53
kono
parents:
diff changeset
54 function parse_line(line, fnname, len_of_call, len_of_start,
kono
parents:
diff changeset
55 len_of_open, len_of_close,
kono
parents:
diff changeset
56 len_of_args, args_start_at,
kono
parents:
diff changeset
57 args_str, len_of_prefix,
kono
parents:
diff changeset
58 call_starts_at,
kono
parents:
diff changeset
59 postfix_starts_at)
kono
parents:
diff changeset
60 {
kono
parents:
diff changeset
61 # Find call expression.
kono
parents:
diff changeset
62 call_starts_at = match(line, fnname " \\(.+\\)");
kono
parents:
diff changeset
63 if (call_starts_at == 0)
kono
parents:
diff changeset
64 return 0;
kono
parents:
diff changeset
65
kono
parents:
diff changeset
66 # Length of the call expression.
kono
parents:
diff changeset
67 len_of_call = RLENGTH;
kono
parents:
diff changeset
68
kono
parents:
diff changeset
69 len_of_start = length(fnname " (");
kono
parents:
diff changeset
70 len_of_open = length("(");
kono
parents:
diff changeset
71 len_of_close = length(")");
kono
parents:
diff changeset
72
kono
parents:
diff changeset
73 # Find arguments
kono
parents:
diff changeset
74 len_of_args = len_of_call - (len_of_start + len_of_close);
kono
parents:
diff changeset
75 args_start_at = call_starts_at + len_of_start;
kono
parents:
diff changeset
76 args_str = substr(line, args_start_at, len_of_args);
kono
parents:
diff changeset
77 split(args_str, args, ",");
kono
parents:
diff changeset
78
kono
parents:
diff changeset
79 # Find call expression prefix
kono
parents:
diff changeset
80 len_of_prefix = call_starts_at - 1;
kono
parents:
diff changeset
81 prefix = substr(line, 1, len_of_prefix);
kono
parents:
diff changeset
82
kono
parents:
diff changeset
83 # Find call expression postfix
kono
parents:
diff changeset
84 postfix_starts_at = call_starts_at + len_of_call;
kono
parents:
diff changeset
85 postfix = substr(line, postfix_starts_at);
kono
parents:
diff changeset
86 return 1;
kono
parents:
diff changeset
87 }
kono
parents:
diff changeset
88
kono
parents:
diff changeset
89 function adjust_linenos(above, increment, p, i)
kono
parents:
diff changeset
90 {
kono
parents:
diff changeset
91 for (p in pass_lines)
kono
parents:
diff changeset
92 if (pass_lines[p] >= above)
kono
parents:
diff changeset
93 pass_lines[p] += increment;
kono
parents:
diff changeset
94 if (increment > 0)
kono
parents:
diff changeset
95 for (i = lineno - 1; i >= above; i--)
kono
parents:
diff changeset
96 lines[i + increment] = lines[i];
kono
parents:
diff changeset
97 else
kono
parents:
diff changeset
98 for (i = above; i < lineno; i++)
kono
parents:
diff changeset
99 lines[i + increment] = lines[i];
kono
parents:
diff changeset
100 lineno += increment;
kono
parents:
diff changeset
101 }
kono
parents:
diff changeset
102
kono
parents:
diff changeset
103 function insert_remove_pass(line, fnname, arg3)
kono
parents:
diff changeset
104 {
kono
parents:
diff changeset
105 parse_line($0, fnname);
kono
parents:
diff changeset
106 pass_name = args[1];
kono
parents:
diff changeset
107 if (pass_name == "PASS")
kono
parents:
diff changeset
108 return 1;
kono
parents:
diff changeset
109 pass_num = args[2] + 0;
kono
parents:
diff changeset
110 arg3 = args[3];
kono
parents:
diff changeset
111 sub(/^[ \t]*/, "", arg3);
kono
parents:
diff changeset
112 new_line = prefix "NEXT_PASS (" arg3;
kono
parents:
diff changeset
113 if (args[4])
kono
parents:
diff changeset
114 new_line = new_line "," args[4];
kono
parents:
diff changeset
115 new_line = new_line ")" postfix;
kono
parents:
diff changeset
116 if (!pass_lines[pass_name, pass_num])
kono
parents:
diff changeset
117 {
kono
parents:
diff changeset
118 print "ERROR: Can't locate instance of the pass mentioned in " fnname;
kono
parents:
diff changeset
119 return 1;
kono
parents:
diff changeset
120 }
kono
parents:
diff changeset
121 return 0;
kono
parents:
diff changeset
122 }
kono
parents:
diff changeset
123
kono
parents:
diff changeset
124 function insert_pass(line, fnname, after, num)
kono
parents:
diff changeset
125 {
kono
parents:
diff changeset
126 if (insert_remove_pass(line, fnname))
kono
parents:
diff changeset
127 return;
kono
parents:
diff changeset
128 num = pass_lines[pass_name, pass_num];
kono
parents:
diff changeset
129 adjust_linenos(num + after, 1);
kono
parents:
diff changeset
130 pass_name = args[3];
kono
parents:
diff changeset
131 # Set pass_counts
kono
parents:
diff changeset
132 if (args[3] in pass_counts)
kono
parents:
diff changeset
133 pass_counts[pass_name]++;
kono
parents:
diff changeset
134 else
kono
parents:
diff changeset
135 pass_counts[pass_name] = 1;
kono
parents:
diff changeset
136
kono
parents:
diff changeset
137 pass_lines[pass_name, pass_counts[pass_name]] = num + after;
kono
parents:
diff changeset
138 lines[num + after] = new_line;
kono
parents:
diff changeset
139 }
kono
parents:
diff changeset
140
kono
parents:
diff changeset
141 function replace_pass(line, fnname, num, i)
kono
parents:
diff changeset
142 {
kono
parents:
diff changeset
143 if (insert_remove_pass(line, "REPLACE_PASS"))
kono
parents:
diff changeset
144 return;
kono
parents:
diff changeset
145 num = pass_lines[pass_name, pass_num];
kono
parents:
diff changeset
146 for (i = pass_counts[pass_name]; i > pass_num; i--)
kono
parents:
diff changeset
147 pass_lines[pass_name, i - 1] = pass_lines[pass_name, i];
kono
parents:
diff changeset
148 delete pass_lines[pass_name, pass_counts[pass_name]];
kono
parents:
diff changeset
149 if (pass_counts[pass_name] == 1)
kono
parents:
diff changeset
150 delete pass_counts[pass_name];
kono
parents:
diff changeset
151 else
kono
parents:
diff changeset
152 pass_counts[pass_name]--;
kono
parents:
diff changeset
153
kono
parents:
diff changeset
154 pass_name = args[3];
kono
parents:
diff changeset
155 # Set pass_counts
kono
parents:
diff changeset
156 if (args[3] in pass_counts)
kono
parents:
diff changeset
157 pass_counts[pass_name]++;
kono
parents:
diff changeset
158 else
kono
parents:
diff changeset
159 pass_counts[pass_name] = 1;
kono
parents:
diff changeset
160
kono
parents:
diff changeset
161 pass_lines[pass_name, pass_counts[pass_name]] = num;
kono
parents:
diff changeset
162 lines[num] = new_line;
kono
parents:
diff changeset
163 }
kono
parents:
diff changeset
164
kono
parents:
diff changeset
165 /INSERT_PASS_AFTER \(.+\)/ {
kono
parents:
diff changeset
166 insert_pass($0, "INSERT_PASS_AFTER", 1);
kono
parents:
diff changeset
167 next;
kono
parents:
diff changeset
168 }
kono
parents:
diff changeset
169
kono
parents:
diff changeset
170 /INSERT_PASS_BEFORE \(.+\)/ {
kono
parents:
diff changeset
171 insert_pass($0, "INSERT_PASS_BEFORE", 0);
kono
parents:
diff changeset
172 next;
kono
parents:
diff changeset
173 }
kono
parents:
diff changeset
174
kono
parents:
diff changeset
175 /REPLACE_PASS \(.+\)/ {
kono
parents:
diff changeset
176 replace_pass($0, "REPLACE_PASS");
kono
parents:
diff changeset
177 next;
kono
parents:
diff changeset
178 }
kono
parents:
diff changeset
179
kono
parents:
diff changeset
180 {
kono
parents:
diff changeset
181 ret = parse_line($0, "NEXT_PASS");
kono
parents:
diff changeset
182 if (ret)
kono
parents:
diff changeset
183 {
kono
parents:
diff changeset
184 pass_name = args[1];
kono
parents:
diff changeset
185
kono
parents:
diff changeset
186 # Set pass_counts
kono
parents:
diff changeset
187 if (pass_name in pass_counts)
kono
parents:
diff changeset
188 pass_counts[pass_name]++;
kono
parents:
diff changeset
189 else
kono
parents:
diff changeset
190 pass_counts[pass_name] = 1;
kono
parents:
diff changeset
191
kono
parents:
diff changeset
192 pass_lines[pass_name, pass_counts[pass_name]] = lineno;
kono
parents:
diff changeset
193 }
kono
parents:
diff changeset
194 lines[lineno++] = $0;
kono
parents:
diff changeset
195 }
kono
parents:
diff changeset
196
kono
parents:
diff changeset
197 END {
kono
parents:
diff changeset
198 for (i = 1; i < lineno; i++)
kono
parents:
diff changeset
199 {
kono
parents:
diff changeset
200 ret = parse_line(lines[i], "NEXT_PASS");
kono
parents:
diff changeset
201 if (ret)
kono
parents:
diff changeset
202 {
kono
parents:
diff changeset
203 # Set pass_name argument, an optional with_arg argument
kono
parents:
diff changeset
204 pass_name = args[1];
kono
parents:
diff changeset
205 with_arg = args[2];
kono
parents:
diff changeset
206
kono
parents:
diff changeset
207 # Set pass_final_counts
kono
parents:
diff changeset
208 if (pass_name in pass_final_counts)
kono
parents:
diff changeset
209 pass_final_counts[pass_name]++;
kono
parents:
diff changeset
210 else
kono
parents:
diff changeset
211 pass_final_counts[pass_name] = 1;
kono
parents:
diff changeset
212
kono
parents:
diff changeset
213 pass_num = pass_final_counts[pass_name];
kono
parents:
diff changeset
214
kono
parents:
diff changeset
215 # Print call expression with extra pass_num argument
kono
parents:
diff changeset
216 printf "%s", prefix;
kono
parents:
diff changeset
217 if (with_arg)
kono
parents:
diff changeset
218 printf "NEXT_PASS_WITH_ARG";
kono
parents:
diff changeset
219 else
kono
parents:
diff changeset
220 printf "NEXT_PASS";
kono
parents:
diff changeset
221 printf " (%s, %s", pass_name, pass_num;
kono
parents:
diff changeset
222 if (with_arg)
kono
parents:
diff changeset
223 printf ",%s", with_arg;
kono
parents:
diff changeset
224 printf ")%s\n", postfix;
kono
parents:
diff changeset
225 }
kono
parents:
diff changeset
226 else
kono
parents:
diff changeset
227 print lines[i];
kono
parents:
diff changeset
228 }
kono
parents:
diff changeset
229 }
kono
parents:
diff changeset
230
kono
parents:
diff changeset
231 # Local Variables:
kono
parents:
diff changeset
232 # mode:awk
kono
parents:
diff changeset
233 # c-basic-offset:8
kono
parents:
diff changeset
234 # End: