[llvm] [LVI][ValueTracking] Take UB-implying attributes into account in `isSafeToSpeculativelyExecute` (PR #137604)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

Do we also have to worry about this in other places that use isSafeToSpeculativelyExecuteWithVariableReplaced?

E.g. in replaceInInstruction -- though that one should drop the flags instead of bailing out.

It looks like the call in InstCombineCalls is ok because FoldOpIntoSelect already uses dropUBImplyingAttrsAndMetadata. (Which only handles return attributes, but that's a separate issue.)

https://github.com/llvm/llvm-project/pull/137604