From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-pl1-f177.google.com (mail-pl1-f177.google.com [209.85.214.177]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 8513A1ADFFB for ; Mon, 23 Dec 2024 20:18:13 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.214.177 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1734985094; cv=none; b=Z2hLiNzar+kjx5J9bJkMB/ucwoJyi7EYsXE7+6FFrUgjTzRyi2ALNa7i+gGVO1H0SgwkstVl3cs2MnrYaQN5xU4C7RU/hwatiEcjpGKOT9qjXyWEgXrpYFptTgw8LMlylr5efhQZqsIQYA9z79cNSMN/P9ATN/eQuNrgbjtkxlo= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1734985094; c=relaxed/simple; bh=wrEVLh5NeGYoGui5ocbgaJyr9K02aRsPK7qoZ68wF18=; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version: Content-Type:Content-Disposition:In-Reply-To; b=px4y4jLGwXoBV08NLfOk7kWIyWdSDMu0D2gObed6cen/565vYLGs6p2GbXBIOsQ7LLnMIkWqwcxtkik50vnQ2V04TzZvpT+YeuxvUQo8wUO+/qM8DNGxmRVfv6Vdfd0ejsmSyj0GrpPkODpYYyHzIKxmdRvlm9z3IOnpKNi+Ylo= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com; spf=pass smtp.mailfrom=google.com; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b=QBZp4BQ0; arc=none smtp.client-ip=209.85.214.177 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=google.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b="QBZp4BQ0" Received: by mail-pl1-f177.google.com with SMTP id d9443c01a7336-21625b4f978so414415ad.0 for ; Mon, 23 Dec 2024 12:18:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20230601; t=1734985093; x=1735589893; darn=vger.kernel.org; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=/md9RH+lZJRhxwWxoUhNdQcDiOG8BAv89i51DptP/5I=; b=QBZp4BQ09ajvvj1bvSf7Ti4JGYldc98sebSGWrp2HqTIyx5q3QBpl9Qdepray6gI95 RgwAOk6Duj81V02L+w0SzR4xvrXqO4U51CI5HTXu4xnBljdGwa7pQJSAPi9UoWDu+KZ/ 3SLFwKOYcSbQpUrJJPA3HBm35174Eai6lfHkAz1WYwFFtGzoLCpf0IN/v0nhEc80yUzt OYlKOnRd0kCiPIVVRitlEfcXwg3UbqRecZZnJHIuHi1ivNGZjJYwxRPuBDsKsydTacZ+ uCpm51FTwc/qZw/6NP929qY1U3YCGgwJZ07gnrSoJCES/246iywQurhWyCfIBeMj+rNA e6Tw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1734985093; x=1735589893; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=/md9RH+lZJRhxwWxoUhNdQcDiOG8BAv89i51DptP/5I=; b=Y1n3/aUMcb2lKg/39QMRch5vCc1a++BCtlB+Mt3vbI+M1t8w83Jg9sMAlz3Xk/uHci gtMy/1s3LkHGnKbe3VtR7ofT+bVT64bnZDwx2gs6jI4LNtFJsn+ZcpUWqB8hp6emn53M a5jhgXpcarzJjtyOraDbXt0fKoje3woe89ajrpHiQW/gs4e/u8EFs6/4ICFFz73Db9Tg 9zsGbO1vR/BgZZY8fs02kJLVRFzdIdZN/bg/7RUHfDYC1BqHIoP7UgEIzh3RHMou5L+d vdkz1m82+zCUU/HHY0tA0azD6c1n8a+fwhVbwFRW/i8CKxD/rGStV0tLXjKCgEU01qsy 93Bw== X-Forwarded-Encrypted: i=1; AJvYcCWmu8QbUK3mlbmzzK3tuIejwVxbsz4WDxhNaYWcj1DhT6WYImb+A+IPARwH5xCG0Npc+K1Lovz1XMm5lu0=@vger.kernel.org X-Gm-Message-State: AOJu0Yy32VaBUI1EuYP4a36LG3aNS6fpDuXnH6sl5FajmWMMcjCPh3rp RYgwMtx1Acrst0nMaq5B7nc/vMizAtPItMncAROxdZzlXDEHkXc1+u/JM0iXDA== X-Gm-Gg: ASbGncsoeIdKtuI+DRbKh/Krs9yw6PlWfGN3QqCE7OiM/6La8rhqk51HBmv7POxTL8w NaH8urFBhbYFwQ76/uLbeAA0GVISQxg9Zj59WJs0r7ipJRAJpwI33aJ077vEHRqgDb/SbywlMb+ FKL6FM+cQDuw5QXXuXySc1YkQdVAhLwxiTpfq0XRnpUohvMjUN63lTU3UPrAOuGjMGPQugJ46YH RK2EA1pH0mhyjPTsZnxwp2ijqAwJwZw9r+Pg0M7wEq47A1y+2NJsrHpdLGy/VDBbOsbrMafmyet hLWWkKDBu6g9O0xRtsY= X-Google-Smtp-Source: AGHT+IGhY7nMTrXZAk0yGOvrUlQg3Qt4CxYqiCr3gnrdLKSbnhKzPwbfO7ySItkpYbBhTvR9iNWffQ== X-Received: by 2002:a17:902:db03:b0:216:5e53:d055 with SMTP id d9443c01a7336-219e770d02amr6111235ad.9.1734985092625; Mon, 23 Dec 2024 12:18:12 -0800 (PST) Received: from google.com (40.155.125.34.bc.googleusercontent.com. [34.125.155.40]) by smtp.gmail.com with ESMTPSA id d9443c01a7336-219dc972251sm77654385ad.96.2024.12.23.12.18.11 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 23 Dec 2024 12:18:12 -0800 (PST) Date: Mon, 23 Dec 2024 20:18:08 +0000 From: Peilin Ye To: bpf@vger.kernel.org Cc: Alexei Starovoitov , Eduard Zingerman , Song Liu , Yonghong Song , Daniel Borkmann , Andrii Nakryiko , Martin KaFai Lau , John Fastabend , KP Singh , Stanislav Fomichev , Hao Luo , Jiri Olsa , "Paul E. McKenney" , Puranjay Mohan , Xu Kuohai , Catalin Marinas , Will Deacon , Quentin Monnet , Mykola Lysenko , Shuah Khan , Josh Don , Barret Rhoden , Neel Natu , Benjamin Segall , David Vernet , Dave Marchevsky , linux-kernel@vger.kernel.org Subject: Re: [PATCH RFC bpf-next v1 4/4] selftests/bpf: Add selftests for load-acquire and store-release instructions Message-ID: References: <114f23ac20d73eeb624a9677e39a87b766f4bcc2.1734742802.git.yepeilin@google.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <114f23ac20d73eeb624a9677e39a87b766f4bcc2.1734742802.git.yepeilin@google.com> > --- /dev/null > +++ b/tools/testing/selftests/bpf/verifier/atomic_load.c > @@ -0,0 +1,71 @@ > +{ > + "BPF_ATOMIC load-acquire, 8-bit", > + .insns = { > + BPF_MOV64_IMM(BPF_REG_0, 0), > + /* Write 1 to stack. */ ~ /* Write 0x12 to stack. */ ~~~~ > + BPF_ST_MEM(BPF_B, BPF_REG_10, -1, 0x12), > + /* Load-acquire it from stack to R1. */ > + BPF_ATOMIC_OP(BPF_B, BPF_LOAD_ACQ, BPF_REG_1, BPF_REG_10, -1), > + /* Check loaded value is 0x12. */ Will be fixed in the next version. Thanks, Peilin Ye