https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123586
Bug ID: 123586
Summary: subreg_lowpart_p wrongly allows paradoxical subregs
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: rtl-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: segher at gcc dot gnu.org
Target Milestone: ---
subreg_lowpart_p allows paradoxical subregs, which by definition cannot be a
"low part"
This originated in PR93738, where it was considered to dangerous to fix for 16.
But we should make functions do what the function name says as much as
possible,
or we will be fighting misunderstandings forever and ever, if not longer.
