From patchwork Tue Oct 17 00:23:28 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Iain Buclaw X-Patchwork-Id: 153825 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a05:612c:2908:b0:403:3b70:6f57 with SMTP id ib8csp3808692vqb; Mon, 16 Oct 2023 17:24:03 -0700 (PDT) X-Google-Smtp-Source: AGHT+IFkQefeFdsQ0fL8iUTWSwQaTQak3VqT0UZuj6Yj9vOwNDuaVoWGX0PjdMRnQUzMri2b2Jn+ X-Received: by 2002:a05:622a:15c2:b0:418:1b8f:4cde with SMTP id d2-20020a05622a15c200b004181b8f4cdemr1013323qty.45.1697502242993; Mon, 16 Oct 2023 17:24:02 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1697502242; cv=pass; d=google.com; s=arc-20160816; b=sxVQad8x9s1iOeeMuCf3l7LQLwQpbeFa+VtCLQjriwO5PSG+o+Aa4lVteVtFHvQIJI uaTK4EZO4GsW6cxpeskELmLSczyOLQOskICgNDyAM7Ts5nCS6Q3XHI8tuDQ/S0rvyr7N HDjrfq2CpFt+M1VBNcy0DFnF/ZJXbeHxEO9Lh7gB/1NPkU8jU2ibdFMY0lFagk6qe6wG ePYfvq88/AroqaeUIsuIO/8HNYTNDnyrnvsoae1dfhB4RmnuSXZFiwyXCYEbpxDuXYHd zrhWq665tg2bXn7W7ASs8XRaDhd7TMdNwlfO8PhwxQCpOAgw38rJAc7DlzSj+Gsy3VSj t0lQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:content-transfer-encoding :mime-version:message-id:date:subject:cc:to:from:dkim-signature :arc-filter:dmarc-filter:delivered-to; bh=LxIaaxFgvvh06KY+nQTzdvIfFH/VtjZc9Aa7SGMHPaA=; fh=D2tRalIjW6KCgVuqwFHStdMb9uqe8HSQc2WEvRJ6uLE=; b=t4+jw4SdGGHIIKiDsGM+pSTyXplblPKzEwYtaW2B5rxv/TP6pB2mmIbGSA1HVDXJU/ wmBlKHg3vnV4vIqIzR4OK3hCjtlwP8uIKAzRos6U27/qI/jxJHpf6VmjHWRKfvEJk8EY /aKvN5NMIegXZjukqTqsbqeG1USfeeKFNzxTDxnet4/UbDCdAbraMxAZvebbneA1ebtH 9CRIZOBq2qMKZCYuRGN8sQ3okjTG+3p1gbcLXHhDbqQRmFP6ZSzDVAK8KyXLx6UXRcJN mvLTn0mRN/W+V7mUa2ztymT7t4Il9R8bCmjI8YUlM1BbYZaWinH5M4vQQ8v+n6NbE3IQ 90xA== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@gdcproject.org header.s=MBO0001 header.b=Mp0XuFZL; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=gdcproject.org Received: from server2.sourceware.org (server2.sourceware.org. [2620:52:3:1:0:246e:9693:128c]) by mx.google.com with ESMTPS id v1-20020a05622a014100b0040fd25c76e5si324312qtw.586.2023.10.16.17.24.02 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 16 Oct 2023 17:24:02 -0700 (PDT) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; Authentication-Results: mx.google.com; dkim=pass header.i=@gdcproject.org header.s=MBO0001 header.b=Mp0XuFZL; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=gdcproject.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id B53073857B93 for ; Tue, 17 Oct 2023 00:24:02 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mout-p-202.mailbox.org (mout-p-202.mailbox.org [80.241.56.172]) by sourceware.org (Postfix) with ESMTPS id A769E3858D33 for ; Tue, 17 Oct 2023 00:23:34 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org A769E3858D33 Authentication-Results: sourceware.org; dmarc=pass (p=quarantine dis=none) header.from=gdcproject.org Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gdcproject.org ARC-Filter: OpenARC Filter v1.0.0 sourceware.org A769E3858D33 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=80.241.56.172 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1697502218; cv=none; b=ccIoC5ItbHxRgx4i01jypdz9o8oF7MK4p64RatTsSORYorG8LA8spsGnAuCQs/CdHDXKHsGZvX1KdzGlNRObzUqnxGH7QTb9518fCEk3KapagBweS5urt7FUpVyw5B5EcDguWQck1/BTlHAlj/Xsm29ZtCLA8z9VIwVPC8eq6bE= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1697502218; c=relaxed/simple; bh=aQLmBiaK9FREvcO8qNcong3VmyrkX5th2pg7aZTtscQ=; h=DKIM-Signature:From:To:Subject:Date:Message-Id:MIME-Version; b=a17rIKCBr2hupctsPXezjjc8O9tXUb5dcAmcu/+OuhJOi8k0Npwua1di3ckM256t4n5yj/1fdHTiKTcDjXMwjGrqN5c/iq2E6TBlH3GDPKITOuB3hOxBb20tMD09YNCKb95BTKOAHGWsRBPW1H/Rt9fYD+0xt+/VMIqSJJgYjMU= ARC-Authentication-Results: i=1; server2.sourceware.org Received: from smtp202.mailbox.org (smtp202.mailbox.org [IPv6:2001:67c:2050:b231:465::202]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-202.mailbox.org (Postfix) with ESMTPS id 4S8ZTH2X0Rz9sp0; Tue, 17 Oct 2023 02:23:31 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gdcproject.org; s=MBO0001; t=1697502211; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=LxIaaxFgvvh06KY+nQTzdvIfFH/VtjZc9Aa7SGMHPaA=; b=Mp0XuFZLB0evIBT6CkfxBUrPDazL+zbB4anjzJameLEdR/pDX1R63T7xfahQbEbpTGZLd6 PAJvLQemAAJ+1tCRFHQA8UWlXp5ZcBV+WJUPrlB5f+cntiFE6KP5ykItNxQPfJyw3XmFXC aOH5/F10SUZDBthxRRnzSBl/XYNTj9/qmS6Op61CYjvflebSZXdzG8nvd51enJNmyU+Sy7 IHVDZy/VfH75rTnzOdHBaPOU9jnqrkqcYV/kKbNVJzrUDv0Lui5LkqHt0m2OgseMUZInCY UXM7GaLr9199AEuGI4AN8JaPilQC34ziznjGC51co+XPWaBfaN0pnNRTuzR1Mg== From: Iain Buclaw To: gcc-patches@gcc.gnu.org Cc: Iain Buclaw Subject: [committed] d: Forbid taking the address of an intrinsic with no implementation Date: Tue, 17 Oct 2023 02:23:28 +0200 Message-Id: <20231017002328.3165172-1-ibuclaw@gdcproject.org> MIME-Version: 1.0 X-Rspamd-Queue-Id: 4S8ZTH2X0Rz9sp0 X-Spam-Status: No, score=-13.3 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, KAM_SHORT, RCVD_IN_DNSWL_LOW, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1779960111961387429 X-GMAIL-MSGID: 1779960111961387429 Hi, This code fails to link: import core.math; real function(real) fn = &sin; However, when called directly, the D intrinsic `sin()' is expanded by the front-end into the GCC built-in `__builtin_sin()'. This has been fixed to now also expand the function when a reference is taken. As there are D intrinsics and GCC built-ins that don't have a fallback implementation, raise an error if taking the address is not possible. Bootstrapped and regression tested on x86_64-linux-gnu/-m32, and committed to mainline. Regards, Iain. --- gcc/d/ChangeLog: * d-tree.h (intrinsic_code): Update define for DEF_D_INTRINSIC. (maybe_reject_intrinsic): New prototype. * expr.cc (ExprVisitor::visit (SymOffExp *)): Call maybe_reject_intrinsic. * intrinsics.cc (intrinsic_decl): Add fallback field. (intrinsic_decls): Update define for DEF_D_INTRINSIC. (maybe_reject_intrinsic): New function. * intrinsics.def (DEF_D_LIB_BUILTIN): Update. (DEF_CTFE_BUILTIN): Update. (INTRINSIC_BSF): Declare as library builtin. (INTRINSIC_BSR): Likewise. (INTRINSIC_BT): Likewise. (INTRINSIC_BSF64): Likewise. (INTRINSIC_BSR64): Likewise. (INTRINSIC_BT64): Likewise. (INTRINSIC_POPCNT32): Likewise. (INTRINSIC_POPCNT64): Likewise. (INTRINSIC_ROL): Likewise. (INTRINSIC_ROL_TIARG): Likewise. (INTRINSIC_ROR): Likewise. (INTRINSIC_ROR_TIARG): Likewise. (INTRINSIC_ADDS): Likewise. (INTRINSIC_ADDSL): Likewise. (INTRINSIC_ADDU): Likewise. (INTRINSIC_ADDUL): Likewise. (INTRINSIC_SUBS): Likewise. (INTRINSIC_SUBSL): Likewise. (INTRINSIC_SUBU): Likewise. (INTRINSIC_SUBUL): Likewise. (INTRINSIC_MULS): Likewise. (INTRINSIC_MULSL): Likewise. (INTRINSIC_MULU): Likewise. (INTRINSIC_MULUI): Likewise. (INTRINSIC_MULUL): Likewise. (INTRINSIC_NEGS): Likewise. (INTRINSIC_NEGSL): Likewise. (INTRINSIC_TOPRECF): Likewise. (INTRINSIC_TOPREC): Likewise. (INTRINSIC_TOPRECL): Likewise. gcc/testsuite/ChangeLog: * gdc.dg/builtins_reject.d: New test. * gdc.dg/intrinsics_reject.d: New test. --- gcc/d/d-tree.h | 3 +- gcc/d/expr.cc | 3 + gcc/d/intrinsics.cc | 47 ++++++++- gcc/d/intrinsics.def | 128 ++++++++++++----------- gcc/testsuite/gdc.dg/builtins_reject.d | 17 +++ gcc/testsuite/gdc.dg/intrinsics_reject.d | 87 +++++++++++++++ 6 files changed, 222 insertions(+), 63 deletions(-) create mode 100644 gcc/testsuite/gdc.dg/builtins_reject.d create mode 100644 gcc/testsuite/gdc.dg/intrinsics_reject.d diff --git a/gcc/d/d-tree.h b/gcc/d/d-tree.h index b64a6fb46f9..66c2f2465c8 100644 --- a/gcc/d/d-tree.h +++ b/gcc/d/d-tree.h @@ -94,7 +94,7 @@ enum level_kind enum intrinsic_code { -#define DEF_D_INTRINSIC(CODE, B, N, M, D, C) CODE, +#define DEF_D_INTRINSIC(CODE, B, N, M, D, C, F) CODE, #include "intrinsics.def" @@ -668,6 +668,7 @@ extern tree build_import_decl (Dsymbol *); /* In intrinsics.cc. */ extern void maybe_set_intrinsic (FuncDeclaration *); extern tree maybe_expand_intrinsic (tree); +extern tree maybe_reject_intrinsic (tree); /* In modules.cc. */ extern void build_module_tree (Module *); diff --git a/gcc/d/expr.cc b/gcc/d/expr.cc index cc4aa03dfb9..52243e61899 100644 --- a/gcc/d/expr.cc +++ b/gcc/d/expr.cc @@ -2050,6 +2050,9 @@ public: tree result = get_decl_tree (e->var); TREE_USED (result) = 1; + if (e->var->isFuncDeclaration ()) + result = maybe_reject_intrinsic (result); + if (declaration_reference_p (e->var)) gcc_assert (POINTER_TYPE_P (TREE_TYPE (result))); else diff --git a/gcc/d/intrinsics.cc b/gcc/d/intrinsics.cc index 583d5a9dea6..1b03e9edbdb 100644 --- a/gcc/d/intrinsics.cc +++ b/gcc/d/intrinsics.cc @@ -60,12 +60,15 @@ struct intrinsic_decl /* True if the intrinsic is only handled in CTFE. */ bool ctfeonly; + + /* True if the intrinsic has a library implementation. */ + bool fallback; }; static const intrinsic_decl intrinsic_decls[] = { -#define DEF_D_INTRINSIC(CODE, BUILTIN, NAME, MODULE, DECO, CTFE) \ - { CODE, BUILTIN, NAME, MODULE, DECO, CTFE }, +#define DEF_D_INTRINSIC(CODE, BUILTIN, NAME, MODULE, DECO, CTFE, FALLBACK) \ + { CODE, BUILTIN, NAME, MODULE, DECO, CTFE, FALLBACK }, #include "intrinsics.def" @@ -1436,3 +1439,43 @@ maybe_expand_intrinsic (tree callexp) gcc_unreachable (); } } + +/* If FNDECL is an intrinsic, return the FUNCTION_DECL that has a library + fallback implementation of it, otherwise raise an error. */ + +tree +maybe_reject_intrinsic (tree fndecl) +{ + gcc_assert (TREE_CODE (fndecl) == FUNCTION_DECL); + + intrinsic_code intrinsic = DECL_INTRINSIC_CODE (fndecl); + + if (intrinsic == INTRINSIC_NONE) + { + /* Not an intrinsic, but it still might be a declaration from the + `gcc.builtins' module. */ + if (fndecl_built_in_p (fndecl) && DECL_IS_UNDECLARED_BUILTIN (fndecl) + && !DECL_ASSEMBLER_NAME_SET_P (fndecl)) + error ("built-in function %qE must be directly called", fndecl); + + return fndecl; + } + + /* Nothing to do if the intrinsic has a D library implementation. */ + if (intrinsic_decls[intrinsic].fallback) + return fndecl; + + /* Check the GCC built-in decl if the intrinsic maps to one. */ + built_in_function code = intrinsic_decls[intrinsic].built_in; + if (code != BUILT_IN_NONE) + { + tree builtin = builtin_decl_explicit (code); + if (!DECL_IS_UNDECLARED_BUILTIN (builtin) + || DECL_ASSEMBLER_NAME_SET_P (builtin)) + return builtin; + } + + /* It's a D language intrinsic with no library implementation. */ + error ("intrinsic function %qE must be directly called", fndecl); + return fndecl; +} diff --git a/gcc/d/intrinsics.def b/gcc/d/intrinsics.def index 454bddfd186..e472cf70362 100644 --- a/gcc/d/intrinsics.def +++ b/gcc/d/intrinsics.def @@ -15,7 +15,7 @@ You should have received a copy of the GNU General Public License along with GCC; see the file COPYING3. If not see . */ -/* DEF_D_INTRINSIC (CODE, BUILTIN, NAME, MODULE, DECO, CTFE) +/* DEF_D_INTRINSIC (CODE, BUILTIN, NAME, MODULE, DECO, CTFE, FALLBACK) CODE The enum code used to refer to this intrinsic. BUILTIN The enum code used to reference the function DECL_FUNCTION_CODE, if the intrinsic can be mapped 1:1 to a GCC built-in. @@ -24,40 +24,45 @@ along with GCC; see the file COPYING3. If not see DECO The function signature decoration of the intrinsic. CTFE True if the function is only handled as a built-in during CTFE, otherwise the runtime implementation is used. + FALLBACK True if the function has a D runtime library implementation. Used for declaring internally recognized functions that either map to a GCC builtin, or are specially handled by the compiler. */ /* A D built-in that has no runtime implementation. */ #define DEF_D_BUILTIN(C, B, N, M, D) \ - DEF_D_INTRINSIC (C, B, N, M, D, false) + DEF_D_INTRINSIC (C, B, N, M, D, false, false) + +/* A D built-in that has a runtime implementation. */ +#define DEF_D_LIB_BUILTIN(C, B, N, M, D) \ + DEF_D_INTRINSIC (C, B, N, M, D, false, true) /* A D built-in that is specially recognized only during CTFE. */ #define DEF_CTFE_BUILTIN(C, B, N, M, D) \ - DEF_D_INTRINSIC (C, B, N, M, D, true) + DEF_D_INTRINSIC (C, B, N, M, D, true, true) DEF_D_BUILTIN (INTRINSIC_NONE, BUILT_IN_NONE, 0, 0, 0) /* core.bitop intrinsics. */ -DEF_D_BUILTIN (INTRINSIC_BSF, BUILT_IN_NONE, "bsf", "core.bitop", - "FNaNbNiNfkZi") -DEF_D_BUILTIN (INTRINSIC_BSR, BUILT_IN_NONE, "bsr", "core.bitop", - "FNaNbNiNfkZi") -DEF_D_BUILTIN (INTRINSIC_BT, BUILT_IN_NONE, "bt", "core.bitop", - "FNaNbNiMxPkkZi") +DEF_D_LIB_BUILTIN (INTRINSIC_BSF, BUILT_IN_NONE, "bsf", "core.bitop", + "FNaNbNiNfkZi") +DEF_D_LIB_BUILTIN (INTRINSIC_BSR, BUILT_IN_NONE, "bsr", "core.bitop", + "FNaNbNiNfkZi") +DEF_D_LIB_BUILTIN (INTRINSIC_BT, BUILT_IN_NONE, "bt", "core.bitop", + "FNaNbNiMxPkkZi") DEF_D_BUILTIN (INTRINSIC_BTC, BUILT_IN_NONE, "btc", "core.bitop", "FNaNbNiPkkZi") DEF_D_BUILTIN (INTRINSIC_BTR, BUILT_IN_NONE, "btr", "core.bitop", "FNaNbNiPkkZi") DEF_D_BUILTIN (INTRINSIC_BTS, BUILT_IN_NONE, "bts", "core.bitop", "FNaNbNiPkkZi") -DEF_D_BUILTIN (INTRINSIC_BSF64, BUILT_IN_NONE, "bsf", "core.bitop", - "FNaNbNiNfmZi") -DEF_D_BUILTIN (INTRINSIC_BSR64, BUILT_IN_NONE, "bsr", "core.bitop", - "FNaNbNiNfmZi") -DEF_D_BUILTIN (INTRINSIC_BT64, BUILT_IN_NONE, "bt", "core.bitop", - "FNaNbNiMxPmmZi") +DEF_D_LIB_BUILTIN (INTRINSIC_BSF64, BUILT_IN_NONE, "bsf", "core.bitop", + "FNaNbNiNfmZi") +DEF_D_LIB_BUILTIN (INTRINSIC_BSR64, BUILT_IN_NONE, "bsr", "core.bitop", + "FNaNbNiNfmZi") +DEF_D_LIB_BUILTIN (INTRINSIC_BT64, BUILT_IN_NONE, "bt", "core.bitop", + "FNaNbNiMxPmmZi") DEF_D_BUILTIN (INTRINSIC_BTC64, BUILT_IN_NONE, "btc", "core.bitop", "FNaNbNiPmmZi") DEF_D_BUILTIN (INTRINSIC_BTR64, BUILT_IN_NONE, "btr", "core.bitop", @@ -72,17 +77,19 @@ DEF_D_BUILTIN (INTRINSIC_BSWAP32, BUILT_IN_BSWAP32, "bswap", "core.bitop", DEF_D_BUILTIN (INTRINSIC_BSWAP64, BUILT_IN_BSWAP64, "bswap", "core.bitop", "FNaNbNiNfmZm") -DEF_D_BUILTIN (INTRINSIC_POPCNT32, BUILT_IN_NONE, "popcnt", "core.bitop", - "FNaNbNiNfkZi") -DEF_D_BUILTIN (INTRINSIC_POPCNT64, BUILT_IN_NONE, "popcnt", "core.bitop", - "FNaNbNiNfmZi") +DEF_D_LIB_BUILTIN (INTRINSIC_POPCNT32, BUILT_IN_NONE, "popcnt", "core.bitop", + "FNaNbNiNfkZi") +DEF_D_LIB_BUILTIN (INTRINSIC_POPCNT64, BUILT_IN_NONE, "popcnt", "core.bitop", + "FNaNbNiNfmZi") -DEF_D_BUILTIN (INTRINSIC_ROL, BUILT_IN_NONE, "rol", "core.bitop", "FNa@1TkZ@1T") -DEF_D_BUILTIN (INTRINSIC_ROL_TIARG, BUILT_IN_NONE, "rol", "core.bitop", - "FNa@1TZ@1T") -DEF_D_BUILTIN (INTRINSIC_ROR, BUILT_IN_NONE, "ror", "core.bitop", "FNa@1TkZ@1T") -DEF_D_BUILTIN (INTRINSIC_ROR_TIARG, BUILT_IN_NONE, "ror", "core.bitop", - "FNa@1TZ@1T") +DEF_D_LIB_BUILTIN (INTRINSIC_ROL, BUILT_IN_NONE, "rol", "core.bitop", + "FNa@1TkZ@1T") +DEF_D_LIB_BUILTIN (INTRINSIC_ROL_TIARG, BUILT_IN_NONE, "rol", "core.bitop", + "FNa@1TZ@1T") +DEF_D_LIB_BUILTIN (INTRINSIC_ROR, BUILT_IN_NONE, "ror", "core.bitop", + "FNa@1TkZ@1T") +DEF_D_LIB_BUILTIN (INTRINSIC_ROR_TIARG, BUILT_IN_NONE, "ror", "core.bitop", + "FNa@1TZ@1T") /* core.volatile intrinsics. */ @@ -105,36 +112,36 @@ DEF_D_BUILTIN (INTRINSIC_VSTORE64, BUILT_IN_NONE, "volatileStore", /* core.checkedint intrinsics. */ -DEF_D_BUILTIN (INTRINSIC_ADDS, BUILT_IN_NONE, "adds", "core.checkedint", - "FiiKbZi") -DEF_D_BUILTIN (INTRINSIC_ADDSL, BUILT_IN_NONE, "adds", "core.checkedint", - "FllKbZl") -DEF_D_BUILTIN (INTRINSIC_ADDU, BUILT_IN_NONE, "addu", "core.checkedint", - "FkkKbZk") -DEF_D_BUILTIN (INTRINSIC_ADDUL, BUILT_IN_NONE, "addu", "core.checkedint", - "FmmKbZm") -DEF_D_BUILTIN (INTRINSIC_SUBS, BUILT_IN_NONE, "subs", "core.checkedint", - "FiiKbZi") -DEF_D_BUILTIN (INTRINSIC_SUBSL, BUILT_IN_NONE, "subs", "core.checkedint", - "FllKbZl") -DEF_D_BUILTIN (INTRINSIC_SUBU, BUILT_IN_NONE, "subu", "core.checkedint", - "FkkKbZk") -DEF_D_BUILTIN (INTRINSIC_SUBUL, BUILT_IN_NONE, "subu", "core.checkedint", - "FmmKbZm") -DEF_D_BUILTIN (INTRINSIC_MULS, BUILT_IN_NONE, "muls", "core.checkedint", - "FiiKbZi") -DEF_D_BUILTIN (INTRINSIC_MULSL, BUILT_IN_NONE, "muls", "core.checkedint", - "FllKbZl") -DEF_D_BUILTIN (INTRINSIC_MULU, BUILT_IN_NONE, "mulu", "core.checkedint", - "FkkKbZk") -DEF_D_BUILTIN (INTRINSIC_MULUI, BUILT_IN_NONE, "mulu", "core.checkedint", - "FmkKbZm") -DEF_D_BUILTIN (INTRINSIC_MULUL, BUILT_IN_NONE, "mulu", "core.checkedint", - "FmmKbZm") -DEF_D_BUILTIN (INTRINSIC_NEGS, BUILT_IN_NONE, "negs", "core.checkedint", - "FiKbZi") -DEF_D_BUILTIN (INTRINSIC_NEGSL, BUILT_IN_NONE, "negs", "core.checkedint", - "FlKbZl") +DEF_D_LIB_BUILTIN (INTRINSIC_ADDS, BUILT_IN_NONE, "adds", "core.checkedint", + "FiiKbZi") +DEF_D_LIB_BUILTIN (INTRINSIC_ADDSL, BUILT_IN_NONE, "adds", "core.checkedint", + "FllKbZl") +DEF_D_LIB_BUILTIN (INTRINSIC_ADDU, BUILT_IN_NONE, "addu", "core.checkedint", + "FkkKbZk") +DEF_D_LIB_BUILTIN (INTRINSIC_ADDUL, BUILT_IN_NONE, "addu", "core.checkedint", + "FmmKbZm") +DEF_D_LIB_BUILTIN (INTRINSIC_SUBS, BUILT_IN_NONE, "subs", "core.checkedint", + "FiiKbZi") +DEF_D_LIB_BUILTIN (INTRINSIC_SUBSL, BUILT_IN_NONE, "subs", "core.checkedint", + "FllKbZl") +DEF_D_LIB_BUILTIN (INTRINSIC_SUBU, BUILT_IN_NONE, "subu", "core.checkedint", + "FkkKbZk") +DEF_D_LIB_BUILTIN (INTRINSIC_SUBUL, BUILT_IN_NONE, "subu", "core.checkedint", + "FmmKbZm") +DEF_D_LIB_BUILTIN (INTRINSIC_MULS, BUILT_IN_NONE, "muls", "core.checkedint", + "FiiKbZi") +DEF_D_LIB_BUILTIN (INTRINSIC_MULSL, BUILT_IN_NONE, "muls", "core.checkedint", + "FllKbZl") +DEF_D_LIB_BUILTIN (INTRINSIC_MULU, BUILT_IN_NONE, "mulu", "core.checkedint", + "FkkKbZk") +DEF_D_LIB_BUILTIN (INTRINSIC_MULUI, BUILT_IN_NONE, "mulu", "core.checkedint", + "FmkKbZm") +DEF_D_LIB_BUILTIN (INTRINSIC_MULUL, BUILT_IN_NONE, "mulu", "core.checkedint", + "FmmKbZm") +DEF_D_LIB_BUILTIN (INTRINSIC_NEGS, BUILT_IN_NONE, "negs", "core.checkedint", + "FiKbZi") +DEF_D_LIB_BUILTIN (INTRINSIC_NEGSL, BUILT_IN_NONE, "negs", "core.checkedint", + "FlKbZl") /* core.math intrinsics. */ @@ -182,11 +189,12 @@ DEF_D_BUILTIN (INTRINSIC_SQRT, BUILT_IN_SQRT, "sqrt", "core.math", "FNaNbNiNfdZd") DEF_D_BUILTIN (INTRINSIC_SQRTL, BUILT_IN_SQRTL, "sqrt", "core.math", "FNaNbNiNfeZe") -DEF_D_BUILTIN (INTRINSIC_TOPRECF, BUILT_IN_NONE, "toPrec", "core.math", - "FfZ@1T") -DEF_D_BUILTIN (INTRINSIC_TOPREC, BUILT_IN_NONE, "toPrec", "core.math", "FdZ@1T") -DEF_D_BUILTIN (INTRINSIC_TOPRECL, BUILT_IN_NONE, "toPrec", "core.math", - "FeZ@1T") +DEF_D_LIB_BUILTIN (INTRINSIC_TOPRECF, BUILT_IN_NONE, "toPrec", "core.math", + "FfZ@1T") +DEF_D_LIB_BUILTIN (INTRINSIC_TOPREC, BUILT_IN_NONE, "toPrec", "core.math", + "FdZ@1T") +DEF_D_LIB_BUILTIN (INTRINSIC_TOPRECL, BUILT_IN_NONE, "toPrec", "core.math", + "FeZ@1T") /* std.math intrinsics. */ diff --git a/gcc/testsuite/gdc.dg/builtins_reject.d b/gcc/testsuite/gdc.dg/builtins_reject.d new file mode 100644 index 00000000000..51d7df236ed --- /dev/null +++ b/gcc/testsuite/gdc.dg/builtins_reject.d @@ -0,0 +1,17 @@ +// { dg-do compile } + +import gcc.builtins; + +auto test_sqrt() { return &__builtin_sqrt; } +auto test_tan() { return &__builtin_tan; } +auto test_malloc() { return &__builtin_malloc; } +auto test_printf() { return &__builtin_printf; } + +// { dg-error ".__builtin_inf. must be directly called" "" { target *-*-* } .+1 } +auto test_inf() { return &__builtin_inf; } +// { dg-error ".__builtin_lfloor. must be directly called" "" { target *-*-* } .+1 } +auto test_lfloor() { return &__builtin_lfloor; } +// { dg-error ".__builtin_setjmp. must be directly called" "" { target *-*-* } .+1 } +auto test_setjmp() { return &__builtin_setjmp; } +// { dg-error ".__builtin_unreachable. must be directly called" "" { target *-*-* } .+1 } +auto test_unreachable() { return &__builtin_unreachable; } diff --git a/gcc/testsuite/gdc.dg/intrinsics_reject.d b/gcc/testsuite/gdc.dg/intrinsics_reject.d new file mode 100644 index 00000000000..8c644cc025b --- /dev/null +++ b/gcc/testsuite/gdc.dg/intrinsics_reject.d @@ -0,0 +1,87 @@ +// { dg-do compile } +import core.bitop; +import core.math; +import core.volatile; +import core.stdc.stdarg; + +////////////////////////////////////////////////////// +// core.bitop + +int function(uint) test_bsf() { return &bsf; } +int function(ulong) test_bsfl() { return &bsf; } +int function(uint) test_bsr() { return &bsr; } +int function(ulong) test_bsrl() { return &bsr; } +auto test_bt() { return &bt; } +// { dg-error "intrinsic function .btc. must be directly called" "" { target *-*-* } .+1 } +auto test_btc() { return &btc; } +// { dg-error "intrinsic function .btr. must be directly called" "" { target *-*-* } .+1 } +auto test_btr() { return &btr; } +// { dg-error "intrinsic function .bts. must be directly called" "" { target *-*-* } .+1 } +auto test_bts() { return &bts; } +// { dg-error "intrinsic function .byteswap. must be directly called" "" { target *-*-* } .+1 } +ushort function(ushort) test_byteswap() { return &byteswap; } +// { dg-error "intrinsic function .bswap. must be directly called" "" { target *-*-* } .+1 } +uint function(uint) test_bswap() { return &bswap; } +// { dg-error "intrinsic function .bswap. must be directly called" "" { target *-*-* } .+1 } +ulong function(ulong) test_bswapl() { return &bswap; } +int function(uint) test_popcnt() { return &popcnt; } +int function(ulong) test_popcntl() { return &popcnt; } +auto test_rol() { return &rol!ubyte; } +auto test_rol(uint a) { return &rol!(1, uint); } +auto test_ror(ushort a, uint b) { return &ror!ushort; } +auto test_ror(ulong a) { return &ror!(1, ulong); } + +////////////////////////////////////////////////////// +// core.math + +float function(float) test_cosf() { return &cos; } +double function(double) test_cos() { return &cos; } +real function(real) test_cosl() { return &cos; } +float function(float) test_sinf() { return &sin; } +double function(double) test_sin() { return &sin; } +real function(real) test_sinl() { return &sin; } +long function(float) test_rndtolf() { return &rndtol; } +long function(double) test_rndtol() { return &rndtol; } +long function(real) test_rndtoll() { return &rndtol; } +float function(float) test_sqrtf() { return &sqrt; } +double function(double) test_sqrt() { return &sqrt; } +real function(real) test_sqrtl() { return &sqrt; } +float function(float, int) test_ldexpf() { return &ldexp; } +double function(double, int) test_ldexp() { return &ldexp; } +real function(real, int) test_ldexpl() { return &ldexp; } +float function(float) test_fabsf() { return &fabs; } +double function(double) test_fabs() { return &fabs; } +real function(real) test_fabsl() { return &fabs; } +float function(float) test_rintf() { return &rint; } +double function(double) test_rint() { return &rint; } +real function(real) test_rintl() { return &rint; } + +////////////////////////////////////////////////////// +// core.volatile + +// { dg-error "intrinsic function .volatileLoad. must be directly called" "" { target *-*-* } .+1 } +ubyte function(ubyte*) test_volatileLoad8() { return &volatileLoad; } +// { dg-error "intrinsic function .volatileLoad. must be directly called" "" { target *-*-* } .+1 } +ushort function(ushort*) test_volatileLoad16() { return &volatileLoad; } +// { dg-error "intrinsic function .volatileLoad. must be directly called" "" { target *-*-* } .+1 } +uint function(uint*) test_volatileLoad32() { return &volatileLoad; } +// { dg-error "intrinsic function .volatileLoad. must be directly called" "" { target *-*-* } .+1 } +ulong function(ulong*) test_volatileLoad64() { return &volatileLoad; } +// { dg-error "intrinsic function .volatileStore. must be directly called" "" { target *-*-* } .+1 } +void function(ubyte*, ubyte) test_volatileStore8() { return &volatileStore; } +// { dg-error "intrinsic function .volatileStore. must be directly called" "" { target *-*-* } .+1 } +void function(ushort*, ushort) test_volatileStore16() { return &volatileStore; } +// { dg-error "intrinsic function .volatileStore. must be directly called" "" { target *-*-* } .+1 } +void function(uint*, uint) test_volatileStore32() { return &volatileStore; } +// { dg-error "intrinsic function .volatileStore. must be directly called" "" { target *-*-* } .+1 } +void function(ulong*, ulong) test_volatileStore64() { return &volatileStore; } + +////////////////////////////////////////////////////// +// core.stdc.stdarg + +// { dg-error "intrinsic function .va_start. must be directly called" "" { target *-*-* } .+1 } +auto test_va_start() { return &va_start!int; } +// { dg-error "built-in function .__builtin_va_end. must be directly called" "" { target *-*-* } .+1 } +auto test_va_end() { return &va_end; } +// { dg-error "built-in function .__builtin_va_copy. must be directly called" "" { target *-*-* } .+1 } +auto test_va_copy() { return &va_copy; }