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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,3737542e2ed2b8e1
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!inka.de!rz.uni-karlsruhe.de!feed.news.schlund.de!schlund.de!news.online.de!not-for-mail
From: Albrecht =?ISO-8859-1?Q?K=E4fer?= <albrecht_kaefer@yahoo.de>
Newsgroups: comp.lang.ada
Subject: Re: Problem with optimizations
Date: Tue, 28 Apr 2009 20:32:48 +0200
Organization: 1&1 Internet AG
Message-ID: <gt7iif$v5$1@online.de>
References: <49f73730$0$2850$ba620e4c@news.skynet.be> <gt7f1s$t86$1@online.de>
 <49f742d0$0$2851$ba620e4c@news.skynet.be>
NNTP-Posting-Host: brln-4db91c6f.pool.einsundeins.de
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: online.de 1240944015 997 77.185.28.111 (28 Apr 2009 18:40:15 GMT)
X-Complaints-To: abuse@einsundeins.com
NNTP-Posting-Date: Tue, 28 Apr 2009 18:40:15 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US;
 rv:1.8.1.21) Gecko/20090403 SeaMonkey/1.1.16 Mnenhy/0.7.5.0
 Hamster-Pg/1.25.2.0
In-Reply-To: <49f742d0$0$2851$ba620e4c@news.skynet.be>
Xref: g2news2.google.com comp.lang.ada:5586
Date: 2009-04-28T20:32:48+02:00
List-Id: <comp.lang.ada>

Olivier Scalbert schrieb::
>> Works fine on Windows (GNAT GPL 2009).
>> However, I can't help but notice that you are doing premature
>> optimization. Did you *test* if it is faster?
>> Albrecht
> With -O3 also ?

Very much so.

> It is not premature optimization. The difference between Is_Solved and
> Is_Solved1 is quite important on my system:
>
> with -O2 and Is_solved:
> time ./rubikmain
> real    0m2.164s
> user    0m2.160s
> sys     0m0.000s
>
> with -O2 and Is_solved:
> time ./rubikmain
> real    0m3.604s
> user    0m3.596s
> sys     0m0.000s

That is odd.


Albrecht