Change Details

Update SCEVExpander::expand() to check if the current expression is available for for different insert points the loop traverses. This ensures that existing values for LCSSA phis can be re-used; their insert point will always be in a loop exit block, even if the expression allows hoisting in earlier blocks. Alternative to D132704. Fixes #57000.

Move LCSSA fixup from ::expandCodeForImpl to ::expand(). This has the advantage that we directly preserve LCSSA nodes here instead of relying on doing so in rememberInstruction. It also ensures that we don't add the non-LCSSA-safe value to InsertedExpressions. Alternative to D132704. Fixes #57000.

Update SCEVExpanderMove LCSSA fixup from ::expand() to check if the current expression isCodeForImpl to ::expand(). This has available for for different insert points the loop traverses. This ensures that existing values for LCSSA phis can be re-used; theirthe advantage that we directly preserve LCSSA nodes here instead of insert point will always berelying on doing so in a loop exit block,rememberInstruction. even if the expressionIt also ensures that we allows hoisting in earlier blocks don't add the non-LCSSA-safe value to InsertedExpressions. Alternative to D132704. Fixes #57000.