On 10/25/23 06:52, Jeff Law wrote:
On 10/25/23 07:47, Robin Dapp wrote:
Well, it doesn't seem like there's a lot of difference between doing
it in the generic expander bits vs target expander bits -- the former
just calls into the latter for the most part. Thus if the
subreg-promoted state is available in the target expander, I'd expect
it to be available in the generic expander.
Ah, sorry I meant in the [sign|zero]extend expanders rather than the
compare expanders in order to catch promoted subregs from other origins
as well. Maybe that doesn't work, though?
That's a *really* interesting idea. Interested in playing around a
bit with that Vineet?
Sure I'll tinker with the {sign,zero}expanders.
And there's a third playing field :-) There seem to be still cases where
subreg-promoted note is not set when it probably should.
So we end up in riscv_extend_comparands but with note not being there
(for something corresponding to function arg) thus can't skip the extension.
Thx,
-Vineet
