On Apr 9, 2020, at 1:20 PM, John Rose <john.r.r...@oracle.com> wrote: > > No specs were harmed in making this proposal.
P.P.S. Although there’s no precedent yet for it except static code rewriters, we could also intrinsify certain indy instructions in the same way, as early as the interpreter. Then we’d have customized verifier rules, based on each indy instruction signature, at no runtime cost, even at startup, thanks to the intrinsification logic. There are lots of ways to skin this… orange.
