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/Tailcall.v | |
| parent | 72f346bac066fbc58f88f101f021c5052287ad0a (diff) | |
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/Tailcall.v')
0 files changed, 0 insertions, 0 deletions