On Thu, Jan 19, 2023 at 2:25 PM <dthaler1968@xxxxxxxxxxxxxx> wrote: > -BPF_MOD 0x90 dst %= src > +BPF_MOD 0x90 dst = (src != 0) ? (dst % src) : dst ... > +If execution would result in modulo by zero, > +the destination register is instead set to the source register > +as ``BPF_MOV`` would do, meaning that for ``BPF_ALU64`` the value > +is unchanged whereas for ``BPF_ALU`` the value is truncated to 32 bits. These two don't match. Probably should say that for ALU64 dst doesn't change and for alu32 it's upper 32-bits are zeroed.
