| Issue | 134360 |
|---|---|
| Summary | LoopIdiomRecognize incorrectly disables memcpy formation from stores of non-integral pointers |
| Labels | new issue |
| Assignees | resistor |
| Reporter | resistor |
The comment on this line https://github.com/llvm/llvm-project/blob/5812516ae2e034d70b0cca20b95d627e163b4567/llvm/lib/Transforms/Scalar/LoopIdiomRecognize.cpp#L442 indicates that the condition is intended to prevent the formation of `memset`/`memset_pattern` from loops storing non-integral pointers.
In reality, by returning `LegalStoreKind::None`, it is also implicitly disabling `memcpy` formation from such loops, which is not intended to be disallowed.
_______________________________________________ llvm-bugs mailing list llvm-bugs@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
