https://github.com/artagnon commented: Hm, curious why this can't be integrated into VPCSEDenseMapInfo? We can easily check for aliasing, similarly to how we handle memops in licm? https://github.com/llvm/llvm-project/pull/212543