diff options
| author | Gabriel Kerneis | 2014-04-04 11:14:25 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-04-04 11:14:25 +0100 |
| commit | 78703f987512fbc90ccccea4b813f24fe0ccd49a (patch) | |
| tree | dbfbf4fb49793db6d495cb1098b7b25b113fb948 /language/l2.lem | |
| parent | 6211671cf52fb51aafe46438ba408d3e3e009734 (diff) | |
Improve Power execution
- Move FDE loop to the OCaml side of the Power model (avoid leaking
memory due to lack of TCO in interpreter)
- Display cycle count
- Check the value of CIA at the end of each cycle and stop if it is
equal to the initial value of LR, returning the value in GPR3.
Diffstat (limited to 'language/l2.lem')
0 files changed, 0 insertions, 0 deletions