[llvm-branch-commits] [llvm] fa4c3f7 - [dfsan] Add a test case of storing zero

[Jianzhou Zhao via llvm-branch-commits]

Author: Jianzhou Zhao
Date: 2020-12-04T20:28:44Z
New Revision: fa4c3f70ff0768a270b0620dc6d158ed1205ec4e

URL: https://github.com/llvm/llvm-project/commit/fa4c3f70ff0768a270b0620dc6d158ed1205ec4e
DIFF: https://github.com/llvm/llvm-project/commit/fa4c3f70ff0768a270b0620dc6d158ed1205ec4e.diff

LOG: [dfsan] Add a test case of storing zero

This covers a branch in storeShadow.

Reviewed-by: morehouse

Differential Revision: https://reviews.llvm.org/D92632

Added: 
    

Modified: 
    llvm/test/Instrumentation/DataFlowSanitizer/store.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Instrumentation/DataFlowSanitizer/store.ll b/llvm/test/Instrumentation/DataFlowSanitizer/store.ll
index a66cedf70b10..4560c3d7fb8f 100644
--- a/llvm/test/Instrumentation/DataFlowSanitizer/store.ll
+++ b/llvm/test/Instrumentation/DataFlowSanitizer/store.ll
@@ -158,3 +158,9 @@ define void @store64(i64 %v, i64* %p) {
   store i64 %v, i64* %p
   ret void
 }
+
+define void @store_zero(i32* %p) {
+  ;  NO_COMBINE_PTR_LABEL: store i64 0, i64* {{.*}}, align 2
+  store i32 0, i32* %p
+  ret void
+}