| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | More portable test for fres and fsqrte. | Xavier Leroy | 2015-07-08 | 1 | -3/+3 |
| | | | | | These instructions are approximate and produce different results on different processors. Just check the error bounds specified in the PPC ISA. | ||||
| * | checklink/Check.ml: missing SDA addressing for store instructions. | xleroy | 2014-08-19 | 1 | -0/+75 |
| powerpc/PrintAsm.ml: update Linux output (Csymbol_rel, SDA sections). test/regression/sections.c: test for SDA and relative addressings. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2571 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e | |||||
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |