Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update ARM port. Not tested yet. | Xavier Leroy | 2016-10-25 | 1 | -3/+3 |
| | |||||
* | Updated PR by removing whitespaces. Bug 17450. | Bernhard Schommer | 2015-10-20 | 1 | -18/+18 |
| | |||||
* | Merge of "newspilling" branch: | xleroy | 2014-07-23 | 1 | -4/+5 |
| | | | | | | | | | | | | | | | - Support single-precision floats as first-class values - Introduce chunks Many32, Many64 and types Tany32, Tany64 to support saving and restoring registers without knowing the exact types (int/single/float) of their contents, just their sizes. - Memory model: generalize the opaque encoding of pointers to apply to any value, not just pointers, if chunks Many32/Many64 are selected. - More properties of FP arithmetic proved. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2537 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e | ||||
* | Updated ARM backend wrt new static analyses and optimizations. | xleroy | 2014-01-02 | 1 | -0/+204 |
NeedOp, Deadcode: must have distinct needs per argument of an operator. This change remains to be propagated to IA32 and PPC. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2399 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e |