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 /driver | |
| 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 'driver')
0 files changed, 0 insertions, 0 deletions