[NewPM][TSan] Reiterate the TSan port

[philip.pfaffe]

Summary

Second iteration of D56433 which got reverted in rL350719. The problem
in the previous version was that we dropped the thunk calling the tsan init
function. The new version keeps the thunk which should appease dyld, but is not
actually OK wrt. the current semantics of function passes.

[philip.pfaffe]

Add missing license to TSan header.

[fedor.sergeev]

Just a side note - seeing a problem with dyld wrt original tsan_init solution, do we have the same problem with msan_init, which was similarly solved in D55647?

[vitalybuka]

llvm/lib/Transforms/Instrumentation/ThreadSanitizer.cpp

91 ↗

(On Diff #181026)

msan -> tsan runtime

llvm/test/Instrumentation/ThreadSanitizer/tsan_basic.ll

2 ↗

(On Diff #181026)

what is about other tests?

[philip.pfaffe]

Fix a comment.

[philip.pfaffe]

llvm/test/Instrumentation/ThreadSanitizer/tsan_basic.ll

2 ↗

(On Diff #181026)

I don't need to test tsan, just the pass pipeline specifics. The other tests appeared to mainly test tsan specifics, so I didn't touch them.

I can absolutely port the others, but that will (in theory at least) double the runtime. Do you have suggestions which other tests are meaningful to the pipeline?

[philip.pfaffe]

Insert the constructor and init functions only once per module.

Do you think the current check on the ctor function is sufficient, or should I
also check whether it actually contains the init call as well?

[chandlerc]

OK, this makes sense to me now. Minor comment below, but LGTM with that.

llvm/lib/Transforms/Utils/ModuleUtils.cpp

183–184 ↗

(On Diff #181237)

Can you add a FIXME to sink the get-or-insert style logic into the module API much like we have for globals?

That will (eventually) make this much easier to move into a concurrent model.

[philip.pfaffe]

Execute appendtoGlobalCtors lazily as well. Previously the inserted ctor was
still added multiple times to the global ctors list. Doing this lazily requires
knowing when the ctor is actually created, so I added a callback to handle the
insertion.

[chandlerc]

Still LGTM.

[chandlerc]

Oh, and a nit. Minor though.

llvm/include/llvm/Transforms/Utils/ModuleUtils.h

71 ↗

(On Diff #181821)

Use a llvm::function_ref here? Should be much cheaper.

lib/CodeGen/BackendUtil.cpp

 #include "llvm/Target/TargetOptions.h"
 #include "llvm/Transforms/Coroutines.h"
 #include "llvm/Transforms/IPO.h"
 #include "llvm/Transforms/IPO/AlwaysInliner.h"
 #include "llvm/Transforms/IPO/PassManagerBuilder.h"
 #include "llvm/Transforms/IPO/ThinLTOBitcodeWriter.h"
 #include "llvm/Transforms/InstCombine/InstCombine.h"
 #include "llvm/Transforms/Instrumentation.h"
-#include "llvm/Transforms/Instrumentation/MemorySanitizer.h"
 #include "llvm/Transforms/Instrumentation/BoundsChecking.h"
 #include "llvm/Transforms/Instrumentation/GCOVProfiler.h"
+#include "llvm/Transforms/Instrumentation/MemorySanitizer.h"
+#include "llvm/Transforms/Instrumentation/ThreadSanitizer.h"
 #include "llvm/Transforms/ObjCARC.h"
 #include "llvm/Transforms/Scalar.h"
 #include "llvm/Transforms/Scalar/GVN.h"
 #include "llvm/Transforms/Utils.h"
 #include "llvm/Transforms/Utils/CanonicalizeAliases.h"
 #include "llvm/Transforms/Utils/NameAnonGlobals.h"
 #include "llvm/Transforms/Utils/SymbolRewriter.h"
 #include <memory>

 
 static void addKernelMemorySanitizerPass(const PassManagerBuilder &Builder,
                                          legacy::PassManagerBase &PM) {
   addGeneralOptsForMemorySanitizer(Builder, PM, /*CompileKernel*/ true);
 }
 
 static void addThreadSanitizerPass(const PassManagerBuilder &Builder,
                                    legacy::PassManagerBase &PM) {
-  PM.add(createThreadSanitizerPass());
+  PM.add(createThreadSanitizerLegacyPassPass());
 }
 
 static void addDataFlowSanitizerPass(const PassManagerBuilder &Builder,
                                      legacy::PassManagerBase &PM) {
   const PassManagerBuilderWrapper &BuilderWrapper =
       static_cast<const PassManagerBuilderWrapper&>(Builder);
   const LangOptions &LangOpts = BuilderWrapper.getLangOpts();
   PM.add(createDataFlowSanitizerPass(LangOpts.SanitizerBlacklistFiles));