Re: [PATCH PR94574] ICE during GIMPLE pass: ccp
On Tue, Apr 14, 2020 at 1:57 PM yangyang (ET) wrote: > > Hi, > > > -Original Message- > > From: Richard Biener [mailto:richard.guent...@gmail.com] > > Sent: Tuesday, April 14, 2020 4:44 PM > > To: yangyang (ET) > > Cc: gcc-patches@gcc.gnu.org > > Subject: Re: [PATCH PR94574] ICE during GIMPLE pass: ccp > > > > On Mon, Apr 13, 2020 at 11:38 AM yangyang (ET) > > wrote: > > > > > > Hi, > > > > > > This is a simple fix for pr94574. > > > > > > testcase testsuite/gcc.target/aarch64/sve/acle/general/deref_1.c ICEs > > when testing GCC trunk with -O2 -msve-vector-bits=256 > > -march=armv8.2-a+sve. > > > > > > There is a gimple statement before the ccp pass as follow: > > > > > > MEM[(svuint32_t *)] = _2; > > > > > > The ccp pass tries to convert this gimple into: > > > > > > _7 = VIEW_CONVERT_EXPR(_2); > > > res_9 = BIT_INSERT_EXPR ; > > > > > > However, the size of _7 is larger than res_8(D) , leading to a > > verify_gimple failure. Since the replaced bits of BIT_INSERT_EXPR are > > supposed > > to fully inside the container, before doing the above optimitzaion, a check > > shall > > be added. > > > > > > With this fix, a MEM_REF which visits the address of a vector will be > > rewritten into a BIT_INSERT_EXPR only when the size of the vector is larger > > than the size of MEM_REF. In this way, this kind of ICE can be avoided. > > > > > > a test case with which this problem will be exposed more easily is > > extracted and added for this. Bootstrapped/regtested on both x86_64 and > > aarch64 Linux platform. > > > Any suggestion? > > > > OK. > > > > Thanks, > > Richard. > > > Thanks for reviewing this. > > The attached patch has been adjusted to be suitable for git am. Can you > sponsor it if it's OK to go? Will do. > Thanks, > Yang Yang
RE: [PATCH PR94574] ICE during GIMPLE pass: ccp
Hi, > -Original Message- > From: Richard Biener [mailto:richard.guent...@gmail.com] > Sent: Tuesday, April 14, 2020 4:44 PM > To: yangyang (ET) > Cc: gcc-patches@gcc.gnu.org > Subject: Re: [PATCH PR94574] ICE during GIMPLE pass: ccp > > On Mon, Apr 13, 2020 at 11:38 AM yangyang (ET) > wrote: > > > > Hi, > > > > This is a simple fix for pr94574. > > > > testcase testsuite/gcc.target/aarch64/sve/acle/general/deref_1.c ICEs > when testing GCC trunk with -O2 -msve-vector-bits=256 > -march=armv8.2-a+sve. > > > > There is a gimple statement before the ccp pass as follow: > > > > MEM[(svuint32_t *)] = _2; > > > > The ccp pass tries to convert this gimple into: > > > > _7 = VIEW_CONVERT_EXPR(_2); > > res_9 = BIT_INSERT_EXPR ; > > > > However, the size of _7 is larger than res_8(D) , leading to a > verify_gimple failure. Since the replaced bits of BIT_INSERT_EXPR are supposed > to fully inside the container, before doing the above optimitzaion, a check > shall > be added. > > > > With this fix, a MEM_REF which visits the address of a vector will be > rewritten into a BIT_INSERT_EXPR only when the size of the vector is larger > than the size of MEM_REF. In this way, this kind of ICE can be avoided. > > > > a test case with which this problem will be exposed more easily is > extracted and added for this. Bootstrapped/regtested on both x86_64 and > aarch64 Linux platform. > > Any suggestion? > > OK. > > Thanks, > Richard. Thanks for reviewing this. The attached patch has been adjusted to be suitable for git am. Can you sponsor it if it's OK to go? Thanks, Yang Yang pr94574-v1.patch Description: pr94574-v1.patch
Re: [PATCH PR94574] ICE during GIMPLE pass: ccp
On Mon, Apr 13, 2020 at 11:38 AM yangyang (ET) wrote: > > Hi, > > This is a simple fix for pr94574. > > testcase testsuite/gcc.target/aarch64/sve/acle/general/deref_1.c ICEs when > testing GCC trunk with -O2 -msve-vector-bits=256 -march=armv8.2-a+sve. > > There is a gimple statement before the ccp pass as follow: > > MEM[(svuint32_t *)] = _2; > > The ccp pass tries to convert this gimple into: > > _7 = VIEW_CONVERT_EXPR(_2); > res_9 = BIT_INSERT_EXPR ; > > However, the size of _7 is larger than res_8(D) , leading to a > verify_gimple failure. Since the replaced bits of BIT_INSERT_EXPR are > supposed to fully inside the container, before doing the above optimitzaion, > a check shall be added. > > With this fix, a MEM_REF which visits the address of a vector will be > rewritten into a BIT_INSERT_EXPR only when the size of the vector is larger > than the size of MEM_REF. In this way, this kind of ICE can be avoided. > > a test case with which this problem will be exposed more easily is > extracted and added for this. Bootstrapped/regtested on both x86_64 and > aarch64 Linux platform. > Any suggestion? OK. Thanks, Richard. > Thanks, > Yang Yang > > gcc: > +2020-04-13 Yang Yang > + > + PR tree-optimization/94574 > + * tree-ssa.c (non_rewritable_lvalue_p): Add size check when analyzing > + whether a vector-insert is rewritable using a BIT_INSERT_EXPR. > > gcc/testsuite: > +2020-04-13 Yang Yang > + > + PR tree-optimization/94574 > + * gcc.dg/pr94574.c: New test.
[PATCH PR94574] ICE during GIMPLE pass: ccp
Hi, This is a simple fix for pr94574. testcase testsuite/gcc.target/aarch64/sve/acle/general/deref_1.c ICEs when testing GCC trunk with -O2 -msve-vector-bits=256 -march=armv8.2-a+sve. There is a gimple statement before the ccp pass as follow: MEM[(svuint32_t *)] = _2; The ccp pass tries to convert this gimple into: _7 = VIEW_CONVERT_EXPR(_2); res_9 = BIT_INSERT_EXPR ; However, the size of _7 is larger than res_8(D) , leading to a verify_gimple failure. Since the replaced bits of BIT_INSERT_EXPR are supposed to fully inside the container, before doing the above optimitzaion, a check shall be added. With this fix, a MEM_REF which visits the address of a vector will be rewritten into a BIT_INSERT_EXPR only when the size of the vector is larger than the size of MEM_REF. In this way, this kind of ICE can be avoided. a test case with which this problem will be exposed more easily is extracted and added for this. Bootstrapped/regtested on both x86_64 and aarch64 Linux platform. Any suggestion? Thanks, Yang Yang gcc: +2020-04-13 Yang Yang + + PR tree-optimization/94574 + * tree-ssa.c (non_rewritable_lvalue_p): Add size check when analyzing + whether a vector-insert is rewritable using a BIT_INSERT_EXPR. gcc/testsuite: +2020-04-13 Yang Yang + + PR tree-optimization/94574 + * gcc.dg/pr94574.c: New test. pr94574-v0.patch Description: pr94574-v0.patch
