diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-03-29 07:51:52 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-03-29 07:51:52 +0000 |
| commit | 3ad2cfa6013d73f0af95af51a4b72c826478773a (patch) | |
| tree | 7b156a0a54013988236da1ed4ac2c1ac99b3ae5c /cfrontend/Cop.v | |
| parent | c677f108ff340c5bca67b428aa6e56b47f62da8c (diff) | |
| download | compcert-kvx-3ad2cfa6013d73f0af95af51a4b72c826478773a.tar.gz compcert-kvx-3ad2cfa6013d73f0af95af51a4b72c826478773a.zip | |
Inlining: preserve all RTL regs mentioned in the function, not just
those defined in the function. Semantically, both are correct, but the latter may cause RTLtyping to fail if some regs are uninitialized and a collision occurs between regs of different types.
RTL: move the function resource computations there, as it could be useful for other passes some day.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2440 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cfrontend/Cop.v')
0 files changed, 0 insertions, 0 deletions