<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/95622>95622</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[Windows][Intel x64] Jump table entries seems not valid while targeting MSVC 2022
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
amitin
</td>
</tr>
</table>
<pre>
In your project we use LLVM-powered part which compiled with embedded LLVM to an .obj file then gets linked into our main binary. Other parts are in C or C++ and compiled with clang-cl.exe supplied by MSVC 2022 as a ClangCl toolset (at the moment the latest is 17.0.3).
After updating our embedded LLVM from version 16 to 18.1.7 we can see our application crashing.
Investigations indicate that the crash happened after calculating a jump target from jump table - the resulting jump target value is not correct.
In version 16 a jump table entry was 32-bit, and the result jump target has been calculated by sign-extending jump table entry value, like this:
```
movabs r10, offset .LJTI536_0
movsxd r9, dword ptr [r10 + 4*r9]
add r9, r10
jmp r9
```
In version 18 jump table entries are now 64-bit, so the accessing code now doesn't sign-extend entry value
```
movabs r10, offset .LJTI536_0
add r10, qword ptr [r10 + 8*r9]
jmp r10
```
I'm not sure why, but I can see that jump table entry values are still 32-bit. Thus, if values are negative and they don't get sign-extended, then the result jump target becomes invalid. See the screenshot attached.
Is this a bug in LLVM 18? Or some incompatibility issue, for example with MS linker or clang-cl version 17.0.3 which we use for C parts?
Obviously, disabling jump tables fixes the issue for us, but we want them to be enabled.
LMK if you need more info or any other help for this issue.
<img width="942" alt="jump tables" src="https://github.com/llvm/llvm-project/assets/1537180/6e8ffa8f-b5c3-4e79-8bbc-b2663d268592">
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJykVkFv2zgT_TX0ZWBBpmRZOvjQOJ-B9EvQQ4vucUGKI4kpRWpJyor__YKkndht97BYIEhiYjjz5s2bRzPnZK8R92T7QLaPKzb7wdg9G6WXesWNOO-fNJzNbGGy5hVbDwvC7BCen7-_rCezoEUBE7MelkG2A7RmnKRCAYv0A-DIUQgUMRy8AaYhM_wVOqkQ_IAaevQOlNQ_UIDU3kAoNjKpgUvN7DmDL35AG2s4YBZBajiAsXAg9IHQB2Ba_FS2VUz361Zl-Ibg5mlSEgXwM7x8_X4AmlMKzAGDQ4g7KPDGKIceCK2ZD7BgNCPq9K9iHp0H6WCzy_KsILTJSP5I8k-fOo8W5kkwL3Ufgd833Fkzwgmtk0bDpgoEbOpsk-0Ciy3T4BDjNRYgtsyHuNYyN0jdZ5CqpN9P-oTOyz7GOJBahPjA4QVxvAYDmybUKIBFbC1T7awSPAav8ziBZ7ZHn6BdDrhCWMckFt2sYvRt7ImpGQMB2nhojbXY-uwK67Y_dpsRtbdnWJiDgq659IQe4qg-6twVGZgDjqjfMaeJBX2u8c2jFjewPvJHbCG1kj8CG9KR4kIZqfLLz4XHZjQnxh3JG7vJwx3TdWHs2fPnb0_bovrzLtK9iRDZhECxGCtg8hbI9sFucgi6Kwn9ZBuyfXy_xcTHlVDiev46Tun8d7huKax_blBi0rw2C1TllUZnIousbdG5QEtrRIoRBp0mdOdvibuj6j9Tc2kyhf31O2LqX4i5EPBOyc_lIw-E7sYoMTdbhGU4hwJ89vD0vitR7b_XQOLJeanURXAZfBtmF5LI7jZGY9iiE17VeAZhEmdBhze8oQiXo0v9g2g5tmbEsI4npqTI4GsEieBai6jdYDww71k7oMjumnVRq8CAz31wtOgXm5oUR_hiwZkx-FxwNeYll0r6M0jnktQ7YwHf2DgpTH738jU5qA22eDW_D1VF27r488W-Q4pD8lRSHBOmL_wkzexU5F1Ix7i6XzkHnXxDFxuMYGKaRHGY04KwsOSaY_A6HgYULl57f375f5jF2cygEQWMJtp5ZwJups9gotUPqKaYOlIUK92RR4qDHHtYpPADKR4JpU1JSTB15dPnG8zh3Nk2nQ_eT9Eg6JHQYy_9MPOsNSOhR6VO1z_ry1tH6JE5h94Retxsi92mzgk9Vlh3Hau7Nd-2xbrEXbOuOW_XnFZVIWhVb5sAhhT_S2hXYl-IpmjYCveb3aYu890up6thj5RWbV40NaUURcfbssZiV1bYNYLvynol9zSnZV5tSlrQmtKs2wrEpqRdWSDybkfKHEcmVRZQZ8b2q0jWvtlWlK4U46hcfNop1bhcBUTDS2_3sVM-946UuZLOu48sXnoVvxP8IbUwiwurvH140h4VvFUl2T7C5199yiGO6Y2IyxAEFx75uClBSO-P72q2av-vRxHRh1Gk7k57-ncAAAD__yWT03w">