jayfoad wrote:

> > Then I think the poison-propagating rules for this intrinsic should be 
> > documented. They're not obvious and "it just does what the underlying 
> > instruction does" is no longer sufficient.
> 
> We're currently not propagating poison for these intrinsics, and this patch 
> isn't changing any behavior. This is changing an implementation detail of the 
> discard input that is already done

This patch is relying on an undocumented assumption that poison is _not_ 
propagated for all arguments of the intrinsic.

But I won't insist, if you really want to commit it as-is.

https://github.com/llvm/llvm-project/pull/131288
_______________________________________________
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

Reply via email to