From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham autolearn_force=no version=3.4.2 Received: (qmail 27371 invoked from network); 5 May 2020 21:49:54 -0000 Received-SPF: pass (minnie.tuhs.org: domain of minnie.tuhs.org designates 45.79.103.53 as permitted sender) receiver=inbox.vuxu.org; client-ip=45.79.103.53 envelope-from= Received: from minnie.tuhs.org (45.79.103.53) by inbox.vuxu.org with ESMTPUTF8; 5 May 2020 21:49:54 -0000 Received: by minnie.tuhs.org (Postfix, from userid 112) id 344E39CAA0; Wed, 6 May 2020 07:49:52 +1000 (AEST) Received: from minnie.tuhs.org (localhost [127.0.0.1]) by minnie.tuhs.org (Postfix) with ESMTP id 669B29CA1C; Wed, 6 May 2020 07:49:23 +1000 (AEST) Authentication-Results: minnie.tuhs.org; dkim=pass (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.b="lIVQgtO0"; dkim-atps=neutral Received: by minnie.tuhs.org (Postfix, from userid 112) id 1A3ED9CA1C; Wed, 6 May 2020 07:49:21 +1000 (AEST) Received: from mail-ot1-f49.google.com (mail-ot1-f49.google.com [209.85.210.49]) by minnie.tuhs.org (Postfix) with ESMTPS id 087FF9C9B7 for ; Wed, 6 May 2020 07:49:20 +1000 (AEST) Received: by mail-ot1-f49.google.com with SMTP id j26so278255ots.0 for ; Tue, 05 May 2020 14:49:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=nfRw9zqXrtic6ia8BOzphggxVCe63qTN/qx35F4RB6I=; b=lIVQgtO07zFqKc+0DbNZWnkMBD8pwJzeuG23Bi5XgtWzVqMWIUaKgCFSP02r7cYfZB Kgk2LSE5te+nlPHU6D8WeKPyd8+4YsXqKRyi/dFDfcvXgOBVtjCw7T9Oq2ZQMa0ZIfhm 77Rdq7Z9/QOUMeF8X+YB9fTH4Sk39OLXhzdRUpTVDNI92/AMp3+1b3LYVpKZIwZ5HZWu cIyRazId5w97Dki4+1LlDD1XmRRpa2rpVygfeaqfwFOWcu2npCJ9JvIL+cBnxbkWxDGO AdrVK2hUrn0lAN23jB7liFb5vppA8biTP8Lvc3BEUxQnGVHgUaUCX4agk3/HIMYK4hIf WxnQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=nfRw9zqXrtic6ia8BOzphggxVCe63qTN/qx35F4RB6I=; b=egHfdYRJYSa+efo+3OYl8xBoDLjPqBKWUN75c9Cu5KjcdpaW0RTUV2N9+Q2rIJLODP bC6528eI4cwWnYx7/5ekC+huwBmm7/xZIKeUQkz9kUXFzBHJTjxJ8PZM9NU83d+saLm2 8qbtEHjGl4H/4oAVD5OdTZJJ0kAkzFIgk9DtLTJayfOdUrsp8D+u7Lb5H6x9lLJvMS9O FHtLNLhu1ktc0AYjyuEeRjnRxJESqwWN/iHRO95cUgI0vJ3k2RU8u4kysxBJuMc2kC50 i5J7Znf4lwqh1dhBloiiG9wtQ2pCAN4aRt/imH383xBNU0yZGjfYTsLsZ6S2aymYd6bz 2a0A== X-Gm-Message-State: AGi0PubWm6gfMWM5VwwzRkO534j+asbKiF1YLXa9ytDsoTSLulXJSFQW 7nM+hGSZQLcbwT1qTrArtU95Hd49QMy7y28GF5xduevi X-Google-Smtp-Source: APiQypLYggS5xYCwcULl0k9LK2IbhFk1VtplroZaN6vkfAEnyGufXT4w3SDKM68mc3WmVtkMYrbylzJ4bfwPCIakh+k= X-Received: by 2002:a9d:4902:: with SMTP id e2mr4141926otf.86.1588715359440; Tue, 05 May 2020 14:49:19 -0700 (PDT) MIME-Version: 1.0 References: <2F4C604D-F01C-4A82-948A-7E77093B48A1@planet.nl> <21F16C75-62AB-422A-A43F-981407E11434@planet.nl> <8D548BBE-AB7A-457E-87F8-F3718A9AC4B7@acm.org> In-Reply-To: <8D548BBE-AB7A-457E-87F8-F3718A9AC4B7@acm.org> From: Henry Bent Date: Tue, 5 May 2020 17:49:11 -0400 Message-ID: To: Win Treese Content-Type: multipart/alternative; boundary="000000000000a612b205a4ed9e7b" Subject: Re: [TUHS] DEC Compilers (was: Re: SDB debugger X-BeenThere: tuhs@minnie.tuhs.org X-Mailman-Version: 2.1.26 Precedence: list List-Id: The Unix Heritage Society mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: TUHS main list Errors-To: tuhs-bounces@minnie.tuhs.org Sender: "TUHS" --000000000000a612b205a4ed9e7b Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Mon, 4 May 2020 at 20:33, Win Treese wrote: > > > On May 3, 2020, at 4:26 PM, Clem Cole wrote: > > > > Anyway back to compilers, Tru64 had a 'good enough' compiler based on > the MIPS code base to get us all going, but GEM's primary target was VMS > since one of the important features of GEM was the VAX->Alpha transpiler > technology. VMS was still heavily written in VAX Assembler at the time. > Plus, It actually was a little hairy because GEM had a new C/C++ > front-end. So TLE's high order bit was VMS for the Alphas. GEM for > Tru64 was about 18 months later. > > In the early days of Alpha, I was at DEC=E2=80=99s Cambridge Research Lab= oratory > (directed then by Vic Vyssotsky, having retired from Bell Labs). The lab > had various connections to Alpha projects, and we learned that there were > (I think) 7 different C compilers running on the early port of Ultrix. Th= at > number, I think, did not include the port of gcc that DEC was funding > outside the company. > > Andy Payne, a recent hire at the lab, had been an intern in DEC=E2=80=99s > semiconductor group, where he had worked on randomized testing for hardwa= re > verification. With all the compilers available, he decided to hack up a > program to generate random small C programs with computable expected > outputs. His program then compiled the random code with each compiler and > tested the result. After finding a number of bugs this way, he got tired = of > submitting the bug reports, and changed his program to write and submit t= he > bug reports automatically. > > This caused a little bit of consternation with some of the compiler teams > at first. > > Eventually, this led to some collaboration with the DEC languages and > tools team, and Bill McKeeman published a paper that line of work in the > Digital Technical Journal in 1998[1]. > > - Win > > [1] https://www.hpl.hp.com/hpjournal/dtj/vol10num1/vol10num1art9.pdf Does this software still exist anywhere? The link to the download is long gone, archive.org did not preserve the download, and I had no success finding the files on the web. -Henry --000000000000a612b205a4ed9e7b Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On Mon, 4 May 2020 at 20:33, Win Treese &= lt;treese@acm.org> wrote:

> On May 3, 2020, at 4:26 PM, Clem Cole <clemc@ccc.com> wrote:
>
> Anyway back to compilers, Tru64 had a 'good enough' compiler b= ased on the MIPS code base to get us all going, but GEM's primary targe= t was VMS since one of the important features of GEM was the VAX->Alpha = transpiler technology.=C2=A0 =C2=A0VMS was still heavily written in VAX Ass= embler at the time.=C2=A0 Plus, It actually was a little hairy because GEM = had a new C/C++ front-end.=C2=A0 =C2=A0So TLE's high order bit was VMS = for the Alphas.=C2=A0 =C2=A0GEM for Tru64 was about 18 months later.

In the early days of Alpha, I was at DEC=E2=80=99s Cambridge Research Labor= atory (directed then by Vic Vyssotsky, having retired from Bell Labs). The = lab had various connections to Alpha projects, and we learned that there we= re (I think) 7 different C compilers running on the early port of Ultrix. T= hat number, I think, did not include the port of gcc that DEC was funding o= utside the company.

Andy Payne, a recent hire at the lab, had been an intern in DEC=E2=80=99s s= emiconductor group, where he had worked on randomized testing for hardware = verification. With all the compilers available, he decided to hack up a pro= gram to generate random small C programs with computable expected outputs. = His program then compiled the random code with each compiler and tested the= result. After finding a number of bugs this way, he got tired of submittin= g the bug reports, and changed his program to write and submit the bug repo= rts automatically.

This caused a little bit of consternation with some of the compiler teams a= t first.

Eventually, this led to some collaboration with the DEC languages and tools= team, and Bill McKeeman published a paper that line of work in the Digital= Technical Journal in 1998[1].

=C2=A0- Win

[1] https://www.hpl.hp.com/hpjournal= /dtj/vol10num1/vol10num1art9.pdf

Does this software still exist anywhere?=C2=A0 The link= to the download is long gone, archive.org did not preserve the download, and I had no success finding the files on= the web.

--000000000000a612b205a4ed9e7b--