The Unix Heritage Society mailing list
 help / color / mirror / Atom feed
From: Win Treese <treese@acm.org>
To: TUHS main list <tuhs@minnie.tuhs.org>
Subject: Re: [TUHS] DEC Compilers (was: Re:  SDB debugger
Date: Mon, 4 May 2020 20:22:44 -0400	[thread overview]
Message-ID: <8D548BBE-AB7A-457E-87F8-F3718A9AC4B7@acm.org> (raw)
In-Reply-To: <CAC20D2OR=FxVr8vQ+wbwjQ-oWFa7pFrB7c_6gHcM7EeWeK=Lcg@mail.gmail.com>


> On May 3, 2020, at 4:26 PM, Clem Cole <clemc@ccc.com> 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’s Cambridge Research Laboratory (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. That 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’s semiconductor group, where he had worked on randomized testing for hardware 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 the 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


  reply	other threads:[~2020-05-05  0:32 UTC|newest]

Thread overview: 26+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-05-01 20:48 [TUHS] " Paul Ruizendaal
2020-05-01 21:57 ` Clem Cole
2020-05-02  9:10   ` Paul Ruizendaal
2020-05-02 16:04     ` Clem Cole
2020-05-01 23:05 ` Jeremy C. Reed
2020-05-02  0:49 ` Noel Hunt
2020-05-02  1:22   ` Rob Pike
2020-05-02  3:49     ` Noel Hunt
2020-05-02 20:16   ` Paul Ruizendaal
2020-05-03  6:58     ` arnold
2020-05-03 16:13     ` Clem Cole
2020-05-03 16:53       ` Henry Bent
2020-05-03 17:06         ` Henry Bent
2020-05-03 17:13       ` Henry Bent
2020-05-03 20:26         ` Clem Cole
2020-05-05  0:22           ` Win Treese [this message]
2020-05-05 17:36             ` [TUHS] DEC Compilers (was: " Paul Winalski
2020-05-05 18:53               ` Dr Iain Maoileoin
2020-05-05 21:59               ` Dan Cross
2020-05-05 21:49             ` Henry Bent
2020-05-03 17:35       ` [TUHS] " Paul Winalski
2020-05-03 21:27       ` Paul Ruizendaal
2020-05-12  4:15 ` Dave Horsfall
2020-05-06  2:52 [TUHS] DEC Compilers (was: " Doug McIlroy
2020-05-06 15:53 Doug McIlroy
2020-05-06 20:21 ` Tim Rylance

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=8D548BBE-AB7A-457E-87F8-F3718A9AC4B7@acm.org \
    --to=treese@acm.org \
    --cc=tuhs@minnie.tuhs.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).