From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lug-owl.de (lug-owl.de [188.68.32.151]) by sourceware.org (Postfix) with ESMTPS id 32B9539524BD for ; Mon, 5 Dec 2022 21:39:38 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 32B9539524BD Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=lug-owl.de Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=lug-owl.de Received: by lug-owl.de (Postfix, from userid 1001) id 095AE4207A; Mon, 5 Dec 2022 22:39:37 +0100 (CET) Date: Mon, 5 Dec 2022 22:39:37 +0100 From: Jan-Benedict Glaw To: Richard Biener Cc: gcc-patches@gcc.gnu.org Subject: Re: [PATCH] tree-optimization/107852 - missed optimization with PHIs Message-ID: <20221205213936.lmkfspepktu5ackp@lug-owl.de> References: <20221129133022.99C0C13AF6@imap2.suse-dmz.suse.de> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="wyq5ee7biceytui2" Content-Disposition: inline In-Reply-To: <20221129133022.99C0C13AF6@imap2.suse-dmz.suse.de> X-Operating-System: Linux chamaeleon 5.14.0-0.bpo.2-amd64 X-gpg-fingerprint: 250D 3BCF 7127 0D8C A444 A961 1DBD 5E75 8399 E1BB X-gpg-key: wwwkeys.de.pgp.net X-Echelon-Enable: howto poison arsenous mail psychological biological nuclear warfare test the bombastical terror of flooding the spy listeners explosion sex drugs and rock'n'roll X-TKUeV: howto poison arsenous mail psychological biological nuclear warfare test the bombastical terror of flooding the spy listeners explosion sex drugs and rock'n'roll X-message-flag: Please send plain text messages only. Do not send HTML emails. Thank you. User-Agent: NeoMutt/20170113 (1.7.2) X-Spam-Status: No, score=-3.7 required=5.0 tests=BAYES_00,KAM_DMARC_STATUS,KAM_SHORT,SPF_HELO_PASS,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: --wyq5ee7biceytui2 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Tue, 2022-11-29 14:30:22 +0100, Richard Biener via Gcc-patches wrote: > Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed. >=20 > PR tree-optimization/107852 > * tree-ssa-sccvn.cc (visit_phi): Use equivalences recorded > as predicated values to elide more redundant PHIs. >=20 > * gcc.dg/tree-ssa/ssa-fre-101.c: New testcase. This seems to trigger an issue when building the Linux powerpc kernel for the skiroot_defconfig: [mk all 2022-12-05 19:50:10] powerpc64-linux-gcc -Wp,-MMD,drivers/dma-buf= /.dma-fence-array.o.d -nostdinc -I./arch/powerpc/include -I./arch/powerpc/i= nclude/generated -I./include -I./arch/powerpc/include/uapi -I./arch/powerp= c/include/generated/uapi -I./include/uapi -I./include/generated/uapi -inclu= de ./include/linux/compiler-version.h -include ./include/linux/kconfig.h -i= nclude ./include/linux/compiler_types.h -D__KERNEL__ -I ./arch/powerpc -DHA= VE_AS_ATHIGH=3D1 -fmacro-prefix-map=3D./=3D -Wall -Wundef -Werror=3Dstrict-= prototypes -Wno-trigraphs -fno-strict-aliasing -fno-common -fshort-wchar -f= no-PIE -Werror=3Dimplicit-function-declaration -Werror=3Dimplicit-int -Werr= or=3Dreturn-type -Wno-format-security -std=3Dgnu11 -mlittle-endian -m64 -ms= oft-float -pipe -mtraceback=3Dno -mabi=3Delfv2 -mcmodel=3Dmedium -mno-point= ers-to-nested-functions -mcpu=3Dpower8 -mtune=3Dpower10 -mno-prefixed -mno-= pcrel -mno-altivec -mno-vsx -mno-mma -fno-asynchronous-unwind-tables -mno-s= tring -Wa,-maltivec -Wa,-mpower4 -Wa,-many -mno-strict-align -mlittle-endia= n -mstack-protector-guard=3Dtls -mstack-protector-guard-reg=3Dr13 -fno-dele= te-null-pointer-checks -Wno-frame-address -Wno-format-truncation -Wno-forma= t-overflow -Wno-address-of-packed-member -Os -fno-allow-store-data-races -W= frame-larger-than=3D2048 -fstack-protector-strong -Wno-main -Wno-unused-but= -set-variable -Wno-unused-const-variable -Wno-dangling-pointer -fomit-frame= -pointer -ftrivial-auto-var-init=3Dzero -fno-stack-clash-protection -Wdecla= ration-after-statement -Wvla -Wno-pointer-sign -Wcast-function-type -Wno-st= ringop-truncation -Wno-stringop-overflow -Wno-restrict -Wno-maybe-uninitial= ized -Wno-alloc-size-larger-than -Wimplicit-fallthrough=3D5 -fno-strict-ove= rflow -fno-stack-check -fconserve-stack -Werror=3Ddate-time -Werror=3Dincom= patible-pointer-types -Werror=3Ddesignated-init -Wno-packed-not-aligned -ms= tack-protector-guard-offset=3D2800 -DKBUILD_MODFILE=3D'"drivers/dma-buf/= dma-fence-array"' -DKBUILD_BASENAME=3D'"dma_fence_array"' -DKBUILD_MODNAME= =3D'"dma_fence_array"' -D__KBUILD_MODNAME=3Dkmod_dma_fence_array -c -o driv= ers/dma-buf/dma-fence-array.o drivers/dma-buf/dma-fence-array.c =20 [mk all 2022-12-05 19:50:10] drivers/dma-buf/dma-fence-array.c: In function= 'dma_fence_array_create': [mk all 2022-12-05 19:50:10] drivers/dma-buf/dma-fence-array.c:154:25: erro= r: control flow in the middle of basic block 12 [mk all 2022-12-05 19:50:10] 154 | struct dma_fence_array *dma_fence_arra= y_create(int num_fences, [mk all 2022-12-05 19:50:10] | ^~~~~~~~~~~~~~= ~~~~~~~~ [mk all 2022-12-05 19:50:10] during GIMPLE pass: ivopts [mk all 2022-12-05 19:50:10] drivers/dma-buf/dma-fence-array.c:154:25: inte= rnal compiler error: verify_flow_info failed [mk all 2022-12-05 19:50:10] 0x19ea876 internal_error(char const*, ...) [mk all 2022-12-05 19:50:10] ???:0 [mk all 2022-12-05 19:50:10] 0x94b00e verify_flow_info() [mk all 2022-12-05 19:50:10] ???:0 [mk all 2022-12-05 19:50:10] Please submit a full bug report, with preproce= ssed source (by using -freport-bug). [mk all 2022-12-05 19:50:10] Please include the complete backtrace with any= bug report. [mk all 2022-12-05 19:50:10] See for instructio= ns. Maybe you've got an idea, otherwise I'll try to reproduce it manually. (That's all automated building.) Thanks, Jan-Benedict --=20 --wyq5ee7biceytui2 Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iF0EABECAB0WIQQlDTvPcScNjKREqWEdvV51g5nhuwUCY45lFgAKCRAdvV51g5nh u6YcAJ41MxqXIiiK1etp9T03+bstFczYJQCfUI/tAkkK3LgKs5Pv8gmA6eGdntc= =kMGk -----END PGP SIGNATURE----- --wyq5ee7biceytui2--