[llvm] [InstCombine] Add test for freeze of GEP with recurrence offset (NFC) (PR #145541)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Wed Jun 25 03:08:15 PDT 2025
================
@@ -877,6 +877,39 @@ exit: ; preds = %loop
ret void
}
+; The recurrence for the GEP offset can't produce undef so the freeze should be
----------------
nikic wrote:
```suggestion
; The recurrence for the GEP offset can't produce poison so the freeze should be
```
This will satisfy the checker and if more accurate. GEP will never produce undef, only poison. And on that note, you'll probably also want a test that *can* produce poison, by adding inbounds/nuw on the GEP.
https://github.com/llvm/llvm-project/pull/145541
More information about the llvm-commits
mailing list