[Bug rtl-optimization/87918] New: [9 Regression] ICE in simplify_binary_operation, at simplify-rtx.c:2153 since r264688

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

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

            Bug ID: 87918
           Summary: [9 Regression] ICE in simplify_binary_operation, at
                    simplify-rtx.c:2153 since r264688
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
  Target Milestone: ---

Following is causing an ICE:

$ cat loops.i
typedef float a __attribute__((__vector_size__(16)));
a b, c, d;

void e() {
  float f;
  c = (__attribute__((__vector_size__(4 * sizeof(float)))) float){f};
  d = __builtin_ia32_cmpless(c, b);
}

$ gcc loops.i -c -O2
during RTL pass: fwprop1
loops.i: In function ‘e’:
loops.i:8:1: internal compiler error: in simplify_binary_operation, at
simplify-rtx.c:2153
    8 | }
      | ^
0x772e68 simplify_binary_operation(rtx_code, machine_mode, rtx_def*, rtx_def*)
        /home/marxin/Programming/gcc/gcc/simplify-rtx.c:2153
0x26502d1 simplify_gen_binary(rtx_code, machine_mode, rtx_def*, rtx_def*)
        /home/marxin/Programming/gcc/gcc/simplify-rtx.c:194
0x26828f2 simplify_merge_mask(rtx_def*, rtx_def*, int)
        /home/marxin/Programming/gcc/gcc/simplify-rtx.c:5650
0x26571c1 simplify_ternary_operation(rtx_code, machine_mode, machine_mode,
rtx_def*, rtx_def*, rtx_def*)
        /home/marxin/Programming/gcc/gcc/simplify-rtx.c:6066
0x265b68e simplify_gen_ternary(rtx_code, machine_mode, machine_mode, rtx_def*,
rtx_def*, rtx_def*)
        /home/marxin/Programming/gcc/gcc/simplify-rtx.c:387
0x2657211 simplify_ternary_operation(rtx_code, machine_mode, machine_mode,
rtx_def*, rtx_def*, rtx_def*)
        /home/marxin/Programming/gcc/gcc/simplify-rtx.c:5928
0x265b68e simplify_gen_ternary(rtx_code, machine_mode, machine_mode, rtx_def*,
rtx_def*, rtx_def*)
        /home/marxin/Programming/gcc/gcc/simplify-rtx.c:387
0x4c73d30 propagate_rtx_1
        /home/marxin/Programming/gcc/gcc/fwprop.c:536
0x4c767d6 propagate_rtx
        /home/marxin/Programming/gcc/gcc/fwprop.c:692
0x4c781a2 forward_propagate_and_simplify
        /home/marxin/Programming/gcc/gcc/fwprop.c:1361
0x4c781a2 forward_propagate_into
        /home/marxin/Programming/gcc/gcc/fwprop.c:1420
0x4c7bff7 fwprop
        /home/marxin/Programming/gcc/gcc/fwprop.c:1509
0x4c7bff7 execute
        /home/marxin/Programming/gcc/gcc/fwprop.c:1540