5186 			   bool is_jmp32)  in is_branch_taken()  argument
5194 	if (is_jmp32) {  in is_branch_taken()
5327 			    u8 opcode, bool is_jmp32)  in reg_set_min_max()  argument
5340 	val = is_jmp32 ? (u32)val : val;  in reg_set_min_max()
5341 	sval = is_jmp32 ? (s64)(s32)val : (s64)val;  in reg_set_min_max()
5354 		if (is_jmp32) {  in reg_set_min_max()
5378 		if (is_jmp32) {  in reg_set_min_max()
5395 		if (is_jmp32 && !cmp_val_with_extended_s64(sval, false_reg))  in reg_set_min_max()
5407 		if (is_jmp32) {  in reg_set_min_max()
5421 		if (is_jmp32 && !cmp_val_with_extended_s64(sval, false_reg))  in reg_set_min_max()
5449 				u8 opcode, bool is_jmp32)  in reg_set_min_max_inv()  argument
5456 	val = is_jmp32 ? (u32)val : val;  in reg_set_min_max_inv()
5457 	sval = is_jmp32 ? (s64)(s32)val : (s64)val;  in reg_set_min_max_inv()
5466 		if (is_jmp32) {  in reg_set_min_max_inv()
5490 		if (is_jmp32) {  in reg_set_min_max_inv()
5504 		if (is_jmp32 && !cmp_val_with_extended_s64(sval, false_reg))  in reg_set_min_max_inv()
5516 		if (is_jmp32) {  in reg_set_min_max_inv()
5530 		if (is_jmp32 && !cmp_val_with_extended_s64(sval, false_reg))  in reg_set_min_max_inv()
5797 	bool is_jmp32;  in check_cond_jmp_op()  local
5837 	is_jmp32 = BPF_CLASS(insn->code) == BPF_JMP32;  in check_cond_jmp_op()
5841 				       opcode, is_jmp32);  in check_cond_jmp_op()
5845 				       opcode, is_jmp32);  in check_cond_jmp_op()
5891 			    (is_jmp32 && tnum_is_const(src_lo->var_off)))  in check_cond_jmp_op()
5894 						is_jmp32  in check_cond_jmp_op()
5897 						opcode, is_jmp32);  in check_cond_jmp_op()
5899 				 (is_jmp32 && tnum_is_const(dst_lo->var_off)))  in check_cond_jmp_op()
5902 						    is_jmp32  in check_cond_jmp_op()
5905 						    opcode, is_jmp32);  in check_cond_jmp_op()
5906 			else if (!is_jmp32 &&  in check_cond_jmp_op()
5915 					dst_reg, insn->imm, opcode, is_jmp32);  in check_cond_jmp_op()
5922 	if (!is_jmp32 && BPF_SRC(insn->code) == BPF_K &&  in check_cond_jmp_op()