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: flow-analysis and Offner's notes Date: Fri, 8 Jun 2018 17:17:55 -0700 Message-ID: <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: 7bit X-Trace: blaine.gmane.org 1528503362 16694 195.159.176.226 (9 Jun 2018 00:16:02 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 9 Jun 2018 00:16:02 +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 02:15:58 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 1fRRXy-0004FR-J2 for guile-devel@m.gmane.org; Sat, 09 Jun 2018 02:15:58 +0200 Original-Received: from localhost ([::1]:38541 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fRRa5-00014g-B5 for guile-devel@m.gmane.org; Fri, 08 Jun 2018 20:18:09 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:50113) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fRRZx-00012P-NS for guile-devel@gnu.org; Fri, 08 Jun 2018 20:18:02 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fRRZu-0001Aa-J8 for guile-devel@gnu.org; Fri, 08 Jun 2018 20:18:01 -0400 Original-Received: from mail-pf0-x230.google.com ([2607:f8b0:400e:c00::230]:36161) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fRRZu-00019c-DH for guile-devel@gnu.org; Fri, 08 Jun 2018 20:17:58 -0400 Original-Received: by mail-pf0-x230.google.com with SMTP id a12-v6so7397502pfi.3 for ; Fri, 08 Jun 2018 17:17:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:from:subject:message-id:date:user-agent:mime-version :content-transfer-encoding:content-language; bh=6pmUDCgnjiZMyvA4A6EYaKUagQNv1evwMzvprL+z9wY=; b=DlQFflDvFrvHqNvBHxYKYNbMpUO/2afTT7DzAJCFQy0RLHq3pxpPzmCiD+R3a7gpRD yJXArPRvZA6YtUeY3yXZNEO3adM+QRLUxVWURBHe8jmrbh1g5ZY5bNAXXnCKM2d0vqOY 6NX+Y0je3a4MBUgNbMURyWg5HpqFUyo3mEbkjpxUFHq4MW2cR3PjOLe1IgkPie563op2 W6tEvaXyiS0LYoUFzDGsW7FAWLG5FiKEJbFNSLC7HYjkpuI/8vO+UrOABGB9jkp21vCt yRbCtzK+7YeR2KH7ND/AdKd2UomDgnwppdsd2Rpj2NyfyK0Yi9OYjgAMOGtI9Em1uXhZ bXbg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version:content-transfer-encoding:content-language; bh=6pmUDCgnjiZMyvA4A6EYaKUagQNv1evwMzvprL+z9wY=; b=pMgTrwD/qmuf2eFe+hpQZFT2dDkCc9pBXcV7CdQl1lFB4oj2T3lSe0tA2LFJAMDXVJ 0j2BnTTDScBOo6hJqXW5WoOWlF4zRWZQUnrGp/Kux1g+54ijeKP0oAYTdzewVt2bL4WW XEIljIOeb2JkY+tMdWbU7mnbEujn1zCNzVMBKlMVoGWENjlS+DWW9hLqeW+tOUxSIjkX sR48s/mdJnAZwhN4B7o3OTFkYsxuR7Oje0pQ2rGtyXnax/QTJjk70xHx7S0jIAIQzFxd mda1wvrYghcZQvyjvfPqfnoX80sR0w75GKGDIlKYyZdMftj7vxf0r4JSQCJUeyr0jrqR TNeg== X-Gm-Message-State: APt69E1/rHw7YlyrwlRi1B5tM4+Qja+ZYXUwlmoO91jvWyd6s4BRqGr5 DaIIB9UmPkQXWFivyL7HshvRlYzN X-Google-Smtp-Source: ADUXVKJk9bVd6Zmm9qF0ifb4y+dFSyy9lzoWCbEA6C2Ee4gOJPliB5p7FUC3lZy5y0UjDlnb5WeyOQ== X-Received: by 2002:a62:f248:: with SMTP id y8-v6mr8053625pfl.217.1528503476743; Fri, 08 Jun 2018 17:17:56 -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 k10-v6sm46806657pfj.29.2018.06.08.17.17.55 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 08 Jun 2018 17:17:56 -0700 (PDT) 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::230 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:19548 Archived-At: Hi All, 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.) Ref: http://www.cs.umb.edu/~offner/files/flow_graph.pdf Matt