[Bug rtl-optimization/67749] New: FAIL: gcc.dg/ifcvt-2.c scan-rtl-dump ce1 "3 true changes made"

[Bug rtl-optimization/67749] New: FAIL: gcc.dg/ifcvt-2.c scan-rtl-dump ce1 "3 true changes made"

[hjl.tools at gmail dot com]

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

            Bug ID: 67749
           Summary: FAIL: gcc.dg/ifcvt-2.c scan-rtl-dump ce1 "3 true
                    changes made"
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hjl.tools at gmail dot com
                CC: ktkachov at gcc dot gnu.org
  Target Milestone: ---

On x86, r228196 gave:

FAIL: gcc.dg/ifcvt-2.c scan-rtl-dump ce1 "3 true changes made"

[Bug rtl-optimization/67749] FAIL: gcc.dg/ifcvt-2.c scan-rtl-dump ce1 "3 true changes made"

[izamyatin at gmail dot com]

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

Igor Zamyatin <izamyatin at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |izamyatin at gmail dot com

--- Comment #1 from Igor Zamyatin <izamyatin at gmail dot com> ---
Any progress on this?

[Bug rtl-optimization/67749] FAIL: gcc.dg/ifcvt-2.c scan-rtl-dump ce1 "3 true changes made"

[ktkachov at gcc dot gnu.org]

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

ktkachov at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2015-10-08
           Assignee|unassigned at gcc dot gnu.org      |ktkachov at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #2 from ktkachov at gcc dot gnu.org ---
I'm working on it.
Testing a patch.

This is a missed-optimization rather than wrong-code

[Bug rtl-optimization/67749] FAIL: gcc.dg/ifcvt-2.c scan-rtl-dump ce1 "3 true changes made"

[ubizjak at gmail dot com]

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

--- Comment #3 from Uroš Bizjak <ubizjak at gmail dot com> ---
Please note that with -m32 we have additional testsuite FAIL [1] with
ifcvt-3.c:

FAIL: gcc.dg/ifcvt-2.c scan-rtl-dump ce1 "3 true changes made"
FAIL: gcc.dg/ifcvt-3.c scan-rtl-dump ce1 "3 true changes made"

[1] https://gcc.gnu.org/ml/gcc-testresults/2015-10/msg00812.html
>From gcc-bugs-return-499031-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Oct 08 12:21:45 2015
Return-Path: <gcc-bugs-return-499031-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 49212 invoked by alias); 8 Oct 2015 12:21:44 -0000
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
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 49174 invoked by uid 48); 8 Oct 2015 12:21:41 -0000
From: "john.donners at surfsara dot nl" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/67894] New: bounds of assumed-rank dummy argument not equal to actual argument
Date: Thu, 08 Oct 2015 12:21:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: fortran
X-Bugzilla-Version: 5.2.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: john.donners at surfsara dot nl
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter target_milestone
Message-ID: <bug-67894-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-10/txt/msg00586.txt.bz2
Content-length: 1629

https://gcc.gnu.org/bugzilla/show_bug.cgi?idg894

            Bug ID: 67894
           Summary: bounds of assumed-rank dummy argument not equal to
                    actual argument
           Product: gcc
           Version: 5.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: john.donners at surfsara dot nl
  Target Milestone: ---

the draft Fortran 2015 standard reads:

An actual argument of any rank may correspond to an assumed-rank dummy
argument. The rank and shape of the dummy argument are the rank and shape of
the corresponding actual argument. If the rank is nonzero, the lower and upper
bounds of the dummy argument are those that would be given by the intrinsic
functions LBOUND and UBOUND respectively if applied to the actual argument,
except that when the actual argument is assumed-size, the upper bound of the
last dimension of the dummy argument is 2 less than the lower bound of
that dimension.

(section 12.5.2.4, paragraph 15)

Here is a small test program:

program assumedrank
 implicit none
 real,dimension(:,:,:),allocatable :: bb
 real,dimension(3:9,10:15,16:32) :: c

 allocate(bb(3:9,10:15,16:32))
 print*, 'Actual argument, allocatable, lbound=',lbound(bb)
 call p(bb)
 print*, 'Actual argument, lbound=',lbound(c)
 call p(c)

 contains

 subroutine p(a)
  real,dimension(..) :: a
  print*,'Dummy argument, lbound=',lbound(a)

 end subroutine p

end

gfortran 5.2.0 returns 1 1 1 as the lower bounds, both for the allocatable and
the fixed-shape array.

[Bug rtl-optimization/67749] FAIL: gcc.dg/ifcvt-2.c scan-rtl-dump ce1 "3 true changes made"

[ktkachov at gcc dot gnu.org]

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

--- Comment #4 from ktkachov at gcc dot gnu.org ---
(In reply to Uroš Bizjak from comment #3)
> Please note that with -m32 we have additional testsuite FAIL [1] with
> ifcvt-3.c:
> 
> FAIL: gcc.dg/ifcvt-2.c scan-rtl-dump ce1 "3 true changes made"
> FAIL: gcc.dg/ifcvt-3.c scan-rtl-dump ce1 "3 true changes made"
> 
> [1] https://gcc.gnu.org/ml/gcc-testresults/2015-10/msg00812.html

Yes, the ifcvt-3.c failure is PR 67462.
But there it's a costs decision, and I'm inclined to skip that test for
x86/-m32
>From gcc-bugs-return-499033-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Oct 08 13:05:02 2015
Return-Path: <gcc-bugs-return-499033-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 104543 invoked by alias); 8 Oct 2015 13:05:02 -0000
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
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 101868 invoked by uid 48); 8 Oct 2015 13:04:57 -0000
From: "afomin.mailbox at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/67895] New: Wrong assembly: incorrect rounding/SAE specifier position
Date: Thu, 08 Oct 2015 13:05:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 6.0
X-Bugzilla-Keywords: assemble-failure, wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: afomin.mailbox at gmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status keywords bug_severity priority component assigned_to reporter cc target_milestone cf_gcctarget
Message-ID: <bug-67895-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-10/txt/msg00588.txt.bz2
Content-length: 1016

https://gcc.gnu.org/bugzilla/show_bug.cgi?idg895

            Bug ID: 67895
           Summary: Wrong assembly: incorrect rounding/SAE specifier
                    position
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Keywords: assemble-failure, wrong-code
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: afomin.mailbox at gmail dot com
                CC: kyukhin at gcc dot gnu.org
  Target Milestone: ---
            Target: i?86-*-*, x86_64-*-*

Trying to assemble avx512dq-vrange*.c tests from gcc.target/i386 testsuite
using GNU as v2.25 or higher results in a number of errors like:

RC/SAE operand must follow immediate operands for `vrange*`.

Same thing happens for avx512f-vcvt?si2*.c tests (but error message is slightly
different):
operand type mismatch for `vcvt?si2*'.

The reason is that GCC emits an insn with rounding/SAE specifier in a wrong
place.