Don't use the QI vector if its size is equal to UNITS_PER_WORD for
better code generation.

Before patch:

vsetivli        zero,4,e8,mf4,ta,ma
vmv.v.i v1,0
addi    a4,sp,12
vse8.v  v1,0(a4)

After patch:

sw      zero,12(sp)

gcc/
	* expr.cc (widest_fixed_size_mode_for_size): Prefer scalar modes
	over vector modes in more cases.

gcc/testsuite/

	* gcc.target/riscv/rvv/autovec/pr113469.c: Update expected output.
	* gcc.target/riscv/rvv/base/movqi-1.c: New test.

Tamar's recent improvement to improve affine unsigned folding for exchange2
twiddle code generation for a couple tests in the RVV testsuite just enough to
cause testsuite failures.

I've looked at both tests before/after Tamar's change and the code is clearly
better -- essentially tighter vector loops due to improvements in address
arithmetic.  Additionally we have fewer vsetvls after Tamar's patch.

Given that I'm just making the obvious adjustments to the expected assembly and
pushing to the trunk.

gcc/testsuite
	* gcc.target/riscv/rvv/vsetvl/vlmax_conflict-3.c: Update expected
	output.
	* gcc.target/riscv/rvv/vsetvl/vlmax_conflict-12.c: Likewise.

gcc/testuite/
	* lib/target-supports.exp
	(check_effective_target_sync_char_short): Enable for riscv*-*-*.

gcc:
	PR target/118137
	* config/riscv/sync.md ("lrsc_atomic_exchange<mode>"): Apply mask
	to shifted value.

gcc/testsuite:
	PR target/118137
	* gcc.dg/atomic/pr118137.c: New.

This is a trivial bug that showed up after Mark W's recent patch to not apply
the size limit on jump tables.

The ft32 port has limited immediate ranges on comparisons and the casesi
expander didn't honor those.  It'd blindly pass along an out of range constant.

This patch adds the trivial adjustment to force an out of range constant into a
register.  It fixes these regressions:

> Tests that now fail, but worked before (3 tests):
>
> ft32-sim: gcc: gcc.c-torture/compile/pr34093.c   -O1  (test for excess errors)
> ft32-sim: gcc: gcc.dg/torture/pr106809.c   -O1  (test for excess errors)
> ft32-sim: gcc: gcc.dg/torture/pr106809.c   -O1  (test for excess errors)
Tested in my tester.    No other tests were fixed.

gcc/
	* config/ft32/ft32.md (casesi expander): Force operands[2] into
	a register if it's not a suitable rimm operand.

Many test cases explicitly set -march with extensions which are not
compatible with the E ABI variants.  This leads to spurious errors
when toolchain has been configured for RV32E base ISA and ILP32E ABI:

  spawn ... -march=rv32gc_zbb ...
  cc1: error: ILP32E ABI does not support the 'D' extension

Fix by skipping those tests if toolchain's default ABI is E.

gcc/testsuite/ChangeLog:

	* gcc.dg/pr90838-2.c: Skip if default ABI is E.
	* gcc.dg/pr90838.c: Ditto.
	* gcc.target/riscv/adddibeq.c: Ditto.
	* gcc.target/riscv/adddibfeq.c: Ditto.
	* gcc.target/riscv/adddibfge.c: Ditto.
	* gcc.target/riscv/adddibfgt.c: Ditto.
	* gcc.target/riscv/adddibfle.c: Ditto.
	* gcc.target/riscv/adddibflt.c: Ditto.
	* gcc.target/riscv/adddibfne.c: Ditto.
	* gcc.target/riscv/adddibge.c: Ditto.
	* gcc.target/riscv/adddibgeu.c: Ditto.
	* gcc.target/riscv/adddibgt.c: Ditto.
	* gcc.target/riscv/adddibgtu.c: Ditto.
	* gcc.target/riscv/adddible.c: Ditto.
	* gcc.target/riscv/adddibleu.c: Ditto.
	* gcc.target/riscv/adddiblt.c: Ditto.
	* gcc.target/riscv/adddibltu.c: Ditto.
	* gcc.target/riscv/adddibne.c: Ditto.
	* gcc.target/riscv/adddieq.c: Ditto.
	* gcc.target/riscv/adddifeq.c: Ditto.
	* gcc.target/riscv/adddifge.c: Ditto.
	* gcc.target/riscv/adddifgt.c: Ditto.
	* gcc.target/riscv/adddifle.c: Ditto.
	* gcc.target/riscv/adddiflt.c: Ditto.
	* gcc.target/riscv/adddifne.c: Ditto.
	* gcc.target/riscv/adddige.c: Ditto.
	* gcc.target/riscv/adddigeu.c: Ditto.
	* gcc.target/riscv/adddigt.c: Ditto.
	* gcc.target/riscv/adddigtu.c: Ditto.
	* gcc.target/riscv/adddile.c: Ditto.
	* gcc.target/riscv/adddileu.c: Ditto.
	* gcc.target/riscv/adddilt.c: Ditto.
	* gcc.target/riscv/adddiltu.c: Ditto.
	* gcc.target/riscv/adddine.c: Ditto.
	* gcc.target/riscv/addsibeq.c: Ditto.
	* gcc.target/riscv/addsibfeq.c: Ditto.
	* gcc.target/riscv/addsibfge.c: Ditto.
	* gcc.target/riscv/addsibfgt.c: Ditto.
	* gcc.target/riscv/addsibfle.c: Ditto.
	* gcc.target/riscv/addsibflt.c: Ditto.
	* gcc.target/riscv/addsibfne.c: Ditto.
	* gcc.target/riscv/addsibge.c: Ditto.
	* gcc.target/riscv/addsibgeu.c: Ditto.
	* gcc.target/riscv/addsibgt.c: Ditto.
	* gcc.target/riscv/addsibgtu.c: Ditto.
	* gcc.target/riscv/addsible.c: Ditto.
	* gcc.target/riscv/addsibleu.c: Ditto.
	* gcc.target/riscv/addsiblt.c: Ditto.
	* gcc.target/riscv/addsibltu.c: Ditto.
	* gcc.target/riscv/addsibne.c: Ditto.
	* gcc.target/riscv/addsieq.c: Ditto.
	* gcc.target/riscv/addsifeq.c: Ditto.
	* gcc.target/riscv/addsifge.c: Ditto.
	* gcc.target/riscv/addsifgt.c: Ditto.
	* gcc.target/riscv/addsifle.c: Ditto.
	* gcc.target/riscv/addsiflt.c: Ditto.
	* gcc.target/riscv/addsifne.c: Ditto.
	* gcc.target/riscv/addsige.c: Ditto.
	* gcc.target/riscv/addsigeu.c: Ditto.
	* gcc.target/riscv/addsigt.c: Ditto.
	* gcc.target/riscv/addsigtu.c: Ditto.
	* gcc.target/riscv/addsile.c: Ditto.
	* gcc.target/riscv/addsileu.c: Ditto.
	* gcc.target/riscv/addsilt.c: Ditto.
	* gcc.target/riscv/addsiltu.c: Ditto.
	* gcc.target/riscv/addsine.c: Ditto.
	* gcc.target/riscv/cmo-zicboz-zic64-1.c: Ditto.
	* gcc.target/riscv/cmpmemsi-2.c: Ditto.
	* gcc.target/riscv/cmpmemsi-3.c: Ditto.
	* gcc.target/riscv/cmpmemsi.c: Ditto.
	* gcc.target/riscv/cpymemsi-2.c: Ditto.
	* gcc.target/riscv/cpymemsi-3.c: Ditto.
	* gcc.target/riscv/cpymemsi.c: Ditto.
	* gcc.target/riscv/crc-builtin-zbc32.c: Ditto.
	* gcc.target/riscv/crc-builtin-zbc64.c: Ditto.
	* gcc.target/riscv/cset-sext-rtl.c: Ditto.
	* gcc.target/riscv/cset-sext-rtl32.c: Ditto.
	* gcc.target/riscv/cset-sext-sfb-rtl.c: Ditto.
	* gcc.target/riscv/cset-sext-sfb-rtl32.c: Ditto.
	* gcc.target/riscv/cset-sext-sfb.c: Ditto.
	* gcc.target/riscv/cset-sext-thead-rtl.c: Ditto.
	* gcc.target/riscv/cset-sext-thead.c: Ditto.
	* gcc.target/riscv/cset-sext-ventana-rtl.c: Ditto.
	* gcc.target/riscv/cset-sext-ventana.c: Ditto.
	* gcc.target/riscv/cset-sext-zicond-rtl.c: Ditto.
	* gcc.target/riscv/cset-sext-zicond-rtl32.c: Ditto.
	* gcc.target/riscv/cset-sext-zicond.c: Ditto.
	* gcc.target/riscv/cset-sext.c: Ditto.
	* gcc.target/riscv/matrix_add_const.c: Ditto.
	* gcc.target/riscv/movdibeq-thead.c: Ditto.
	* gcc.target/riscv/movdibeq-ventana.c: Ditto.
	* gcc.target/riscv/movdibeq-zicond.c: Ditto.
	* gcc.target/riscv/movdibeq.c: Ditto.
	* gcc.target/riscv/movdibfeq-ventana.c: Ditto.
	* gcc.target/riscv/movdibfeq-zicond.c: Ditto.
	* gcc.target/riscv/movdibfeq.c: Ditto.
	* gcc.target/riscv/movdibfge-ventana.c: Ditto.
	* gcc.target/riscv/movdibfge-zicond.c: Ditto.
	* gcc.target/riscv/movdibfge.c: Ditto.
	* gcc.target/riscv/movdibfgt-ventana.c: Ditto.
	* gcc.target/riscv/movdibfgt-zicond.c: Ditto.
	* gcc.target/riscv/movdibfgt.c: Ditto.
	* gcc.target/riscv/movdibfle-ventana.c: Ditto.
	* gcc.target/riscv/movdibfle-zicond.c: Ditto.
	* gcc.target/riscv/movdibfle.c: Ditto.
	* gcc.target/riscv/movdibflt-ventana.c: Ditto.
	* gcc.target/riscv/movdibflt-zicond.c: Ditto.
	* gcc.target/riscv/movdibflt.c: Ditto.
	* gcc.target/riscv/movdibfne-ventana.c: Ditto.
	* gcc.target/riscv/movdibfne-zicond.c: Ditto.
	* gcc.target/riscv/movdibfne.c: Ditto.
	* gcc.target/riscv/movdibge-thead.c: Ditto.
	* gcc.target/riscv/movdibge-ventana.c: Ditto.
	* gcc.target/riscv/movdibge-zicond.c: Ditto.
	* gcc.target/riscv/movdibge.c: Ditto.
	* gcc.target/riscv/movdibgeu-thead.c: Ditto.
	* gcc.target/riscv/movdibgeu-ventana.c: Ditto.
	* gcc.target/riscv/movdibgeu-zicond.c: Ditto.
	* gcc.target/riscv/movdibgeu.c: Ditto.
	* gcc.target/riscv/movdibgt-thead.c: Ditto.
	* gcc.target/riscv/movdibgt-ventana.c: Ditto.
	* gcc.target/riscv/movdibgt-zicond.c: Ditto.
	* gcc.target/riscv/movdibgt.c: Ditto.
	* gcc.target/riscv/movdibgtu-thead.c: Ditto.
	* gcc.target/riscv/movdibgtu-ventana.c: Ditto.
	* gcc.target/riscv/movdibgtu-zicond.c: Ditto.
	* gcc.target/riscv/movdibgtu.c: Ditto.
	* gcc.target/riscv/movdible-thead.c: Ditto.
	* gcc.target/riscv/movdible-ventana.c: Ditto.
	* gcc.target/riscv/movdible-zicond.c: Ditto.
	* gcc.target/riscv/movdible.c: Ditto.
	* gcc.target/riscv/movdibleu-thead.c: Ditto.
	* gcc.target/riscv/movdibleu-ventana.c: Ditto.
	* gcc.target/riscv/movdibleu-zicond.c: Ditto.
	* gcc.target/riscv/movdibleu.c: Ditto.
	* gcc.target/riscv/movdiblt-thead.c: Ditto.
	* gcc.target/riscv/movdiblt-ventana.c: Ditto.
	* gcc.target/riscv/movdiblt-zicond.c: Ditto.
	* gcc.target/riscv/movdiblt.c: Ditto.
	* gcc.target/riscv/movdibltu-thead.c: Ditto.
	* gcc.target/riscv/movdibltu-ventana.c: Ditto.
	* gcc.target/riscv/movdibltu-zicond.c: Ditto.
	* gcc.target/riscv/movdibltu.c: Ditto.
	* gcc.target/riscv/movdibne-thead.c: Ditto.
	* gcc.target/riscv/movdibne-ventana.c: Ditto.
	* gcc.target/riscv/movdibne-zicond.c: Ditto.
	* gcc.target/riscv/movdibne.c: Ditto.
	* gcc.target/riscv/movdieq-sfb.c: Ditto.
	* gcc.target/riscv/movdieq-thead.c: Ditto.
	* gcc.target/riscv/movdieq-ventana.c: Ditto.
	* gcc.target/riscv/movdieq-zicond.c: Ditto.
	* gcc.target/riscv/movdieq.c: Ditto.
	* gcc.target/riscv/movdifeq-sfb.c: Ditto.
	* gcc.target/riscv/movdifeq-thead.c: Ditto.
	* gcc.target/riscv/movdifeq-ventana.c: Ditto.
	* gcc.target/riscv/movdifeq-zicond.c: Ditto.
	* gcc.target/riscv/movdifeq.c: Ditto.
	* gcc.target/riscv/movdifge-sfb.c: Ditto.
	* gcc.target/riscv/movdifge-thead.c: Ditto.
	* gcc.target/riscv/movdifge-ventana.c: Ditto.
	* gcc.target/riscv/movdifge-zicond.c: Ditto.
	* gcc.target/riscv/movdifge.c: Ditto.
	* gcc.target/riscv/movdifgt-sfb.c: Ditto.
	* gcc.target/riscv/movdifgt-thead.c: Ditto.
	* gcc.target/riscv/movdifgt-ventana.c: Ditto.
	* gcc.target/riscv/movdifgt-zicond.c: Ditto.
	* gcc.target/riscv/movdifgt.c: Ditto.
	* gcc.target/riscv/movdifle-sfb.c: Ditto.
	* gcc.target/riscv/movdifle-thead.c: Ditto.
	* gcc.target/riscv/movdifle-ventana.c: Ditto.
	* gcc.target/riscv/movdifle-zicond.c: Ditto.
	* gcc.target/riscv/movdifle.c: Ditto.
	* gcc.target/riscv/movdiflt-sfb.c: Ditto.
	* gcc.target/riscv/movdiflt-thead.c: Ditto.
	* gcc.target/riscv/movdiflt-ventana.c: Ditto.
	* gcc.target/riscv/movdiflt-zicond.c: Ditto.
	* gcc.target/riscv/movdiflt.c: Ditto.
	* gcc.target/riscv/movdifne-sfb.c: Ditto.
	* gcc.target/riscv/movdifne-thead.c: Ditto.
	* gcc.target/riscv/movdifne-ventana.c: Ditto.
	* gcc.target/riscv/movdifne-zicond.c: Ditto.
	* gcc.target/riscv/movdifne.c: Ditto.
	* gcc.target/riscv/movdige-sfb.c: Ditto.
	* gcc.target/riscv/movdige-thead.c: Ditto.
	* gcc.target/riscv/movdige-ventana.c: Ditto.
	* gcc.target/riscv/movdige-zicond.c: Ditto.
	* gcc.target/riscv/movdige.c: Ditto.
	* gcc.target/riscv/movdigeu-sfb.c: Ditto.
	* gcc.target/riscv/movdigeu-thead.c: Ditto.
	* gcc.target/riscv/movdigeu-ventana.c: Ditto.
	* gcc.target/riscv/movdigeu-zicond.c: Ditto.
	* gcc.target/riscv/movdigeu.c: Ditto.
	* gcc.target/riscv/movdigt-sfb.c: Ditto.
	* gcc.target/riscv/movdigt-thead.c: Ditto.
	* gcc.target/riscv/movdigt-ventana.c: Ditto.
	* gcc.target/riscv/movdigt-zicond.c: Ditto.
	* gcc.target/riscv/movdigt.c: Ditto.
	* gcc.target/riscv/movdigtu-sfb.c: Ditto.
	* gcc.target/riscv/movdigtu-thead.c: Ditto.
	* gcc.target/riscv/movdigtu-ventana.c: Ditto.
	* gcc.target/riscv/movdigtu-zicond.c: Ditto.
	* gcc.target/riscv/movdigtu.c: Ditto.
	* gcc.target/riscv/movdile-sfb.c: Ditto.
	* gcc.target/riscv/movdile-thead.c: Ditto.
	* gcc.target/riscv/movdile-ventana.c: Ditto.
	* gcc.target/riscv/movdile-zicond.c: Ditto.
	* gcc.target/riscv/movdile.c: Ditto.
	* gcc.target/riscv/movdileu-sfb.c: Ditto.
	* gcc.target/riscv/movdileu-thead.c: Ditto.
	* gcc.target/riscv/movdileu-ventana.c: Ditto.
	* gcc.target/riscv/movdileu-zicond.c: Ditto.
	* gcc.target/riscv/movdileu.c: Ditto.
	* gcc.target/riscv/movdilt-sfb.c: Ditto.
	* gcc.target/riscv/movdilt-thead.c: Ditto.
	* gcc.target/riscv/movdilt-ventana.c: Ditto.
	* gcc.target/riscv/movdilt-zicond.c: Ditto.
	* gcc.target/riscv/movdilt.c: Ditto.
	* gcc.target/riscv/movdiltu-sfb.c: Ditto.
	* gcc.target/riscv/movdiltu-thead.c: Ditto.
	* gcc.target/riscv/movdiltu-ventana.c: Ditto.
	* gcc.target/riscv/movdiltu-zicond.c: Ditto.
	* gcc.target/riscv/movdiltu.c: Ditto.
	* gcc.target/riscv/movdine-sfb.c: Ditto.
	* gcc.target/riscv/movdine-thead.c: Ditto.
	* gcc.target/riscv/movdine-ventana.c: Ditto.
	* gcc.target/riscv/movdine-zicond.c: Ditto.
	* gcc.target/riscv/movdine.c: Ditto.
	* gcc.target/riscv/movsibeq-thead.c: Ditto.
	* gcc.target/riscv/movsibeq-ventana.c: Ditto.
	* gcc.target/riscv/movsibeq-zicond.c: Ditto.
	* gcc.target/riscv/movsibeq.c: Ditto.
	* gcc.target/riscv/movsibfeq-ventana.c: Ditto.
	* gcc.target/riscv/movsibfeq-zicond.c: Ditto.
	* gcc.target/riscv/movsibfeq.c: Ditto.
	* gcc.target/riscv/movsibfge-ventana.c: Ditto.
	* gcc.target/riscv/movsibfge-zicond.c: Ditto.
	* gcc.target/riscv/movsibfge.c: Ditto.
	* gcc.target/riscv/movsibfgt-ventana.c: Ditto.
	* gcc.target/riscv/movsibfgt-zicond.c: Ditto.
	* gcc.target/riscv/movsibfgt.c: Ditto.
	* gcc.target/riscv/movsibfle-ventana.c: Ditto.
	* gcc.target/riscv/movsibfle-zicond.c: Ditto.
	* gcc.target/riscv/movsibfle.c: Ditto.
	* gcc.target/riscv/movsibflt-ventana.c: Ditto.
	* gcc.target/riscv/movsibflt-zicond.c: Ditto.
	* gcc.target/riscv/movsibflt.c: Ditto.
	* gcc.target/riscv/movsibfne-ventana.c: Ditto.
	* gcc.target/riscv/movsibfne-zicond.c: Ditto.
	* gcc.target/riscv/movsibfne.c: Ditto.
	* gcc.target/riscv/movsibge-thead.c: Ditto.
	* gcc.target/riscv/movsibge-ventana.c: Ditto.
	* gcc.target/riscv/movsibge-zicond.c: Ditto.
	* gcc.target/riscv/movsibge.c: Ditto.
	* gcc.target/riscv/movsibgeu-thead.c: Ditto.
	* gcc.target/riscv/movsibgeu-ventana.c: Ditto.
	* gcc.target/riscv/movsibgeu-zicond.c: Ditto.
	* gcc.target/riscv/movsibgeu.c: Ditto.
	* gcc.target/riscv/movsibgt-thead.c: Ditto.
	* gcc.target/riscv/movsibgt-ventana.c: Ditto.
	* gcc.target/riscv/movsibgt-zicond.c: Ditto.
	* gcc.target/riscv/movsibgt.c: Ditto.
	* gcc.target/riscv/movsibgtu-thead.c: Ditto.
	* gcc.target/riscv/movsibgtu-ventana.c: Ditto.
	* gcc.target/riscv/movsibgtu-zicond.c: Ditto.
	* gcc.target/riscv/movsibgtu.c: Ditto.
	* gcc.target/riscv/movsible-thead.c: Ditto.
	* gcc.target/riscv/movsible-ventana.c: Ditto.
	* gcc.target/riscv/movsible-zicond.c: Ditto.
	* gcc.target/riscv/movsible.c: Ditto.
	* gcc.target/riscv/movsibleu-thead.c: Ditto.
	* gcc.target/riscv/movsibleu-ventana.c: Ditto.
	* gcc.target/riscv/movsibleu-zicond.c: Ditto.
	* gcc.target/riscv/movsibleu.c: Ditto.
	* gcc.target/riscv/movsiblt-thead.c: Ditto.
	* gcc.target/riscv/movsiblt-ventana.c: Ditto.
	* gcc.target/riscv/movsiblt-zicond.c: Ditto.
	* gcc.target/riscv/movsiblt.c: Ditto.
	* gcc.target/riscv/movsibltu-thead.c: Ditto.
	* gcc.target/riscv/movsibltu-ventana.c: Ditto.
	* gcc.target/riscv/movsibltu-zicond.c: Ditto.
	* gcc.target/riscv/movsibltu.c: Ditto.
	* gcc.target/riscv/movsibne-thead.c: Ditto.
	* gcc.target/riscv/movsibne-ventana.c: Ditto.
	* gcc.target/riscv/movsibne-zicond.c: Ditto.
	* gcc.target/riscv/movsibne.c: Ditto.
	* gcc.target/riscv/movsieq-sfb.c: Ditto.
	* gcc.target/riscv/movsieq-thead.c: Ditto.
	* gcc.target/riscv/movsieq-ventana.c: Ditto.
	* gcc.target/riscv/movsieq-zicond.c: Ditto.
	* gcc.target/riscv/movsieq.c: Ditto.
	* gcc.target/riscv/movsifeq-sfb.c: Ditto.
	* gcc.target/riscv/movsifeq-thead.c: Ditto.
	* gcc.target/riscv/movsifeq-ventana.c: Ditto.
	* gcc.target/riscv/movsifeq-zicond.c: Ditto.
	* gcc.target/riscv/movsifeq.c: Ditto.
	* gcc.target/riscv/movsifge-sfb.c: Ditto.
	* gcc.target/riscv/movsifge-thead.c: Ditto.
	* gcc.target/riscv/movsifge-ventana.c: Ditto.
	* gcc.target/riscv/movsifge-zicond.c: Ditto.
	* gcc.target/riscv/movsifge.c: Ditto.
	* gcc.target/riscv/movsifgt-sfb.c: Ditto.
	* gcc.target/riscv/movsifgt-thead.c: Ditto.
	* gcc.target/riscv/movsifgt-ventana.c: Ditto.
	* gcc.target/riscv/movsifgt-zicond.c: Ditto.
	* gcc.target/riscv/movsifgt.c: Ditto.
	* gcc.target/riscv/movsifle-sfb.c: Ditto.
	* gcc.target/riscv/movsifle-thead.c: Ditto.
	* gcc.target/riscv/movsifle-ventana.c: Ditto.
	* gcc.target/riscv/movsifle-zicond.c: Ditto.
	* gcc.target/riscv/movsifle.c: Ditto.
	* gcc.target/riscv/movsiflt-sfb.c: Ditto.
	* gcc.target/riscv/movsiflt-thead.c: Ditto.
	* gcc.target/riscv/movsiflt-ventana.c: Ditto.
	* gcc.target/riscv/movsiflt-zicond.c: Ditto.
	* gcc.target/riscv/movsiflt.c: Ditto.
	* gcc.target/riscv/movsifne-sfb.c: Ditto.
	* gcc.target/riscv/movsifne-thead.c: Ditto.
	* gcc.target/riscv/movsifne-ventana.c: Ditto.
	* gcc.target/riscv/movsifne-zicond.c: Ditto.
	* gcc.target/riscv/movsifne.c: Ditto.
	* gcc.target/riscv/movsige-sfb.c: Ditto.
	* gcc.target/riscv/movsige-thead.c: Ditto.
	* gcc.target/riscv/movsige-ventana.c: Ditto.
	* gcc.target/riscv/movsige-zicond.c: Ditto.
	* gcc.target/riscv/movsige.c: Ditto.
	* gcc.target/riscv/movsigeu-sfb.c: Ditto.
	* gcc.target/riscv/movsigeu-thead.c: Ditto.
	* gcc.target/riscv/movsigeu-ventana.c: Ditto.
	* gcc.target/riscv/movsigeu-zicond.c: Ditto.
	* gcc.target/riscv/movsigeu.c: Ditto.
	* gcc.target/riscv/movsigt-sfb.c: Ditto.
	* gcc.target/riscv/movsigt-thead.c: Ditto.
	* gcc.target/riscv/movsigt-ventana.c: Ditto.
	* gcc.target/riscv/movsigt-zicond.c: Ditto.
	* gcc.target/riscv/movsigt.c: Ditto.
	* gcc.target/riscv/movsigtu-sfb.c: Ditto.
	* gcc.target/riscv/movsigtu-thead.c: Ditto.
	* gcc.target/riscv/movsigtu-ventana.c: Ditto.
	* gcc.target/riscv/movsigtu-zicond.c: Ditto.
	* gcc.target/riscv/movsigtu.c: Ditto.
	* gcc.target/riscv/movsile-sfb.c: Ditto.
	* gcc.target/riscv/movsile-thead.c: Ditto.
	* gcc.target/riscv/movsile-ventana.c: Ditto.
	* gcc.target/riscv/movsile-zicond.c: Ditto.
	* gcc.target/riscv/movsile.c: Ditto.
	* gcc.target/riscv/movsileu-sfb.c: Ditto.
	* gcc.target/riscv/movsileu-thead.c: Ditto.
	* gcc.target/riscv/movsileu-ventana.c: Ditto.
	* gcc.target/riscv/movsileu-zicond.c: Ditto.
	* gcc.target/riscv/movsileu.c: Ditto.
	* gcc.target/riscv/movsilt-sfb.c: Ditto.
	* gcc.target/riscv/movsilt-thead.c: Ditto.
	* gcc.target/riscv/movsilt-ventana.c: Ditto.
	* gcc.target/riscv/movsilt-zicond.c: Ditto.
	* gcc.target/riscv/movsilt.c: Ditto.
	* gcc.target/riscv/movsiltu-sfb.c: Ditto.
	* gcc.target/riscv/movsiltu-thead.c: Ditto.
	* gcc.target/riscv/movsiltu-ventana.c: Ditto.
	* gcc.target/riscv/movsiltu-zicond.c: Ditto.
	* gcc.target/riscv/movsiltu.c: Ditto.
	* gcc.target/riscv/movsine-sfb.c: Ditto.
	* gcc.target/riscv/movsine-thead.c: Ditto.
	* gcc.target/riscv/movsine-ventana.c: Ditto.
	* gcc.target/riscv/movsine-zicond.c: Ditto.
	* gcc.target/riscv/movsine.c: Ditto.
	* gcc.target/riscv/pr111501.c: Ditto.
	* gcc.target/riscv/pr115921.c: Ditto.
	* gcc.target/riscv/pr116033.c: Ditto.
	* gcc.target/riscv/pr116035-1.c: Ditto.
	* gcc.target/riscv/pr116035-2.c: Ditto.
	* gcc.target/riscv/pr116131.c: Ditto.
	* gcc.target/riscv/reg_subreg_costs.c: Ditto.
	* gcc.target/riscv/rvv/autovec/vls-vlmax/shuffle-slide.c: Ditto.
	* gcc.target/riscv/rvv/xtheadvector.c: Ditto.
	* gcc.target/riscv/rvv/xtheadvector/pr114194.c: Ditto.
	* gcc.target/riscv/sign-extend-rshift-32.c: Ditto.
	* gcc.target/riscv/sign-extend-rshift-64.c: Ditto.
	* gcc.target/riscv/sign-extend-rshift.c: Ditto.
	* gcc.target/riscv/synthesis-1.c: Ditto.
	* gcc.target/riscv/synthesis-10.c: Ditto.
	* gcc.target/riscv/synthesis-11.c: Ditto.
	* gcc.target/riscv/synthesis-12.c: Ditto.
	* gcc.target/riscv/synthesis-13.c: Ditto.
	* gcc.target/riscv/synthesis-14.c: Ditto.
	* gcc.target/riscv/synthesis-15.c: Ditto.
	* gcc.target/riscv/synthesis-16.c: Ditto.
	* gcc.target/riscv/synthesis-2.c: Ditto.
	* gcc.target/riscv/synthesis-3.c: Ditto.
	* gcc.target/riscv/synthesis-4.c: Ditto.
	* gcc.target/riscv/synthesis-5.c: Ditto.
	* gcc.target/riscv/synthesis-6.c: Ditto.
	* gcc.target/riscv/synthesis-7.c: Ditto.
	* gcc.target/riscv/synthesis-8.c: Ditto.
	* gcc.target/riscv/synthesis-9.c: Ditto.
	* gcc.target/riscv/target-attr-16.c: Ditto.
	* gcc.target/riscv/target-attr-norelax.c: Ditto.
	* gcc.target/riscv/xtheadba-addsl.c: Ditto.
	* gcc.target/riscv/xtheadba.c: Ditto.
	* gcc.target/riscv/xtheadbb-ext-1.c: Ditto.
	* gcc.target/riscv/xtheadbb-ext-2.c: Ditto.
	* gcc.target/riscv/xtheadbb-ext-3.c: Ditto.
	* gcc.target/riscv/xtheadbb-ext.c: Ditto.
	* gcc.target/riscv/xtheadbb-extu-1.c: Ditto.
	* gcc.target/riscv/xtheadbb-extu-2.c: Ditto.
	* gcc.target/riscv/xtheadbb-extu-4.c: Ditto.
	* gcc.target/riscv/xtheadbb-extu.c: Ditto.
	* gcc.target/riscv/xtheadbb-ff1.c: Ditto.
	* gcc.target/riscv/xtheadbb-rev.c: Ditto.
	* gcc.target/riscv/xtheadbb-srri.c: Ditto.
	* gcc.target/riscv/xtheadbb-strcmp.c: Ditto.
	* gcc.target/riscv/xtheadbb-strlen-unaligned.c: Ditto.
	* gcc.target/riscv/xtheadbb-strlen.c: Ditto.
	* gcc.target/riscv/xtheadbb.c: Ditto.
	* gcc.target/riscv/xtheadbs-tst.c: Ditto.
	* gcc.target/riscv/xtheadbs.c: Ditto.
	* gcc.target/riscv/xtheadcmo.c: Ditto.
	* gcc.target/riscv/xtheadcondmov-indirect.c: Ditto.
	* gcc.target/riscv/xtheadcondmov-mveqz-imm-eqz.c: Ditto.
	* gcc.target/riscv/xtheadcondmov-mveqz-imm-not.c: Ditto.
	* gcc.target/riscv/xtheadcondmov-mveqz-reg-eqz.c: Ditto.
	* gcc.target/riscv/xtheadcondmov-mveqz-reg-not.c: Ditto.
	* gcc.target/riscv/xtheadcondmov-mvnez-imm-cond.c: Ditto.
	* gcc.target/riscv/xtheadcondmov-mvnez-imm-nez.c: Ditto.
	* gcc.target/riscv/xtheadcondmov-mvnez-reg-cond.c: Ditto.
	* gcc.target/riscv/xtheadcondmov-mvnez-reg-nez.c: Ditto.
	* gcc.target/riscv/xtheadcondmov.c: Ditto.
	* gcc.target/riscv/xtheadfmemidx-without-xtheadmemidx.c: Ditto.
	* gcc.target/riscv/xtheadfmemidx.c: Ditto.
	* gcc.target/riscv/xtheadfmv.c: Ditto.
	* gcc.target/riscv/xtheadint.c: Ditto.
	* gcc.target/riscv/xtheadmac-mula-muls.c: Ditto.
	* gcc.target/riscv/xtheadmac.c: Ditto.
	* gcc.target/riscv/xtheadmemidx-index-update.c: Ditto.
	* gcc.target/riscv/xtheadmemidx-index-xtheadbb-update.c: Ditto.
	* gcc.target/riscv/xtheadmemidx-index-xtheadbb.c: Ditto.
	* gcc.target/riscv/xtheadmemidx-index.c: Ditto.
	* gcc.target/riscv/xtheadmemidx-modify-xtheadbb.c: Ditto.
	* gcc.target/riscv/xtheadmemidx-modify.c: Ditto.
	* gcc.target/riscv/xtheadmemidx-uindex-update.c: Ditto.
	* gcc.target/riscv/xtheadmemidx-uindex-xtheadbb-update.c: Ditto.
	* gcc.target/riscv/xtheadmemidx-uindex-xtheadbb.c: Ditto.
	* gcc.target/riscv/xtheadmemidx-uindex.c: Ditto.
	* gcc.target/riscv/xtheadmemidx.c: Ditto.
	* gcc.target/riscv/xtheadmempair-1.c: Ditto.
	* gcc.target/riscv/xtheadmempair-2.c: Ditto.
	* gcc.target/riscv/xtheadmempair-3.c: Ditto.
	* gcc.target/riscv/xtheadmempair-4.c: Ditto.
	* gcc.target/riscv/xtheadmempair-interrupt-fcsr.c: Ditto.
	* gcc.target/riscv/xtheadmempair.c: Ditto.
	* gcc.target/riscv/xtheadsync.c: Ditto.
	* gcc.target/riscv/za-ext.c: Ditto.
	* gcc.target/riscv/zawrs.c: Ditto.
	* gcc.target/riscv/zbb-strcmp-disabled-2.c: Ditto.
	* gcc.target/riscv/zbb-strcmp-disabled.c: Ditto.
	* gcc.target/riscv/zbb-strcmp-limit.c: Ditto.
	* gcc.target/riscv/zbb-strcmp-unaligned.c: Ditto.
	* gcc.target/riscv/zbb-strcmp.c: Ditto.
	* gcc.target/riscv/zbb-strlen-disabled-2.c: Ditto.
	* gcc.target/riscv/zbb-strlen-disabled.c: Ditto.
	* gcc.target/riscv/zbb-strlen-unaligned.c: Ditto.
	* gcc.target/riscv/zbb-strlen.c: Ditto.
	* gcc.target/riscv/zero-extend-rshift-32.c: Ditto.
	* gcc.target/riscv/zero-extend-rshift-64.c: Ditto.
	* gcc.target/riscv/zero-extend-rshift.c: Ditto.
	* gcc.target/riscv/zi-ext.c: Ditto.
	* gcc.target/riscv/zvbb.c: Ditto.
	* gcc.target/riscv/zvbc.c: Ditto.
	* gcc.target/riscv/zvkb.c: Ditto.
	* gcc.target/riscv/zvkg.c: Ditto.
	* gcc.target/riscv/zvkn-1.c: Ditto.
	* gcc.target/riscv/zvkn.c: Ditto.
	* gcc.target/riscv/zvknc-1.c: Ditto.
	* gcc.target/riscv/zvknc-2.c: Ditto.
	* gcc.target/riscv/zvknc.c: Ditto.
	* gcc.target/riscv/zvkned.c: Ditto.
	* gcc.target/riscv/zvkng-1.c: Ditto.
	* gcc.target/riscv/zvkng-2.c: Ditto.
	* gcc.target/riscv/zvkng.c: Ditto.
	* gcc.target/riscv/zvknha.c: Ditto.
	* gcc.target/riscv/zvknhb.c: Ditto.
	* gcc.target/riscv/zvks-1.c: Ditto.
	* gcc.target/riscv/zvks.c: Ditto.
	* gcc.target/riscv/zvksc-1.c: Ditto.
	* gcc.target/riscv/zvksc-2.c: Ditto.
	* gcc.target/riscv/zvksc.c: Ditto.
	* gcc.target/riscv/zvksed.c: Ditto.
	* gcc.target/riscv/zvksg-1.c: Ditto.
	* gcc.target/riscv/zvksg-2.c: Ditto.
	* gcc.target/riscv/zvksg.c: Ditto.
	* gcc.target/riscv/zvksh.c: Ditto.
	* gcc.target/riscv/zvkt.c: Ditto.

Signed-off-by: Dimitar Dimitrov <dimitar@dinux.eu>

The tests are specifying -mcpu with D extension, which is not compatible
with the ILP32E and ILP64E ABIs.  Fix by skipping the tests if toolchain's
default ABI is an E variant.

gcc/testsuite/ChangeLog:

	* gcc.target/riscv/pr109508.c: Skip for E ABI.
	* gcc.target/riscv/pr114139.c: Ditto.

Signed-off-by: Dimitar Dimitrov <dimitar@dinux.eu>

Some tests add options for V and Zvbb extensions, but those extensions
are not compatible with the E ABI variants.  This leads to spurious test
failures when toolchain's default ABI is ILP32E or ILP64E:

  spawn ... -march=rv32ecv_zvbb ...
  cc1: error: ILP32E ABI does not support the 'D' extension
  cc1: sorry, unimplemented: Currently the 'V' implementation requires the 'M' extension

Fix by skipping the tests when toolchain's default ABI is E variant.

gcc/testsuite/ChangeLog:

	* gcc.target/riscv/rvv/autovec/binop/vandn-1.c: Skip if default
	is E ABI.
	* gcc.target/riscv/rvv/autovec/binop/vrolr-1.c: Ditto.
	* gcc.target/riscv/rvv/autovec/binop/vwsll-1.c: Ditto.
	* gcc.target/riscv/rvv/autovec/binop/vwsll-template.h: Ditto.
	* gcc.target/riscv/rvv/autovec/gather-scatter/gather_load_64-12-zvbb.c: Ditto.
	* gcc.target/riscv/rvv/autovec/unop/clz-1.c: Ditto.
	* gcc.target/riscv/rvv/autovec/unop/ctz-1.c: Ditto.
	* gcc.target/riscv/rvv/autovec/unop/popcount-1.c: Ditto.
	* gcc.target/riscv/rvv/autovec/unop/popcount-2.c: Ditto.
	* gcc.target/riscv/rvv/autovec/unop/popcount-3.c: Ditto.
	* gcc.target/riscv/rvv/base/cmpmem-1.c: Ditto.
	* gcc.target/riscv/rvv/base/cmpmem-3.c: Ditto.
	* gcc.target/riscv/rvv/base/cmpmem-4.c: Ditto.
	* gcc.target/riscv/rvv/base/cpymem-1.c: Ditto.
	* gcc.target/riscv/rvv/base/cpymem-2.c: Ditto.
	* gcc.target/riscv/rvv/base/cpymem-3.c: Ditto.
	* gcc.target/riscv/rvv/base/movmem-1.c: Ditto.
	* gcc.target/riscv/rvv/base/pr115068.c: Ditto.
	* gcc.target/riscv/rvv/base/setmem-1.c: Ditto.
	* gcc.target/riscv/rvv/base/setmem-2.c: Ditto.
	* gcc.target/riscv/rvv/base/setmem-3.c: Ditto.
	* gcc.target/riscv/rvv/base/vwaddsub-1.c: Ditto.

Signed-off-by: Dimitar Dimitrov <dimitar@dinux.eu>

Add new effective target check for either ILP32E or ILP64E ABI variants.

Initial implementation only checks for RV32E or RV64E ISA, which in turn
implies that ILP32E/ILP64E ABI is used.  The RV32I+ILP32E and
RV64I+ILP64E combinations are not yet caught by the check, but they
do not seem to be widely used currently.

gcc/testsuite/ChangeLog:

	* lib/target-supports.exp (check_effective_target_riscv_abi_e):
	New procedure.

Signed-off-by: Dimitar Dimitrov <dimitar@dinux.eu>

gcc/fortran/ChangeLog:

	* intrinsic.texi (ISO_FORTRAN_ENV):  Also mention INT8 in the
	text. Document UINT8, UINT16, UINT32 and UINT64.
	(ISO_C_BINDING): New table for unsigned KIND numbers.

The early scheduler takes up ~33% of the total build time, however it doesn't
provide a meaningful performance gain.  This is partly because modern OoO cores
need far less scheduling, partly because the scheduler tends to create many
unnecessary spills by increasing register pressure.  Building applications
56% faster is far more useful than ~0.1% improvement on SPEC, so switch off
early scheduling on AArch64.  Codesize reduces by ~0.2%.

Fix various tests that depend on scheduling by explicitly adding -fschedule-insns.

gcc:
	* common/config/aarch64/aarch64-common.cc: Switch off fschedule_insns.

gcc/testsuite:
	* gcc.dg/guality/pr36728-3.c: Remove XFAIL.
	* gcc.dg/guality/pr68860-1.c: Likewise.
	* gcc.dg/guality/pr68860-2.c: Likewise.
	* gcc.target/aarch64/ldp_aligned.c: Fix test.
	* gcc.target/aarch64/ldp_always.c: Likewise.
	* gcc.target/aarch64/ldp_stp_10.c: Add -fschedule-insns.
	* gcc.target/aarch64/ldp_stp_12.c: Likewise.
	* gcc.target/aarch64/ldp_stp_13.c: Remove test.
	* gcc.target/aarch64/ldp_stp_21.c: Add -fschedule-insns.
	* gcc.target/aarch64/ldp_stp_8.c: Likewise.
	* gcc.target/aarch64/ldp_vec_v2sf.c: Likewise.
	* gcc.target/aarch64/ldp_vec_v2si.c: Likewise.
	* gcc.target/aarch64/test_frame_16.c: Fix test.
	* gcc.target/aarch64/sve/vcond_12.c: Add -fschedule-insns.
	* gcc.target/aarch64/sve/acle/general/ldff1_3.c: Likewise.

The IRA combine_and_move pass runs if the scheduler is disabled and aggressively
combines moves.  The movsf/df patterns allow all FP immediates since they rely
on a split pattern.  However splits do not happen during IRA, so the result is
extra literal loads.  To avoid this, split early during expand and block
creation of FP immediates that need this split.  Mark a few testcases that
rely on late splitting as xfail.

double f(void) { return 128.0; }

-O2 -fno-schedule-insns gives:

	adrp	x0, .LC0
	ldr	d0, [x0, #:lo12:.LC0]
	ret

After patch:

	mov	x0, 4638707616191610880
	fmov	d0, x0
	ret

Passes bootstrap & regress, OK for commit?

gcc:
	* config/aarch64/aarch64.md (movhf_aarch64): Use aarch64_valid_fp_move.
	(movsf_aarch64): Likewise.
	(movdf_aarch64): Likewise.
	* config/aarch64/aarch64.cc (aarch64_valid_fp_move): New function.
	* config/aarch64/aarch64-protos.h (aarch64_valid_fp_move): Likewise.

gcc/testsuite:
	* gcc.target/aarch64/dbl_mov_immediate_1.c: Add xfail for -0.0.
	* gcc.target/aarch64/fmul_scvtf_1.c: Fixup test cases, add xfail,
	reduce duplication.

libgomp/ChangeLog:

	* libgomp.texi (OpenMP 6.0): Fix typo.
	(omp_get_default_device): Update the wording as the value
	returned by omp_get_initial_device is now ambiguous.
	(omp_get_num_devices): Minor wording tweak.
	(omp_get_initial_device): Note that the function may also
	return omp_initial_device since OpenMP 6.

This is a followup to
084ea8ad OpenMP: middle-end support for dispatch + adjust_args.

This patch fixes a bug that caused arguments in an OpenMP dispatch call to be
modified even when no variant substitution occurred.

gcc/ChangeLog:

	* gimplify.cc (gimplify_call_expr): Create variable
	variant_substituted_p to control whether adjust_args applies.

gcc/testsuite/ChangeLog:

	* c-c++-common/gomp/adjust-args-4.c: New test.

When the patch for PR114074 was applied we saw a good boost in exchange2.

This boost was partially caused by a simplification of the addressing modes.
With the patch applied IV opts saw the following form for the base addressing;

  Base: (integer(kind=4) *) &block + ((sizetype) ((unsigned long) l0_19(D) *
324) + 36)

vs what we normally get:

  Base: (integer(kind=4) *) &block + ((sizetype) ((integer(kind=8)) l0_19(D)
* 81) + 9) * 4

This is because the patch promoted multiplies where one operand is a constant
from a signed multiply to an unsigned one, to attempt to fold away the constant.

This patch attempts the same but due to the various problems with SCEV and
niters not being able to analyze the resulting forms (i.e. PR114322) we can't
do it during SCEV or in the general form like in fold-const like extract_muldiv
attempts.

Instead this applies the simplification during IVopts initialization when we
create the IV. This allows IV opts to see the simplified form without
influencing the rest of the compiler.

as mentioned in PR114074 it would be good to fix the missed optimization in the
other passes so we can perform this in general.

The reason this has a big impact on Fortran code is that Fortran doesn't seem to
have unsigned integer types.  As such all it's addressing are created with
signed types and folding does not happen on them due to the possible overflow.

concretely on AArch64 this changes the results from generation:

        mov     x27, -108
        mov     x24, -72
        mov     x23, -36
        add     x21, x1, x0, lsl 2
        add     x19, x20, x22
.L5:
        add     x0, x22, x19
        add     x19, x19, 324
        ldr     d1, [x0, x27]
        add     v1.2s, v1.2s, v15.2s
        str     d1, [x20, 216]
        ldr     d0, [x0, x24]
        add     v0.2s, v0.2s, v15.2s
        str     d0, [x20, 252]
        ldr     d31, [x0, x23]
        add     v31.2s, v31.2s, v15.2s
        str     d31, [x20, 288]
        bl      digits_20_
        cmp     x21, x19
        bne     .L5

into:

.L5:
        ldr     d1, [x19, -108]
        add     v1.2s, v1.2s, v15.2s
        str     d1, [x20, 216]
        ldr     d0, [x19, -72]
        add     v0.2s, v0.2s, v15.2s
        str     d0, [x20, 252]
        ldr     d31, [x19, -36]
        add     x19, x19, 324
        add     v31.2s, v31.2s, v15.2s
        str     d31, [x20, 288]
        bl      digits_20_
        cmp     x21, x19
        bne     .L5

The two patches together results in a 10% performance increase in exchange2 in
SPECCPU 2017 and a 4% reduction in binary size and a 5% improvement in compile
time. There's also a 5% performance improvement in fotonik3d and similar
reduction in binary size.

The patch folds every IV to unsigned to canonicalize them.  At the end of the
pass we match.pd will then remove unneeded conversions.

Note that we cannot force everything to unsigned, IVops requires that array
address expressions remain as such.  Folding them results in them becoming
pointer expressions for which some optimizations in IVopts do not run.

gcc/ChangeLog:

	PR tree-optimization/114932
	* tree-ssa-loop-ivopts.cc (alloc_iv): Perform affine unsigned fold.

gcc/testsuite/ChangeLog:

	PR tree-optimization/114932
	* gcc.dg/tree-ssa/pr64705.c: Update dump file scan.
	* gcc.target/i386/pr115462.c: The testcase shares 3 IVs which calculates
	the same thing but with a slightly different increment offset.  The test
	checks for 3 complex addressing loads, one for each IV.  But with this
	change they now all share one IV.  That is the loop now only has one
	complex addressing.  This is ultimately driven by the backend costing
	and the current costing says this is preferred so updating the testcase.
	* gfortran.dg/addressing-modes_1.f90: New test.

This is an expansion of the last patch to also track pointers via vector types and the
constructor that are used with vector types.
In this case we had:
```
_15 = (long unsigned int) &bias;
_10 = (long unsigned int) &cov_jn;
_12 = {_10, _15};
...

MEM[(struct vec *)&cov_jn] ={v} {CLOBBER(bob)};
bias ={v} {CLOBBER(bob)};
MEM[(struct function *)&D.6156] ={v} {CLOBBER(bob)};

...
MEM <vector(2) long unsigned int> [(void *)&D.6172 + 32B] = _12;
MEM[(struct function *)&D.6157] ={v} {CLOBBER(bob)};
```

Anyways tracking the pointers via vector types to say they are alive
at the point where the store of the vector happens fixes the bug by saying
it is alive at the same time as another variable is alive.

Bootstrapped and tested on x86_64-linux-gnu.

	PR tree-optimization/105769

gcc/ChangeLog:

	* cfgexpand.cc (vars_ssa_cache::operator()): For constructors
	walk over the elements.

gcc/testsuite/ChangeLog:

	* g++.dg/torture/pr105769-1.C: New test.

Signed-off-by: Andrew Pinski <quic_apinski@quicinc.com>

After fixing loop-im to do the correct overflow rewriting
for pointer types too. We end up with code like:
```
_9 = (unsigned long) &g;
_84 = _9 + 18446744073709551615;
_11 = _42 + _84;
_44 = (signed char *) _11;
...
*_44 = 10;
g ={v} {CLOBBER(eos)};
...
n[0] = &f;
*_44 = 8;
g ={v} {CLOBBER(eos)};
```

Which was not being recongized by the scope conflicts code.
This was because it only handled one level walk backs rather than multiple ones.
This fixes the issue by having a cache which records all references to addresses
of stack variables.

Unlike the previous patch, this only records and looks at addresses of stack variables.
The cache uses a bitmap and uses the index as the bit to look at.

	PR middle-end/117426
	PR middle-end/111422
gcc/ChangeLog:

	* cfgexpand.cc (struct vars_ssa_cache): New class.
	(vars_ssa_cache::vars_ssa_cache): New constructor.
	(vars_ssa_cache::~vars_ssa_cache): New deconstructor.
	(vars_ssa_cache::create): New method.
	(vars_ssa_cache::exists): New method.
	(vars_ssa_cache::add_one): New method.
	(vars_ssa_cache::update): New method.
	(vars_ssa_cache::dump): New method.
	(add_scope_conflicts_2): Factor mostly out to
	vars_ssa_cache::operator(). New cache argument.
	Walk the bitmap cache for the stack variables addresses.
	(vars_ssa_cache::operator()): New method factored out from
	add_scope_conflicts_2. Rewrite to be a full walk of all operands
	and use a worklist.
	(add_scope_conflicts_1): Add cache new argument for the addr cache.
	Just call add_scope_conflicts_2 for the phi result instead of calling
	for the uses and don't call walk_stmt_load_store_addr_ops for phis.
	Update call to add_scope_conflicts_2 to add cache argument.
	(add_scope_conflicts): Add cache argument and update calls to
	add_scope_conflicts_1.

gcc/testsuite/ChangeLog:

	* gcc.dg/torture/pr117426-1.c: New test.

Signed-off-by: Andrew Pinski <quic_apinski@quicinc.com>

This is the first patch in improving this code.
Since there are a few places which get the index and they
check the same thing, let's factor that out into one function.

Bootstrapped and tested on x86_64-linux-gnu.

gcc/ChangeLog:

	* cfgexpand.cc (INVALID_STACK_INDEX): New defined.
	(decl_stack_index): New function.
	(visit_op): Use decl_stack_index.
	(visit_conflict): Likewise.
	(add_scope_conflicts_1): Likewise.

Signed-off-by: Andrew Pinski <quic_apinski@quicinc.com>

After a bit of a prod from Hans...

Make the obvious change to these tests to get them passing again on m68k.

	PR testsuite/118055

gcc/testsuite

	* gcc.dg/tree-ssa/pr83403-1.c: Add m68k*-*-* to targets needing
	additional arguments for peeling.
	* gcc.dg/tree-ssa/pr83403-2.c: Similarly.

When the RTL unroller handles constant iteration loops it bails out
prematurely when heuristics wouldn't apply any unrolling before
checking #pragma unroll.

	PR rtl-optimization/118298
	* loop-unroll.cc (decide_unroll_constant_iterations): Honor
	loop->unroll even if the loop is too big for heuristics.

The testcases use -save-temps which doesn't play nice with -flto
and multilib testing resulting in spurious UNRESOLVED like

/usr/lib64/gcc/x86_64-suse-linux/14/../../../../x86_64-suse-linux/bin/ld: i386:x86-64 architecture of input file `./convert-dfp-2.ltrans0.ltrans.o' is incompatible with i386 output

The following skips the testcases when using -flto.

	* gcc.dg/torture/convert-dfp-2.c: Skip with -flto.
	* gcc.dg/torture/convert-dfp.c: Likewise.

gcc/testsuite/ChangeLog:

	* gcc.target/riscv/rvv/rvv.exp: Add dg-runtest to run the
	testcase under gcc.target/riscv/rvv/.

Do not mention an explicit version.

gcc/ada/ChangeLog:

	* libgnat/a-calcon.ads: Adjust.
	* libgnat/a-calend.ads: Adjust.

Having moved __gnat_convert_caught_object to g-cstyin.o, we can drop
other g-cpp* units that are now needed by programs that actually use
their APIs to get more information about C++ exceptions and type_info
objects.

gcc/ada/ChangeLog:

	* gcc-interface/Make-lang.in (GNAT_ADA_OBJS, GNATBIND_OBJS):
	Drop g-cpp, g-cppexc and g-cppstd.

Assignment statements marked with the No_Ctrl_Actions or No_Finalize_Actions
flag are initialization statements and, therefore, no temporaries are needed
to hold the value of the right-hand side for them.

gcc/ada/ChangeLog:

	* gcc-interface/trans.cc (Call_to_gnu): Always use the return slot
	optimization if the parent node is an initialization statement.
	(gnat_to_gnu) <N_Assignment_Statement>: Build an INIT_EXPR instead
	of a MODIFY_EXPR if this is an initialization statement.

Flag Address_Warning_Posted was only read and never written, so it can be
safely removed.

gcc/ada/ChangeLog:

	* gen_il-fields.ads (Opt_Field_Enum): Remove flag.
	* gen_il-gen-gen_nodes.adb (N_Attribute_Definition_Clause): Remove
	field.
	* sem_ch13.adb (Validate_Address_Clauses): Remove read of the flag.
	* sinfo.ads (Address_Warning_Posted): Remove flag description.

An exception is now raised during bootstrap and this causes compatibility
issues with older compilers.

gcc/ada/ChangeLog:

	* exp_aggr.adb (Packed_Array_Aggregate_Handled): Remove declaration
	and handler for Not_Handled local exception. Check the return value
	of Get_Component_Val instead.
	(Get_Component_Val): Return No_Uint instead of raising Not_Handled.

According to RM 13.14(8/4), a static expression in an aspect specification
does not cause freezing; however, the frontend performs many calls to
Preanalyze_Spec_Expression made during the analysis of aspects. This
patch, suggested by Eric Botcazou, takes care of this additional code
cleanup which requires also replacing many occurrences of the global
variable In_Spec_Expression by calls to Preanalysis_Active.

gcc/ada/ChangeLog:

	* exp_util.adb (Insert_Actions): Document behavior under strict
	preanalysis.
	* sem.ads (In_Strict_Preanalysis): New subprogram.
	(Preanalysis_Active): Replace 'and' operator by 'and then'.
	* sem.adb (In_Strict_Preanalysis): Ditto.
	* sem_attr.adb (Check_Dereference): Replace In_Spec_Expression
	occurrence by call to Preanalysis_Active, and document it.
	(Resolve_Attribute [Atribute_Access]): Ditto.
	(Eval_Attribute): No evaluation under strict preanalysis.
	(Validate_Static_Object_Name): No action under strict preanalysis.
	* sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): Replace
	calls to Preanalyze_Spec_Expression by calls to Preanalyze_And_Resolve.
	(Check_Aspect_At_Freeze_Point): Ditto.
	(Resolve_Aspect_Expressions [Dynamic/Static/Predicate aspects]): Code
	cleanup adjusting the code to emulate Preanalyze_And_Resolve, instead
	of Preanalyze_Spec_Expression.
	(Resolve_Aspect_Expressions [CPU/Interrupt_Priority/Priority/
	Storage_Size aspects]): Replace calls to Preanalyze_Spec_Expression
	by call to Preanalyze_And _Resolve.
	* sem_ch3.adb (Analyze_Object_Declaration): Replace In_Spec_Expression
	occurrence by call to Preanalysis_Active.
	(Find_Type_Of_Object): Add documentation.
	* sem_ch4.adb (Analyze_Case_Expression): Replace In_Spec_Expression
	occurrence by call to Preanalysis_Active.
	* sem_ch6.adb (Analyze_Expression_Function): Minor code reorganization
	moving the code preanalyzing the expression after the new body has
	been inserted in the tree to ensure that its Parent attribute is
	available for preanalysis.
	* sem_cat.adb (Validate_Static_Object_Name): No action under strict
	preanalysis.
	* sem_elab.adb (Check_For_Eliminated_Subprogram): Replace In_Spec_Expression
	occurrence by call to Preanalysis_Active.
	* sem_eval.adb (Eval_Intrinsic_Call [Name_Enclosing_Entity]): Ditto.
	* sem_elim.adb (Check_For_Eliminated_Subprogram): Ditto.
	* sem_res.adb (Resolve_Entity_Name): Ditto.

Code cleanup suggested by GNATcheck rule Constant_Overlays.

gcc/ada/ChangeLog:

	* repinfo-input.adb (Decode_Name, Read_Name_With_Prefix): Use constant
	overlay with pragma Import.

A code cleanup in routine intended to be used from DGB, suggested by running
GNATcheck rule Boolean_Negations. However, this code can be tuned to protect
against more illegal uses.

gcc/ada/ChangeLog:

	* exp_disp.adb (Write_DT): Add guards that prevent crashes on illegal
	node numbers.

Code cleanup; semantics is unaffected.

gcc/ada/ChangeLog:

	* diagnostics-pretty_emitter.adb (Get_Last_Line_Char): Fix whitespace.
	* sem_aggr.adb (Resolve_Array_Aggregate): Fix style.

Code cleanup; behavior is unaffected.

gcc/ada/ChangeLog:

	* sem_util.adb (Is_Null_Record_Definition): Remove check for
	Component_List being present after using it; replace check for
	component item being a component declaration with an assertion;
	fix style in comment.

This patch fixes two problems with how abort was deferred in finally
parts. First, calls to runtime subprograms are now omitted when
aborting is disallowed by active restrictions. Second, Abort_Undefer is
now correctly called when the finally part propagates an exception.

gcc/ada/ChangeLog:

	* exp_ch11.adb (Expand_N_Handled_Sequence_Of_Statements): Fix abort
	deferral.

In some cases, the RM 8.5.1(3.1) legality rule about uses of renamings of
limited views of packages was implemented incorrectly, resulting in rejecting
legal uses.

gcc/ada/ChangeLog:

	* gen_il-fields.ads: add new Renames_Limited_View field.
	* gen_il-gen-gen_entities.adb: add Renames_Limited_View flag for
	packages.
	* einfo.ads: add comment documenting Renames_Limited_View flag.
	* sem_ch8.adb (Analyze_Package_Renaming): Set new Renames_Limited_View
	flag. Test new Renames_Limited_View flag instead of calling
	Has_Limited_With. If Has_Limited_With is True, that just means
	that somebody, sometime during this compilation needed to
	reference the limited view of the package; so that function
	returns True too often to be used here.
	(Find_Expanded_Name): Test new Renames_Limited_View flag instead of
	calling Has_Limited_With.

Code cleanup; behavior is unaffected. Flag Is_Inherited_Pragma is only set in
GNAT, but is not actually used, neither by the compiler nor by any backend.

gcc/ada/ChangeLog:

	* contracts.adb (Inherit_Pragma): Don't set flag Is_Inherited_Pragma.
	* gen_il-fields.ads (Opt_Field_Enum): Remove field identifier.
	* gen_il-gen-gen_nodes.adb (N_Pragma): Remove field from node.
	* sinfo.ads (Is_Inherited_Pragma): Remove field description.
	(N_Pragma): Remove field reference.

Code cleanup.

gcc/ada/ChangeLog:

	* sem_prag.adb (Analyze_Attribute): Replace runtime conversion
	with existing constant.

Code cleanup; given that no attribute is both defined by Ada 83 and specific to
GNAT, the semantics is unaffected.

gcc/ada/ChangeLog:

	* sem_attr.adb (Analyze_Attribute): Simplify logic.

Use existing machinery for internal attributes to handle attributes
related to Ada 2012 iterators. All these attributes exist exclusively
as a mean to delay processing.

Code cleanup. The only change in behavior is the wording of error
emitted when one of the internal attributes appears in source code:
from "illegal attribute" (which used to be emitted in the analysis)
to "unrecognized attribute (which is emitted by the parser).

gcc/ada/ChangeLog:

	* exp_attr.adb (Expand_N_Attribute_Reference): Remove explicit
	handling of attributes related to Ada 2012 iterators.
	* sem_attr.adb (Analyze_Attribute, Eval_Attribute): Likewise;
	move attribute Reduce according to alphabetic order.
	* snames.adb-tmpl (Get_Attribute_Id): Add support for new internal
	attributes.
	* snames.ads-tmpl: Recognize names of new internal attributes.
	(Attribute_Id): Recognize new internal attributes.
	(Internal_Attribute_Id): Likewise.
	(Is_Internal_Attribute_Name): Avoid duplication in comment.

Code cleanup related to work on expression functions for GNATprove
(which require accessibility checks even when they are not expanded
and thus have no explicit return statements).

gcc/ada/ChangeLog:

	* accessibility.adb (First_Selector): Remove redundant and locally
	inconsistent parenthesis.
	(Check_Return_Construct_Accessibility): Remove qualifier from list
	operation.
	* sem_util.adb (Is_Prim_Of_Abst_Type_With_Nonstatic_CW_Pre_Post):
	Likewise.