public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug optimization/14187] New: [tree-ssa] restricted pointers should not alias
@ 2004-02-18  8:20 dann at godzilla dot ics dot uci dot edu
  2004-02-18 11:04 ` [Bug optimization/14187] " falk at debian dot org
                   ` (5 more replies)
  0 siblings, 6 replies; 18+ messages in thread
From: dann at godzilla dot ics dot uci dot edu @ 2004-02-18  8:20 UTC (permalink / raw)
  To: gcc-bugs

Given:
extern void link_error (void);

void bar0 (int * __restrict__ arr1, int * __restrict__ arr2)
{
  arr1[0] = 1;
  arr2[0] = 1;
  if (arr1[0] != 1)
    link_error ();
}

arr1 and arr2 should not alias, hence the "if" should be eliminated

The .optimized dump is: 

bar0 (arr1, arr2)
{
<bb 0>:
  #   TMT.46_5 = VDEF <TMT.46_4>;
  *arr1 = 1;
  #   TMT.46_6 = VDEF <TMT.46_5>;
  *arr2 = 1;
  if (*arr1 != 1) goto <L0>; else goto <L1>;

<L0>:;
  #   TMT.46_7 = VDEF <TMT.46_6>;
  link_error ();

<L1>:;
  return;

}

-- 
           Summary: [tree-ssa] restricted pointers should not alias
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dann at godzilla dot ics dot uci dot edu
                CC: gcc-bugs at gcc dot gnu dot org


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


^ permalink raw reply	[flat|nested] 18+ messages in thread
[parent not found: <bug-14187-1008@http.gcc.gnu.org/bugzilla/>]
end of thread, other threads:[~2008-10-01 14:41 UTC | newest]

Thread overview: 18+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-02-18  8:20 [Bug optimization/14187] New: [tree-ssa] restricted pointers should not alias dann at godzilla dot ics dot uci dot edu
2004-02-18 11:04 ` [Bug optimization/14187] " falk at debian dot org
2004-02-18 13:06 ` [Bug optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level pinskia at gcc dot gnu dot org
2004-02-18 13:43 ` dnovillo at gcc dot gnu dot org
2004-03-12 17:15 ` dann at godzilla dot ics dot uci dot edu
2004-05-24 16:44 ` [Bug tree-optimization/14187] " pinskia at gcc dot gnu dot org
2004-07-02  0:19 ` pinskia at gcc dot gnu dot org
     [not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
2006-03-10 15:34 ` dnovillo at gcc dot gnu dot org
2007-06-11  0:48 ` pinskia at gcc dot gnu dot org
2008-10-01 14:29 ` rguenth at gcc dot gnu dot org
2008-10-01 14:31 ` rguenth at gcc dot gnu dot org
2008-10-01 14:33 ` rguenth at gcc dot gnu dot org
2008-10-01 14:35 ` rguenth at gcc dot gnu dot org
2008-10-01 14:35 ` rguenth at gcc dot gnu dot org
2008-10-01 14:36 ` rguenth at gcc dot gnu dot org
2008-10-01 14:37 ` rguenth at gcc dot gnu dot org
2008-10-01 14:39 ` rguenth at gcc dot gnu dot org
2008-10-01 14:41 ` rguenth at gcc dot gnu dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).