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 245–252

x86NativeImmediate32Bytes

Full file
245def x86NativeImmediate32Bytes :
246  (pi unrestricted immediate : (family X86NativeImmediate32) . Bytes) =
247  (lambda unrestricted immediate : (family X86NativeImmediate32) .
248    (eliminate
249      X86NativeImmediate32
250      (lambda unrestricted value : (family X86NativeImmediate32) . Bytes)
251      immediate
252      (branch X86NativeImmediate32Value byte0 byte1 byte2 byte3 . (bytes byte0 byte1 byte2 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.