On Wed, Jan 11, 2023 at 7:14 AM Jakub Jelinek <ja...@redhat.com> wrote:
> I've committed following after regtesting it on x86_64-linux and i686-linux:
...
> +/* { dg-do run { target int32 } } */
Ah, I didn't realize you meant literally int32. I didn't see that as
a choice here:
https://gcc.gnu.org/onlinedocs/gccint/Effective-Target-Keywords.html
Is that a case of missing documentation?
