1 #!/usr/bin/perl -w
2 # -----------------------------------------------------------------------------
3
4 my $cc = $ENV{'REAL_CC'} || 'cc';
5 my $check = $ENV{'CHECK'} || 'sparse';
6 my $ccom = $cc;
7
8 my $m32 = 0;
9 my $m64 = 0;
10 my $has_specs = 0;
11 my $gendeps = 0;
12 my $do_check = 0;
13 my $do_compile = 1;
14 my $gcc_base_dir;
15 my $multiarch_dir;
16 my $verbose = 0;
17
18 while (@ARGV) {
19 $_ = shift(@ARGV);
20 # Look for a .c file. We don't want to run the checker on .o or .so files
21 # in the link run. (This simplistic check knows nothing about options
22 # with arguments, but it seems to do the job.)
23 $do_check = 1 if /^[^-].*\.c$/;
24
25 # Ditto for stdin.
26 $do_check = 1 if $_ eq '-';
27
28 $m32 = 1 if /^-m32$/;
29 $m64 = 1 if /^-m64$/;
30 $gendeps = 1 if /^-M$/;
31
32 if (/^-target=(.*)$/) {
33 $check .= &add_specs ($1);
34 $has_specs = 1;
35 next;
36 }
37
38 if ($_ eq '-no-compile') {
39 $do_compile = 0;
40 next;
41 }
42
43 if (/^-gcc-base-dir$/) {
44 $gcc_base_dir = shift @ARGV;
45 die ("$0: missing argument for -gcc-base-dir option") if !$gcc_base_dir;
46 next;
47 }
48
49 if (/^-multiarch-dir$/) {
50 $multiarch_dir = shift @ARGV;
51 die ("$0: missing argument for -multiarch-dir option") if !$multiarch_dir;
52 next;
53 }
54
55 # If someone adds "-E", don't pre-process twice.
56 $do_compile = 0 if $_ eq '-E';
57
58 $verbose = 1 if $_ eq '-v';
59
60 my $this_arg = ' ' . "e_arg ($_);
61 $cc .= $this_arg unless &check_only_option ($_);
62 $check .= $this_arg;
63 }
64
65 if ($gendeps) {
66 $do_compile = 1;
67 $do_check = 0;
68 }
69
70 if ($do_check) {
71 if (!$has_specs) {
72 $check .= &add_specs ('host_arch_specs');
73 $check .= &add_specs ('host_os_specs');
74 }
75
76 $gcc_base_dir = qx($ccom -print-file-name=) if !$gcc_base_dir;
77 chomp($gcc_base_dir); # possibly remove '\n' from compiler
78 $check .= " -gcc-base-dir " . $gcc_base_dir if $gcc_base_dir;
79
84 print "$check\n" if $verbose;
85 if ($do_compile) {
86 system ($check);
87 } else {
88 exec ($check);
89 }
90 }
91
92 if ($do_compile) {
93 print "$cc\n" if $verbose;
94 exec ($cc);
95 }
96
97 exit 0;
98
99 # -----------------------------------------------------------------------------
100 # Check if an option is for "check" only.
101
102 sub check_only_option {
103 my ($arg) = @_;
104 return 1 if $arg =~ /^-W(no-?)?(address-space|bitwise|cast-to-as|cast-truncate|context|decl|default-bitfield-sign|designated-init|do-while|enum-mismatch|external-function-has-definition|init-cstring|memcpy-max-count|non-ansi-function-declaration|non-pointer-null|old-initializer|one-bit-signed-bitfield|override-init-all|paren-string|ptr-subtraction-blows|return-void|sizeof-bool|sparse-all|sparse-error|transparent-union|typesign|undef|unknown-attribute)$/;
105 return 1 if $arg =~ /^-v(no-?)?(entry|dead)$/;
106 return 1 if $arg =~ /^-f(dump-linearize|memcpy-max-count)(=\S*)?$/;
107 return 0;
108 }
109
110 # -----------------------------------------------------------------------------
111 # Simple arg-quoting function. Just adds backslashes when needed.
112
113 sub quote_arg {
114 my ($arg) = @_;
115 return "''" if $arg eq '';
116 return join ('',
117 map {
118 m|^[-a-zA-Z0-9._/,=]+$| ? $_ : "\\" . $_;
119 } (split (//, $arg)));
120 }
121
122 # -----------------------------------------------------------------------------
123
124 sub integer_types {
125 my ($char,@dummy) = @_;
126
224
225 sub add_specs {
226 my ($spec) = @_;
227 if ($spec eq 'sunos') {
228 return &add_specs ('unix') .
229 ' -D__sun__=1 -D__sun=1 -Dsun=1' .
230 ' -D__svr4__=1 -DSVR4=1' .
231 ' -D__STDC__=0' .
232 ' -D_REENTRANT' .
233 ' -D_SOLARIS_THREADS' .
234 ' -DNULL="((void *)0)"';
235 } elsif ($spec eq 'linux') {
236 return &add_specs ('unix') .
237 ' -D__linux__=1 -D__linux=1 -Dlinux=linux';
238 } elsif ($spec eq 'gnu/kfreebsd') {
239 return &add_specs ('unix') .
240 ' -D__FreeBSD_kernel__=1';
241 } elsif ($spec eq 'openbsd') {
242 return &add_specs ('unix') .
243 ' -D__OpenBSD__=1';
244 } elsif ($spec eq 'darwin') {
245 return
246 ' -D__APPLE__=1 -D__MACH__=1';
247 } elsif ($spec eq 'unix') {
248 return ' -Dunix=1 -D__unix=1 -D__unix__=1';
249 } elsif ( $spec =~ /^cygwin/) {
250 return &add_specs ('unix') .
251 ' -D__CYGWIN__=1 -D__CYGWIN32__=1' .
252 " -D'_cdecl=__attribute__((__cdecl__))'" .
253 " -D'__cdecl=__attribute__((__cdecl__))'" .
254 " -D'_stdcall=__attribute__((__stdcall__))'" .
255 " -D'__stdcall=__attribute__((__stdcall__))'" .
256 " -D'_fastcall=__attribute__((__fastcall__))'" .
257 " -D'__fastcall=__attribute__((__fastcall__))'" .
258 " -D'__declspec(x)=__attribute__((x))'";
259 } elsif ($spec eq 'i86') {
260 return (' -D__i386=1 -D__i386__=1' .
261 &integer_types (8, 16, 32, $m64 ? 64 : 32, 64) .
262 &float_types (1, 1, 21, [24,8], [53,11], [64,15]) .
263 &define_size_t ($m64 ? "long unsigned int" : "unsigned int") .
264 ' -D__SIZEOF_POINTER__=' . ($m64 ? '8' : '4'));
265 } elsif ($spec eq 'sparc') {
266 return (' -D__sparc=1 -D__sparc__=1' .
267 &integer_types (8, 16, 32, $m64 ? 64 : 32, 64) .
268 &float_types (1, 1, 33, [24,8], [53,11], [113,15]) .
269 &define_size_t ($m64 ? "long unsigned int" : "unsigned int") .
270 ' -D__SIZEOF_POINTER__=' . ($m64 ? '8' : '4'));
271 } elsif ($spec eq 'sparc64') {
272 return (' -D__sparc=1 -D__sparc__=1 -D__sparcv9__=1 -D__sparc64__=1 -D__arch64__=1 -D__LP64__=1' .
273 &integer_types (8, 16, 32, 64, 64, 128) .
274 &float_types (1, 1, 33, [24,8], [53,11], [113,15]) .
275 &define_size_t ("long unsigned int") .
276 ' -D__SIZEOF_POINTER__=8');
277 } elsif ($spec eq 'x86_64') {
278 return (' -D__x86_64=1 -D__x86_64__=1' . ($m32 ? '' : ' -D__LP64__=1') .
279 &integer_types (8, 16, 32, $m32 ? 32 : 64, 64, 128) .
280 &float_types (1, 1, 33, [24,8], [53,11], [113,15]) .
281 &define_size_t ($m32 ? "unsigned int" : "long unsigned int") .
282 ' -D__SIZEOF_POINTER__=' . ($m32 ? '4' : '8'));
283 } elsif ($spec eq 'ppc') {
284 return (' -D__powerpc__=1 -D_BIG_ENDIAN -D_STRING_ARCH_unaligned=1' .
285 &integer_types (8, 16, 32, $m64 ? 64 : 32, 64) .
286 &float_types (1, 1, 21, [24,8], [53,11], [113,15]) .
287 &define_size_t ($m64 ? "long unsigned int" : "unsigned int") .
288 ' -D__SIZEOF_POINTER__=' . ($m64 ? '8' : '4'));
289 } elsif ($spec eq 'ppc64') {
290 return (' -D__powerpc__=1 -D__PPC__=1 -D_STRING_ARCH_unaligned=1' .
291 ' -D__powerpc64__=1 -D__PPC64__=1' .
292 ' -m64' .
293 &float_types (1, 1, 21, [24,8], [53,11], [113,15]));
294 } elsif ($spec eq 's390x') {
295 return (' -D__s390x__ -D__s390__ -D_BIG_ENDIAN' .
296 &integer_types (8, 16, 32, $m64 ? 64 : 32, 64) .
297 &float_types (1, 1, 36, [24,8], [53,11], [113,15]) .
298 &define_size_t ("long unsigned int") .
299 ' -D__SIZEOF_POINTER__=' . ($m64 ? '8' : '4'));
300 } elsif ($spec eq 'arm') {
301 chomp (my $gccmachine = `$cc -dumpmachine`);
302 my $cppsymbols = ' -D__arm__=1 -m32';
303
304 if ($gccmachine eq 'arm-linux-gnueabihf') {
305 $cppsymbols .= ' -D__ARM_PCS_VFP=1';
306 }
307
308 return ($cppsymbols .
309 &float_types (1, 1, 36, [24,8], [53,11], [53, 11]));
310 } elsif ($spec eq 'aarch64') {
311 return (' -D__aarch64__=1 -m64' .
312 &float_types (1, 1, 36, [24,8], [53,11], [113,15]));
313 } elsif ($spec eq 'host_os_specs') {
314 my $os = `uname -s`;
315 chomp $os;
316 return &add_specs (lc $os);
317 } elsif ($spec eq 'host_arch_specs') {
318 my $arch = `uname -m`;
319 chomp $arch;
320 if ($arch =~ /^(i.?86|athlon)$/i) {
321 return &add_specs ('i86');
322 } elsif ($arch =~ /^(sun4u)$/i) {
323 return &add_specs ('sparc');
324 } elsif ($arch =~ /^(x86_64)$/i) {
325 return &add_specs ('x86_64');
326 } elsif ($arch =~ /^(ppc)$/i) {
327 return &add_specs ('ppc');
328 } elsif ($arch =~ /^(ppc64)$/i) {
329 return &add_specs ('ppc64') . ' -mbig-endian -D_CALL_ELF=1';
330 } elsif ($arch =~ /^(ppc64le)$/i) {
331 return &add_specs ('ppc64') . ' -mlittle-endian -D_CALL_ELF=2';
332 } elsif ($arch =~ /^(s390x)$/i) {
333 return &add_specs ('s390x');
334 } elsif ($arch =~ /^(sparc64)$/i) {
335 return &add_specs ('sparc64');
336 } elsif ($arch =~ /^arm(?:v[78]l)?$/i) {
337 return &add_specs ('arm');
338 } elsif ($arch =~ /^(aarch64)$/i) {
339 return &add_specs ('aarch64');
340 }
341 } else {
342 die "$0: invalid specs: $spec\n";
343 }
344 }
345
346 # -----------------------------------------------------------------------------
|
1 #!/usr/bin/perl -w
2 # -----------------------------------------------------------------------------
3
4 use strict;
5 use warnings;
6
7 my $cc = $ENV{'REAL_CC'} || 'cc';
8 my $check = $ENV{'CHECK'} || 'sparse';
9 my $ccom = $cc;
10
11 my $m32 = 0;
12 my $m64 = 0;
13 my $has_specs = 0;
14 my $gendeps = 0;
15 my $do_check = 0;
16 my $do_compile = 1;
17 my $gcc_base_dir;
18 my $multiarch_dir;
19 my $verbose = 0;
20 my $nargs = 0;
21
22 while (@ARGV) {
23 $_ = shift(@ARGV);
24
25 if ($nargs) {
26 $nargs--;
27 goto add_option;
28 }
29
30 # Look for a .c file. We don't want to run the checker on .o or .so files
31 # in the link run.
32 $do_check = 1 if /^[^-].*\.c$/;
33
34 # Ditto for stdin.
35 $do_check = 1 if $_ eq '-';
36
37 if (/^-(o|MF|MT|MQ)$/) {
38 # Need to be checked explicitly since otherwise
39 # the argument would be processed as a
40 # (non-existant) source file or as an option.
41 die ("$0: missing argument for $_") if !@ARGV;
42 $nargs = 1;
43 }
44
45 # Ignore the extension if '-x c' is given.
46 if ($_ eq '-x') {
47 die ("$0: missing argument for $_") if !@ARGV;
48 die ("$0: invalid argument for $_") if $ARGV[0] ne 'c';
49 $do_check = 1;
50 $nargs = 1;
51 }
52
53 $m32 = 1 if /^-m32$/;
54 $m64 = 1 if /^-m64$/;
55 $gendeps = 1 if /^-(M|MM|MD|MMD)$/;
56
57 if (/^-target=(.*)$/) {
58 $check .= &add_specs ($1);
59 $has_specs = 1;
60 next;
61 }
62
63 if ($_ eq '-no-compile') {
64 $do_compile = 0;
65 next;
66 }
67
68 if (/^-gcc-base-dir$/) {
69 $gcc_base_dir = shift @ARGV;
70 die ("$0: missing argument for -gcc-base-dir option") if !$gcc_base_dir;
71 next;
72 }
73
74 if (/^-multiarch-dir$/) {
75 $multiarch_dir = shift @ARGV;
76 die ("$0: missing argument for -multiarch-dir option") if !$multiarch_dir;
77 next;
78 }
79
80 # If someone adds "-E", don't pre-process twice.
81 $do_compile = 0 if $_ eq '-E';
82
83 $verbose = 1 if $_ eq '-v';
84
85 add_option:
86 my $this_arg = ' ' . "e_arg ($_);
87 $cc .= $this_arg unless &check_only_option ($_);
88 $check .= $this_arg;
89 }
90
91 if ($gendeps) {
92 $do_compile = 1;
93 $do_check = 0;
94 }
95
96 if ($do_check) {
97 if (!$has_specs) {
98 $check .= &add_specs ('host_arch_specs');
99 $check .= &add_specs ('host_os_specs');
100 }
101
102 $gcc_base_dir = qx($ccom -print-file-name=) if !$gcc_base_dir;
103 chomp($gcc_base_dir); # possibly remove '\n' from compiler
104 $check .= " -gcc-base-dir " . $gcc_base_dir if $gcc_base_dir;
105
110 print "$check\n" if $verbose;
111 if ($do_compile) {
112 system ($check);
113 } else {
114 exec ($check);
115 }
116 }
117
118 if ($do_compile) {
119 print "$cc\n" if $verbose;
120 exec ($cc);
121 }
122
123 exit 0;
124
125 # -----------------------------------------------------------------------------
126 # Check if an option is for "check" only.
127
128 sub check_only_option {
129 my ($arg) = @_;
130 return 1 if $arg =~ /^-W(no-?)?(address-space|bitwise|cast-to-as|cast-truncate|constant-suffix|context|decl|default-bitfield-sign|designated-init|do-while|enum-mismatch|external-function-has-definition|init-cstring|memcpy-max-count|non-pointer-null|old-initializer|one-bit-signed-bitfield|override-init-all|paren-string|ptr-subtraction-blows|return-void|sizeof-bool|sparse-all|sparse-error|transparent-union|typesign|undef|unknown-attribute)$/;
131 return 1 if $arg =~ /^-v(no-?)?(entry|dead)$/;
132 return 1 if $arg =~ /^-f(dump-ir|memcpy-max-count|diagnostic-prefix)(=\S*)?$/;
133 return 1 if $arg =~ /^-f(mem2reg|optim)(-enable|-disable|=last)?$/;
134 return 0;
135 }
136
137 # -----------------------------------------------------------------------------
138 # Simple arg-quoting function. Just adds backslashes when needed.
139
140 sub quote_arg {
141 my ($arg) = @_;
142 return "''" if $arg eq '';
143 return join ('',
144 map {
145 m|^[-a-zA-Z0-9._/,=]+$| ? $_ : "\\" . $_;
146 } (split (//, $arg)));
147 }
148
149 # -----------------------------------------------------------------------------
150
151 sub integer_types {
152 my ($char,@dummy) = @_;
153
251
252 sub add_specs {
253 my ($spec) = @_;
254 if ($spec eq 'sunos') {
255 return &add_specs ('unix') .
256 ' -D__sun__=1 -D__sun=1 -Dsun=1' .
257 ' -D__svr4__=1 -DSVR4=1' .
258 ' -D__STDC__=0' .
259 ' -D_REENTRANT' .
260 ' -D_SOLARIS_THREADS' .
261 ' -DNULL="((void *)0)"';
262 } elsif ($spec eq 'linux') {
263 return &add_specs ('unix') .
264 ' -D__linux__=1 -D__linux=1 -Dlinux=linux';
265 } elsif ($spec eq 'gnu/kfreebsd') {
266 return &add_specs ('unix') .
267 ' -D__FreeBSD_kernel__=1';
268 } elsif ($spec eq 'openbsd') {
269 return &add_specs ('unix') .
270 ' -D__OpenBSD__=1';
271 } elsif ($spec eq 'freebsd') {
272 return &add_specs ('unix') .
273 ' -D__FreeBSD__=1';
274 } elsif ($spec eq 'netbsd') {
275 return &add_specs ('unix') .
276 ' -D__NetBSD__=1';
277 } elsif ($spec eq 'darwin') {
278 return
279 ' -D__APPLE__=1 -D__APPLE_CC__=1 -D__MACH__=1';
280 } elsif ($spec eq 'gnu') { # Hurd
281 return &add_specs ('unix') . # So, GNU is Unix, uh?
282 ' -D__GNU__=1 -D__gnu_hurd__=1 -D__MACH__=1';
283 } elsif ($spec eq 'unix') {
284 return ' -Dunix=1 -D__unix=1 -D__unix__=1';
285 } elsif ( $spec =~ /^cygwin/) {
286 return &add_specs ('unix') .
287 ' -D__CYGWIN__=1 -D__CYGWIN32__=1' .
288 " -D'_cdecl=__attribute__((__cdecl__))'" .
289 " -D'__cdecl=__attribute__((__cdecl__))'" .
290 " -D'_stdcall=__attribute__((__stdcall__))'" .
291 " -D'__stdcall=__attribute__((__stdcall__))'" .
292 " -D'_fastcall=__attribute__((__fastcall__))'" .
293 " -D'__fastcall=__attribute__((__fastcall__))'" .
294 " -D'__declspec(x)=__attribute__((x))'";
295 } elsif ($spec eq 'i386') {
296 return (
297 &float_types (1, 1, 21, [24,8], [53,11], [64,15]));
298 } elsif ($spec eq 'sparc') {
299 return (
300 &integer_types (8, 16, 32, $m64 ? 64 : 32, 64) .
301 &float_types (1, 1, 33, [24,8], [53,11], [113,15]) .
302 &define_size_t ($m64 ? "long unsigned int" : "unsigned int") .
303 ' -D__SIZEOF_POINTER__=' . ($m64 ? '8' : '4'));
304 } elsif ($spec eq 'sparc64') {
305 return (
306 &integer_types (8, 16, 32, 64, 64, 128) .
307 &float_types (1, 1, 33, [24,8], [53,11], [113,15]) .
308 &define_size_t ("long unsigned int") .
309 ' -D__SIZEOF_POINTER__=8');
310 } elsif ($spec eq 'x86_64') {
311 return &float_types (1, 1, 33, [24,8], [53,11], [113,15]);
312 } elsif ($spec eq 'ppc') {
313 return (' -D_BIG_ENDIAN -D_STRING_ARCH_unaligned=1' .
314 &integer_types (8, 16, 32, $m64 ? 64 : 32, 64) .
315 &float_types (1, 1, 21, [24,8], [53,11], [113,15]) .
316 &define_size_t ($m64 ? "long unsigned int" : "unsigned int") .
317 ' -D__SIZEOF_POINTER__=' . ($m64 ? '8' : '4'));
318 } elsif ($spec eq 'ppc64') {
319 return (' -D_STRING_ARCH_unaligned=1 -m64' .
320 &float_types (1, 1, 21, [24,8], [53,11], [113,15]));
321 } elsif ($spec eq 'ppc64+be') {
322 return &add_specs ('ppc64') . ' -mbig-endian -D_CALL_ELF=1';
323 } elsif ($spec eq 'ppc64+le') {
324 return &add_specs ('ppc64') . ' -mlittle-endian -D_CALL_ELF=2';
325 } elsif ($spec eq 's390x') {
326 return (' -D_BIG_ENDIAN' .
327 &integer_types (8, 16, 32, $m64 ? 64 : 32, 64) .
328 &float_types (1, 1, 36, [24,8], [53,11], [113,15]) .
329 &define_size_t ("long unsigned int") .
330 ' -D__SIZEOF_POINTER__=' . ($m64 ? '8' : '4'));
331 } elsif ($spec eq 'arm') {
332 return (' -m32' .
333 &float_types (1, 1, 36, [24,8], [53,11], [53, 11]));
334 } elsif ($spec eq 'arm+hf') {
335 return &add_specs ('arm') . ' -D__ARM_PCS_VFP=1';
336 } elsif ($spec eq 'aarch64') {
337 return (' -m64' .
338 &float_types (1, 1, 36, [24,8], [53,11], [113,15]));
339 } elsif ($spec eq 'host_os_specs') {
340 my $os = `uname -s`;
341 chomp $os;
342 return &add_specs (lc $os);
343 } elsif ($spec eq 'host_arch_specs') {
344 my $gccmachine;
345 my $arch;
346
347 $gccmachine = `$ccom -dumpmachine`;
348 chomp $gccmachine;
349
350 if ($gccmachine =~ '^aarch64-') {
351 return &add_specs ('aarch64');
352 } elsif ($gccmachine =~ '^arm-.*eabihf$') {
353 return &add_specs ('arm+hf');
354 } elsif ($gccmachine =~ '^arm-') {
355 return &add_specs ('arm');
356 } elsif ($gccmachine =~ '^i[23456]86-') {
357 return &add_specs ('i386');
358 } elsif ($gccmachine =~ '^(powerpc|ppc)64le-') {
359 return &add_specs ('ppc64+le');
360 } elsif ($gccmachine =~ '^s390x-') {
361 return &add_specs ('s390x');
362 } elsif ($gccmachine eq 'x86_64-linux-gnux32') {
363 return &add_specs ('x86_64') . ' -mx32';
364 } elsif ($gccmachine =~ '^x86_64-') {
365 return &add_specs ('x86_64');
366 }
367
368 # fall back to uname -m to determine the specifics.
369 # Note: this is only meaningful when using natively
370 # since information about the host is used to
371 # guess characteristics of the target.
372
373 $arch = `uname -m`;
374 chomp $arch;
375 if ($arch =~ /^(i.?86|athlon)$/i) {
376 return &add_specs ('i386');
377 } elsif ($arch =~ /^(sun4u)$/i) {
378 return &add_specs ('sparc');
379 } elsif ($arch =~ /^(x86_64)$/i) {
380 return &add_specs ('x86_64');
381 } elsif ($arch =~ /^(ppc)$/i) {
382 return &add_specs ('ppc');
383 } elsif ($arch =~ /^(ppc64)$/i) {
384 return &add_specs ('ppc64+be');
385 } elsif ($arch =~ /^(ppc64le)$/i) {
386 return &add_specs ('ppc64+le');
387 } elsif ($arch =~ /^(s390x)$/i) {
388 return &add_specs ('s390x');
389 } elsif ($arch =~ /^(sparc64)$/i) {
390 return &add_specs ('sparc64');
391 } elsif ($arch =~ /^arm(?:v[78]l)?$/i) {
392 return &add_specs ('arm');
393 } elsif ($arch =~ /^(aarch64)$/i) {
394 return &add_specs ('aarch64');
395 }
396 } else {
397 die "$0: invalid specs: $spec\n";
398 }
399 }
400
401 # -----------------------------------------------------------------------------
|