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

    <tr>
        <th>Summary</th>
        <td>
            Not DSEing of stores to aggregates arguments
        </td>
    </tr>

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

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

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

<pre>
    Take:
```
struct f
{
  int a[1024];
};
struct f h(struct f a1)
{
  struct f a = {};
  a1 = a;
 return a;
}
```

There should only be 1 memset (zeroing) in the function h.


</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxUkUGPmzAQhX_NcBltZAYc4OBDojTHXrp_wIQB3AU7ssdbbX99RUq6XcmSPe95Pj3p2ZTc5JkN6DPoS2GzzCGau_PpzdmiD8OHebVvDNUJ1AmOaj_qlCTmm-C4yc0Z1AnReUEL-lwqqkFfoDo_zP3xXMAZqP032BKo-4_xaSBUF9zkJwDRlg_R7nNkydE_x-3f14igTq8zR8Y0h7wMGPzygT1jiSuviQWB2t8cg_MTUIfOo8yMY_Y3ccHjfPjLKAZTDV3V2YJN2dRN16qqborZ6OOo7Niyrmvddtwc276-NV07lsyqqY6FM6RIK02VOipdN4e27wZN46AH0qovB6gVr9Yth2V5Xw8hToVLKbMp65KUKhbb85Ie3RB5_oUPF4i2qqLZll76PCWo1eKSpE-MOFnYfA-Clx_fnJ8wjJgkRE4oAe00RZ6scEIbp7yyl1TkuJhZ5J62rukKdJ2czLk_3MIKdN3Q-_Vyj-En3wTo-giUgK574ndDfwIAAP__BjqxKg">