Re: [naoya@matsulab.is.titech.ac.jp: about the tech report on Jimple]

[Naoya Maruyama <naoya@matsulab.is.titech.ac.jp>]

Hi,

Thanks Etienne. And I have one more question.

I'm interested in some intermediate language of bytecode
that satisfies SSA form. The figure 9 in the paper 
mentioned below shows that the code of the step 4 of
translating to Jimple actually satisfies SSA form.
But in the final generated code (i.e., figure 10),
it doesn't have the property of SSA form. So, is it
possible that we stop the translation at the step 4 
(i.e., omit the compaction), and manipulate the generated
code by the normal Soot API?

Regards,

Naoya Maruyama
Tokyo Institute of Technology

At Mon, 1 Oct 2001 11:35:10 -0400,
egagnon@j-meg.com wrote:
> 
> Naoya, I am forwarding your question to the soot mailing-list which is
> the appropriate forum to ask such questions.
> 
> Etienne
> ----- Forwarded message from Naoya Maruyama <naoya@matsulab.is.titech.ac.jp> -----
> 
> From: Naoya Maruyama <naoya@matsulab.is.titech.ac.jp>
> To: gagnon@sable.mcgill.ca
> Subject: about the tech report on Jimple
> 
> Hi,
> 
> I read the technical report, "Jimple: Simplifying Java 
> Bytecode for Analyses and Transformations", and I'm 
> wondering whether the problems written at footnote 3 in 
> page 11 have already fixed or not.
> 
> Regards,
> 
> Naoya Maruyama
> Tokyo Institute of Technology 
> 
> ----- End forwarded message -----
> 
> -- 
> Etienne M. Gagnon                                    egagnon@j-meg.com
> SableVM:                                       http://www.sablevm.org/
> SableCC:                                       http://www.sablecc.org/