Re: [PATCH] ARC: bpf_jit_arcv2: Remove redundant condition check

[Vadim Fedorenko <vadim.fedorenko@linux.dev>]

On 11/11/2024 14:19, Hardevsinh Palaniya wrote:
> The condition 'if (ARC_CC_AL)' is always true, as ARC_CC_AL is a constant
> integer. This makes the check redundant, so it is safe to remove.
> 
> Signed-off-by: Hardevsinh Palaniya <hardevsinh.palaniya@siliconsignals.io>
> ---
>   arch/arc/net/bpf_jit_arcv2.c | 5 +----
>   1 file changed, 1 insertion(+), 4 deletions(-)
> 
> diff --git a/arch/arc/net/bpf_jit_arcv2.c b/arch/arc/net/bpf_jit_arcv2.c
> index 4458e409ca0a..19792ce952be 100644
> --- a/arch/arc/net/bpf_jit_arcv2.c
> +++ b/arch/arc/net/bpf_jit_arcv2.c
> @@ -2916,10 +2916,7 @@ bool check_jmp_32(u32 curr_off, u32 targ_off, u8 cond)
>   	addendum = (cond == ARC_CC_AL) ? 0 : INSN_len_normal;
>   	disp = get_displacement(curr_off + addendum, targ_off);
>   
> -	if (ARC_CC_AL)
> -		return is_valid_far_disp(disp);
> -	else
> -		return is_valid_near_disp(disp);
> +	return is_valid_far_disp(disp);
>   }
>   
>   /*

The original code is obviously optimized out, but the intention, I
believe, was to check if the jump is conditional or not.

So the proper fix should change the code to check cond:

-	if (ARC_CC_AL)
+	if (cond == ARC_CC_AL)