nikic wrote: Yeah, I expect that's the problem. I think it would be a good idea to support scalable types in VNCoercion for the simple case at least (which is the load and store having the same type size). https://github.com/llvm/llvm-project/pull/123908