aboutsummaryrefslogtreecommitdiffstats
path: root/x86
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'absint/master' into merge_absintDavid Monniaux2022-03-0111-27/+70
|\
| * Add op for float max and min for x86.Bernhard Schommer2022-02-0710-23/+66
| * Return second arg for float min/max on x86.Bernhard Schommer2022-02-071-4/+4
* | Merge remote-tracking branch 'origin/master' into towards_3.10David Monniaux2021-10-291-2/+2
|\|
| * Qualify `Instance` and `Program Instance` as `Global`Xavier Leroy2021-10-031-2/+2
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-241-13/+23
|\|
| * Protect against overflows in `leaq` (all forms)Bernhard Schommer2021-08-271-22/+27
| * Protect against overflows in `leaq N(src), dst` (#407)Xavier Leroy2021-08-271-12/+17
* | cleanupLéo Gourdin2021-09-011-1/+0
* | fix stub for no-prepass archs...Léo Gourdin2021-09-011-2/+3
* | [MERGE] BTL into kvx-work (replacing RTLpath)Léo Gourdin2021-09-013-21/+3
|\ \
| * | Fix compile on ARM/x86 backendsLéo Gourdin2021-07-201-3/+1
| * | op simplify BTL introLéo Gourdin2021-07-201-0/+1
* | | 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
|/ /
generated by cgit (git 2.34.1) at 2024-04-27 06:36:44 +0000