From patchwork Wed May 29 09:57:07 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Jiong Wang X-Patchwork-Id: 1107044 Return-Path: X-Original-To: patchwork-incoming-netdev@ozlabs.org Delivered-To: patchwork-incoming-netdev@ozlabs.org Authentication-Results: ozlabs.org; spf=none (mailfrom) smtp.mailfrom=vger.kernel.org (client-ip=209.132.180.67; helo=vger.kernel.org; envelope-from=netdev-owner@vger.kernel.org; receiver=) Authentication-Results: ozlabs.org; dmarc=none (p=none dis=none) header.from=netronome.com Authentication-Results: ozlabs.org; dkim=pass (2048-bit key; unprotected) header.d=netronome-com.20150623.gappssmtp.com header.i=@netronome-com.20150623.gappssmtp.com header.b="tquf3Yp2"; dkim-atps=neutral Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by ozlabs.org (Postfix) with ESMTP id 45DR2n5nD0z9s4V for ; Wed, 29 May 2019 19:57:21 +1000 (AEST) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1726186AbfE2J5U (ORCPT ); Wed, 29 May 2019 05:57:20 -0400 Received: from mail-wm1-f43.google.com ([209.85.128.43]:33640 "EHLO mail-wm1-f43.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1725861AbfE2J5T (ORCPT ); Wed, 29 May 2019 05:57:19 -0400 Received: by mail-wm1-f43.google.com with SMTP id v19so3959325wmh.0 for ; Wed, 29 May 2019 02:57:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=netronome-com.20150623.gappssmtp.com; s=20150623; h=from:to:cc:subject:date:message-id; bh=WtceIj/KY1G89Cy1WuUs0iyj8MQlkaannIjT1i86qC8=; b=tquf3Yp2XDRv0gKp6e6dcHjco4/sfwdojT4JMaNRe1HkvECbwFFWIQgxkD0AzMGl0/ lDMin4ZuGvBd/BJrlXigo3yjL7ZUlRc7lbbHEAP8PpU+RUr37cHg+jndbPlwL21CKFMf eqlwil9dbNIeNnIjcdG+4Fqgz+6KfXvrRzqU/9yfJLaoczwh6fIAGIsNso1Um478qXc6 7VcAD/tT5wMF4pOoXJtP/IafHro9e0qnGK8UTbwq/8f4tcrYz0l6wQ3U/VUbhEQUpXey Dlx8Qv3v5X2ygNc1aIZ92vRPX1UQ5MB5IzQkCko8/hsAvevxrRgQQ2HdRMU5X6fpXc1j kc7g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id; bh=WtceIj/KY1G89Cy1WuUs0iyj8MQlkaannIjT1i86qC8=; b=Uk+Z1nNh6ZVCS76G1eLwN1KhbRTiQIICMwrRqZVht7TAfo7DteWOnAVmqEv1OBIL6O 0KDgn3tOYtk9WMWtk18uNNi4G6w9yFpLdWqplhAJTg8O4/zmR10yePCgayqUMA/XA7Tg nQaQquuJVrjf+nkotl/7EkDDvS/UfJIPJNmWSUSuKaC3onJgmVHWuggLYk/Gj/V5BSwH Uch+dn457a+8KdZ9nIda2fzLUIQnwyKpV2/M4UYKoZs7KoS21bcw0J6ooN4Ee0uwJuxL iv7hzw5IEU2nrJ5CqxZSa3HqM1orv8dOxN4V9P6HqpL2tyixLA4hLga/7yRRPl5CYSrC gnFw== X-Gm-Message-State: APjAAAVS3lkylWd8Ibf5kTow50N+m7iMjudbxv1sPrEE4sfWTzNzKlG0 F6BgPP4KoPXCUyAljdL/Q6pNwQ== X-Google-Smtp-Source: APXvYqxUaZf66I3CHwHxyakct1m9Y9764nP797GZiAuiK1708akn0V7lDzhf1lqhQFzXizmcfRlbcQ== X-Received: by 2002:a7b:ca43:: with SMTP id m3mr6500572wml.45.1559123838302; Wed, 29 May 2019 02:57:18 -0700 (PDT) Received: from cbtest28.netronome.com ([217.38.71.146]) by smtp.gmail.com with ESMTPSA id 205sm6322206wmd.43.2019.05.29.02.57.17 (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Wed, 29 May 2019 02:57:17 -0700 (PDT) From: Jiong Wang To: alexei.starovoitov@gmail.com, daniel@iogearbox.net Cc: bjorn.topel@intel.com, bpf@vger.kernel.org, netdev@vger.kernel.org, oss-drivers@netronome.com, Jiong Wang Subject: [PATCH bpf 0/2] selftests: bpf: more sub-register zero extension unit tests Date: Wed, 29 May 2019 10:57:07 +0100 Message-Id: <1559123829-9318-1-git-send-email-jiong.wang@netronome.com> X-Mailer: git-send-email 2.7.4 Sender: netdev-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: netdev@vger.kernel.org JIT back-ends need to guarantee high 32-bit cleared whenever one eBPF insn write low 32-bit sub-register only. It is possible that some JIT back-ends have failed doing this and are silently generating wrong image. This set completes the unit tests, so bug on this could be exposed. Jiong Wang (2): selftests: bpf: move sub-register zero extension checks into subreg.c selftests: bpf: complete sub-register zero extension checks tools/testing/selftests/bpf/verifier/basic_instr.c | 39 -- tools/testing/selftests/bpf/verifier/subreg.c | 533 +++++++++++++++++++++ 2 files changed, 533 insertions(+), 39 deletions(-) create mode 100644 tools/testing/selftests/bpf/verifier/subreg.c