HomeIsabelle/Phabricator
Diffusion Poly/ML 1a120b3f9145

Added load/storePolyWord/NativeWord functions to RunCall.
1a120b3f9145
Actions

Description

Added load/storePolyWord/NativeWord functions to RunCall.

Details

Provenance
dcjmAuthored on Jan 12 2022, 9:08 AM
Parents
rPOLYMLdfc2227eee20: Remove CheckRTSException; add back CPUPause.
Branches
Unknown
Tags
Unknown

Changes (13)

PathSize
libpolyml/
mlsource/
MLCompiler/
CodeTree/
Arm64Code/
ByteCode/
X86Code/

rPOLYML1a120b3f9145

View Options

libpolyml/bytecode.cpp

Loading...
View Options

libpolyml/int_opcodes.h

Loading...
View Options

mlsource/MLCompiler/CODETREE.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64CodetreeToICode.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/BACKENDINTERMEDIATECODE.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/BASECODETREE.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/BackendIntermediateCode.sml

Loading...
View Options

mlsource/MLCompiler/CodeTree/ByteCode/INTCODECONS.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/ByteCode/IntCodeCons.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/ByteCode/IntGCode.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/CodetreeSimplifier.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/X86Code/X86CodetreeToICode.ML

Loading...
View Options

mlsource/MLCompiler/INITIALISE_.ML

Loading...