Selectively Shifting and Constraining Computation

[Mark Reinhold]

2022/10/13 11:43:29 -0700, Remi Forax <forax at univ-mlv.fr>:
> I will argue that moving from compile time to runtime is also a form
> of condensation, by example transforming an invokevirtual call to an
> invokedynamic allows to consider some arguments as effectively
> constants helping the JIT to generate better assembly code (often more
> compact) by delaying the linking until the actual values are
> seen.

That’s certainly a form of shifting, and we could generalize the
condenser concept slightly to allow such forward shifting should
interesting use cases arise.

- Mark