Lines Matching defs:var32_off
2319 struct tnum var32_off = tnum_subreg(reg->var_off);
2323 var32_off.value | (var32_off.mask & S32_MIN));
2326 var32_off.value | (var32_off.mask & S32_MAX));
2327 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)var32_off.value);
2329 (u32)(var32_off.value | var32_off.mask));
2654 struct tnum var32_off = tnum_intersect(tnum_subreg(var64_off),
2658 reg->var_off = tnum_or(tnum_clear_subreg(var64_off), var32_off);
14952 struct tnum var32_off = tnum_subreg(dst_reg->var_off);
14956 __mark_reg32_known(dst_reg, var32_off.value);
14963 dst_reg->u32_min_value = var32_off.value;
15015 struct tnum var32_off = tnum_subreg(dst_reg->var_off);
15019 __mark_reg32_known(dst_reg, var32_off.value);
15027 dst_reg->u32_max_value = var32_off.value | var32_off.mask;
15078 struct tnum var32_off = tnum_subreg(dst_reg->var_off);
15081 __mark_reg32_known(dst_reg, var32_off.value);
15085 /* We get both minimum and maximum from the var32_off. */
15086 dst_reg->u32_min_value = var32_off.value;
15087 dst_reg->u32_max_value = var32_off.value | var32_off.mask;