Expand description
Physical MIR memory effects shared by optimization and allocation.
A pseudo instruction is not automatically an unknown SimState clobber. Sparse operations carry the concrete metadata ranges they mutate; keeping those ranges here lets every MemorySSA consumer use the same alias model.