aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/SelectOpproof.v
Commit message (Expand)AuthorAgeFilesLines
* mul+madd immediateDavid Monniaux2019-03-191-1/+5
* mul immediateDavid Monniaux2019-03-191-2/+2
* reverse maddDavid Monniaux2019-03-191-0/+2
* mandw mais ça coinceDavid Monniaux2019-03-181-0/+2
* some more andn / ornDavid Monniaux2019-03-181-0/+4
* andn/orn start being generatedDavid Monniaux2019-03-181-8/+10
* andn / orn suiteDavid Monniaux2019-03-181-1/+1
* nxorDavid Monniaux2019-03-161-0/+2
* nor implementeDavid Monniaux2019-03-161-0/+2
* some more nandDavid Monniaux2019-03-161-1/+6
* select rotate ops 32-bitDavid Monniaux2019-03-161-2/+38
* Changed ptr64 to be always trueCyril SIX2018-04-041-15/+2
* Hook for MPPA_K1c (generates Risc-V code for now)Cyril SIX2018-04-041-0/+925
generated by cgit (git 2.34.1) at 2024-07-06 14:14:49 +0000