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

    <tr>
        <th>Summary</th>
        <td>
            [ARM] Expensive checks failures
        </td>
    </tr>

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

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

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

<pre>
    Building libvpx for `armv7-linux-gnueabihf` triggers failures with expensive checks (`-DLLVM_ENABLE_EXPENSIVE_CHECKS=ON`). These issues have been present since 2dcf0512599280ba68a5028f24ea96dfdb37b7b7 (since LLVM 18.1.0)

The issue can be reproduced with the following reduced testcase:
```c
char filter_mask_p3, filter_mask_p2;
int abs();
void filter4();
void vpx_lpf_vertical_4_c_s() {
  char mask;
  mask |= abs(filter_mask_p3 - filter_mask_p2);
  filter4(mask, 2, 1, vpx_lpf_vertical_4_c_s, 1);
}
```

```console
$ clang -target armv7-linux-gnueabihf -c -O2 repro.c
*** Bad machine code: Call frame size on entry does not match value computed fro
m predecessor ***
- function:    vpx_lpf_vertical_4_c_s
- basic block: %bb.1 entry (0x5b6a2651c518)
Call frame size on entry 0 does not match value computed from predecessor 4

*** Bad machine code: Call frame size on entry does not match value computed from predecessor ***
- function:    vpx_lpf_vertical_4_c_s
- basic block: %bb.2 entry (0x5b6a2651c678)
Call frame size on entry 0 does not match value computed from predecessor 4
fatal error: error in backend: Found 2 machine code errors.
```


CC @jayfoad @davemgreen 
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJy0VUtv4zYQ_jX0ZWCDop4-6OD4gRbdR9FdLHoz-BhJ3FCkQVJK0l9f0HKwm22CngIQNDGcme_zx9EMD0H3FrEl5R0pDys-xcH5dgzR-fDdrYRTT-3dpI3StgejxXx5hM55IBXlfpzrtdF2elz3dkIu9NCRikL0uu_RB-i4NpPHAA86DoCPF7RBzwhyQHkfgLCGVHR9-PDh28fz8dPu7sPxfPz7z-OnL79_O573vx33f3wh-eHzJ1JRwrYb-DpgQNAhTBhg4DOCQLRw8RjQRgjaSgSmZEfLjJXbLWuo4FXDS8qajhXIt5XqlMhrUYs6wS8RCR-yZpNtEgyhO0J3X4cbEEhuQSB4vHinJolq-TdxQOicMe4hKeNxuYoYouQBSZ6SJN7XJQndyYF76LSJ6M8jD_fnS07Y_qWFkfyO0J22EbgISR-2XUyz0-rmW_zHPl8ez-bSnWf0UUtuzsVZnm_hQOrkB3DFTzBLIFzPQOo9yQ83tJfsYP0ruWdQ-InJNSPbA0tblra32FyvbxlIffhZn0XzH3I5G5zBZGIFSMNtD-vIfY8RXq06WEtYf2bLI23kNfC24I4rGLkctEWQTqWngT03BjrPR4Sg_0FwFtBG_wTKYQDrIow8ygFmblIFuPEyRVTQeUfobkwFp1BiCOlDeAYidLeGbrIyamcTCMBbUiRPwYOWIIyT98mZsFKITXajQVhDH0tRcVaVmSyzZqnLN2nT_yf-knVxU_ydVHpHidirElX1u0jU8cgNoPfOJwbXA2gLgst7tCrZTm6yCtgL8RbHsHmlxOluvwdS0O_8qXNcpaPiM469T51spdpcbfMtX2Gb1WVatClWQ1vyXG2LRmXlVmRK1CzrOBOiylRdNlzylW4ZZSWtacmyPGPFJuN5VrFtXrCmy0STk4LiyLXZGDOPG-f71bW9tVlRZxVbGS7QhOsYYMziw9L8CGNpKvg2Ba3F1AdSUKNDDD_SRB3NdX7s_vpIygMcf23zz1NgNXnTDjFeQuqO7ETYqddxmMRGupGwU8p4-1lfvPuOMhJ2Wro9Yacb0bll_wYAAP__2kojjA">