Received: by 2002:a25:23cc:0:0:0:0:0 with SMTP id j195csp264102ybj; Fri, 8 May 2020 11:14:12 -0700 (PDT) X-Google-Smtp-Source: APiQypIq5JavsV5szI7YsanZbviqVIihbcbGYCi7q1G1a0tYiIuqC2cRiWXvlO0a4ZPz5uKkMggV X-Received: by 2002:a05:6402:8c9:: with SMTP id d9mr3205016edz.357.1588961652174; Fri, 08 May 2020 11:14:12 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1588961652; cv=none; d=google.com; s=arc-20160816; b=ZweV2dPCDi/fHVm+au9gAK25+FE/kGUjhH+UQr+Mwa2p8vxEiqdvWZ+lbidVCgFNdv IwcQp8DEijar1+zKfZtnVv2sgDkIPfRkzkwLmAfPPO6uyani4cEIThqORScA1eRtNSgR sjKIHcjwymUfhjgaEV8y3ioc8Ipe7VAfOEDFhFpVIdUm8yKayl0ato626FwKzC9yzTDT 0e9K5W/1P8dknZtdCn5dM0NS998RRRYKc2lJyOAhDgQaNeX4BS4PVnKPoDgJLSOTHAaY 7G1JKVJ1AZp26XDuqJ/Ryjj6AGuSHBqjeJLXN8GUF+0KAhbJf+GWy2ZIWpIbFprUhdd+ Xaew== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:dkim-signature; bh=wEg6363KALMCBQBSLOKuoUfGPXNIfqB9uH8JLDVOLn8=; b=b9cB5714igU2M0ip5RP+cPjp/4gM4oz3383KEk2eKTOkV7ccSR/ewuMs5ylNg8QYRD qAhBYqWlhkv1gE/3KTSnhbuRozwePw5u4GLxuuoIUPuwnWz+mybt+KExgdMGDwX9bnbJ f5W6W2VuhyJRZTZHBZjmQzLDVuPSEhgn4w9vKcW6bY8jYRt5LzYPaJ08zISRaufjRq/N LWOijXkUXo0TNB05BEyzE/6SuyS1b97Ga9HceHO85sOAYhToOjIoKJ6XUFAT4CbDjFPc 4ySLwMSzo+bUKuF5nxe2N/xJu040TldDXNS1wCdqgdaqFD4JO/YF6vSqvEi3OOD1Y9aK MuHQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="jiGw8gA/"; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id v11si1410076edy.483.2020.05.08.11.13.49; Fri, 08 May 2020 11:14:12 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="jiGw8gA/"; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727785AbgEHSM0 (ORCPT + 99 others); Fri, 8 May 2020 14:12:26 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:54530 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-FAIL-OK-FAIL) by vger.kernel.org with ESMTP id S1726756AbgEHSMZ (ORCPT ); Fri, 8 May 2020 14:12:25 -0400 Received: from mail-wr1-x441.google.com (mail-wr1-x441.google.com [IPv6:2a00:1450:4864:20::441]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 31749C061A0C; Fri, 8 May 2020 11:12:25 -0700 (PDT) Received: by mail-wr1-x441.google.com with SMTP id k1so2965061wrx.4; Fri, 08 May 2020 11:12:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=wEg6363KALMCBQBSLOKuoUfGPXNIfqB9uH8JLDVOLn8=; b=jiGw8gA/+KtDlxEler0Ln+sRm7LZ0ILtePjxlryhRiAgy+Hn1zPTOXFwwA455LXmq5 thSrJhUKnJQBcAYl3wzWZn+6B8ok+d37y+CZbsV47VN3uzanc+KEwvaz9So+sDWrYyPJ z+FfYIzGvDOOQxGCx0O8u5hV1g/S7u0/kWQy/+m4wiGKcECubtCEdnHyzS947HDf+PYh URXcx5SCg1ypxIfGnKD0wHDvo60V6ks30VsZ1JExOfmMrd+nBzyt7lGTFgDLzUwfzfEm e8nkEJr1NgWM/VFqatr4n4e++zyDatXKOIRvVqIyvHCW5rUjWs9raS+lxg4TQm4b4O0G PqGA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=wEg6363KALMCBQBSLOKuoUfGPXNIfqB9uH8JLDVOLn8=; b=tY8lEYGaTZKJ9jdUnkmWGKmS2uYzex9OQEfPceh+w7PlkLGuSD2L7GT1xN1LwQhZBH ZVytWxokukBC5VxVNvnc9SGoIeKIcfUx5475GxEBzcE59Fkj2h1ZmMeizkpUyGFSFVPG DcQDbHEbR22BQbCjE86kULIlp+jnMNADn2Hsbf42xmONxKG0D5pLssqZWWwoRnLZGhVU 3wcLV/iGVih60e+aNlnuWdFDojd/D2uz+1NLmSgMpBpsrJtNiCI5PtppJjNqFO07GvEh Kzm5aFnfnreyV0jBkj95iX54Pn4lURHtU+E7S8aJK0A2hWlkb5k1j67hloR2u4xSeUCw qmrg== X-Gm-Message-State: AGi0PubCZyd37fdGBBSIZZzdS7bgPhbk2jCCr953uiTltG+l0nO4RP8D Ow5CSbuDylUNjXtG9XXPambyVD1BOSv/jsGsAI8= X-Received: by 2002:adf:8401:: with SMTP id 1mr4356440wrf.241.1588961543855; Fri, 08 May 2020 11:12:23 -0700 (PDT) MIME-Version: 1.0 References: <20200507010504.26352-1-luke.r.nels@gmail.com> <20200507010504.26352-2-luke.r.nels@gmail.com> <20200507082934.GA28215@willie-the-truck> <20200507101224.33a44d71@why> <20200508114709.GB16247@willie-the-truck> In-Reply-To: <20200508114709.GB16247@willie-the-truck> From: Luke Nelson Date: Fri, 8 May 2020 11:12:12 -0700 Message-ID: Subject: Re: [RFC PATCH bpf-next 1/3] arm64: insn: Fix two bugs in encoding 32-bit logical immediates To: Will Deacon Cc: Marc Zyngier , Luke Nelson , bpf , Xi Wang , Catalin Marinas , Daniel Borkmann , Alexei Starovoitov , Zi Shen Lim , Martin KaFai Lau , Song Liu , Yonghong Song , Andrii Nakryiko , John Fastabend , KP Singh , Mark Rutland , Greg Kroah-Hartman , Thomas Gleixner , linux-arm-kernel@lists.infradead.org, open list , Networking , clang-built-linux@googlegroups.com Content-Type: text/plain; charset="UTF-8" Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hi Will, On Fri, May 8, 2020 at 4:47 AM Will Deacon wrote: > > Yes, please! And please include Daniel's acks on the BPF changes too. It's a > public holiday here in the UK today, but I can pick this up next week. Thanks! > Nice! Two things: > > (1) I really think you should give a talk on this at a Linux conference That would be great, I'd be happy to give a talk on our verification work some time in the future :) > (2) Did you look at any instruction generation functions other than the > logical immediate encoding function? Other instruction generation functions are on our todo list, but we haven't got a chance to spend more time on them yet. Thanks again, - Luke