Re: [WIP] Reimplementation of IPA-SRA

[Martin Liška]

There's one more ICE I see:

$ gcc -O2 libvpx.i -c
libvpx.i: In function ‘m.isra’:
libvpx.i:28:1: error: invalid argument to gimple call
   28 | }
      | ^
ISRA.6
# .MEM_6 = VDEF <.MEM_4(D)>
l_1 = c (d_5(D), ISRA.6);
during IPA pass: materialize-all-clones
libvpx.i:28:1: internal compiler error: verify_gimple failed
0xd72897 verify_gimple_in_cfg(function*, bool)
        /home/marxin/Programming/gcc/gcc/tree-cfg.c:5422
0xc4b2cf execute_function_todo
        /home/marxin/Programming/gcc/gcc/passes.c:1977
0xc4c1a1 do_per_function
        /home/marxin/Programming/gcc/gcc/passes.c:1645
0xc4c1a1 do_per_function
        /home/marxin/Programming/gcc/gcc/passes.c:1635
0xc4c1fe execute_todo
        /home/marxin/Programming/gcc/gcc/passes.c:2031

typedef int __attribute__((__vector_size__(16))) a;

a dk();
a k();

int b;
a *j;
inline int c(a *d) {
  a e;
  a f;
  a g = *d;
  a h = g;
  a i = h;
  f = i == dk();
  e = f == b;
  k(e);
}

static void m(a *d) {
  int l = c(d);
  if (l)
    c(j);
}

void o(void) {
  a n;
  m(&n);
}