>> Yes, i know. >> The attached should apply. > > It does and it doesn't help. I'll strive for a testcase. Please do. :) This sounds somewhat intriguing. However, unless it's a class of always unprofitable transformations (as the creation of new wraparounds seems to be), it's probably something that scev will need to handle.