aboutsummaryrefslogtreecommitdiffstats
path: root/cfrontend
Commit message (Expand)AuthorAgeFilesLines
* Commenting out __builtin_expect from AbsIntCyril SIX2021-06-011-2/+2
* [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-0112-48/+68
* Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-2315-251/+286
|\
| * Section handling: finer control of variable initializationXavier Leroy2021-02-231-1/+6
| * Qualify `Hint` as `Global Hint` where appropriateXavier Leroy2021-01-211-4/+4
| * Support re-normalization of function parameters at function entryXavier Leroy2021-01-162-17/+36
| * Replace `omega` tactic with `lia`Xavier Leroy2020-12-2912-219/+222
| * Changed cc_varargs to an option typeBernhard Schommer2020-12-254-10/+18
* | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-186-162/+214
|\|
| * Add -main option to specify entrypoint function in interpreter mode (#374)Xavier Leroy2020-10-301-1/+1
| * Add __builtin_sqrt as synonymous for __builtin_fsqrtXavier Leroy2020-07-271-0/+2
| * Move declarations of __builtin_clz* and __builtin_ctz* to C2C.mlXavier Leroy2020-07-271-0/+12
| * Add support for __builtin_fabsfXavier Leroy2020-07-271-0/+2
| * Move shared code in new file.Bernhard Schommer2020-06-281-1/+1
| * Remove the `can_reserve_register` function.Bernhard Schommer2020-06-281-1/+1
| * Improve printing of builtin function invocationsXavier Leroy2020-06-251-0/+3
| * SimplExpr: remove unused definition "sd_cast_set"Xavier Leroy2020-06-151-2/+0
| * SimplExpr: better translation of casts in a "for effects" contextXavier Leroy2020-06-153-136/+166
| * Move reserved_registers to CPragmas.Bernhard Schommer2020-04-201-1/+6
* | Merge remote-tracking branch 'origin/mppa-profiling' into mppa-featuresDavid Monniaux2020-04-121-0/+9
|\ \
| * | begin installing profilingDavid Monniaux2020-04-081-1/+1
| * | added EF_profilingDavid Monniaux2020-04-081-0/+9
* | | Merge remote-tracking branch 'origin/mppa-expect3' into mppa-workDavid Monniaux2020-04-099-45/+86
|\ \ \
| * | | expect operationDavid Monniaux2020-04-072-27/+35
| * | | Oexpect in frontendDavid Monniaux2020-04-076-16/+47
| * | | start implementing expect as exprDavid Monniaux2020-04-071-0/+1
| * | | Merge remote-tracking branch 'origin/mppa-work' into mppa-expectDavid Monniaux2020-04-0611-124/+328
| |\| |
| * | | __builtin_expect defined as its first argumentDavid Monniaux2019-09-251-2/+3
* | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-threadDavid Monniaux2020-04-082-31/+46
|\ \ \ \ | | |/ / | |/| |
| * | | Merge remote-tracking branch 'origin/master' into attempt-fix-mppa-workCyril SIX2020-04-011-2/+2
| |\ \ \ | | | |/ | | |/|
| | * | Explicit error messages for ill-formed section attributes (#232)Bernhard Schommer2020-03-291-2/+2
| * | | fixed CSE2 for mppa_k1cDavid Monniaux2020-03-031-29/+44
| |\| |
| | * | Define the semantics of `free(NULL)` (#226)Xavier Leroy2020-03-021-29/+44
| * | | Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-03-031-4/+36
| |\ \ \ | | |/ / | |/| |
* | | | Merge branch 'mppa-work' into mppa-threadCyril SIX2020-02-259-76/+232
|\ \ \ \
| * | | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2020-02-248-74/+229
| |\| | |
| | * | | Support re-normalization of values returned by function callsXavier Leroy2020-02-212-33/+137
| | * | | Refine the type of function results in AST.signatureXavier Leroy2020-02-216-39/+78
| | * | | More precise determination of small data accesses (#220)Bernhard Schommer2020-02-201-3/+15
| * | | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2020-02-132-2/+3
| |\| | | | | |/ / | |/| |
| | * | Take the sign into account for int to ptr cast.Bernhard Schommer2020-02-122-2/+3
* | | | thread local declarations now workDavid Monniaux2020-02-241-1/+5
* | | | it now works, no more ugly hack to access thread local dataDavid Monniaux2020-02-241-0/+9
* | | | seems to process _Thread_local but not till backendDavid Monniaux2020-02-241-7/+14
|/ / /
* | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-12-091-0/+5
|\| |
| * | Fix for AArch64 alignment problem (#206)Bernhard Schommer2019-11-281-0/+5
* | | Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...David Monniaux2019-09-202-17/+45
|\| | | |/ |/|
| * -dclight output: use nicer names for temporary variablesXavier Leroy2019-09-161-2/+11
| * clightgen -dclight: print function parameters correctlyXavier Leroy2019-09-162-15/+34
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-08-285-14/+17
|\|
generated by cgit (git 2.34.1) at 2024-06-02 18:31:20 +0000