[llvm] 4da47be - [ValueTracking] add test for isImpliedCondition with vector types; NFC

[Sanjay Patel via llvm-commits]

Author: Sanjay Patel
Date: 2022-07-24T17:07:17-04:00
New Revision: 4da47bee48a57cc5fa0256623dbd749c3bf14759

URL: https://github.com/llvm/llvm-project/commit/4da47bee48a57cc5fa0256623dbd749c3bf14759
DIFF: https://github.com/llvm/llvm-project/commit/4da47bee48a57cc5fa0256623dbd749c3bf14759.diff

LOG: [ValueTracking] add test for isImpliedCondition with vector types; NFC

Added: 
    

Modified: 
    llvm/unittests/Analysis/ValueTrackingTest.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/unittests/Analysis/ValueTrackingTest.cpp b/llvm/unittests/Analysis/ValueTrackingTest.cpp
index 18619a698a09d..e8b90907f4134 100644
--- a/llvm/unittests/Analysis/ValueTrackingTest.cpp
+++ b/llvm/unittests/Analysis/ValueTrackingTest.cpp
@@ -1345,6 +1345,18 @@ TEST_F(ValueTrackingTest, IsImpliedConditionAnd2) {
   EXPECT_EQ(isImpliedCondition(A, A4, DL), None);
 }
 
+TEST_F(ValueTrackingTest, IsImpliedConditionAndVec) {
+  parseAssembly(R"(
+    define void @test(<2 x i8> %x, <2 x i8> %y) {
+      %A = icmp ult <2 x i8> %x, %y
+      %A2 = icmp ule <2 x i8> %x, %y
+      ret void
+    }
+  )");
+  const DataLayout &DL = M->getDataLayout();
+  EXPECT_EQ(isImpliedCondition(A, A2, DL), None);
+}
+
 TEST_F(ValueTrackingTest, IsImpliedConditionOr) {
   parseAssembly(R"(
     define void @test(i32 %x, i32 %y) {