Is there a helper function like "print_rtx_to_stdout" ?

[Björn Haase]

Best thanks for your fast reply!

... did not know that gdb has support for printing RTX. *VERY* useful feature 
(and much better than temporary including debugging printout commands in the 
compiler itself :-) ).

Yours,

Björn