[Bug target/30230] New: Incorrect ia64 EH info when an EH region ends in the middle of a bundle

[Bug target/30230] New: Incorrect ia64 EH info when an EH region ends in the middle of a bundle

[jakub at gcc dot gnu dot org]

struct A {};
struct B { virtual ~B(); };
B::~B () {}
struct C { void foo (short &, B &); };
struct D { void *d1; C *d2; virtual void virt (void) {} };
struct E { D *e1; B *e2; };
struct F { void bar (void *, B &); };
F *p __attribute__((weak));
volatile int r;

void C::foo (short &x, B &)
{
  if (r)
    throw A ();
  x = 1;
}

void F::bar (void *, B &)
{
  throw A ();
}

void baz (E &x)
{
  short g = 0;
  B b = *x.e2;
  x.e1->d2->foo (g, b);
  if (g)
    p->bar(x.e1->d1, b);
}

int main ()
{
  F g;
  D s;
  E h;
  p = &g;
  h.e1 = &s;
  try
    {
      baz (h);
    }
  catch (A &)
    {
    }
  return 0;
}

fails on ia64 at least with gcc trunk and 4.1.1 at -O2.
The problem is a br.call not at the end of a bundle where the EH region
ends right after it:
        .mbb
        ld8 r39 = [r15]
        br.call.sptk.many b0 = _ZN1F3barEPvR1B#
[.LEHE0:]
        nop 0
        ;;
As br.call sets rp to the address of the next bundle, when the personality
routine is called it doesn't think this call is inside of the .LEHB0 .. .LEHE0
EH region and calls std::terminate.


-- 
           Summary: Incorrect ia64 EH info when an EH region ends in the
                    middle of a bundle
           Product: gcc
           Version: 4.1.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jakub at gcc dot gnu dot org
GCC target triplet: ia64-linux


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

[Bug target/30230] Incorrect ia64 EH info when an EH region ends in the middle of a bundle

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2006-
                   |                            |12/msg01158.html
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
           Keywords|                            |patch
   Last reconfirmed|0000-00-00 00:00:00         |2006-12-16 13:05:29
               date|                            |


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

[Bug target/30230] Incorrect ia64 EH info when an EH region ends in the middle of a bundle

[jakub at gcc dot gnu dot org]

------- Comment #1 from jakub at gcc dot gnu dot org  2006-12-21 12:59 -------
Subject: Bug 30230

Author: jakub
Date: Thu Dec 21 12:59:06 2006
New Revision: 120103

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=120103
Log:
        PR target/30230
        * config/ia64/ia64.c (ia64_add_bundle_selector_before): New function.
        (bundling): Use it.

        * g++.dg/eh/ia64-2.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/eh/ia64-2.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/ia64/ia64.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug target/30230] Incorrect ia64 EH info when an EH region ends in the middle of a bundle

[jakub at gcc dot gnu dot org]

------- Comment #2 from jakub at gcc dot gnu dot org  2006-12-21 13:04 -------
Subject: Bug 30230

Author: jakub
Date: Thu Dec 21 13:04:08 2006
New Revision: 120104

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=120104
Log:
        PR target/30230
        * config/ia64/ia64.c (ia64_add_bundle_selector_before): New function.
        (bundling): Use it.

        * g++.dg/eh/ia64-2.C: New test.

Added:
    branches/gcc-4_2-branch/gcc/testsuite/g++.dg/eh/ia64-2.C
Modified:
    branches/gcc-4_2-branch/gcc/ChangeLog
    branches/gcc-4_2-branch/gcc/config/ia64/ia64.c
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug target/30230] Incorrect ia64 EH info when an EH region ends in the middle of a bundle

[jakub at gcc dot gnu dot org]

------- Comment #3 from jakub at gcc dot gnu dot org  2006-12-21 13:06 -------
Subject: Bug 30230

Author: jakub
Date: Thu Dec 21 13:06:37 2006
New Revision: 120105

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=120105
Log:
        PR target/30230
        * config/ia64/ia64.c (ia64_add_bundle_selector_before): New function.
        (bundling): Use it.

        * g++.dg/eh/ia64-2.C: New test.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/eh/ia64-2.C
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/config/ia64/ia64.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug target/30230] Incorrect ia64 EH info when an EH region ends in the middle of a bundle

[wilson at gcc dot gnu dot org]

------- Comment #4 from wilson at gcc dot gnu dot org  2007-01-01 21:00 -------
Fixed by Jakub's patch for 4.1, 4.2, and mainline.


-- 

wilson at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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

[Bug target/30230] Incorrect ia64 EH info when an EH region ends in the middle of a bundle

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.0.4 3.4.0 3.3.3 3.2 4.1.1
      Known to work|                            |4.1.2 4.2.0 4.3.0
   Target Milestone|---                         |4.1.2


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