From a58d36fd945e90323e15ebe93a279db419ae1c50 Mon Sep 17 00:00:00 2001 From: Chris Fallin Date: Sat, 19 Jun 2021 13:20:11 -0700 Subject: [PATCH] TODO update: make note on idea for large-input support --- doc/TODO | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/doc/TODO b/doc/TODO index aa76ce8..88d8200 100644 --- a/doc/TODO +++ b/doc/TODO @@ -1,5 +1,14 @@ # Features +- Large-input support (> 1M vregs, > 1M blocks) + - Two operand impls: u64-based and u32-based. Always accept + u64-based `Operand` publicly (do not expose this in interface). + - Trait to generalize over them and support both internally + (parameterize the whole allocator impl) + - On data-structure init, choose one or the other based on max vreg + index + - Update halfmove keys: u128 rather than u64 + - Rematerialization - Stack-location constraints that place operands in user-defined stack locations (distinct from SpillSlots) (e.g., stack args)