Add test

Author: ivanradanov

llvm/unittests/Analysis/ValueTrackingTest.cpp

@@ -1310,6 +1310,37 @@ TEST_F(ValueTrackingTest, MatchBinaryIntrinsicRecurrenceNegativeFSHR) {
   EXPECT_FALSE(matchSimpleBinaryIntrinsicRecurrence(II, PN, Init, OtherOp));
 }
 
+TEST_F(ValueTrackingTest, MatchBinaryIntrinsicRecurrenceNonTwoOperand) {
+  auto M = parseModule(R"(
+    declare noundef i32 @llvm.nvvm.read.ptx.sreg.nctaid.x()
+    declare i32 @llvm.umin.i32(i32, i32)
+
+    define void @foo(i32 %arg) {
+    bb:
+      br i1 false, label %bb1, label %bb2
+
+    bb1:                                              ; preds = %bb
+      br label %bb3
+
+    bb2:                                              ; preds = %bb
+      %i = tail call noundef i32 @llvm.nvvm.read.ptx.sreg.nctaid.x()
+      br label %bb3
+
+    bb3:                                              ; preds = %bb2, %bb1
+      %i4 = phi i32 [ 0, %bb1 ], [ %i, %bb2 ]
+      %i6 = tail call noundef i32 @llvm.umin.i32(i32 %i4, i32 %arg)
+      ret void
+    }
+  )");
+
+  auto *F = M->getFunction("foo");
+  auto *II = &cast<IntrinsicInst>(findInstructionByName(F, "i6"));
+  PHINode *PN;
+  Value *Init, *OtherOp;
+  // Check that it does not crash (see PR #152700)
+  EXPECT_FALSE(matchSimpleBinaryIntrinsicRecurrence(II, PN, Init, OtherOp));
+}
+
 TEST_F(ComputeKnownBitsTest, ComputeKnownBits) {
   parseAssembly(
       "define i32 @test(i32 %a, i32 %b) {\n"