[Bug target/70557] uint64_t zeroing on 32-bit hardware

[lis8215 at gmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70557

Siarhei Volkau <lis8215 at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |lis8215 at gmail dot com

--- Comment #9 from Siarhei Volkau <lis8215 at gmail dot com> ---
Created attachment 59964
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59964&action=edit
RV patch

Observing same issue in GCC 14.2 but for RV32.

for example:

void clear64(uint64_t *ull)
{
  *ull = 0;
}

RV32 emits:
        li      a5,0
        li      a6,0
        sw      a5,0(a0)
        sw      a6,4(a0)
        ret

Hopefully, the fix is trivial (one symbol).