[Soot-list] Which command-line options in order to generate new intermediate variable for each statement in Jimple?

[Cristina Ilie]

Hello,

I would like that Soot generates me a Jimple code where the intermediate variables don't repeat. 

For example for the nest Java code [1] Soot generates me now the [2] Jimple. I wish that Soot
to generate me a new variable when it performs the add statement: "$d0 = $d0 + $d1;";
Instead of this statement it will insert a new variable "$d3" and it will generate the following:
"$d3 = $d0 + $d1". So the final code will be [3].

I suppose there is an option that should be set or unset for the Soot. Can you say me which is?
I tried to unset the "Jimple Local Aggregator" from "Jimple Body Creation" but no positive 

results...


Cristina



[1]
z = Math.sqrt(Math.pow(x, 2)+Math.pow(x, 3));

[2]
x := @parameter0: double;
$d0 = staticinvoke <java.lang.Math: double pow(double,double)>(x, 2.0);
$d1 = staticinvoke <java.lang.Math: double pow(double,double)>(x, 3.0);
$d0 = $d0 + $d1;
z = staticinvoke <java.lang.Math: double sqrt(double)>($d0);

[3]
x := @parameter0: double;
$d0 = staticinvoke <java.lang.Math: double pow(double,double)>(x, 2.0);
$d1 = staticinvoke <java.lang.Math: double pow(double,double)>(x, 3.0);
$d3 = $d0 + $d1;
z = staticinvoke <java.lang.Math: double sqrt(double)>($d3);
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120722/12174c32/attachment.html