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 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: 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) Full commit (up to 1000 lines): commit 09b7993ab6d93716f77c03ff9a9165fa4b579f0d Author: Richard Biener 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)