{"id":2223305,"url":"http://patchwork.ozlabs.org/api/1.2/patches/2223305/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/patch/20260414231905.191063-39-arthur.cohen@embecosm.com/","project":{"id":17,"url":"http://patchwork.ozlabs.org/api/1.2/projects/17/?format=json","name":"GNU Compiler Collection","link_name":"gcc","list_id":"gcc-patches.gcc.gnu.org","list_email":"gcc-patches@gcc.gnu.org","web_url":null,"scm_url":null,"webscm_url":null,"list_archive_url":"","list_archive_url_format":"","commit_url_format":""},"msgid":"<20260414231905.191063-39-arthur.cohen@embecosm.com>","list_archive_url":null,"date":"2026-04-14T23:19:00","name":"[COMMITTED,39/43] gccrs: intrinsic: Add tests for cttz and cttz_nonzero","commit_ref":null,"pull_url":null,"state":"new","archived":false,"hash":"2f94a0b31709f378f1e99eaf256ae5c3a543b097","submitter":{"id":83476,"url":"http://patchwork.ozlabs.org/api/1.2/people/83476/?format=json","name":"Arthur Cohen","email":"arthur.cohen@embecosm.com"},"delegate":null,"mbox":"http://patchwork.ozlabs.org/project/gcc/patch/20260414231905.191063-39-arthur.cohen@embecosm.com/mbox/","series":[{"id":499900,"url":"http://patchwork.ozlabs.org/api/1.2/series/499900/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/list/?series=499900","date":"2026-04-14T23:18:24","name":"[COMMITTED,01/43] gccrs: testsuite:Add a testcase for setup_associated_types","version":1,"mbox":"http://patchwork.ozlabs.org/series/499900/mbox/"}],"comments":"http://patchwork.ozlabs.org/api/patches/2223305/comments/","check":"pending","checks":"http://patchwork.ozlabs.org/api/patches/2223305/checks/","tags":{},"related":[],"headers":{"Return-Path":"","X-Original-To":["incoming@patchwork.ozlabs.org","gcc-patches@gcc.gnu.org"],"Delivered-To":["patchwork-incoming@legolas.ozlabs.org","gcc-patches@gcc.gnu.org"],"Authentication-Results":["legolas.ozlabs.org;\n\tdkim=pass (2048-bit key;\n unprotected) header.d=embecosm.com header.i=@embecosm.com header.a=rsa-sha256\n header.s=google header.b=NqDGfutT;\n\tdkim-atps=neutral","legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=2620:52:6:3111::32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)","sourceware.org;\n\tdkim=pass (2048-bit key,\n unprotected) header.d=embecosm.com header.i=@embecosm.com header.a=rsa-sha256\n header.s=google header.b=NqDGfutT","sourceware.org;\n dmarc=none (p=none dis=none) header.from=embecosm.com","sourceware.org; spf=pass smtp.mailfrom=embecosm.com","server2.sourceware.org;\n arc=none smtp.remote-ip=209.85.128.68"],"Received":["from vm01.sourceware.org (vm01.sourceware.org\n [IPv6:2620:52:6:3111::32])\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 4fwLDc5g8Qz1yHc\n\tfor ; Wed, 15 Apr 2026 09:33:04 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 04CE14BA2E0A\n\tfor ; Tue, 14 Apr 2026 23:33:03 +0000 (GMT)","from mail-wm1-f68.google.com (mail-wm1-f68.google.com\n [209.85.128.68])\n by sourceware.org (Postfix) with ESMTPS id 2E59B4BA2E31\n for ; Tue, 14 Apr 2026 23:15:13 +0000 (GMT)","by mail-wm1-f68.google.com with SMTP id\n 5b1f17b1804b1-483487335c2so67915925e9.2\n for ; Tue, 14 Apr 2026 16:15:13 -0700 (PDT)","from platypus.localdomain (176-147-231-59.abo.bbox.fr.\n [176.147.231.59]) by smtp.gmail.com with ESMTPSA id\n 5b1f17b1804b1-488f1dd8806sm3325945e9.3.2026.04.14.16.15.09\n (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);\n Tue, 14 Apr 2026 16:15:10 -0700 (PDT)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 04CE14BA2E0A","OpenDKIM Filter v2.11.0 sourceware.org 2E59B4BA2E31"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 2E59B4BA2E31","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 2E59B4BA2E31","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1776208513; cv=none;\n b=o0THHF9ZfCKHaMCSEgkTRvTMtprgvMGULNpe6LSqEskrHvnO9WuD8zoy2iu+9m7K0OIG6i2pl0ayDDzesevOu3qQngeorJhI41MMsK5VMx5+BEl9WeImNrhaDxX4hafESXYXv9JgaAIwc6/ugabyPQM4EMdDjiZs/GyauNqo7s0=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1776208513; c=relaxed/simple;\n bh=9+PS8XCC0r27DAtr8EIGVVW1WD22BcdSpWiV6gE0qkU=;\n h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version;\n b=mbYLsjcSsEggovy49JRaaOURcvLR5TfSqo1ski2PKMnkrWa1S8l88rhUX8QishBGGXeVcUmXAxDVeVzJrXplgrPnDx3mBFLRchcXGyQfLfUGnukeM0qL6bjUBCXq6tsCQQbFyoaKuTB0dGop2XPs7lByTV6hgLitYNxg7tVPV/A=","ARC-Authentication-Results":"i=1; server2.sourceware.org","DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=embecosm.com; s=google; t=1776208512; x=1776813312; darn=gcc.gnu.org;\n h=content-transfer-encoding:mime-version:references:in-reply-to\n :message-id:date:subject:cc:to:from:from:to:cc:subject:date\n :message-id:reply-to;\n bh=QEP5MqOoQrsd5j9qSvLLemTvByQPVf/0yUWos7buvO4=;\n b=NqDGfutTLTvlKzcMCPbloKPuUsbHvDcYN/xEqzDUs7NVCTPAuP783j31R8UE7oBtJz\n C63FgT8Mmy8siuLnrHuWTcfCinSLFLCJHCOOFJj+UmnOx1GvMeCzWygdyjx/xffkW9CO\n wxgNH1X+H7f/WDRALF0LEG9wRxUJreX9lDTae5/wR1gqK5BJmtycifWiq4tmZZve5jqI\n Nx3+NHd5CDL3gp7rNDLk9iT8isYcaCj0cM+LmnMLvuUA+U8IKJKE+xO100KyCCtojxAV\n E6SHibajPYUnsRpZLqlPBMy5y2n0EFi++WmoVsazujhQ8ch6IEwkngJ3TGh3vEowHb9e\n 7GYA==","X-Google-DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1776208512; x=1776813312;\n h=content-transfer-encoding:mime-version:references:in-reply-to\n :message-id:date:subject:cc:to:from:x-gm-gg:x-gm-message-state:from\n :to:cc:subject:date:message-id:reply-to;\n bh=QEP5MqOoQrsd5j9qSvLLemTvByQPVf/0yUWos7buvO4=;\n b=HA8uIz198/faNp/vBGUVGWJsBMAO17QOJXMiIEAtZ/EZa/4mQbiyGa5NMh4pjx7FHI\n f5UfZrre8JHPx2NqeKKpXJYvP67SiAzfU7J6rhkTwnA4C+87scXNJZuvLGiv94GVfyk5\n 157cjoWUILQmI1Su4VPw9DRqJy9brTrk+SwC3/NjIcGBf2xRd84N7ziUt8iSnXq0BN+K\n 0mLTr3i6Cn8odOoKQQCkYWhPmNdTJ7XCpxvoaUFktuD6MUMaJinqwMHUE3tI+Rz7lyyX\n F1P2KjNLiH/qWK7TzOaLc2c7VL6WTn2d2qVY2sVAmIXfet6DZLkrGmP3GT6W1FJLyhHq\n YP2g==","X-Gm-Message-State":"AOJu0Yz3kl1McMP9oVfCHmi/id4IUFhkF93u7J/jaFRvXwWYgY+sVEcw\n K4wIOQIgzPtOf8Y03L7mkEpLcZQuoH1VGZIHn1UhgnOqfP9Msk6t5oF5Qs6eS6DqTzVz+2bSVIn\n V1K9WUcrW","X-Gm-Gg":"AeBDietNtt8xpOB5PaAHri76j4j9LaJ6u81LTwAPxEJ9AI13mThczurVSWn5FcfrsPO\n XIQuLEuFElwLROAGHjJPtBHKixCaIIMWIF8KnApjdBWpOCEeaBhwJLYagcJW2dRLgvhXNL1ZLqN\n CfGg2favx9PintSGr7APRT+Jx/8JQIQsNy3cWNMGpnN4LV4h9lJvGvO8BtLsSynpXtLar1glmkr\n TWy9Dr3dWA/xn5SdHaNli28T2lJrPZXLp+AU4IgsbabFVYzar+WOsB8Ks3A/GL9VImwykNpY105\n dox0OCfx9mpxbfUQBOa2V0Th9cteIrEUJZxFx3oMYrk/1mKlWWlPoy1VS5GogVyDtZ/HRkduQ04\n kMGEV6XJoP4FwG6Y3kL8ZkDdU3UY/j8+IRRLV+fbMAqvSQKlz5ctHNS7F4zsJdGgbQ1a8SN7Vsv\n ft8UsVf51UTtW32996fy0Mh6rjdEPZDbE6igrpO30MTWLYpixcnKW5cjB6ME1vSkpGqd93a/ZJR\n jOcvg==","X-Received":"by 2002:a05:600c:4e48:b0:486:fb0b:ad79 with SMTP id\n 5b1f17b1804b1-488d6858368mr272784535e9.20.1776208511898;\n Tue, 14 Apr 2026 16:15:11 -0700 (PDT)","From":"arthur.cohen@embecosm.com","To":"gcc-patches@gcc.gnu.org","Cc":"gcc-rust@gcc.gnu.org,\n\tMohamed Ali ","Subject":"[COMMITTED 39/43] gccrs: intrinsic: Add tests for cttz and\n cttz_nonzero","Date":"Wed, 15 Apr 2026 01:19:00 +0200","Message-ID":"<20260414231905.191063-39-arthur.cohen@embecosm.com>","X-Mailer":"git-send-email 2.50.1","In-Reply-To":"<20260414231905.191063-1-arthur.cohen@embecosm.com>","References":"<20260414231905.191063-1-arthur.cohen@embecosm.com>","MIME-Version":"1.0","Content-Transfer-Encoding":"8bit","X-BeenThere":"gcc-patches@gcc.gnu.org","X-Mailman-Version":"2.1.30","Precedence":"list","List-Id":"Gcc-patches mailing list ","List-Unsubscribe":",\n ","List-Archive":"","List-Post":"","List-Help":"","List-Subscribe":",\n ","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org"},"content":"From: Mohamed Ali \n\ngcc/testsuite/ChangeLog:\n\n\t* rust/compile/cttz.rs: New test.\n\t* rust/compile/cttz_nonzero.rs: New test.\n\t* rust/execute/torture/cttz.rs: New test.\n\t* rust/execute/torture/cttz_nonzero.rs: New test.\n\nSigned-off-by: Mohamed Ali \n---\n gcc/testsuite/rust/compile/cttz.rs | 17 ++++\n gcc/testsuite/rust/compile/cttz_nonzero.rs | 19 ++++\n gcc/testsuite/rust/execute/torture/cttz.rs | 97 +++++++++++++++++++\n .../rust/execute/torture/cttz_nonzero.rs | 74 ++++++++++++++\n 4 files changed, 207 insertions(+)\n create mode 100644 gcc/testsuite/rust/compile/cttz.rs\n create mode 100644 gcc/testsuite/rust/compile/cttz_nonzero.rs\n create mode 100644 gcc/testsuite/rust/execute/torture/cttz.rs\n create mode 100644 gcc/testsuite/rust/execute/torture/cttz_nonzero.rs","diff":"diff --git a/gcc/testsuite/rust/compile/cttz.rs b/gcc/testsuite/rust/compile/cttz.rs\nnew file mode 100644\nindex 00000000000..b072167ac60\n--- /dev/null\n+++ b/gcc/testsuite/rust/compile/cttz.rs\n@@ -0,0 +1,17 @@\n+// { dg-do compile }\n+#![feature(intrinsics, lang_items, no_core)]\n+#![no_core]\n+\n+#[lang = \"sized\"]\n+pub trait Sized {}\n+\n+#[lang = \"copy\"]\n+pub trait Copy {}\n+\n+extern \"rust-intrinsic\" {\n+ pub fn cttz(x: T) -> u32; // { dg-error \"cttz intrinsics can only be used with basic integer types .got 'bool'.\" }\n+}\n+\n+fn main() {\n+ let _ = cttz(true);\n+}\ndiff --git a/gcc/testsuite/rust/compile/cttz_nonzero.rs b/gcc/testsuite/rust/compile/cttz_nonzero.rs\nnew file mode 100644\nindex 00000000000..210bd8bd2e5\n--- /dev/null\n+++ b/gcc/testsuite/rust/compile/cttz_nonzero.rs\n@@ -0,0 +1,19 @@\n+// { dg-do compile }\n+#![feature(intrinsics, lang_items, no_core)]\n+#![no_core]\n+\n+#[lang = \"sized\"]\n+pub trait Sized {}\n+\n+#[lang = \"copy\"]\n+pub trait Copy {}\n+\n+extern \"rust-intrinsic\" {\n+ pub fn cttz_nonzero(x: T) -> u32; // { dg-error \"cttz intrinsics can only be used with basic integer types .got 'bool'.\" }\n+}\n+\n+fn main() {\n+ unsafe {\n+ let _ = cttz_nonzero(true);\n+ }\n+}\ndiff --git a/gcc/testsuite/rust/execute/torture/cttz.rs b/gcc/testsuite/rust/execute/torture/cttz.rs\nnew file mode 100644\nindex 00000000000..d9f4656decb\n--- /dev/null\n+++ b/gcc/testsuite/rust/execute/torture/cttz.rs\n@@ -0,0 +1,97 @@\n+#![feature(no_core)]\n+#![no_core]\n+#![feature(intrinsics)]\n+#![feature(lang_items)]\n+\n+#[lang = \"sized\"]\n+pub trait Sized {}\n+\n+extern \"rust-intrinsic\" {\n+ pub fn cttz(x: T) -> u32;\n+ pub fn abort() -> !;\n+}\n+\n+fn main() -> i32 {\n+ // cttz(0) must return bit_size per the Rust reference\n+ if cttz(0u8) != 8 {\n+ abort();\n+ }\n+ if cttz(1u8) != 0 {\n+ abort();\n+ }\n+ if cttz(0xFFu8) != 0 {\n+ abort();\n+ }\n+\n+ if cttz(0u16) != 16 {\n+ abort();\n+ }\n+ if cttz(1u16) != 0 {\n+ abort();\n+ }\n+ if cttz(0xFFFFu16) != 0 {\n+ abort();\n+ }\n+\n+ if cttz(0u32) != 32 {\n+ abort();\n+ }\n+ if cttz(1u32) != 0 {\n+ abort();\n+ }\n+ if cttz(0xFFFFFFFFu32) != 0 {\n+ abort();\n+ }\n+\n+ if cttz(0u64) != 64 {\n+ abort();\n+ }\n+ if cttz(1u64) != 0 {\n+ abort();\n+ }\n+ if cttz(!0u64) != 0 {\n+ abort();\n+ }\n+\n+ if cttz(0i8) != 8 {\n+ abort();\n+ }\n+ if cttz(1i8) != 0 {\n+ abort();\n+ }\n+ if cttz(-1i8) != 0 {\n+ abort();\n+ }\n+\n+ if cttz(0i16) != 16 {\n+ abort();\n+ }\n+ if cttz(1i16) != 0 {\n+ abort();\n+ }\n+ if cttz(-1i16) != 0 {\n+ abort();\n+ }\n+\n+ if cttz(0i32) != 32 {\n+ abort();\n+ }\n+ if cttz(1i32) != 0 {\n+ abort();\n+ }\n+ if cttz(-1i32) != 0 {\n+ abort();\n+ }\n+\n+ if cttz(0i64) != 64 {\n+ abort();\n+ }\n+ if cttz(1i64) != 0 {\n+ abort();\n+ }\n+ if cttz(-1i64) != 0 {\n+ abort();\n+ }\n+\n+ 0\n+}\ndiff --git a/gcc/testsuite/rust/execute/torture/cttz_nonzero.rs b/gcc/testsuite/rust/execute/torture/cttz_nonzero.rs\nnew file mode 100644\nindex 00000000000..749dffaf6f6\n--- /dev/null\n+++ b/gcc/testsuite/rust/execute/torture/cttz_nonzero.rs\n@@ -0,0 +1,74 @@\n+#![feature(no_core)]\n+#![no_core]\n+#![feature(intrinsics)]\n+#![feature(lang_items)]\n+\n+#[lang = \"sized\"]\n+pub trait Sized {}\n+\n+extern \"rust-intrinsic\" {\n+ pub fn cttz_nonzero(x: T) -> u32;\n+ pub fn abort() -> !;\n+}\n+\n+fn main() -> i32 {\n+ unsafe {\n+ if cttz_nonzero(1u8) != 0 {\n+ abort();\n+ }\n+ if cttz_nonzero(0xFFu8) != 0 {\n+ abort();\n+ }\n+\n+ if cttz_nonzero(1u16) != 0 {\n+ abort();\n+ }\n+ if cttz_nonzero(0xFFFFu16) != 0 {\n+ abort();\n+ }\n+\n+ if cttz_nonzero(1u32) != 0 {\n+ abort();\n+ }\n+ if cttz_nonzero(0xFFFFFFFFu32) != 0 {\n+ abort();\n+ }\n+\n+ if cttz_nonzero(1u64) != 0 {\n+ abort();\n+ }\n+ if cttz_nonzero(!0u64) != 0 {\n+ abort();\n+ }\n+\n+ if cttz_nonzero(1i8) != 0 {\n+ abort();\n+ }\n+ if cttz_nonzero(-1i8) != 0 {\n+ abort();\n+ }\n+\n+ if cttz_nonzero(1i16) != 0 {\n+ abort();\n+ }\n+ if cttz_nonzero(-1i16) != 0 {\n+ abort();\n+ }\n+\n+ if cttz_nonzero(1i32) != 0 {\n+ abort();\n+ }\n+ if cttz_nonzero(-1i32) != 0 {\n+ abort();\n+ }\n+\n+ if cttz_nonzero(1i64) != 0 {\n+ abort();\n+ }\n+ if cttz_nonzero(-1i64) != 0 {\n+ abort();\n+ }\n+ }\n+\n+ 0\n+}\n","prefixes":["COMMITTED","39/43"]}