[Bug c++/57599] result of dynamic_cast<cv T> is just T

["abel at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

--- Comment #5 from Andrey Belevantsev <abel at gcc dot gnu.org> ---
(In reply to Daniel Krügler from comment #4)
> I created a test case for all type conversion operators:

Paolo has already submitted a patch with the expanded test case at
http://gcc.gnu.org/ml/gcc-patches/2013-06/msg00760.html/
>From gcc-bugs-return-424285-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Jun 13 07:12:36 2013
Return-Path: <gcc-bugs-return-424285-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 15965 invoked by alias); 13 Jun 2013 07:12:35 -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 15897 invoked by uid 48); 13 Jun 2013 07:12:26 -0000
From: "glisse at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/57601] New: Vector lowering could use larger modes
Date: Thu, 13 Jun 2013 07:12:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords: missed-optimization
X-Bugzilla-Severity: normal
X-Bugzilla-Who: glisse at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
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 cf_gcctarget
Message-ID: <bug-57601-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: 2013-06/txt/msg00664.txt.bz2
Content-length: 1077

http://gcc.gnu.org/bugzilla/show_bug.cgi?idW601

            Bug ID: 57601
           Summary: Vector lowering could use larger modes
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Keywords: missed-optimization
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: glisse at gcc dot gnu.org
            Target: x86_64-linux-gnu

typedef int vec __attribute__((vector_size(2*sizeof(int))));
vec f(vec a, vec b){
  return a-b;
}

    vmovq    %xmm0, %rcx
    vmovq    %xmm1, %rdx
    movl    %ecx, %eax
    shrq    $32, %rcx
    subl    %edx, %eax
    shrq    $32, %rdx
    subl    %edx, %ecx
    vmovd    %eax, %xmm2
    vpinsrd    $1, %ecx, %xmm2, %xmm0

(with -Ofast -mavx2) whereas if I change the size to 4, I get:

    vpsubd    %xmm1, %xmm0, %xmm0

which seems valid to me even for size 2. It is not clear to me how to model
that at tree level, maybe it would be easier to just implement V2SI operations
in the backend?