Diff Detail
Diff Detail
Event Timeline
Comment Actions
Seems reasonable. Do you have a test case, or at least an explanation for why you'd like to do this?
Comment Actions
isSafeToLoadUnconditionally is more aggressive than isDereferenceableAndAlignedPointer. Besides calling isDereferenceable it scans the context BB to see if the location was loaded/stored before. So, with this change isSafeToSpeculativelyExecute callers will also benefit from BB scan. Although, so far in practice the only place where isSafeToSpeculativelyExecute is called with a context is LICM.