AlphaGitHub
Source/Packages

Compiler.MachineX86Native

packages/compiler/src/Compiler/MachineX86Native.alpha

1,314 lines242 declarations56.6 KiBSHA-256 b3ccf0f17d32
Download exact fileView at revisionf5034773ad4bb52133

def · lines 842–852

x86NativeConditionOpcode

Full file
842def x86NativeConditionOpcode : (pi unrestricted condition : (family X86NativeCondition) . Byte) =
843  (lambda unrestricted condition : (family X86NativeCondition) .
844    (eliminate
845      X86NativeCondition
846      (lambda unrestricted value : (family X86NativeCondition) . Byte)
847      condition
848      (branch X86NativeConditionZero . (byte 132))
849      (branch X86NativeConditionNotZero . (byte 133))
850      (branch X86NativeConditionBelow . (byte 130))
851      (branch X86NativeConditionAbove . (byte 135))
852      (branch X86NativeConditionSign . (byte 136))))

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.