From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mx0b-001b2d01.pphosted.com (mx0b-001b2d01.pphosted.com [148.163.158.5]) by sourceware.org (Postfix) with ESMTPS id ADE363858429 for ; Sat, 10 Sep 2022 00:56:46 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org ADE363858429 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 (m0098421.ppops.net [127.0.0.1]) by mx0a-001b2d01.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 289NpXwG018178; Sat, 10 Sep 2022 00:56:46 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=eEiviZLSOodZ8jjOQkIc2JMBSMydxoJBHKx4WFbCuiI=; b=OGZgdtqjyllkYkuU+R9JNifzrdoq5kvgKrsswzA58HeSZ1o47BPCs6YH6QHnGbwUUbTA VsoOqTPj54vQqk843xpjUauiUccSOqVs6jMs/HhMAD7e3K+VCTQDEcZbQv+oIBH8z50g WYDPOfEG8n3uORcS3uBFlGE5+oAmtHAALWOL9cXiQ6oN8+KSY2dhCpbc8Kjk90JGMM2y tS7vMKHxrdLJeSPJD0NVGnZc2ztPCjxB1mu55qFTH8qHMBB7jkf8BQQDQFMaDbN2PYN2 kmx1dT4ZHmmFH7YIBxmXLPRi5RjHVQtKgOhdQ1aG4JBI3Ryhf54SSAnmeeir39vfqOBh ZQ== Received: from pps.reinject (localhost [127.0.0.1]) by mx0a-001b2d01.pphosted.com (PPS) with ESMTPS id 3jgfhf16cw-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Sat, 10 Sep 2022 00:56:45 +0000 Received: from m0098421.ppops.net (m0098421.ppops.net [127.0.0.1]) by pps.reinject (8.17.1.5/8.17.1.5) with ESMTP id 28A0oqW6023371; Sat, 10 Sep 2022 00:56:45 GMT Received: from ppma04dal.us.ibm.com (7a.29.35a9.ip4.static.sl-reverse.com [169.53.41.122]) by mx0a-001b2d01.pphosted.com (PPS) with ESMTPS id 3jgfhf16cm-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Sat, 10 Sep 2022 00:56:45 +0000 Received: from pps.filterd (ppma04dal.us.ibm.com [127.0.0.1]) by ppma04dal.us.ibm.com (8.16.1.2/8.16.1.2) with SMTP id 28A0ZnBJ001343; Sat, 10 Sep 2022 00:56:44 GMT Received: from b01cxnp22036.gho.pok.ibm.com (b01cxnp22036.gho.pok.ibm.com [9.57.198.26]) by ppma04dal.us.ibm.com with ESMTP id 3jbxjamjhw-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Sat, 10 Sep 2022 00:56:44 +0000 Received: from b01ledav004.gho.pok.ibm.com (b01ledav004.gho.pok.ibm.com [9.57.199.109]) by b01cxnp22036.gho.pok.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id 28A0uhHs31588748 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sat, 10 Sep 2022 00:56:43 GMT Received: from b01ledav004.gho.pok.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 832D9112062; Sat, 10 Sep 2022 00:56:43 +0000 (GMT) Received: from b01ledav004.gho.pok.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 13BA2112061; Sat, 10 Sep 2022 00:56:43 +0000 (GMT) Received: from [9.160.112.244] (unknown [9.160.112.244]) by b01ledav004.gho.pok.ibm.com (Postfix) with ESMTP; Sat, 10 Sep 2022 00:56:42 +0000 (GMT) Message-ID: <0006b1a4-e5b4-f21d-da71-6aa7a74d8433@linux.ibm.com> Date: Fri, 9 Sep 2022 19:56:42 -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: "Kewen.Lin" , Richard Biener Cc: GCC Patches , Segher Boessenkool References: <302a193a-2751-a404-31c6-f5b4a3e6856a@linux.ibm.com> From: Peter Bergner In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-TM-AS-GCONF: 00 X-Proofpoint-GUID: Rt-TknxbQdE8XtjM9oX6FFKuHYDlc9Ja X-Proofpoint-ORIG-GUID: Z1nkquR5dN33gDRL40Okea2GTd49TBGD 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 clxscore=1015 mlxlogscore=999 lowpriorityscore=0 priorityscore=1501 impostorscore=0 mlxscore=0 phishscore=0 spamscore=0 bulkscore=0 suspectscore=0 adultscore=0 malwarescore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2207270000 definitions=main-2209090083 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:27 AM, Kewen.Lin wrote: > __attribute__((noipa)) > int foo(c){ > return 0; > } > > int main () > { > const __vector_quad c; > int r = foo(c); > return r; > } > > Checking during LTO WPA, verify_type only gets type "const > __vector_quad", no type "__vector_quad". > > 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. Peter