HomeIsabelle/Phabricator
Diffusion Poly/ML 7b73eeeddef2

Implement conversion from int to Real32.real directly for X86. This is needed…
7b73eeeddef2
Actions

Description

Implement conversion from int to Real32.real directly for X86. This is needed because of 45c3b12.

Details

Provenance
dcjmAuthored on Mar 9 2021, 2:09 PM
Parents
rPOLYML9607fa7307cc: Fix problem in mutex creation.
Branches
Unknown
Tags
Unknown

Changes (9)

PathSize
mlsource/
MLCompiler/
CodeTree/
X86Code/

rPOLYML7b73eeeddef2

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