Index: docs/CommandGuide/llvm-nm.rst
===================================================================
--- docs/CommandGuide/llvm-nm.rst
+++ docs/CommandGuide/llvm-nm.rst
@@ -134,9 +134,6 @@
 BUGS
 ----
 
- * :program:`llvm-nm` cannot demangle C++ mangled names, like GNU :program:`nm`
-   can.
-
  * :program:`llvm-nm` does not support the full set of arguments that GNU
    :program:`nm` does.
 
Index: test/tools/llvm-nm/X86/demangle.ll
===================================================================
--- /dev/null
+++ test/tools/llvm-nm/X86/demangle.ll
@@ -0,0 +1,28 @@
+; RUN: llc -filetype=obj -mtriple=x86_64-pc-linux -o %t.o %s
+; RUN: llvm-nm %t.o | FileCheck --check-prefix="MANGLED" %s
+; RUN: llvm-nm -C %t.o | FileCheck --check-prefix="DEMANGLED" %s
+; RUN: llvm-nm --demangle %t.o | FileCheck --check-prefix="DEMANGLED" %s
+
+; RUN: llc -filetype=obj -mtriple=x86_64-apple-darwin9 -o %t.macho %s
+; RUN: llvm-nm %t.macho | FileCheck --check-prefix="MACHO-MANGLED" %s
+; RUN: llvm-nm -C %t.macho | FileCheck --check-prefix="DEMANGLED" %s
+; RUN: llvm-nm --demangle %t.macho | FileCheck --check-prefix="DEMANGLED" %s
+
+define i32 @_Z3fooi(i32) #0 {
+entry:
+  ret i32 1
+}
+
+define float @_Z3barf(float) #0 {
+entry:
+  ret float 0.000000e+00
+}
+
+; MANGLED:       0000000000000010 T _Z3barf
+; MANGLED:       0000000000000000 T _Z3fooi
+
+; MACHO-MANGLED: 0000000000000010 T __Z3barf
+; MACHO-MANGLED: 0000000000000000 T __Z3fooi
+
+; DEMANGLED:     0000000000000010 T bar(float)
+; DEMANGLED:     0000000000000000 T foo(int)
Index: tools/llvm-nm/CMakeLists.txt
===================================================================
--- tools/llvm-nm/CMakeLists.txt
+++ tools/llvm-nm/CMakeLists.txt
@@ -3,6 +3,7 @@
   AllTargetsDescs
   AllTargetsInfos
   Core
+  Demangle
   Object
   Support
   )
Index: tools/llvm-nm/llvm-nm.cpp
===================================================================
--- tools/llvm-nm/llvm-nm.cpp
+++ tools/llvm-nm/llvm-nm.cpp
@@ -18,6 +18,7 @@
 
 #include "llvm/ADT/StringSwitch.h"
 #include "llvm/BinaryFormat/COFF.h"
+#include "llvm/Demangle/Demangle.h"
 #include "llvm/IR/Function.h"
 #include "llvm/IR/GlobalAlias.h"
 #include "llvm/IR/GlobalVariable.h"
@@ -124,6 +125,10 @@
 cl::alias NoSortp("p", cl::desc("Alias for --no-sort"), cl::aliasopt(NoSort),
                   cl::Grouping);
 
+cl::opt<bool> Demangle("demangle", cl::desc("Demangle C++ symbol names"));
+cl::alias DemangleC("C", cl::desc("Alias for --demangle"), cl::aliasopt(Demangle),
+                    cl::Grouping);
+
 cl::opt<bool> ReverseSort("reverse-sort", cl::desc("Sort in reverse order"));
 cl::alias ReverseSortr("r", cl::desc("Alias for --reverse-sort"),
                        cl::aliasopt(ReverseSort), cl::Grouping);
@@ -659,6 +664,33 @@
   outs() << Str;
 }
 
+static Optional<std::string> demangle(StringRef Name) {
+  bool TryDemangle = false;
+  bool StripLeadingChar = false;
+
+  if (Name.size() > 2 && Name.startswith("_Z")) {
+    TryDemangle = true;
+  } else if (Name.size() > 3 && Name.startswith("__Z")) {
+    // Mach-O symbols contain an extra leaving underscore which itaniumDemangle
+    // doesn't handle so we have to strip it off here.
+    TryDemangle = true;
+    StripLeadingChar = true;
+  }
+
+  if (TryDemangle) {
+    int Status;
+    const char* NameStr = Name.str().c_str() + (StripLeadingChar ? 1 : 0);
+    char *Undecorated = itaniumDemangle(NameStr, nullptr, nullptr, &Status);
+    if (Status == 0) {
+      std::string Result(Undecorated);
+      free(Undecorated);
+      return Result;
+    }
+  }
+
+  return None;
+}
+
 static bool symbolIsDefined(const NMSymbol &Sym) {
   return Sym.TypeChar != 'U' && Sym.TypeChar != 'w' && Sym.TypeChar != 'v';
 }
@@ -724,6 +756,11 @@
   for (SymbolListT::iterator I = SymbolList.begin(), E = SymbolList.end();
        I != E; ++I) {
     uint32_t SymFlags;
+    std::string Name = I->Name.str();
+    if (Demangle) {
+      if (Optional<std::string> Opt = demangle(I->Name))
+        Name = *Opt;
+    }
     if (I->Sym.getRawDataRefImpl().p)
       SymFlags = I->Sym.getFlags();
     else
@@ -747,7 +784,7 @@
     }
     if ((JustSymbolName || (UndefinedOnly && isa<MachOObjectFile>(Obj) &&
                             OutputFormat != darwin)) && OutputFormat != posix) {
-      outs() << I->Name << "\n";
+      outs() << Name << "\n";
       continue;
     }
 
@@ -789,7 +826,7 @@
       darwinPrintSymbol(Obj, I, SymbolAddrStr, printBlanks, printDashes,
                         printFormat);
     } else if (OutputFormat == posix) {
-      outs() << I->Name << " " << I->TypeChar << " ";
+      outs() << Name << " " << I->TypeChar << " ";
       if (MachO)
         outs() << SymbolAddrStr << " " << "0" /* SymbolSizeStr */ << "\n";
       else
@@ -804,7 +841,7 @@
       outs() << I->TypeChar;
       if (I->TypeChar == '-' && MachO)
         darwinPrintStab(MachO, I);
-      outs() << " " << I->Name;
+      outs() << " " << Name;
       if (I->TypeChar == 'I' && MachO) {
         outs() << " (indirect for ";
         if (I->Sym.getRawDataRefImpl().p) {
@@ -818,7 +855,7 @@
       }
       outs() << "\n";
     } else if (OutputFormat == sysv) {
-      std::string PaddedName(I->Name);
+      std::string PaddedName(Name);
       while (PaddedName.length() < 20)
         PaddedName += " ";
       outs() << PaddedName << "|" << SymbolAddrStr << "|   " << I->TypeChar