16687 				  u8 opcode, bool is_jmp32)  in is_scalar_branch_taken()  argument
16689 	struct tnum t1 = is_jmp32 ? tnum_subreg(reg1->var_off) : reg1->var_off;  in is_scalar_branch_taken()
16690 	struct tnum t2 = is_jmp32 ? tnum_subreg(reg2->var_off) : reg2->var_off;  in is_scalar_branch_taken()
16691 	u64 umin1 = is_jmp32 ? (u64)reg1->u32_min_value : reg1->umin_value;  in is_scalar_branch_taken()
16692 	u64 umax1 = is_jmp32 ? (u64)reg1->u32_max_value : reg1->umax_value;  in is_scalar_branch_taken()
16693 	s64 smin1 = is_jmp32 ? (s64)reg1->s32_min_value : reg1->smin_value;  in is_scalar_branch_taken()
16694 	s64 smax1 = is_jmp32 ? (s64)reg1->s32_max_value : reg1->smax_value;  in is_scalar_branch_taken()
16695 	u64 umin2 = is_jmp32 ? (u64)reg2->u32_min_value : reg2->umin_value;  in is_scalar_branch_taken()
16696 	u64 umax2 = is_jmp32 ? (u64)reg2->u32_max_value : reg2->umax_value;  in is_scalar_branch_taken()
16697 	s64 smin2 = is_jmp32 ? (s64)reg2->s32_min_value : reg2->smin_value;  in is_scalar_branch_taken()
16698 	s64 smax2 = is_jmp32 ? (s64)reg2->s32_max_value : reg2->smax_value;  in is_scalar_branch_taken()
16738 		if (!is_jmp32) {  in is_scalar_branch_taken()
16764 		if (!is_jmp32) {  in is_scalar_branch_taken()
16778 		if (!is_reg_const(reg2, is_jmp32)) {  in is_scalar_branch_taken()
16782 		if (!is_reg_const(reg2, is_jmp32))  in is_scalar_branch_taken()
16911 			   u8 opcode, bool is_jmp32)  in is_branch_taken()  argument
16913 	if (reg_is_pkt_pointer_any(reg1) && reg_is_pkt_pointer_any(reg2) && !is_jmp32)  in is_branch_taken()
16920 		if (!is_reg_const(reg2, is_jmp32)) {  in is_branch_taken()
16925 		if (!is_reg_const(reg2, is_jmp32))  in is_branch_taken()
16934 		val = reg_const_value(reg2, is_jmp32);  in is_branch_taken()
16949 	return is_scalar_branch_taken(reg1, reg2, opcode, is_jmp32);  in is_branch_taken()
16979 				u8 opcode, bool is_jmp32)  in regs_refine_cond_op()  argument
16999 		if (is_jmp32) {  in regs_refine_cond_op()
17027 		if (!is_reg_const(reg2, is_jmp32))  in regs_refine_cond_op()
17029 		if (!is_reg_const(reg2, is_jmp32))  in regs_refine_cond_op()
17035 		val = reg_const_value(reg2, is_jmp32);  in regs_refine_cond_op()
17036 		if (is_jmp32) {  in regs_refine_cond_op()
17066 		if (!is_reg_const(reg2, is_jmp32))  in regs_refine_cond_op()
17068 		if (!is_reg_const(reg2, is_jmp32))  in regs_refine_cond_op()
17070 		val = reg_const_value(reg2, is_jmp32);  in regs_refine_cond_op()
17083 		if (is_jmp32) {  in regs_refine_cond_op()
17091 		if (!is_reg_const(reg2, is_jmp32))  in regs_refine_cond_op()
17093 		if (!is_reg_const(reg2, is_jmp32))  in regs_refine_cond_op()
17095 		val = reg_const_value(reg2, is_jmp32);  in regs_refine_cond_op()
17100 		if (is_jmp32) {  in regs_refine_cond_op()
17108 		if (is_jmp32) {  in regs_refine_cond_op()
17117 		if (is_jmp32) {  in regs_refine_cond_op()
17126 		if (is_jmp32) {  in regs_refine_cond_op()
17135 		if (is_jmp32) {  in regs_refine_cond_op()
17159 			   u8 opcode, bool is_jmp32)  in reg_set_min_max()  argument
17178 	regs_refine_cond_op(false_reg1, false_reg2, rev_opcode(opcode), is_jmp32);  in reg_set_min_max()
17183 	regs_refine_cond_op(true_reg1, true_reg2, opcode, is_jmp32);  in reg_set_min_max()
17495 	bool is_jmp32;  in check_cond_jmp_op()  local
17578 	is_jmp32 = BPF_CLASS(insn->code) == BPF_JMP32;  in check_cond_jmp_op()
17579 	pred = is_branch_taken(dst_reg, src_reg, opcode, is_jmp32);  in check_cond_jmp_op()
17647 				      dst_reg, src_reg, opcode, is_jmp32);  in check_cond_jmp_op()
17659 				      opcode, is_jmp32);  in check_cond_jmp_op()
17690 	if (!is_jmp32 && BPF_SRC(insn->code) == BPF_X &&  in check_cond_jmp_op()
17719 	if (!is_jmp32 && BPF_SRC(insn->code) == BPF_K &&  in check_cond_jmp_op()