5189 	s64 sval;  in is_branch_taken()  local
5224 		sval = (s64)(s32)val;  in is_branch_taken()
5226 		sval = (s64)val;  in is_branch_taken()
5251 		if (reg->smin_value > sval)  in is_branch_taken()
5253 		else if (reg->smax_value < sval)  in is_branch_taken()
5263 		if (reg->smax_value < sval)  in is_branch_taken()
5265 		else if (reg->smin_value >= sval)  in is_branch_taken()
5275 		if (reg->smin_value >= sval)  in is_branch_taken()
5277 		else if (reg->smax_value < sval)  in is_branch_taken()
5287 		if (reg->smax_value <= sval)  in is_branch_taken()
5289 		else if (reg->smin_value > sval)  in is_branch_taken()
5312 static bool cmp_val_with_extended_s64(s64 sval, struct bpf_reg_state *reg)  in cmp_val_with_extended_s64()  argument
5314 	return ((s32)sval >= 0 &&  in cmp_val_with_extended_s64()
5316 	       ((s32)sval < 0 &&  in cmp_val_with_extended_s64()
5329 	s64 sval;  in reg_set_min_max()  local
5341 	sval = is_jmp32 ? (s64)(s32)val : (s64)val;  in reg_set_min_max()
5389 		s64 false_smax = opcode == BPF_JSGT ? sval    : sval - 1;  in reg_set_min_max()
5390 		s64 true_smin = opcode == BPF_JSGT ? sval + 1 : sval;  in reg_set_min_max()
5395 		if (is_jmp32 && !cmp_val_with_extended_s64(sval, false_reg))  in reg_set_min_max()
5418 		s64 false_smin = opcode == BPF_JSLT ? sval    : sval + 1;  in reg_set_min_max()
5419 		s64 true_smax = opcode == BPF_JSLT ? sval - 1 : sval;  in reg_set_min_max()
5421 		if (is_jmp32 && !cmp_val_with_extended_s64(sval, false_reg))  in reg_set_min_max()
5451 	s64 sval;  in reg_set_min_max_inv()  local
5457 	sval = is_jmp32 ? (s64)(s32)val : (s64)val;  in reg_set_min_max_inv()
5501 		s64 false_smin = opcode == BPF_JSGT ? sval    : sval + 1;  in reg_set_min_max_inv()
5502 		s64 true_smax = opcode == BPF_JSGT ? sval - 1 : sval;  in reg_set_min_max_inv()
5504 		if (is_jmp32 && !cmp_val_with_extended_s64(sval, false_reg))  in reg_set_min_max_inv()
5527 		s64 false_smax = opcode == BPF_JSLT ? sval    : sval - 1;  in reg_set_min_max_inv()
5528 		s64 true_smin = opcode == BPF_JSLT ? sval + 1 : sval;  in reg_set_min_max_inv()
5530 		if (is_jmp32 && !cmp_val_with_extended_s64(sval, false_reg))  in reg_set_min_max_inv()