Phirop: Factor out the VDEF check into a new function.
The VDEF check in the phiprop pass is now in its own function, improving code readability and maintainability.
The commit factors out the VDEF check in the phiprop pass into a new function called can_move_into_conditional. This improves code readability and maintainability by isolating the check. The new function also makes it easier to skip over store statements that do not affect the loaded variable.
In Details
This commit refactors the propagate_with_phi function in tree-ssa-phiprop.cc by extracting the VDEF check into a new function, can_move_into_conditional. This change aims to improve code clarity and facilitate future modifications, such as skipping over certain store statements.
For Context
The phiprop pass in GCC optimizes code involving phi nodes. This commit refactors the code by extracting a check called 'VDEF' into its own function. VDEF probably relates to checking variable definitions. By isolating this check, the code becomes more modular and easier to understand and modify.