AlphaGitHub
Source/Packages

Accelerator.SM86.InstructionEncoding

packages/hardware/architectures/nvidia-sm86/src/Accelerator/SM86/InstructionEncoding.alpha

2,401 lines164 declarations94.5 KiBSHA-256 92e7bf9c2555
Download exact fileView at revisionf5034773ad4bb52133

def · lines 417–424

sm86EncodeInstructionFields

Full file
417def sm86EncodeInstructionFields =
418  (lambda unrestricted opcode : Nat .
419    (lambda unrestricted guard : (family SM86InstructionGuard) .
420      (lambda unrestricted control : (family SM86Control) .
421        (lambda unrestricted operands : (family SM86EncodedFieldList) .
422          (sm86InstructionContinueFields
423            operands
424            (sm86EncodeInstructionHeader opcode guard control))))))

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.