diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-02-27 15:13:38 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-02-27 15:13:38 +0000 |
commit | c90abe06d110eb9c39b941792d896c741dc851dd (patch) | |
tree | 5ec86312aaa03743031463ff3c508aa5ff25fa07 /backend/Coloringaux.mli | |
parent | 72f346bac066fbc58f88f101f021c5052287ad0a (diff) | |
download | compcert-c90abe06d110eb9c39b941792d896c741dc851dd.tar.gz compcert-c90abe06d110eb9c39b941792d896c741dc851dd.zip |
Optimize redundant casts after memory loads
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1002 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'backend/Coloringaux.mli')
0 files changed, 0 insertions, 0 deletions