HomeIsabelle/Phabricator
Diffusion Poly/ML dfc2227eee20

Remove CheckRTSException; add back CPUPause.
dfc2227eee20
Actions

Description

Remove CheckRTSException; add back CPUPause.

Details

Provenance
dcjmAuthored on Jan 9 2022, 9:37 AM
Parents
rPOLYML0c294ecf45e8: Move code to check for RTS exceptions into the RTS caller for the X86. This…
Branches
Unknown
Tags
Unknown

Changes (17)

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

rPOLYMLdfc2227eee20

View Options

mlsource/MLCompiler/BUILTINS.sml

Loading...
View Options

mlsource/MLCompiler/CODETREE.sig

Loading...
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/Arm64CodetreeToICode.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64ICode.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...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64PushRegisters.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/BackendIntermediateCode.sml

Loading...
View Options

mlsource/MLCompiler/CodeTree/ByteCode/IntGCode.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/CodeTreeConstruction.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/CodetreeFunctions.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/X86Code/X86CodetreeToICode.ML

Loading...
View Options

mlsource/MLCompiler/INITIALISE_.ML

Loading...