From 45a148de854db888b27320b1cbc4d541f304a715 Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Fri, 2 Nov 2018 18:14:24 +0000 Subject: [PATCH] [ValueTracking] add test for non-canonical shuffle; NFC llvm-svn: 346025 --- llvm/unittests/Analysis/ValueTrackingTest.cpp | 23 +++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/llvm/unittests/Analysis/ValueTrackingTest.cpp b/llvm/unittests/Analysis/ValueTrackingTest.cpp index f7d715c64471..e66d8f77fd48 100644 --- a/llvm/unittests/Analysis/ValueTrackingTest.cpp +++ b/llvm/unittests/Analysis/ValueTrackingTest.cpp @@ -514,6 +514,29 @@ TEST(ValueTracking, ComputeNumSignBits_Shuffle) { EXPECT_EQ(ComputeNumSignBits(RVal, M->getDataLayout()), 1u); } +// FIXME: +// No guarantees for canonical IR in this analysis, so a shuffle element that +// references an undef value means this can't return any extra information. +TEST(ValueTracking, ComputeNumSignBits_Shuffle2) { + StringRef Assembly = "define <2 x i32> @f(<2 x i1> %x) { " + " %sext = sext <2 x i1> %x to <2 x i32> " + " %val = shufflevector <2 x i32> %sext, <2 x i32> undef, <2 x i32> " + " ret <2 x i32> %val " + "} "; + + LLVMContext Context; + SMDiagnostic Error; + auto M = parseAssemblyString(Assembly, Error, Context); + assert(M && "Bad assembly?"); + + auto *F = M->getFunction("f"); + assert(F && "Bad assembly?"); + + auto *RVal = + cast(F->getEntryBlock().getTerminator())->getOperand(0); + EXPECT_EQ(ComputeNumSignBits(RVal, M->getDataLayout()), 32u); +} + TEST(ValueTracking, ComputeKnownBits) { StringRef Assembly = "define i32 @f(i32 %a, i32 %b) { " " %ash = mul i32 %a, 8 " -- 2.34.1