RTL umwandeln in Pseudo-Code?

RTL ist doch bereits Pseudo-Code... Du kannst auch nicht hingehen, und ein Programm in RTL schreiben und GCC das weiterbearbeiten lassen.

Welche Aussagen/Tests sollen denn ausgeführt werden? Geht's dabei um die Verifikation des von GCC emittierten RTL gegen die (preprozesste) C/C++/Java/Fortran/Ada-Quelle? Jedenfalls solltest du bedenken, daß nicht die gesamte Information eines Programmes (bzw. eines Moduls) in RTL vorliegt, auch nicht das gesamte "Wissen", daß GCC intern über die Quelle hat.

Ob ein RTL sinnvoll/gültig ist, ist stark maschinenabhängig und hängt auch davon ab, ob du nonstrict-RTL betrachtest (darauf scheinst du dich ja beschränken zu wollen) oder strict-RTL.

Für eine Einteilung und einen Überblick schau mal ins ./gcc/rtl.def