AlphaGitHub
Source/Packages

Compiler.MachineX86NativeOffset

packages/compiler/src/Compiler/MachineX86NativeOffset.alpha

584 lines46 declarations23.5 KiBSHA-256 89175cb5d529
Download exact fileView at revisionf5034773ad4bb52133

def · lines 459–479

x86NativeComplementUnsigned32

Full file
459def x86NativeComplementUnsigned32 :
460  (pi unrestricted value : (family X86NativeUnsigned32) . (family X86NativeUnsigned32)) =
461  (lambda unrestricted value : (family X86NativeUnsigned32) .
462    (eliminate
463      X86NativeUnsigned32
464      (lambda unrestricted current : (family X86NativeUnsigned32) . (family X86NativeUnsigned32))
465      value
466      (branch
467        X86NativeUnsigned32Value
468        byte0
469        byte1
470        byte2
471        byte3
472        .
473        (constructor
474          X86NativeUnsigned32
475          X86NativeUnsigned32Value
476          (x86NativeComplementByte byte0)
477          (x86NativeComplementByte byte1)
478          (x86NativeComplementByte byte2)
479          (x86NativeComplementByte 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.