aboutsummaryrefslogtreecommitdiffstats
path: root/aarch64
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
|\| |
| * | printer and freg bugfixLéo Gourdin2021-01-211-57/+84
| * | fix str string in peepholeLéo Gourdin2021-01-201-1/+1
| * | Adding fp stores pairLéo Gourdin2021-01-207-27/+77
| * | Adding fp loads pairLéo Gourdin2021-01-208-134/+186
* | | Conditions now propagated by CSE3David Monniaux2021-01-201-5/+13
|\ \ \ | |/ / |/| |
| * | Merge remote-tracking branch 'origin/kvx-work' into kvx-better2-cse3David Monniaux2020-12-083-553/+241
| |\ \
| * \ \ Merge remote-tracking branch 'origin/kvx-work' into kvx-better2-cse3David Monniaux2020-12-088-41/+45
| |\ \ \
| * \ \ \ Merge remote-tracking branch 'origin/kvx-work' into kvx-better2-cse3David Monniaux2020-12-029-171/+1141
| |\ \ \ \
| * | | | | cond_valid_pointer_eqDavid Monniaux2020-11-251-5/+13
* | | | | | Val_cmp* -> Val.mxcmp*Sylvain Boulmé2021-01-076-230/+128
* | | | | | cleaningSylvain Boulmé2021-01-071-2245/+0
* | | | | | lia instead of omega in libLéo Gourdin2021-01-041-51/+51
* | | | | | Fix Asmblockgenproof after mergeLéo Gourdin2020-12-201-8/+20
* | | | | | Merge remote-tracking branch 'origin/aarch64-asmblockgenproof' into aarch64-p...Léo Gourdin2020-12-208-1288/+4260
|\ \ \ \ \ \
| * | | | | | CleanupLéo Gourdin2020-12-195-1269/+919
| * | | | | | Asmblockgenproof finished !Léo Gourdin2020-12-192-215/+132
| * | | | | | Some progress in AsmblockgenproofLéo Gourdin2020-12-174-1494/+566
| * | | | | | intermediatet commit before builtinsLéo Gourdin2020-12-165-98/+3291
| * | | | | | Generals lemmas for asmblockgenproofLéo Gourdin2020-12-144-13/+896
| * | | | | | Removing the PseudoAsm IRLéo Gourdin2020-12-136-44/+301
* | | | | | | Fix the Asmblock/Asm proofLéo Gourdin2020-12-203-34/+26
* | | | | | | fix builtin_sqrtSylvain Boulmé2020-12-171-1/+1
generated by cgit (git 2.34.1) at 2024-06-02 19:53:29 +0000