From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 22514 invoked by alias); 15 Feb 2008 15:13:35 -0000 Received: (qmail 22499 invoked by uid 22791); 15 Feb 2008 15:13:33 -0000 X-Spam-Check-By: sourceware.org Received: from nikam-dmz.ms.mff.cuni.cz (HELO nikam.ms.mff.cuni.cz) (195.113.20.16) by sourceware.org (qpsmtpd/0.31) with ESMTP; Fri, 15 Feb 2008 15:13:16 +0000 Received: by nikam.ms.mff.cuni.cz (Postfix, from userid 29025) id 864835B82F; Fri, 15 Feb 2008 16:13:13 +0100 (CET) Date: Fri, 15 Feb 2008 15:19:00 -0000 From: Zdenek Dvorak To: Christian BRUEL Cc: gcc-patches@gcc.gnu.org Subject: Re: [PING][patch,loopiv] misaligned packed array memory access Message-ID: <20080215151313.GC17038@kam.mff.cuni.cz> References: <47B2F979.30608@st.com> <20080213195614.GA29383@kam.mff.cuni.cz> <47B3E6BF.8010908@st.com> <20080214154447.GA31590@kam.mff.cuni.cz> <47B55494.2060000@st.com> <20080215140437.GA25026@kam.mff.cuni.cz> <47B5A58E.6000008@st.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <47B5A58E.6000008@st.com> User-Agent: Mutt/1.5.9i Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org X-SW-Source: 2008-02/txt/msg00562.txt.bz2 Hi, > ok, I see now what you meant, just that we also need to pass the > computed offset: > > val1 = fold_build2 (MULT_EXPR, type, step, toffset); this does not seem to be necessary (step is the step of the address of the reference in bytes, no need to multiply it by anything). > val = fold_build2 (PLUS_EXPR, base_type, base, val1); I am not sure what you mean by this? As far as I understand the problem, we need to check that 1) the address is aligned in the first iteration -- which we do now, and 2) the step is a multiple of the alignment Zdenek