aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* data cache builtinsDavid Monniaux2019-04-115-5/+28
* some more builtinsDavid Monniaux2019-04-115-5/+38
* __builtin_k1_lduDavid Monniaux2019-04-115-9/+20
* wfxl / wfxmDavid Monniaux2019-04-116-6/+35
* fix types for k1 builtinsDavid Monniaux2019-04-112-2/+57
* __builtin_k1_get and __builtin_k1_set with safeguards, work for clockDavid Monniaux2019-04-111-3/+10
* get / set k1David Monniaux2019-04-105-3/+23
* Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-04-101-185/+47
|\
| * achieve issue #89 ?Sylvain Boulmé2019-04-101-185/+47
* | now compiles with pthread.hDavid Monniaux2019-04-101-4/+1
* | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-04-105-14/+12
|\|
| * Fixing missing features in Asmexpand.ml (EF_annot, EF_annot_val, EF_inline_asm)Cyril SIX2019-04-091-9/+6
| * Disabling the packedstruct tests from test/regressionCyril SIX2019-04-091-1/+2
| * All CompCert tests can be compiledCyril SIX2019-04-093-4/+4
* | for killing _PragmaDavid Monniaux2019-04-081-0/+1
|/
* exemples d'accès mémoire lentsDavid Monniaux2019-04-083-0/+31
* moving iandb from ImpCore to ImpPreludeSylvain Boulmé2019-04-082-23/+18
* better explanationDavid Monniaux2019-04-081-4/+26
* better intermediate pointDavid Monniaux2019-04-081-5/+8
* Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-04-081-17/+29
|\
| * improving comments on AsmvliwSylvain Boulmé2019-04-081-17/+29
* | powerwindow from tacle-benchDavid Monniaux2019-04-0842-0/+5165
|/
* Merge branch 'mppa-refactor' into mppa-workCyril SIX2019-04-0812-1946/+1667
|\
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-refactorCyril SIX2019-04-0880-125/+82525
| |\
| * \ Merge remote-tracking branch 'origin/mppa-refactor-reviewed' into mppa-refactorCyril SIX2019-04-088-465/+331
| |\ \
| | * | relecture sylvainSylvain Boulmé2019-04-058-505/+353
| * | | #91 Removed completely the duplicated semantics in AsmblockCyril SIX2019-04-056-257/+89
| |/ /
| * | #90 Asmvliw/Asmblock refactoring attemptCyril SIX2019-04-0511-1611/+1634
* | | from Tacle BenchDavid Monniaux2019-04-088-0/+618
| |/ |/|
* | predicated experimentsDavid Monniaux2019-04-072-0/+29
* | uses the pattern matchingDavid Monniaux2019-04-061-2/+2
* | keep the .s filesDavid Monniaux2019-04-061-9/+11
* | Makefile for timing.David Monniaux2019-04-062-3/+13
* | makefile for PCRE2David Monniaux2019-04-063-5/+12764
* | tests with PCRE2 (regular expression library)David Monniaux2019-04-0639-0/+62943
* | use ternary in fillDavid Monniaux2019-04-061-1/+1
* | reoptimize the CDavid Monniaux2019-04-061-1/+2
* | hand optimizationsDavid Monniaux2019-04-061-2/+4
* | various hand optimizationsDavid Monniaux2019-04-065-0/+1525
* | reoptimize by handDavid Monniaux2019-04-061-3/+2
* | goto endDavid Monniaux2019-04-061-2/+25
* | there seems to be some cache preload involved?David Monniaux2019-04-061-1/+2
* | use of ternary operatorsDavid Monniaux2019-04-061-3/+28
* | hand optimizationsDavid Monniaux2019-04-062-0/+407
* | have one with specific positionDavid Monniaux2019-04-061-1/+1
* | no need for this to be in two_address_opDavid Monniaux2019-04-062-2/+2
* | binary search from Rosetta CodeDavid Monniaux2019-04-062-0/+78
* | ternary op version of bitsliced TEADavid Monniaux2019-04-051-4/+9
* | use cmove in bitsliced AESDavid Monniaux2019-04-051-5/+2
* | move patterns to include fileDavid Monniaux2019-04-052-14/+25
generated by cgit (git 2.34.1) at 2024-07-11 23:34:34 +0000