From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x334.google.com (mail-wm1-x334.google.com [IPv6:2a00:1450:4864:20::334]) by sourceware.org (Postfix) with ESMTPS id 5CA2D385843E for ; Fri, 17 Dec 2021 10:05:50 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 5CA2D385843E Received: by mail-wm1-x334.google.com with SMTP id g191-20020a1c9dc8000000b0032fbf912885so1222998wme.4 for ; Fri, 17 Dec 2021 02:05:50 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=MP5bLlkPjfXMEq120T0AevgN1nHWZwaDqt/OZiCCeEA=; b=Ru8werhm+f6u68+3GFw9+TH05AZFjR1KPViL1PBXyNtxsObBFozyb+ff3rrWeHlXr1 WJ/p8MZyML/SG2Kf00rpFL2bfrBCa7mu569n56C+ZnhX74YV/O+e7KOqZIHc0CPQbfs/ 75LANBx7dy2wBWgk+5dmf0WI3/4Vou4UVtaPnwxJOBEil+i7go2OKY/vQEyaWt+xqLuw 4S8jxviJzJOOzth21qUu/7RJOdbmAC+EbBXpAj2Q8CGwO9HfK3Jcmq2WRadbO+Jnq3/6 G4JxWAmCrQryj52YH1nXh29XPWEUV2B2JayFq/Llm8XPl/ekx2UdzH2REX7oJIvmqnTK 5r2g== X-Gm-Message-State: AOAM532NVULo+igH8xnzsXunLCtPpR9vV+Xj1ZjkDs+9IwF0YtCqNmqk RbFyQ8/G3BO1zbBgV3NFQcwewLPcO4bjAIdPYOaUfWZhS64= X-Google-Smtp-Source: ABdhPJzPxdPpw1XaVSbA1kTuQOEi/k3LGodjF/mFJat0nga+vzSieXYfHw/gEYIFz3iIwTZjkTlZEcy0j+s49fPu1Fg= X-Received: by 2002:a05:600c:294:: with SMTP id 20mr1912754wmk.7.1639735548451; Fri, 17 Dec 2021 02:05:48 -0800 (PST) MIME-Version: 1.0 From: Prathamesh Kulkarni Date: Fri, 17 Dec 2021 15:35:12 +0530 Message-ID: Subject: [2/2] PR96463 -- changes to type checking vec_perm_expr in middle end To: gcc Patches , Richard Sandiford , Richard Biener Content-Type: multipart/mixed; boundary="000000000000e443da05d354aeac" X-Spam-Status: No, score=-9.3 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) 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: Fri, 17 Dec 2021 10:05:54 -0000 --000000000000e443da05d354aeac Content-Type: text/plain; charset="UTF-8" Hi, The attached patch rearranges order of type-check for vec_perm_expr and relaxes type checking for lhs = vec_perm_expr when: rhs1 == rhs2, lhs is variable length vector, rhs1 is fixed length vector, TREE_TYPE (lhs) == TREE_TYPE (rhs1) I am not sure tho if this check is correct ? My intent was to capture case when vec_perm_expr is used to "extend" fixed length vector to it's VLA equivalent. Thanks, Prathamesh --000000000000e443da05d354aeac Content-Type: text/plain; charset="US-ASCII"; name="pr96463-3-midend.txt" Content-Disposition: attachment; filename="pr96463-3-midend.txt" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_kxa7rovu0 ZGlmZiAtLWdpdCBhL2djYy90cmVlLWNmZy5jIGIvZ2NjL3RyZWUtY2ZnLmMKaW5kZXggNjcyZTM4 NGVmMDkuLjlmOTE4NzhjNDY4IDEwMDY0NAotLS0gYS9nY2MvdHJlZS1jZmcuYworKysgYi9nY2Mv dHJlZS1jZmcuYwpAQCAtNDMyNSwxMCArNDMyNSwxMSBAQCB2ZXJpZnlfZ2ltcGxlX2Fzc2lnbl90 ZXJuYXJ5IChnYXNzaWduICpzdG10KQogICAgICAgYnJlYWs7CiAKICAgICBjYXNlIFZFQ19QRVJN X0VYUFI6Ci0gICAgICBpZiAoIXVzZWxlc3NfdHlwZV9jb252ZXJzaW9uX3AgKGxoc190eXBlLCBy aHMxX3R5cGUpCi0JICB8fCAhdXNlbGVzc190eXBlX2NvbnZlcnNpb25fcCAobGhzX3R5cGUsIHJo czJfdHlwZSkpCisgICAgICBpZiAoVFJFRV9DT0RFIChyaHMxX3R5cGUpICE9IFZFQ1RPUl9UWVBF CisJICB8fCBUUkVFX0NPREUgKHJoczJfdHlwZSkgIT0gVkVDVE9SX1RZUEUKKwkgIHx8IFRSRUVf Q09ERSAocmhzM190eXBlKSAhPSBWRUNUT1JfVFlQRSkKIAl7Ci0JICBlcnJvciAoInR5cGUgbWlz bWF0Y2ggaW4gJXFzIiwgY29kZV9uYW1lKTsKKwkgIGVycm9yICgidmVjdG9yIHR5cGVzIGV4cGVj dGVkIGluICVxcyIsIGNvZGVfbmFtZSk7CiAJICBkZWJ1Z19nZW5lcmljX2V4cHIgKGxoc190eXBl KTsKIAkgIGRlYnVnX2dlbmVyaWNfZXhwciAocmhzMV90eXBlKTsKIAkgIGRlYnVnX2dlbmVyaWNf ZXhwciAocmhzMl90eXBlKTsKQEAgLTQzMzYsMTEgKzQzMzcsMTQgQEAgdmVyaWZ5X2dpbXBsZV9h c3NpZ25fdGVybmFyeSAoZ2Fzc2lnbiAqc3RtdCkKIAkgIHJldHVybiB0cnVlOwogCX0KIAotICAg ICAgaWYgKFRSRUVfQ09ERSAocmhzMV90eXBlKSAhPSBWRUNUT1JfVFlQRQotCSAgfHwgVFJFRV9D T0RFIChyaHMyX3R5cGUpICE9IFZFQ1RPUl9UWVBFCi0JICB8fCBUUkVFX0NPREUgKHJoczNfdHlw ZSkgIT0gVkVDVE9SX1RZUEUpCisgICAgICBpZiAoVFJFRV9DT0RFIChUUkVFX1RZUEUgKHJoczNf dHlwZSkpICE9IElOVEVHRVJfVFlQRQorCSAgfHwgKFRSRUVfQ09ERSAocmhzMykgIT0gVkVDVE9S X0NTVAorCSAgICAgICYmIChHRVRfTU9ERV9CSVRTSVpFIChTQ0FMQVJfSU5UX1RZUEVfTU9ERQor CQkJCSAgICAoVFJFRV9UWVBFIChyaHMzX3R5cGUpKSkKKwkJICAhPSBHRVRfTU9ERV9CSVRTSVpF IChTQ0FMQVJfVFlQRV9NT0RFCisJCQkJICAgICAgIChUUkVFX1RZUEUgKHJoczFfdHlwZSkpKSkp KQogCXsKLQkgIGVycm9yICgidmVjdG9yIHR5cGVzIGV4cGVjdGVkIGluICVxcyIsIGNvZGVfbmFt ZSk7CisJICBlcnJvciAoImludmFsaWQgbWFzayB0eXBlIGluICVxcyIsIGNvZGVfbmFtZSk7CiAJ ICBkZWJ1Z19nZW5lcmljX2V4cHIgKGxoc190eXBlKTsKIAkgIGRlYnVnX2dlbmVyaWNfZXhwciAo cmhzMV90eXBlKTsKIAkgIGRlYnVnX2dlbmVyaWNfZXhwciAocmhzMl90eXBlKTsKQEAgLTQzNDgs MTUgKzQzNTIsMTggQEAgdmVyaWZ5X2dpbXBsZV9hc3NpZ25fdGVybmFyeSAoZ2Fzc2lnbiAqc3Rt dCkKIAkgIHJldHVybiB0cnVlOwogCX0KIAotICAgICAgaWYgKG1heWJlX25lIChUWVBFX1ZFQ1RP Ul9TVUJQQVJUUyAocmhzMV90eXBlKSwKLQkJICAgIFRZUEVfVkVDVE9SX1NVQlBBUlRTIChyaHMy X3R5cGUpKQotCSAgfHwgbWF5YmVfbmUgKFRZUEVfVkVDVE9SX1NVQlBBUlRTIChyaHMyX3R5cGUp LAotCQkgICAgICAgVFlQRV9WRUNUT1JfU1VCUEFSVFMgKHJoczNfdHlwZSkpCi0JICB8fCBtYXli ZV9uZSAoVFlQRV9WRUNUT1JfU1VCUEFSVFMgKHJoczNfdHlwZSksCi0JCSAgICAgICBUWVBFX1ZF Q1RPUl9TVUJQQVJUUyAobGhzX3R5cGUpKSkKKyAgICAgIC8qIEFjY2VwdCBsaHMgPSB2ZWNfcGVy bV9leHByPHYsIHYsIG1hc2s+IGlmIGxocyBpcyB2ZWN0b3IgbGVuZ3RoIGFnbm9zdGljLAorCSBh bmQgaGFzIHNhbWUgZWxlbWVudCB0eXBlIGFzIHYuICAqLworICAgICAgaWYgKCFUWVBFX1ZFQ1RP Ul9TVUJQQVJUUyAobGhzX3R5cGUpLmlzX2NvbnN0YW50ICgpCisJICAmJiBvcGVyYW5kX2VxdWFs X3AgKHJoczEsIHJoczIsIDApCisJICAmJiBUWVBFX1ZFQ1RPUl9TVUJQQVJUUyAocmhzMV90eXBl KS5pc19jb25zdGFudCAoKQorCSAgJiYgVFJFRV9UWVBFIChsaHNfdHlwZSkgPT0gVFJFRV9UWVBF IChyaHMxX3R5cGUpKSAKKwlyZXR1cm4gZmFsc2U7CisKKyAgICAgIGlmICghdXNlbGVzc190eXBl X2NvbnZlcnNpb25fcCAobGhzX3R5cGUsIHJoczFfdHlwZSkKKwkgIHx8ICF1c2VsZXNzX3R5cGVf Y29udmVyc2lvbl9wIChsaHNfdHlwZSwgcmhzMl90eXBlKSkKIAl7Ci0JICBlcnJvciAoInZlY3Rv cnMgd2l0aCBkaWZmZXJlbnQgZWxlbWVudCBudW1iZXIgZm91bmQgaW4gJXFzIiwKLQkJIGNvZGVf bmFtZSk7CisJICBlcnJvciAoInR5cGUgbWlzbWF0Y2ggaW4gJXFzIiwgY29kZV9uYW1lKTsKIAkg IGRlYnVnX2dlbmVyaWNfZXhwciAobGhzX3R5cGUpOwogCSAgZGVidWdfZ2VuZXJpY19leHByIChy aHMxX3R5cGUpOwogCSAgZGVidWdfZ2VuZXJpY19leHByIChyaHMyX3R5cGUpOwpAQCAtNDM2NCwy MSArNDM3MSwyMSBAQCB2ZXJpZnlfZ2ltcGxlX2Fzc2lnbl90ZXJuYXJ5IChnYXNzaWduICpzdG10 KQogCSAgcmV0dXJuIHRydWU7CiAJfQogCi0gICAgICBpZiAoVFJFRV9DT0RFIChUUkVFX1RZUEUg KHJoczNfdHlwZSkpICE9IElOVEVHRVJfVFlQRQotCSAgfHwgKFRSRUVfQ09ERSAocmhzMykgIT0g VkVDVE9SX0NTVAotCSAgICAgICYmIChHRVRfTU9ERV9CSVRTSVpFIChTQ0FMQVJfSU5UX1RZUEVf TU9ERQotCQkJCSAgICAoVFJFRV9UWVBFIChyaHMzX3R5cGUpKSkKLQkJICAhPSBHRVRfTU9ERV9C SVRTSVpFIChTQ0FMQVJfVFlQRV9NT0RFCi0JCQkJICAgICAgIChUUkVFX1RZUEUgKHJoczFfdHlw ZSkpKSkpKQorICAgICAgaWYgKG1heWJlX25lIChUWVBFX1ZFQ1RPUl9TVUJQQVJUUyAocmhzMV90 eXBlKSwKKwkJICAgIFRZUEVfVkVDVE9SX1NVQlBBUlRTIChyaHMyX3R5cGUpKQorCSAgfHwgbWF5 YmVfbmUgKFRZUEVfVkVDVE9SX1NVQlBBUlRTIChyaHMyX3R5cGUpLAorCQkgICAgICAgVFlQRV9W RUNUT1JfU1VCUEFSVFMgKHJoczNfdHlwZSkpCisJICB8fCBtYXliZV9uZSAoVFlQRV9WRUNUT1Jf U1VCUEFSVFMgKHJoczNfdHlwZSksCisJCSAgICAgICBUWVBFX1ZFQ1RPUl9TVUJQQVJUUyAobGhz X3R5cGUpKSkKIAl7Ci0JICBlcnJvciAoImludmFsaWQgbWFzayB0eXBlIGluICVxcyIsIGNvZGVf bmFtZSk7CisJICBlcnJvciAoInZlY3RvcnMgd2l0aCBkaWZmZXJlbnQgZWxlbWVudCBudW1iZXIg Zm91bmQgaW4gJXFzIiwKKwkJIGNvZGVfbmFtZSk7CiAJICBkZWJ1Z19nZW5lcmljX2V4cHIgKGxo c190eXBlKTsKIAkgIGRlYnVnX2dlbmVyaWNfZXhwciAocmhzMV90eXBlKTsKIAkgIGRlYnVnX2dl bmVyaWNfZXhwciAocmhzMl90eXBlKTsKIAkgIGRlYnVnX2dlbmVyaWNfZXhwciAocmhzM190eXBl KTsKIAkgIHJldHVybiB0cnVlOwogCX0KLQogICAgICAgcmV0dXJuIGZhbHNlOwogCiAgICAgY2Fz ZSBTQURfRVhQUjoK --000000000000e443da05d354aeac--