Source/Packages

Compiler.MachineX86Native

packages/compiler/src/Compiler/MachineX86Native.alpha

1,314 lines242 declarations56.6 KiBSHA-256 b3ccf0f17d32

def · lines 1033–1045

x86NativeScalarDoubleOpcode

Full file
1033def x86NativeScalarDoubleOpcode :
1034  (pi unrestricted operation : (family X86NativeScalarDoubleOperation) . Byte) =
1035  (lambda unrestricted operation : (family X86NativeScalarDoubleOperation) .
1036    (eliminate
1037      X86NativeScalarDoubleOperation
1038      (lambda unrestricted value : (family X86NativeScalarDoubleOperation) . Byte)
1039      operation
1040      (branch X86NativeScalarDoubleAdd . (byte 88))
1041      (branch X86NativeScalarDoubleSubtract . (byte 92))
1042      (branch X86NativeScalarDoubleMultiply . (byte 89))
1043      (branch X86NativeScalarDoubleDivide . (byte 94))
1044      (branch X86NativeScalarDoubleSquareRoot . (byte 81))
1045      (branch X86NativeScalarDoubleToSingle . (byte 90))))

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.