d028f87517d6 ("bpf: make the verifier tracks the "not equal" for regs")
67420501e868 ("bpf: generalize reg_set_min_max() to handle non-const register comparisons")
4621202adc5b ("bpf: generalize reg_set_min_max() to handle two sets of two registers")
811476e9cc57 ("bpf: prepare reg_set_min_max for second set of registers")
4d345887d2e5 ("bpf: unify 32-bit and 64-bit is_branch_taken logic")
c697289efe4e ("bpf: move is_branch_taken() down")
c31534267c18 ("bpf: generalize is_branch_taken() to work with two registers")
c2a3ab094683 ("bpf: rename is_branch_taken reg arguments to prepare for the second one")
9e314f5d8682 ("bpf: drop knowledge-losing __reg_combine_{32,64}_into_{64,32} logic")
42d31dd601fa ("bpf: Improve JEQ/JNE branch taken logic")
51302c951c8f ("bpf: Teach verifier that trusted PTR_TO_BTF_ID pointers are non-NULL")
1cf3bfc60f98 ("bpf: Support 64-bit pointers to kfuncs")
953d9f5beaf7 ("bpf: Improve handling of pattern '<const> <cond_op> <non_const>' in verifier")
13fbcee55706 ("bpf: Improve verifier JEQ/JNE insn branch taken checking")
b14a702afd0d ("selftests/bpf: verifier/bounds_mix_sign_unsign.c converted to inline assembly")
7605f94b3492 ("selftests/bpf: verifier/bounds_deduction.c converted to inline assembly")
0ccbe4956d6c ("selftests/bpf: verifier/basic_stack.c converted to inline assembly")
a3c830ae0209 ("selftests/bpf: verifier/array_access.c converted to inline assembly")
9d0f1568ad5b ("selftests/bpf: verifier/and.c converted to inline assembly")
55108621a35e ("selftests/bpf: prog_tests entry point for migrated test_verifier tests")