diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 06:57:23 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 06:57:23 +0100 |
commit | 38c676f5591b53f34eb96eb1772bb6165763263d (patch) | |
tree | c0efafd8de25a1753ec71efa2cf263cd939b065f /backend/RTLgenspec.v | |
parent | cea4f858490678f6cc1eeddec04f7ed5dc9f5c19 (diff) | |
download | compcert-kvx-38c676f5591b53f34eb96eb1772bb6165763263d.tar.gz compcert-kvx-38c676f5591b53f34eb96eb1772bb6165763263d.zip |
bitsliced-tea slightly more efficient with ternaries at some places
Diffstat (limited to 'backend/RTLgenspec.v')
0 files changed, 0 insertions, 0 deletions