Runtime.LaunchRecipe · Source

family · lines 27–59
LaunchRecipeBackend

27family LaunchRecipeBackend : Type 0
28parameter erased recipeAssembly : Type 0
29parameter erased recipeRegister : Type 0
30constructor LaunchRecipeBackendValue
31field unrestricted backendRecipeMove : (pi unrestricted a0 : recipeRegister . (pi unrestricted a1 : recipeRegister . (pi unrestricted a2 : recipeAssembly . recipeAssembly)))
32field unrestricted backendRecipeAdd : (pi unrestricted a0 : recipeRegister . (pi unrestricted a1 : recipeRegister . (pi unrestricted a2 : recipeAssembly . recipeAssembly)))
33field unrestricted backendRecipeSubtract : (pi unrestricted a0 : recipeRegister . (pi unrestricted a1 : recipeRegister . (pi unrestricted a2 : recipeAssembly . recipeAssembly)))
34field unrestricted backendRecipeAddImmediate : (pi unrestricted a0 : recipeRegister . (pi unrestricted a1 : Nat . (pi unrestricted a2 : recipeAssembly . recipeAssembly)))
35field unrestricted backendRecipeCompare : (pi unrestricted a0 : recipeRegister . (pi unrestricted a1 : recipeRegister . (pi unrestricted a2 : recipeAssembly . recipeAssembly)))
36field unrestricted backendRecipeCompareImmediate : (pi unrestricted a0 : recipeRegister . (pi unrestricted a1 : Nat . (pi unrestricted a2 : recipeAssembly . recipeAssembly)))
37field unrestricted backendRecipeTest : (pi unrestricted a0 : recipeRegister . (pi unrestricted a1 : recipeAssembly . recipeAssembly))
38field unrestricted backendRecipeLoad64 : (pi unrestricted a0 : recipeRegister . (pi unrestricted a1 : recipeRegister . (pi unrestricted a2 : Nat . (pi unrestricted a3 : recipeAssembly . recipeAssembly))))
39field unrestricted backendRecipeLoad32 : (pi unrestricted a0 : recipeRegister . (pi unrestricted a1 : recipeRegister . (pi unrestricted a2 : Nat . (pi unrestricted a3 : recipeAssembly . recipeAssembly))))
40field unrestricted backendRecipeLoad8 : (pi unrestricted a0 : recipeRegister . (pi unrestricted a1 : recipeRegister . (pi unrestricted a2 : recipeAssembly . recipeAssembly)))
41field unrestricted backendRecipeStore64 : (pi unrestricted a0 : recipeRegister . (pi unrestricted a1 : Nat . (pi unrestricted a2 : recipeRegister . (pi unrestricted a3 : recipeAssembly . recipeAssembly))))
42field unrestricted backendRecipeStore8 : (pi unrestricted a0 : recipeRegister . (pi unrestricted a1 : recipeRegister . (pi unrestricted a2 : recipeAssembly . recipeAssembly)))
43field unrestricted backendRecipeClear : (pi unrestricted a0 : recipeRegister . (pi unrestricted a1 : recipeAssembly . recipeAssembly))
44field unrestricted backendRecipeMultiplyImmediate : (pi unrestricted a0 : recipeRegister . (pi unrestricted a1 : Nat . (pi unrestricted a2 : recipeAssembly . recipeAssembly)))
45field unrestricted backendRecipeLabel : (pi unrestricted a0 : Bytes . (pi unrestricted a1 : recipeAssembly . recipeAssembly))
46field unrestricted backendRecipeJump : (pi unrestricted a0 : Bytes . (pi unrestricted a1 : recipeAssembly . recipeAssembly))
47field unrestricted backendRecipeJumpIf : (pi unrestricted a0 : (family LaunchRecipeCondition) . (pi unrestricted a1 : Bytes . (pi unrestricted a2 : recipeAssembly . recipeAssembly)))
48field unrestricted backendRecipeReturn : (pi unrestricted a0 : recipeAssembly . recipeAssembly)
49field unrestricted backendRecipeEnd : recipeAssembly
50field unrestricted backendRecipeRAX : recipeRegister
51field unrestricted backendRecipeRCX : recipeRegister
52field unrestricted backendRecipeRDX : recipeRegister
53field unrestricted backendRecipeRSI : recipeRegister
54field unrestricted backendRecipeRDI : recipeRegister
55field unrestricted backendRecipeRSP : recipeRegister
56field unrestricted backendRecipeR8 : recipeRegister
57field unrestricted backendRecipeR9 : recipeRegister
58field unrestricted backendRecipeR10 : recipeRegister
59field unrestricted backendRecipeR11 : recipeRegister
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.