aboutsummaryrefslogtreecommitdiffstats
path: root/aarch64
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/kvx-work' into kvx-better2-cse3David Monniaux2020-12-029-171/+1141
|\
| * Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-242-4/+76
| |\
| * | disable debug printing in schedulerDavid Monniaux2020-11-041-3/+5
| * | new OpWeights for aarch64David Monniaux2020-10-221-318/+342
| * | allow changing target cpuDavid Monniaux2020-10-222-21/+40
| * | prefix all calls to OpWeights as preparation to using a structureDavid Monniaux2020-10-221-14/+14
| * | op_valid_pointer_eq for aarch64David Monniaux2020-10-191-0/+14
| * | so that all architectures compileDavid Monniaux2020-10-021-0/+473
| * | non trapping opDavid Monniaux2020-09-304-88/+73
| * | non trappingDavid Monniaux2020-09-301-2/+0
| * | AArch64 division no longer "traps"David Monniaux2020-09-306-81/+221
| * | floating-point division uses the divisorDavid Monniaux2020-09-291-4/+5
| * | attempt at separating the divisionsDavid Monniaux2020-09-291-0/+5
| * | try to model resourcesDavid Monniaux2020-09-291-5/+164
| * | attempt at latencies for Cortex A53David Monniaux2020-09-291-2/+147
| * | first opweights, bogus weightsDavid Monniaux2020-09-161-0/+19
* | | cond_valid_pointer_eqDavid Monniaux2020-11-251-5/+13
* | | pointer_eq copiedDavid Monniaux2020-11-251-0/+14
| |/ |/|
* | fix wrong version of file on AArch64David Monniaux2020-11-231-1/+4
* | fix bug #223 on AArch64David Monniaux2020-11-231-3/+72
|/
* 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
| * Merge branch 'dm-leaf' of https://github.com/monniaux/CompCert into mppa-workDavid Monniaux2020-03-273-5/+38
| |\
| | * better epilogue proofDavid Monniaux2020-03-251-8/+18
| | * removed RA restorationDavid Monniaux2020-03-253-4/+27
| * | Merge branch 'dm-leaf' of https://github.com/monniaux/CompCert into mppa-workDavid Monniaux2020-03-262-225/+532
| |\|
| | * RA is preservedDavid Monniaux2020-03-252-18/+36
| | * proof forwardDavid Monniaux2020-03-251-1/+4
| | * proof forwardDavid Monniaux2020-03-251-5/+15
| | * proof forwardDavid Monniaux2020-03-251-6/+24
| | * Asmgenproof1David Monniaux2020-03-241-1/+3
| | * transl_addressing_correctDavid Monniaux2020-03-241-4/+9
| | * transl_op_correctDavid Monniaux2020-03-241-10/+14
| | * transl_condDavid Monniaux2020-03-241-143/+332
| | * progress in proofs about RADavid Monniaux2020-03-242-36/+92
| | * exec_straight_stepsDavid Monniaux2020-03-241-5/+7
| * | fix for aarch64 DuplicateOpcodeHeuristic.mlDavid Monniaux2020-03-171-3/+27
| * | fix for aarch64David Monniaux2020-03-031-11/+9
| * | fixed CSE2 for mppa_k1cDavid Monniaux2020-03-032-0/+150
| |\ \