From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca1.giganews.com!nntp.giganews.com!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Languages don't  matter.  A mathematical refutation
Date: Wed, 8 Apr 2015 08:45:04 +0200
Organization: cbb software GmbH
Message-ID: <1nta5ibcmgfz6$.36u31omc249m.dlg@40tude.net>
References: <b3592526-729a-4198-a630-696542b3f3be@googlegroups.com>
 <87h9t95cly.fsf@jester.gateway.sonic.net>
 <04f0759d-0377-4408-a141-6ad178f055ed@googlegroups.com>
 <mfkt8l$u4j$1@dont-email.me> <871tk1z62n.fsf@theworld.com>
 <w19y3129v8q1.jkn83uwyte4p$.dlg@40tude.net>
 <87oan56rpn.fsf@jester.gateway.sonic.net>
 <p3akur621lnn.90qj5ttw8fnq.dlg@40tude.net>
 <87k2xt6l1b.fsf@jester.gateway.sonic.net>
 <jxfgribcvcpz$.12zlyoxp7fuan$.dlg@40tude.net>
 <87vbh99d1z.fsf@jester.gateway.sonic.net>
 <f6v4fjlavqna$.6wqnpavtfh1k.dlg@40tude.net>
 <874morfec6.fsf@jester.gateway.sonic.net>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: w2sqUGEBZqsVBYNL7Ky3Kg.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Xref: number.nntp.giganews.com comp.lang.ada:192768
Date: 2015-04-08T08:45:04+02:00
List-Id: <comp.lang.ada>

On Tue, 07 Apr 2015 21:12:25 -0700, Paul Rubin wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>> Saving FPU registers, any registers, as a matter of fact, is as much
>> pervasive. How is it high level?
> 
> GC has to understand the layout of every object in memory, so it can
> know what to trace.

Similarly you must know the layout of the objects you load into
register(s). You might need to expand sign for example. Consider an
advanced optimizer that loads small records and arrays into register sets.
What about fat pointer objects, loaded into registers while doing checks,
maybe loading memory pages etc.

However complicated implementation of a language construct in the machine
code is, that does not automatically make the construct high level, IMO.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de