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 282–296

x86NativeDisplacement32Bytes

Full file
282def x86NativeDisplacement32Bytes :
283  (pi unrestricted displacement : (family X86NativeDisplacement32) . Bytes) =
284  (lambda unrestricted displacement : (family X86NativeDisplacement32) .
285    (eliminate
286      X86NativeDisplacement32
287      (lambda unrestricted value : (family X86NativeDisplacement32) . Bytes)
288      displacement
289      (branch
290        X86NativeDisplacement32Value
291        byte0
292        byte1
293        byte2
294        byte3
295        .
296        (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.