Re: Are there different programming languages that are compiled to the same intermediate language?

gah4 <gah4@u.washington.edu>
Thu, 2 Feb 2023 16:24:11 -0800 (PST)

          From comp.compilers

Related articles
[4 earlier articles]
Re: Are there different programming languages that are compiled to the same intermediate language? costello@mitre.org (Roger L Costello) (2023-01-30)
Re: Are there different programming languages that are compiled to the same intermediate language? 864-117-4973@kylheku.com (Kaz Kylheku) (2023-01-30)
Re: Are there different programming languages that are compiled to the same intermediate language? mwardgkc@gmail.com (Martin Ward) (2023-01-31)
Re: Are there different programming languages that are compiled to the same intermediate language? gah4@u.washington.edu (gah4) (2023-01-31)
Re: Are there different programming languages that are compiled to the same intermediate language? arnold@freefriends.org (2023-02-01)
Re: Are there different programming languages that are compiled to the same intermediate language? mwardgkc@gmail.com (Martin Ward) (2023-02-02)
Re: Are there different programming languages that are compiled to the same intermediate language? gah4@u.washington.edu (gah4) (2023-02-02)
Re: Are there different programming languages that are compiled to the same intermediate language? arnold@skeeve.com (2023-02-03)
Re: Are there different programming languages that are compiled to the same intermediate language? anton@mips.complang.tuwien.ac.at (2023-02-03)
Re: OoO, VLIW, Are there different programming languages that are compiled to the same intermediate language? gah4@u.washington.edu (gah4) (2023-02-03)
Re: OoO, VLIW, Are there different programming languages that are compiled to the same intermediate language? gah4@u.washington.edu (gah4) (2023-02-04)
Re: Are there different programming languages that are compiled to the same intermediate language? anton@mips.complang.tuwien.ac.at (2023-02-05)
Re: OoO, VLIW, Are there different programming languages that are compiled to the same intermediate language? anton@mips.complang.tuwien.ac.at (2023-02-07)
[1 later articles]
| List of all articles for this month |
From: gah4 <gah4@u.washington.edu>
Newsgroups: comp.compilers
Date: Thu, 2 Feb 2023 16:24:11 -0800 (PST)
Organization: Compilers Central
References: <Adkz+TvWa4zLl8W9Qd6ovtClKZpZrA==> 23-01-078 23-02-001
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="71470"; mail-complaints-to="abuse@iecc.com"
Keywords: UNCOL, comment
Posted-Date: 02 Feb 2023 20:14:11 EST
In-Reply-To: 23-02-001

(snip, I wrote)


> Could we have a standard intermediate language, with all
> features needed, or that ever will be needed?


> [The answer to that last question is no. It's a very old bad idea,
> with the first failed attempt UNCOL in 1958. -John]


I have wondered, though, about a standardized intermediate
for a processor family. One could write compilers to generate it,
and then updated processors come along with updated code
generators. Or even distribute intermediate code, and the
installer generates the right version for the processor.


This would have been especially useful for Itanium, which
(mostly) failed due to problems with code generation.
Since the whole idea is that the processor depends on the
code generator doing things in the right order. That is, out
of order execution, but determined at compile time. Failure
to do that meant failure for the whole idea.


[Someone comes up with an intermediate language that works for a few
source languages and a few targets, and usually publishes a paper
about his breakthrough. Then people try to add more front ends and
back ends, the intermediate language gets impossibly complex and
buggy, and the project is quietly forgotten. I'd think the back end
problem is a lot easier now than it was in 1958 since everything is
twos complement arithmetic in 8-bit bytes, but the front end is still
daunting.
If you don't push it too far it's certainly possible to do a lot of
work in a largely machine-independent way as LLVM does. -John]


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.