diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6c9b4722e85..fbbe1f21fe3 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+Thu May 30 20:28:01 CEST 2002  Jan Hubicka  <jh@suse.cz>
+
+	* gengenrtl.c (type_from_format, accessor_from_format): Support 'B'.
+	* rtl.texi: Document 'B'
+
 2002-05-30  Jason Thorpe  <thorpej@wasabisystems.com>
 
 	* config/m68k/netbsd-elf.h (LONG_DOUBLE_TYPE_SIZE): Compute
diff --git a/gcc/doc/rtl.texi b/gcc/doc/rtl.texi
index bf90a7b5a13..abeba3c26b8 100644
--- a/gcc/doc/rtl.texi
+++ b/gcc/doc/rtl.texi
@@ -243,6 +243,9 @@ core, @samp{V} is equivalent to @samp{E}, but when the object is read
 from an @samp{md} file, the vector value of this operand may be omitted.
 An omitted vector is effectively the same as a vector of no elements.
 
+@item B
+@samp{B} indicates a pointer to basic block strucure.
+
 @item 0
 @samp{0} means a slot whose contents do not fit any normal category.
 @samp{0} slots are not printed at all in dumps, and are often used in
diff --git a/gcc/gengenrtl.c b/gcc/gengenrtl.c
index b90c9ee29b2..07de2170f4a 100644
--- a/gcc/gengenrtl.c
+++ b/gcc/gengenrtl.c
@@ -81,6 +81,8 @@ type_from_format (c)
       return "struct bitmap_head_def *";  /* bitmap - typedef not available */
     case 't':
       return "union tree_node *";  /* tree - typedef not available */
+    case 'B':
+      return "struct basic_block_def *";  /* basic block - typedef not available */
     default:
       abort ();
     }
@@ -115,8 +117,8 @@ accessor_from_format (c)
     case 't':
       return "XTREE";
 
-    default:
-      abort ();
+    case 'B':
+      return "XBBDEF";
     }
 }