artagnon wrote: Sorry about the enormous delay: some VPlan work took priority. All the issues are fixed now, and there is no longer a computeKnownBits call: kindly let me know if you find holes. https://github.com/llvm/llvm-project/pull/148620