This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Transform (x / y) != 0 to x >=y and (x / y) == 0 to x < y if x, y are unsigned

From: Prathamesh Kulkarni <prathamesh dot kulkarni at linaro dot org>
To: gcc Patches <gcc-patches at gcc dot gnu dot org>, Richard Biener <rguenther at suse dot de>
Date: Fri, 15 Sep 2017 16:30:43 +0530
Subject: Transform (x / y) != 0 to x >=y and (x / y) == 0 to x < y if x, y are unsigned
Authentication-results: sourceware.org; auth=none

Hi,
This patch adds the transforms mentioned in $subject.
Bootstrap+test in progress on x86_64-unknown-linux-gnu.
OK to commit if passes ?

Thanks,
Prathamesh

Attachment: unsigned-div-to-cmp-1.txt
Description: Text document

Follow-Ups:
- Re: Transform (x / y) != 0 to x >=y and (x / y) == 0 to x < y if x, y are unsigned
  - From: Marc Glisse

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]