https://gcc.gnu.org/bugzilla/show_bug.cgi?id=76731
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 39438
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=39438&action=edit
gcc7-pr76731-headers.patch
Untested change just for the intrinsics headers changes.
It doesn't help that at least 319433-024 pdf is inconsistent with the page
you've referred, sometimes the pdf has void * for gather, while the web pages
void const *, which makes more sense.
On the other side, some of the gcc inlines used <type> const * for the scatter,
that is really weird when scatter stores through that pointer.
I guess we'll need to change also the builtins to have PTR instead of PINT etc.
