Hello, > An important missing piece is correction of exported information for > loop unrolling. As far as I can tell, for loop unrolled by factor N we > need to clone MEM_ORIG_EXPRs and datarefs for newly-created MEMs, create > no-dependence DDRs for those pairs, for which original DDR was > no-dependence, and for DDRs with recorded distance vectors we will be > able to recompute new distances from old distance(D) and N (but only if > N % D == 0 || D % N == 0). Is that right, Zdenek?
yes, that looks correct to me. >Where should I start to implement this? In loop-unroll.c, look for apply_opt_in_copies; that is used to post-process the unrolled loop body. Zdenek
