{"id":2219290,"url":"http://patchwork.ozlabs.org/api/covers/2219290/?format=json","web_url":"http://patchwork.ozlabs.org/project/netfilter-devel/cover/20260402184320.14862-1-phil@nwl.cc/","project":{"id":26,"url":"http://patchwork.ozlabs.org/api/projects/26/?format=json","name":"Netfilter Development","link_name":"netfilter-devel","list_id":"netfilter-devel.vger.kernel.org","list_email":"netfilter-devel@vger.kernel.org","web_url":null,"scm_url":null,"webscm_url":null,"list_archive_url":"","list_archive_url_format":"","commit_url_format":""},"msgid":"<20260402184320.14862-1-phil@nwl.cc>","list_archive_url":null,"date":"2026-04-02T18:43:18","name":"[nft,0/2] A bit of non-constant binop follow-up","submitter":{"id":4285,"url":"http://patchwork.ozlabs.org/api/people/4285/?format=json","name":"Phil Sutter","email":"phil@nwl.cc"},"mbox":"http://patchwork.ozlabs.org/project/netfilter-devel/cover/20260402184320.14862-1-phil@nwl.cc/mbox/","series":[{"id":498540,"url":"http://patchwork.ozlabs.org/api/series/498540/?format=json","web_url":"http://patchwork.ozlabs.org/project/netfilter-devel/list/?series=498540","date":"2026-04-02T18:43:20","name":"A bit of non-constant binop follow-up","version":1,"mbox":"http://patchwork.ozlabs.org/series/498540/mbox/"}],"comments":"http://patchwork.ozlabs.org/api/covers/2219290/comments/","headers":{"Return-Path":"\n ","X-Original-To":["incoming@patchwork.ozlabs.org","netfilter-devel@vger.kernel.org"],"Delivered-To":"patchwork-incoming@legolas.ozlabs.org","Authentication-Results":["legolas.ozlabs.org;\n\tdkim=fail reason=\"signature verification failed\" (2048-bit key;\n unprotected) header.d=nwl.cc header.i=@nwl.cc header.a=rsa-sha256\n header.s=mail2022 header.b=Y4dBwfHu;\n\tdkim-atps=neutral","legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=vger.kernel.org\n (client-ip=2600:3c09:e001:a7::12fc:5321; helo=sto.lore.kernel.org;\n envelope-from=netfilter-devel+bounces-11592-incoming=patchwork.ozlabs.org@vger.kernel.org;\n receiver=patchwork.ozlabs.org)","smtp.subspace.kernel.org;\n\tdkim=fail reason=\"signature verification failed\" (2048-bit key)\n header.d=nwl.cc header.i=@nwl.cc header.b=\"Y4dBwfHu\"","smtp.subspace.kernel.org;\n arc=none smtp.client-ip=151.80.46.58","smtp.subspace.kernel.org;\n dmarc=none (p=none dis=none) header.from=nwl.cc","smtp.subspace.kernel.org;\n spf=pass smtp.mailfrom=nwl.cc","mail.nwl.cc;\n\tiprev=pass (localhost) smtp.remote-ip=::1"],"Received":["from sto.lore.kernel.org (sto.lore.kernel.org\n [IPv6:2600:3c09:e001:a7::12fc:5321])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4fmrPl4HYsz1yGH\n\tfor ; Fri, 03 Apr 2026 05:44:59 +1100 (AEDT)","from smtp.subspace.kernel.org (conduit.subspace.kernel.org\n [100.90.174.1])\n\tby sto.lore.kernel.org (Postfix) with ESMTP id 244AB3066719\n\tfor ; Thu, 2 Apr 2026 18:43:38 +0000 (UTC)","from localhost.localdomain (localhost.localdomain [127.0.0.1])\n\tby smtp.subspace.kernel.org (Postfix) with ESMTP id 66E043D3012;\n\tThu, 2 Apr 2026 18:43:33 +0000 (UTC)","from orbyte.nwl.cc (orbyte.nwl.cc [151.80.46.58])\n\t(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))\n\t(No client certificate requested)\n\tby smtp.subspace.kernel.org (Postfix) with ESMTPS id 6CB6D3E51F8\n\tfor ; Thu, 2 Apr 2026 18:43:28 +0000 (UTC)","from localhost ([::1] helo=xic)\n\tby orbyte.nwl.cc with esmtp (Exim 4.98.2)\n\t(envelope-from )\n\tid 1w8N0o-000000005oh-0yik;\n\tThu, 02 Apr 2026 20:43:26 +0200"],"ARC-Seal":"i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116;\n\tt=1775155412; cv=none;\n b=OcZ+dR1VS47Kf/QEgmLn5HqTYSI4+XPBjrd88YSdVAAs/5hWW+mjD3/YHzxA0eoNf/8RVilz3jGiARE7jIWYNiOLlPSt00nQXjI/9ASpDaIq7y41DcbEcUTjoqLKp44NHsAVuTSt2UxGEpNA7U1lTd9IsCE1KCQc/zkQQ0OphPs=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=subspace.kernel.org;\n\ts=arc-20240116; t=1775155412; c=relaxed/simple;\n\tbh=lBu0NuucJgA3rJeOjlA39DKhlMdmM15HMbce4yL1gH4=;\n\th=From:To:Cc:Subject:Date:Message-ID:MIME-Version;\n b=lNBCypY9myKTmdlEa1wDR73rkF895FAXaMJVFsiktcM9meuDmynJ5yz11V2K9Gn6gm7mLFC90+bs39TEtx1DhU0Wu7ukJI22y9J0zhca5a4/NjDUilejuXiuxK5fENFHEKlvq5LCca2w7UUHwsPtPmfJhu+nLH01NUVYmt6KDjw=","ARC-Authentication-Results":"i=1; smtp.subspace.kernel.org;\n dmarc=none (p=none dis=none) header.from=nwl.cc;\n spf=pass smtp.mailfrom=nwl.cc;\n dkim=pass (2048-bit key) header.d=nwl.cc header.i=@nwl.cc header.b=Y4dBwfHu;\n arc=none smtp.client-ip=151.80.46.58","DKIM-Signature":"v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=nwl.cc;\n\ts=mail2022; h=Content-Transfer-Encoding:MIME-Version:Message-ID:Date:Subject:\n\tCc:To:From:Sender:Reply-To:Content-Type:Content-ID:Content-Description:\n\tResent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:\n\tIn-Reply-To:References:List-Id:List-Help:List-Unsubscribe:List-Subscribe:\n\tList-Post:List-Owner:List-Archive;\n\tbh=5S/EDGRqNBpqY0K8xxDNyiaQgBNzr7VdyptEAqJDIbg=; b=Y4dBwfHuK5gk1l5Gxi5DUHlLsl\n\tEUt3/gQ5HkShCEYo8SqHBehU3/8Ir8jpTyn5IkCsiorhb06nY05aruGDdc2lyrzlENS/5aOunX4NI\n\t8RAgp1vF9AyStRsCW/M1mAAKEUILcoOz+gcEMTfpfhZLvB9T6dg16rfkJ6VbeAPcFGvFFuDZkkLhh\n\tTlyW2HYd17zFKGsjGN5W8a7c5w5qD8eQLDXTAFQA3Lf/EdGNsXdWmnvwgbpyQBvo8zPgYGw0iRNVV\n\tb0Y889Ng+HTTmywZ92nJ2PTxRPzhro/4aFMnwZdcHlHw7mKA8iFyBNQM3k9x7K39Bx8cigPewJhEr\n\tTPJiCKOQ==;","From":"Phil Sutter ","To":"Pablo Neira Ayuso ","Cc":"netfilter-devel@vger.kernel.org,\n\tDion Bosschieter ","Subject":"[nft PATCH 0/2] A bit of non-constant binop follow-up","Date":"Thu, 2 Apr 2026 20:43:18 +0200","Message-ID":"<20260402184320.14862-1-phil@nwl.cc>","X-Mailer":"git-send-email 2.51.0","Precedence":"bulk","X-Mailing-List":"netfilter-devel@vger.kernel.org","List-Id":"","List-Subscribe":"","List-Unsubscribe":"","MIME-Version":"1.0","Content-Transfer-Encoding":"8bit"},"content":"When asked about how to translate ebtables' --arp-gratuitous match, I\nnoticed that basically everything is there already but the parser\nrejects it.\n\nWhile we can't do a simple 'arp saddr ip == arp daddr ip' because cmp\nexpression requires for one side of the equation to be constant, using\nXOR on LHS we can work around this limitation:\n\narp saddr ip ^ arp daddr ip == 0.0.0.0\n\nThanks to Jeremy's work on bitwise expression (which one might want to\nrepeat for cmp), the above is possible in VM code:\n\n[ payload load 4b @ network header + 14 => reg 1 ]\n[ payload load 4b @ network header + 24 => reg 2 ]\n[ bitwise reg 1 = ( reg 1 ^ reg 2 ) ]\n[ cmp eq reg 1 0x00000000 ]\n\nPatch 2 of this series relaxes the parser so it accepts the input.\nBasically it undoes an old workaround needed before we introduced start\nconditions.\n\nPatch 1 removes a similar restriction in JSON parser. It is needed at\nleast to accept the JSON equivalent of above match (conversion to JSON\non output was already correct).\n\nPhil Sutter (2):\n parser_json: Accept non-RHS expressions in binop RHS\n parser_bison: Accept non-constant binop on LHS of relationals\n\n doc/payload-expression.txt | 6 ++++\n src/parser_bison.y | 16 +++++-----\n src/parser_json.c | 2 +-\n src/scanner.l | 2 +-\n tests/py/arp/arp.t | 4 +++\n tests/py/arp/arp.t.json | 51 +++++++++++++++++++++++++++++++\n tests/py/arp/arp.t.payload | 14 +++++++++\n tests/py/arp/arp.t.payload.netdev | 18 +++++++++++\n 8 files changed, 104 insertions(+), 9 deletions(-)"}