Source/Packages

Accelerator.SM86.InstructionEncoding

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

2,580 lines175 declarations106.3 KiBSHA-256 13b25e5394ea

def · lines 1022–1043

sm86EncodeFloat32PairToFloat8Pair

Full file
1022def sm86EncodeFloat32PairToFloat8Pair =
1023  (lambda unrestricted guard : (family SM86InstructionGuard) .
1024    (lambda unrestricted destination : (family SM86Register) .
1025      (lambda unrestricted sourceHigh : (family SM86Register) .
1026        (lambda unrestricted sourceLow : (family SM86Register) .
1027          (lambda unrestricted merge : (family SM86Register) .
1028            (lambda unrestricted mergeHalf : (family SM86HalfSelector) .
1029              (lambda unrestricted format : (family SM86Float8Format) .
1030                (lambda unrestricted control : (family SM86Control) .
1031                  (sm86EncodeInstructionFields
1032                    sm86OpcodeFloatPairToPackedHalfPair
1033                    guard
1034                    control
1035                    (sm86InstructionPrependField 16 8 (sm86RegisterNatural destination)
1036                    (sm86InstructionPrependField 24 8 (sm86RegisterNatural sourceHigh)
1037                    (sm86InstructionPrependField 32 8 (sm86RegisterNatural sourceLow)
1038                    (sm86InstructionPrependField 64 8 (sm86RegisterNatural merge)
1039                    (sm86InstructionPrependField 72 1 (sm86HalfSelectorNatural mergeHalf)
1040                    (sm86InstructionPrependField 76 1 (sm86Float8FormatNatural format)
1041                    (sm86InstructionPrependField 77 2 3
1042                    (sm86InstructionPrependField 87 1 1
1043                      (sm86InstructionOneField 90 1 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.