diff options
| author | Guillaume Melquiond | 2020-12-27 14:55:17 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2021-01-10 10:24:10 +0100 |
| commit | 5820a964a5b380d82923be7905cdacd6fa6bd6c3 (patch) | |
| tree | 13854701b6ad63b08c49ebf29a9078f917829cdd /dev/ci | |
| parent | d1215d47c3cda09f4df2f07ce9362b3e6fc5b164 (diff) | |
Remove MAKEPROD.
MAKEPROD is just MAKEBLOCK2(0), but one word shorter. Since this opcode is
never encountered in the fast path, this optimization is not worth the
extra complexity.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions