diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-06-17 19:00:36 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-06-19 15:58:01 +0200 |
| commit | 92b2d35f701ae55129fe2c34066d59d045460852 (patch) | |
| tree | 7cdba13f812ccc38aaa924db373f396a346d835b /cparser/Checks.ml | |
| parent | ed0cfe4b38208f15763f2d1c0372c441a320ea56 (diff) | |
| download | compcert-kvx-92b2d35f701ae55129fe2c34066d59d045460852.tar.gz compcert-kvx-92b2d35f701ae55129fe2c34066d59d045460852.zip | |
Change the expected types for arguments to __builtin_annot, and extended asm
Currently, the arguments to __builtin_annot, __builtin_ais_annot,
__builtin_debug, and extended asm statements are treated like
arguments to an unprototyped or vararg function call. In particular,
arguments of type "float" are converted to "double", generating useless
code.
To avoid this extra, useless conversion, this commit changes the types
expected for the arguments to these built-ins and to extended asm
statements. Now they are the types of the arguments themselves, after
performing the usual unary conversions (e.g. char -> int), but without
the problematic float -> double conversion. This ensures that no code
is generated to change the representation of the arguments.
Diffstat (limited to 'cparser/Checks.ml')
0 files changed, 0 insertions, 0 deletions