aboutsummaryrefslogtreecommitdiffstats
path: root/x86
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/kvx-work' into kvx-better2-cse3David Monniaux2020-12-0811-150/+300
|\
| * Merge branch 'kvx-work' into kvx-work-merge3.8Cyril SIX2020-12-044-4/+99
| |\
| * | rm unneeded open statements in MLDavid Monniaux2020-11-191-3/+0
| * | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-1811-147/+300
| |\ \
| | * | Support Cygwin 64 bitsXavier Leroy2020-10-059-90/+296
| | * | Remove support for x86-32 under macOSXavier Leroy2020-07-291-21/+3
| | * | 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-4/+0
| | * | Move shared code in new file.Bernhard Schommer2020-06-282-18/+0
| | * | Remove the `can_reserve_register` function.Bernhard Schommer2020-06-282-3/+0
| | * | Use Hashtbl.find_opt.Bernhard Schommer2020-06-281-1/+1
* | | | cond_depends_onDavid Monniaux2020-12-021-7/+7
* | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-better2-cse3David Monniaux2020-12-021-0/+5
|\ \ \ \ | | |_|/ | |/| |
| * | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-242-4/+80
| |\ \ \
| * | | | op_valid_pointer_eq x86David Monniaux2020-10-191-0/+14
| * | | | so that all architectures compileDavid Monniaux2020-10-021-0/+5
| | |/ / | |/| |
* | | | cond_valid_pointer_eqDavid Monniaux2020-11-251-0/+10
* | | | pointer_eq copiedDavid Monniaux2020-11-251-0/+14
| |/ / |/| |
* | | bug #223 fix on x86 / x86-64David Monniaux2020-11-232-4/+80
|/ /
* | 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
| |\|
generated by cgit (git 2.34.1) at 2024-06-02 23:49:13 +0000