AlphaGitHub
Source/Packages

Compiler.MachineX86NativeAssembly

packages/compiler/src/Compiler/MachineX86NativeAssembly.alpha

548 lines56 declarations22.2 KiBSHA-256 4a24f06c7be3
Download exact fileView at revisionf5034773ad4bb52133

def · lines 221–236

x86NativeUnsigned32Displacement

Full file
221def x86NativeUnsigned32Displacement :
222  (pi unrestricted value : (family X86NativeUnsigned32) . (family X86NativeDisplacement32)) =
223  (lambda unrestricted value : (family X86NativeUnsigned32) .
224    (eliminate
225      X86NativeUnsigned32
226      (lambda unrestricted current : (family X86NativeUnsigned32) .
227        (family X86NativeDisplacement32))
228      value
229      (branch
230        X86NativeUnsigned32Value
231        byte0
232        byte1
233        byte2
234        byte3
235        .
236        (constructor X86NativeDisplacement32 X86NativeDisplacement32Value 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.