diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-25 11:06:15 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-25 11:06:15 +0100 |
commit | e8f2ef5c8c926462277afb520cacaa265b7e612c (patch) | |
tree | 7c3b552108da1d8fb3ae867e0076ab91663e7fa9 /x86/CombineOp.v | |
parent | 9521c220e157632972387ad0394010e89eff0aab (diff) | |
download | compcert-e8f2ef5c8c926462277afb520cacaa265b7e612c.tar.gz compcert-e8f2ef5c8c926462277afb520cacaa265b7e612c.zip |
Do not use hardcoded register number for sp.
Since the dwarf register names for x86_32 and x86_64 differ it is
wrong to hardcode the dwarf register number for rsp to 4.
Bug 20461
Diffstat (limited to 'x86/CombineOp.v')
0 files changed, 0 insertions, 0 deletions