Lines Matching defs:known

76  * Meaning that this reg is a pointer to stack plus known immediate constant.

1023  * known to have the value @imm.

1269         /* Otherwise the best we can do is push lower 32bit known and

1272          * known and unknown bits. The previous smin/smax bounds are

2395  * known to contain a variable offset.

2500  * respective stack slots. If all the stack values are known to be zeros, then

3206     /* update known max for given subprogram */

3889         /* b/h/w load zero-extends, mark upper bits as known 0 */

4508              * map_key, so that it's verified and known before

5600     bool known = tnum_is_const(reg->var_off);

5604     if (known && (val >= BPF_MAX_VAR_OFF || val <= -BPF_MAX_VAR_OFF)) {

5798      * Also, when register is a known constant, we rewrite register-based

5948     bool known = tnum_is_const(off_reg->var_off);

5960     if ((known && (smin_val != smax_val || umin_val != umax_val)) || smin_val > smax_val || umin_val > umax_val) {

5987             /* smin_val represents the known value */

5988             if (known && smin_val == 0 && opcode == BPF_ADD) {

6032             if (known && (ptr_reg->off + smin_val == (s64)(s32)(ptr_reg->off + smin_val))) {

6089             if (known && (ptr_reg->off - smin_val == (s64)(s32)(ptr_reg->off - smin_val))) {

6101             /* A new variable offset is created.  If the subtrahend is known

6606      * 2) it's known negative, thus the unsigned bounds capture the

6610      * If the value in dst_reg is known nonnegative, then again the

6636      * 2) it's known negative, thus the unsigned bounds capture the

6640      * If the value in dst_reg is known nonnegative, then again the

6928         /* Pretend the src is a reg with a known value, since we only

7210      * dst_reg->off is known < MAX_PACKET_OFF, therefore it fits in a u16.

7454      * label: // here both r1 and r2 are known to be 42.

7456      * Hence when marking register as known preserve it's ID.

7603 /* Regs are known to be equal, so intersect their min/max/var_off */

7636              * have been known-zero, because we don't allow pointer

8258         verbose(env, "At program exit the register R0 is not a known value (%s)\n", reg_type_str(env, reg->type));

9187  * all states stored in state_list are known to be valid, since