[Bug target/107131] [11/12/13 Regression] wrong code with -Os -fno-ipa-vrp -fno-tree-bit-ccp

["jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
If I change the testcase to:
/* PR target/107131 */
/* { dg-do run } */
/* { dg-options "-Os -fno-ipa-vrp -fno-tree-bit-ccp -Wno-psabi" } */

typedef unsigned char C;
typedef unsigned long long __attribute__((__vector_size__ (32))) U;
typedef unsigned long long __attribute__((__vector_size__ (64))) V;

static __attribute__((__noclone__)) C
foo (C o, U x, U y, U z)
{
  V w = { x[0], x[1], x[2], x[3], 0, 0, 0, 0 };
  V a = __builtin_shuffle (w, w, (V) {3, 1, 3, 0, 0, 1, 1, 3});
  V b = (V) { } >= o;
  V c = b <= (V)(b >= (V) { 0, 0, 0, 0, 0, 0x90DF0BE3990AC871ULL });
  U d = __builtin_shuffle (y, z, (U) {3, 1, 4, 5});
  V e = a + c;
  U f = ((union { V v; U u[2]; }) e).u[1] + d;
  return ((union { U u; C c[32]; }) f).c[9];
}

int
main ()
{
  if (__SIZEOF_LONG_LONG__ != 8 || __CHAR_BIT__ != 8)
    return 0;
  C x = foo (0, (U) { }, (U) { }, (U) { });
  if (x != 0xff)
    __builtin_abort();  
  return 0;
}
then it started with r12-1055-gb6bdd7a4cb41ee057f2d064fffcb00f23ce6b497
already,
but similarly to the other testcase got fixed or made latent with
r13-3217.