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.