[PATCH] Don't speculate loads under ThreadSanitizer
Kostya Serebryany
kcc at google.com
Wed Nov 20 01:52:01 PST 2013
Don't speculate loads under ThreadSanitizer.
This fixes https://code.google.com/p/thread-sanitizer/issues/detail?id=40
Also discussed here: http://lists.cs.uiuc.edu/pipermail/llvmdev/2013-November/067929.html
http://llvm-reviews.chandlerc.com/D2227
Files:
lib/Analysis/ValueTracking.cpp
test/Transforms/SimplifyCFG/no_speculative_loads_with_tsan.ll
Index: lib/Analysis/ValueTracking.cpp
===================================================================
--- lib/Analysis/ValueTracking.cpp
+++ lib/Analysis/ValueTracking.cpp
@@ -2008,6 +2008,9 @@
const LoadInst *LI = cast<LoadInst>(Inst);
if (!LI->isUnordered())
return false;
+ // Speculating a load may create a race that did not exist in the source.
+ if (LI->getParent()->getParent()->hasFnAttribute(Attribute::SanitizeThread))
+ return false;
return LI->getPointerOperand()->isDereferenceablePointer();
}
case Instruction::Call: {
Index: test/Transforms/SimplifyCFG/no_speculative_loads_with_tsan.ll
===================================================================
--- /dev/null
+++ test/Transforms/SimplifyCFG/no_speculative_loads_with_tsan.ll
@@ -0,0 +1,39 @@
+; RUN: opt -simplifycfg -S %s | FileCheck %s
+ at g = global i32 0, align 4
+
+define i32 @TestNoTsan(i32 %cond) nounwind readonly uwtable {
+entry:
+ %tobool = icmp eq i32 %cond, 0
+ br i1 %tobool, label %return, label %if.then
+
+if.then: ; preds = %entry
+ %0 = load i32* @g, align 4
+ br label %return
+
+return: ; preds = %entry, %if.then
+ %retval = phi i32 [ %0, %if.then ], [ 0, %entry ]
+ ret i32 %retval
+}
+; CHECK: define i32 @TestNoTsan
+; CHECK: select
+; CHECK: ret i32
+
+define i32 @TestTsan(i32 %cond) nounwind readonly uwtable sanitize_thread {
+entry:
+ %tobool = icmp eq i32 %cond, 0
+ br i1 %tobool, label %return, label %if.then
+
+if.then: ; preds = %entry
+ %0 = load i32* @g, align 4
+ br label %return
+
+return: ; preds = %entry, %if.then
+ %retval = phi i32 [ %0, %if.then ], [ 0, %entry ]
+ ret i32 %retval
+}
+
+; CHECK: define i32 @TestTsan
+; CHECK: br i1
+; CHECK: load i32* @g
+; CHECK: br label
+; CHECK: ret i32
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D2227.1.patch
Type: text/x-patch
Size: 1936 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20131120/cf8a4a53/attachment.bin>
More information about the llvm-commits
mailing list