diff options
-rw-r--r-- | .gdbinit | 71 |
1 files changed, 71 insertions, 0 deletions
diff --git a/.gdbinit b/.gdbinit new file mode 100644 index 0000000..afbbe04 --- /dev/null +++ b/.gdbinit @@ -0,0 +1,71 @@ +# Gdb commands useful to debug ghdl + +catch exception + +define pt +call disp_tree.disp_iir ($arg0, 1, 10) +end + +document pt +Print the structure of the iirs that is $arg0. +end + +define ptf +call disp_tree.disp_iir ($arg0, 1, 0) +end + +document ptf +Print the iirs that is $arg0. +end + +define pt1 +call disp_tree.disp_iir ($arg0, 1, 1) +end + +define prt +set lang c +print (iirs__iir *) $ +set lang ada +end + +define pl +call disp_iir_list ($arg0, 0, 0) +end + +document pl +Print the list of iirs that is $arg0. +end + +define plf +call disp_iir_list ($arg0, 0, 1) +end + +document plf +Print flatly the list of iirs that is $arg0. +end + +define ptc +call disp_chain ($arg0, 0, 0) +end + +document ptc +Print the chain of iirs that is $arg0 +end + +define pv +call disp_value ($arg0) +end + +document pv +Print the value that is $. +end + +define ploc +call disp_iir_location ($arg0) +end + +document ploc +Print the location for iir $. +end + +set lang ada |