<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">On 02/22/2013 07:51 AM, Sean Silva
wrote:<br>
</div>
<blockquote
cite="mid:CAHnXoanxMhiVFPpmF38bGW0FT0CUmvti+3mXY+ro01NodovWrg@mail.gmail.com"
type="cite">
<pre wrap="">Do you have any suggestions about how to address this?
-- Sean Silva
</pre>
</blockquote>
Ideally we would define an ascii representation for DAGS.<br>
<br>
It should be possible to start the compiler from the DAGS as opposed
to LLVM assembler bitcode.<br>
<br>
It should also be possible to compile a C file or LLVM assembler
bitcode file and save off the DAGS ascii file.<br>
<br>
Believe it or not, they had this over 30 years ago with the PQCC
(Production Quality Compiler Compiler ) project at Carnegie Mellon.<br>
Intermetrics where I worked had a commercial version of this and
later Tartan Laboratories.<br>
<meta http-equiv="content-type" content="text/html;
charset=ISO-8859-1">
<a href="http://en.wikipedia.org/wiki/PQCC">http://en.wikipedia.org/wiki/PQCC</a><br>
<br>
Any phase of the compiler had an ascii representation that could be
parsed into binary stuctures and then submitted to that phase and
optionally propagated to later phases. You could also save off the
state of any phase in ascii too.<br>
<br>
So you could write test cases for optimizations and code generation
that were reproducible and such.<br>
<br>
In those days they used various YAML ancient precursors like LG and
IDL.<br>
<br>
We used to jokingly call the PQCC project PQTG (Product Quality
Thesis Generator).<br>
<br>
Reed<br>
<br>
<br>
</body>
</html>