bpf: verifier improvements and cleanups

Small set of verifier improvements and cleanups which is necessary for bigger patch set of bpf-to-bpf calls coming later. See individual patches for details.
Tested on x86 and arm64 hw.

Alexei Starovoitov (7):
bpf: fix stack state printing in verifier log
bpf: print liveness info to verifier log
bpf: don't mark FP reg as uninit
bpf: improve verifier liveness marks
bpf: improve JEQ/JNE path walking
bpf: cleanup register_is_null() selftests/bpf: adjust test_align expected output

 kernel/bpf/verifier.c                    |  62 ++++++++----
 tools/testing/selftests/bpf/test_align.c | 156 +++++++++++++++----------------
 2 files changed, 120 insertions(+), 98 deletions(-)

2.9.5