aboutsummaryrefslogtreecommitdiffstats
path: root/aarch64
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into towards_3.10David Monniaux2021-10-291-2/+2
|\
| * Qualify `Instance` and `Program Instance` as `Global`Xavier Leroy2021-10-031-2/+2
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-241-3/+3
|\|
| * Fix wrong expansion of __builtin_memcpy_alignedXavier Leroy2021-09-231-2/+2
| * For __builtin_memcpy_aligned, watch out for alignment of stack offsetsXavier Leroy2021-09-231-0/+1
| * Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-084-16/+20
| * Support __builtin_unreachableXavier Leroy2021-05-021-0/+4
* | fix issue 244Léo Gourdin2021-09-191-0/+1
* | fix bug from issue 239Léo Gourdin2021-09-151-0/+2
* | cleanupLéo Gourdin2021-09-011-42/+0
* | [MERGE] BTL into kvx-work (replacing RTLpath)Léo Gourdin2021-09-013-424/+261
|\ \
| * | remove todos, cleanLéo Gourdin2021-07-281-1/+0
| * | fix ciLéo Gourdin2021-07-212-16/+14
| * | fix depsLéo Gourdin2021-07-201-1/+2
| * | Fix compile on ARM/x86 backendsLéo Gourdin2021-07-202-434/+149
| * | op simplify BTL introLéo Gourdin2021-07-201-0/+43
* | | Fix can't schedule issuesDavid Monniaux2021-07-191-1/+2
|\ \ \
| * | | comment for authorsDavid Monniaux2021-07-161-0/+13
| * | | rm useless codeDavid Monniaux2021-07-161-48/+0
| * | | rm TODODavid Monniaux2021-07-161-1/+0
| * | | fix for Risc-VDavid Monniaux2021-06-171-0/+1
| * | | was very wrong, fixingnicolas.nardino2021-06-142-5/+8
| * | | work on the schedulernicolas.nardino2021-06-122-1/+4
| * | | Work on new schedluernicolas.nardino2021-06-104-4/+60
| * | | computing live regs at sb entry from its live output regsnicolas.nardino2021-06-041-3/+3
| * | | Passing info of live regs to scheduler: beginningnicolas.nardino2021-06-042-1/+4
| |/ /
* / / Make prepass scheduling sensitive to register pressure, by Nicolas Nardino.David Monniaux2021-07-164-4/+34
|/ /
* | Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1Cyril SIX2021-06-014-9/+25
|\ \
| * | bugfix A64 peephole (cf Scade/Fighter example)Léo Gourdin2021-05-311-6/+5
| * | add auxfileDavid Monniaux2021-04-271-0/+17
| * | collision of registersDavid Monniaux2021-04-122-3/+3
* | | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-015-16/+24
* | | fix aarch64 merge?Léo Gourdin2021-03-296-846/+17
* | | replacing omega with lia in some fileLéo Gourdin2021-03-294-30/+34
* | | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-2317-216/+3156
|\ \ \ | |/ / |/| / | |/
| * Section handling: finer control of variable initializationXavier Leroy2021-02-231-1/+1
| * Introduce and use PrintAsmaux.variable_sectionXavier Leroy2021-02-231-4/+4
| * Qualify `Hint` as `Global Hint` where appropriateXavier Leroy2021-01-212-3/+3
| * "macosx" is now called "macos"Xavier Leroy2021-01-183-3/+3
| * Support re-normalization of function parameters at function entryXavier Leroy2021-01-161-6/+10
| * Replace `omega` tactic with `lia`Xavier Leroy2020-12-299-133/+133
| * AArch64 / macOS: use __DATA,__CONST section instead of .const (temporary fix)Xavier Leroy2020-12-261-1/+1
| * AArch64: macOS portXavier Leroy2020-12-2612-215/+484
| * AArch64: clarify the printing of extending-register arithmetic operationsXavier Leroy2020-12-261-13/+13
| * AArch64: wrong function alignmentXavier Leroy2020-12-261-1/+1
* | fix ci ?Léo Gourdin2021-03-022-0/+59
* | quick fixcommentsLéo Gourdin2021-02-161-1/+1
* | Merge branch 'aarch64-peephole' into kvx-workLéo Gourdin2021-01-251-150/+110
|\ \
| * | Hashmap in peepholeLéo Gourdin2021-01-251-150/+110
* | | Merge remote-tracking branch 'origin/aarch64-peephole' into kvx-workDavid Monniaux2021-01-228-168/+297
|\| |
generated by cgit (git 2.34.1) at 2024-04-27 12:10:31 +0000