diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-06-05 09:03:10 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-06-05 09:03:10 +0000 |
| commit | 02d3c953c79af64a542ff659822fe003c0c532f3 (patch) | |
| tree | df69cc24530341e9f37773ee8afdd0297853aac6 /backend/Cminorgen.v | |
| parent | a7010ea01d63c73892ba14fd1d5170f4c2b28f98 (diff) | |
| download | compcert-02d3c953c79af64a542ff659822fe003c0c532f3.tar.gz compcert-02d3c953c79af64a542ff659822fe003c0c532f3.zip | |
Optimisation des casts (idempotence, etc)
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@33 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'backend/Cminorgen.v')
0 files changed, 0 insertions, 0 deletions