diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-04-26 16:35:30 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-04-26 16:35:30 +0200 |
| commit | 24e97bd87918f2c487416744ba12a78aba35a9e5 (patch) | |
| tree | 839da3cc5ca3ca9976a9e4002e27754501e7fe11 /test/monniaux/README.md | |
| parent | 6d1223d053f1ff10792d5ed5d00d3830ff61e9d7 (diff) | |
| download | compcert-kvx-24e97bd87918f2c487416744ba12a78aba35a9e5.tar.gz compcert-kvx-24e97bd87918f2c487416744ba12a78aba35a9e5.zip | |
Changes to include a -O1 -fschedule-insns2 gcc run as well
Diffstat (limited to 'test/monniaux/README.md')
| -rw-r--r-- | test/monniaux/README.md | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/test/monniaux/README.md b/test/monniaux/README.md new file mode 100644 index 00000000..1a4f8e9e --- /dev/null +++ b/test/monniaux/README.md @@ -0,0 +1,64 @@ +## Folders with just source code +- acswap +- bitfields +- crypto-algorithms +- des +- fill_buffer +- jumptable +- k1_builtins +- latency +- longjmp +- loop +- madd +- math +- memcpy +- multithreaded_volatile +- nand +- predicated +- regalloc +- rotate +- send_through +- sizeof +- slow_globals +- ternary_builtin +- tiny-AES-c +- uzlib +- varargs +- volatile +- xor_and_mat + +## Special folders +- csmith +- jpeg-6b +- mbedtls +- quest +- yarpgen + +## Just to be compiled +- frame_pointer + +## Benches to fix +- BearSSL : does not compile (to fix) +- ncompress : error on comparing +- ocaml : error during postpass scheduling +- micro-bunzip : -O3 buggy with gcc ? +- mod_int_mat : does not include rules.mk +- pcre2test : Trap MEMORY ACCESS VIOLATION sur le binaire ccomp +- picosat : compilation error : implicit declaration + +## Benches that work +- binary_search +- bitsliced-aes +- bitsliced-tea +- complex +- float_mat +- glibc_qsort +- heapsort +- idea +- number_theoretic_transform +- quicksort +- sha-2 +- tacle-bench-lift +- tacle-bench-powerwindow +- ternary +- too_slow |