HomeIsabelle/Phabricator
Diffusion Poly/ML 3fdd0ec34e52

Turn the icode type into a polytype to allow for a version with concrete…
3fdd0ec34e52
Actions

Description

Turn the icode type into a polytype to allow for a version with concrete registers.

Details

Provenance
dcjmAuthored on Dec 31 2021, 12:59 PM
Parents
rPOLYML671276c7f5d1: Convert to generating pre-code. Use load/store pairs for exception handling.
Branches
Unknown
Tags
Unknown

Changes (15)

PathSize
mlsource/
MLCompiler/
CodeTree/
Arm64Code/

rPOLYML3fdd0ec34e52

View Options

mlsource/MLCompiler/CodeTree/Arm64Code/ARM64ICODE.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/ARM64ICODECONFLICTS.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/ARM64ICODEOPTIMISE.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/ARM64ICODETRANSFORM.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/ARM64IDENTIFYREFERENCES.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/ARM64PUSHREGISTERS.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64AllocateRegisters.ML

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/Arm64ICodeOptimise.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64ICodeToArm64Code.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64ICodeTransform.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64IdentifyReferences.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64PushRegisters.ML

Loading...