[Bug inline-asm/11925] New: segment violation due to incorrect operand constraints

[Bug inline-asm/11925] New: segment violation due to incorrect operand constraints

[jbeulich at novell dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11925

           Summary: segment violation due to incorrect operand constraints
           Product: gcc
           Version: 3.3.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: inline-asm
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jbeulich at novell dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu

(i386 specific) Accessing an operand with constraint "r" through "%h0" causes a
segment violation (or other misbehavior) because print_reg() does not range
check REGNO(x) prior to indexing into the (only 4 elements long)
qi_high_reg_name array.
Interestingly the x86-64 specific code dealing with the REX registers does some
validation is that certain combinations result in error() being called.

[Bug inline-asm/11925] segment violation due to incorrect operand constraints

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11925


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-08-15 11:08 -------
We need preprocessed source for this to be able to reproduce it.  Read <http://gcc.gnu.org/
bugs.html>.

[Bug inline-asm/11925] segment violation due to incorrect operand constraints

[jbeulich at novell dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11925



------- Additional Comments From jbeulich at novell dot com  2003-08-18 06:37 -------
Compiled with -O2, the following code results in an instruction "xchgb %sil,%ax"
to be emitted with 3.3.1. The SEGV has been masked by a re-arrangement of
hi_reg_name to follow qi_high_reg_name between 3.2.2 and 3.3.1. Still, a proper
error message would be the real solution of the problem (under the assumption
that the re-arrangement was done to mask this problem).

static inline unsigned wswap(unsigned x) {
	__asm__("xchgb %b0,%h0" : "+r" (x));
	return x;
}

unsigned test(unsigned n) {
	unsigned i, s = 0;

		for(i = 0; i < n; ++i)
			s += wswap(s) + wswap(i);
	return s + wswap(n);
}

[Bug inline-asm/11925] segment violation due to incorrect operand constraints

[jbeulich at novell dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11925



------- Additional Comments From jbeulich at novell dot com  2003-08-18 06:38 -------
(As an additional note: I find it rather odd that with the problem clearly
pointed out and a solution implied you still insisted on getting source for this.)

[Bug inline-asm/11925] segment violation due to incorrect operand constraints

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11925


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
     Ever Confirmed|                            |1
           Keywords|                            |accepts-invalid, ice-on-
                   |                            |invalid-code
   Last reconfirmed|0000-00-00 00:00:00         |2003-08-18 18:08:35
               date|                            |


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-08-18 18:08 -------
Thanks for the feedback, Note nothing changed which cause this not to be an ice, the 
linker/assembler just changed the ordering.
I do not know how we should deal with this but it is a bug nether the less.

[Bug inline-asm/11925] segment violation due to incorrect operand constraints

[dhazeghi at yahoo dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11925


dhazeghi at yahoo dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4                         |---


------- Additional Comments From dhazeghi at yahoo dot com  2003-08-22 23:56 -------
Not a regression...

[Bug inline-asm/11925] segment violation due to incorrect operand constraints

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11925


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jaroslaw dot pelczar at xl
                   |                            |dot wp dot pl


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-10-01 06:36 -------
*** Bug 12473 has been marked as a duplicate of this bug. ***

[Bug inline-asm/11925] segment violation due to incorrect operand constraints

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11925


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mikulas at artax dot karlin
                   |                            |dot mff dot cuni dot cz


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-10-10 23:32 -------
*** Bug 12572 has been marked as a duplicate of this bug. ***

[Bug target/11925] segment violation due to incorrect operand constraints

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-10 06:27 -------
The real problem is that the x86 backend is not causing an error to be printed out.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|inline-asm                  |target
   Last reconfirmed|2003-08-18 18:08:35         |2004-01-10 06:27:38
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11925

[Bug target/11925] segment violation due to incorrect operand constraints

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=11925

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |3.4.0
             Status|NEW                         |RESOLVED
               Host|i686-pc-linux-gnu           |
              Build|i686-pc-linux-gnu           |
         Resolution|---                         |FIXED

--- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
This was fixed with r0-54273.