diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-21 17:49:22 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-21 17:49:22 +0200 |
| commit | 3174d685154a1e0febf305d305fc79422a1adcd3 (patch) | |
| tree | 185cbc49bea43ddb179bf372321aa0abc1f84348 /backend/Stacking.v | |
| parent | bc1fbdd0baaab41aa048b3214ec71bb0cc04dfcc (diff) | |
| download | compcert-3174d685154a1e0febf305d305fc79422a1adcd3.tar.gz compcert-3174d685154a1e0febf305d305fc79422a1adcd3.zip | |
Removed unnecessary move register and use the correct register as base value for the rlwinm.
Diffstat (limited to 'backend/Stacking.v')
0 files changed, 0 insertions, 0 deletions