AlphaGitHub
Source/Packages

Compiler.MachineX86

packages/compiler/src/Compiler/MachineX86.alpha

280 lines85 declarations12.4 KiBSHA-256 dfe71aa48e78
Download exact fileView at revisionf5034773ad4bb52133

family · lines 35–96

X86Instruction

Full file
35family X86Instruction : Type 0
36index erased x86InstructionInput : (family X86MachineState)
37index erased x86InstructionOutput : (family X86MachineState)
38index erased x86InstructionEffects : (family X86EffectTrace)
39constructor X86ZeroEDI32
40field erased x86ZeroInputRAX : (family X86ValueClass)
41field erased x86ZeroInputRDI : (family X86ValueClass)
42field erased x86ZeroInputRSI : (family X86ValueClass)
43field erased x86ZeroInputRDX : (family X86ValueClass)
44result (constructor X86MachineState X86MachineStateValue x86ZeroInputRAX x86ZeroInputRDI x86ZeroInputRSI x86ZeroInputRDX)
45result (constructor X86MachineState X86MachineStateValue x86ZeroInputRAX (constructor X86ValueClass X86Word64Value) x86ZeroInputRSI x86ZeroInputRDX)
46result (constructor X86EffectTrace X86NoEffects)
47constructor X86IncrementRDI64
48field erased x86IncrementInputRAX : (family X86ValueClass)
49field erased x86IncrementInputRSI : (family X86ValueClass)
50field erased x86IncrementInputRDX : (family X86ValueClass)
51result (constructor X86MachineState X86MachineStateValue x86IncrementInputRAX (constructor X86ValueClass X86Word64Value) x86IncrementInputRSI x86IncrementInputRDX)
52result (constructor X86MachineState X86MachineStateValue x86IncrementInputRAX (constructor X86ValueClass X86Word64Value) x86IncrementInputRSI x86IncrementInputRDX)
53result (constructor X86EffectTrace X86NoEffects)
54constructor X86MoveEAXImmediate32
55field erased x86MoveEAXInputRAX : (family X86ValueClass)
56field erased x86MoveEAXInputRDI : (family X86ValueClass)
57field erased x86MoveEAXInputRSI : (family X86ValueClass)
58field erased x86MoveEAXInputRDX : (family X86ValueClass)
59field unrestricted x86MoveEAXImmediate : (family X86Immediate32)
60result (constructor X86MachineState X86MachineStateValue x86MoveEAXInputRAX x86MoveEAXInputRDI x86MoveEAXInputRSI x86MoveEAXInputRDX)
61result (constructor X86MachineState X86MachineStateValue (constructor X86ValueClass X86Word64Value) x86MoveEAXInputRDI x86MoveEAXInputRSI x86MoveEAXInputRDX)
62result (constructor X86EffectTrace X86NoEffects)
63constructor X86MoveEDIImmediate32
64field erased x86MoveEDIInputRAX : (family X86ValueClass)
65field erased x86MoveEDIInputRDI : (family X86ValueClass)
66field erased x86MoveEDIInputRSI : (family X86ValueClass)
67field erased x86MoveEDIInputRDX : (family X86ValueClass)
68field unrestricted x86MoveEDIImmediate : (family X86Immediate32)
69result (constructor X86MachineState X86MachineStateValue x86MoveEDIInputRAX x86MoveEDIInputRDI x86MoveEDIInputRSI x86MoveEDIInputRDX)
70result (constructor X86MachineState X86MachineStateValue x86MoveEDIInputRAX (constructor X86ValueClass X86Word64Value) x86MoveEDIInputRSI x86MoveEDIInputRDX)
71result (constructor X86EffectTrace X86NoEffects)
72constructor X86MoveEDXImmediate32
73field erased x86MoveEDXInputRAX : (family X86ValueClass)
74field erased x86MoveEDXInputRDI : (family X86ValueClass)
75field erased x86MoveEDXInputRSI : (family X86ValueClass)
76field erased x86MoveEDXInputRDX : (family X86ValueClass)
77field unrestricted x86MoveEDXImmediate : (family X86Immediate32)
78result (constructor X86MachineState X86MachineStateValue x86MoveEDXInputRAX x86MoveEDXInputRDI x86MoveEDXInputRSI x86MoveEDXInputRDX)
79result (constructor X86MachineState X86MachineStateValue x86MoveEDXInputRAX x86MoveEDXInputRDI x86MoveEDXInputRSI (constructor X86ValueClass X86Word64Value))
80result (constructor X86EffectTrace X86NoEffects)
81constructor X86LoadRSIRIPRelative
82field erased x86LoadRSIInputRAX : (family X86ValueClass)
83field erased x86LoadRSIInputRDI : (family X86ValueClass)
84field erased x86LoadRSIInputRSI : (family X86ValueClass)
85field erased x86LoadRSIInputRDX : (family X86ValueClass)
86field unrestricted x86LoadRSIDisplacement : (family X86Immediate32)
87result (constructor X86MachineState X86MachineStateValue x86LoadRSIInputRAX x86LoadRSIInputRDI x86LoadRSIInputRSI x86LoadRSIInputRDX)
88result (constructor X86MachineState X86MachineStateValue x86LoadRSIInputRAX x86LoadRSIInputRDI (constructor X86ValueClass X86AddressValue) x86LoadRSIInputRDX)
89result (constructor X86EffectTrace X86NoEffects)
90constructor X86SystemCall
91field erased x86SystemCallInputRDI : (family X86ValueClass)
92field erased x86SystemCallInputRSI : (family X86ValueClass)
93field erased x86SystemCallInputRDX : (family X86ValueClass)
94result (constructor X86MachineState X86MachineStateValue (constructor X86ValueClass X86Word64Value) x86SystemCallInputRDI x86SystemCallInputRSI x86SystemCallInputRDX)
95result (constructor X86MachineState X86MachineStateValue (constructor X86ValueClass X86Word64Value) x86SystemCallInputRDI x86SystemCallInputRSI x86SystemCallInputRDX)
96result (constructor X86EffectTrace X86SystemCallEffect (constructor X86EffectTrace X86NoEffects))

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.