Index: ELF/Config.h
===================================================================
--- ELF/Config.h
+++ ELF/Config.h
@@ -64,6 +64,7 @@
   std::vector<llvm::StringRef> SearchPaths;
   std::vector<llvm::StringRef> Undefined;
   std::vector<llvm::StringRef> VersionScriptGlobals;
+  std::vector<llvm::StringRef> TraceSymbolList;
   std::vector<uint8_t> BuildIdVector;
   bool AllowMultipleDefinition;
   bool AsNeeded = false;
Index: ELF/Driver.cpp
===================================================================
--- ELF/Driver.cpp
+++ ELF/Driver.cpp
@@ -417,6 +417,12 @@
     if (Optional<MemoryBufferRef> Buffer = readFile(Arg->getValue()))
       parseVersionScript(*Buffer);
   }
+  for (auto *Arg : Args.filtered(OPT_y)) {
+    Config->TraceSymbolList.push_back(Arg->getValue());
+  }
+  for (auto *Arg : Args.filtered(OPT_trace_symbol)) {
+    Config->TraceSymbolList.push_back(Arg->getValue());
+  }
 }
 
 void LinkerDriver::createFiles(opt::InputArgList &Args) {
Index: ELF/Error.h
===================================================================
--- ELF/Error.h
+++ ELF/Error.h
@@ -52,6 +52,8 @@
   fatal(EO.getError().message(), Prefix);
 }
 
+void info(const Twine &Msg);
+
 } // namespace elf
 } // namespace lld
 
Index: ELF/Error.cpp
===================================================================
--- ELF/Error.cpp
+++ ELF/Error.cpp
@@ -50,5 +50,9 @@
     fatal(EC.message());
 }
 
+void info(const Twine &Msg) {
+  llvm::outs() << Msg << "\n"; 
+}
+
 } // namespace elf
 } // namespace lld
Index: ELF/InputFiles.h
===================================================================
--- ELF/InputFiles.h
+++ ELF/InputFiles.h
@@ -51,6 +51,8 @@
   StringRef getName() const { return MB.getBufferIdentifier(); }
   MemoryBufferRef MB;
 
+  void notify(StringRef &Name, bool isDefined);
+
   // Filename of .a which contained this file. If this file was
   // not in an archive file, it is the empty string. We use this
   // string for creating error messages.
Index: ELF/InputFiles.cpp
===================================================================
--- ELF/InputFiles.cpp
+++ ELF/InputFiles.cpp
@@ -313,6 +313,28 @@
   return new (IAlloc.Allocate()) InputSection<ELFT>(this, &Sec);
 }
 
+// print the module names which references and defines the 
+// notified symbols provided through -y or trace-symbol option
+void InputFile::notify(StringRef &Name, bool isDefined) {
+  if (!Config->TraceSymbolList.empty()) {
+    for (StringRef S : Config->TraceSymbolList) {
+      if (!S.compare(Name)) {
+        std::string Msg;
+        if (!ArchiveName.empty())
+          Msg += ArchiveName.str() + "(" + this->getName().str() + ")";
+        else
+          Msg += this->getName().str();
+        if (isDefined)
+          Msg += ": definition of " + Name.str();
+        else
+          Msg += ": reference to " + Name.str();
+        info(Msg);
+        break;
+      }
+    }
+  }
+}
+
 template <class ELFT> void elf::ObjectFile<ELFT>::initializeSymbols() {
   this->initStringTable();
   Elf_Sym_Range Syms = this->getElfSymbols(false);
@@ -350,11 +372,13 @@
 
   switch (Sym->st_shndx) {
   case SHN_UNDEF:
+    InputFile::notify(Name, false);
     return elf::Symtab<ELFT>::X
         ->addUndefined(Name, Binding, Sym->st_other, Sym->getType(),
                        /*CanOmitFromDynSym*/ false, this)
         ->body();
   case SHN_COMMON:
+    InputFile::notify(Name, true);
     return elf::Symtab<ELFT>::X
         ->addCommon(Name, Sym->st_size, Sym->st_value, Binding, Sym->st_other,
                     Sym->getType(), this)
@@ -525,10 +549,14 @@
 
     StringRef Name = check(Sym.getName(this->StringTable));
     if (Sym.isUndefined()) {
+      InputFile::notify(Name, false);
       Undefs.push_back(Name);
       continue;
     }
 
+    if (Sym.isDefined())
+       InputFile::notify(Name, true);
+
     if (Versym) {
       // Ignore local symbols and non-default versions.
       if (VersymIndex == VER_NDX_LOCAL || (VersymIndex & VERSYM_HIDDEN))
Index: ELF/Options.td
===================================================================
--- ELF/Options.td
+++ ELF/Options.td
@@ -122,6 +122,12 @@
 def z : JoinedOrSeparate<["-"], "z">, MetaVarName<"<option>">,
   HelpText<"Linker option extensions">;
 
+def y : JoinedOrSeparate<["-"], "y">,
+  HelpText<"Trace module names which define or reference symbols ">;
+
+def trace_symbol : Joined<["--", "-"], "trace-symbol=">,
+  HelpText<"Trace module names which define or reference symbols ">;
+
 // Aliases
 def alias_Bdynamic_call_shared: Flag<["-"], "call_shared">, Alias<Bdynamic>;
 def alias_Bdynamic_dy: Flag<["-"], "dy">, Alias<Bdynamic>;
Index: ELF/SymbolTable.cpp
===================================================================
--- ELF/SymbolTable.cpp
+++ ELF/SymbolTable.cpp
@@ -345,6 +345,8 @@
              /*CanOmitFromDynSym*/ false, /*IsUsedInRegularObj*/ true,
              Section ? Section->getFile() : nullptr);
   int Cmp = compareDefinedNonCommon(S, WasInserted, Sym.getBinding());
+  if (Cmp >= 0)
+    cast<InputFile>(Section->getFile())->notify(Name, true);
   if (Cmp > 0)
     replaceBody<DefinedRegular<ELFT>>(S, Name, Sym, Section);
   else if (Cmp == 0)
Index: test/ELF/Inputs/trace-symbols-foo-global.s
===================================================================
--- test/ELF/Inputs/trace-symbols-foo-global.s
+++ test/ELF/Inputs/trace-symbols-foo-global.s
@@ -0,0 +1,22 @@
+	.file	"trace-symbols-bar.c"
+	.comm	common,4,4
+	.text
+	.globl	foo
+	.type	foo, @function
+foo:
+.LFB0:
+	.cfi_startproc
+	pushq	%rbp
+	.cfi_def_cfa_offset 16
+	.cfi_offset 6, -16
+	movq	%rsp, %rbp
+	.cfi_def_cfa_register 6
+	nop
+	popq	%rbp
+	.cfi_def_cfa 7, 8
+	ret
+	.cfi_endproc
+.LFE0:
+	.size	foo, .-foo
+	.ident	"GCC: (Ubuntu 4.8.4-2ubuntu1~14.04.1) 4.8.4"
+	.section	.note.GNU-stack,"",@progbits
Index: test/ELF/Inputs/trace-symbols-foo-weak.s
===================================================================
--- test/ELF/Inputs/trace-symbols-foo-weak.s
+++ test/ELF/Inputs/trace-symbols-foo-weak.s
@@ -0,0 +1,6 @@
+.comm	common,4,4
+.text
+.weak	foo
+.type	foo, @function
+foo:
+nop
Index: test/ELF/Inputs/trace-symbols-main.s
===================================================================
--- test/ELF/Inputs/trace-symbols-main.s
+++ test/ELF/Inputs/trace-symbols-main.s
@@ -0,0 +1,10 @@
+.hidden hsymbol 
+.text
+.globl	_start
+.type	_start, @function
+_start:
+
+.globl	main
+.type	main, @function
+main:
+call foo
Index: test/ELF/trace-symbols.s
===================================================================
--- test/ELF/trace-symbols.s
+++ test/ELF/trace-symbols.s
@@ -0,0 +1,36 @@
+# Test -y symbol and -trace-symbol=symbol
+# RUN: llvm-mc -filetype=obj -triple=x86_64-unknown-linux \
+# RUN: %p/Inputs/trace-symbols-main.s -o %t
+# RUN: llvm-mc -filetype=obj -triple=x86_64-unknown-linux \
+# RUN: %p/Inputs/trace-symbols-foo-weak.s -o %t1
+# RUN: llvm-mc -filetype=obj -triple=x86_64-unknown-linux \
+# RUN: %p/Inputs/trace-symbols-foo-global.s -o %t2
+# RUN: ld.lld -y foo -trace-symbol=common -trace-symbol=hsymbol %t %t1 %t2 -o %t3 2>&1 | FileCheck -check-prefix=OBJECTRFOO %s
+# RUN: ld.lld -y foo -trace-symbol=common -trace-symbol=hsymbol %t %t1 %t2 -o %t3 2>&1 | FileCheck -check-prefix=OBJECTDCOMMON %s
+# RUN: ld.lld -y foo -trace-symbol=common -trace-symbol=hsymbol %t %t1 %t2 -o %t3 2>&1 | FileCheck -check-prefix=OBJECTD1FOO %s
+# RUN: ld.lld -y foo -trace-symbol=common -trace-symbol=hsymbol %t %t1 %t2 -o %t3 2>&1 | FileCheck -check-prefix=OBJECTD2FOO %s
+# RUN: ld.lld -y foo -y common --trace-symbol=hsymbol %t %t2 %t1 -o %t4 2>&1 | FileCheck -check-prefix=OBJECTD2FOO %s
+# RUN: ld.lld -y foo %t %t2 %t1 -o %t4 2>&1 | not FileCheck -check-prefix=OBJECTD1FOO %s
+# RUN: ld.lld -shared %t1 -o %t1.so
+# RUN: ld.lld -y foo -y common %t %t1.so %t2 -o %t5 2>&1 | FileCheck -check-prefix=SHLIBDCOMMON %s
+# RUN: ld.lld -y foo -y common %t %t1.so %t2 -o %t5 2>&1 | FileCheck -check-prefix=SHLIBD1FOO %s
+# RUN: ld.lld -y foo -y common %t %t1.so %t2 -o %t5 2>&1 | FileCheck -check-prefix=OBJECTD2FOO %s
+# RUN: ld.lld -shared %t2 -o %t2.so
+# RUN: ld.lld -y foo -y common %t %t1.so %t2.so -o %t5 2>&1 | FileCheck -check-prefix=SHLIBD1FOO %s
+# RUN: ld.lld -y foo -y common %t %t2.so %t1.so -o %t5 2>&1 | FileCheck -check-prefix=SHLIBD2FOO %s
+# RUN: ar -r %t1.a %t1 
+# RUN: ld.lld -y foo -y common %t %t2 %t1.a -o %t6 2>&1 | FileCheck -check-prefix=OBJECTD2FOO %s
+# RUN: ld.lld -y foo -y common %t %t2 %t1.a -o %t6 2>&1 | not FileCheck -check-prefix=ARCHIVEDCOMMON %s
+# RUN: ar -r %t2.a %t2 
+# RUN: ld.lld -y foo %t %t1.a %t2.so -o %t8 | FileCheck -check-prefix=ARCHIVEDFOO %s
+# RUN: ld.lld -y foo %t %t1.a %t2.so -o %t8 | FileCheck -check-prefix=SHLIBD2FOO %s
+# RUN: ld.lld -y foo %t %t1.so %t2.a -o %t8 | FileCheck -check-prefix=SHLIBD1FOO %s
+# OBJECTRFOO: trace-symbols.s.tmp: reference to foo
+# OBJECTD1FOO: trace-symbols.s.tmp1: definition of foo
+# OBJECTD2FOO: trace-symbols.s.tmp2: definition of foo
+# OBJECTDCOMMON: trace-symbols.s.tmp1: definition of common
+# SHLIBD1FOO: trace-symbols.s.tmp1.so: definition of foo
+# SHLIBD2FOO: trace-symbols.s.tmp2.so: definition of foo
+# SHLIBDCOMMON: trace-symbols.s.tmp1.so: definition of common
+# ARCHIVEDFOO: trace-symbols.s.tmp1.a(trace-symbols.s.tmp1): definition of foo
+# ARCHIVEDCOMMON: trace-symbols.s.tmp1.a(trace-symbols.s.tmp1): definition of common