[llvm] [SelectionDAG]: Have isKnownNeverZero treat SRL like division if all else fails (PR #89523)

[Simon Pilgrim via llvm-commits]

https://github.com/RKSimon commented:

Please can you try to more closely match the ValueTracking.cpp implementation which tries to do the same thing - I don't think you need to bother adding a isNonZeroShift helper but you should be trying to use the same methodology.

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