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 56FC83858429 for ; Mon, 15 Aug 2022 08:00:10 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 56FC83858429 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 27F7hnQl018166; Mon, 15 Aug 2022 08:00:07 GMT Received: from pps.reinject (localhost [127.0.0.1]) by mx0a-001b2d01.pphosted.com (PPS) with ESMTPS id 3hyj0k0ab7-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Mon, 15 Aug 2022 08:00:07 +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 27F7hr8g018231; Mon, 15 Aug 2022 08:00:06 GMT Received: from ppma06fra.de.ibm.com (48.49.7a9f.ip4.static.sl-reverse.com [159.122.73.72]) by mx0a-001b2d01.pphosted.com (PPS) with ESMTPS id 3hyj0k0a9u-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Mon, 15 Aug 2022 08:00:06 +0000 Received: from pps.filterd (ppma06fra.de.ibm.com [127.0.0.1]) by ppma06fra.de.ibm.com (8.16.1.2/8.16.1.2) with SMTP id 27F7avkM029537; Mon, 15 Aug 2022 08:00:04 GMT Received: from b06avi18626390.portsmouth.uk.ibm.com (b06avi18626390.portsmouth.uk.ibm.com [9.149.26.192]) by ppma06fra.de.ibm.com with ESMTP id 3hx37j1aq8-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Mon, 15 Aug 2022 08:00:04 +0000 Received: from d06av25.portsmouth.uk.ibm.com (d06av25.portsmouth.uk.ibm.com [9.149.105.61]) by b06avi18626390.portsmouth.uk.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id 27F7vK0M32113008 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Mon, 15 Aug 2022 07:57:20 GMT Received: from d06av25.portsmouth.uk.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id BADBD11C04C; Mon, 15 Aug 2022 08:00:01 +0000 (GMT) Received: from d06av25.portsmouth.uk.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 62EEE11C050; Mon, 15 Aug 2022 08:00:00 +0000 (GMT) Received: from [9.197.235.82] (unknown [9.197.235.82]) by d06av25.portsmouth.uk.ibm.com (Postfix) with ESMTP; Mon, 15 Aug 2022 08:00:00 +0000 (GMT) Content-Type: multipart/mixed; boundary="------------TxEO90FlNPB08JLO4cqj060x" Message-ID: <34fbf138-b3bb-77f3-7521-561293adc6ed@linux.ibm.com> Date: Mon, 15 Aug 2022 15:59:58 +0800 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0) Gecko/20100101 Thunderbird/91.6.1 Subject: Re: [PATCH] vect: Don't allow vect_emulated_vector_p type in vectorizable_call [PR106322] Content-Language: en-US To: Richard Biener Cc: Richard Sandiford , GCC Patches References: <9fe90514-fa6c-2634-91e4-0de7e3422dbd@linux.ibm.com> From: "Kewen.Lin" In-Reply-To: <9fe90514-fa6c-2634-91e4-0de7e3422dbd@linux.ibm.com> X-TM-AS-GCONF: 00 X-Proofpoint-GUID: C-ZE7k8UZqaC34LZlOD-4C1UGFxox_CT X-Proofpoint-ORIG-GUID: XkByOtVHcKldl2Cjo-VpJ9CvkihtwqGY X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.883,Hydra:6.0.517,FMLib:17.11.122.1 definitions=2022-08-15_04,2022-08-11_01,2022-06-22_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 spamscore=0 priorityscore=1501 impostorscore=0 suspectscore=0 phishscore=0 malwarescore=0 mlxscore=0 adultscore=0 lowpriorityscore=0 clxscore=1015 mlxlogscore=909 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2207270000 definitions=main-2208150026 X-Spam-Status: No, score=-11.9 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_EF, GIT_PATCH_0, KAM_SHORT, 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 X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 15 Aug 2022 08:00:12 -0000 This is a multi-part message in MIME format. --------------TxEO90FlNPB08JLO4cqj060x Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Hi Richi, >> >> Yes, but you just missed the RC for 12.2 so please wait until after GCC 12.2 >> is released and the branch is open again. The testcase looks mightly >> complicated >> so fallout there might be well possible as well ;) I suppose it wasn't possible >> to craft a simple C testcase after the analysis? > > Thanks for the hints! Let me give it a try next week and get back to you then. > As you suggested, I constructed one C testcase which has been verified on both i386 and ppc64 (failed w/o the patch while passed w/ that). Is this attached patch ok for trunk? And also ok for all release branches after a week or so (also after frozen time)? BR, Kewen --------------TxEO90FlNPB08JLO4cqj060x Content-Type: text/plain; charset=UTF-8; name="0001-vect-Don-t-allow-vect_emulated_vector_p-type-in-vect.patch" Content-Disposition: attachment; filename*0="0001-vect-Don-t-allow-vect_emulated_vector_p-type-in-vect.pa"; filename*1="tch" Content-Transfer-Encoding: base64 RnJvbSA4YjYzYjMwMjVkOTlhMzhjYzA0MDBlYmM4ZDg4MmNiY2FmOGEyMmNjIE1vbiBTZXAg MTcgMDA6MDA6MDAgMjAwMQpGcm9tOiBLZXdlbiBMaW4gPGxpbmt3QGxpbnV4LmlibS5jb20+ CkRhdGU6IE1vbiwgMTUgQXVnIDIwMjIgMDE6MzA6NDggLTA1MDAKU3ViamVjdDogW1BBVENI XSB2ZWN0OiBEb24ndCBhbGxvdyB2ZWN0X2VtdWxhdGVkX3ZlY3Rvcl9wIHR5cGUgaW4KIHZl Y3Rvcml6YWJsZV9jYWxsIFtQUjEwNjMyMl0KCkFzIFBSMTA2MzIyIHNob3dzLCBpbiBzb21l IGNhc2VzIGZvciBzb21lIHZlY3RvciB0eXBlIHdob3NlClRZUEVfTU9ERSBpcyBhIHNjYWxh ciBpbnRlZ3JhbCBtb2RlIGluc3RlYWQgb2YgYSB2ZWN0b3IgbW9kZSwKaXQncyBwb3NzaWJs ZSB0byBvYnRhaW4gd3JvbmcgdGFyZ2V0IHN1cHBvcnQgaW5mb3JtYXRpb24gd2hlbgpxdWVy eWluZyB3aXRoIHRoZSBzY2FsYXIgaW50ZWdyYWwgbW9kZS4gIEZvciBleGFtcGxlLCBmb3Ig dGhlCnRlc3QgY2FzZSBpbiBQUjEwNjMyMiwgb24gcHBjNjQgMzJiaXQgdmVjdG9yaXplciBn ZXRzIHZlY3Rvcgp0eXBlICJ2ZWN0b3IoMikgc2hvcnQgdW5zaWduZWQgaW50IiBmb3Igc2Nh bGFyIHR5cGUgInNob3J0CnVuc2lnbmVkIGludCIsIGl0cyBtb2RlIGlzIFNJbW9kZSBpbnN0 ZWFkIG9mIFYySEltb2RlLiAgVGhlCnRhcmdldCBzdXBwb3J0IHF1ZXJ5aW5nIGNoZWNrcyB1 bXVsX2hpZ2hwYXJ0IG9wdGFiIHdpdGggU0ltb2RlCmFuZCBjb25zaWRlcnMgaXQncyBzdXBw b3J0ZWQsIHRoZW4gdmVjdG9yaXplciBmdXJ0aGVyIGdlbmVyYXRlcwouTVVMSCBJRk4gY2Fs bCBmb3IgdGhhdCB2ZWN0b3IgdHlwZS4gIFVuZm9ydHVuYXRlbHkgaXQncyB3cm9uZwp0byB1 c2UgU0ltb2RlIHN1cHBvcnQgZm9yIHRoYXQgdmVjdG9yIHR5cGUgbXVsdGlwbHkgaGlnaHBh cnQKaGVyZS4KClRoaXMgcGF0Y2ggaXMgdG8gdGVhY2ggdmVjdG9yaXphYmxlX2NhbGwgYW5h bHlzaXMgbm90IHRvIGFsbG93CnZlY3RfZW11bGF0ZWRfdmVjdG9yX3AgdHlwZSBmb3IgYm90 aCB2ZWN0eXBlX2luIGFuZCB2ZWN0eXBlX291dAphcyBSaWNoaSBzdWdnZXN0ZWQuCgoJUFIg dHJlZS1vcHRpbWl6YXRpb24vMTA2MzIyCgpnY2MvQ2hhbmdlTG9nOgoKCSogdHJlZS12ZWN0 LXN0bXRzLmNjICh2ZWN0b3JpemFibGVfY2FsbCk6IERvbid0IGFsbG93Cgl2ZWN0X2VtdWxh dGVkX3ZlY3Rvcl9wIHR5cGUgZm9yIGJvdGggdmVjdHlwZV9pbiBhbmQgdmVjdHlwZV9vdXQu CgpnY2MvdGVzdHN1aXRlL0NoYW5nZUxvZzoKCgkqIGdjYy50YXJnZXQvaTM4Ni9wcjEwNjMy Mi5jOiBOZXcgdGVzdC4KCSogZ2NjLnRhcmdldC9wb3dlcnBjL3ByMTA2MzIyLmM6IE5ldyB0 ZXN0LgotLS0KIGdjYy90ZXN0c3VpdGUvZ2NjLnRhcmdldC9pMzg2L3ByMTA2MzIyLmMgICAg fCA1MSArKysrKysrKysrKysrKysrKysrKysKIGdjYy90ZXN0c3VpdGUvZ2NjLnRhcmdldC9w b3dlcnBjL3ByMTA2MzIyLmMgfCA1MCArKysrKysrKysrKysrKysrKysrKwogZ2NjL3RyZWUt dmVjdC1zdG10cy5jYyAgICAgICAgICAgICAgICAgICAgICB8ICA4ICsrKysKIDMgZmlsZXMg Y2hhbmdlZCwgMTA5IGluc2VydGlvbnMoKykKIGNyZWF0ZSBtb2RlIDEwMDY0NCBnY2MvdGVz dHN1aXRlL2djYy50YXJnZXQvaTM4Ni9wcjEwNjMyMi5jCiBjcmVhdGUgbW9kZSAxMDA2NDQg Z2NjL3Rlc3RzdWl0ZS9nY2MudGFyZ2V0L3Bvd2VycGMvcHIxMDYzMjIuYwoKZGlmZiAtLWdp dCBhL2djYy90ZXN0c3VpdGUvZ2NjLnRhcmdldC9pMzg2L3ByMTA2MzIyLmMgYi9nY2MvdGVz dHN1aXRlL2djYy50YXJnZXQvaTM4Ni9wcjEwNjMyMi5jCm5ldyBmaWxlIG1vZGUgMTAwNjQ0 CmluZGV4IDAwMDAwMDAwMDAwLi4zMTMzM2M1ZmRjYwotLS0gL2Rldi9udWxsCisrKyBiL2dj Yy90ZXN0c3VpdGUvZ2NjLnRhcmdldC9pMzg2L3ByMTA2MzIyLmMKQEAgLTAsMCArMSw1MSBA QAorLyogeyBkZy1kbyBydW4gfSAqLworLyogeyBkZy1yZXF1aXJlLWVmZmVjdGl2ZS10YXJn ZXQgaWEzMiB9ICovCisvKiB7IGRnLW9wdGlvbnMgIi1PMiAtbXR1bmU9Z2VuZXJpYyAtbWFy Y2g9aTY4NiIgfSAqLworCisvKiBBcyBQUjEwNjMyMiwgdmVyaWZ5IHRoaXMgY2FuIGV4ZWN1 dGUgd2VsbCAobm90IGFib3J0KS4gICovCisKKyNkZWZpbmUgTiA2NAordHlwZWRlZiB1bnNp Z25lZCBzaG9ydCBpbnQgdWg7Cit0eXBlZGVmIHVuc2lnbmVkIHNob3J0IGludCB1dzsKK3Vo IGFbTl07Cit1aCBiW05dOwordWggY1tOXTsKK3VoIGVbTl07CisKK19fYXR0cmlidXRlX18g KChub2lwYSkpIHZvaWQKK2ZvbyAoKQoreworICBmb3IgKGludCBpID0gMDsgaSA8IE47IGkr KykKKyAgICBjW2ldID0gKCh1dykgYltpXSAqICh1dykgYVtpXSkgPj4gMTY7Cit9CisKK19f YXR0cmlidXRlX18gKChvcHRpbWl6ZSAoIi1PMCIpKSkgdm9pZAoraW5pdCAoKQoreworICBm b3IgKGludCBpID0gMDsgaSA8IE47IGkrKykKKyAgICB7CisgICAgICBhW2ldID0gKHVoKSAo MHg3QUJDIC0gMHg1ICogaSk7CisgICAgICBiW2ldID0gKHVoKSAoMHhFQUIgKyAweEYgKiBp KTsKKyAgICAgIGVbaV0gPSAoKHV3KSBiW2ldICogKHV3KSBhW2ldKSA+PiAxNjsKKyAgICB9 Cit9CisKK19fYXR0cmlidXRlX18gKChvcHRpbWl6ZSAoIi1PMCIpKSkgdm9pZAorY2hlY2sg KCkKK3sKKyAgZm9yIChpbnQgaSA9IDA7IGkgPCBOOyBpKyspCisgICAgeworICAgICAgaWYg KGNbaV0gIT0gZVtpXSkKKwlfX2J1aWx0aW5fYWJvcnQgKCk7CisgICAgfQorfQorCitpbnQK K21haW4gKCkKK3sKKyAgaW5pdCAoKTsKKyAgZm9vICgpOworICBjaGVjayAoKTsKKworICBy ZXR1cm4gMDsKK30KZGlmZiAtLWdpdCBhL2djYy90ZXN0c3VpdGUvZ2NjLnRhcmdldC9wb3dl cnBjL3ByMTA2MzIyLmMgYi9nY2MvdGVzdHN1aXRlL2djYy50YXJnZXQvcG93ZXJwYy9wcjEw NjMyMi5jCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAwMDAwLi5jMDUwNzJk MzQxNgotLS0gL2Rldi9udWxsCisrKyBiL2djYy90ZXN0c3VpdGUvZ2NjLnRhcmdldC9wb3dl cnBjL3ByMTA2MzIyLmMKQEAgLTAsMCArMSw1MCBAQAorLyogeyBkZy1kbyBydW4gfSAqLwor LyogeyBkZy1vcHRpb25zICItTzIgLW1kZWphZ251LWNwdT1wb3dlcjQiIH0gKi8KKworLyog QXMgUFIxMDYzMjIsIHZlcmlmeSB0aGlzIGNhbiBleGVjdXRlIHdlbGwgKG5vdCBhYm9ydCku ICAqLworCisjZGVmaW5lIE4gNjQKK3R5cGVkZWYgdW5zaWduZWQgc2hvcnQgaW50IHVoOwor dHlwZWRlZiB1bnNpZ25lZCBzaG9ydCBpbnQgdXc7Cit1aCBhW05dOwordWggYltOXTsKK3Vo IGNbTl07Cit1aCBlW05dOworCitfX2F0dHJpYnV0ZV9fICgobm9pcGEpKSB2b2lkCitmb28g KCkKK3sKKyAgZm9yIChpbnQgaSA9IDA7IGkgPCBOOyBpKyspCisgICAgY1tpXSA9ICgodXcp IGJbaV0gKiAodXcpIGFbaV0pID4+IDE2OworfQorCitfX2F0dHJpYnV0ZV9fICgob3B0aW1p emUgKCItTzAiKSkpIHZvaWQKK2luaXQgKCkKK3sKKyAgZm9yIChpbnQgaSA9IDA7IGkgPCBO OyBpKyspCisgICAgeworICAgICAgYVtpXSA9ICh1aCkgKDB4N0FCQyAtIDB4NSAqIGkpOwor ICAgICAgYltpXSA9ICh1aCkgKDB4RUFCICsgMHhGICogaSk7CisgICAgICBlW2ldID0gKCh1 dykgYltpXSAqICh1dykgYVtpXSkgPj4gMTY7CisgICAgfQorfQorCitfX2F0dHJpYnV0ZV9f ICgob3B0aW1pemUgKCItTzAiKSkpIHZvaWQKK2NoZWNrICgpCit7CisgIGZvciAoaW50IGkg PSAwOyBpIDwgTjsgaSsrKQorICAgIHsKKyAgICAgIGlmIChjW2ldICE9IGVbaV0pCisJX19i dWlsdGluX2Fib3J0ICgpOworICAgIH0KK30KKworaW50CittYWluICgpCit7CisgIGluaXQg KCk7CisgIGZvbyAoKTsKKyAgY2hlY2sgKCk7CisKKyAgcmV0dXJuIDA7Cit9CmRpZmYgLS1n aXQgYS9nY2MvdHJlZS12ZWN0LXN0bXRzLmNjIGIvZ2NjL3RyZWUtdmVjdC1zdG10cy5jYwpp bmRleCBmNTgyZDIzODk4NC4uYzlkYWIyMTdmMDUgMTAwNjQ0Ci0tLSBhL2djYy90cmVlLXZl Y3Qtc3RtdHMuY2MKKysrIGIvZ2NjL3RyZWUtdmVjdC1zdG10cy5jYwpAQCAtMzQyMyw2ICsz NDIzLDE0IEBAIHZlY3Rvcml6YWJsZV9jYWxsICh2ZWNfaW5mbyAqdmluZm8sCiAgICAgICBy ZXR1cm4gZmFsc2U7CiAgICAgfQogCisgIGlmICh2ZWN0X2VtdWxhdGVkX3ZlY3Rvcl9wICh2 ZWN0eXBlX2luKSB8fCB2ZWN0X2VtdWxhdGVkX3ZlY3Rvcl9wICh2ZWN0eXBlX291dCkpCisg IHsKKyAgICAgIGlmIChkdW1wX2VuYWJsZWRfcCAoKSkKKwlkdW1wX3ByaW50Zl9sb2MgKE1T R19NSVNTRURfT1BUSU1JWkFUSU9OLCB2ZWN0X2xvY2F0aW9uLAorCQkJICJ1c2UgZW11bGF0 ZWQgdmVjdG9yIHR5cGUgZm9yIGNhbGxcbiIpOworICAgICAgcmV0dXJuIGZhbHNlOworICB9 CisKICAgLyogRk9STk9XICovCiAgIG51bml0c19pbiA9IFRZUEVfVkVDVE9SX1NVQlBBUlRT ICh2ZWN0eXBlX2luKTsKICAgbnVuaXRzX291dCA9IFRZUEVfVkVDVE9SX1NVQlBBUlRTICh2 ZWN0eXBlX291dCk7Ci0tIAoyLjI3LjAKCg== --------------TxEO90FlNPB08JLO4cqj060x--