diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-05-22 14:03:37 +0200 |
---|---|---|
committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2017-05-29 15:11:43 +0200 |
commit | 47f63df0a43209570de224f28cf53da6a758df16 (patch) | |
tree | d89860b525b7e0abf0fc473914707b4324f963cc /Makefile.menhir | |
parent | 3a37afef5420ac20b39bfd48c2aeeac915385d5f (diff) | |
download | compcert-47f63df0a43209570de224f28cf53da6a758df16.tar.gz compcert-47f63df0a43209570de224f28cf53da6a758df16.zip |
Early optimization of redundant *& and &* addressings
Particularly annoying was the `*&x` sequence where `x` is a local variable, which would force stack-allocation of `x` early, generating extra loads and stores that could not always be optimized later (in CSE and Deadcode).
The `*&` sequences and, by symmetry, the `&*` sequences are now eliminated early during Clight generation, via smart constructors.
Diffstat (limited to 'Makefile.menhir')
0 files changed, 0 insertions, 0 deletions