kernel/bpf/verifier.c

14445 				  u8 opcode, bool is_jmp32)
14447 	struct tnum t1 = is_jmp32 ? tnum_subreg(reg1->var_off) : reg1->var_off;
14448 	struct tnum t2 = is_jmp32 ? tnum_subreg(reg2->var_off) : reg2->var_off;
14449 	u64 umin1 = is_jmp32 ? (u64)reg1->u32_min_value : reg1->umin_value;
14450 	u64 umax1 = is_jmp32 ? (u64)reg1->u32_max_value : reg1->umax_value;
14451 	s64 smin1 = is_jmp32 ? (s64)reg1->s32_min_value : reg1->smin_value;
14452 	s64 smax1 = is_jmp32 ? (s64)reg1->s32_max_value : reg1->smax_value;
14453 	u64 umin2 = is_jmp32 ? (u64)reg2->u32_min_value : reg2->umin_value;
14454 	u64 umax2 = is_jmp32 ? (u64)reg2->u32_max_value : reg2->umax_value;
14455 	s64 smin2 = is_jmp32 ? (s64)reg2->s32_min_value : reg2->smin_value;
14456 	s64 smax2 = is_jmp32 ? (s64)reg2->s32_max_value : reg2->smax_value;
14470 		if (!is_jmp32) {
14494 		if (!is_jmp32) {
14508 		if (!is_reg_const(reg2, is_jmp32)) {
14512 		if (!is_reg_const(reg2, is_jmp32))
14641 			   u8 opcode, bool is_jmp32)
14643 	if (reg_is_pkt_pointer_any(reg1) && reg_is_pkt_pointer_any(reg2) && !is_jmp32)
14650 		if (!is_reg_const(reg2, is_jmp32)) {
14655 		if (!is_reg_const(reg2, is_jmp32))
14664 		val = reg_const_value(reg2, is_jmp32);
14679 	return is_scalar_branch_taken(reg1, reg2, opcode, is_jmp32);
14709 				u8 opcode, bool is_jmp32)
14729 		if (is_jmp32) {
14757 		if (!is_reg_const(reg2, is_jmp32))
14759 		if (!is_reg_const(reg2, is_jmp32))
14765 		val = reg_const_value(reg2, is_jmp32);
14766 		if (is_jmp32) {
14796 		if (!is_reg_const(reg2, is_jmp32))
14798 		if (!is_reg_const(reg2, is_jmp32))
14800 		val = reg_const_value(reg2, is_jmp32);
14813 		if (is_jmp32) {
14821 		if (!is_reg_const(reg2, is_jmp32))
14823 		if (!is_reg_const(reg2, is_jmp32))
14825 		val = reg_const_value(reg2, is_jmp32);
14826 		if (is_jmp32) {
14834 		if (is_jmp32) {
14843 		if (is_jmp32) {
14852 		if (is_jmp32) {
14861 		if (is_jmp32) {
14885 			   u8 opcode, bool is_jmp32)
14897 	regs_refine_cond_op(false_reg1, false_reg2, rev_opcode(opcode), is_jmp32);
14902 	regs_refine_cond_op(true_reg1, true_reg2, opcode, is_jmp32);
15110 	bool is_jmp32;
15179 	is_jmp32 = BPF_CLASS(insn->code) == BPF_JMP32;
15180 	pred = is_branch_taken(dst_reg, src_reg, opcode, is_jmp32);
15232 				      dst_reg, src_reg, opcode, is_jmp32);
15238 				      opcode, is_jmp32);
15267 	if (!is_jmp32 && BPF_SRC(insn->code) == BPF_X &&
15296 	if (!is_jmp32 && BPF_SRC(insn->code) == BPF_K &&