[Bug tree-optimization/42248] New: compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[Bug tree-optimization/42248] New: compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[janis at gcc dot gnu dot org]

-- 
           Summary: compat test struct-by-value-17 fails execution with -O1
                    -fschedule-insns
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: janis at gcc dot gnu dot org
GCC target triplet: powerpc64-linux


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

[Bug tree-optimization/42248] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[janis at gcc dot gnu dot org]

------- Comment #1 from janis at gcc dot gnu dot org  2009-12-02 00:07 -------
Oops.

GCC trunk fails execution for five tests from gcc.dg/compat when compiled with
"-m64 -O1 -fschedule-insns" on powerpc64-linux.  The tests are:

  gcc.dg/compat/struct-by-value-16_main.c
  gcc.dg/compat/struct-by-value-16a_main.c
  gcc.dg/compat/struct-by-value-17_main.c
  gcc.dg/compat/struct-by-value-17a_main.c
  gcc.dg/compat/struct-by-value-18_main.c

This testcase is minimized from struct-by-value-17:

-----------------------------------------------------------------------
typedef struct {
  _Complex double a;
  _Complex double b;
  _Complex double c;
  _Complex double d;
  _Complex double e;
  _Complex double f;
  _Complex double g;
  _Complex double h;
  _Complex double i;
  _Complex double j;
} Scf10;

Scf10 g1s;

void
check (Scf10 x, _Complex double y)
{
  if (x.a != y) __builtin_abort ();
  if (x.b != y) __builtin_abort ();
  if (x.c != y) __builtin_abort ();
  if (x.d != y) __builtin_abort ();
  if (x.e != y) __builtin_abort ();
  if (x.f != y) __builtin_abort ();
  if (x.g != y) __builtin_abort ();
  if (x.h != y) __builtin_abort ();
  if (x.i != y) __builtin_abort ();
  if (x.j != y) __builtin_abort ();
}

void
init (Scf10 *p, _Complex double y)
{
  p->a = y;
  p->b = y;
  p->c = y;
  p->d = y;
  p->e = y;
  p->f = y;
  p->g = y;
  p->h = y;
  p->i = y;
  p->j = y;
}
-----------------------------------------------------------------------

elm3b149% /home/janis/tools/gcc-trunk-anonsvn/bin/gcc -m64 -O1 -fschedule-insns
-static bug.c
elm3b149% ./a.out
Aborted

The failure starts with this patch from Richard Guenther and Andrey
Belevantsev:

    http://gcc.gnu.org/viewcvs?view=rev&rev=149624

    r149624 | rguenth | 2009-07-14 09:59:18 +0000 (Tue, 14 Jul 2009)

I ran into this due to a bug in lto.exp leaking compiler option lists to the
compat tests.


-- 


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

[Bug tree-optimization/42248] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[janis at gcc dot gnu dot org]

------- Comment #2 from janis at gcc dot gnu dot org  2010-01-07 21:47 -------
The testcase still fails with current mailing when compiled with "-m64 -O2" or
"-m64 -O1 -fschedule-insns".  The testcase is missing the piece that makes it
useful as an executable test:

----------------------------------------------
int
main ()
{
  init (&g1s, (_Complex double)1);
  check (g1s, (_Complex double)1);

  return 0;
}
----------------------------------------------

The tests in gcc.dg/compat are not normally compiled with -O2 so it doesn't
show up as a failure in test reports.


-- 

janis at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bergner at gcc dot gnu dot
                   |                            |org


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

[Bug tree-optimization/42248] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[pthaugen at gcc dot gnu dot org]

------- Comment #3 from pthaugen at gcc dot gnu dot org  2010-01-13 22:11 -------
Created an attachment (id=19585)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19585&action=view)
Testcase

Adding a shortened executable testcase that still fails.

This looks like an aliasing issue. We're not creating a dependency between a
store and load of a memory location which then allows the scheduler to reorder
the insns.

(insn 2 9 3 2 test.c:10 (set (mem/s/c:DI (plus:DI (reg/f:DI 67 ap)
                (const_int 48 [0x30])) [0 x+0 S8 A64])
        (reg:DI 3 3)) 373 {*movdi_internal64} (expr_list:REG_DEAD (reg:DI 3 3)
        (nil)))
...
(insn 11 8 12 2 test.c:10 (set (reg:DF 126 [ x$a ])
        (mem/s/j/c:DF (plus:DI (reg/f:DI 67 ap)
                (const_int 48 [0x30])) [0 x.a+0 S8 A64])) 360
{*movdf_hardfloat64} (nil))


Some debug data along the dependency creation/alias checking path:

Breakpoint 4, true_dependence (mem=0x40000357068, mem_mode=DImode,
x=0x400003571d0, 
    varies=@0x112aa168: 0x106737c4 <rtx_varies_p>) at
/home/pthaugen/src/gcc/trunk/gcc/gcc/alias.c:2367
2367      return rtx_refs_may_alias_p (x, mem, true);
(gdb) pr x
(mem/s/j/c:DF (plus:DI (reg/f:DI 67 ap)
        (const_int 48 [0x30])) [0 x.a+0 S8 A64])
(gdb) pr mem
(mem/s/c:DI (plus:DI (reg/f:DI 67 ap)
        (const_int 48 [0x30])) [0 x+0 S8 A64])

We then go through rtx_refs_may_alias_p() -> refs_may_alias_p_1() ->
decl_refs_may_alias_p() which contains the following code where we return
false.

  /* If both references are based on different variables, they cannot alias. 
*/
  if (!operand_equal_p (base1, base2, 0))
    return false;

Breakpoint 7, operand_equal_p (arg0=0x40000370110, arg1=0x40000370660, flags=0)
    at /home/pthaugen/src/gcc/trunk/gcc/gcc/fold-const.c:3160
3160      if (TREE_CODE (arg0) == ERROR_MARK || TREE_CODE (arg1) == ERROR_MARK)

(gdb) prt arg0
 <parm_decl 0x40000370110 x
    type <record_type 0x4000042cac8 Scf10 type_0 BLK
        size <integer_cst 0x400002d0e10 constant 256>
        unit size <integer_cst 0x400002d0460 constant 32>
        align 64 symtab 0 alias set -1 canonical type 0x4000042ca20
        fields <field_decl 0x40000450c78 a type <complex_type 0x400003b1c38
complex double>
            DC file test.c line 2 col 19
            size <integer_cst 0x400002d0a50 constant 128>
            unit size <integer_cst 0x400002d0a78 constant 16>
            align 64 offset_align 128
            offset <integer_cst 0x400002d04b0 constant 0>
            bit offset <integer_cst 0x400002d0b90 constant 0> context
<record_type 0x4000042ca20> chain <field_decl 0x40000450d10 b>> context
<translation_unit_decl 0x400003d26d0 D.1272>
        pointer_to_this <pointer_type 0x4000042ce10> chain <type_decl
0x400003d2560 D.1257>>
    used BLK file test.c line 9 col 14 size <integer_cst 0x400002d0e10 256>
unit size <integer_cst 0x400002d0460 32>
    align 64 context <function_decl 0x4000044a700 check>
    (mem/s/c:BLK (plus:DI (reg/f:DI 67 ap)
        (const_int 48 [0x30])) [0 x+0 S32 A64]) arg-type <record_type
0x4000042cac8 Scf10>
    incoming-rtl (reg:DI 3 3 [ x+-8 ]) chain <parm_decl 0x40000370198 y>>
(gdb) prt arg1
 <parm_decl 0x40000370660 x
    type <record_type 0x4000042cac8 Scf10 type_0 BLK
        size <integer_cst 0x400002d0e10 constant 256>
        unit size <integer_cst 0x400002d0460 constant 32>
        align 64 symtab 0 alias set -1 canonical type 0x4000042ca20
        fields <field_decl 0x40000450c78 a type <complex_type 0x400003b1c38
complex double>
            DC file test.c line 2 col 19
            size <integer_cst 0x400002d0a50 constant 128>
            unit size <integer_cst 0x400002d0a78 constant 16>
            align 64 offset_align 128
            offset <integer_cst 0x400002d04b0 constant 0>
            bit offset <integer_cst 0x400002d0b90 constant 0> context
<record_type 0x4000042ca20> chain <field_decl 0x40000450d10 b>> context
<translation_unit_decl 0x400003d26d0 D.1272>
        pointer_to_this <pointer_type 0x4000042ce10> chain <type_decl
0x400003d2560 D.1257>>
    used BLK file test.c line 9 col 14 size <integer_cst 0x400002d0e10 256>
unit size <integer_cst 0x400002d0460 32>
    align 64 context <function_decl 0x4000044a700 check>
    (mem/s/c:BLK (plus:DI (reg/f:DI 67 ap)
        (const_int 48 [0x30])) [0 x+0 S32 A64]) arg-type <record_type
0x4000042cac8 Scf10>
    incoming-rtl (reg:DI 3 3 [ x+-8 ]) chain <parm_decl 0x400003706e8 y>>


In operand_equal_p() we get to the following which returns false:

    case tcc_declaration:
      /* Consider __builtin_sqrt equal to sqrt.  */
      return (TREE_CODE (arg0) == FUNCTION_DECL
              && DECL_BUILT_IN (arg0) && DECL_BUILT_IN (arg1)
              && DECL_BUILT_IN_CLASS (arg0) == DECL_BUILT_IN_CLASS (arg1)
              && DECL_FUNCTION_CODE (arg0) == DECL_FUNCTION_CODE (arg1));


-- 


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

[Bug middle-end/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2010-01-13 22:44 -------
It rightfully returns false - they are two different PARM_DECLs.  This is btw
a regression - marked as such.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org
          Component|tree-optimization           |middle-end
            Summary|compat test struct-by-value-|[4.5 Regression] compat test
                   |17 fails execution with -O1 |struct-by-value-17 fails
                   |-fschedule-insns            |execution with -O1 -
                   |                            |fschedule-insns
   Target Milestone|---                         |4.5.0


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

[Bug middle-end/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2010-01-13 22:51 -------
Can you check -fdump-rtl-all-uid dumps where they start to differ?  It seems
to work ok on i?86-linux.


-- 


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

[Bug middle-end/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2010-01-13 23:22 -------
Happens in split_complex_args it seems.  What this does is changing a
Complex PARM_DECL into a component PARM_DECL and add another for the remaining
component.  But it doesn't adjust the function IL nor the MEM_ATTRs that are
generated for its accesses.

WTF.

And what a mess.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
 GCC target triplet|powerpc64-linux             |powerpc64-linux, alpha-*-*,
                   |                            |xtensa-*-*
   Last reconfirmed|0000-00-00 00:00:00         |2010-01-13 23:22:21
               date|                            |


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

[Bug middle-end/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[rguenth at gcc dot gnu dot org]

------- Comment #7 from rguenth at gcc dot gnu dot org  2010-01-13 23:29 -------
100000 bonus points if you make ppc not use that weird feature.  I can't see
a single good reason for its existence.


-- 


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

[Bug middle-end/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2010-01-13 23:48 -------
split_complex_args came in from:
------------------------------------------------------------------------
r67367 | aldyh | 2003-06-03 04:14:07 -0700 (Tue, 03 Jun 2003) | 24 lines

2003-06-03  Aldy Hernandez  <aldyh@redhat.com>

        * function.c (assign_parms): Split complex arguments.

        * doc/tm.texi (SPLIT_COMPLEX_ARGS): Document.

        * expr.h (SPLIT_COMPLEX_ARGS): Define.
        (split_complex_types): Protoize.
        (split_complex_values): Protoize.

        * calls.c (expand_call): Split complex arguments on architectures
        that require it.
        (split_complex_values): New.
        (split_complex_types): New.

        * config/rs6000/rs6000.c (rs6000_libcall_value): New.
        (rs6000_function_value): Handle complex values on AIX.
        (rs6000_complex_function_value): New.

        * config/rs6000/rs6000-protos.h (rs6000_libcall_value): Protoize.

        * config/rs6000/rs6000.h (LIBCALL_VALUE): Call function.
        (SPLIT_COMPLEX_ARGS): New.

--- CUT ---
Plus someone forgot to say:
(split_complex_args): New.
in the changelog.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |aldyh at gcc dot gnu dot org


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

[Bug middle-end/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2010-01-14 14:34 -------
Ugh.

  args = copy_list (args);

simple-minded copies all PARM_DECLs in the function - but of course the
actual functions parameter list is not adjusted, this is only a temporary
list used for parameter setup.

So

 1) remove that bogus target hook (and thus the copy_list call)

 2) make split_complex_args and its callers and all the consumers of the
    altered argument list use a VEC of PARM_DECLs instead of a chain
    of PARM_DECLs

assign_parms_unsplit_complex tries to fixup after the fact but obviously
misses both DECL_RTL and more important already generated instructions.

Thus, the following hack fixes the testcase - can you verify that?

Index: gcc/function.c
===================================================================
*** gcc/function.c      (revision 155904)
--- gcc/function.c      (working copy)
*************** assign_parms_unsplit_complex (struct ass
*** 3125,3130 ****
--- 3125,3132 ----
        }
        else
        {
+         rtx p;
+ 
          SET_DECL_RTL (parm, DECL_RTL (fnargs));
          set_decl_incoming_rtl (parm, DECL_INCOMING_RTL (fnargs), false);

*************** assign_parms_unsplit_complex (struct ass
*** 3132,3137 ****
--- 3134,3155 ----
             instead of the copy of decl, i.e. FNARGS.  */
          if (DECL_INCOMING_RTL (parm) && MEM_P (DECL_INCOMING_RTL (parm)))
            set_mem_expr (DECL_INCOMING_RTL (parm), parm);
+         if (MEM_P (DECL_RTL (parm)))
+           set_mem_expr (DECL_RTL (parm), parm);
+ 
+         /* Also fixup already generated RTL.  */
+         for (p = get_insns (); p; p = NEXT_INSN (p))
+           {
+             rtx x;
+             if ((x = single_set (p))
+                 && MEM_P (SET_DEST (x)))
+               {
+                 x = SET_DEST (x);
+                 if (MEM_EXPR (x)
+                     && MEM_EXPR (x) == fnargs)
+                   set_mem_expr (x, parm);
+               }
+           }
        }

        fnargs = TREE_CHAIN (fnargs);


-- 


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

[Bug middle-end/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[rguenth at gcc dot gnu dot org]

------- Comment #10 from rguenth at gcc dot gnu dot org  2010-01-14 15:15 -------
Created an attachment (id=19597)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19597&action=view)
patch 2)

Implements 2) - can you test that as well?  Another possibility would be to
move the split complex handling to the callers of
assign_parms_augmented_arg_list
instead - but I guess the patch wouldn't get any cleaner and this one is
easier to verify as a 1:1 transformation.

I'm testing it on x86_64-linux.


-- 


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

[Bug tree-optimization/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[pthaugen at gcc dot gnu dot org]

------- Comment #11 from pthaugen at gcc dot gnu dot org  2010-01-14 15:45 -------
I'll test on PPC.


-- 

pthaugen at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pthaugen at gcc dot gnu dot
                   |                            |org
          Component|middle-end                  |tree-optimization
   Target Milestone|4.5.0                       |---


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

[Bug middle-end/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|tree-optimization           |middle-end
   Target Milestone|---                         |4.5.0


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

[Bug middle-end/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2010-01-13 23:22:21         |2010-01-14 16:29:09
               date|                            |


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

[Bug middle-end/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug middle-end/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[pthaugen at gcc dot gnu dot org]

------- Comment #12 from pthaugen at gcc dot gnu dot org  2010-01-14 17:29 -------
The first patch appeared to work, resulting in correct ordering, but the second
patch had some issues. It also corrected the original ordering, but introduced
some new incorrect code for handling the args coming in in FPR regs.

Check:

.L.check:
        mflr 0
        std 0,16(1)
        stdu 1,-128(1)
        std 3,176(1)
        std 4,184(1)
        std 5,192(1)
        std 6,200(1)
        lfd 13,184(1)
        lfd 0,176(1)
>>        std 8,112(1)
>>        lfd 12,112(1)
>>        fcmpu 7,0,12
        crnot 30,30
        beq 7,.L4
>>        fcmpu 7,13,1
        beq 7,.L1

The first compare should be comparing FP12 against FP1, not sure how the GPR8
stuff got in there, nothing is even passed in GPR8.


Init:

.L.init:
        std 5,0(3)
        stfd 1,8(3)
        blr

Should just be storing FPR1/FPR2 into consecutive locations.


-- 


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

[Bug middle-end/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[rguenth at gcc dot gnu dot org]

------- Comment #13 from rguenth at gcc dot gnu dot org  2010-01-15 09:41 -------
Created an attachment (id=19606)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19606&action=view)
fixed patch

Ah, obvious oversight - I forgot to replace the realpart parameter in the
vector of parameters.  Can you check the updated patch?


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #19597|0                           |1
        is obsolete|                            |


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

[Bug middle-end/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[rguenth at gcc dot gnu dot org]

------- Comment #14 from rguenth at gcc dot gnu dot org  2010-01-17 14:20 -------
Any news on the updated patch?


-- 


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

[Bug middle-end/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[pthaugen at gcc dot gnu dot org]

------- Comment #15 from pthaugen at gcc dot gnu dot org  2010-01-17 16:54 -------
Updated patch works for testcase and bootstrap/regtest on PPC passed.  Thx.


-- 


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

[Bug middle-end/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[rguenth at gcc dot gnu dot org]

------- Comment #16 from rguenth at gcc dot gnu dot org  2010-01-17 17:00 -------
Subject: Bug 42248

Author: rguenth
Date: Sun Jan 17 17:00:47 2010
New Revision: 155984

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=155984
Log:
2010-01-17  Richard Guenther  <rguenther@suse.de>

        PR middle-end/42248
        * function.c (split_complex_args): Take a VEC to modify.
        (assign_parms_augmented_arg_list): Build a VEC instead of
        a chain of PARM_DECLs.
        (assign_parms_unsplit_complex): Take a VEC of arguments.
        Do not fixup unmodified parms.
        (assign_parms): Deal with the VEC.
        (gimplify_parameters): Likewise.

        * gcc.c-torture/execute/pr42248.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr42248.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/function.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug middle-end/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[rguenth at gcc dot gnu dot org]

------- Comment #17 from rguenth at gcc dot gnu dot org  2010-01-17 17:01 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug middle-end/42248] [4.5 Regression] compat test struct-by-value-17 fails execution with -O1 -fschedule-insns

[hjl at gcc dot gnu dot org]

------- Comment #18 from hjl at gcc dot gnu dot org  2010-02-07 04:44 -------
Subject: Bug 42248

Author: hjl
Date: Sun Feb  7 04:41:22 2010
New Revision: 156562

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=156562
Log:
Backport testcases from mainline to 4.4.

2010-02-06  H.J. Lu  <hongjiu.lu@intel.com>

        Backport from mainline:
        2010-02-05  Dodji Seketeli  <dodji@redhat.com>

        PR c++/42915
        * g++.dg/other/crash-9.C: New test.

        2010-02-03  Jason Merrill  <jason@redhat.com>

        PR c++/40138
        * g++.dg/ext/builtin11.C: New.

        2010-02-03  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/42944
        * gcc.dg/errno-1.c: New testcase.

        2010-02-03  Richard Guenther  <rguenther@suse.de>

        PR middle-end/42927
        * gcc.c-torture/compile/pr42927.c: New testcase.

        2010-01-29  Dodji Seketeli  <dodji@redhat.com>

        PR c++/42758
        PR c++/42634
        PR c++/42336
        PR c++/42797
        PR c++/42880
        * g++.dg/other/crash-5.C: New test.
        * g++.dg/other/crash-7.C: New test.
        * g++.dg/other/crash-8.C: New test.

        2010-01-28  Uros Bizjak  <ubizjak@gmail.com>

        PR target/42891
        * gcc.target/i386/pr42891.c: New test.

        2010-01-28  Richard Guenther  <rguenther@suse.de>

        PR middle-end/42883
        * g++.dg/torture/pr42883.C: New testcase.

        2010-01-28  Michael Matz  <matz@suse.de>

        * gcc.target/i386/pr42881.c: New test.

        2010-01-28  Dodji Seketeli  <dodji@redhat.com>

        PR c++/42713
        PR c++/42820
        * g++.dg/template/typedef27.C: New test case.
        * g++.dg/template/typedef28.C: New test case.

        2010-01-27  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/42874
        * gcc.dg/vla-22.c: New test.

        2010-01-26  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/42250
        * gcc.dg/pr42250.c: New testcase.

        2010-01-25  Tobias Burnus  <burnus@net-b.de>

        PR fortran/42858
        * gfortran.dg/generic_21.f90: New test.

        2010-01-21  Martin Jambor  <mjambor@suse.cz>

        PR tree-optimization/42585
        * gcc.dg/tree-ssa/pr42585.c: New test.

        2010-01-20  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/42715
        * gcc.dg/pr42715.c: New.

        2010-01-20  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/42717
        * gcc.c-torture/compile/pr42717.c: New testcase.

        2010-01-19  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/42783
        * gfortran.dg/bounds_check_15.f90 : New test.

        2010-01-18  Dodji Seketeli  <dodji@redhat.com>

        PR c++/42766
        * g++.dg/conversion/op6.C: New test.

        2010-01-18  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/42781
        * gfortran.fortran-torture/compile/pr42781.f90: New testcase.

        2010-01-17  Richard Guenther  <rguenther@suse.de>

        PR middle-end/42248
        * gcc.c-torture/execute/pr42248.c: New testcase.

        2010-01-17  Janus Weil  <janus@gcc.gnu.org>

        PR fortran/42677
        * gfortran.dg/interface_assignment_5.f90: New test.

        2010-01-15  Richard Guenther  <rguenther@suse.de>

        PR middle-end/42739
        * g++.dg/torture/pr42739.C: New testcase.

        2010-01-14 Jerry DeLisle <jvdelisle@gcc.gnu.org>

        PR fortran/42684
        * gfortran.dg/interface_31.f90: New test.

        2010-01-14  Martin Jambor  <mjambor@suse.cz>

        PR tree-optimization/42706
        * gcc.dg/ipa/pr42706.c: New testcase.

        2010-01-14  Martin Jambor  <mjambor@suse.cz>

        PR tree-optimization/42714
        * g++.dg/torture/pr42714.C: New test.

        2010-01-14  Alexander Monakov  <amonakov@ispras.ru>

        PR rtl-optimization/42388
        * gcc.dg/pr42388.c: New.

        2010-01-14  Alexander Monakov <amonakov@ispras.ru>

        PR rtl-optimization/42294
        * gfortran.dg/pr42294.f: New.

        2010-01-14  Ira Rosen  <irar@il.ibm.com>

        PR tree-optimization/42709
        * gcc.dg/vect/pr42709.c: New test.

        2010-01-13  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/42730
        * gcc.c-torture/compile/pr42730.c: New testcase.

        2010-01-13  Martin Jambor  <mjambor@suse.cz>

        PR tree-optimization/42704
        * g++.dg/torture/pr42704.C: New test.

        2010-01-13  Martin Jambor  <mjambor@suse.cz>

        PR tree-optimization/42703
        * gcc.c-torture/compile/pr42703.c: New test.

        2010-01-13  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/42705
        * gcc.c-torture/compile/pr42705.c: New testcase.

        2010-01-13  Richard Guenther  <rguenther@suse.de>

        PR middle-end/42716
        * gcc.c-torture/compile/pr42716.c: New testcase.

        2010-01-12  Joseph Myers  <joseph@codesourcery.com>

        PR c/42708
        * gcc.c-torture/compile/pr42708-1.c: New test.

        2010-01-09  Alexandre Oliva  <aoliva@redhat.com>

        PR middle-end/42363
        * gcc.dg/torture/pr42363.c: New.

        2010-01-09  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/42604
        PR debug/42395
        * gcc.dg/vect/pr42604.c: New.
        * gcc.dg/vect/pr42395.c: New.

        2010-01-09  Richard Guenther  <rguenther@suse.de>

        PR middle-end/42512
        * gcc.c-torture/execute/pr42512.c: New testcase.

Added:
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/conversion/op6.C
      - copied unchanged from r156561,
trunk/gcc/testsuite/g++.dg/conversion/op6.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/ext/builtin11.C
      - copied unchanged from r156561,
trunk/gcc/testsuite/g++.dg/ext/builtin11.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/other/crash-5.C
      - copied unchanged from r156561,
trunk/gcc/testsuite/g++.dg/other/crash-5.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/other/crash-7.C
      - copied unchanged from r156561,
trunk/gcc/testsuite/g++.dg/other/crash-7.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/other/crash-8.C
      - copied unchanged from r156561,
trunk/gcc/testsuite/g++.dg/other/crash-8.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/other/crash-9.C
      - copied unchanged from r156561,
trunk/gcc/testsuite/g++.dg/other/crash-9.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/template/typedef27.C
      - copied unchanged from r156561,
trunk/gcc/testsuite/g++.dg/template/typedef27.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/template/typedef28.C
      - copied unchanged from r156561,
trunk/gcc/testsuite/g++.dg/template/typedef28.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/torture/pr42704.C
      - copied unchanged from r156561,
trunk/gcc/testsuite/g++.dg/torture/pr42704.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/torture/pr42714.C
      - copied unchanged from r156561,
trunk/gcc/testsuite/g++.dg/torture/pr42714.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/torture/pr42739.C
      - copied unchanged from r156561,
trunk/gcc/testsuite/g++.dg/torture/pr42739.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/torture/pr42883.C
      - copied unchanged from r156561,
trunk/gcc/testsuite/g++.dg/torture/pr42883.C
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/compile/pr42703.c
      - copied unchanged from r156561,
trunk/gcc/testsuite/gcc.c-torture/compile/pr42703.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/compile/pr42705.c
      - copied unchanged from r156561,
trunk/gcc/testsuite/gcc.c-torture/compile/pr42705.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/compile/pr42708-1.c
      - copied unchanged from r156561,
trunk/gcc/testsuite/gcc.c-torture/compile/pr42708-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/compile/pr42716.c
      - copied unchanged from r156561,
trunk/gcc/testsuite/gcc.c-torture/compile/pr42716.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/compile/pr42717.c
      - copied unchanged from r156561,
trunk/gcc/testsuite/gcc.c-torture/compile/pr42717.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/compile/pr42730.c
      - copied unchanged from r156561,
trunk/gcc/testsuite/gcc.c-torture/compile/pr42730.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/compile/pr42927.c
      - copied unchanged from r156561,
trunk/gcc/testsuite/gcc.c-torture/compile/pr42927.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/execute/pr42248.c
      - copied unchanged from r156561,
trunk/gcc/testsuite/gcc.c-torture/execute/pr42248.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/execute/pr42512.c
      - copied unchanged from r156561,
trunk/gcc/testsuite/gcc.c-torture/execute/pr42512.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/errno-1.c
      - copied unchanged from r156561, trunk/gcc/testsuite/gcc.dg/errno-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/ipa/pr42706.c
      - copied unchanged from r156561, trunk/gcc/testsuite/gcc.dg/ipa/pr42706.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/pr42250.c
      - copied unchanged from r156561, trunk/gcc/testsuite/gcc.dg/pr42250.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/pr42388.c
      - copied unchanged from r156561, trunk/gcc/testsuite/gcc.dg/pr42388.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/pr42715.c
      - copied unchanged from r156561, trunk/gcc/testsuite/gcc.dg/pr42715.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/torture/pr42363.c
      - copied unchanged from r156561,
trunk/gcc/testsuite/gcc.dg/torture/pr42363.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/tree-ssa/pr42585.c
      - copied unchanged from r156561,
trunk/gcc/testsuite/gcc.dg/tree-ssa/pr42585.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/vect/pr42395.c
      - copied unchanged from r156561,
trunk/gcc/testsuite/gcc.dg/vect/pr42395.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/vect/pr42604.c
      - copied unchanged from r156561,
trunk/gcc/testsuite/gcc.dg/vect/pr42604.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/vect/pr42709.c
      - copied unchanged from r156561,
trunk/gcc/testsuite/gcc.dg/vect/pr42709.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/vla-22.c
      - copied unchanged from r156561, trunk/gcc/testsuite/gcc.dg/vla-22.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/pr42881.c
      - copied unchanged from r156561,
trunk/gcc/testsuite/gcc.target/i386/pr42881.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/pr42891.c
      - copied unchanged from r156561,
trunk/gcc/testsuite/gcc.target/i386/pr42891.c
    branches/gcc-4_4-branch/gcc/testsuite/gfortran.dg/bounds_check_15.f90
      - copied unchanged from r156561,
trunk/gcc/testsuite/gfortran.dg/bounds_check_15.f90
    branches/gcc-4_4-branch/gcc/testsuite/gfortran.dg/generic_21.f90
      - copied unchanged from r156561,
trunk/gcc/testsuite/gfortran.dg/generic_21.f90
    branches/gcc-4_4-branch/gcc/testsuite/gfortran.dg/interface_31.f90
      - copied unchanged from r156561,
trunk/gcc/testsuite/gfortran.dg/interface_31.f90
   
branches/gcc-4_4-branch/gcc/testsuite/gfortran.dg/interface_assignment_5.f90
      - copied unchanged from r156561,
trunk/gcc/testsuite/gfortran.dg/interface_assignment_5.f90
    branches/gcc-4_4-branch/gcc/testsuite/gfortran.dg/pr42294.f
      - copied unchanged from r156561,
trunk/gcc/testsuite/gfortran.dg/pr42294.f
   
branches/gcc-4_4-branch/gcc/testsuite/gfortran.fortran-torture/compile/pr42781.f90
      - copied unchanged from r156561,
trunk/gcc/testsuite/gfortran.fortran-torture/compile/pr42781.f90
Modified:
    branches/gcc-4_4-branch/gcc/testsuite/ChangeLog


-- 


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