All: Loop distribution considers DDG to decide on distributing the Loops. The Loops with control statements like IF-THEN-ELSE can also be Distributed. Instead of Data Dependency Graph, the Control Dependence Graph should be considered in order to distribute the loops In presence of control Statements.
Also the presence of multiple exits in the Loop can also be considered for Loop distribution transformation. Thus the above transformation helps in the Libquantum benchmarks for SPEC 2006. There are following articles that looks interesting to me. "Loop Distribution in presence of arbitrarily control flow Ken Kennedy et.al." "Loop Distribution in presence of Multiple Exits Bor-Ming Hsieh etal." I don't think the loop distribution in presence of control flow is implemented in GCC/LLVM. I think it is feasible to consider the above for the implementation in GCC. Thanks & Regards Ajit
