diff options
| author | Uwe Kleine-König <uwe@kleine-koenig.org> | 2017-09-26 09:15:20 +0200 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-10-03 00:40:11 -0400 |
| commit | 4b7b6b63f6069a387971276cf84db6cfafb2b4fe (patch) | |
| tree | a74a4a95df7953bb330f6d207056b8c9d9f80f8a /cgcc | |
| parent | 9afbd4ce7ecef4fde66fab604a46ca67f8b0497c (diff) | |
| download | sparse-dev-4b7b6b63f6069a387971276cf84db6cfafb2b4fe.tar.gz | |
cgcc: provide __ARM_PCS_VFP for armhf
This fixes:
$ uname -m
armv8l
$ env CHECK=./sparse ./cgcc -no-compile memops.c
/usr/include/arm-linux-gnueabihf/gnu/stubs.h:7:12: error: unable to open 'gnu/stubs-soft.h'
Signed-off-by: Uwe Kleine-König <uwe@kleine-koenig.org>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'cgcc')
| -rwxr-xr-x | cgcc | 11 |
1 files changed, 9 insertions, 2 deletions
@@ -299,7 +299,14 @@ sub add_specs { &define_size_t ("long unsigned int") . ' -D__SIZEOF_POINTER__=' . ($m64 ? '8' : '4')); } elsif ($spec eq 'arm') { - return (' -D__arm__=1 -m32' . + chomp (my $gccmachine = `$cc -dumpmachine`); + my $cppsymbols = ' -D__arm__=1 -m32'; + + if ($gccmachine eq 'arm-linux-gnueabihf') { + $cppsymbols .= ' -D__ARM_PCS_VFP=1'; + } + + return ($cppsymbols . &float_types (1, 1, 36, [24,8], [53,11], [53, 11])); } elsif ($spec eq 'aarch64') { return (' -D__aarch64__=1 -m64' . @@ -327,7 +334,7 @@ sub add_specs { return &add_specs ('s390x'); } elsif ($arch =~ /^(sparc64)$/i) { return &add_specs ('sparc64'); - } elsif ($arch =~ /^(arm)$/i) { + } elsif ($arch =~ /^arm(?:v[78]l)?$/i) { return &add_specs ('arm'); } elsif ($arch =~ /^(aarch64)$/i) { return &add_specs ('aarch64'); |