<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/59661>59661</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
IPSCCP asserts in function with llvm.ssa.copy using function address
</td>
</tr>
<tr>
<th>Labels</th>
<td>
llvm:crash,
llvm
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
arsenm
</td>
</tr>
</table>
<pre>
```
define i32 @bar() {
entry:
%call = call i32 @foo()
ret i32 0
}
define internal i32 @foo() {
entry:
%arst = call ptr @llvm.ssa.copy.p0(ptr @foo)
ret i32 0
}
declare ptr @llvm.ssa.copy.p0(ptr) #0
attributes #0 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
```
opt: /home/matt/src/llvm-project/llvm/lib/Transforms/Utils/SCCPSolver.cpp:1558: void llvm::SCCPInstVisitor::handleCallResult(CallBase &): Assertion `PI && "Missing predicate info for ssa.copy"' failed.
I'm pushing this as an XFAILed test in llvm/test/Transforms/SCCP/missing-predicate-info-for-ssa-copy.ll
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyMVN-PozYQ_mvMyygRjBNIHnhgN0KK1EqrXlv11cAQ3Bobecyu8t9Xdti7y1U6NYrA4_nhb775jGLWN0tUi-OLOF4ytYbJ-Vp5JjtnnRvutSjz7Z9fRN4MNGpLoCWCOOSd8gJPAs8gqpdHANng70I2DwtA4LFXxoCQF0iLLXV07pH6GegpJN92kKgu2-LpXBvIW_XfKj8FoDyHbwCW4GOqMe_znlnte7fc90su8LR5UtH_jas3ytPPiyZ8KPPvE1UIXndrIE6uBE9UL2BdBNmp_h-wbvREYB3fbQ_WrfZD2wF4oX41KqjOEHxoYzyF1VuYaXb-LvBknaUHJU9Qf5jk4-mWIGQDAtvJzSSwnVUIAlv2vcA2trNbvPub-rCZ8aU7ge3vXlkenZ9ZYPtH0Ca-v7y-vn1x5p38vl8WIZvieDzFA96dHiDly0bIJsZdLYc_Nevg_GNzUnYw9KqM-Y14NUHgKRovigkElnEmsoGGmXzQzoIo87frw1OCQPxVM2t7g8XToHsVolxGB6Pz8DkSgSiwglFpQ8P-iZ30vAqsZlhWnmKhMGkGxaAs_NU2119ogEAcQFvYqIjmj1zE3iKRDzS7r2h2Ec1udH7HrHZJIMZkQy2HszyrjOqirIrqUGFeZVNdnTtZVHQ-q8PYHc9SHkpZ5FhS3-c9FYdM15gjFhh_hcRqX1UHVYxlcUJV5LI6iENOs9Jmn0Tp_C3TzCvVx3NZFplRHRlOFx9xG0zvFU-JotfPTcT4XfB1UkK33jiKXHPgb1WDDobq61vsG1SaDkeKxtX2aU4fOkzwdDNgTYP6GqGGwRNztnpTTyEsHAWBrcD2psO0dvvezd_p71mVqatIfGrs3wAAAP__8h93-A">