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 262–280

x86NativeImmediate64Bytes

Full file
262def x86NativeImmediate64Bytes :
263  (pi unrestricted immediate : (family X86NativeImmediate64) . Bytes) =
264  (lambda unrestricted immediate : (family X86NativeImmediate64) .
265    (eliminate
266      X86NativeImmediate64
267      (lambda unrestricted value : (family X86NativeImmediate64) . Bytes)
268      immediate
269      (branch
270        X86NativeImmediate64Value
271        byte0
272        byte1
273        byte2
274        byte3
275        byte4
276        byte5
277        byte6
278        byte7
279        .
280        (bytes byte0 byte1 byte2 byte3 byte4 byte5 byte6 byte7))))

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.