From fa4c3f70ff0768a270b0620dc6d158ed1205ec4e Mon Sep 17 00:00:00 2001
From: Jianzhou Zhao <jianzhouzh@google.com>
Date: Fri, 4 Dec 2020 05:39:37 +0000
Subject: [PATCH] [dfsan] Add a test case of storing zero

This covers a branch in storeShadow.

Reviewed-by: morehouse

Differential Revision: https://reviews.llvm.org/D92632
---
 llvm/test/Instrumentation/DataFlowSanitizer/store.ll | 6 ++++++
 1 file changed, 6 insertions(+)

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
+}
-- 
2.7.4