From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alexei Starovoitov Subject: [PATCH net-next 0/7] bpf: verifier improvements and cleanups Date: Thu, 30 Nov 2017 21:31:34 -0800 Message-ID: <20171201053141.3992592-1-ast@fb.com> Mime-Version: 1.0 Content-Type: text/plain Cc: Daniel Borkmann , John Fastabend , , To: "David S . Miller" Return-path: Received: from mx0b-00082601.pphosted.com ([67.231.153.30]:57604 "EHLO mx0a-00082601.pphosted.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1751404AbdLAFbo (ORCPT ); Fri, 1 Dec 2017 00:31:44 -0500 Received: from pps.filterd (m0001303.ppops.net [127.0.0.1]) by m0001303.ppops.net (8.16.0.21/8.16.0.21) with SMTP id vB15RH6R003017 for ; Thu, 30 Nov 2017 21:31:43 -0800 Received: from mail.thefacebook.com ([199.201.64.23]) by m0001303.ppops.net with ESMTP id 2ejsax9grr-2 (version=TLSv1 cipher=ECDHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Thu, 30 Nov 2017 21:31:43 -0800 Sender: netdev-owner@vger.kernel.org List-ID: 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