diff options
author | Michael Schmidt <github@mschmidt.me> | 2017-03-21 15:22:46 +0100 |
---|---|---|
committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2017-04-06 15:16:11 +0200 |
commit | 6ce07727bcf4e330f897d9461a924334a0f0980e (patch) | |
tree | 96550377c581d69a61f89069175497dbe7cf725d /powerpc/extractionMachdep.v | |
parent | 8d4562d4d3bebb9c62374beaf39d8327acdc647d (diff) | |
download | compcert-6ce07727bcf4e330f897d9461a924334a0f0980e.tar.gz compcert-6ce07727bcf4e330f897d9461a924334a0f0980e.zip |
attempt to optimize empty if/then/else statements
Diffstat (limited to 'powerpc/extractionMachdep.v')
0 files changed, 0 insertions, 0 deletions