[llvm] [InstCombine] Don't folder select to or if value argument is user of invalid addrspacecast inst (PR #144686)
Wenju He via llvm-commits
llvm-commits at lists.llvm.org
Thu Jun 19 21:06:18 PDT 2025
================
@@ -12621,6 +12621,9 @@ have no side effects, and must not capture the value of the pointer.
If the source is :ref:`poison <poisonvalues>`, the result is
:ref:`poison <poisonvalues>`.
+If the source is not :ref:`poison <poisonvalues>`, and the result pointer is
+non-dereferenceable, the result is :ref:`poison <poisonvalues>`.
----------------
wenju-he wrote:
done in 3128b338492a977b35b7c39bc770e85a703ca8d0, thanks @nikic
https://github.com/llvm/llvm-project/pull/144686
More information about the llvm-commits
mailing list