<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/64804>64804</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[Inliner] Crash with incompatible attribute with deoptimize
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
annamthomas
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
annamthomas
</td>
</tr>
</table>
<pre>
With the change https://reviews.llvm.org/rG4d51c6258e8391738e5c002b36de3b5538d31b8c, we started seeing a crash in verifier due to incompatible attribute added.
Here's a very simplified testcase:
cat repro.ll
```
declare ptr @llvm.experimental.deoptimize.p0(...)
define ptr @callee_noalias(ptr %c) {
%v2 = call ptr (...) @llvm.experimental.deoptimize.p0() [ "deopt"(i32 1) ]
ret ptr %v2
}
define void @caller_noalias(ptr %c) {
entry:
%v = call noalias ptr @callee_noalias(ptr %c) [ "deopt"(i32 2) ]
ret void
}
```
opt -passes=inline repro.ll
Assertion failure:
```
Attribute 'noalias' applied to incompatible type!
call noalias void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"(i32 2, i32 1) ]
LLVM ERROR: Broken module found, compilation aborted!
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyMVE1v4zYQ_TXUZRBBGkqydNDBWddtgS0K5LA9FhQ5tthSpEBSTtNfX1BWnI9u2gCGDXM--N6b4RMh6LMl6ll9zxCFtWKKo5tEYIisPmRiiaPz_atANjj11P-m4whxJJCjsGeCMcY5ML5neGR49HTR9BhyYy5T7vw5Hf1YqbqUDdYttbwrd7ylWhYFDrxRxIe65q3i5dBKhl_gkSBE4SMpCETankGA9CKMoC1cyOuTJg9qIYgOtJVumkXUgyEQMXo9LJFAKEUqZ8WBFfvr90_kieEugEg9niDoaTaplYJIIUoRKFFYc6WI4Gn2Ljdm69EU22f9q0ga4Qnm6IFVxUqV_prJ64lsFCZX5OaoJ_035XPBsM3znGH3Go-ik7a3DlIYQ_S7dcLopH-7nmMtGXbAdvfXGkhHFwTGD5AqrtXP3T-HZE2s74EhrqE0a2w1RyivocPzXZ7idkF9wQ367vAdDhen1Y2E_z8SZKN_ukl9pfTCaCv-lC4f8MDv8EgQ31N4O9It280R7mYRAgXGD9qaRPB5F-B16j4E8lE7CyehzeJf1udd5_1tKxnubkx2IObZrOv3bovj00wMyw3QG1WuSn964Dp8S7z_a-iYXty_p__167df4IeHh18fGN_DvXd_koXJqcUQnNxiVSpLmLURqwZicOnF3nC_0yBTPVcd70RGfdl0yJsW6yIb-7IZVNmQrIaSd003nKjsmrIRFTWS80pluscCedGWbVmVO17k7QlV0Z0UVSdRDrJkVUGT0OZmOJkOYaG-qdqiyowYyITN4iw9whrcDM73qeZuWM4hSalDfLGtLOpoVm_8eV0Cz-oDfFlt6DH53wfGs8ZeRpAt3vRv_fGs47gMuXQTw2O6bfu5m737g2RkeFwxBobHlcM_AQAA__8NY7gp">