> Is this just a textual/syntactic thing? If so, you should add a bit to MCAsmInfo to indicate that this is the behavior, and MCAsmPrinter should be changed to emit labels in this syntax. Thanks! This should be enough. -Yuri