[TCWG CI] Failure after basepoints/gcc-13-4227-g09b7993ab6d: tree-optimization/107672 - avoid vector mode type_for_mode call

[ci_notify@linaro.org]

[-- Attachment #1: Type: text/plain, Size: 4471 bytes --]

Failure after basepoints/gcc-13-4227-g09b7993ab6d: tree-optimization/107672 - avoid vector mode type_for_mode call:

Results changed to
-10
# true:
0
# build_abe binutils:
1
# build_abe bootstrap_O3:
# FAILED
# First few build errors in logs:
# 00:07:10 make[3]: [Makefile:1818: armv8l-unknown-linux-gnueabihf/bits/largefile-config.h] Error 1 (ignored)
# 00:14:54 options-save.cc:1292:1: internal compiler error: in supportable_widening_operation, at tree-vect-stmts.cc:12199
# 00:14:55 make[3]: *** [Makefile:1146: options-save.o] Error 1
# 00:34:02 make[2]: *** [Makefile:4959: all-stage2-gcc] Error 2
# 00:34:02 make[1]: *** [Makefile:25465: stage2-bubble] Error 2
# 00:34:02 make: *** [Makefile:1062: all] Error 2

from
-10
# true:
0
# build_abe binutils:
1
# build_abe bootstrap_O3:
2

THIS IS THE END OF INTERESTING STUFF.  BELOW ARE LINKS TO BUILDS, REPRODUCTION INSTRUCTIONS, AND THE RAW COMMIT.

For latest status see comments in https://linaro.atlassian.net/browse/GNU-692 .
Status of basepoints/gcc-13-4227-g09b7993ab6d commit for tcwg_gcc_bootstrap:
commit 09b7993ab6d93716f77c03ff9a9165fa4b579f0d
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Nov 22 09:03:53 2022 +0100

    tree-optimization/107672 - avoid vector mode type_for_mode call
    
    The following avoids using type_for_mode on vector modes which might
    not work for all frontends.  Instead we look for the inner mode
    type and use build_vector_type_for_mode instead.
    
            PR tree-optimization/107672
            * tree-vect-stmts.cc (supportable_widening_operation): Avoid
            type_for_mode on vector modes.
* master-arm-bootstrap_O3
** Failure after basepoints/gcc-13-4227-g09b7993ab6d: tree-optimization/107672 - avoid vector mode type_for_mode call:
** https://ci.linaro.org/job/tcwg_gcc_bootstrap-build-master-arm-bootstrap_O3/535/

Bad  build: https://ci.linaro.org/job/tcwg_gcc_bootstrap-build-master-arm-bootstrap_O3/535/artifact/artifacts
Good build: https://ci.linaro.org/job/tcwg_gcc_bootstrap-build-master-arm-bootstrap_O3/534/artifact/artifacts

Reproduce current build:
<cut>
mkdir -p investigate-gcc-09b7993ab6d93716f77c03ff9a9165fa4b579f0d
cd investigate-gcc-09b7993ab6d93716f77c03ff9a9165fa4b579f0d

# Fetch scripts
git clone https://git.linaro.org/toolchain/jenkins-scripts

# Fetch manifests for bad and good builds
mkdir -p bad/artifacts good/artifacts
curl -o bad/artifacts/manifest.sh https://ci.linaro.org/job/tcwg_gcc_bootstrap-build-master-arm-bootstrap_O3/535/artifact/artifacts/manifest.sh --fail
curl -o good/artifacts/manifest.sh https://ci.linaro.org/job/tcwg_gcc_bootstrap-build-master-arm-bootstrap_O3/534/artifact/artifacts/manifest.sh --fail

# Reproduce bad build
(cd bad; ../jenkins-scripts/tcwg_gnu-build.sh ^^ true %%rr[top_artifacts] artifacts)
# Reproduce good build
(cd good; ../jenkins-scripts/tcwg_gnu-build.sh ^^ true %%rr[top_artifacts] artifacts)
</cut>

Full commit (up to 1000 lines):
<cut>
commit 09b7993ab6d93716f77c03ff9a9165fa4b579f0d
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Nov 22 09:03:53 2022 +0100

    tree-optimization/107672 - avoid vector mode type_for_mode call
    
    The following avoids using type_for_mode on vector modes which might
    not work for all frontends.  Instead we look for the inner mode
    type and use build_vector_type_for_mode instead.
    
            PR tree-optimization/107672
            * tree-vect-stmts.cc (supportable_widening_operation): Avoid
            type_for_mode on vector modes.
---
 gcc/tree-vect-stmts.cc | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/gcc/tree-vect-stmts.cc b/gcc/tree-vect-stmts.cc
index bc0ef136f19..b35b986889d 100644
--- a/gcc/tree-vect-stmts.cc
+++ b/gcc/tree-vect-stmts.cc
@@ -12195,9 +12195,15 @@ supportable_widening_operation (vec_info *vinfo,
 	intermediate_type
 	  = vect_halve_mask_nunits (prev_type, intermediate_mode);
       else
-	intermediate_type
-	  = lang_hooks.types.type_for_mode (intermediate_mode,
-					    TYPE_UNSIGNED (prev_type));
+	{
+	  gcc_assert (VECTOR_MODE_P (intermediate_mode));
+	  tree intermediate_element_type
+	    = lang_hooks.types.type_for_mode (GET_MODE_INNER (intermediate_mode),
+					      TYPE_UNSIGNED (prev_type));
+	  intermediate_type
+	    = build_vector_type_for_mode (intermediate_element_type,
+					  intermediate_mode);
+	}
 
       if (VECTOR_BOOLEAN_TYPE_P (intermediate_type)
 	  && VECTOR_BOOLEAN_TYPE_P (prev_type)
</cut>