------- Comment #2 from rguenth at gcc dot gnu dot org 2007-02-13 12:48 -------
I get
./cc1 -quiet -O -march=athlon-xp -m32 -ftree-vectorize x.i
x.i: In function 'foo':
x.i:2: error: invalid reference prefix
{4, 4, 4, 4}
x.i:2: error: invalid reference prefix
{4, 4, 4, 4}
x.i:2: error: invalid reference prefix
{4, 4, 4, 4}
x.i:2: error: invalid reference prefix
{4, 4, 4, 4}
x.i:2: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
After vectorization:
<bb 2>:
stmp_var_.29_22 = 2;
stmp_var_.30_23 = stmp_var_.29_22 + 1;
stmp_var_.31_24 = stmp_var_.30_23 + 1;
vect_cst_.32_25 = {1, stmp_var_.29_22, stmp_var_.30_23, stmp_var_.31_24};
vect_cst_.33_26 = {4, 4, 4, 4};
vect_pirows.39_29 = (vector int *) &irows;
vect_pirows.35_30 = vect_pirows.39_29;
# ivtmp.41_33 = PHI <ivtmp.41_34(7), 0(2)>
# ivtmp.40_31 = PHI <ivtmp.40_32(7), vect_pirows.35_30(2)>
# vect_vec_iv_.34_27 = PHI <vect_vec_iv_.34_28(7), vect_cst_.32_25(2)>
# ivtmp.25_1 = PHI <ivtmp.25_5(7), 999(2)>
# i_10 = PHI <i_4(7), 1(2)>
<L0>:;
D.1842_3 = i_10 + -1;
vect_vec_iv_.34_28 = vect_vec_iv_.34_27 + vect_cst_.33_26;
*ivtmp.40_31 = vect_vec_iv_.34_27;
i_4 = i_10 + 1;
ivtmp.25_5 = ivtmp.25_1 - 1;
ivtmp.40_32 = ivtmp.40_31 + 16B;
ivtmp.41_34 = ivtmp.41_33 + 1;
if (ivtmp.41_34 < 249) goto <L5>; else goto <L10>;
(looks good)
but then veclower does
# ivtmp.41_33 = PHI <ivtmp.41_34(7), 0(2)>
# ivtmp.40_31 = PHI <ivtmp.40_32(7), vect_pirows.35_30(2)>
# vect_vec_iv_.34_27 = PHI <vect_vec_iv_.34_28(7), vect_cst_.32_25(2)>
# ivtmp.25_1 = PHI <ivtmp.25_5(7), 999(2)>
# i_10 = PHI <i_4(7), 1(2)>
<L0>:;
D.1842_3 = i_10 + -1;
D.1899_20 = BIT_FIELD_REF <vect_vec_iv_.34_27, 32, 0>;
D.1900_19 = BIT_FIELD_REF <vect_cst_.33_26, 32, 0>;
D.1901_17 = D.1899_20 + D.1900_19;
D.1902_35 = BIT_FIELD_REF <vect_vec_iv_.34_27, 32, 32>;
D.1903_36 = BIT_FIELD_REF <vect_cst_.33_26, 32, 32>;
D.1904_37 = D.1902_35 + D.1903_36;
D.1905_38 = BIT_FIELD_REF <vect_vec_iv_.34_27, 32, 64>;
D.1906_39 = BIT_FIELD_REF <vect_cst_.33_26, 32, 64>;
D.1907_40 = D.1905_38 + D.1906_39;
D.1908_41 = BIT_FIELD_REF <vect_vec_iv_.34_27, 32, 96>;
D.1909_42 = BIT_FIELD_REF <vect_cst_.33_26, 32, 96>;
D.1910_43 = D.1908_41 + D.1909_42;
vect_vec_iv_.34_28 = {D.1901_17, D.1904_37, D.1907_40, D.1910_43};
*ivtmp.40_31 = vect_vec_iv_.34_27;
i_4 = i_10 + 1;
ivtmp.25_5 = ivtmp.25_1 - 1;
ivtmp.40_32 = ivtmp.40_31 + 16B;
ivtmp.41_34 = ivtmp.41_33 + 1;
if (ivtmp.41_34 < 249) goto <L5>; else goto <L10>;
but then DOM const-props into the BIT_FIELD_REFs which confuses us:
# ivtmp.44_8 = PHI <ivtmp.44_45(3), 0(2)>
# vect_vec_iv_.34_27 = PHI <vect_vec_iv_.34_28(3), vect_cst_.32_25(2)>
<L0>:;
D.1899_20 = BIT_FIELD_REF <vect_vec_iv_.34_27, 32, 0>;
D.1900_19 = BIT_FIELD_REF <{4, 4, 4, 4}, 32, 0>;
D.1901_17 = D.1899_20 + D.1900_19;
D.1902_35 = BIT_FIELD_REF <vect_vec_iv_.34_27, 32, 32>;
D.1903_36 = BIT_FIELD_REF <{4, 4, 4, 4}, 32, 32>;
D.1904_37 = D.1902_35 + D.1903_36;
D.1905_38 = BIT_FIELD_REF <vect_vec_iv_.34_27, 32, 64>;
D.1906_39 = BIT_FIELD_REF <{4, 4, 4, 4}, 32, 64>;
D.1907_40 = D.1905_38 + D.1906_39;
D.1908_41 = BIT_FIELD_REF <vect_vec_iv_.34_27, 32, 96>;
D.1909_42 = BIT_FIELD_REF <{4, 4, 4, 4}, 32, 96>;
D.1910_43 = D.1908_41 + D.1909_42;
vect_vec_iv_.34_28 = {D.1901_17, D.1904_37, D.1907_40, D.1910_43};
MEM[symbol: irows, index: ivtmp.44_8] = vect_vec_iv_.34_27;
ivtmp.44_45 = ivtmp.44_8 + 16;
if (ivtmp.44_45 != 3984) goto <L0>; else goto <L15>;
so we fail to fold BIT_FIELD_REF <{4, 4, 4, 4}, 32, 96> to a constant for
example.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at redhat dot com,
| |rguenth at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30784
