This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [RFC] type promotion pass

From: Joseph Myers <joseph at codesourcery dot com>
To: Richard Biener <richard dot guenther at gmail dot com>
Cc: Jeff Law <law at redhat dot com>, Segher Boessenkool <segher at kernel dot crashing dot org>, Wilco Dijkstra <Wilco dot Dijkstra at arm dot com>, "dje dot gcc at gmail dot com" <dje dot gcc at gmail dot com>, "wschmidt at linux dot vnet dot ibm dot com" <wschmidt at linux dot vnet dot ibm dot com>, "kugan dot vivekanandarajah at linaro dot org" <kugan dot vivekanandarajah at linaro dot org>, "gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>, nd <nd at arm dot com>, "prathamesh dot kulkarni at linaro dot org" <prathamesh dot kulkarni at linaro dot org>
Date: Fri, 15 Sep 2017 20:19:46 +0000
Subject: Re: [RFC] type promotion pass
Authentication-results: sourceware.org; auth=none
References: <DB6PR0801MB2053C1BC62931E4B9DEE87CF836C0@DB6PR0801MB2053.eurprd08.prod.outlook.com> <DB6PR0801MB20534EB68F1A0B4B7AE37EE0836C0@DB6PR0801MB2053.eurprd08.prod.outlook.com> <aa070335-2102-0863-a8ed-078f803b3d18@redhat.com> <20170915161909.GG8421@gate.crashing.org> <ebbb90e2-74e7-ccd3-1ad6-bf83e7b9ef42@redhat.com> <D4F26924-C180-4ABC-B430-27E015EDAC16@gmail.com>

On Fri, 15 Sep 2017, Richard Biener wrote:

> IIRC the last time we went over this patch I concluded a better first 
> step would be to expose call ABI details on GIMPLE much earlier. But I 
> may misremember here.

Some call details are exposed in the front ends (see 
targetm.calls.promote_prototypes called from c-typeck.c, for example).  I 
think that's too early; the front end should be generating IR for calls 
that reflects the language semantics, and architecture details should be 
exposed later (quite likely on GIMPLE).

-- 
Joseph S. Myers
joseph@codesourcery.com

References:
- Re: [RFC] type promotion pass
  - From: Wilco Dijkstra
- Re: [RFC] type promotion pass
  - From: Wilco Dijkstra
- Re: [RFC] type promotion pass
  - From: Jeff Law
- Re: [RFC] type promotion pass
  - From: Segher Boessenkool
- Re: [RFC] type promotion pass
  - From: Jeff Law
- Re: [RFC] type promotion pass
  - From: Richard Biener

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]