HomeIsabelle/Phabricator
Diffusion Poly/ML f0894d4c28af

Implement conversion from int to Real32.real directly for X86. This is needed…
f0894d4c28af
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
rPOLYMLe6475b023b95: Merge branch 'ARM64Development' into ARM64Testing
Branches
Unknown
Tags
Unknown

Changes (9)

PathSize
mlsource/
MLCompiler/
CodeTree/
X86Code/

rPOLYMLf0894d4c28af

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