aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/SelectOp.vp
Commit message (Expand)AuthorAgeFilesLines
* 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
* Oselectf, Oselectfs with conditionDavid Monniaux2019-04-051-0/+14
* selectl with conditionDavid Monniaux2019-04-051-3/+13
* ternary ops work on (unsigned/signed) int with test on signed intDavid Monniaux2019-04-041-3/+3
* more on selectDavid Monniaux2019-04-041-0/+5
* some more progress on selectDavid Monniaux2019-04-041-2/+2
* Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-031-0/+1
|\
| * Started to add addressing with register + register, Mach -> Asm not done yetCyril SIX2019-04-011-0/+1
* | ternary unsignedDavid Monniaux2019-03-261-0/+9
* | rm cruftDavid Monniaux2019-03-261-24/+0
* | ternary begins workingDavid Monniaux2019-03-261-5/+5
* | some progressDavid Monniaux2019-03-261-5/+4
* | implemented ternary patternDavid Monniaux2019-03-261-1/+11
* | more on ternaryDavid Monniaux2019-03-261-5/+5
* | select basic operatorsDavid Monniaux2019-03-261-0/+24
|/
* ça recompile sur x86David Monniaux2019-03-221-38/+1
* la division flottante fonctionneDavid Monniaux2019-03-201-2/+11
* begin float divisionDavid Monniaux2019-03-201-0/+4
* les divisions entieres passentDavid Monniaux2019-03-201-3/+8
* Merge branch 'mppa_postpass' into mppa-mulDavid Monniaux2019-03-201-1/+9
|\
| * mul+madd immediateDavid Monniaux2019-03-191-0/+4
| * mul immediateDavid Monniaux2019-03-191-1/+1
| * reverse maddDavid Monniaux2019-03-191-0/+2
| * mandw mais ça coinceDavid Monniaux2019-03-181-0/+2
* | added helper functions but strangeDavid Monniaux2019-03-191-1/+47
|/
* some more andn / ornDavid Monniaux2019-03-181-0/+4
* andn/orn start being generatedDavid Monniaux2019-03-181-0/+2
* andn / orn suiteDavid Monniaux2019-03-181-1/+1
* nxorDavid Monniaux2019-03-161-0/+2
* nor implementeDavid Monniaux2019-03-161-0/+2