AlphaGitHub
Source/Packages

Accelerator.SM86.InstructionEncoding

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

2,478 lines168 declarations99.8 KiBSHA-256 b7c60128ad15
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 858–882

sm86EncodeIntegerToFloat

Full file
858def sm86EncodeIntegerToFloat =
859  (lambda unrestricted guard : (family SM86InstructionGuard) .
860    (lambda unrestricted destination : (family SM86Register) .
861      (lambda unrestricted source : (family SM86Register) .
862        (lambda unrestricted control : (family SM86Control) .
863          (sm86EncodeInstructionFields
864            sm86OpcodeIntegerToFloat
865            guard
866            control
867            (sm86InstructionPrependField
868              sm86InstructionNaturalSixteen
869              sm86InstructionNaturalEight
870              (sm86RegisterNatural destination)
871              (sm86InstructionPrependField
872                sm86InstructionNaturalThirtyTwo
873                sm86InstructionNaturalEight
874                (sm86RegisterNatural source)
875                (sm86InstructionPrependField
876                  sm86InstructionNaturalSeventyTwo
877                  sm86InstructionNaturalEight
878                  (byte-to-nat (byte 20))
879                  (sm86InstructionOneField
880                    sm86InstructionNaturalEighty
881                    sm86InstructionNaturalEight
882                    (byte-to-nat (byte 32)))))))))))

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.