Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Also build non-specific on smithers | Jason Gross | 2017-12-13 |
| | |||
* | Add missing file from previous commit | Jason Gross | 2017-12-13 |
| | |||
* | Bump submodule | Jason Gross | 2017-12-08 |
| | |||
* | Bump submodule | Jason Gross | 2017-12-08 |
| | |||
* | Add Andres' machine name to the author blacklist | Jason Gross | 2017-11-15 |
| | |||
* | Also anonymize 'fiat', e.g., in 'fiat_solinas' | Jason Gross | 2017-11-15 |
| | |||
* | Add Fiat-Crypto to the list of things to be anonymized | Jason Gross | 2017-11-15 |
| | |||
* | Expand ratios script | Adam Chlipala | 2017-11-14 |
| | |||
* | A small script for calculating speedup ratios from results | Adam Chlipala | 2017-11-14 |
| | |||
* | Bump submodule for timing ordering | Jason Gross | 2017-11-13 |
| | |||
* | Print coq version on smithers | Jason Gross | 2017-11-04 |
| | |||
* | Bump coq submodule | Jason Gross | 2017-10-31 |
| | |||
* | Fix smithers build | Jason Gross | 2017-10-31 |
| | |||
* | Add nonautogenerated-specific{,-display} targets | Jason Gross | 2017-10-23 |
| | |||
* | 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 |
| |