Searched refs:u32_max_value (Results 1 – 2 of 2) sorted by relevance
1769 reg->u32_max_value = (u32)imm; in ___mark_reg_known()1791 reg->u32_max_value = (u32)imm; in __mark_reg32_known()1913 reg->u32_max_value = U32_MAX; in __mark_reg_unbounded()1929 reg->u32_max_value = U32_MAX; in __mark_reg32_unbounded()1955 reg->u32_max_value = min(reg->u32_max_value, in __update_reg32_bounds()2037 reg->u32_max_value = min_t(u32, reg->u32_max_value, (u32)reg->umax_value); in deduce_bounds_32_from_64()2048 reg->u32_max_value = min_t(u32, reg->u32_max_value, (u32)reg->smax_value); in deduce_bounds_32_from_64()2086 if ((s32)reg->u32_min_value <= (s32)reg->u32_max_value) { in deduce_bounds_32_from_32()2088 reg->s32_max_value = min_t(s32, reg->s32_max_value, reg->u32_max_value); in deduce_bounds_32_from_32()2096 reg->u32_max_value = min_t(u32, reg->s32_max_value, reg->u32_max_value); in deduce_bounds_32_from_32()[all …]
130 u32 u32_max_value; /* maximum possible (u32)value */ member