Add verification of gimple_assign_nontemporal_move_p [PR112976]
commite3a7f359c18bf347f6ac8fcda05e9839fac5bd62
authorAndrew Pinski <quic_apinski@quicinc.com>
Wed, 17 Apr 2024 21:12:17 +0000 (17 14:12 -0700)
committerAndrew Pinski <quic_apinski@quicinc.com>
Tue, 30 Apr 2024 15:55:19 +0000 (30 08:55 -0700)
tree0b7904bad141f3c37f80b6b26e0a4c5be002b82f
parentf652a35877e32d470d649d1aee5d94fa0169a478
Add verification of gimple_assign_nontemporal_move_p [PR112976]

Currently the middle-end only knows how to support temporal stores
(the undocumented storent optab) so let's verify that the only time
we set nontemporal_move on an assign is if the the lhs is not a
gimple reg.

Bootstrapped and tested on x86_64-linux-gnu no regressions.

gcc/ChangeLog:

PR middle-end/112976
* tree-cfg.cc (verify_gimple_assign): Verify that
nontmporal moves are stores.
* gimple.h (struct gimple): Note that only
nontemporal stores are supported.

Signed-off-by: Andrew Pinski <quic_apinski@quicinc.com>
gcc/gimple.h
gcc/tree-cfg.cc