From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Matt Wette Newsgroups: gmane.lisp.guile.devel Subject: Re: flow-analysis and Offner's notes Date: Sat, 9 Jun 2018 06:34:49 -0700 Message-ID: <85a2a273-6e21-9f57-3a43-b32607a811f3@gmail.com> References: <8755be82-8386-f778-1c24-5e2a1db5b717@gmail.com> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1528551176 28385 195.159.176.226 (9 Jun 2018 13:32:56 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 9 Jun 2018 13:32:56 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 To: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat Jun 09 15:32:52 2018 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fRdz9-0007H5-Po for guile-devel@m.gmane.org; Sat, 09 Jun 2018 15:32:52 +0200 Original-Received: from localhost ([::1]:40385 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fRe1G-0001Lu-6z for guile-devel@m.gmane.org; Sat, 09 Jun 2018 09:35:02 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:53389) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fRe1B-0001Lk-J7 for guile-devel@gnu.org; Sat, 09 Jun 2018 09:34:58 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fRe16-0008Qv-MN for guile-devel@gnu.org; Sat, 09 Jun 2018 09:34:57 -0400 Original-Received: from mail-pf0-x22b.google.com ([2607:f8b0:400e:c00::22b]:41236) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fRe16-0008Qe-FV for guile-devel@gnu.org; Sat, 09 Jun 2018 09:34:52 -0400 Original-Received: by mail-pf0-x22b.google.com with SMTP id a11-v6so7964436pff.8 for ; Sat, 09 Jun 2018 06:34:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-transfer-encoding:content-language; bh=9lVOnni6PgxM9y5bZ1P7IPB6QkinSQwywv0vEVTte3s=; b=W01iJHf0PzsQJizDdmLBbN/YvpU97AQ8S/zQwk0rZIi+OQbVSuMJ6O+ilsBfFHyDXm M3P2DPMzTNq0LxuGNnETzJFtj+sTSyPfqueKSciGcRZDvuiqP8eDdlyvHdanx7SeILLk HJ2/N5IwxcZDXilnsK+qD2nAElR9Glj2XVNlzWCc/WayFriaOxGHoRcHkIGfkYPeWhtw 1Ag8/lh0cTWbKdHaOiq7ZxClzVWvwMi1iFzdIkSo1iNmFJUFvhI/5Ot/bacdSbCnO2Qm 7fcne4gv2KzbvO4DKqLBT6A9v4Hh9DIiTmNpWlqH6ftVA/0VttUCpWsiS/ZL4NGTTh09 W9dw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding :content-language; bh=9lVOnni6PgxM9y5bZ1P7IPB6QkinSQwywv0vEVTte3s=; b=OiQybI6TKDkhXr8abPs5mNSMMGWeUxwqUoZ1frdf3+hUueZOOow+NEcmM7YJzkMqsn 3QRAfdSKhB4has7A5gp8gSGamFLUQfcCh6pPwsy8Z+wRUafRjmccoihAuRc1Llj6BUkA vrPzt1cwskKGRN2zIrf+CSf/QwecTZZ++96tz1Z3fnz4ane8HPnapWbC4utuyZH4ufxO ohnf+cy0L7NvmPC3jH50XZTgwWk6448Q8zs/Dbv9mRXDupDLLwgL4otJiPz2EmKHynZ8 Nj3P7nN5bml1xf5pUZ5ZUFYgMuf2fFobM74xcPkqmlY3g6fEJwT+HniabNjJtFQabW7z Felg== X-Gm-Message-State: APt69E1l+PAEmBvPI2eXbE1VG8phsd9wPNsX+6loucuBXHKLAnoq3PAE eSZQ1/Xy/3B8gSXZMoBnbPuKiHNc X-Google-Smtp-Source: ADUXVKLFf17j7E4c24Vv40a/EFXdoIJpoSmP2PfmTUiYB5ZR4Y7gyqIfeykudYNuts3iuFgTYsgpGA== X-Received: by 2002:a65:4a42:: with SMTP id a2-v6mr8880933pgu.367.1528551290966; Sat, 09 Jun 2018 06:34:50 -0700 (PDT) Original-Received: from [192.168.2.183] (216-165-229-229.championbroadband.com. [216.165.229.229]) by smtp.gmail.com with ESMTPSA id x3-v6sm54941785pfm.2.2018.06.09.06.34.49 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 09 Jun 2018 06:34:50 -0700 (PDT) In-Reply-To: <8755be82-8386-f778-1c24-5e2a1db5b717@gmail.com> Content-Language: en-US X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:400e:c00::22b X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: "guile-devel" Xref: news.gmane.org gmane.lisp.guile.devel:19550 Archived-At: On 06/08/2018 05:17 PM, Matt Wette wrote: > Andy Windo's blog on flow-analysis in Guile references Offner's "Notes > on Graph > Algorithms Used in Optimizing Compilers"?  Anyone read this > manuscript?  Lemma > 2.2 says, in a flow-graph, if x>>z and y>>z, then either x>>y or > y>>x.  The proof > uses the argument that the path from s, the start, to z has to include > both x and y. > I'm not seeing that.  Consider a graph s->x, s->y, x->z and y->z. What > am I missing? > (another example, in figure 2.1 C>>K and B>>K but C and B are not > ordered.) This example does not not qualify as C and B do not dominate K. C dominates K iff every path from the start S to K goes through C.