From: Richard Earnshaw <rearnsha@arm.com>
Date: Sat, 4 Oct 2003 10:18:33 +0000 (+0000)
Subject: extend.texi: Document how GCC estimates and relies on the size of an asm.
X-Git-Tag: releases/gcc-3.4.0~3291
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=ece7fc1c597318c531778033f1e1a30cf4012783;p=thirdparty%2Fgcc.git

extend.texi: Document how GCC estimates and relies on the size of an asm.

* doc/extend.texi: Document how GCC estimates and relies on the size
of an asm.

From-SVN: r72089
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 187375d2b839..ebc9864beff4 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2003-10-04  Richard Earnshaw  <reanrsha@arm.com>
+
+	* doc/extend.texi: Document how GCC estimates and relies on the size
+	of an asm.
+
 2003-10-04  Richard Sandiford  <rsandifo@redhat.com>
 
 	* config/mips/mips.c (mips_pad_arg_upward): Pad floating-point
diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
index ce3171388b4b..36fbd2653bad 100644
--- a/gcc/doc/extend.texi
+++ b/gcc/doc/extend.texi
@@ -4136,6 +4136,26 @@ If you are writing a header file that should be includable in ISO C
 programs, write @code{__asm__} instead of @code{asm}.  @xref{Alternate
 Keywords}.
 
+@subsection Size of an @code{asm}
+
+Some targets require that GCC track the size of each instruction used in
+order to generate correct code.  Because the final length of an
+@code{asm} is only known by the assembler, GCC must make an estimate as
+to how big it will be.  The estimate is formed by counting the number of
+statements in the pattern of the @code{asm} and multiplying that by the
+length of the longest instruction on that processor.  Statements in the
+@code{asm} are identified by newline characters and whatever statement
+separator characters are supported by the assembler; on most processors
+this is the `@code{;}' character.
+
+Normally, GCC's estimate is perfectly adequate to ensure that correct
+code is generated, but it is possible to confuse the compiler if you use
+pseudo instructions or assembler macros that expand into multiple real
+instructions or if you use assembler directives that expand to more
+space in the object file than would be needed for a single instruction.
+If this happens then the assembler will produce a diagnostic saying that
+a label is unreachable.
+
 @subsection i386 floating point asm operands
 
 There are several rules on the usage of stack-like regs in