BGEU - Linux

200

#define RVG_MATCH_BGEU (RV_ENCODE_FUNCT3(BGEU) | RVG_OPCODE_BRANCH)

644

COND_SEL(BPF_JMP | BPF_JGE | BPF_K, BGEU, BLU);

648

COND_SEL(BPF_JMP | BPF_JGE | BPF_X, BGEU, BLU);

713

br_opcode = BGEU;

863

emit_branch(BGEU, ctx->idx, ctx->idx + OFFSET1, ctx);

870

emit_branch(BGEU, ctx->idx, ctx->idx + OFFSET2, ctx);