Prashant Singh Rawat <prashant.srawat86@xxxxxxxxx> writes: > 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)? If you are not looking at an SSA_NAME, then, no. > 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> ? They can live beyond a single basic block. E.g., they can be hoisted out of loops just like any other variable. Ian