aboutsummaryrefslogtreecommitdiffstats
path: root/x86
Commit message (Expand)AuthorAgeFilesLines
* Make prepass scheduling sensitive to register pressure, by Nicolas Nardino.David Monniaux2021-07-162-2/+19
* Merge branch 'master' of https://github.com/AbsInt/CompCert into kvx-workDavid Monniaux2021-06-111-3/+11
|\
| * x86 assembly: fix the comment delimiter for macos and make it per-OSXavier Leroy2021-06-101-3/+11
| * Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-083-12/+15
| * Support __builtin_unreachableXavier Leroy2021-05-021-1/+4
* | comment is now ## due to some weird MacOS bugDavid Monniaux2021-06-091-1/+1
* | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-014-13/+19
* | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-2310-76/+80
|\|
| * Section handling: finer control of variable initializationXavier Leroy2021-02-231-4/+3
| * Introduce and use PrintAsmaux.variable_sectionXavier Leroy2021-02-231-6/+6
| * Qualify `Hint` as `Global Hint` where appropriateXavier Leroy2021-01-211-1/+1
| * "macosx" is now called "macos"Xavier Leroy2021-01-182-2/+2
| * Support re-normalization of function parameters at function entryXavier Leroy2021-01-161-1/+6
| * Replace `omega` tactic with `lia`Xavier Leroy2020-12-297-60/+60
| * Changed cc_varargs to an option typeBernhard Schommer2020-12-251-2/+2
| * x86 32 bits: ABI non-conformance for functions returning structs/unionsXavier Leroy2020-12-111-1/+1
* | fix ci ?Léo Gourdin2021-03-022-0/+2
* | 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
generated by cgit (git 2.34.1) at 2024-06-02 20:10:03 +0000