[Patch, microblaze]: Handle 0x80000000 as 32bit signed dividend

[David Holsgrove]

Handle 0x80000000 as 32bit signed dividend

Changelog

2013-02-11  Edgar E. Iglesias  <edgar.iglesias@gmail.com>

 * config/microblaze/modsi3.S (modsi3): Fix case with
   0x80000000 as dividend.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0004-libgcc-microblaze-Handle-0x80000000-as-32bit-signed-.patch
Type: application/octet-stream
Size: 1075 bytes
Desc: 0004-libgcc-microblaze-Handle-0x80000000-as-32bit-signed-.patch
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20130211/5f76d66f/attachment.obj>