https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101696
--- Comment #7 from Martin Liška <marxin at gcc dot gnu.org> --- > It is very difficult to add them to __builtin_cpu_is since there are no > such processors. I see! > However, add them to __builtin_cpu_supports is possible. Please do so we can then leverage that in the target attribute.