Lines Matching defs:mask
1123 reg->s32_min_value = max_t(s32, reg->s32_min_value, var32_off.value | (var32_off.mask & S32_MIN));
1125 reg->s32_max_value = min_t(s32, reg->s32_max_value, var32_off.value | (var32_off.mask & S32_MAX));
1127 reg->u32_max_value = min(reg->u32_max_value, (u32)(var32_off.value | var32_off.mask));
1133 reg->smin_value = max_t(s64, reg->smin_value, reg->var_off.value | (reg->var_off.mask & S64_MIN));
1135 reg->smax_value = min_t(s64, reg->smax_value, reg->var_off.value | (reg->var_off.mask & S64_MAX));
1137 reg->umax_value = min(reg->umax_value, reg->var_off.value | reg->var_off.mask);
2087 DECLARE_BITMAP(mask, VERIFIER_SIXTYFOUR);
2136 bitmap_from_u64(mask, reg_mask);
2137 for_each_set_bit(i, mask, 0x20)
2150 bitmap_from_u64(mask, stack_mask);
2151 for_each_set_bit(i, mask, VERIFIER_SIXTYFOUR)
2989 * field and then apply a mask when accessed with a narrower
3442 u64 mask;
3448 mask = ((u64)1 << (size * VERIFIER_EIGHT)) - 1;
3449 if ((reg->umin_value & ~mask) == (reg->umax_value & ~mask)) {
3450 reg->umin_value &= mask;
3451 reg->umax_value &= mask;
3454 reg->umax_value = mask;
6409 dst_reg->u32_max_value = var32_off.value | var32_off.mask;
6441 dst_reg->umax_value = dst_reg->var_off.value | dst_reg->var_off.mask;
6473 dst_reg->u32_max_value = var32_off.value | var32_off.mask;
6501 dst_reg->umax_value = dst_reg->var_off.value | dst_reg->var_off.mask;
7234 if ((~subreg.mask & subreg.value) & val) {
7237 if (!((subreg.mask | subreg.value) & val)) {
7318 if ((~reg->var_off.mask & reg->var_off.value) & val) {
7321 if (!((reg->var_off.mask | reg->var_off.value) & val)) {
10899 * we will apply proper mask to the result.