HomeIsabelle/Phabricator
Diffusion Poly/ML dd81d4fd03af

Optimise unboxing of recently boxed items. This occurs in sequences of…
dd81d4fd03af
Actions

Description

Optimise unboxing of recently boxed items. This occurs in sequences of LargeWord or floating-point operations.

Details

Provenance
dcjmAuthored on Jan 18 2022, 12:33 PM
Parents
rPOLYML2daf52d6809e: Support for arguments and results in floating-point registers. Not yet enabled.
Branches
Unknown
Tags
Unknown

Changes (8)

PathSize
mlsource/
MLCompiler/
CodeTree/
Arm64Code/

rPOLYMLdd81d4fd03af

View Options

mlsource/MLCompiler/CodeTree/Arm64Code/ARM64ICODE.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/ARM64PREASSEMBLY.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64AllocateRegisters.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64ICode.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64ICodeOptimise.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/Arm64PreAssembly.ML

Loading...