The AsmPrinter has a Mangler. Use it.