-
Notifications
You must be signed in to change notification settings - Fork 2
Open
Labels
VADL-specificationIssues with a specification written in VADLIssues with a specification written in VADLbugSomething isn't workingSomething isn't working
Description
According to https://developer.arm.com/documentation/dui0802/a/A64-General-Instructions/MOVK, the imm range is between 16-bit unsigned immediate, in the range 0 to 65535..
However, the instructions in our specification print the immediate with the decimal function.
assembly MOVKWPos16 = ("movk", ' ', WSize(rd), ', #', decimal(imm16), ", LSL #16")
Metadata
Metadata
Assignees
Labels
VADL-specificationIssues with a specification written in VADLIssues with a specification written in VADLbugSomething isn't workingSomething isn't working