search for: new_iv_1

...bolic expression. What type would this symbolic expression have? Would it be a SCEVExpr? At the moment, we calculate at the beginning of each polly statement (a basic block) a value for each virtual induction variable of the original loops. For your example we get something like this. new_bb: new_iv_1 = add i32 c1, 0 new_iv_2 = add i32 c1, 7 new_iv_3 = add i32 c1, c2 .... I want to highlight here that the values new_iv_1, new_iv_2, new_iv_3 correspond to the number of loop iterations of the original loop. As we currently require canonical induction variables, they are equiva...

Hi Tobi, I would like to remove the SCEVRewriter code and replace it with a call to SCEVAddRec::apply (see attached a patch that adds just this function). More precisely I want to add another function called apply_map that applies a map (loop -> expr) on a given scev. This is the apply function on a multi-variate polynomial. So here is an overview of how I would like the scev code generator

...vUnknown from an SSA name and use that in the apply. > At the moment, we calculate at the beginning of each > polly statement (a basic block) a value for each virtual induction > variable of the original loops. For your example we get something like > this. > > new_bb: > new_iv_1 = add i32 c1, 0 > new_iv_2 = add i32 c1, 7 > new_iv_3 = add i32 c1, c2 > > .... > > I want to highlight here that the values new_iv_1, new_iv_2, new_iv_3 > correspond to the number of loop iterations of the original loop. As we > currently require canoni...