From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from EUR04-HE1-obe.outbound.protection.outlook.com (mail-eopbgr70071.outbound.protection.outlook.com [40.107.7.71]) by sourceware.org (Postfix) with ESMTPS id 2AF2F3865491 for ; Thu, 9 Jul 2020 14:15:24 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 2AF2F3865491 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=arm.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=Alex.Coplan@arm.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=armh.onmicrosoft.com; s=selector2-armh-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=uECzIb26/QvmZlQhueAuRO9SqCfF1ikvd/Q1hYuNG8c=; b=z/nSX8IJRm3DLF6QIa0+j70X0QEF9yESFJdrv1tBtdU2N8yNdzi4mVk3f+JjGz87LRYCIiwovhRu4NYLUf32m/SCnpc0VqRw2x4IpeMjRynJHrs8j5RFpqBDjWWMnhRrxzti1SkmnD52mnHXZfN6pF1JwWnrUb4kmNNeLPtSnew= Received: from AM7PR03CA0024.eurprd03.prod.outlook.com (2603:10a6:20b:130::34) by VI1PR08MB2814.eurprd08.prod.outlook.com (2603:10a6:802:1f::29) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3153.24; Thu, 9 Jul 2020 14:15:22 +0000 Received: from AM5EUR03FT032.eop-EUR03.prod.protection.outlook.com (2603:10a6:20b:130:cafe::a4) by AM7PR03CA0024.outlook.office365.com (2603:10a6:20b:130::34) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3174.21 via Frontend Transport; Thu, 9 Jul 2020 14:15:22 +0000 X-MS-Exchange-Authentication-Results: spf=pass (sender IP is 63.35.35.123) smtp.mailfrom=arm.com; gcc.gnu.org; dkim=pass (signature was verified) header.d=armh.onmicrosoft.com;gcc.gnu.org; dmarc=bestguesspass action=none header.from=arm.com; Received-SPF: Pass (protection.outlook.com: domain of arm.com designates 63.35.35.123 as permitted sender) receiver=protection.outlook.com; client-ip=63.35.35.123; helo=64aa7808-outbound-1.mta.getcheckrecipient.com; Received: from 64aa7808-outbound-1.mta.getcheckrecipient.com (63.35.35.123) by AM5EUR03FT032.mail.protection.outlook.com (10.152.16.84) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3174.21 via Frontend Transport; Thu, 9 Jul 2020 14:15:21 +0000 Received: ("Tessian outbound 8f45de5545d6:v62"); Thu, 09 Jul 2020 14:15:21 +0000 X-CheckRecipientChecked: true X-CR-MTA-CID: 01511fe137c6c232 X-CR-MTA-TID: 64aa7808 Received: from 2c5ea93cb351.1 by 64aa7808-outbound-1.mta.getcheckrecipient.com id E35D7C6A-5650-4D26-AA9D-D894EEA7A07A.1; Thu, 09 Jul 2020 14:15:16 +0000 Received: from EUR02-HE1-obe.outbound.protection.outlook.com by 64aa7808-outbound-1.mta.getcheckrecipient.com with ESMTPS id 2c5ea93cb351.1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384); Thu, 09 Jul 2020 14:15:16 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=GRUD2r5x8YmZDMb0slMtDz7ZfVEZSTw/8eZVY5FDTcKJjFEiWcRZRxAS+D8taJ7JZM/DgK5SpybYvXeaKED+HipKl/fdyxaycXaNpLr/M/Norx6gcezRO8YKFaXcz8Rz710d4fPnTa5EYOXgVBkPjVvSf2Qe9M44fPJf86cwLQBcixdF+M2baqDmF9ZgKbaytYJUvFL556jVQV0TaQTEOCiRcc6TrgRp+kWLE1/JKiQYWLjlMtHM57TjOAOH5+p6MdDJr5Ms/52gZIYwe5+KrtUKxL6eFKfPrqFk4DHU53loma2wnAzEkZqwsZVSQ+3+FW26I56/wusl+cXaKui06A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=uECzIb26/QvmZlQhueAuRO9SqCfF1ikvd/Q1hYuNG8c=; b=ZnXyqIVk1bGrc1VgIGB1d9RmN/xYtUzbMOzhBvzAvAHU/mYeZ+3+sZnmnOQMW1lc5ro5imlJVsVYtgQDfUOyEo6m8WgxCU5/APFtVzgYBFTcciBhbfw4H48a473QHYUgS3GVFoqv1kKutTxqikM2EumGJoUIGerRnA4wEdCw92tMwnNLWwgGglbzAH5dd0mL2NwyWO+aU9xJeWTOFGSROZ4OkVIkfgjiL84c7JywhBPLGUuz5PNCL2378BdPUTGEeBqxhjEoHc++alRrzZZUeY+W6lpejD84KPh10VBJ9F6UfoVyIxenrYswIpNdkig/F1OrKzlncbhKn3AyFmrHCw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=arm.com; dmarc=pass action=none header.from=arm.com; dkim=pass header.d=arm.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=armh.onmicrosoft.com; s=selector2-armh-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=uECzIb26/QvmZlQhueAuRO9SqCfF1ikvd/Q1hYuNG8c=; b=z/nSX8IJRm3DLF6QIa0+j70X0QEF9yESFJdrv1tBtdU2N8yNdzi4mVk3f+JjGz87LRYCIiwovhRu4NYLUf32m/SCnpc0VqRw2x4IpeMjRynJHrs8j5RFpqBDjWWMnhRrxzti1SkmnD52mnHXZfN6pF1JwWnrUb4kmNNeLPtSnew= Received: from VI1PR08MB4029.eurprd08.prod.outlook.com (2603:10a6:803:ec::14) by VE1PR08MB5023.eurprd08.prod.outlook.com (2603:10a6:803:107::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3153.21; Thu, 9 Jul 2020 14:15:14 +0000 Received: from VI1PR08MB4029.eurprd08.prod.outlook.com ([fe80::b8ed:5041:249f:6770]) by VI1PR08MB4029.eurprd08.prod.outlook.com ([fe80::b8ed:5041:249f:6770%2]) with mapi id 15.20.3174.022; Thu, 9 Jul 2020 14:15:14 +0000 From: Alex Coplan To: "jit@gcc.gnu.org" CC: David Malcolm , nd Subject: libgccjit: Clarifying the permitted type conversions Thread-Topic: libgccjit: Clarifying the permitted type conversions Thread-Index: AdZV+nw3OOH1Le2rSgSlcesQH8O/KQ== Date: Thu, 9 Jul 2020 14:15:14 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: Authentication-Results-Original: gcc.gnu.org; dkim=none (message not signed) header.d=none;gcc.gnu.org; dmarc=none action=none header.from=arm.com; x-originating-ip: [80.1.50.43] x-ms-publictraffictype: Email X-MS-Office365-Filtering-HT: Tenant X-MS-Office365-Filtering-Correlation-Id: 5b86117c-c7c2-459c-cb28-08d824128437 x-ms-traffictypediagnostic: VE1PR08MB5023:|VI1PR08MB2814: X-Microsoft-Antispam-PRVS: x-checkrecipientrouted: true nodisclaimer: true x-ms-oob-tlc-oobclassifiers: OLM:9508;OLM:9508; x-forefront-prvs: 04599F3534 X-MS-Exchange-SenderADCheck: 1 X-Microsoft-Antispam-Untrusted: BCL:0; X-Microsoft-Antispam-Message-Info-Original: XDWc+KqcCdPFXsPs/zkqQc74GKNcjW30AyfGsPeW7ptixhUS4QUhZwiUJv42My1mLgROFb1sraWcgFT8d0PDbxaTs270+YdZRdVF+Y1hvbK7ay/eNfPyOyImfFUv4eK4mdFmC9iiqchWrroN+p2fAtxrf349fizyM/seWY7woxWhy/PYFbsWouiYtySuryAmhwDGo//hvbluCYzZBQqiMY7K9ebkSgCaTJQUlRbvj1vwR2pAF/VVZ/pp/R0vhtqAtE5IRRSaJOlUfhFxo6xLGjaeTyswYiYnkC8rHFsIGtexB2rNDvgUWnt5BUbOs07rwJRNTr0QFEx8SCb0+GNsnNRerSdM6AJJNA9cM6WfQqvmvyT5x9NbUJpekxq5vw/oijg9UzqkGGq+QsgUhb8qwWpJb7giaACpB6c3ueekKtcUxB5VFvl7/BVdOvpHnxC91QwGmtLJQb2lEw6vfk92pA== X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:VI1PR08MB4029.eurprd08.prod.outlook.com; PTR:; CAT:NONE; SFTY:; SFS:(4636009)(39860400002)(136003)(376002)(366004)(396003)(346002)(5660300002)(8676002)(4326008)(54906003)(316002)(2906002)(9686003)(86362001)(33656002)(55016002)(83380400001)(52536014)(66946007)(66476007)(66556008)(64756008)(66446008)(76116006)(8936002)(26005)(186003)(6506007)(7696005)(6916009)(966005)(71200400001)(478600001)(554374003); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata: rqIUY8PIAxFpRhx0M+rUxugkAGS3zVTitpPM3JkiBjIuEtVjvmnDK7sFVbl69MCFE/qAeSSaer08zSTk90wA1V30eNaMhY+p9DPRJ8NAEL4H9QX4WFnTXOmKeu7GXEJtUikipF0CJNbzz8462E/yUYkqcoKSs0krda4torSTF8fIiUrYXWWU+dB/cvXDu9iP54PqjPpU33lRlp3DOsEwb9EZmvsO4BatbXTMXNsfvo3H+u94LxUJ///mrapUAguphMJdpBF1g0zBTDrRmQUMJj9tUvWVHam89wpnOZd+4nmDZk2Yyi+IViHCDW8oLWt3Mht7053MS4EpBfxW3p5u6FfsToBZ91Jg3sF/6vop9zFelmbnqI60tEB//A3Kn7LI6W8xp9J+lp6I14jClD+hxZ/ZEZbUWSpl8PQCTvMKJy/NEWL5Boa+rsFAY80Rd+BRkDfymmGfIkD4V4gHKsaTZnbA12RShSdZ8bJm6fwCoTI= x-ms-exchange-transport-forked: True Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: VE1PR08MB5023 Original-Authentication-Results: gcc.gnu.org; dkim=none (message not signed) header.d=none;gcc.gnu.org; dmarc=none action=none header.from=arm.com; X-EOPAttributedMessage: 0 X-MS-Exchange-Transport-CrossTenantHeadersStripped: AM5EUR03FT032.eop-EUR03.prod.protection.outlook.com X-Forefront-Antispam-Report: CIP:63.35.35.123; CTRY:IE; LANG:en; SCL:1; SRV:; IPV:CAL; SFV:NSPM; H:64aa7808-outbound-1.mta.getcheckrecipient.com; PTR:ec2-63-35-35-123.eu-west-1.compute.amazonaws.com; CAT:NONE; SFTY:; SFS:(4636009)(136003)(39860400002)(346002)(396003)(376002)(46966005)(26005)(6916009)(966005)(33656002)(82740400003)(81166007)(8936002)(316002)(54906003)(36906005)(478600001)(186003)(8676002)(6506007)(7696005)(2906002)(5660300002)(336012)(52536014)(83380400001)(82310400002)(356005)(47076004)(70586007)(4326008)(55016002)(86362001)(70206006)(9686003)(554374003); DIR:OUT; SFP:1101; X-MS-Office365-Filtering-Correlation-Id-Prvs: 7b26ea2c-e05d-4b9e-ac33-08d824127ff0 X-Forefront-PRVS: 04599F3534 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: FSbMZmcZZsgjA5I3fIu22ZuD749KlXqgkSlnwXXMyYzQA5VTxuzF1nje274Q3NXqysGl9RfHH0ereB4UjxBcuYtr6QEDYAjiVpC3MLRYy4BFDl8Sd1GOM5xw6RKgCrOFPeWJ3I+KwSVyF89kU5o5uN5q1w94c2SquYOda6ztywqzahx6+1W+S8/QW8qOuGOLGvvNcBjPUVu7YpbQsCK86P2wWPI3QXuhwwj33DcqDhOpqFiYUbslj+Hh45c3D++zMPJc2p9DEQA75Z7tVAEeymof5MpEuaakfu582MQo2JVoM7HD7hA46qjMX0FZmwZl5hS372opyME2qI38GeD1fCEBNnRnW9U2INStAvZ2LVwa0NkLDkSx+s01EGUWOtn/Fh9FvM2aho7cBoNZ154dAoPomAzuzSGSXogwYJtNpDVk9FZUbb2jRkYuXa3L/8vkoDCxFy/do01WbZW0Lfm/KpUrtS2WOT1F03RTEf3z/fwOkjbOAlWPlFKpbP+UjtRZ X-OriginatorOrg: arm.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 09 Jul 2020 14:15:21.8565 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: 5b86117c-c7c2-459c-cb28-08d824128437 X-MS-Exchange-CrossTenant-Id: f34e5979-57d9-4aaa-ad4d-b122a662184d X-MS-Exchange-CrossTenant-OriginalAttributedTenantConnectingIp: TenantId=f34e5979-57d9-4aaa-ad4d-b122a662184d; Ip=[63.35.35.123]; Helo=[64aa7808-outbound-1.mta.getcheckrecipient.com] X-MS-Exchange-CrossTenant-AuthSource: AM5EUR03FT032.eop-EUR03.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR08MB2814 X-Spam-Status: No, score=-11.1 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, KAM_SHORT, RCVD_IN_DNSWL_LOW, RCVD_IN_MSPIKE_H2, SPF_HELO_PASS, SPF_PASS, TXREP, UNPARSEABLE_RELAY autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: jit@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Jit mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 09 Jul 2020 14:15:41 -0000 Hello, I have some questions about the type conversions allowed by the libgccjit interface. Firstly, I believe it is the case that the intent is that all implicit conversions are forbidden. Is this correct? Secondly, I wanted to clarify the situation with respect to explicit casts; that is, those conversions allowed by gcc_jit_context_new_cast(). The docs [0] say: Currently only a limited set of conversions are possible: - int <-> float - int <-> bool - P* <-> Q*, for pointer types P and Q However, empirically (at least on aarch64), libgccjit appears to allow me to compile casts between any pair of types in the following set without any complaint: { SIGNED_CHAR, UNSIGNED_CHAR, SHORT, UNSIGNED_SHORT, INT, UNSIGNED_INT, LONG, UNSIGNED_LONG, LONG_LONG, UNSIGNED_LONG_LONG } Is this intended behaviour? If so, does the documentation need to be updated here? If not, perhaps there are some checks missing in the libgccjit interface? Many thanks, Alex [0] : https://gcc.gnu.org/onlinedocs/jit/topics/expressions.html