aboutsummaryrefslogtreecommitdiffstats
path: root/backend/Selectionaux.ml
Commit message (Expand)AuthorAgeFilesLines
* k1c -> kvx changesDavid Monniaux2020-05-261-1/+1
* start implementing expect as exprDavid Monniaux2020-04-071-0/+1
* Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...David Monniaux2019-09-201-0/+2
|\
| * AArch64 portXavier Leroy2019-08-081-0/+2
* | helpers broke compilationDavid Monniaux2019-07-191-5/+0
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-07-191-3/+3
|\|
| * Rename option `-ffavor-branchless` into `-Obranchless`Xavier Leroy2019-07-051-3/+3
* | finish merging master branch (fixes problems in glpk colamd)David Monniaux2019-06-061-4/+0
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-workDavid Monniaux2019-06-061-0/+13
|\|
| * If-conversion optimizationXavier Leroy2019-06-061-0/+113
* start to have whole path if-conversion?David Monniaux2019-06-041-1/+1
* rm old select/selectl/selectf/selectfsDavid Monniaux2019-06-031-3/+3
* ARM: select is not supported at type TlongXavier Leroy2019-06-011-2/+3
* If-conversion optimizationXavier Leroy2019-05-311-0/+108
generated by cgit (git 2.34.1) at 2024-05-09 05:02:54 +0000