aboutsummaryrefslogtreecommitdiffstats
path: root/arm
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssaDavid Monniaux2021-01-0811-49/+100
|\
| * Merge github.com:AbsInt/CompCert into kvx-workv3.8_kvx_instructions_fixedDavid Monniaux2020-12-082-4/+6
| |\
| | * ARM modeling of registers destroyed by pseudo-instructionsXavier Leroy2020-12-062-4/+6
| * | Merge branch 'kvx-work' into kvx-work-merge3.8Cyril SIX2020-12-044-3/+91
| |\ \
| | * \ Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassCyril SIX2020-12-011-1/+0
| | |\ \
| | | * | pointer_eq copiedDavid Monniaux2020-11-251-0/+14
| | * | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-242-3/+76
| | |\| |
| | | * | bug #223 fix for ARMDavid Monniaux2020-11-232-3/+76
| | * | | op_valid_pointer_eq armDavid Monniaux2020-10-191-0/+15
| | * | | so that all architectures compileDavid Monniaux2020-10-021-0/+1
| | |/ /
| * | | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-186-42/+3
| |\ \ \ | | |/ / | |/| / | | |/
| | * Support the use of already-installed MenhirLib and Flocq librariesXavier Leroy2020-09-211-2/+1
| | * Add __builtin_sqrt as synonymous for __builtin_fsqrtXavier Leroy2020-07-271-1/+1
| | * Move declarations of __builtin_clz* and __builtin_ctz* to C2C.mlXavier Leroy2020-07-271-13/+0
| | * No need to process __builtin_fabs in $ARCH/Asmexpand.mlXavier Leroy2020-07-271-2/+0
| | * Added missing hint database name.Bernhard Schommer2020-06-301-1/+1
| | * Move shared code in new file.Bernhard Schommer2020-06-282-18/+0
| | * Remove the `can_reserve_register` function.Bernhard Schommer2020-06-282-5/+0
| | * Use Hashtbl.find_opt.Bernhard Schommer2020-06-281-1/+1
* | | Merge branch 'ssa' of https://gitlab.inria.fr/compcertssa/compcertssa into kv...David Monniaux2020-07-171-0/+214
|\ \ \ | |/ / |/| |
| * | SCCP optimization support for all architectures, with reuse ofDelphine Demange2020-07-031-0/+214
| |/
* | 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-125-2/+56
|\ \ \
| * | | seems like the ARM profiling perhaps worksDavid Monniaux2020-04-114-2/+55
| * | | missing cases preventing compilationDavid Monniaux2020-04-081-0/+1
| |/ /
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-threadDavid Monniaux2020-04-084-209/+171
|\| |
| * | DuplicateOpcodeHeuristic for ARMDavid Monniaux2020-03-171-3/+22
| * | ported to armDavid Monniaux2020-03-031-9/+6
| * | fixed CSE2 for mppa_k1cDavid Monniaux2020-03-032-0/+152
| |\ \
| | * | CSE2 with alias analysisDavid Monniaux2020-03-031-0/+20
| | * | CSE2 for ARMDavid Monniaux2020-03-031-0/+132
| | |/
| * | Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-03-0311-14/+157
| |\ \ | | |/ | |/|
| * | Platform-independent implementation of Conventions.size_arguments (#222)Xavier Leroy2020-02-241-206/+0
* | | Merge branch 'mppa-work' into mppa-threadCyril SIX2020-02-252-15/+19
|\ \ \
| * | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2020-02-242-15/+19
| |\| | | | |/ | |/|
| | * Support re-normalization of values returned by function callsXavier Leroy2020-02-211-0/+6
| | * Refine the type of function results in AST.signatureXavier Leroy2020-02-212-15/+13
* | | fixes for aarch64 arm ppc ppc64David Monniaux2020-02-241-1/+1
* | | fix for x86+arm unsupported thread localDavid Monniaux2020-02-241-1/+3
|/ /
* | stubs to keep compiling on architectures not K1cDavid Monniaux2020-02-071-0/+3
* | Merge branch 'dm-div2' of https://github.com/monniaux/CompCert into mppa-workDavid Monniaux2020-01-152-3/+24
|\ \
| * | ARM generation of 2-instruction signed division by 2 (as opposed to 3-instruc...David Monniaux2020-01-142-3/+24
| |/
| * Revert "Remove `__builtin_nop` for some architectures. (#208)"Bernhard Schommer2020-01-034-1/+8
| * Remove `__builtin_nop` for some architectures. (#208)Bernhard Schommer2019-12-214-8/+1
* | add: non trapping opsDavid Monniaux2019-09-231-0/+26
* | Merge tag 'v3.6_mppa_2019-09-20' of gricad-gitlab.univ-grenoble-alpes.fr:sixc...David Monniaux2019-09-202-20/+24
|\ \
| * | Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...David Monniaux2019-09-202-20/+24
| |\|
generated by cgit (git 2.34.1) at 2024-06-02 09:21:56 +0000