Hi,  

>> extend it - it should also work for non-INTEGER_CST
>> divisors and it should work for any kind of division, not just exact_div.  

Please find attached the patch "pr25529.patch" that implements the pattern
for all divisors

Please review and let me know if its okay.  

Regression tested on AARH64 and x86_64.

Thanks,
Naveen  

2015-08-07  Naveen H.S  <Naveen.Hurugalawadi@caviumnetworks.com>

PR middle-end/25529 

	gcc/ChangeLog:  
	* match.pd (div (mult @0 @1) @1) : New simplifier.