<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/128714>128714</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
Assertion `VNI && "No live value at use"
</td>
</tr>
<tr>
<th>Labels</th>
<td>
bug,
backend:Hexagon
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
iajbar
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
androm3da
</td>
</tr>
</table>
<pre>
This reduced test case from `llvm-test-suite/External/ffmpeg`'s `checkasm_check_v210enc()` asserts when compiling at O2:
```
target datalayout = "e-m:e-p:32:32:32-a:0-n16:32-i64:64:64-i32:32:32-i16:16:16-i1:8:8-f32:32:32-f64:64:64-v32:32:32-v64:64:64-v512:512:512-v1024:1024:1024-v2048:2048:2048"
target triple = "hexagon-unknown-linux-musl"
define void @checkasm_check_v210enc(i32 %.pre) {
entry:
br label %for.body147
for.body147: ; preds = %for.body170, %entry
%add11.i526 = or i32 %.pre, 1
br label %for.body158
for.body158: ; preds = %for.body158, %for.body147
%i154.0604 = phi i32 [ 0, %for.body147 ], [ %add166.3, %for.body158 ]
%add11.i536602603 = phi i32 [ %add11.i526, %for.body147 ], [ 0, %for.body158 ]
%and8.i534 = and i32 %add11.i536602603, 1
%arrayidx9.i535 = getelementptr [64 x i32], ptr null, i32 0, i32 %and8.i534
store i32 0, ptr %arrayidx9.i535, align 4
%add166.3 = add i32 %i154.0604, 1
%cmp157.3 = icmp ult i32 %i154.0604, 510
br i1 %cmp157.3, label %for.body158, label %for.body170
for.body170: ; preds = %for.body170, %for.body158
%i154.1608 = phi i32 [ %add182.1, %for.body170 ], [ 0, %for.body158 ]
%add11.i556606607 = phi i32 [ 0, %for.body170 ], [ 1, %for.body158 ]
%add.ptr179 = getelementptr i16, ptr null, i32 %i154.1608
store i32 0, ptr %add.ptr179, align 8
%add182 = or disjoint i32 %i154.1608, 2
%sub.i547.1 = add i32 %add11.i556606607, 1
%and.i548.1 = and i32 %sub.i547.1, 1
%arrayidx.i549.1 = getelementptr [64 x i32], ptr null, i32 0, i32 %and.i548.1
%0 = load i32, ptr %arrayidx.i549.1, align 4
%add.ptr178.1 = getelementptr i16, ptr null, i32 %add182
store i32 %0, ptr %add.ptr178.1, align 4
%add182.1 = add i32 %i154.1608, 1
%cmp169.1 = icmp ult i32 %i154.1608, 254
br i1 %cmp169.1, label %for.body170, label %for.body147
}
```
I have bisected this failure to b6bf4024a031a5e7b58aff1425d94841a88002d6
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJysVktv4zYQ_jX0hZBADh-SDj4oSY3uZXspel1QIm1zoxdIypv8-4KyHFu2sm3RDRxJHs7jm5lvrFHe20NnzBaJJwRg1fdKOQSAxMtGjeHYu63qtOtbptWm6vX79s-j9dgZPdZG42B8wLXyBu9d32IkSdOc2iSKEz_aYBDsfnsLxnWqQbDb79vBHJAkCDIfteujqV-Vb79ND99OQInpagQ5ggJJgpX3xgWPfxxNh-u-HWxjuwNWAf8BiJWITB9J5g8pg3IHE7BWQTXqvR8DRuwFIwCTtIiVJhkQKxlcL4lCrCRJR-X5q5UcsXK-JHahaiel-ZJYiliZx_9kv1DbL1ycFmen5ZmgUf5xTU6UQDy7uSUnIDyGub0BXHMNzg6NueR5NG_q0HfJ2L12_Y8uaWw3viXt6JuzESKlNnvbGXzqrcaIf94DywAjEOngDIICo-wJkdJ0wb2fS49x5XCjKtNEtX3v0kgQyrNzmFsBK_G_-kPsCQ_OaD-nc_WaEQTPUXIGEKMjEEprSlMrQE4GvcML0M-Yfo5T5Hc4Rf4LcIp8xrmsx4TWUsFTIgmfrIajPaMVT5g8GmEkXiapeLpkKmXK7hVFPine1YNJSUAS9hBoUbOfB33AdBeq03mMdE5GdfpS-nsM1zbEQ-fUu9VvRVQQk-nBBNOY1nRhCC5Glhy_RWczlijtxqaJzzEEuTzcgpj8-9A7c9WZ3N2HjAeqsYcOTzY3lT3noT_y-OjWIoG6HajIZm1btwMem7BqIii5kM_SW9N4uErHVXlG7miakV85TstxuNKUSpJ_xp4cUnpvnpH_wp2ZIkJKIiXJ_nkelu4foj-4T4fgaFasECz-iK-w6jbvn5Hpw_WVSPltWjlcfom09d9724VH9_CM4WLjxyq1gmcpvefffZE-aHjmfbTKL1bX6bv6W527eFbMVv9z8GYAlwhk8tn0aoKyMn9z6LsBXBQ1X0X2ecfOBb9rV8Sy1rH8s9gTn1en_9KtxfTLS_1Wp_-jwYI_Tr-c81-d8lX5-WWavTxuOoiUX_BRnQyurDd1iNtYXM32yjajMzj0uJLVnhPgijCqhMkqkav9nnIQuuA5pyrPCQEtN3rLdMEKtTFbmnHCC5JLujluGRRaF5xLVRhDjcooJ0SJmnGohWRqY7dAQBAAQRmnhKZAqyLTGRGaQUXEHnFiWmWbNO6Fae8OG-v9aLYU8ozyzZSwn5fPajzEHQWe47OqX02nESt_Py80807qttOCWY0HjzhprA_-6jrY0JhtOe2Mtu_igvnX1y8YxTedjMvR1x439mTwSTWjiVvk6A0C2Iyu2R5DGHxcbGCHYHew4ThWad23CHYxwHxLBtd_N3VAsJsS8Qh2cy6nLfwdAAD__9jXCSA">