[llvm] [ValueTracking] Add missing check for two-value PN recurrance matching (PR #152700)

Antonio Frighetto via llvm-commits llvm-commits at lists.llvm.org
Fri Aug 8 06:52:38 PDT 2025


================
@@ -1310,6 +1310,32 @@ 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) {
+    entry:
+      %i = tail call noundef i32 @llvm.nvvm.read.ptx.sreg.nctaid.x()
+      br i1 false, label %bb.1, label %bb.2
+    bb.1:                                            ; preds = %entry
+      br label %bb.2
+    bb.2:                                            ; preds = %bb.2, %bb.1
----------------
antoniofrighetto wrote:

Sorry, leftover:
```suggestion
    bb.2:                                            ; preds = %entry, %bb.1
```

https://github.com/llvm/llvm-project/pull/152700


More information about the llvm-commits mailing list