AlphaGitHub
Source/Packages

Compiler.MachineAArch64

packages/compiler/src/Compiler/MachineAArch64.alpha

1,480 lines362 declarations58.2 KiBSHA-256 16c7a1ba00f1
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 962–973

aarch64ShiftRightWord

Full file
lsr by amount is ubfm with immr = amount and imms = 63.
962def aarch64ShiftRightWord =
963  (lambda unrestricted destination : (family AArch64Register) .
964    (lambda unrestricted source : (family AArch64Register) .
965      (lambda unrestricted amount : Nat .
966        (aarch64EncodeBounded
967          amount
968          aarch64ShiftLimit
969          (aarch64ByteWord
970            (naturalAdd (aarch64LowFive destination) (aarch64RnByte0 source))
971            (naturalAdd (aarch64RnByte1 source) (aarch64Immediate12Byte1 63))
972            (naturalAdd aarch64SixtyFour amount)
973            211)))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.