aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/SelectOp.vp
Commit message (Expand)AuthorAgeFilesLines
* k1c -> kvx changesDavid Monniaux2020-05-261-715/+0
* Adding copyrightsCyril SIX2020-05-041-16/+14
* Merge remote-tracking branch 'origin/mppa-fast-div' into mppa-featuresDavid Monniaux2020-04-201-10/+2
|\
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-divDavid Monniaux2020-04-201-50/+123
| |\
| * | sdiv seems to work, udiv/umod/smod BOGUSDavid Monniaux2019-05-161-10/+2
* | | add options for controlling madd and notrap selectionDavid Monniaux2020-04-191-6/+16
| |/ |/|
* | fma with first negated operandDavid Monniaux2019-08-301-0/+2
* | fmaDavid Monniaux2019-08-301-1/+15
* | use finvwDavid Monniaux2019-08-301-2/+13
* | fabsfDavid Monniaux2019-08-291-0/+1
* | fmin/fmax/fminf/fmaxf non bien testésDavid Monniaux2019-08-291-1/+7
* | helpers broke compilationDavid Monniaux2019-07-191-0/+3
* | move with immediatesDavid Monniaux2019-06-041-0/+4
* | osel immDavid Monniaux2019-06-041-2/+8
* | shortcut cmove worksDavid Monniaux2019-06-041-20/+7
* | why doesn't it work?David Monniaux2019-06-041-1/+43
* | little restructuringDavid Monniaux2019-06-041-3/+4
* | start to have whole path if-conversion?David Monniaux2019-06-041-1/+4
* | rm old select/selectl/selectf/selectfsDavid Monniaux2019-06-031-45/+2
* | Merge remote-tracking branch 'origin/mppa-msub' into mppa-workDavid Monniaux2019-05-301-3/+39
|\ \ | |/ |/|
| * correct -faddx option and propagate addim over addximDavid Monniaux2019-05-111-7/+7
| * option -faddx (off by default until questions cleared)David Monniaux2019-05-111-8/+21
| * apply .xs onto addx4 etcDavid Monniaux2019-05-111-6/+7
| * more maddxDavid Monniaux2019-05-111-0/+8
| * maddx ordre opposéDavid Monniaux2019-05-111-0/+2
| * add with shift, beginningDavid Monniaux2019-05-111-1/+9
| * Pmsub compiledDavid Monniaux2019-05-111-0/+4
* | 32-bit modulo now uses sign extend then call to the 64-bit functionDavid Monniaux2019-05-131-1/+5
* | we directly call 64-bit unsigned divisionDavid Monniaux2019-05-131-1/+5
|/
* command line options (still incomplete)David Monniaux2019-05-021-5/+11
* does not yet work, arity mismatchDavid Monniaux2019-05-011-0/+6
* float of int = float of long o long of intDavid Monniaux2019-04-291-1/+1
* float of intu = float of longu o longu of intuDavid Monniaux2019-04-291-1/+1
* more insf detectionDavid Monniaux2019-04-281-0/+12
* coq mode for emacsDavid Monniaux2019-04-281-0/+4
* selection for insfDavid Monniaux2019-04-281-1/+1
* some more on bitfield detectionDavid Monniaux2019-04-281-4/+7
* some more on bit fields insert detectionDavid Monniaux2019-04-281-1/+3
* progress on bitfield detectionDavid Monniaux2019-04-281-1/+6
* detect insf case, beginDavid Monniaux2019-04-281-0/+4
* factor expressions into single fileDavid Monniaux2019-04-271-6/+3
* progressDavid Monniaux2019-04-251-1/+9
* IT COMPILESDavid Monniaux2019-04-251-5/+5
* some progress on bitfieldsDavid Monniaux2019-04-251-0/+8
* some more simplificationDavid Monniaux2019-04-121-0/+2
* some more simplificationDavid Monniaux2019-04-121-0/+1
* some more simplificationsDavid Monniaux2019-04-121-0/+1
* some more simplificationsDavid Monniaux2019-04-121-0/+6
* some more simplificationsDavid Monniaux2019-04-121-1/+6
* more simplificationsDavid Monniaux2019-04-121-0/+2