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 480–487

aarch64ImmediateShiftCode

Full file
Field multipliers (the bit position of each field) and two's-complement moduli.
480def aarch64ImmediateShiftCode : (pi unrestricted shift : (family AArch64ImmediateShift) . Nat) =
481  (lambda unrestricted shift : (family AArch64ImmediateShift) .
482    (eliminate
483      AArch64ImmediateShift
484      (lambda unrestricted current : (family AArch64ImmediateShift) . Nat)
485      shift
486      (branch AArch64Unshifted . 0)
487      (branch AArch64ShiftedBy12 . 1)))

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.