diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-08-24 11:11:29 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-08-24 11:11:29 +0200 |
commit | 954b01e1ac6189f4a8b5ad1b6accf6eb01261d1f (patch) | |
tree | 15f94aa59521a6317bd8ae271bd989c531600115 /runtime/arm/i64_sdiv.S | |
parent | b55d63d2917b384fa0f5da76d7d16036ad263847 (diff) | |
download | compcert-954b01e1ac6189f4a8b5ad1b6accf6eb01261d1f.tar.gz compcert-954b01e1ac6189f4a8b5ad1b6accf6eb01261d1f.zip |
PR#113, PR#122: Unspillable temporaries causing register allocation to fail
The spilling strategy for 2-address operations was strange in the case where the first argument needs spilling but not (yet) the result: a Xreload instruction was generated which prevented future spilling of the result.
Fixed by generating Xmove instead of Xreload in this case.
Diffstat (limited to 'runtime/arm/i64_sdiv.S')
0 files changed, 0 insertions, 0 deletions