aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/Op.v
Commit message (Expand)AuthorAgeFilesLines
* is_trapping_op_soundDavid Monniaux2019-09-231-0/+28
* more proofsDavid Monniaux2019-09-051-0/+13
* Merge remote-tracking branch 'origin/mppa-work' into mppa-non-trapping-loadDavid Monniaux2019-09-031-8/+65
|\
| * Merge remote-tracking branch 'origin/mppa-work-upstream-merge' into mppa-workCyril SIX2019-09-031-8/+65
| |\
| | * début du fmaDavid Monniaux2019-08-301-0/+26
| | * add finvw ; not yet generatedDavid Monniaux2019-08-301-0/+7
| | * begin implementing minf/maxfDavid Monniaux2019-08-291-8/+32
* | | avancement (il faut utiliser Vundef visiblement)David Monniaux2019-09-021-0/+39
|/ /
* / (#144) Fixing <bad operator> on RTL dumpsCyril SIX2019-07-241-10/+10
|/
* osel immDavid Monniaux2019-06-041-6/+6
* begin osel immDavid Monniaux2019-06-041-3/+39
* Osel -> assembleurDavid Monniaux2019-06-041-82/+6
* Osel operation (not yet compiled)David Monniaux2019-06-041-6/+28
* rm old select/selectl/selectf/selectfsDavid Monniaux2019-06-031-127/+8
* standardization of expressionsDavid Monniaux2019-05-121-4/+4
* apply .xs onto addx4 etcDavid Monniaux2019-05-111-2/+2
* add with shift, beginningDavid Monniaux2019-05-111-3/+4
* Pmsub compiledDavid Monniaux2019-05-111-13/+1
* Oaddx -> PDavid Monniaux2019-05-111-10/+10
* use shift 1-4 in backendDavid Monniaux2019-05-101-14/+0
* more integer OpDavid Monniaux2019-05-101-11/+148
* load xs / store xs seem to workDavid Monniaux2019-05-011-1/+2
* advancing (but broken)David Monniaux2019-05-011-0/+4
* indexed2XS beginDavid Monniaux2019-05-011-3/+5
* rm unsupported int -> double signed/unsigned opsDavid Monniaux2019-04-291-12/+0
* add bitfield insert opcode but not yet used nor translatedDavid Monniaux2019-04-271-1/+35
* factor expressions into single fileDavid Monniaux2019-04-271-8/+8
* moved operators to specific file instead of common fileDavid Monniaux2019-04-271-13/+13
* added code for extfzl/extfsl (not very useful since bitfields are limited to ...David Monniaux2019-04-251-1/+28
* progressDavid Monniaux2019-04-251-2/+15
* IT COMPILESDavid Monniaux2019-04-251-2/+2
* some progress on bitfieldsDavid Monniaux2019-04-251-1/+15
* Oselectf, Oselectfs with conditionDavid Monniaux2019-04-051-47/+95
* selectl with conditionDavid Monniaux2019-04-051-24/+49
* select_soundDavid Monniaux2019-04-041-0/+15
* some more progress on selectDavid Monniaux2019-04-041-12/+3
* progressing on selectDavid Monniaux2019-04-041-16/+10
* working on selectDavid Monniaux2019-04-041-3/+24
* working on selectDavid Monniaux2019-04-041-28/+58
* prepare for conditions in cmoveDavid Monniaux2019-04-041-9/+24
* for floats and doubles, asmgen supportDavid Monniaux2019-04-031-1/+53
* problem in ValueAOpDavid Monniaux2019-04-031-3/+3
* Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-031-3/+8
|\
| * Started to add addressing with register + register, Mach -> Asm not done yetCyril SIX2019-04-011-3/+8
* | selectl generationDavid Monniaux2019-03-261-2/+2
* | better Op select/selectlDavid Monniaux2019-03-251-32/+24
* | going forward with select/selectlDavid Monniaux2019-03-251-12/+26
* | begin ternaryDavid Monniaux2019-03-241-1/+48
|/
* maddl declaredDavid Monniaux2019-03-201-17/+10
* mul immediateDavid Monniaux2019-03-191-0/+5
generated by cgit (git 2.34.1) at 2024-07-07 06:13:22 +0000