diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-09-14 19:42:25 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-09-16 09:47:14 +0200 |
| commit | 8ac255f207b6864fa22552a48f84ffcf23f747b4 (patch) | |
| tree | fb61069fe13f8f2dbcf5f18b18f914fbb632a302 /VERSION | |
| parent | 3d25d06ec58f0527b6f0eee7e0df19c18f7133ed (diff) | |
| download | compcert-kvx-8ac255f207b6864fa22552a48f84ffcf23f747b4.tar.gz compcert-kvx-8ac255f207b6864fa22552a48f84ffcf23f747b4.zip | |
-dclight output: use nicer names for temporary variables
The temporary variables introduced by SimplLocals reuse the same
integer identifiers as the local variables they come from. This commit
ensures that these variables are printed as "$var", where "var"
is the original variable name, instead of "$NNN" as before.
The "$NNN" form is retained for temporary variables that do not
correspond to a source-level local variable, such as the temporary
variables introduced by SimplExpr.
This commit should make no difference for "ccomp -dclight", because
the Clight that is printed is the Clight version 1 produced by
SimplExpr, where every temporary is fresh and does not correspond
to a source-level local variable.
This commit does change the output of "clightgen -dclight", because
the Clight that is printed is the Clight version 2 produced by
SimplLocals. The printed Clight is much more legible thanks to
the more meaningful temporary variable names.
Diffstat (limited to 'VERSION')
0 files changed, 0 insertions, 0 deletions