Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Smithers doesn't support -o pipefail | 2017-10-11 | |
| | |||
* | Add etc/ci/smithers.sh for smithers testing | 2017-10-10 | |
| | |||
* | Add example usage | 2017-09-27 | |
| | |||
* | Update etc scripts to include governor | 2017-09-27 | |
| | | | | | | | | It needs to be in performance, not powersave, to work well on my machine. While we're at it, also have the scripts print usage if you pass no arguments, rather than giving an error message about $1 being unset. | ||
* | Check if /sys/devices/system/cpu/intel_pstate/no_turbo exists before ↵ | 2017-09-16 | |
| | | | | searching it | ||
* | Fix assembly | 2017-09-12 | |
| | |||
* | WIP on reg alloc for asm output | 2017-09-11 | |
| | |||
* | Fix (hopefully) overlap in reg | 2017-09-05 | |
| | |||
* | Fix schedule to be in correct order | 2017-09-05 | |
| | |||
* | WIP | 2017-09-05 | |
| | |||
* | Fix schedule | 2017-09-05 | |
| | |||
* | WIP on reg alloc | 2017-09-04 | |
| | |||
* | chmod +x | 2017-09-04 | |
| | |||
* | Add display files (temporary, kind-of) | 2017-09-04 | |
| | |||
* | WIP Update compile with registers | 2017-09-04 | |
| | |||
* | More WIP on register allocation | 2017-08-17 | |
| | | | | | | | | | | The current allocation is terrible, probably because we are currently requiring that all instructions output to registers. My current guess at a decent thing to do is to make a pass, after register allocation, and eliminate all registers that simply get stored to memory, replacing the relevant instructions with the memory-using versions. Then we can re-register allocate, ignoring values that go straight to memory. | ||
* | Handle most of register allocation | 2017-08-14 | |
| | |||
* | Handle equality in parsing | 2017-08-14 | |
| | |||
* | Fixup header and footer | 2017-08-14 | |
| | |||
* | Update scheduler to know about implicit mulx arg | 2017-08-14 | |
| | | | | | Now it prefers putting together mulx with the same implicit arg (approximated as the same variable with the lower number). | ||
* | Use a more realistic processor model | 2017-08-13 | |
| | |||
* | Revert "Revert "Subset compiler differently"" | 2017-08-13 | |
| | | | | This reverts commit c8c82f2edf416b667ba487dfa2cff0795d37cbe6. | ||
* | Revert "Subset compiler differently" | 2017-08-13 | |
| | | | | This reverts commit 7038444e6515ec51a3b6d1cdfe972664d3f16c81. | ||
* | Subset compiler differently | 2017-08-13 | |
| | |||
* | Add heuristic search | 2017-08-13 | |
| | |||
* | Update the graph maker | 2017-08-13 | |
| | |||
* | Update exhaustive search compiler | 2017-08-13 | |
| | |||
* | Add memoize.py to zinc compiler folder | 2017-08-11 | |
| | |||
* | wip on register allocation in python | 2017-08-09 | |
| | |||
* | Fix the sense of dependencies in zinc generation | 2017-08-09 | |
| | | | | | This brings the maximum window size back down to 53, so we use the old method of making dependencies, rather than the new one. | ||
* | Get all scheduling done in one frame | 2017-08-09 | |
| | |||
* | Fix wip | 2017-08-09 | |
| | |||
* | Larger instruction window for zinc | 2017-08-09 | |
| | |||
* | Add a faster version of the zinc compiler | 2017-08-06 | |
| | |||
* | Add initial stab at C-compilation by optimization | 2017-08-06 | |
| | |||
* | Fix format warning in gcc | 2017-07-08 | |
| | | | | Part of #227 | ||
* | Don't remove Adam Langley when anonymizing repo | 2017-07-06 | |
| | |||
* | s/bash/sh | 2017-07-05 | |
| | |||
* | etc: add scripts to control turbo boost and hyper threading | 2017-07-05 | |
| | |||
* | benchmarking: correct for differences in CPU and TSC frequency | 2017-07-05 | |
| | |||
* | don't key benchmarks on cpu frequency | 2017-06-18 | |
| | |||
* | handle missing /sys/class/power_supply/AC | 2017-06-18 | |
| | |||
* | more sh portability fixes... | 2017-06-18 | |
| | |||
* | "make bench", currently just X25519-C64 (closes #185) | 2017-06-18 | |
| | |||
* | Bump coq-scripts | 2017-06-06 | |
| | |||
* | Unrevert the coq-scripts module again | 2017-04-14 | |
| | | | | cc @andres-erbsen | ||
* | stronger ladderstep correctness proof courtesy Teo | 2017-04-14 | |
| | |||
* | Revert "update coq-scripts" | 2017-04-13 | |
| | | | | | | | | This reverts commit 96d5cedb2cd194e15711ff5b284380539b9a9d99. That commit broke the `lite` target and the `printreversedeps` target, and reverted 2ad2524dba1321e3facdba3c1142e7e7fbbe1634, among other commits. | ||
* | update coq-scripts | 2017-04-12 | |
| | |||
* | Fix vo_reverse_closure | 2017-04-09 | |
| |