Re: question on verify_ssa failure due to ccp in dom3 (PR30784)

2007-03-24 Thread Andrew Pinski
On 3/24/07, Dorit Nuzman <[EMAIL PROTECTED]> wrote: the problem is that for the case of BIT_FIELD_REF fold_ternary folds only if operand 0 is VECTOR_CST. In our case it's a CONSTRUCTOR. I'm testing the patch below (comments?). This patch looks correct, by the way this was caused by my patch to

Re: question on verify_ssa failure due to ccp in dom3 (PR30784)

2007-03-23 Thread Dorit Nuzman
> On 3/14/07, Dorit Nuzman <[EMAIL PROTECTED]> wrote: > > > > Hi, > > > > We have a '{2,2}' expression (vector initializer) propagated by dom into a > > BIT_FIELD_REF: > > > > before (bug.c.105t.vrp2): > > > > vector long int vect_cst_.47; > > vect_cst_.47_66 = {2, 2}; > > D.2103_

Re: question on verify_ssa failure due to ccp in dom3 (PR30784)

2007-03-14 Thread Jeffrey Law
On Wed, 2007-03-14 at 15:06 +0100, Richard Guenther wrote: > I think the BIT_FIELD_REF should be properly folded to a constant or > the propagation not done. Agreed. I'd lean towards folding the BIT_FIELD_REF to a constant, but if that isn't easy I'd recommend avoiding the propagation. Jeff

Re: question on verify_ssa failure due to ccp in dom3 (PR30784)

2007-03-14 Thread Richard Guenther
On 14 Mar 2007 07:22:10 -0700, Ian Lance Taylor <[EMAIL PROTECTED]> wrote: Dorit Nuzman <[EMAIL PROTECTED]> writes: > D.2103_79 = BIT_FIELD_REF <{2, 2}, 64, 0>; > > > ...which causes he following ICE: > " >bug.c:8: error: invalid reference prefix >{2, 2} >bug.c:8: internal comp

Re: question on verify_ssa failure due to ccp in dom3 (PR30784)

2007-03-14 Thread Ian Lance Taylor
Dorit Nuzman <[EMAIL PROTECTED]> writes: > D.2103_79 = BIT_FIELD_REF <{2, 2}, 64, 0>; > > > ...which causes he following ICE: > " >bug.c:8: error: invalid reference prefix >{2, 2} >bug.c:8: internal compiler error: verify_stmts failed > " Maybe fold-const.c needs to recognize

Re: question on verify_ssa failure due to ccp in dom3 (PR30784)

2007-03-14 Thread Richard Guenther
On 3/14/07, Dorit Nuzman <[EMAIL PROTECTED]> wrote: Hi, We have a '{2,2}' expression (vector initializer) propagated by dom into a BIT_FIELD_REF: before (bug.c.105t.vrp2): vector long int vect_cst_.47; vect_cst_.47_66 = {2, 2}; D.2103_79 = BIT_FIELD_REF ; after (bug.c.106t.

question on verify_ssa failure due to ccp in dom3 (PR30784)

2007-03-14 Thread Dorit Nuzman
Hi, We have a '{2,2}' expression (vector initializer) propagated by dom into a BIT_FIELD_REF: before (bug.c.105t.vrp2): vector long int vect_cst_.47; vect_cst_.47_66 = {2, 2}; D.2103_79 = BIT_FIELD_REF ; after (bug.c.106t.dom3): " Optimizing block #7 Optimi