[PATCH] D138050: AMDGPU/GlobalISel: Insert freeze when splitting vector G_SEXT_INREG
Pierre van Houtryve via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Wed Nov 16 23:38:11 PST 2022
Pierre-vh accepted this revision.
Pierre-vh added a comment.
This revision is now accepted and ready to land.
In D138050#3930981 <https://reviews.llvm.org/D138050#3930981>, @arsenm wrote:
> In D138050#3930454 <https://reviews.llvm.org/D138050#3930454>, @Pierre-vh wrote:
>
>> What makes this combine specifically require a freeze? Could we have more combine that need it to or is it something with G_SEXT_INREG's semantics that makes it need the G_FREEZE?
>
> It's introducing an expectation for potentially poisonous bits in two distinct uses since the low half is used in two different places. Both uses need to use the same value. There are plenty of places that are probably missing freezes
>
> There have been a number of talks on freeze, e.g. https://www.youtube.com/watch?v=ZMaZH3YYJqY
Interesting, I'll definitely be looking out for cases like that in the future. I'll also watch that talk as soon as possible
Thanks :)
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D138050/new/
https://reviews.llvm.org/D138050
More information about the llvm-commits
mailing list