[Bug tree-optimization/87873] New: [9 Regression] ICE: verify_gimple failed (error: incompatible types in PHI argument 0)

[asolokha at gmx dot com]

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

            Bug ID: 87873
           Summary: [9 Regression] ICE: verify_gimple failed (error:
                    incompatible types in PHI argument 0)
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---
            Target: x86_64-unknown-linux-gnu

gcc-9.0.0-alpha20181028 snapshot (r265575) ICEs when compiling the following
snippet w/ -O1 (-O2, -O3, -Ofast) -ftree-loop-vectorize:

__int128 k3;
int gs;

void
s2 (int aj)
{
  while (aj < 1)
    {
      gs ^= 1;
      k3 = (__int128) gs * 2;
      if (k3 != 0)
        k3 = 0;

      ++aj;
    }
}

% x86_64-unknown-linux-gnu-gcc-9.0.0-alpha20181028 -O1 -ftree-loop-vectorize -c
d9ofj1fe.c
d9ofj1fe.c: In function 's2':
d9ofj1fe.c:5:1: error: incompatible types in PHI argument 0
    5 | s2 (int aj)
      | ^~
int

__int128

_50 = PHI <k3_lsm.6_37(25), vect__2.16_61(22)>
during GIMPLE pass: vect
d9ofj1fe.c:5:1: internal compiler error: verify_gimple failed
0xd1bb7d verify_gimple_in_cfg(function*, bool)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20181028/work/gcc-9-20181028/gcc/tree-cfg.c:5422
0xbf0e0f execute_function_todo
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20181028/work/gcc-9-20181028/gcc/passes.c:1925
0xbf1d0e execute_todo
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20181028/work/gcc-9-20181028/gcc/passes.c:1979