| 407 | } |
| 408 | |
| 409 | static void |
| 410 | eval_and(struct bpf_reg_val *rd, const struct bpf_reg_val *rs, size_t opsz, |
| 411 | uint64_t msk) |
| 412 | { |
| 413 | /* both operands are constants */ |
| 414 | if (rd->u.min == rd->u.max && rs->u.min == rs->u.max) { |
| 415 | rd->u.min &= rs->u.min; |
| 416 | rd->u.max &= rs->u.max; |
| 417 | } else { |
| 418 | rd->u.max = eval_uand_max(rd->u.max, rs->u.max, opsz); |
| 419 | rd->u.min &= rs->u.min; |
| 420 | } |
| 421 | |
| 422 | /* both operands are constants */ |
| 423 | if (rd->s.min == rd->s.max && rs->s.min == rs->s.max) { |
| 424 | rd->s.min &= rs->s.min; |
| 425 | rd->s.max &= rs->s.max; |
| 426 | /* at least one of operand is non-negative */ |
| 427 | } else if (rd->s.min >= 0 || rs->s.min >= 0) { |
| 428 | rd->s.max = eval_uand_max(rd->s.max & (msk >> 1), |
| 429 | rs->s.max & (msk >> 1), opsz); |
| 430 | rd->s.min &= rs->s.min; |
| 431 | } else |
| 432 | eval_smax_bound(rd, msk); |
| 433 | } |
| 434 | |
| 435 | static void |
| 436 | eval_or(struct bpf_reg_val *rd, const struct bpf_reg_val *rs, size_t opsz, |
no test coverage detected