Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | afaddd / afaddw | David Monniaux | 2019-04-11 | 1 | -0/+11 |
| | |||||
* | demo of instruction cache flush | David Monniaux | 2019-04-11 | 1 | -0/+27 |
| | |||||
* | instruction cache builtins | David Monniaux | 2019-04-11 | 1 | -0/+5 |
| | |||||
* | data cache builtins | David Monniaux | 2019-04-11 | 1 | -0/+3 |
| | |||||
* | some more builtins | David Monniaux | 2019-04-11 | 1 | -0/+8 |
| | |||||
* | __builtin_k1_ldu | David Monniaux | 2019-04-11 | 1 | -0/+4 |
| | |||||
* | wfxl / wfxm | David Monniaux | 2019-04-11 | 1 | -0/+8 |
| | |||||
* | fix types for k1 builtins | David Monniaux | 2019-04-11 | 1 | -0/+55 |
| | |||||
* | now compiles with pthread.h | David Monniaux | 2019-04-10 | 1 | -4/+1 |
| | |||||
* | for killing _Pragma | David Monniaux | 2019-04-08 | 1 | -0/+1 |
| | |||||
* | exemples d'accès mémoire lents | David Monniaux | 2019-04-08 | 3 | -0/+31 |
| | |||||
* | better explanation | David Monniaux | 2019-04-08 | 1 | -4/+26 |
| | |||||
* | better intermediate point | David Monniaux | 2019-04-08 | 1 | -5/+8 |
| | |||||
* | powerwindow from tacle-bench | David Monniaux | 2019-04-08 | 42 | -0/+5165 |
| | |||||
* | from Tacle Bench | David Monniaux | 2019-04-08 | 8 | -0/+618 |
| | |||||
* | predicated experiments | David Monniaux | 2019-04-07 | 2 | -0/+29 |
| | |||||
* | uses the pattern matching | David Monniaux | 2019-04-06 | 1 | -2/+2 |
| | |||||
* | keep the .s files | David Monniaux | 2019-04-06 | 1 | -9/+11 |
| | |||||
* | Makefile for timing. | David Monniaux | 2019-04-06 | 2 | -3/+13 |
| | | | | We are 12% slower than gcc. | ||||
* | makefile for PCRE2 | David Monniaux | 2019-04-06 | 3 | -5/+12764 |
| | |||||
* | tests with PCRE2 (regular expression library) | David Monniaux | 2019-04-06 | 39 | -0/+62943 |
| | |||||
* | use ternary in fill | David Monniaux | 2019-04-06 | 1 | -1/+1 |
| | |||||
* | reoptimize the C | David Monniaux | 2019-04-06 | 1 | -1/+2 |
| | |||||
* | hand optimizations | David Monniaux | 2019-04-06 | 1 | -2/+4 |
| | |||||
* | various hand optimizations | David Monniaux | 2019-04-06 | 5 | -0/+1525 |
| | |||||
* | reoptimize by hand | David Monniaux | 2019-04-06 | 1 | -3/+2 |
| | |||||
* | goto end | David Monniaux | 2019-04-06 | 1 | -2/+25 |
| | |||||
* | there seems to be some cache preload involved? | David Monniaux | 2019-04-06 | 1 | -1/+2 |
| | |||||
* | use of ternary operators | David Monniaux | 2019-04-06 | 1 | -3/+28 |
| | |||||
* | hand optimizations | David Monniaux | 2019-04-06 | 2 | -0/+407 |
| | |||||
* | have one with specific position | David Monniaux | 2019-04-06 | 1 | -1/+1 |
| | |||||
* | no need for this to be in two_address_op | David Monniaux | 2019-04-06 | 1 | -1/+1 |
| | |||||
* | binary search from Rosetta Code | David Monniaux | 2019-04-06 | 2 | -0/+78 |
| | |||||
* | ternary op version of bitsliced TEA | David Monniaux | 2019-04-05 | 1 | -4/+9 |
| | |||||
* | use cmove in bitsliced AES | David Monniaux | 2019-04-05 | 1 | -5/+2 |
| | |||||
* | move patterns to include file | David Monniaux | 2019-04-05 | 2 | -14/+25 |
| | |||||
* | implement using our "pattern matching" | David Monniaux | 2019-04-05 | 1 | -4/+11 |
| | |||||
* | removed the unproved hack to get builtins, will be reinstated later | David Monniaux | 2019-04-05 | 2 | -2/+2 |
| | |||||
* | select cmpu | David Monniaux | 2019-04-05 | 1 | -1/+1 |
| | |||||
* | ternary ops for float/double | David Monniaux | 2019-04-03 | 1 | -10/+6 |
| | |||||
* | ternary ops in AES and TEA | David Monniaux | 2019-04-03 | 3 | -13/+5 |
| | |||||
* | Merge branch 'mppa-ternary' of ↵ | David Monniaux | 2019-04-03 | 2 | -16/+10 |
|\ | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-ternary | ||||
| * | problem in ValueAOp | David Monniaux | 2019-04-03 | 2 | -12/+7 |
| | | |||||
| * | begin implementing ternary builtin | David Monniaux | 2019-04-03 | 1 | -0/+7 |
| | | |||||
| * | attempts at generating builtins, start | David Monniaux | 2019-04-03 | 1 | -10/+2 |
| | | |||||
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary | David Monniaux | 2019-04-03 | 19 | -1151/+1412 |
| |\ | |||||
* | \ | Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary | David Monniaux | 2019-04-02 | 19 | -1151/+1412 |
|\ \ \ | | |/ | |/| | |||||
| * | | FIXME: Jumptables have linking issues. | David Monniaux | 2019-03-29 | 3 | -0/+1241 |
| | | | |||||
| * | | Merge branch 'mppa_k1c' of ↵ | David Monniaux | 2019-03-29 | 1 | -8/+8 |
| |\ \ | | | | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-mul | ||||
| | * \ | Merge branch 'mppa-mul' into mppa_k0c | David Monniaux | 2019-03-29 | 21 | -1082/+1916 |
| | |\ \ |