[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