AlphaGitHub
Source/Packages

Runtime.NativeLaunchRecipeRoutine

packages/execution/src/Runtime/NativeLaunchRecipeRoutine.alpha

180 lines37 declarations9.6 KiBSHA-256 6fe564254c66
Download exact fileView at revisionf5034773ad4bb52133

def · lines 133–139

lrMultiplyImmediate

Full file
133def lrMultiplyImmediate =
134  (lambda unrestricted destination : (family X86NativeRegister64) .
135    (lambda unrestricted immediate : Nat .
136      (lambda unrestricted tail : (family X86NativeAssembly) .
137        (nativePhysicalNativeEmit
138          (constructor X86NativeInstruction X86NativeMultiplyImmediate64 destination (x86NativeImmediate32FromNatural immediate))
139          tail))))

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.