From: Jianzhou Zhao <jianzhouzh@google.com>
Date: Fri, 4 Dec 2020 05:39:37 +0000 (+0000)
Subject: [dfsan] Add a test case of storing zero
X-Git-Tag: llvmorg-13-init~4332
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=fa4c3f70ff0768a270b0620dc6d158ed1205ec4e;p=platform%2Fupstream%2Fllvm.git

[dfsan] Add a test case of storing zero

This covers a branch in storeShadow.

Reviewed-by: morehouse

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

diff --git a/llvm/test/Instrumentation/DataFlowSanitizer/store.ll b/llvm/test/Instrumentation/DataFlowSanitizer/store.ll
index a66cedf..4560c3d 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
+}