dmd codegen improvements (page 13)

On Friday, 21 August 2015 at 20:41:58 UTC, deadalnix wrote: > On Friday, 21 August 2015 at 10:11:52 UTC, Ola Fosheim Grøstad wrote: >>>> Replicating a scalar SSA like LLVM does not make a lot of sense. What would make a lot of sense would be to start work >> >>> WAT ? >> >> When simplifying over scalars you make a trade off. By having a simplifier that is optimized for keeping everything in vector units you can get better results for some code sections. >> > > That still do not make any sense. > >>>> Or a high level compile-time oriented IR for D that can boost templates semantics and compilation speed. >>>> >>> >>> That's impossible in the state of template right now (I know I've been there and dropped it as the return on investement was too low). >> >> What is it about D template mechanics that make JITing difficult? > > "Or a high level compile-time oriented IR for D that can boost templates semantics and compilation speed." > > "What is it about D template mechanics that make JITing difficult?" > > You are not even trying to make any sense, do you ? What is the source of your reading comprehension problems? You are deliberately trolling. I know.

August 21, 2015

Re: dmd codegen improvements

Posted by deadalnix
in reply to Ola Fosheim Grøstad

Permalink

deadalnix

Posted in reply to Ola Fosheim Grøstad

Permalink

On Friday, 21 August 2015 at 20:47:36 UTC, Ola Fosheim Grøstad wrote:
> On Friday, 21 August 2015 at 20:41:58 UTC, deadalnix wrote:
>> On Friday, 21 August 2015 at 10:11:52 UTC, Ola Fosheim Grøstad wrote:
>>>>> Replicating a scalar SSA like LLVM does not make a lot of sense. What would make a lot of sense would be to start work
>>>
>>>> WAT ?
>>>
>>> When simplifying over scalars you make a trade off. By having a simplifier that is optimized for keeping everything in vector units you can get better results for some code sections.
>>>
>>
>> That still do not make any sense.
>>
>>>>> Or a high level compile-time oriented IR for D that can boost templates semantics and compilation speed.
>>>>>
>>>>
>>>> That's impossible in the state of template right now (I know I've been there and dropped it as the return on investement was too low).
>>>
>>> What is it about D template mechanics that make JITing difficult?
>>
>> "Or a high level compile-time oriented IR for D that can boost templates semantics and compilation speed."
>>
>> "What is it about D template mechanics that make JITing difficult?"
>>
>> You are not even trying to make any sense, do you ?
>
> What is the source of your reading comprehension problems?
>
> You are deliberately trolling. I know.

The answer is blue. KAMOULOX !

On 8/19/2015 10:25 AM, deadalnix wrote: >> Replicating a scalar SSA like LLVM does not make a lot of sense. What would >> make a lot of sense would be to start work on an experimental SIMD SSA >> implemented in D that could leverage benefits for next gen x86 SIMD and make >> Phobos target it. That could attract new people to D and make D beat LLVM. You >> could even combine LLVM and your own SIMD backend (run both, then profile and >> pick the best code in production on a function-by-function base) >> > > WAT ? By synergistic disambiguation of mission critical components, optimizers can be tasked with blue sky leverage of core competencies to generate rock star empowerment to maximally utilize resources. FTFY Sorry, Ola :-)

On Fri, Aug 21, 2015 at 07:17:03PM -0700, Walter Bright via Digitalmars-d wrote: > On 8/19/2015 10:25 AM, deadalnix wrote: > >>Replicating a scalar SSA like LLVM does not make a lot of sense. What would make a lot of sense would be to start work on an experimental SIMD SSA implemented in D that could leverage benefits for next gen x86 SIMD and make Phobos target it. That could attract new people to D and make D beat LLVM. You could even combine LLVM and your own SIMD backend (run both, then profile and pick the best code in production on a function-by-function base) > >> > > > >WAT ? > > By synergistic disambiguation of mission critical components, optimizers can be tasked with blue sky leverage of core competencies to generate rock star empowerment to maximally utilize resources. [...] Ah, yes...: http://emptybottle.org/bullshit/index.php T -- Not all rumours are as misleading as this one.

On Saturday, 22 August 2015 at 02:17:04 UTC, Walter Bright wrote: > On 8/19/2015 10:25 AM, deadalnix wrote: >>> Replicating a scalar SSA like LLVM does not make a lot of sense. What would >>> make a lot of sense would be to start work on an experimental SIMD SSA >>> implemented in D that could leverage benefits for next gen x86 SIMD and make >>> Phobos target it. That could attract new people to D and make D beat LLVM. You >>> could even combine LLVM and your own SIMD backend (run both, then profile and >>> pick the best code in production on a function-by-function base) >>> >> >> WAT ? > > By synergistic disambiguation of mission critical components, optimizers can be tasked with blue sky leverage of core competencies to generate rock star empowerment to maximally utilize resources. > > FTFY > > Sorry, Ola :-) There was nothing in unclear in what I wrote. Sorry.

On Saturday, 22 August 2015 at 02:42:48 UTC, H. S. Teoh wrote: > Ah, yes...: http://emptybottle.org/bullshit/index.php It would be a lot more helpful if you had provided a link to a paper on scalar branch divergence and memory divergence.

On Saturday, 22 August 2015 at 07:10:28 UTC, Ola Fosheim Grøstad wrote: > On Saturday, 22 August 2015 at 02:42:48 UTC, H. S. Teoh wrote: >> Ah, yes...: http://emptybottle.org/bullshit/index.php > > It would be a lot more helpful if you had provided a link to a paper on scalar branch divergence and memory divergence. http://www.cs.virginia.edu/~skadron/Papers/meng_dws_isca10.pdf Here you go.

On Saturday, 22 August 2015 at 07:31:45 UTC, deadalnix wrote: > On Saturday, 22 August 2015 at 07:10:28 UTC, Ola Fosheim Grøstad wrote: >> On Saturday, 22 August 2015 at 02:42:48 UTC, H. S. Teoh wrote: >>> Ah, yes...: http://emptybottle.org/bullshit/index.php >> >> It would be a lot more helpful if you had provided a link to a paper on scalar branch divergence and memory divergence. > > http://www.cs.virginia.edu/~skadron/Papers/meng_dws_isca10.pdf > > Here you go. Not relevant.

On 22 August 2015 at 09:31, deadalnix via Digitalmars-d < digitalmars-d@puremagic.com> wrote: > On Saturday, 22 August 2015 at 07:10:28 UTC, Ola Fosheim Grøstad wrote: > >> On Saturday, 22 August 2015 at 02:42:48 UTC, H. S. Teoh wrote: >> >>> Ah, yes...: http://emptybottle.org/bullshit/index.php >>> >> >> It would be a lot more helpful if you had provided a link to a paper on scalar branch divergence and memory divergence. >> > > http://www.cs.virginia.edu/~skadron/Papers/meng_dws_isca10.pdf > > Here you go. > > Also relevant: https://www.jstage.jst.go.jp/article/trol/7/3/7_147/_pdf ;-)

Forums