From: Sanjay Patel <spatel@rotateright.com>
Date: Sun, 3 Oct 2021 14:35:59 +0000 (-0400)
Subject: [InstCombine] add test for shl + demanded bits; NFC
X-Git-Tag: upstream/15.0.7~29788
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=88a9c1827e8dfd74aa2b2ba4f58ddf557b253c4e;p=platform%2Fupstream%2Fllvm.git

[InstCombine] add test for shl + demanded bits; NFC

This is a reduction of a test that would infinite loop with D110170.
---

diff --git a/llvm/test/Transforms/InstCombine/shl-demand.ll b/llvm/test/Transforms/InstCombine/shl-demand.ll
index 11c2de8..eca81ce 100644
--- a/llvm/test/Transforms/InstCombine/shl-demand.ll
+++ b/llvm/test/Transforms/InstCombine/shl-demand.ll
@@ -98,3 +98,20 @@ define i8 @must_drop_poison(i32 %x, i32 %y)  {
   %t = trunc i32 %s to i8
   ret i8 %t
 }
+
+; This would infinite loop with D110170 / bb9333c3504a
+
+define i32 @f_t15_t01_t09(i40 %t2) {
+; CHECK-LABEL: @f_t15_t01_t09(
+; CHECK-NEXT:    [[SH_DIFF:%.*]] = ashr i40 [[T2:%.*]], 15
+; CHECK-NEXT:    [[TR_SH_DIFF:%.*]] = trunc i40 [[SH_DIFF]] to i32
+; CHECK-NEXT:    [[SHL1:%.*]] = and i32 [[TR_SH_DIFF]], -65536
+; CHECK-NEXT:    ret i32 [[SHL1]]
+;
+  %downscale = ashr i40 %t2, 31
+  %resize = trunc i40 %downscale to i32
+  %shl1 = shl i32 %resize, 16
+  %resize1 = ashr i32 %shl1, 16
+  %r = shl i32 %resize1, 31
+  ret i32 %shl1
+}