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

    <tr>
        <th>Summary</th>
        <td>
            [AArch64] there is redundant neg instruction for mull with complex type
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    * **test**: https://gcc.godbolt.org/z/enYjsjGfE
```
define ptr @_ZNSt7complexIiEmLIiEERS0_RKS_IT_E(ptr noundef nonnull align 4 dereferenceable(8) %a, 
                                               ptr noundef nonnull align 4 dereferenceable(8) %b) align 2 {
entry:
  %0 = load i32, ptr %a, align 4
  %1 = load i32, ptr %b, align 4
  %mul = mul nsw i32 %1, %0
  %_M_imag = getelementptr inbounds i8, ptr %a, i64 4
 %2 = load i32, ptr %_M_imag, align 4
  %_M_imag.i = getelementptr inbounds i8, ptr %b, i64 4
  %3 = load i32, ptr %_M_imag.i, align 4
  %mul3 = mul nsw i32 %3, %2
  %sub = sub nsw i32 %mul, %mul3
  %mul6 = mul nsw i32 %3, %0
  %mul9 = mul nsw i32 %2, %1
  %add = add nsw i32 %mul6, %mul9
  store i32 %add, ptr %_M_imag, align 4
  store i32 %sub, ptr %a, align 4
  ret ptr %a
}
```

* **llvm**:  transform the madd into fmls, then the **neg instruction**  is redundant 
```
std::complex<int>& std::complex<int>::operator*=<int>(std::complex<int> const&):     // @std::complex<int>& std::complex<int>::operator*=<int>(std::complex<int> const&)
        ldp     w11, w8, [x0]
        ldp     w10, w9, [x1]
 mul     w12, w9, w8
        mul     w8, w8, w10
        madd w8, w9, w11, w8
        neg     w13, w12
        madd    w9, w10, w11, w13  ; w9 = w10 * w11 + w13 = w9 = w10 * w11 - w12 =  w10 * w11 - w9 * w8 = fmls w10 * w11, w9, 28
        stp     w9, w8, [x0]
 ret
```

* the IR is simlplied from https://gcc.godbolt.org/z/fPnnxGhb3
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzEls1u67YSx5-G3hAxqKEkSwsv7GP7ILi3RZF0024MSRzZDCjSIKnjpE9fkFLij9pN2k2DIIw5v5n_cMQZq3JO7jTinGRLkq0mVe_3xs5_tKJtJ7URb3MCC0pgQWDh0fnhP8IXdO_9wRG-ILAhsNk1zXRnRG2Unxq7I7D5g8AG9W8v7uV7uyZsRdiC5Gz8jR8FtlIjPXhLScq2v__87GeN6Q4KXx_luvv_o1yvn57Z9ul_z9vHX7drAkVgtem1wJZqo3WvFK2U3GmaUoEWW7SoG6xqhQSKgkBJCWQVgW900KT_7Off6dVhHTCgZLYcpFF7-xYKNiZCIGOU8BVVphJUcghZxmKMGY9CZ3xyj69v812vokdYtTsGpxgm1gMydoZuf9rKrtpFfIceFXaofQgvdR0q4KgsrjOUefqhRyCDe-mNwW8nORqn8sva9bV22OSfiE_l3RrxW0XiY5HgjHV9HdGwnqFdr0Y4BLuMnf9dbHbJlrdYGNnkjK2EiGhYL_PIT4mU7w7OG4vvTCXElx7MhZPr608up0V_Mg_NPlvd7Prx78dUUepHd5oq1NtKu9bYjvo90i6cUGpvaNspF3T9HnU0DT4ad1Rq523feGn0sEmpdNSi6LWotKc303BehF7ki3HiEP5Nak_4mkBO7xvjrjmgrbyxMefVmWdx15E2RofpmRMo4zlpeJBhcobZ918mczEWlTjE9ZjEGXGMXUey5Ssj2eoeyiJavqPJCQ1XeWDgxByLy0AfUHGSDEEvoXARRtsQ5SPDCy7ch0GRDxTciBPs5bvMWayEU0r4kh6HRjwmLNyyYKYEltEe9_9qfghKcfd6uxw-FNEYLvE5cDoOXJ3D-bG65d3nYNF_0mChTR6fQjM42amDkihoa033pe_u9hetX7_vaz4Rcy5KXlYTnCczVs4gTRI22c_zPEmgaEVa5LMyKRESSFktao553cyEmMg5MEgZZwFMMjZNOCCvRJ6KNOMNzkjKsKukmoYhELQn0rke50WaZDBRVY3KxTcTAI1HGo0EILyo2Hnweaj7nSMpU9J5d4ripVfxlWaxsM0-T0m2CsUIA-18MFwND9oaG26jokfp93TsGurfDjjprZpfVU36fV9PG9MR2AxDLC4PB2tesPEENjFfR2ATz_NnAAAA__9OgZjT">