diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-02-25 10:42:34 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-02-25 10:42:34 +0000 |
| commit | 65cc3738e7436e46f70c0508638a71fbb49c50a8 (patch) | |
| tree | dacf1cc0a9c431dca55461d516fbd12a991d107a /cfrontend/Cshmgen.v | |
| parent | 62316a8e94d8cdcbf9e7aeadd1caf8e29507e6b0 (diff) | |
| download | compcert-kvx-65cc3738e7436e46f70c0508638a71fbb49c50a8.tar.gz compcert-kvx-65cc3738e7436e46f70c0508638a71fbb49c50a8.zip | |
Translate CompCert C's "a ? b : c" to the equivalent simple Clight expr if
b and c are simple.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1826 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cfrontend/Cshmgen.v')
0 files changed, 0 insertions, 0 deletions