[PATCH] D16492: [SCEV] Consider delinearization pattern with extension with identity factor
Tobias Grosser via llvm-commits
llvm-commits at lists.llvm.org
Tue Jan 26 01:10:10 PST 2016
grosser accepted this revision.
grosser added a comment.
This revision is now accepted and ready to land.
this patch is clearly correct (in terms of it does not mis-compiling anything) and also beneficial. To be a little bit more sure we do not accidentally regress on test cases that have an sext further outside, I would probably match for the expression sext(SCEVUnknown), specifically. This seems to be the precise pattern we are looking for.
I also tested your patch on 3D arrays/loops and due to SCEV hoisting these checks out the simple matching your propose does not work. It might be interesting to look into handling sext expressions for 3D arrays as well.
More information about the llvm-commits