Re: LTO remapping/deduction of machine modes of types/decls

2017-01-02 Thread Jakub Jelinek
On Fri, Dec 30, 2016 at 08:40:11PM +0300, Alexander Monakov wrote: > Hello, Richard, Jakub, community, > > May I join/restart the old discussion about machine mode remapping at LTO > stream-in time. To recap, when offloading to NVPTX was introduced, there > was a problem due to differences in the

Re: LTO remapping/deduction of machine modes of types/decls

2017-01-02 Thread Alexander Monakov
On Mon, 2 Jan 2017, Jakub Jelinek wrote: > In my view mode is essential part of the type system. It (sadly, but still) > participates in many ABI decisions, but more importantly especially for > floating point types it is the main source of information of what the type > actually is, as just size

Re: LTO remapping/deduction of machine modes of types/decls

2017-01-02 Thread Jakub Jelinek
On Mon, Jan 02, 2017 at 06:38:28PM +0300, Alexander Monakov wrote: > I wonder if it's possible to have a small tag in tree types to distinguish > between binary/decimal/fixed-point types. For prototyping, I was thinking > about just looking at the type name, because non-ieee-binary types have an >

Re: LTO remapping/deduction of machine modes of types/decls

2017-01-02 Thread Alexander Monakov
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 O

Re: LTO remapping/deduction of machine modes of types/decls

2017-01-02 Thread Jakub Jelinek
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 an

Re: LTO remapping/deduction of machine modes of types/decls

2017-01-02 Thread Alexander Monakov
On Mon, 2 Jan 2017, Jakub Jelinek wrote: > 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

Re: LTO remapping/deduction of machine modes of types/decls

2017-01-02 Thread Jakub Jelinek
On Mon, Jan 02, 2017 at 10:38:54PM +0300, Alexander Monakov wrote: > On Mon, 2 Jan 2017, Jakub Jelinek wrote: > > 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 u