On Tue, Jun 25, 2019 at 7:52 AM Jan Beulich <JBeulich@suse.com> wrote: > > 1: warn about insns exceeding the 15-byte limit > 2: use encoding_length() also elsewhere > OK. Thanks. -- H.J.