From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x436.google.com (mail-wr1-x436.google.com [IPv6:2a00:1450:4864:20::436]) by sourceware.org (Postfix) with ESMTPS id BE78338582BC for ; Wed, 12 Oct 2022 09:02:05 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org BE78338582BC Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com Received: by mail-wr1-x436.google.com with SMTP id bp11so12507617wrb.9 for ; Wed, 12 Oct 2022 02:02:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=1+LRPVbSiGWgYjhXOjguoluTiH29QtSD00hM+maaBYE=; b=HheR+bOuNBvKqoW7xbeYn519WlncJXKy2ULW13CC24BvHVC+ukTHUuD7eeZpP2zUXR nkq3qj7yxturKL1kqedj4tPHME269XY1X2sZzqta7k6WbmvxV7kG6qOr5m56LXWPcsY2 ebi4PzcRYrEp05SDfSxb0c99c3SEDiAqHaYeJD3dNYqGAorTeIpYhsfXNLLF5Eb4I+05 863hWxZtXXuJmGMw3p6CRlxB+qM1+3h8b/5RV+IlUGu/4/TXd8/hKF/PbKMtSan6sv8I vs7dnpQbrqqINPnQnpAGZHbUOdILqj3jf4BCOo33QKSYVsy/ALfCla0mI4NhbaUybKbH 9IIA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=1+LRPVbSiGWgYjhXOjguoluTiH29QtSD00hM+maaBYE=; b=cG1yZdQq9UZaKediYwg/tduq/XIuhJASzGGyNI5CjmslL/ZuAfDsXppfZAdKFGCc2+ kBjORLr5zxA6QYTolWPzbCi+sWTQebk0q3MpeUYwhOFaag4zhXqorP4Ar5DLZEi3cWSB aQtFwpLkqRCfYHSdNeQfWga1BS/wd70y/xlE3BPiv3XYS/TEdUgw+3mNvIjRcqLtRCi+ LyYAV4WfLjKcAP7s2NBJyfF5IF4hHpO5TytEE8bbS7qmQb7ZTCUEYuhaGzj7NN0HRp+d V1HnHjVPOtH85tQte5ERSu8QsbilSN2qIGlyGRJiRu9g8t4a2jNKyFSVY/fmgmwgZmvJ JF5w== X-Gm-Message-State: ACrzQf08ZsPeBtAwD7n51vSaX0vg+5H3AJD39KUe4ciR+ptiGXPys+zJ aM+VrDQz0OIAAxkrYl3Kz9Vbpw== X-Google-Smtp-Source: AMsMyM6G/X8y7rmy70mqb91qDXQ13L8nTpdkeaVbbc4D4yYiTXIR5Pw6izhHA5/ucTS0E8o/0LwOtQ== X-Received: by 2002:a05:6000:1561:b0:22f:7201:74ad with SMTP id 1-20020a056000156100b0022f720174admr12847271wrz.340.1665565324461; Wed, 12 Oct 2022 02:02:04 -0700 (PDT) Received: from fomalhaut.localnet ([2a01:e0a:8d5:d990:e654:e8ff:fe8f:2ce6]) by smtp.gmail.com with ESMTPSA id 17-20020a05600c26d100b003a5537bb2besm1189199wmv.25.2022.10.12.02.02.03 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 12 Oct 2022 02:02:03 -0700 (PDT) From: Eric Botcazou X-Google-Original-From: Eric Botcazou To: "Andre Vieira (lists)" Cc: "gcc-patches@gcc.gnu.org" , Richard Sandiford , Richard Biener Subject: Re: [RFC] Teach vectorizer to deal with bitfield reads Date: Wed, 12 Oct 2022 11:02:02 +0200 Message-ID: <5611096.DvuYhMxLoT@fomalhaut> In-Reply-To: <4a6f2350-f070-1473-63a5-3232968d3a89@arm.com> References: <4a6f2350-f070-1473-63a5-3232968d3a89@arm.com> MIME-Version: 1.0 Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii" X-Spam-Status: No, score=-5.0 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,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 List-Id: > Let me know if you believe this is a good approach? I've ran regression > tests and this hasn't broken anything so far... Small regression in Ada though, probably a missing guard somewhere: === gnat tests === Running target unix FAIL: gnat.dg/loop_optimization23.adb 3 blank line(s) in output FAIL: gnat.dg/loop_optimization23.adb (test for excess errors) UNRESOLVED: gnat.dg/loop_optimization23.adb compilation failed to produce execut able FAIL: gnat.dg/loop_optimization23_pkg.adb 3 blank line(s) in output FAIL: gnat.dg/loop_optimization23_pkg.adb (test for excess errors) In order to reproduce, configure the compiler with Ada enabled, build it, and copy $[srcdir)/gcc/testsuite/gnat.dg/loop_optimization23_pkg.ad[sb] into the build directory, then just issue: gcc/gnat1 -quiet loop_optimization23_pkg.adb -O2 -Igcc/ada/rts eric@fomalhaut:~/build/gcc/native> gcc/gnat1 -quiet loop_optimization23_pkg.adb -O2 -Igcc/ada/rts during GIMPLE pass: vect +===========================GNAT BUG DETECTED==============================+ | 13.0.0 20221012 (experimental) [master ca7f7c3f140] (x86_64-suse-linux) GCC error:| | in exact_div, at poly-int.h:2232 | | Error detected around loop_optimization23_pkg.adb:5:3 | | Compiling loop_optimization23_pkg.adb -- Eric Botcazou