HomeIsabelle/Phabricator
Diffusion Poly/ML 76f9243b0ebe

Merge AdditionalEnterInt into ARM64Development. Use AtomicExchangeAndAdd…
76f9243b0ebe
Actions

Description

Merge AdditionalEnterInt into ARM64Development. Use AtomicExchangeAndAdd rather than AtomicIncrement/Decrement.

Details

Provenance
dcjmAuthored on Jan 16 2021, 6:39 PM
Parents
rPOLYML258c2c781ae8: Add new enter-int instructions for ARM64.
rPOLYMLacaa073cc0af: Add comments on register usage.
Branches
Unknown
Tags
Unknown

Merged Changes

Changes (28)

PathSize
basis/
Thread.581.sml
Thread.sml
libpolyml/
mlsource/
MLCompiler/
CodeTree/
ByteCode/
X86Code/

rPOLYML76f9243b0ebe

View Options

basis/Thread.581.sml

Loading...
View Options

basis/Thread.sml

Loading...
View Options

libpolyml/arm64.cpp

Loading...
View Options

libpolyml/bytecode.cpp

Loading...
View Options

libpolyml/int_opcodes.h

Loading...
View Options

libpolyml/interpreter.cpp

Loading...
View Options

libpolyml/processes.h

Loading...
View Options

libpolyml/sharedata.cpp

Loading...
View Options

libpolyml/x86_dep.cpp

Loading...
View Options

mlsource/MLCompiler/BUILTINS.sml

Loading...
View Options

mlsource/MLCompiler/CODETREESIG.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/BackendIntermediateCode.sml

Loading...
View Options

mlsource/MLCompiler/CodeTree/ByteCode/INTCODECONS.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/ByteCode/INTCODECONSSIG.sml

Loading...
View Options

mlsource/MLCompiler/CodeTree/ByteCode/INTGCODE.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/CODETREE.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/CODETREE_FUNCTIONS.sml

Loading...
View Options

mlsource/MLCompiler/CodeTree/X86Code/ICodeSig.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/X86Code/X86AllocateRegisters.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/X86Code/X86CODESIG.sml

Loading...
View Options

mlsource/MLCompiler/CodeTree/X86Code/X86CodetreeToICode.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/X86Code/X86ICode.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/X86Code/X86ICodeGetConflictSets.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/X86Code/X86ICodeIdentifyReferences.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/X86Code/X86ICodeToX86Code.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/X86Code/X86OUTPUTCODE.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/X86Code/X86PushRegisters.ML

Loading...
View Options

mlsource/MLCompiler/INITIALISE_.ML

Loading...