HomeIsabelle/Phabricator
Diffusion Poly/ML c092b36b9e93

Move conflict state code into the register allocator.
c092b36b9e93
Actions

Description

Move conflict state code into the register allocator.

Details

Provenance
dcjmAuthored on Dec 31 2021, 3:40 PM
Parents
rPOLYML941eb27ba507: AllocateRegisters now produces concrete icode and ICodeToArm64Code now handles…
Branches
Unknown
Tags
Unknown

Changes (9)

PathSize
mlsource/
MLCompiler/
CodeTree/
Arm64Code/

rPOLYMLc092b36b9e93

View Options

RootArm64.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/ARM64ALLOCATEREGISTERS.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/ARM64ICODECONFLICTS.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64AllocateRegisters.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/Arm64ICodeTransform.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/ml_bind.ML

Loading...
View Options

polymlArm64.pyp

Loading...