HomeIsabelle/Phabricator
Diffusion Poly/ML fea3d8da4753

Implement function calls.
fea3d8da4753
Actions

Description

Implement function calls.

Details

Provenance
dcjmAuthored on Dec 6 2021, 6:40 PM
Parents
rPOLYMLed63c136ee32: Implement PushRegisters, largely by copying code from the X86 version.
Branches
Unknown
Tags
Unknown

Changes (10)

PathSize
mlsource/
MLCompiler/
CodeTree/
Arm64Code/

rPOLYMLfea3d8da4753

View Options

mlsource/MLCompiler/CodeTree/Arm64Code/ARM64ASSEMBLY.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/ARM64ICODE.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64AllocateRegisters.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64Assembly.sml

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64CodetreeToICode.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64ICode.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64ICodeConflicts.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64ICodeToArm64Code.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64IdentifyReferences.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64PushRegisters.ML

Loading...