Skip to content

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

@Invincibl-e

Description

@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

Image Image

Metadata

Metadata

Assignees

No one assigned

    Labels

    Arch: ARM64Issues with the AArch64 architecture pluginComponent: ArchitectureIssue needs changes to an architecture pluginEffort: LowIssue should take < 1 weekImpact: MediumIssue is impactful with a bad, or no, workaround

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions