This is the mail archive of the
gcc-help@gcc.gnu.org
mailing list for the GCC project.
GCC intermediate forms conducive towards state machine descriptions
- From: jagron at ittc dot ku dot edu
- To: gcc-help at gcc dot gnu dot org
- Date: Wed, 28 Dec 2005 15:55:00 -0600 (CST)
- Subject: GCC intermediate forms conducive towards state machine descriptions
GCC Help Mailing List:
I am currently looking to use GCC as a tool to produce an intermediate
form that is able to be transformed into an abstract state machine
description of a program. The goal is to then take this abstract state
machine description and refine it to in order to produce an FSM capable
of being coded in a hardware design language (HDL). We are currently
looking at the RTL and GIMPLE trees, however RTL is far too low-level
and GIMPLE seems like it may be too simple. I am trying to dump the SSA
format, but for some reason the GCC tool doesn't produce any output when
I use the "-fdump-tree-ssa" command line option.
Any ideas on what form would work well for this? Has anyone seen work
like this done before? Any feedback will be greatly appreciated.
Thanks,
-Jason Agron, University of Kansas
http://wiki.ittc.ku.edu/hybridthread