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 447–456

aarch64HalfwordShiftCode

Full file
447def aarch64HalfwordShiftCode : (pi unrestricted shift : (family AArch64HalfwordShift) . Nat) =
448  (lambda unrestricted shift : (family AArch64HalfwordShift) .
449    (eliminate
450      AArch64HalfwordShift
451      (lambda unrestricted current : (family AArch64HalfwordShift) . Nat)
452      shift
453      (branch AArch64Shift0 . 0)
454      (branch AArch64Shift16 . 1)
455      (branch AArch64Shift32 . 2)
456      (branch AArch64Shift48 . 3)))

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.