jmorse wrote: Both outstanding comments -> answer is that we're not shooting for marker-efficiency yet, which then means it's necessary for markers to exist on all instructions in DDD/RemoveDIs mode. https://github.com/llvm/llvm-project/pull/74497