Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge remote-tracking branch 'origin/mppa-fast-div' into mppa-features | David Monniaux | 2020-04-20 | 1 | -10/+2 |
|\ | |||||
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div | David Monniaux | 2020-04-20 | 1 | -50/+123 |
| |\ | |||||
| * | | sdiv seems to work, udiv/umod/smod BOGUS | David Monniaux | 2019-05-16 | 1 | -10/+2 |
* | | | add options for controlling madd and notrap selection | David Monniaux | 2020-04-19 | 1 | -6/+16 |
| |/ |/| | |||||
* | | fma with first negated operand | David Monniaux | 2019-08-30 | 1 | -0/+2 |
* | | fma | David Monniaux | 2019-08-30 | 1 | -1/+15 |
* | | use finvw | David Monniaux | 2019-08-30 | 1 | -2/+13 |
* | | fabsf | David Monniaux | 2019-08-29 | 1 | -0/+1 |
* | | fmin/fmax/fminf/fmaxf non bien testés | David Monniaux | 2019-08-29 | 1 | -1/+7 |
* | | helpers broke compilation | David Monniaux | 2019-07-19 | 1 | -0/+3 |
* | | move with immediates | David Monniaux | 2019-06-04 | 1 | -0/+4 |
* | | osel imm | David Monniaux | 2019-06-04 | 1 | -2/+8 |
* | | shortcut cmove works | David Monniaux | 2019-06-04 | 1 | -20/+7 |
* | | why doesn't it work? | David Monniaux | 2019-06-04 | 1 | -1/+43 |
* | | little restructuring | David Monniaux | 2019-06-04 | 1 | -3/+4 |
* | | start to have whole path if-conversion? | David Monniaux | 2019-06-04 | 1 | -1/+4 |
* | | rm old select/selectl/selectf/selectfs | David Monniaux | 2019-06-03 | 1 | -45/+2 |
* | | Merge remote-tracking branch 'origin/mppa-msub' into mppa-work | David Monniaux | 2019-05-30 | 1 | -3/+39 |
|\ \ | |/ |/| | |||||
| * | correct -faddx option and propagate addim over addxim | David Monniaux | 2019-05-11 | 1 | -7/+7 |
| * | option -faddx (off by default until questions cleared) | David Monniaux | 2019-05-11 | 1 | -8/+21 |
| * | apply .xs onto addx4 etc | David Monniaux | 2019-05-11 | 1 | -6/+7 |
| * | more maddx | David Monniaux | 2019-05-11 | 1 | -0/+8 |
| * | maddx ordre opposé | David Monniaux | 2019-05-11 | 1 | -0/+2 |
| * | add with shift, beginning | David Monniaux | 2019-05-11 | 1 | -1/+9 |
| * | Pmsub compiled | David Monniaux | 2019-05-11 | 1 | -0/+4 |
* | | 32-bit modulo now uses sign extend then call to the 64-bit function | David Monniaux | 2019-05-13 | 1 | -1/+5 |
* | | we directly call 64-bit unsigned division | David Monniaux | 2019-05-13 | 1 | -1/+5 |
|/ | |||||
* | command line options (still incomplete) | David Monniaux | 2019-05-02 | 1 | -5/+11 |
* | does not yet work, arity mismatch | David Monniaux | 2019-05-01 | 1 | -0/+6 |
* | float of int = float of long o long of int | David Monniaux | 2019-04-29 | 1 | -1/+1 |
* | float of intu = float of longu o longu of intu | David Monniaux | 2019-04-29 | 1 | -1/+1 |
* | more insf detection | David Monniaux | 2019-04-28 | 1 | -0/+12 |
* | coq mode for emacs | David Monniaux | 2019-04-28 | 1 | -0/+4 |
* | selection for insf | David Monniaux | 2019-04-28 | 1 | -1/+1 |
* | some more on bitfield detection | David Monniaux | 2019-04-28 | 1 | -4/+7 |
* | some more on bit fields insert detection | David Monniaux | 2019-04-28 | 1 | -1/+3 |
* | progress on bitfield detection | David Monniaux | 2019-04-28 | 1 | -1/+6 |
* | detect insf case, begin | David Monniaux | 2019-04-28 | 1 | -0/+4 |
* | factor expressions into single file | David Monniaux | 2019-04-27 | 1 | -6/+3 |
* | progress | David Monniaux | 2019-04-25 | 1 | -1/+9 |
* | IT COMPILES | David Monniaux | 2019-04-25 | 1 | -5/+5 |
* | some progress on bitfields | David Monniaux | 2019-04-25 | 1 | -0/+8 |
* | some more simplification | David Monniaux | 2019-04-12 | 1 | -0/+2 |
* | some more simplification | David Monniaux | 2019-04-12 | 1 | -0/+1 |
* | some more simplifications | David Monniaux | 2019-04-12 | 1 | -0/+1 |
* | some more simplifications | David Monniaux | 2019-04-12 | 1 | -0/+6 |
* | some more simplifications | David Monniaux | 2019-04-12 | 1 | -1/+6 |
* | more simplifications | David Monniaux | 2019-04-12 | 1 | -0/+2 |
* | Oselectf, Oselectfs with condition | David Monniaux | 2019-04-05 | 1 | -0/+14 |
* | selectl with condition | David Monniaux | 2019-04-05 | 1 | -3/+13 |