[PATCH] D130503: [ASan] Use stack safety analysis to optimize allocas instrumentation.
Kirill Stoimenov via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Jul 26 17:30:01 PDT 2022
kstoimenov updated this revision to Diff 447898.
kstoimenov added a comment.
After rebase.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D130503/new/
https://reviews.llvm.org/D130503
Files:
llvm/lib/Transforms/Instrumentation/AddressSanitizer.cpp
llvm/test/Instrumentation/AddressSanitizer/asan-stack-safety.ll
Index: llvm/test/Instrumentation/AddressSanitizer/asan-stack-safety.ll
===================================================================
--- llvm/test/Instrumentation/AddressSanitizer/asan-stack-safety.ll
+++ llvm/test/Instrumentation/AddressSanitizer/asan-stack-safety.ll
@@ -21,6 +21,14 @@
ret i32 0
}
+define i32 @alloca() sanitize_address {
+ %buf.sroa.0 = alloca [10 x i8], align 4
+ %ptr = getelementptr [10 x i8], [10 x i8]* %buf.sroa.0, i32 0, i32 0
+ call void @llvm.lifetime.start.p0i8(i64 10, i8* nonnull %ptr)
+ store volatile i8 0, i8* %ptr, align 4, !tbaa !8
+ call void @llvm.lifetime.end.p0i8(i64 10, i8* nonnull %ptr)
+ ret i32 0
+}
; CHECK-LABEL: define void @atomicrmw
define void @atomicrmw() sanitize_address {
@@ -39,3 +47,12 @@
; NOSAFETY: call void @__asan_store1
ret void
}
+
+; Function Attrs: argmemonly mustprogress nofree nosync nounwind willreturn
+declare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture)
+; Function Attrs: argmemonly mustprogress nofree nosync nounwind willreturn
+declare void @llvm.lifetime.end.p0i8(i64 immarg, i8* nocapture)
+
+!8 = !{!9, !9, i64 0}
+!9 = !{!"omnipotent char", !10, i64 0}
+!10 = !{!"Simple C/C++ TBAA"}
Index: llvm/lib/Transforms/Instrumentation/AddressSanitizer.cpp
===================================================================
--- llvm/lib/Transforms/Instrumentation/AddressSanitizer.cpp
+++ llvm/lib/Transforms/Instrumentation/AddressSanitizer.cpp
@@ -1232,7 +1232,9 @@
// dynamic alloca instrumentation for them as well.
!AI.isUsedWithInAlloca() &&
// swifterror allocas are register promoted by ISel
- !AI.isSwiftError());
+ !AI.isSwiftError() &&
+ // safe allocas are not interesting
+ !(SSGI && SSGI->isSafe(AI)));
ProcessedAllocas[&AI] = IsInteresting;
return IsInteresting;
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D130503.447898.patch
Type: text/x-patch
Size: 1850 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220727/4e4cd110/attachment.bin>
More information about the llvm-commits
mailing list