<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/132604>132604</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [clang++] operator==(vector of long, vector of long) -> vector of long long
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          ImpleLee
      </td>
    </tr>
</table>

<pre>
    When comparing two variables of vector of long, clang++ returns a vector of long long, inconsistent with g++.
https://godbolt.org/z/zKv7o94dW

```c++
#include <type_traits>

using T [[gnu::vector_size(sizeof(long))]] = long;

T x;

static_assert(std::is_same_v<std::remove_reference_t<decltype(std::declval<decltype(x == x)>()[0])>, long>);
```

This makes the following code fails to compile with clang++ with the compilation options `-march=x86-64-v4 -std=c++20` (previously reported as [gcc bugzilla 118546](https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118546)).
Online link: https://godbolt.org/z/sxqsKrv9e .

```c++
#include <experimental/simd>
#include <cstdint>

using deduce_t_element = std::experimental::simd<
    std::uint64_t,
 std::experimental::simd_abi::deduce_t<std::uint64_t, 4>
>;

auto f(deduce_t_element e) {
    return e == 0;
}
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyMVF2vozgM_TXpi9WKJlDggYd-SqtZaV9GmkcUgoHshIRNArdzf_0qwO30dlaalYISGfvk2D4xd062GrEgyYkklw0ffWds8Uc_KPwTcVOZ-kfxrUMNwvQDt1K34N8MTNxKXil0YBqYUHhjw0kZ3RJ6BqF4OJwIPYFFP1rtgL_4PZylFkY76TxqD2_Sd7CG7kh07LwfHGFHQm-E3lpTV0b5nbEtobf38H2ZUpPH9TcSHcM6RMsSC0QwUSa1UGONQNjZ_xiw9JZL7wi7LkGjC2l9hbkGp1aP4T52XOiWTr4joVnYTENottDOw0ouJLkAYZclF3Za8L7C_XF2nnspSu4cWh9gfL2gS1c63mM5EXZ-GC32ZsLSYoMWtcDSE3auUahA-zk62CauPv-9ByqBzT2QY1dCs5nlKQpMV9N55XqdDafnmq3sO-mg59_Rge8QGqOUeQsFEqZGaLhUDryZ9SAVLg177vdsCJGLB_fSaDBD2ByQQ7TtuRUdYZd7dtge4u0Uw3bO67L2jAYuQGg2WJykGZ36ARYHYz3WwF1oUysEVGP7LpXisN9nSXyYU8xe5CLErtXjKpePAEJvrjNvZTW2O9FKwm4y3L7CzJ0NyvtLK6kRlNTfCTvC74To7v-4L3bKEXb_U4p4H9DKHrXnKgDIvl4l-clNOF9L7V_UWmM9Bn2UqDBAzCp8yOMT9GxZ0M8kOgLAT8dRan-IS0_o_Os3ACWv5If-luufxfuEBfFKl10fL4GP3kB4QL9QR0JzIOlpJbcMDMAPNUcrRHp5ruqmLlids5xvsNinMU1pEkV00xVVnqR1nTWYNDXSjDZ5XPGI7uOkqmJMcSMLGtEkYpTto_0hpruGHqokzhPBs6pO04bEEfZcqp1SUx9avJHOjVjsGT1E8UbxCpWbJyalq_JpGJ62CAHbamwdiSMlnXc_Ibz0ah6zT28lTA8zoOXe2CVZQrNfp-mrJYctYdf_Gqeb0ariRanSd2O1E6Yn9BbYrNt2sOZvFJ7Q25ydI_S2JjgV9N8AAAD__xsY3pA">