diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-08 16:36:16 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-08 16:36:16 +0100 |
| commit | bf21c2c43629ca47a2a34c47a01c4525a69a2ca6 (patch) | |
| tree | c00bd279c2be10fe5503f90217715d28b54f3e1e /riscV/CombineOp.v | |
| parent | 355c79ae4ffe9a0669c06d7a3a3ce1eb86ccc5fb (diff) | |
| download | compcert-bf21c2c43629ca47a2a34c47a01c4525a69a2ca6.tar.gz compcert-bf21c2c43629ca47a2a34c47a01c4525a69a2ca6.zip | |
Print x2 for riscV stack pointer.
x2 is the stack pointer of the riscV, both sp and x2 are supported
but to be safe use x2 in annotations.
Bug 23176
Diffstat (limited to 'riscV/CombineOp.v')
0 files changed, 0 insertions, 0 deletions