[PATCH 2/2] maple_tree: goto complete directly on a pivot of 0

Liam R. Howlett Liam.Howlett at oracle.com
Wed Sep 11 08:26:30 PDT 2024


* Wei Yang <richard.weiyang at gmail.com> [240911 10:29]:
> When we break the loop after assigning a pivot, the index i/j is not
> changed. Then the following code assign pivot, which means we do the
> assignment with same i/j by mas_safe_pivot.
> 
> Since the loop condition is (i < piv_end), from which we can get i is
> less than mt_pivots[mt]. It implies mas_safe_pivot() return pivot[i]
> which is the same value we get in loop.
> 
> Now we can conclude it does a redundant assignment on a pivot of 0.
> Let's just go to complete to avoid it.
> 
> Signed-off-by: Wei Yang <richard.weiyang at gmail.com>

Reviewed-by: Liam R. Howlett <Liam.Howlett at Oracle.com>

> ---
>  lib/maple_tree.c | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/lib/maple_tree.c b/lib/maple_tree.c
> index 6fd62b7ef240..f7bb3f686548 100644
> --- a/lib/maple_tree.c
> +++ b/lib/maple_tree.c
> @@ -1942,7 +1942,7 @@ static inline void mas_mab_cp(struct ma_state *mas, unsigned char mas_start,
>  	for (; i < piv_end; i++, j++) {
>  		b_node->pivot[j] = pivots[i];
>  		if (unlikely(!b_node->pivot[j]))
> -			break;
> +			goto complete;
>  
>  		if (unlikely(mas->max == b_node->pivot[j]))
>  			goto complete;
> -- 
> 2.34.1
> 



More information about the maple-tree mailing list