<html>
    <head>
      <base href="https://bugs.llvm.org/">
    </head>
    <body><table border="1" cellspacing="0" cellpadding="8">
        <tr>
          <th>Bug ID</th>
          <td><a class="bz_bug_link 
          bz_status_NEW "
   title="NEW - [X86] Failure to optimize float vector reduction to haddps"
   href="https://bugs.llvm.org/show_bug.cgi?id=51989">51989</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>[X86] Failure to optimize float vector reduction to haddps
          </td>
        </tr>

        <tr>
          <th>Product</th>
          <td>libraries
          </td>
        </tr>

        <tr>
          <th>Version</th>
          <td>trunk
          </td>
        </tr>

        <tr>
          <th>Hardware</th>
          <td>PC
          </td>
        </tr>

        <tr>
          <th>OS</th>
          <td>Linux
          </td>
        </tr>

        <tr>
          <th>Status</th>
          <td>NEW
          </td>
        </tr>

        <tr>
          <th>Severity</th>
          <td>enhancement
          </td>
        </tr>

        <tr>
          <th>Priority</th>
          <td>P
          </td>
        </tr>

        <tr>
          <th>Component</th>
          <td>Backend: X86
          </td>
        </tr>

        <tr>
          <th>Assignee</th>
          <td>unassignedbugs@nondot.org
          </td>
        </tr>

        <tr>
          <th>Reporter</th>
          <td>gabravier@gmail.com
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>craig.topper@gmail.com, llvm-bugs@lists.llvm.org, llvm-dev@redking.me.uk, pengfei.wang@intel.com, spatel+llvm@rotateright.com
          </td>
        </tr></table>
      <p>
        <div>
        <pre>#include <stddef.h>

typedef float simde_float32x2_t __attribute__((__vector_size__(8)));

float simde_vaddv_f32(simde_float32x2_t a) {
  float r = 0;

  for (size_t i = 0; i < (sizeof(a) / sizeof(a[0])); i++) {
    r += a[i];
  }

  return r;
}

With -O3 -mssse3, LLVM outputs this:

simde_vaddv_f32(float __vector(2)):
        movshdup        xmm1, xmm0                      # xmm1 = xmm0[1,1,3,3]
        addss   xmm0, xmm1
        ret

GCC instead manages this:

simde_vaddv_f32(float __vector(2)):
        haddps  xmm0, xmm0
        ret</pre>
        </div>
      </p>


      <hr>
      <span>You are receiving this mail because:</span>

      <ul>
          <li>You are on the CC list for the bug.</li>
      </ul>
    </body>
</html>