Searched refs:u32_max_value (Results 1 – 2 of 2) sorted by relevance
2106 reg->u32_max_value = (u32)imm; in ___mark_reg_known()2128 reg->u32_max_value = (u32)imm; in __mark_reg32_known()2252 reg->u32_max_value = U32_MAX; in __mark_reg_unbounded()2268 reg->u32_max_value = U32_MAX; in __mark_reg32_unbounded()2282 reg->u32_max_value = min(reg->u32_max_value, in __update_reg32_bounds()2388 reg->u32_max_value)); in __reg_bound_offset()6087 reg->u32_max_value = U32_MAX; in set_sext64_default_val()12891 dst_reg->u32_max_value = min(dst_reg->u32_max_value, umax_val); in scalar32_min_max_and()14156 false_reg->u32_max_value = min(false_reg->u32_max_value, in reg_set_min_max()14196 true_reg->u32_max_value = min(true_reg->u32_max_value, in reg_set_min_max()[all …]
156 u32 u32_max_value; /* maximum possible (u32)value */ member