From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 9822 invoked by alias); 19 Nov 2012 14:03:08 -0000 Received: (qmail 8456 invoked by uid 48); 19 Nov 2012 14:02:39 -0000 From: "jakub at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug rtl-optimization/55393] gcc/g++ multiplies two unsigned integers using the IMULQ instruction Date: Mon, 19 Nov 2012 14:03: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: jakub 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-Changed-Fields: CC Message-ID: In-Reply-To: References: 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: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2012-11/txt/msg01767.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55393 Jakub Jelinek changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #1 from Jakub Jelinek 2012-11-19 14:02:38 UTC --- 999999999999999999UL is 0xde0b6b3a763ffffUL, that definitely doesn't have bit 63 set, and that times 1024UL is 0x82dace9d8ffffc00UL which is bigger than 0xde0b6b3a763ffffUL, so can you shed some light why you think it should print overflow? I don't see any bug in the generated code, only in your assumptions.