HomeIsabelle/Phabricator
Diffusion Poly/ML 3ce67899e32f

Change the format of low-level instruction to call and jump to functions to…
3ce67899e32fUnpublished
Actions

Unpublished Commit · Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Change the format of low-level instruction to call and jump to functions to bring them into line with similar instructions operating on addresses.

Details

Provenance
dcjmAuthored on Apr 16 2019, 7:18 PM
Parents
rPOLYML889c0506fe4d: Change the saved C stack pointer so that it always points after the saved…
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (6)

PathSize
mlsource/
MLCompiler/
CodeTree/
X86Code/

rPOLYML3ce67899e32f

View Options

mlsource/MLCompiler/CodeTree/X86Code/ICodeSig.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/X86Code/X86CODESIG.sml

Loading...
View Options

mlsource/MLCompiler/CodeTree/X86Code/X86FOREIGNCALL.sml

Loading...
View Options

mlsource/MLCompiler/CodeTree/X86Code/X86ICode.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/X86Code/X86ICodeToX86Code.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/X86Code/X86OUTPUTCODE.ML

Loading...