[Bug target/98399] x86: Awful code generation for shifting vectors

[crazylht at gmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98399

--- Comment #2 from Hongtao.liu <crazylht at gmail dot com> ---
It's the problem of veclower

test1.c.180t.veclower21
;; Function f (f, funcdef_no=0, decl_uid=3990, cgraph_uid=1, symbol_order=0)

U f (U u)
{
  vector(16) char _1;
  U _3;
  char _5;
  char _6;
  unsigned int _7;
  char _8;
  char _9;
  char _10;
  unsigned int _11;
  char _12;
  char _13;
  char _14;
  unsigned int _15;
  char _16;
  char _17;
  char _18;
  unsigned int _19;
  char _20;
  char _21;
  char _22;
  unsigned int _23;
  char _24;
  char _25;
  char _26;
  unsigned int _27;
  char _28;
  char _29;
  char _30;
  unsigned int _31;
  char _32;
  char _33;
  char _34;
  unsigned int _35;
  char _36;
  char _37;
  char _38;
  unsigned int _39;
  char _40;
  char _41;
  char _42;
  unsigned int _43;
  char _44;
  char _45;
  char _46;
  unsigned int _47;
  char _48;
  char _49;
  char _50;
  unsigned int _51;
  char _52;
  char _53;
  char _54;
  unsigned int _55;
  char _56;
  char _57;
  char _58;
  unsigned int _59;
  char _60;
  char _61;
  char _62;
  unsigned int _63;
  char _64;
  char _65;
  char _66;
  unsigned int _67;
  char _68;

  <bb 2> [local count: 1073741824]:
  _1 = u_2(D) & { 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 };
  _5 = BIT_FIELD_REF <u_2(D), 8, 0>;
  _6 = BIT_FIELD_REF <_1, 8, 0>;
  _7 = (unsigned int) _6;
  _8 = _5 >> _7;
  _9 = BIT_FIELD_REF <u_2(D), 8, 8>;
  _10 = BIT_FIELD_REF <_1, 8, 8>;
  _11 = (unsigned int) _10;
  _12 = _9 >> _11;
  _13 = BIT_FIELD_REF <u_2(D), 8, 16>;
  _14 = BIT_FIELD_REF <_1, 8, 16>;
  _15 = (unsigned int) _14;
  _16 = _13 >> _15;
  _17 = BIT_FIELD_REF <u_2(D), 8, 24>;
  _18 = BIT_FIELD_REF <_1, 8, 24>;
  _19 = (unsigned int) _18;
  _20 = _17 >> _19;
  _21 = BIT_FIELD_REF <u_2(D), 8, 32>;
  _22 = BIT_FIELD_REF <_1, 8, 32>;
  _23 = (unsigned int) _22;
  _24 = _21 >> _23;
  _25 = BIT_FIELD_REF <u_2(D), 8, 40>;
  _26 = BIT_FIELD_REF <_1, 8, 40>;
  _27 = (unsigned int) _26;
  _28 = _25 >> _27;
  _29 = BIT_FIELD_REF <u_2(D), 8, 48>;
  _30 = BIT_FIELD_REF <_1, 8, 48>;
  _31 = (unsigned int) _30;
  _32 = _29 >> _31;
  _33 = BIT_FIELD_REF <u_2(D), 8, 56>;
  _34 = BIT_FIELD_REF <_1, 8, 56>;
  _35 = (unsigned int) _34;
  _36 = _33 >> _35;
  _37 = BIT_FIELD_REF <u_2(D), 8, 64>;
  _38 = BIT_FIELD_REF <_1, 8, 64>;
  _39 = (unsigned int) _38;
  _40 = _37 >> _39;
  _41 = BIT_FIELD_REF <u_2(D), 8, 72>;
  _42 = BIT_FIELD_REF <_1, 8, 72>;
  _43 = (unsigned int) _42;
  _44 = _41 >> _43;
  _45 = BIT_FIELD_REF <u_2(D), 8, 80>;
  _46 = BIT_FIELD_REF <_1, 8, 80>;
  _47 = (unsigned int) _46;
  _48 = _45 >> _47;
  _49 = BIT_FIELD_REF <u_2(D), 8, 88>;
  _50 = BIT_FIELD_REF <_1, 8, 88>;
  _51 = (unsigned int) _50;
  _52 = _49 >> _51;
  _53 = BIT_FIELD_REF <u_2(D), 8, 96>;
  _54 = BIT_FIELD_REF <_1, 8, 96>;
  _55 = (unsigned int) _54;
  _56 = _53 >> _55;
  _57 = BIT_FIELD_REF <u_2(D), 8, 104>;
  _58 = BIT_FIELD_REF <_1, 8, 104>;
  _59 = (unsigned int) _58;
  _60 = _57 >> _59;
  _61 = BIT_FIELD_REF <u_2(D), 8, 112>;
  _62 = BIT_FIELD_REF <_1, 8, 112>;
  _63 = (unsigned int) _62;
  _64 = _61 >> _63;
  _65 = BIT_FIELD_REF <u_2(D), 8, 120>;
  _66 = BIT_FIELD_REF <_1, 8, 120>;
  _67 = (unsigned int) _66;
  _68 = _65 >> _67;
  _3 = {_8, _12, _16, _20, _24, _28, _32, _36, _40, _44, _48, _52, _56, _60,
_64, _68};
  return _3;

}