1. For all the artificial variables created in GIMPLE (eg. x.2 for x), is there any way to extract the original var tree x from x.2 (for any pass that is not in SSA)? 2. Are these temporary variables live beyond the basic block in which they are assigned values? For example, <bb 2> : x.2 = x; ... Is there a possibility that x.2 is used in any other basic block before reassigning a value? In other words, is it safe to discard any dataflow value associated with x.2 at the end of <bb 2> ? -- With regards, Prashant Singh Rawat http://www.cse.iitb.ac.in/~prashantr