[llvm] [VectorCombine] Try to scalarize vector loads feeding bitcast instructions. (PR #164682)

[Florian Hahn via llvm-commits]

https://github.com/fhahn commented:

Could you also add an Alive2 proof to this one?

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