Re: [RFC PATCH] bpf, x64: add extra passes and relax size convergence check

2020-11-26 Thread Gary Lin
On Thu, Nov 26, 2020 at 04:01:30PM +0800, Gary Lin wrote: > The x64 bpf jit expects bpf images converge within the given passes, but > it could fail to do so with some corner cases. For example: > > l0: ldh [4] > l1: jeq #0x537d, l2, l40 > l2: ld [0] > l3: j

[RFC PATCH] bpf, x64: add extra passes and relax size convergence check

2020-11-26 Thread Gary Lin
The x64 bpf jit expects bpf images converge within the given passes, but it could fail to do so with some corner cases. For example: l0: ldh [4] l1: jeq #0x537d, l2, l40 l2: ld [0] l3: jeq #0xfa163e0d, l4, l40 l4: ldh [12] l5: ldx #0xe