HomeIsabelle/Phabricator

Experiment with 32-in-64. Problem that the index multiplier is either 1 or the…

Description

Experiment with 32-in-64. Problem that the index multiplier is either 1 or the operand size so loading a 64-bit
value isn't easy.

Details

Provenance
dcjmAuthored on Mar 24 2021, 5:24 PM
Parents
rPOLYML7b73eeeddef2: Implement conversion from int to Real32.real directly for X86. This is needed…
Branches
Unknown
Tags
Unknown