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 241–264

sm86Unsigned32Natural

Full file
241def sm86Unsigned32Natural =
242  (lambda unrestricted value : (family SM86Unsigned32) .
243    (eliminate
244      SM86Unsigned32
245      (lambda unrestricted current : (family SM86Unsigned32) . Nat)
246      value
247      (branch
248        SM86Unsigned32Value
249        byte0
250        byte1
251        byte2
252        byte3
253        .
254        (naturalAdd
255          (byte-to-nat byte0)
256          (naturalMultiply
257            byteNaturalTwoHundredFiftySix
258            (naturalAdd
259              (byte-to-nat byte1)
260              (naturalMultiply
261                byteNaturalTwoHundredFiftySix
262                (naturalAdd
263                  (byte-to-nat byte2)
264                  (naturalMultiply byteNaturalTwoHundredFiftySix (byte-to-nat byte3))))))))))

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.