We can avoid repeating the check isGuaranteedToExecute when it's already called once while checking if the alignment can be widened for the load/store being hoisted.
The function is invariant for the same instruction UI in isGuaranteedToExecute(*UI, DT, CurLoop, SafetyInfo);