search for: scevzeroextend

Displaying 1 result from an estimated 1 matches for "scevzeroextend".

2015 Aug 17
2
RFC for a design change in LoopStrengthReduce / ScalarEvolution
...T" as a *distinct computation* within SCEV -- a SCEV expression of the form "Zext T" (any SCEV expression, actually) is always maximally simplified on construction. This means I cannot "factor out" a Zext from a base register (say) and force SCEV to maintain it as a "SCEVZeroExtend T"; SCEV is free to re-simplify "SCEVZeroExtend T" to something equivalent on construction. This is not just an issue in theory -- factoring out a 'SCEVZeroExtend' from an expression 'E' requires us to prove that 'E' == 'SCEVZeroExtend T'. SCEV can u...