This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: LTO remapping/deduction of machine modes of types/decls
- From: Jakub Jelinek <jakub at redhat dot com>
- To: Alexander Monakov <amonakov at ispras dot ru>
- Cc: gcc at gcc dot gnu dot org, Richard Biener <rguenther at suse dot de>, Vladislav Ivanishin <vlad at ispras dot ru>
- Date: Mon, 2 Jan 2017 20:02:55 +0100
- Subject: Re: LTO remapping/deduction of machine modes of types/decls
- Authentication-results: sourceware.org; auth=none
- References: <alpine.LNX.2.20.13.1612302022360.2185@monopod.intra.ispras.ru> <20170102101931.GB21933@tucnak> <alpine.LNX.2.20.13.1701021755140.2523@monopod.intra.ispras.ru> <20170102155403.GE21933@tucnak> <alpine.LNX.2.20.13.1701022142000.2523@monopod.intra.ispras.ru>
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
On Mon, Jan 02, 2017 at 09:49:55PM +0300, Alexander Monakov wrote:
> On Mon, 2 Jan 2017, Jakub Jelinek wrote:
> > If the host has long double the same as double, sure, PTX can use its native
> > DFmode even for long double. But otherwise, the storage must be
> > transferable between accelerator and host.
>
> Hm, sorry, the 'must' is not obvious to me: is it known that the OpenMP ARB
> would find only this implementation behavior acceptable?
long double is not non-mappable type in the spec, so it is supposed to work.
The implementation may choose not to offload whenever it sees long
double/__float128/_Float128/_Float128x etc.
> Apart from floating-point types, are there other situations where modes carry
> information not deducible from the rest of the tree node?
Dunno about fixed types, partial ints etc., but it is mostly floating point
types, sure.
Jakub