commit 986cc181b0ac566e4de37da82b0ea66451ec0b7c
author Nuno Lopes <nunoplopes@sapo.pt> Mon Jul 16 20:47:16 2012 +0000
committer Nuno Lopes <nunoplopes@sapo.pt> Mon Jul 16 20:47:16 2012 +0000
tree 82bd96f900eb84470dbe61f9e12b293aef0f4758
parent 784933b791626f16422ac8cf234a127bf6981406

teach ConstantRange that zero times X is always zero

llvm-svn: 160317

llvm/unittests/Support/ConstantRangeTest.cpp

diff --git a/llvm/unittests/Support/ConstantRangeTest.cpp b/llvm/unittests/Support/ConstantRangeTest.cpp
index 6d2510c..7d4055f 100644
--- a/llvm/unittests/Support/ConstantRangeTest.cpp
+++ b/llvm/unittests/Support/ConstantRangeTest.cpp
@@ -382,6 +382,14 @@
   EXPECT_EQ(Some.multiply(Wrap), Full);
   EXPECT_EQ(Wrap.multiply(Wrap), Full);
 
+  ConstantRange Zero(APInt(16, 0));
+  EXPECT_EQ(Zero.multiply(Full), Zero);
+  EXPECT_EQ(Zero.multiply(Some), Zero);
+  EXPECT_EQ(Zero.multiply(Wrap), Zero);
+  EXPECT_EQ(Full.multiply(Zero), Zero);
+  EXPECT_EQ(Some.multiply(Zero), Zero);
+  EXPECT_EQ(Wrap.multiply(Zero), Zero);
+
   // http://llvm.org/PR4545
   EXPECT_EQ(ConstantRange(APInt(4, 1), APInt(4, 6)).multiply(
                 ConstantRange(APInt(4, 6), APInt(4, 2))),