From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <SRS0=Rtmb=4S=gmail.com=claziss@sourceware.org>
Received: from mail-ej1-x635.google.com (mail-ej1-x635.google.com [IPv6:2a00:1450:4864:20::635])
	by sourceware.org (Postfix) with ESMTPS id 3F3A73858421
	for <gcc@gcc.gnu.org>; Tue, 20 Dec 2022 12:34:46 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 3F3A73858421
Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com
Received: by mail-ej1-x635.google.com with SMTP id gh17so28881795ejb.6
        for <gcc@gcc.gnu.org>; Tue, 20 Dec 2022 04:34:46 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20210112;
        h=to:subject:message-id:date:from:in-reply-to:references:mime-version
         :from:to:cc:subject:date:message-id:reply-to;
        bh=Tx8xzOd696OcYXsWU2lFkrWP84zzUvpoDI8qB1VAxSU=;
        b=YwHg8V5kDfOiee6qYjoWICeDEbdGk+E8oKxiKYCizgFaMlxAWZGGQ0FIvVYf8bjISM
         1Qq0bdFqscDAUHSFvgqphXhTWnDTa2Pj1Lr50ZV7y5ya/0rTqHESQAw+It6IbzbJYQ6q
         dVoMavszFe7US9SKMStcNruLgwNzJCUYJ/GDieHvcwl5GW3v6s9hmzgP84+jjukA/QTi
         PThoMNyTqgDDZ9sb8biVllF7vL0PT3FpLuKJJOO6qa7W3mRIEYj4/Grx0cDJiGn61Nuc
         Hx1T9GdRcyVNEgYbYMfiLGzB8slSsaYNRZ5nrNMA8av6rviV/U8tvEKd6obdJq5jhANU
         QXJQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20210112;
        h=to:subject:message-id:date:from:in-reply-to:references:mime-version
         :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to;
        bh=Tx8xzOd696OcYXsWU2lFkrWP84zzUvpoDI8qB1VAxSU=;
        b=osOVllQlSfewUjgKpaGTK83yjWvWQ3v0A/byzxEipEjf5iYEjaDtDTLSWdT6p/luj3
         ShQFJK8qJHDInOIju5G1KmU4+ldw9gOm6stLg837uQfcW1J2h4sBpZsOmU67llYJnm4p
         3Qjw5UV71yKYzZ+Xv8m7E2gyMxIV2KuDSoSbt8UchAvn517jFeKVt2id3AOarTAB/PSC
         KxXhvBNScRcK86zo3L4VEDzM5vp1TpGF6EZlCgIebJgV7gxD95lP7zDZ46VIUr1W2aJ/
         aZoNAT8LIasz+wYm+mvvChi0YmTTtoY1xHJQBE4vCA0eDFXOoJT4IPGGf62QXMZWeEdC
         TxcQ==
X-Gm-Message-State: ANoB5pnesoSKsGZwI4KMPwOLmN9vGlLJ3B1u2VU338hIJAZM7DjSVSpo
	aGHj3zaeK7bAI5CFxkWuyleEVAIIxwQJBi1sCo8fkMA4
X-Google-Smtp-Source: AA0mqf5MqUy3cOthdLlW6sPfbvCDPoX/Hfo4l+l/ol7dQi7qNtPMEn3m3Vp5JaFosChFiy8z68XsVjOQs8U7CBSrifI=
X-Received: by 2002:a17:906:4914:b0:7c0:93e6:9f18 with SMTP id
 b20-20020a170906491400b007c093e69f18mr35485613ejq.350.1671539684485; Tue, 20
 Dec 2022 04:34:44 -0800 (PST)
MIME-Version: 1.0
References: <CAL0iMy2hQUyt8vyXSvdt9RvB3WTKFc6zWJqtQDiKNuJ+ZtwEPQ@mail.gmail.com>
 <2858689.e9J7NaK4W3@fomalhaut> <CAL0iMy2P1-MrEs=4mE7-fFH5UAmE8JqeznKMtnWxyE-msT0o9g@mail.gmail.com>
 <8de37756-4b6f-48fc-e878-40a966db61b0@gmail.com> <CAL0iMy1ad0PmprQdu6BMhHdivPz--1Yq72+n02Lj-SmxhZmxQQ@mail.gmail.com>
In-Reply-To: <CAL0iMy1ad0PmprQdu6BMhHdivPz--1Yq72+n02Lj-SmxhZmxQQ@mail.gmail.com>
From: Claudiu Zissulescu Ianculescu <claziss@gmail.com>
Date: Tue, 20 Dec 2022 14:34:33 +0200
Message-ID: <CAL0iMy1doMftby_sffhjK=fwKneRgiHBQvTx4z+HcC1YUcWR2w@mail.gmail.com>
Subject: Fwd: Possible regression in DF analysis
To: gcc@gcc.gnu.org
Content-Type: text/plain; charset="UTF-8"
X-Spam-Status: No, score=-3.9 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,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: <gcc.gcc.gnu.org>

+ gcc mailing list

---------- Forwarded message ---------
From: Claudiu Zissulescu Ianculescu <claziss@gmail.com>
Date: Tue, Dec 20, 2022 at 2:31 PM
Subject: Re: Possible regression in DF analysis
To: Jeff Law <jeffreyalaw@gmail.com>


Hi Jeff,

> Or is that the core of the problem -- that life analysis is inaccurate
> or unavailable?
>
The life analysis is not accurate/missing and loop-doloop check is not
performed, leading in inserting the doloop end pattern when it
shouldn't.
The issue is how df_analyse_loop sets the df problem subset, not
including the destination BB from the exit edges of a loop. I am
looking now how loop_post_order_compute and
loop_inverted_post_order_compute can include those missing BBs too.

Thanks,
Claudiu