Intermediate Representation

Intermediate Representation

[foo wong]

Hi everyone, my real name is not Foo, it is Patrick, just keeping Google off my trail.

I have been using GnuCOBOL extensively since 2013. One thing that I love about it is that it compiles to intermediate C.

If you write a program, you can compile it to this, run ctags on the runtime and the intermediate C and then hop around jumping from the C function calls generated into the runtime to see how they are actually implemented.

I would like to do the same with Ada. Is there a way? Using readelf, I was able to get some clues and looking at the .ali files I had a few more clues but so far it does not seem to be the same thing.

-Patrick

Re: Intermediate Representation

[foo wong]

P.S I also ran gcc-4.9 -S to compile to ASM and looked at that. It helped a bit too but if there was an intermediate step that was still Ada that would be nice

Re: Intermediate Representation

[Egil H H]

On Wednesday, April 1, 2020 at 1:54:56 PM UTC+2, foo wong wrote:
> P.S I also ran gcc-4.9 -S to compile to ASM and looked at that. It helped a bit too but if there was an intermediate step that was still Ada that would be nice

Well, GNAT is open source (GPL), so you can just download the source and look at the actual code, no need to disassemble

-- 
~egilhh

Re: Intermediate Representation

[Optikos]

On Wednesday, April 1, 2020 at 6:40:24 AM UTC-5, foo wong wrote:
> Hi everyone, my real name is not Foo, it is Patrick, just keeping Google off my trail.
> 
> I have been using GnuCOBOL extensively since 2013. One thing that I love about it is that it compiles to intermediate C.
> 
> If you write a program, you can compile it to this, run ctags on the runtime and the intermediate C and
> then hop around jumping from the C function calls generated into the runtime to see how they are
> actually implemented.
> 
> I would like to do the same with Ada. Is there a way? Using readelf, I was able to get some clues and
> looking at the .ali files I had a few more clues but so far it does not seem to be the same thing.
> 
> -Patrick

https://www.cse.iitb.ac.in/~uday/courses/cs324-05/gccProjects/node4.html

gives some command-line options that you might find interesting.  Note that that webpage has a typo:  it misspells GIMPLE as SIMPLE in one place, but then goes on to spell it correctly in the command-line flag name.  GIMPLE is the AST primarily purposed for C/C++ to which Ada gets tree-transducer in GNAT.

Re: Intermediate Representation

[foo wong]

Thanks Optikos

I am still sorting though it but this looks like exactly what I was looking for.

-Patrick

Re: Intermediate Representation

[Simon Wright]

foo wong <crap@spellingbeewinnars.org> writes:

> I have been using GnuCOBOL extensively since 2013. One thing that I
> love about it is that it compiles to intermediate C.
>
> If you write a program, you can compile it to this, run ctags on the
> runtime and the intermediate C and then hop around jumping from the C
> function calls generated into the runtime to see how they are actually
> implemented.
>
> I would like to do the same with Ada. Is there a way? Using readelf, I
> was able to get some clues and looking at the .ali files I had a few
> more clues but so far it does not seem to be the same thing.

Try compiling with -gnatG; I found this very helpful when developing
Cortex GNAT RTS. You have to keep your wits about you!

Look at [1], from section Tasking. This was with GCC 4.9.1 for a
restricted runtime: the details, particularly task creation, vary a bit
between compiler releases.

[1] https://forward-in-code.blogspot.com/2015/06/building-runtime-system-for-arm-eabi.html

Re: Intermediate Representation

[Per Sandberg]

As others mentiond
GNAT/GCC  is open source so just download and read.
And to get the "expanded" Ada code just

$gcc -c -gnatD source.adb

and you will get an source.adb.dg that will contain an intermediate code 
that is feed further into the compiler.
/P



On 4/1/20 1:40 PM, foo wong wrote:
> 
> 
> Hi everyone, my real name is not Foo, it is Patrick, just keeping Google off my trail.
> 
> I have been using GnuCOBOL extensively since 2013. One thing that I love about it is that it compiles to intermediate C.
> 
> If you write a program, you can compile it to this, run ctags on the runtime and the intermediate C and then hop around jumping from the C function calls generated into the runtime to see how they are actually implemented.
> 
> I would like to do the same with Ada. Is there a way? Using readelf, I was able to get some clues and looking at the .ali files I had a few more clues but so far it does not seem to be the same thing.
> 
> -Patrick
> 

Re: Intermediate Representation

[Anh Vo]

If using GPS, from editing pane right click -> Expanded Code -> Show entire file for example. Finer option can be chosen as well, also.


On Wednesday, April 1, 2020 at 9:27:49 AM UTC-7, Per Sandberg wrote:
> As others mentiond
> GNAT/GCC  is open source so just download and read.
> And to get the "expanded" Ada code just
> 
> $gcc -c -gnatD source.adb
> 
> and you will get an source.adb.dg that will contain an intermediate code 
> that is feed further into the compiler.
> /P

Re: Intermediate Representation

[foo wong]

Whoo! I like -gnatD and -gnatG

Thanks guys, I will also load GPS and give that a shot too.

I am so glad I posted this :)

Re: Intermediate Representation

[Bob Duff]

foo wong <crap@spellingbeewinnars.org> writes:

> Whoo! I like -gnatD and -gnatG

I like -gnatDGL.  The "L" intersperses the Ada source code
with the generated code.

- Bob

Re: Intermediate Representation

[foo wong]

even better, thanks Bob