Source/Packages

Compiler.MachineAArch64

packages/compiler/src/Compiler/MachineAArch64.alpha

1,480 lines362 declarations58.2 KiBSHA-256 16c7a1ba00f1

family · lines 355–363

AArch64EncodeResult

Full file
Encoding either yields the exact bytes or names the operand it refused.
355family AArch64EncodeResult : Type 0
356constructor AArch64Encoded
357field unrestricted aarch64EncodedBytes : Bytes
358constructor AArch64ImmediateOutOfRange
359field unrestricted aarch64ImmediateOutOfRangeValue : Nat
360constructor AArch64MisalignedOffset
361field unrestricted aarch64MisalignedOffsetValue : Nat
362constructor AArch64DisplacementOutOfRange
363field unrestricted aarch64DisplacementOutOfRangeValue : Nat

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.