From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mx0a-001b2d01.pphosted.com (mx0a-001b2d01.pphosted.com [148.163.156.1]) by sourceware.org (Postfix) with ESMTPS id 237593858429 for ; Sat, 10 Sep 2022 03:16:25 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 237593858429 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=linux.ibm.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=linux.ibm.com Received: from pps.filterd (m0187473.ppops.net [127.0.0.1]) by mx0a-001b2d01.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 28A1xhLx020880; Sat, 10 Sep 2022 03:16:23 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ibm.com; h=message-id : date : mime-version : subject : to : cc : references : from : in-reply-to : content-type : content-transfer-encoding; s=pp1; bh=v/w2ijdtqEZn3hP/FupUm33kxzlNUxVqRWEuu+5AKHI=; b=S2b6TVVXqNfudEJ+pwoGWmszynd5EX4SYAWMWs1+f5vQFxNFicKUIYdBwJEmtrBCkvag j4F+Pr7RHLUlRg98rFhX5l+5NBlsvfAktHCr/yQEtcRYnOuep0dKAO7Kx+8Hx1A5/F13 7SfZ/lJtcqWLOpBwdlJEjmMcJEGHfUFLrdXMNncTxTgxdj+o4XItm7zmKzBhgJ/Ky+lG 0RRV3omobd+XlyXVO1Waxq59KhUDrDhvrTR81ZCM7sBw6tD7YN/HlJu+KckeskXpHH+s 7DnieQEWFbPfqc7YvtBT0U0eLEPQdz7WdUkLzjVvhlOIaCvatYZo819tSOR5wsCwkfWQ 4g== Received: from pps.reinject (localhost [127.0.0.1]) by mx0a-001b2d01.pphosted.com (PPS) with ESMTPS id 3jghdjhcgp-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Sat, 10 Sep 2022 03:16:22 +0000 Received: from m0187473.ppops.net (m0187473.ppops.net [127.0.0.1]) by pps.reinject (8.17.1.5/8.17.1.5) with ESMTP id 28A3GM6k032074; Sat, 10 Sep 2022 03:16:22 GMT Received: from ppma01wdc.us.ibm.com (fd.55.37a9.ip4.static.sl-reverse.com [169.55.85.253]) by mx0a-001b2d01.pphosted.com (PPS) with ESMTPS id 3jghdjhcgb-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Sat, 10 Sep 2022 03:16:22 +0000 Received: from pps.filterd (ppma01wdc.us.ibm.com [127.0.0.1]) by ppma01wdc.us.ibm.com (8.16.1.2/8.16.1.2) with SMTP id 28A35TL7007261; Sat, 10 Sep 2022 03:16:21 GMT Received: from b03cxnp08028.gho.boulder.ibm.com (b03cxnp08028.gho.boulder.ibm.com [9.17.130.20]) by ppma01wdc.us.ibm.com with ESMTP id 3jgj78g322-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Sat, 10 Sep 2022 03:16:21 +0000 Received: from b03ledav004.gho.boulder.ibm.com (b03ledav004.gho.boulder.ibm.com [9.17.130.235]) by b03cxnp08028.gho.boulder.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id 28A3GKMj8978950 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sat, 10 Sep 2022 03:16:20 GMT Received: from b03ledav004.gho.boulder.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 943487805F; Sat, 10 Sep 2022 03:28:21 +0000 (GMT) Received: from b03ledav004.gho.boulder.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id E37047805C; Sat, 10 Sep 2022 03:28:20 +0000 (GMT) Received: from [9.160.112.244] (unknown [9.160.112.244]) by b03ledav004.gho.boulder.ibm.com (Postfix) with ESMTP; Sat, 10 Sep 2022 03:28:20 +0000 (GMT) Message-ID: Date: Fri, 9 Sep 2022 22:16:18 -0500 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0) Gecko/20100101 Thunderbird/91.12.0 Subject: Re: [PATCH v2] Handle OPAQUE_TYPE specially in verify_type [PR106833] Content-Language: en-US To: Segher Boessenkool Cc: "Kewen.Lin" , Richard Biener , GCC Patches References: <302a193a-2751-a404-31c6-f5b4a3e6856a@linux.ibm.com> <0006b1a4-e5b4-f21d-da71-6aa7a74d8433@linux.ibm.com> <20220910014713.GT25951@gate.crashing.org> From: Peter Bergner In-Reply-To: <20220910014713.GT25951@gate.crashing.org> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-TM-AS-GCONF: 00 X-Proofpoint-GUID: HYhmT1wVFwU6nBcjNpf223ibkjuM-5Ul X-Proofpoint-ORIG-GUID: dqnndGDMgvI_yTe1Zrp2mvRN8Zi--VUT X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.895,Hydra:6.0.528,FMLib:17.11.122.1 definitions=2022-09-09_12,2022-09-09_01,2022-06-22_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 mlxscore=0 impostorscore=0 bulkscore=0 clxscore=1015 adultscore=0 suspectscore=0 mlxlogscore=921 lowpriorityscore=0 phishscore=0 malwarescore=0 spamscore=0 priorityscore=1501 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2207270000 definitions=main-2209100008 X-Spam-Status: No, score=-4.6 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_EF,NICE_REPLY_A,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On 9/9/22 8:47 PM, Segher Boessenkool wrote: > On Fri, Sep 09, 2022 at 07:56:42PM -0500, Peter Bergner wrote: >> On 9/9/22 8:27 AM, Kewen.Lin wrote: >>> btw, it needs some hacking in rs6000_function_arg to make this >>> opaque type valid for function arg. >> >> We don't allow (at this time) __vector_pair or __vector_quad to be >> used as actual arguments to non-builtin functions. We do allow >> pointers to those types though. > > It would be nice to support that, if it isn't too hard. It won't be > digging us into a hole, experience has taught us :-) Sure, but we didn't need it at the time (and still don't) and if we do add support for that, we'll have to update the ABIs to describe how they are passed and returned and that is no small feat in itself. It's just a fair amount of work when no one is actually asking for that support and we have a lot of other things to work on. Peter