AArch64 Propagation Bug: base-only ldrsw incorrectly writes back to reg

[Invincibl-e]

0015a294 ldrsw x6, data_15a2b8
0015a29c add   x6, x6, #0xe4
0015a2a0 mvn   x6, x6

later uses should see ~(prev_x6 + 0xe4).
The correct value is ~( 0xFFFFFFFFFFFFFE39 + 0xe4 )
Is there a temporary fix, or do we just have to wait for you to fix it?

Slack Message

[xusheng6]

Our lifter is open-source, so you can fix it and recompile the arm64 plugin: https://github.com/Vector35/binaryninja-api/blob/dev/arch/arm64/il.cpp#L1270

[Invincibl-e]

Our lifter is open-source, so you can fix it and recompile the arm64 plugin: https://github.com/Vector35/binaryninja-api/blob/dev/arch/arm64/il.cpp#L1270

fixed in
[ARM64] fix ldrsw lift to sign extend in certain encodings #7296

[zznop]

Fixed in 5.2.8289-dev