15634 				  u8 opcode, bool is_jmp32)  in is_scalar_branch_taken()  argument
15636 	struct tnum t1 = is_jmp32 ? tnum_subreg(reg1->var_off) : reg1->var_off;  in is_scalar_branch_taken()
15637 	struct tnum t2 = is_jmp32 ? tnum_subreg(reg2->var_off) : reg2->var_off;  in is_scalar_branch_taken()
15638 	u64 umin1 = is_jmp32 ? (u64)reg1->u32_min_value : reg1->umin_value;  in is_scalar_branch_taken()
15639 	u64 umax1 = is_jmp32 ? (u64)reg1->u32_max_value : reg1->umax_value;  in is_scalar_branch_taken()
15640 	s64 smin1 = is_jmp32 ? (s64)reg1->s32_min_value : reg1->smin_value;  in is_scalar_branch_taken()
15641 	s64 smax1 = is_jmp32 ? (s64)reg1->s32_max_value : reg1->smax_value;  in is_scalar_branch_taken()
15642 	u64 umin2 = is_jmp32 ? (u64)reg2->u32_min_value : reg2->umin_value;  in is_scalar_branch_taken()
15643 	u64 umax2 = is_jmp32 ? (u64)reg2->u32_max_value : reg2->umax_value;  in is_scalar_branch_taken()
15644 	s64 smin2 = is_jmp32 ? (s64)reg2->s32_min_value : reg2->smin_value;  in is_scalar_branch_taken()
15645 	s64 smax2 = is_jmp32 ? (s64)reg2->s32_max_value : reg2->smax_value;  in is_scalar_branch_taken()
15659 		if (!is_jmp32) {  in is_scalar_branch_taken()
15683 		if (!is_jmp32) {  in is_scalar_branch_taken()
15697 		if (!is_reg_const(reg2, is_jmp32)) {  in is_scalar_branch_taken()
15701 		if (!is_reg_const(reg2, is_jmp32))  in is_scalar_branch_taken()
15830 			   u8 opcode, bool is_jmp32)  in is_branch_taken()  argument
15832 	if (reg_is_pkt_pointer_any(reg1) && reg_is_pkt_pointer_any(reg2) && !is_jmp32)  in is_branch_taken()
15839 		if (!is_reg_const(reg2, is_jmp32)) {  in is_branch_taken()
15844 		if (!is_reg_const(reg2, is_jmp32))  in is_branch_taken()
15853 		val = reg_const_value(reg2, is_jmp32);  in is_branch_taken()
15868 	return is_scalar_branch_taken(reg1, reg2, opcode, is_jmp32);  in is_branch_taken()
15898 				u8 opcode, bool is_jmp32)  in regs_refine_cond_op()  argument
15918 		if (is_jmp32) {  in regs_refine_cond_op()
15946 		if (!is_reg_const(reg2, is_jmp32))  in regs_refine_cond_op()
15948 		if (!is_reg_const(reg2, is_jmp32))  in regs_refine_cond_op()
15954 		val = reg_const_value(reg2, is_jmp32);  in regs_refine_cond_op()
15955 		if (is_jmp32) {  in regs_refine_cond_op()
15985 		if (!is_reg_const(reg2, is_jmp32))  in regs_refine_cond_op()
15987 		if (!is_reg_const(reg2, is_jmp32))  in regs_refine_cond_op()
15989 		val = reg_const_value(reg2, is_jmp32);  in regs_refine_cond_op()
16002 		if (is_jmp32) {  in regs_refine_cond_op()
16010 		if (!is_reg_const(reg2, is_jmp32))  in regs_refine_cond_op()
16012 		if (!is_reg_const(reg2, is_jmp32))  in regs_refine_cond_op()
16014 		val = reg_const_value(reg2, is_jmp32);  in regs_refine_cond_op()
16015 		if (is_jmp32) {  in regs_refine_cond_op()
16023 		if (is_jmp32) {  in regs_refine_cond_op()
16032 		if (is_jmp32) {  in regs_refine_cond_op()
16041 		if (is_jmp32) {  in regs_refine_cond_op()
16050 		if (is_jmp32) {  in regs_refine_cond_op()
16074 			   u8 opcode, bool is_jmp32)  in reg_set_min_max()  argument
16086 	regs_refine_cond_op(false_reg1, false_reg2, rev_opcode(opcode), is_jmp32);  in reg_set_min_max()
16091 	regs_refine_cond_op(true_reg1, true_reg2, opcode, is_jmp32);  in reg_set_min_max()
16380 	bool is_jmp32;  in check_cond_jmp_op()  local
16449 	is_jmp32 = BPF_CLASS(insn->code) == BPF_JMP32;  in check_cond_jmp_op()
16450 	pred = is_branch_taken(dst_reg, src_reg, opcode, is_jmp32);  in check_cond_jmp_op()
16517 				      dst_reg, src_reg, opcode, is_jmp32);  in check_cond_jmp_op()
16529 				      opcode, is_jmp32);  in check_cond_jmp_op()
16558 	if (!is_jmp32 && BPF_SRC(insn->code) == BPF_X &&  in check_cond_jmp_op()
16587 	if (!is_jmp32 && BPF_SRC(insn->code) == BPF_K &&  in check_cond_jmp_op()