Because if the labels are important from a code motion standpoint,
it should be reflected in the CFG, which is what drives the dataflow
analysis used by code motion.
Well I don't see anyplace where it consults the CFG either, nor am I sure
how you'd encode the restriction in the CFG. What did you mean?