From b2f6e1de242fff5713763cd3146dcf3f9dee51ca Mon Sep 17 00:00:00 2001 From: Iain Buclaw Date: Sun, 25 Jul 2021 23:19:36 +0200 Subject: d: Compile-time reflection for supported built-ins (PR101127) In order to allow user-code to determine whether a back-end builtin is available without error, LANG_HOOKS_BUILTIN_FUNCTION_EXT_SCOPE has been defined to delay putting back-end builtin functions until the ISA that defines them has been declared. However in D, there is no global namespace. All builtins get pushed into the `gcc.builtins' module, which is constructed during the semantic analysis pass, which has already finished by the time target attributes are evaluated. So builtins are not pushed by the new langhook because they would be ultimately ignored. Builtins exposed to D code then can now only be altered by the command-line. PR d/101127 gcc/d/ChangeLog: * d-builtins.cc (d_builtin_function_ext_scope): New function. * d-lang.cc (LANG_HOOKS_BUILTIN_FUNCTION_EXT_SCOPE): Define. * d-tree.h (d_builtin_function_ext_scope): Declare. gcc/testsuite/ChangeLog: * gdc.dg/pr101127a.d: New test. * gdc.dg/pr101127b.d: New test. --- gcc/testsuite/gdc.dg/pr101127a.d | 8 ++++++++ gcc/testsuite/gdc.dg/pr101127b.d | 7 +++++++ 2 files changed, 15 insertions(+) create mode 100644 gcc/testsuite/gdc.dg/pr101127a.d create mode 100644 gcc/testsuite/gdc.dg/pr101127b.d (limited to 'gcc/testsuite/gdc.dg') diff --git a/gcc/testsuite/gdc.dg/pr101127a.d b/gcc/testsuite/gdc.dg/pr101127a.d new file mode 100644 index 0000000..b56398e --- /dev/null +++ b/gcc/testsuite/gdc.dg/pr101127a.d @@ -0,0 +1,8 @@ +// https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101127 +// { dg-do compile { target i?86*-*-* x86_64-*-* } } +// { dg-additional-options "-mavx" } + +import gcc.builtins; + +static assert(__traits(compiles, __builtin_ia32_andps256)); +static assert(__traits(compiles, __builtin_ia32_pmulhrsw128)); diff --git a/gcc/testsuite/gdc.dg/pr101127b.d b/gcc/testsuite/gdc.dg/pr101127b.d new file mode 100644 index 0000000..b462d75 --- /dev/null +++ b/gcc/testsuite/gdc.dg/pr101127b.d @@ -0,0 +1,7 @@ +// https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101127 +// { dg-do compile { target i?86*-*-* x86_64-*-* } } + +import gcc.builtins; + +static assert(!__traits(compiles, __builtin_ia32_andps256)); +static assert(!__traits(compiles, __builtin_ia32_pmulhrsw128)); -- cgit v1.1