aboutsummaryrefslogtreecommitdiffstats
path: root/x86
Commit message (Expand)AuthorAgeFilesLines
...
* | Adding copyrightsCyril SIX2020-05-043-0/+38
* | Merge remote-tracking branch 'origin/mppa-licm' into mppa-featuresDavid Monniaux2020-04-201-3/+8
|\ \
| * | porting to ppc riscV x86David Monniaux2020-04-011-3/+8
* | | Merge remote-tracking branch 'origin/mppa-profiling' into mppa-featuresDavid Monniaux2020-04-122-4/+63
|\ \ \
| * | | fix IA32 profiling bugDavid Monniaux2020-04-121-2/+4
| * | | x86-64 profilingDavid Monniaux2020-04-122-4/+61
| |/ /
* | | Merge remote-tracking branch 'origin/mppa-expect3' into mppa-workDavid Monniaux2020-04-091-2/+2
|\ \ \
| * | | adapt the other targets for the new field in CEcondDavid Monniaux2020-04-081-2/+2
| |/ /
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-threadDavid Monniaux2020-04-085-149/+305
|\| |
| * | DuplicateOpcodeHeuristic x86David Monniaux2020-03-171-3/+27
| * | adjust for x86David Monniaux2020-03-031-44/+35
| * | fixed CSE2 for mppa_k1cDavid Monniaux2020-03-032-0/+286
| |\ \
| | * | better 32/64-bit handlingDavid Monniaux2020-03-032-26/+51
| | * | moved away x86-dependent partsDavid Monniaux2020-03-031-0/+46
| | * | starting to move x86 stuff to x86David Monniaux2020-03-031-0/+215
| | |/
| * | Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-03-0313-16/+166
| |\ \ | | |/ | |/|
| * | Platform-independent implementation of Conventions.size_arguments (#222)Xavier Leroy2020-02-242-146/+1
* | | Merge branch 'mppa-work' into mppa-threadCyril SIX2020-02-253-19/+31
|\ \ \
| * | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2020-02-243-19/+31
| |\| | | | |/ | |/|
| | * Support re-normalization of values returned by function callsXavier Leroy2020-02-211-0/+14
| | * Refine the type of function results in AST.signatureXavier Leroy2020-02-213-19/+17
* | | fix for x86+arm unsupported thread localDavid Monniaux2020-02-241-3/+9
|/ /
* | 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-151-3/+0
|\|
| * Remove __builtin_nop from list of x86 builtins.Bernhard Schommer2020-01-031-3/+0
| * Revert "Remove `__builtin_nop` for some architectures. (#208)"Bernhard Schommer2020-01-034-0/+10
| * Remove `__builtin_nop` for some architectures. (#208)Bernhard Schommer2019-12-214-10/+0
* | add: non trapping opsDavid Monniaux2019-09-231-0/+31
* | Merge tag 'v3.6_mppa_2019-09-20' of gricad-gitlab.univ-grenoble-alpes.fr:sixc...David Monniaux2019-09-201-4/+4
|\ \
| * | Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...David Monniaux2019-09-201-4/+4
| |\|
| | * Merge pull request #313 from AbsInt/aarch64Xavier Leroy2019-09-111-4/+4
| | |\
| | | * Fix compile for architectures other than AArch64 (#192)Bernhard Schommer2019-08-171-4/+4
| | | * x86: wrong expansion of __builtin_fmadd et alXavier Leroy2019-08-071-13/+19
* | | | more for passing notrap through x86David Monniaux2019-09-075-10/+56
* | | | for nontrapDavid Monniaux2019-09-061-0/+28
|/ / /
* | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-08-282-15/+19
|\| |
| * | bswap builtins: give semantics to them, support bswap64 on all targetsBernhard Schommer2019-08-121-2/+0
| * | x86: wrong expansion of __builtin_fmadd et alXavier Leroy2019-08-061-13/+19
| |/
* | helpers broke compilationDavid Monniaux2019-07-192-10/+2
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-07-197-31/+153
|\|
| * x86_64: branchless implementation of floatofintu and intuoffloatXavier Leroy2019-07-172-14/+29
| * Give formal semantics to some built-in functions and run-time functionsXavier Leroy2019-07-173-10/+75
| * Remove the cparser/Builtins moduleXavier Leroy2019-07-171-2/+2
| * Extended asm: print register names according to their typesXavier Leroy2019-06-171-3/+3
| * Perform constant propagation and strength reduction on conditional movesXavier Leroy2019-06-172-2/+36
* | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-0312-45/+305
|\|
| * Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-311-1/+1
| * Implement a `Osel` operation for x86Xavier Leroy2019-05-2011-38/+298
| * Added options -fcommon and -fno-common (#164)Bernhard Schommer2019-05-101-6/+6
* | ça recompile sur x86David Monniaux2019-03-224-3/+37
generated by cgit (git 2.34.1) at 2024-05-08 07:44:48 +0000