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 08:20:57 -0700 Message-ID: <79773674-92b2-5d0a-190b-434ef5a39554@gmail.com> References: <8755be82-8386-f778-1c24-5e2a1db5b717@gmail.com> <85a2a273-6e21-9f57-3a43-b32607a811f3@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 1528557762 29522 195.159.176.226 (9 Jun 2018 15:22:42 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 9 Jun 2018 15:22:42 +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 17:22:38 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 1fRfhO-0007Uw-1c for guile-devel@m.gmane.org; Sat, 09 Jun 2018 17:22:38 +0200 Original-Received: from localhost ([::1]:40661 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fRfjQ-0007ol-0n for guile-devel@m.gmane.org; Sat, 09 Jun 2018 11:24:44 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:36715) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fRffr-0005BF-O5 for guile-devel@gnu.org; Sat, 09 Jun 2018 11:21:04 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fRffo-0006SC-K2 for guile-devel@gnu.org; Sat, 09 Jun 2018 11:21:03 -0400 Original-Received: from mail-pl0-x232.google.com ([2607:f8b0:400e:c01::232]:39200) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fRffo-0006S0-D4 for guile-devel@gnu.org; Sat, 09 Jun 2018 11:21:00 -0400 Original-Received: by mail-pl0-x232.google.com with SMTP id f1-v6so9896207plt.6 for ; Sat, 09 Jun 2018 08:21:00 -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=QT8UEc0fESF0Md2f8CRYsw8o+oLQHo0IGZfC8BPwfiQ=; b=P5qGSZ1I78UBU/QCoPeBn7XA61DBtGfwqmIZZMZnE8cwomTaMN4iZWQdcp4u6nn+Qf vkUBVfjCyi/N7VScEUXa68F86RzxhoZvRbDK0h5nL2fClfDyDzy6Kyles0cbNcXdw0QN 5JzvhQEwo93N0dDd6sPs5t10ekGqktAhjL8LkDxov/QO9/eHKA9qA4K12GTxgYSWgLEc G9kPFADURNFe/YZypqHDkZvMBdRJnPXcPBFeNOvlYlpsJI4hTukVgHTc79AblWd0gw1J F5/WBVvCPWqttOnp38K9VHGrJR+aDBnaBHJ/ucbPNy/Hqx1zsHi+dQRva0ICkEArE3x4 qjlg== 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=QT8UEc0fESF0Md2f8CRYsw8o+oLQHo0IGZfC8BPwfiQ=; b=k8J86sxXWIHFbY7t9WZ8VVnzGCWbAyiWMmAb0eaAPBhqVP5rLwNLbIB566QE9EsJ72 MMFc27txwMKMKPZWOG4yJTVXFHi0cXBXEY35UQZ8UmXUnr+qBubzniVznw5dFgncf5J3 CRR1oGtdIC34d7SPe+O/q5w3Pgy+RHkgBRNgAFC5UHMg9fPnzs4azVQIclXQX1ligp7G H6wHki2tC3nmb41A2nSxSF9DgyXgftv6yCvicH+tR8+CFYEb+vKarR9HZ1RTOnEtIL+x hq5CNl++rfqYZIUcaVhswbX+kylA7i/YzBleIaaUTdJCnCFRvuUk7yC1YT3mm+FV+oVZ cWAw== X-Gm-Message-State: APt69E1UguAbHSk37GIJ+tdZ50gmKvcFI/hFcSna+wEQBgYX4U74JK9U yLVs4SjLzj88UCLGQnlckrFTo6MP X-Google-Smtp-Source: ADUXVKLW9wEoheCaDl5Yt1gNhTgetC/SUyplF0ostdhYBsTcc+9j7ivJa5yZisJHSMKFbOZDcZqxBg== X-Received: by 2002:a17:902:7009:: with SMTP id y9-v6mr11296633plk.217.1528557658944; Sat, 09 Jun 2018 08:20:58 -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 d72-v6sm112248281pfe.150.2018.06.09.08.20.57 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 09 Jun 2018 08:20:58 -0700 (PDT) In-Reply-To: <85a2a273-6e21-9f57-3a43-b32607a811f3@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:c01::232 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:19551 Archived-At: On 06/09/2018 06:34 AM, Matt Wette wrote: > 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? I was missing the definition of "dominates." Sorry for the interruption. Now need to think about this.