Add .gdbinit

1 files changed, 71 insertions, 0 deletions

diff --git a/.gdbinit b/.gdbinit
new file mode 100644
index 000000000..afbbe0476
--- /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