aboutsummaryrefslogtreecommitdiffstats
path: root/aarch64
Commit message (Expand)AuthorAgeFilesLines
* Remove out-of-date commentJustus Fasse2020-07-071-1/+0
* Remove Pfsel which is currently identical to PcselJustus Fasse2020-07-071-3/+1
* Merge PArith(SW|DX)FR0Justus Fasse2020-07-071-17/+13
* Merge PArith(W|X)RR0 and PArith(W|X)ARRRR0Justus Fasse2020-07-071-47/+30
* introduce if_opt_bool_val.Sylvain Boulmé2020-07-061-7/+12
* intermediate comparison function on arit_comparison_*Sylvain Boulmé2020-07-061-11/+17
* merging arith_comparison_w_r0r and arith_comparison_x_r0r into arith_comparis...Sylvain Boulmé2020-07-061-28/+20
* unifying arith_w_rr0r and arith_x_rr0r into arith_rr0rSylvain Boulmé2020-07-061-51/+42
* aarch64/Asmblock: Move Pmovk to arith_ppJustus Fasse2020-07-061-5/+5
* aarch64/Asm: Fix `Error: Pattern "PC" is redundant in this clause.`Justus Fasse2020-07-061-1/+1
* aarch64/Asmblock: Change PArithAFFF to PArithPPP for consistencyJustus Fasse2020-07-061-16/+17
* aarch64/Asmblock: Merge PArithCRRR and PArithCFFFJustus Fasse2020-07-061-23/+12
* aarch64/Asmblock: Merge PArithRRR, PArithRspRspR and PArithFFFJustus Fasse2020-07-061-41/+22
* aarch64/Asmblock: Merge PArithComparisonRR and PArithComparisonFFJustus Fasse2020-07-061-21/+11
* aarch64/Asmblock: Merge RR, RF, FR, FF, RspRspJustus Fasse2020-07-061-85/+41
* aarch64/Asmblock: Merge arith_comparison_(r|f)Justus Fasse2020-07-061-26/+12
* aarch64/Asmblock: Switch arith_c_r to arith_c_p for consistencyJustus Fasse2020-07-061-4/+4
* aarch64/Asmblock: Merge arith_r and arith_f into arith_pJustus Fasse2020-07-061-19/+10
* aarch64/Asmblock: Change preg to simplify preg-ificationJustus Fasse2020-07-061-10/+12
* Asmblock: Rename arith_name_<...> -> arith_name_<...>Justus Fasse2020-07-051-62/+62
* Asmblock: Use i as variable name for instructionsJustus Fasse2020-07-051-73/+73
* Asmblock: Add instructions with conditional executionJustus Fasse2020-07-051-6/+41
* Asmblock: PArithWRR0I -> PArithWRR0, PArithXRR0I -> PArithXRR0Justus Fasse2020-07-041-22/+22
* Asmblock: Merge PArithFF32 and PArithFF64 into PArithFJustus Fasse2020-07-041-19/+9
* Asmblock: Add TODO for instructions I had previously forgottenJustus Fasse2020-07-041-0/+3
* Asmblock: PArithRspRspI -> PArithRspRspJustus Fasse2020-07-041-11/+11
* Asmblock: PArithComparisonRI -> PArithComparisonRJustus Fasse2020-07-041-17/+17
* fixing type of PLoad and PStoreSylvain Boulmé2020-07-031-3/+3
* Merging arith_name_r and arith_name_ri into arith_rSylvain Boulmé2020-07-031-24/+18
* Asmblock: Add floating-point load and storesJustus Fasse2020-07-021-4/+24
* Asmblock: First attempt at completing PArith/ar_instruction/...Justus Fasse2020-07-021-38/+626
* aarch64/Asmblock: Add PStore, based on PLoadJustus Fasse2020-06-281-1/+28
* fix linker model in AsmblockSylvain Boulmé2020-06-223-33/+31
* restauring Coq compilation with STUBSSylvain Boulmé2020-06-223-2/+189
* [WIP: Coq compilation broken] Stub for AsmgenSylvain Boulmé2020-06-217-2766/+2368
* Skeleton of AsmblockSylvain Boulmé2020-06-201-82/+136
* start aarch64/Asmblock (work-in-progress)Sylvain Boulmé2020-06-191-0/+1546
* make Aarch64 muladd depend on the optionDavid Monniaux2020-05-062-4/+10
* Adding copyrightsCyril SIX2020-05-043-0/+38
* Merge remote-tracking branch 'origin/mppa-licm' into mppa-featuresDavid Monniaux2020-04-202-3/+10
|\
| * test whether the instructions are allowedDavid Monniaux2020-04-191-0/+2
| * adapting new stuff for ARM and AArch64David Monniaux2020-04-011-3/+8
* | Merge remote-tracking branch 'origin/mppa-profiling' into mppa-featuresDavid Monniaux2020-04-123-1/+43
|\ \
| * | fix for aarch64David Monniaux2020-04-111-1/+1
| * | fix writing profiling info for Aarch64David Monniaux2020-04-101-1/+7
| * | use proper local labelsDavid Monniaux2020-04-101-1/+1
| * | profiling still crashes on Aarch64David Monniaux2020-04-101-1/+0
| * | various fixes for aarch64 profilingDavid Monniaux2020-04-103-1/+38
| |/
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-threadDavid Monniaux2020-04-087-340/+751
|\|
| * disable leaf function removal of return address restoration due to memcpy ove...David Monniaux2020-03-273-7/+13
generated by cgit (git 2.34.1) at 2024-07-14 17:24:33 +0000