From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from EUR01-HE1-obe.outbound.protection.outlook.com (mail-eopbgr130043.outbound.protection.outlook.com [40.107.13.43]) by sourceware.org (Postfix) with ESMTPS id 9D4C13861969 for ; Tue, 21 Jul 2020 08:27:35 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 9D4C13861969 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=YSyJdlPP5ETPDJRaNXtuTYYWMbuztMu5KamlnD00USI=; b=Pav8ZAPqhlZLjHjE3XObH1ykJjrmU6BLxqfYnjFZV6hR4heeR/j+T+BOf4QSGn9eawyZaZrplDNoRNF0EWIgESHB+5ugikoe628N0aB4bMk3eS/LRaz+Nkp3A80+Bte5SKspKVfJ+zGhX5zhCqYTrK1AIUHr//oE0ceTTttN41o= Received: from MR2P264CA0081.FRAP264.PROD.OUTLOOK.COM (2603:10a6:500:32::21) by AM5PR0801MB1889.eurprd08.prod.outlook.com (2603:10a6:203:49::22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3195.23; Tue, 21 Jul 2020 08:27:32 +0000 Received: from VE1EUR03FT040.eop-EUR03.prod.protection.outlook.com (2603:10a6:500:32:cafe::8) by MR2P264CA0081.outlook.office365.com (2603:10a6:500:32::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3195.17 via Frontend Transport; Tue, 21 Jul 2020 08:27:32 +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 VE1EUR03FT040.mail.protection.outlook.com (10.152.18.210) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3195.18 via Frontend Transport; Tue, 21 Jul 2020 08:27:32 +0000 Received: ("Tessian outbound 7de93d801f24:v62"); Tue, 21 Jul 2020 08:27:32 +0000 X-CheckRecipientChecked: true X-CR-MTA-CID: 5c2b5ede15081df7 X-CR-MTA-TID: 64aa7808 Received: from 351d96d5ac1b.1 by 64aa7808-outbound-1.mta.getcheckrecipient.com id A0D5614A-8871-4894-98DC-774B720670C3.1; Tue, 21 Jul 2020 08:27:27 +0000 Received: from EUR05-AM6-obe.outbound.protection.outlook.com by 64aa7808-outbound-1.mta.getcheckrecipient.com with ESMTPS id 351d96d5ac1b.1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384); Tue, 21 Jul 2020 08:27:27 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Fw20X1izXkSVzpbfICnTIHmsBpU0aaMu08A//WeOPb45HtaqqFFG9dSDlJcXq4z2ATd90nZFVTWAXIuqbMkIFxFwJYSNVGQpZh0DtLKqkOqvfBrY6hcUXigLiV1gDBLqvoiwOeBC3d71komfddrbyiUY8i8EzTgkqxfnkrwI+6rD9sSCiS3hbrdwTFJ6Ilt0Xy23mHfnDTHQhoKzVCSCm/2V5jwV/JYuD3ZUGG8PB9RzrrPP3YB0IN4692E0WuNWFxYLsT08DvGECtCPHjepXddLpYbk4o2TNNifKRrZva7+y/VKqkmFEL1KGyLB7d0HkSn12WkCyjsjbu3QxpP04A== 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=YSyJdlPP5ETPDJRaNXtuTYYWMbuztMu5KamlnD00USI=; b=LuIG88FJdlWaEhXWVIJvFwqYZ/nDBLnTJ0xEC+dPa1Oq4+3WiT5I90fjgkH9NepUnQ8oIJ8SkAb/sbs395MJpfQB5wyOzDQVfXsMpmU6no5dR9N7e7giwgULeBk0kXb0fgzTihHgde0Ga2KkTdHs9dRraBF/NOZP1+LcVbAK7m6CwRRM0y29ZIK+6cAxAHLjhLfu5wt0tCZ6A1JrA2Jkc3LNmTJYBYz1FT1KmCwjFAkLMFIW4VE9zczly+nA/4dflt0o+jitz52PXOIZhH68pQfGBpkC/xp8HveSKXI9WmOIQ+3wUlsCEa5hErK9VKNvw9BQ1nHeKJBALmhj5cvkdw== 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=YSyJdlPP5ETPDJRaNXtuTYYWMbuztMu5KamlnD00USI=; b=Pav8ZAPqhlZLjHjE3XObH1ykJjrmU6BLxqfYnjFZV6hR4heeR/j+T+BOf4QSGn9eawyZaZrplDNoRNF0EWIgESHB+5ugikoe628N0aB4bMk3eS/LRaz+Nkp3A80+Bte5SKspKVfJ+zGhX5zhCqYTrK1AIUHr//oE0ceTTttN41o= Received: from VI1PR08MB4029.eurprd08.prod.outlook.com (2603:10a6:803:ec::14) by VE1PR08MB5264.eurprd08.prod.outlook.com (2603:10a6:803:105::24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3195.24; Tue, 21 Jul 2020 08:27:25 +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.3195.026; Tue, 21 Jul 2020 08:27:25 +0000 From: Alex Coplan To: "jit@gcc.gnu.org" CC: nd Subject: RE: libgccjit: Clarifying the permitted type conversions Thread-Topic: libgccjit: Clarifying the permitted type conversions Thread-Index: AdZV+nw3OOH1Le2rSgSlcesQH8O/KQJPidyQ Date: Tue, 21 Jul 2020 08:27:24 +0000 Message-ID: References: In-Reply-To: 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: [37.48.225.252] x-ms-publictraffictype: Email X-MS-Office365-Filtering-HT: Tenant X-MS-Office365-Filtering-Correlation-Id: 4383fb1d-17e0-45d3-3ddc-08d82d4fea02 x-ms-traffictypediagnostic: VE1PR08MB5264:|AM5PR0801MB1889: X-Microsoft-Antispam-PRVS: x-checkrecipientrouted: true nodisclaimer: true x-ms-oob-tlc-oobclassifiers: OLM:9508;OLM:9508; X-MS-Exchange-SenderADCheck: 1 X-Microsoft-Antispam-Untrusted: BCL:0; X-Microsoft-Antispam-Message-Info-Original: 8rd5xK6Yj+E7a3dqFzHZCpzIYv/0oULrNr5VIvHpfUN6eIogFba2xL+SZxHwDJ4Qm2wyNzGRPX+qTMjWaSGsR/MpAjZHUXKwXBSrqS3qduoyLRDe/McVUg86P4xApG2n+NST0n2H5ZvcSEJw5gkxCbI+kDasCQUTjWL5IGsYtF59Xst/6dlm9gnmV/FqL/y3L870jc8cdY9hRDtsrBQOJWvocfhvzQ9CRrvN7qbgDEQNbzVzps8hjvrTrWIijhEFVdxOfzK0JffE+lUE2nozlxknvJ1s52ZUM3A3dFwdHUjnZ1h1GPsdIBO93H/WxWEbRWZjRH88gmi4zUiP8akRY7YDnKH0ajhLVaX52YPfcM2oMBiJND4YH7ENpMai5wSAY5827wuRdRM5+XI8q7xTZQ== 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)(346002)(376002)(396003)(39860400002)(136003)(366004)(71200400001)(86362001)(186003)(26005)(966005)(33656002)(7696005)(53546011)(316002)(8936002)(76116006)(5660300002)(6916009)(64756008)(66446008)(66556008)(66476007)(66946007)(55016002)(8676002)(2906002)(4326008)(52536014)(478600001)(83380400001)(9686003)(6506007); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata: /WjkEPYylDMkHAd3yeCuN5ifjiX0edxGSwPalD10kdORfe1/xkanHZk26oLJ8jI7orlT4qtwH8Bwra+cVXmmvlUtSYH+6x7Sk7WJcT+BuB/8ouHAuJnpPlx0JV67ruvWuwxk7YYZH1XV/3yHpU0H6AcA2fEuptr00Ho4El7aQnXwkQUK/fpQudISo4M8Mdw/uOKt5kx3ujuub1RW6eUUZN5gDWjFnIcxna3eOQt8ctTGKZ+Vkq+E++T9UMXFu5GbeKLHFfKrAFEl9ivDi8VWvNGFixEFkDimoWwGEERdQCtEFALpaYUVdypgd30wx8WZ44lmOwz13cdzhjom61xmt4HHYWKIzLq+eeUAPGEMS/+DbCs8cRCf4WuGV+Fy+pWI6n8eQIMdF3weAUkDT53ryVxmaZ4NgmvefHJisGBZJ0z7Ebx51ggP7E3pK2GMdTfvpk5zK2iD046rj2MeAgI7ICf2NuFP7Mp4q55CTW9oRQE= 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: VE1PR08MB5264 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: VE1EUR03FT040.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)(39860400002)(136003)(396003)(376002)(346002)(46966005)(5660300002)(186003)(70206006)(70586007)(7696005)(4326008)(52536014)(2906002)(81166007)(82310400002)(86362001)(9686003)(33656002)(478600001)(82740400003)(316002)(356005)(8676002)(55016002)(83380400001)(36906005)(47076004)(966005)(6506007)(8936002)(26005)(53546011)(6916009)(336012); DIR:OUT; SFP:1101; X-MS-Office365-Filtering-Correlation-Id-Prvs: 28063e3c-1e5c-4d96-eee9-08d82d4fe5a7 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: ove8R833tBR9HkaebEUru+0bbJM2ByrZI4UBJp82qb99PMcOj2fMuKokH+jZWMJHggsVWninFBI+nrZ72adqRJcbKDx1uKzEyAa9PkiLSyBEvr5/DsfaxYrr6HBCVzufe0fpfd5Bd0SZTyJwfc9aAGh9fGILQz9f3arGPMHEXV9cvh4rFKVJivx/bZFrGs0AUM66TuL58okRWD7xjhO//AMxvwSSDhkuqcD+5OAjyO1tTbj4OTTYrCuMGJ2mtmAkJ80E8a6OEcU6D3tadVosIgt9pRbCp7EH0CiJJfy2972HhuoCx4VziXZ0ToK7EAo2L38qh8HfbsFwyx/1WkoLGsOBcZSK10Cx45uWs3fZRyrEEFRqTg/NKhPF+1VjnUQ1Os/CJPGmDgZsE4lQ4O1bvcNv+Nutwd7zRedCIRKyQp8GZ+XIg3VQQ+miUgY4O62G9p8GNm1zFo0TIFf1zlXsgx1l3zKBCpKaHDE9fRol4IM= X-OriginatorOrg: arm.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 21 Jul 2020 08:27:32.3367 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: 4383fb1d-17e0-45d3-3ddc-08d82d4fea02 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: VE1EUR03FT040.eop-EUR03.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM5PR0801MB1889 X-Spam-Status: No, score=-10.9 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: Tue, 21 Jul 2020 08:27:38 -0000 Gentle ping. > -----Original Message----- > From: Jit On Behalf Of Alex Coplan > Sent: 09 July 2020 15:15 > To: jit@gcc.gnu.org > Cc: nd > Subject: libgccjit: Clarifying the permitted type conversions >=20 > Hello, >=20 > I have some questions about the type conversions allowed by the > libgccjit interface. >=20 > Firstly, I believe it is the case that the intent is that all implicit > conversions are forbidden. Is this correct? >=20 > 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: >=20 > Currently only a limited set of conversions are possible: > - int <-> float > - int <-> bool > - P* <-> Q*, for pointer types P and Q >=20 > 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: >=20 > { > SIGNED_CHAR, > UNSIGNED_CHAR, > SHORT, > UNSIGNED_SHORT, > INT, > UNSIGNED_INT, > LONG, > UNSIGNED_LONG, > LONG_LONG, > UNSIGNED_LONG_LONG > } >=20 > 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? >=20 > Many thanks, > Alex >=20 > [0] : https://gcc.gnu.org/onlinedocs/jit/topics/expressions.html