From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 22CE347DF82 for ; Wed, 3 Jun 2026 15:24:51 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=170.10.133.124 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1780500292; cv=none; b=qH6Ut3kgrO8ZpqeI0M/K1uqzf8REw6Znlazlql2xKEJ298FRvs/jdiP09G10gHJT9xcMI6aFGesVL+TLVbfPvlpaUXOUlBOyrNzyizDH/TD4emsRm2TQWvOpmubQgPLRlS+Kf4Uxp5tR98T/ah/uagI7gvTL3tzkNpFgqQNfWXs= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1780500292; c=relaxed/simple; bh=YkQ13q4TeFpODaLrrkHa03RpcxboXaYGW8+IKDDNU/s=; h=Message-ID:Subject:From:To:Date:In-Reply-To:References: Content-Type:MIME-Version; b=SslyU3UTbtLKj2zFtGvA3uX9S34vUQXbKWrCY5iT25lgH/0mv2phpvajYwkPW9z2LG87gUaMg4bv2pTXDWmOIE9+FJYx/m4dZZn9pmSifYpcTM9Ap11t/b9WJ6RCiE5byqyVRpPW/aiykM909aiLCcSu0wk/TOwPwM1JPi+UIAo= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com; spf=pass smtp.mailfrom=redhat.com; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b=YXsqr52M; dkim=pass (2048-bit key) header.d=redhat.com header.i=@redhat.com header.b=oi77yinw; arc=none smtp.client-ip=170.10.133.124 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=redhat.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b="YXsqr52M"; dkim=pass (2048-bit key) header.d=redhat.com header.i=@redhat.com header.b="oi77yinw" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1780500290; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=YkQ13q4TeFpODaLrrkHa03RpcxboXaYGW8+IKDDNU/s=; b=YXsqr52MYGNFzrhYznmdpocH1RsX1zTgd74sMGq1NIThaX2jLIkupVGfHyH3umx6o1xXr9 VOgL9EXkJVMNTzdsLOLJtaAVflsZH2/mPjLI1v9v9aXfD5fFc9hBz2hgMsNXqLDr0x/Psy n1b+D3oCeBazWATjsXLDluDA3jlnw6g= Received: from mail-wm1-f70.google.com (mail-wm1-f70.google.com [209.85.128.70]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-460-2ZkmU-4kNXu0dwFtPcmgyg-1; Wed, 03 Jun 2026 11:24:49 -0400 X-MC-Unique: 2ZkmU-4kNXu0dwFtPcmgyg-1 X-Mimecast-MFC-AGG-ID: 2ZkmU-4kNXu0dwFtPcmgyg_1780500287 Received: by mail-wm1-f70.google.com with SMTP id 5b1f17b1804b1-490abeb7298so30368455e9.2 for ; Wed, 03 Jun 2026 08:24:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=google; t=1780500287; x=1781105087; darn=vger.kernel.org; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:from:to:cc:subject:date :message-id:reply-to; bh=YkQ13q4TeFpODaLrrkHa03RpcxboXaYGW8+IKDDNU/s=; b=oi77yinwLBk/ozeOlm+cwrsNHrlLNkXbVP9LNIBEfkTfF6gsjcmnH6PAcMndRoaV7I D8Kgc6cTMbhyDWR5B1HxuIMAbS8QVUTdypobhivsvThxsFntKma2fZfHYwMa1L5AVG54 Hz/HTrTsZ1NY3gvXn9ht9aFGTKcre3ioCg8l1eR3B3Qp00++/8fcGkM7LPb4Fr4ejEfP /XcDLAK+KXnCiF0F7GliFoRhZzAMxMGwq7cbxym0kkqDjXvna81noKwQfazmEiPC6OWU rRmFi7xfAW2eRKuga9xuXMn802UIo33CCVjtX3Bfkk0ytJj1WWSk0GLkJS6Uibz7UnfE RwXA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1780500287; x=1781105087; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=YkQ13q4TeFpODaLrrkHa03RpcxboXaYGW8+IKDDNU/s=; b=CRaomfay059ESpU6eCnjAQhtE+KRym7ySwxnZlVMJlFBTEBYqb/ShfsyvyrB8jaX+/ 4ZfsQfj2C0z2fX6tevqdA3GL4/uJ0ovE4pHl20L4c0IxAkQf4WT85DUMajpTCzmuDZ3v 91T5x1UV0WzgVnSNhhdR6ELhTBrQj4bySkpQE/cKn6r1tA5EBumQZtptfgqF8GTo2xsE xO63PAJI5wwmy3p2ulCzI9/MxqbS44vrbb2keocysiBsDGn7ebvnCqYs+NIThnxLAP+M znaZ/7H4ZP1bEPmZGCrIBACxb+5DRbLuiKSmjtfBLqCtls7d9enulfiwu8bgbZYdXIwH dqTA== X-Forwarded-Encrypted: i=1; AFNElJ/pyYquzras9en6Hg4qrNQRtDOZE9YjeKqEQ3CJ3N9jxDZK9qBskJN6jyoKCKtgjKL99tdFVDwZLF1RGDc=@vger.kernel.org X-Gm-Message-State: AOJu0YygYpq9d2JMtv9xFstSb5rAq83Gf9shyCjUAOOSG4w2qiuuAa2J UERWKyI6Au7jl3ywWE36zLLJd0nLTAn8h9HnXcZU64SZkNY+7LJ2pP6UpFpiRKMmpOFkn7MHG50 OM6mBDnwOvDslBE9aCsUF6qc9kyedec0p5YUh21NVCzxJCheVuGB+UJMuqFMaHlllcw== X-Gm-Gg: Acq92OG+6lDHH2gZdT8twXbywnBKZJ5+d2jTeeYSDPJeoRrPv65AEz+FPIE2S+uHTiI yF0QTNzHJQqvgPbm4qZ0aNiNlzMTAHKew6WCb+cipW4AJ5L/IbeTnX2EBT7DBrGW3gKMOhfsgh2 0bXWJnZDp2oBovG4/sk5sktRi2eVo0FEEowvFDjsQjceyGuXWV7z+dWdLzbBceT8ic6k2q3SyRp B/5jXOEtyYm9O+SBl74vG9jlVFOx0+s1aqOTLBiZkRII8TzZZMgKE1vapxJfMmnJumdPY7Ak6t6 wy2SmbHR40SEffyV4o3gszvqmgLPJ/S1m1aFhUe1i556fwkpjn8Pcqgl8r1Sr/u78NveEyXkLOa AMSQq7ttKUffqNfZwkKSbuVihfm5FY6/v6VoZ X-Received: by 2002:a05:600c:5288:b0:48a:906b:14ca with SMTP id 5b1f17b1804b1-490b5ec3ed8mr63197915e9.20.1780500286737; Wed, 03 Jun 2026 08:24:46 -0700 (PDT) X-Received: by 2002:a05:600c:5288:b0:48a:906b:14ca with SMTP id 5b1f17b1804b1-490b5ec3ed8mr63197445e9.20.1780500286383; Wed, 03 Jun 2026 08:24:46 -0700 (PDT) Received: from [192.168.1.167] ([185.168.96.228]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-490b6d16f0csm70928445e9.15.2026.06.03.08.24.45 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 03 Jun 2026 08:24:45 -0700 (PDT) Message-ID: <2cebee30d54bf5ac7bc963396d0ce80cfa8428f9.camel@redhat.com> Subject: Re: [PATCH v2 05/13] verification/rvgen: Convert __fill_setup_invariants_func() to Lark From: Gabriele Monaco To: Nam Cao , Wander Lairson Costa , Steven Rostedt , linux-trace-kernel@vger.kernel.org, linux-kernel@vger.kernel.org Date: Wed, 03 Jun 2026 17:24:44 +0200 In-Reply-To: <0b2cf5e1bb03d0e3a667b0fc2c7093123ef0a78c.1779956342.git.namcao@linutronix.de> References: <0b2cf5e1bb03d0e3a667b0fc2c7093123ef0a78c.1779956342.git.namcao@linutronix.de> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: base64 User-Agent: Evolution 3.60.1 (3.60.1-1.fc44) Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 T24gVGh1LCAyMDI2LTA1LTI4IGF0IDEwOjI3ICswMjAwLCBOYW0gQ2FvIHdyb3RlOgo+IFByZXBh cmUgZm9yIHNlbGYuaW52YXJpYW50cyBhbmQgX19wYXJzZV9jb25zdHJhaW50cygpIHRvIGJlIHJl bW92ZWQuCj4gY29udmVydCBfX2ZpbGxfc2V0dXBfaW52YXJpYW50c19mdW5jKCkgdG8gdXNlIHRo ZSBuZXcgcGFyc2VkIHN0YXRlcwo+IGZyb20gTGFyay4KPiAKPiBTaWduZWQtb2ZmLWJ5OiBOYW0g Q2FvIDxuYW1jYW9AbGludXRyb25peC5kZT4KPiAtLS0KClJldmlld2VkLWJ5OiBHYWJyaWVsZSBN b25hY28gPGdtb25hY29AcmVkaGF0LmNvbT4KCj4gdjI6IGFkZCBtaXNzaW5nIHRpbWUgY29udmVy c2lvbiBbU2FzaGlrb10KPiAtLS0KPiDCoHRvb2xzL3ZlcmlmaWNhdGlvbi9ydmdlbi9ydmdlbi9k b3Qyay5weSB8IDQ0ICsrKysrKysrKysrKysrKysrKysrLS0tCj4gLS0KPiDCoDEgZmlsZSBjaGFu Z2VkLCAzNSBpbnNlcnRpb25zKCspLCA5IGRlbGV0aW9ucygtKQo+IAo+IGRpZmYgLS1naXQgYS90 b29scy92ZXJpZmljYXRpb24vcnZnZW4vcnZnZW4vZG90MmsucHkKPiBiL3Rvb2xzL3ZlcmlmaWNh dGlvbi9ydmdlbi9ydmdlbi9kb3Qyay5weQo+IGluZGV4IGEzNDRjYmJjYjM0Ni4uZDlmOGUxYzc3 MzdhIDEwMDY0NAo+IC0tLSBhL3Rvb2xzL3ZlcmlmaWNhdGlvbi9ydmdlbi9ydmdlbi9kb3Qyay5w eQo+ICsrKyBiL3Rvb2xzL3ZlcmlmaWNhdGlvbi9ydmdlbi9ydmdlbi9kb3Qyay5weQo+IEBAIC0y NTAsNiArMjUwLDI2IEBAIGNsYXNzIGhhMmsoZG90MmspOgo+IMKgwqDCoMKgwqDCoMKgwqAgcmV0 dXJuIChmImhhX3N0YXJ0X3RpbWVyX3tjbG9ja190eXBlfShoYV9tb24sCj4ge3J1bGVbImVudiJd fXtzZWxmLmVudW1fc3VmZml4fSwiCj4gwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAg ZiIge3ZhbHVlfSwgdGltZV9ucykiKQo+IMKgCj4gK8KgwqDCoCBkZWYgX19wYXJzZV9pbnZhcmlh bnQoc2VsZiwgaW52KToKPiArwqDCoMKgwqDCoMKgwqAgIyBieSBkZWZhdWx0IGFzc3VtZSB0aGUg dGltZXIgaGFzIG5zIGV4cGlyYXRpb24KPiArwqDCoMKgwqDCoMKgwqAgY2xvY2tfdHlwZSA9ICJu cyIKPiArwqDCoMKgwqDCoMKgwqAgaWYgaW52LnVuaXQgPT0gImoiOgo+ICvCoMKgwqDCoMKgwqDC oMKgwqDCoMKgIGNsb2NrX3R5cGUgPSAiamlmZnkiCj4gKwo+ICvCoMKgwqDCoMKgwqDCoCBlbnYg PSBpbnYuZW52ICsgc2VsZi5lbnVtX3N1ZmZpeAo+ICvCoMKgwqDCoMKgwqDCoCB2YWwgPSBpbnYu dmFsLnJlcGxhY2UoIigpIiwgIihoYV9tb24pIikKPiArCj4gK8KgwqDCoMKgwqDCoMKgIG1hdGNo IGludi51bml0Ogo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIGNhc2UgInVzIjoKPiArwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIHZhbCAqPSAxMCoqMwo+ICvCoMKgwqDCoMKgwqDCoMKg wqDCoMKgIGNhc2UgIm1zIjoKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIHZhbCAq PSAxMCoqNgo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIGNhc2UgInMiOgo+ICvCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqAgdmFsICo9IDEwKio5Cj4gKwo+ICvCoMKgwqDCoMKgwqDCoCBy ZXR1cm4gKGYiaGFfc3RhcnRfdGltZXJfe2Nsb2NrX3R5cGV9KGhhX21vbiwge2Vudn0sIgo+ICvC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgZiIge3ZhbH0sIHRpbWVfbnMpIikKPiArCj4g wqDCoMKgwqAgZGVmIF9fZm9ybWF0X2d1YXJkX3J1bGVzKHNlbGYsIHJ1bGVzOiBsaXN0W3N0cl0p IC0+IGxpc3Rbc3RyXToKPiDCoMKgwqDCoMKgwqDCoMKgICIiIgo+IMKgwqDCoMKgwqDCoMKgwqAg TWVyZ2UgZ3VhcmQgY29uc3RyYWludHMgYXMgYSBzaW5nbGUgQyByZXR1cm4gc3RhdGVtZW50Lgo+ IEBAIC00NjMsMTUgKzQ4MywxNCBAQCBmIiIic3RhdGljIGlubGluZSBib29sIGhhX3ZlcmlmeV9n dWFyZHMoc3RydWN0Cj4gaGFfbW9uaXRvciAqaGFfbW9uLAo+IMKgwqDCoMKgwqDCoMKgwqAgcmV0 dXJuIGNvbmZsaWN0X2d1YXJkcywgY29uZmxpY3RfaW52cwo+IMKgCj4gwqDCoMKgwqAgZGVmIF9f ZmlsbF9zZXR1cF9pbnZhcmlhbnRzX2Z1bmMoc2VsZikgLT4gbGlzdFtzdHJdOgo+IC3CoMKgwqDC oMKgwqDCoCBidWZmID0gW10KPiAtwqDCoMKgwqDCoMKgwqAgaWYgbm90IHNlbGYuaW52YXJpYW50 czoKPiArwqDCoMKgwqDCoMKgwqAgaWYgbm90IHNlbGYuaGFzX2ludmFyaWFudDoKPiDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqAgcmV0dXJuIFtdCj4gwqAKPiAtwqDCoMKgwqDCoMKgwqAgYnVmZi5h cHBlbmQoCj4gK8KgwqDCoMKgwqDCoMKgIGJ1ZmYgPSBbCj4gwqBmIiIic3RhdGljIGlubGluZSB2 b2lkIGhhX3NldHVwX2ludmFyaWFudHMoc3RydWN0IGhhX21vbml0b3IKPiAqaGFfbW9uLAo+IMKg XHRcdFx0XHTCoMKgwqDCoMKgwqAgZW51bSB7c2VsZi5lbnVtX3N0YXRlc19kZWZ9IGN1cnJfc3Rh dGUsIGVudW0KPiB7c2VsZi5lbnVtX2V2ZW50c19kZWZ9IGV2ZW50LAo+IMKgXHRcdFx0XHTCoMKg wqDCoMKgwqAgZW51bSB7c2VsZi5lbnVtX3N0YXRlc19kZWZ9IG5leHRfc3RhdGUsIHU2NCB0aW1l X25zKQo+IC17eyIiIikKPiAre3siIiJdCj4gwqAKPiDCoMKgwqDCoMKgwqDCoMKgIGNvbmRpdGlv bnMgPSBbIm5leHRfc3RhdGUgPT0gY3Vycl9zdGF0ZSJdCj4gwqDCoMKgwqDCoMKgwqDCoCBjb25k aXRpb25zICs9IFtmImV2ZW50ICE9IHtlfXtzZWxmLmVudW1fc3VmZml4fSIKPiBAQCAtNDgwLDEz ICs0OTksMjAgQEAgZiIiInN0YXRpYyBpbmxpbmUgdm9pZAo+IGhhX3NldHVwX2ludmFyaWFudHMo c3RydWN0IGhhX21vbml0b3IgKmhhX21vbiwKPiDCoMKgwqDCoMKgwqDCoMKgIGJ1ZmYuYXBwZW5k KGYiXHRpZiAoe2NvbmRpdGlvbl9zdHJ9KVxuXHRcdHJldHVybjsiKQo+IMKgCj4gwqDCoMKgwqDC oMKgwqDCoCBfZWxzZSA9ICIiCj4gLcKgwqDCoMKgwqDCoMKgIGZvciBzdGF0ZSwgY29uc3RyIGlu IHNvcnRlZChzZWxmLmludmFyaWFudHMuaXRlbXMoKSk6Cj4gLcKgwqDCoMKgwqDCoMKgwqDCoMKg wqAgYnVmZi5hcHBlbmQoZiJcdHtfZWxzZX1pZiAobmV4dF9zdGF0ZSA9PQo+IHtzZWxmLnN0YXRl c1tzdGF0ZV19e3NlbGYuZW51bV9zdWZmaXh9KSIpCj4gLcKgwqDCoMKgwqDCoMKgwqDCoMKgwqAg YnVmZi5hcHBlbmQoZiJcdFx0e2NvbnN0cn07IikKPiArwqDCoMKgwqDCoMKgwqAgZm9yIHN0YXRl IGluIHNlbGYuX3N0YXRlczoKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBpbnYgPSBzdGF0ZS5p bnYKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBpZiBub3QgaW52Ogo+ICvCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqAgY29udGludWUKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBpbnYg PSBzZWxmLl9fcGFyc2VfaW52YXJpYW50KGludikKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBi dWZmLmFwcGVuZChmIlx0e19lbHNlfWlmIChuZXh0X3N0YXRlID09Cj4ge3N0YXRlLm5hbWV9e3Nl bGYuZW51bV9zdWZmaXh9KSIpCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqAgYnVmZi5hcHBlbmQo ZiJcdFx0e2ludn07IikKPiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgX2Vsc2UgPSAiZWxzZSAi Cj4gwqAKPiAtwqDCoMKgwqDCoMKgwqAgZm9yIHN0YXRlIGluIHNlbGYuaW52YXJpYW50czoKPiAt wqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBidWZmLmFwcGVuZChmIlx0ZWxzZSBpZiAoY3Vycl9zdGF0 ZSA9PQo+IHtzZWxmLnN0YXRlc1tzdGF0ZV19e3NlbGYuZW51bV9zdWZmaXh9KSIpCj4gK8KgwqDC oMKgwqDCoMKgIGZvciBzdGF0ZSBpbiBzZWxmLl9zdGF0ZXM6Cj4gK8KgwqDCoMKgwqDCoMKgwqDC oMKgwqAgaW52ID0gc3RhdGUuaW52Cj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqAgaWYgbm90IGlu djoKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIGNvbnRpbnVlCj4gK8KgwqDCoMKg wqDCoMKgwqDCoMKgwqAgYnVmZi5hcHBlbmQoZiJcdGVsc2UgaWYgKGN1cnJfc3RhdGUgPT0KPiB7 c3RhdGUubmFtZX17c2VsZi5lbnVtX3N1ZmZpeH0pIikKPiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqAgYnVmZi5hcHBlbmQoIlx0XHRoYV9jYW5jZWxfdGltZXIoaGFfbW9uKTsiKQo+IMKgCj4gwqDC oMKgwqDCoMKgwqDCoCBidWZmLmFwcGVuZCgifVxuIikK