Backport 16 patches (riscv64 specific) from the current gcc13 upstream branch. Most of these are memory model related. Signed-off-by: David Abdurachmanov <davidlt@rivosinc.com>
