david-arm wrote: If I understand correctly @hassnaaHamdi you did try adding the vplan add (replacement for 'or disjoint') to the vplan cost model via `VPInstruction::computeCost`, but even then you still see the assert? https://github.com/llvm/llvm-project/pull/125094