From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-411154-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 10278 invoked by alias); 4 Jan 2013 09:12:39 -0000
Received: (qmail 10184 invoked by uid 55); 4 Jan 2013 09:12:10 -0000
From: "venkataramanan.kumar at amd dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug rtl-optimization/55845] 454.calculix miscompares with -march=btver2 -O3 -ffastmath -fschedule-insns -mvzeroupper for test data run
Date: Fri, 04 Jan 2013 09:12:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: rtl-optimization
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: venkataramanan.kumar at amd dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields:
Message-ID: <bug-55845-4-6AfwghQWBY@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-55845-4@http.gcc.gnu.org/bugzilla/>
References: <bug-55845-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
X-SW-Source: 2013-01/txt/msg00273.txt.bz2


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

--- Comment #5 from Venkataramanan <venkataramanan.kumar at amd dot com> 2013-01-04 09:12:09 UTC ---
Hi Uros.

Thank you for conforming.

I suspected this is a problem with jump optimization.  Uros what flag we need
to pass to bypass the .jump2 pass?

Regards,
Venkat.


-----Original Message-----
From: ubizjak at gmail dot com [mailto:gcc-bugzilla@gcc.gnu.org] 
Sent: Friday, January 04, 2013 1:43 PM
To: Kumar, Venkataramanan
Subject: [Bug rtl-optimization/55845] 454.calculix miscompares with
-march=btver2 -O3 -ffastmath -fschedule-insns -mvzeroupper for test data run


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

Uros Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-01-04
     Ever Confirmed|0                           |1

--- Comment #4 from Uros Bizjak <ubizjak at gmail dot com> 2013-01-04 08:13:03
UTC --- Please note how unspec_volatile vzeroupper (insn 225) moves above
conditional jump comparison, passing many instructions:

_.c.218r.csa:

  ...
  110: {r8:SI=r8:SI+r11:SI;clobber flags:CC;}
      REG_UNUSED flags:CC
  111: flags:CCZ=cmp(bx:SI,r11:SI)
      REG_DEAD r11:SI
      REG_DEAD bx:SI
  105: xmm2:V4DF=vec_select(vec_concat(xmm1:V4DF,xmm1:V4DF),parallel)
  106: xmm1:V4DF=xmm1:V4DF+xmm2:V4DF
      REG_DEAD xmm2:V4DF
  234: xmm1:V2DF=xmm1:V2DF
  235: xmm1:DF=xmm1:DF
  109: xmm0:DF=xmm0:DF+xmm1:DF
      REG_DEAD xmm1:DF
  112: pc={(flags:CCZ==0)?L230:pc}
      REG_DEAD flags:CCZ
      REG_BR_PROB 0xd06
  226: NOTE_INSN_BASIC_BLOCK 22
  225: unspec/v[0] 43
  113: L113:
  114: NOTE_INSN_BASIC_BLOCK 23
  ...

_.c.219r.jump2:

  ...
  110: {r8:SI=r8:SI+r11:SI;clobber flags:CC;}
      REG_UNUSED flags:CC
  225: unspec/v[0] 43
  111: flags:CCZ=cmp(bx:SI,r11:SI)
      REG_DEAD r11:SI
      REG_DEAD bx:SI
  105: xmm2:V4DF=vec_select(vec_concat(xmm1:V4DF,xmm1:V4DF),parallel)
  106: xmm1:V4DF=xmm1:V4DF+xmm2:V4DF
      REG_DEAD xmm2:V4DF
  109: xmm0:DF=xmm0:DF+xmm1:DF
      REG_DEAD xmm1:DF
  112: pc={(flags:CCZ==0)?L231:pc}
      REG_DEAD flags:CCZ
      REG_BR_PROB 0xd06
  113: L113:
  114: NOTE_INSN_BASIC_BLOCK 23
  ...

Confirmed as rtl-optimization infrastructure problem.

--
Configure bugmail: http://gcc.gnu.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: ------- You reported the bug.