Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Support machines without controllable cpu speed | Jason Gross | 2017-10-13 |
| | |||
* | Update smithers script | Jason Gross | 2017-10-13 |
| | |||
* | Smithers doesn't support -o pipefail | Jason Gross | 2017-10-11 |
| | |||
* | Add etc/ci/smithers.sh for smithers testing | Jason Gross | 2017-10-10 |
| | |||
* | Add example usage | Jason Gross | 2017-09-27 |
| | |||
* | Update etc scripts to include governor | Jason Gross | 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 ↵ | Jason Gross | 2017-09-16 |
| | | | | searching it | ||
* | Fix assembly | Jason Gross | 2017-09-12 |
| | |||
* | WIP on reg alloc for asm output | Jason Gross | 2017-09-11 |
| | |||
* | Fix (hopefully) overlap in reg | Jason Gross | 2017-09-05 |
| | |||
* | Fix schedule to be in correct order | Jason Gross | 2017-09-05 |
| | |||
* | WIP | Jason Gross | 2017-09-05 |
| | |||
* | Fix schedule | Jason Gross | 2017-09-05 |
| | |||
* | WIP on reg alloc | Jason Gross | 2017-09-04 |
| | |||
* | chmod +x | Jason Gross | 2017-09-04 |
| | |||
* | Add display files (temporary, kind-of) | Jason Gross | 2017-09-04 |
| | |||
* | WIP Update compile with registers | Jason Gross | 2017-09-04 |
| | |||
* | More WIP on register allocation | Jason Gross | 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 | Jason Gross | 2017-08-14 |
| | |||
* | Handle equality in parsing | Jason Gross | 2017-08-14 |
| | |||
* | Fixup header and footer | Jason Gross | 2017-08-14 |
| | |||
* | Update scheduler to know about implicit mulx arg | Jason Gross | 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 | Jason Gross | 2017-08-13 |
| | |||
* | Revert "Revert "Subset compiler differently"" | Jason Gross | 2017-08-13 |
| | | | | This reverts commit c8c82f2edf416b667ba487dfa2cff0795d37cbe6. | ||
* | Revert "Subset compiler differently" | Jason Gross | 2017-08-13 |
| | | | | This reverts commit 7038444e6515ec51a3b6d1cdfe972664d3f16c81. | ||
* | Subset compiler differently | Jason Gross | 2017-08-13 |
| | |||
* | Add heuristic search | Jason Gross | 2017-08-13 |
| | |||
* | Update the graph maker | Jason Gross | 2017-08-13 |
| | |||
* | Update exhaustive search compiler | Jason Gross | 2017-08-13 |
| | |||
* | Add memoize.py to zinc compiler folder | Jason Gross | 2017-08-11 |
| | |||
* | wip on register allocation in python | Jason Gross | 2017-08-09 |
| | |||
* | Fix the sense of dependencies in zinc generation | Jason Gross | 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 | Jason Gross | 2017-08-09 |
| | |||
* | Fix wip | Jason Gross | 2017-08-09 |
| | |||
* | Larger instruction window for zinc | Jason Gross | 2017-08-09 |
| | |||
* | Add a faster version of the zinc compiler | Jason Gross | 2017-08-06 |
| | |||
* | Add initial stab at C-compilation by optimization | Jason Gross | 2017-08-06 |
| | |||
* | Fix format warning in gcc | Jason Gross | 2017-07-08 |
| | | | | Part of #227 | ||
* | Don't remove Adam Langley when anonymizing repo | Jason Gross | 2017-07-06 |
| | |||
* | s/bash/sh | Andres Erbsen | 2017-07-05 |
| | |||
* | etc: add scripts to control turbo boost and hyper threading | Andres Erbsen | 2017-07-05 |
| | |||
* | benchmarking: correct for differences in CPU and TSC frequency | Andres Erbsen | 2017-07-05 |
| | |||
* | don't key benchmarks on cpu frequency | Andres Erbsen | 2017-06-18 |
| | |||
* | handle missing /sys/class/power_supply/AC | Andres Erbsen | 2017-06-18 |
| | |||
* | more sh portability fixes... | Andres Erbsen | 2017-06-18 |
| | |||
* | "make bench", currently just X25519-C64 (closes #185) | Andres Erbsen | 2017-06-18 |
| | |||
* | Bump coq-scripts | Jason Gross | 2017-06-06 |
| | |||
* | Unrevert the coq-scripts module again | Jason Gross | 2017-04-14 |
| | | | | cc @andres-erbsen | ||
* | stronger ladderstep correctness proof courtesy Teo | Andres Erbsen | 2017-04-14 |
| | |||
* | Revert "update coq-scripts" | Jason Gross | 2017-04-13 |
| | | | | | | | | This reverts commit 96d5cedb2cd194e15711ff5b284380539b9a9d99. That commit broke the `lite` target and the `printreversedeps` target, and reverted 2ad2524dba1321e3facdba3c1142e7e7fbbe1634, among other commits. |