index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
mppa_k1c
/
PostpassSchedulingOracle.ml
Commit message (
Expand
)
Author
Age
Files
Lines
...
|
*
|
select cmpu
David Monniaux
2019-04-05
1
-1
/
+2
|
*
|
Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary
David Monniaux
2019-04-04
1
-2
/
+2
|
|
\
\
|
*
\
\
Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary
David Monniaux
2019-04-03
1
-0
/
+5
|
|
\
\
\
|
*
|
|
|
cmoved works
David Monniaux
2019-03-26
1
-4
/
+5
|
*
|
|
|
progress on cmove
David Monniaux
2019-03-25
1
-0
/
+1
*
|
|
|
|
relecture sylvain
Sylvain Boulmé
2019-04-05
1
-0
/
+1
*
|
|
|
|
#90 Asmvliw/Asmblock refactoring attempt
Cyril SIX
2019-04-05
1
-3
/
+3
|
|
_
|
_
|
/
|
/
|
|
|
*
|
|
|
Possible fix pour l'issue #82 (mauvais calcul de taille de bundle pour les st...
Cyril SIX
2019-04-05
1
-1
/
+1
|
|
_
|
/
|
/
|
|
*
|
|
Erreur idiote dans les latences ?
Cyril SIX
2019-04-04
1
-2
/
+2
|
|
/
|
/
|
*
|
Added definition of PLoadRRR and PStoreRRR - no Asmblockgen generation yet
Cyril SIX
2019-04-02
1
-0
/
+4
*
|
Merge branch 'mppa-mul' into mppa-jumptable
David Monniaux
2019-03-22
1
-1
/
+0
|
\
|
|
*
rm Pdiv / Pdivu
David Monniaux
2019-03-22
1
-1
/
+0
*
|
Jump tables now work. There is still an "Admitted" subcase in a proof.
David Monniaux
2019-03-22
1
-0
/
+1
|
/
*
Merge branch 'mppa-madd' into mppa_postpass
David Monniaux
2019-03-19
1
-7
/
+28
|
\
|
*
mul+madd immediate
David Monniaux
2019-03-19
1
-1
/
+1
|
*
mul immediate begin
David Monniaux
2019-03-19
1
-2
/
+4
|
*
fix classes for madd
David Monniaux
2019-03-19
1
-4
/
+4
|
*
mandw mais ça coince
David Monniaux
2019-03-18
1
-3
/
+8
|
*
maddw exists now in postpass scheduler
David Monniaux
2019-03-18
1
-0
/
+14
*
|
Pseudo instruction for 32 bits division, no code generation yet
Cyril SIX
2019-03-19
1
-1
/
+2
|
/
*
orn / andn in asm
David Monniaux
2019-03-18
1
-4
/
+18
*
long nand, nor, nxor
David Monniaux
2019-03-16
1
-3
/
+12
*
nxor
David Monniaux
2019-03-16
1
-3
/
+6
*
partial norw
David Monniaux
2019-03-16
1
-4
/
+7
*
nand is implemented
David Monniaux
2019-03-16
1
-2
/
+7
*
fix problem with ALU reservation tables
David Monniaux
2019-03-16
1
-1
/
+3
*
32-bit rotate finished
David Monniaux
2019-03-16
1
-3
/
+5
*
Corrigé certaines latences (Store -> 1 i/o 3, Set -> 4 i/o 3)
Cyril SIX
2019-03-13
1
-4
/
+3
*
-fpostpass-ilp
David Monniaux
2019-03-12
1
-2
/
+4
*
better tracing for ILP + make clean
David Monniaux
2019-03-12
1
-0
/
+1
*
Fix for the compw immediate problem
Cyril SIX
2019-03-08
1
-7
/
+17
*
Reverting the hack introduces on Pcompw etc..
Cyril SIX
2019-03-08
1
-14
/
+3
*
HACK for Pcompiw/Pcompil as well
Cyril SIX
2019-03-07
1
-2
/
+8
*
HACK for the Pcompw/Pcompl memory problem (but performance decrease, to remov...
Cyril SIX
2019-03-06
1
-1
/
+4
*
Added double comparisons
Cyril SIX
2019-03-01
1
-2
/
+7
*
Implemented float comparisons (no branching yet, and no negation)
Cyril SIX
2019-03-01
1
-1
/
+11
*
Ointuofsingle done
Cyril SIX
2019-03-01
1
-3
/
+5
*
Float conversion fixes + some more conversions
Cyril SIX
2019-02-27
1
-3
/
+15
*
Rajout d'opérateurs flottants, travail sur les tests --> à continuer
Cyril SIX
2019-02-15
1
-6
/
+39
*
FIX axiom to be realized issue
Cyril SIX
2019-02-15
1
-0
/
+8
*
Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...
David Monniaux
2019-02-13
1
-2
/
+20
|
\
|
*
Added Olongoffloat, Ofloatoflong and doubleconv test
Cyril SIX
2019-02-12
1
-3
/
+7
|
*
Added Ointofsingle + floatconv unit test
Cyril SIX
2019-02-12
1
-3
/
+5
|
*
Added Osingleofint
Cyril SIX
2019-02-12
1
-1
/
+5
|
*
Added Pmakefs and Pmakef to the scheduler
Cyril SIX
2019-02-12
1
-3
/
+9
|
*
Added Ofloatconst and Osingleconst (not integrated in scheduler yet)
Cyril SIX
2019-02-12
1
-0
/
+2
*
|
We have one example that exceeds a total latency of 5000, better simply not c...
David Monniaux
2019-02-13
1
-1
/
+1
|
/
*
Fix for immediate size miscomputation in postpass oracle.
Cyril SIX
2019-02-08
1
-12
/
+11
*
Added indirect tailcalls
Cyril SIX
2019-02-08
1
-3
/
+5
*
Adding indirect calls (icall instruction)
Cyril SIX
2019-01-29
1
-3
/
+5
[prev]
[next]