From: Chris Wilson <cwilson@CS.Stanford.EDU>
Date: Thu, 19 Dec 96 19:51:10 PST
Subject: Re: HIGH -> LOW -> HIGH SUIF conversion.
Message-Id: <CMM.0.90.4.851053870.cwilson@Xenon.Stanford.EDU>
> Hello everyone,
>
> Has anyone tried to extract HIGH_SUIF from LOW_SUIF
> (which was previously in HIGH SUIF) ?
>
> It seems to be possible to annotate HIGH level information
> from HIGH SUIF before dismantling higher structure (FOR/IF/LOOP...)
> The HIGH SUIF can then be retrieved from annotated-LOW SUIF.
>
> Has anyone tried this ?
>
>
> Reason why i am looking at this :
>
> For Data Flow Analysis, Basic Block creation and Control Flow Graph
> creation is easier to handle and manipulate on LOW SUIF since you get
> lists of instructions to work with.
> But You don't want to lose your HIGH SUIF structure for doing flow
> analysis.
>
> thanx in advance for any thoughts/pointers/experiences
> in this matter.
>
> Abhay
The ``structure'' program in basesuif implements a simple form of this
transformation. If you run ``porky -ucf-opt'', then ``structure'',
then ``porky -find-fors'', it will construct structured control flow
out of unstructured control flow in many cases. There are certainly
more agressive algorithms that could be used to handle more cases.
--Chris
From: Abhay Kanhere <ask@csa.iisc.ernet.in>
Date: Fri, 20 Dec 1996 09:04:39 +0500 (GMT+0500)
Subject: HIGH -> LOW -> HIGH SUIF conversion.
Message-Id: <199612200404.JAA00431@niyama.csa.iisc.ernet.in>
Hello everyone,
Has anyone tried to extract HIGH_SUIF from LOW_SUIF
(which was previously in HIGH SUIF) ?
It seems to be possible to annotate HIGH level information
from HIGH SUIF before dismantling higher structure (FOR/IF/LOOP...)
The HIGH SUIF can then be retrieved from annotated-LOW SUIF.
Has anyone tried this ?
Reason why i am looking at this :
For Data Flow Analysis, Basic Block creation and Control Flow Graph
creation is easier to handle and manipulate on LOW SUIF since you get
lists of instructions to work with.
But You don't want to lose your HIGH SUIF structure for doing flow
analysis.
thanx in advance for any thoughts/pointers/experiences
in this matter.
Abhay
--
----------------------------------------------------------------------
Abhay Kanhere research student Indian Institute of Science
www: http://www.csa.iisc.ernet.in/~ask email: ask@csa.iisc.ernet.in