muldi3, divdi3 and remdi3 patterns

[Jeffrey A Law]

  In message < 4.1.19990807132315.00ccc670@garfield.dis.com >you write:
  > I've got a puzzle that I've been poking at off and on for the past 
  > number of weeks, and I guess it's time to ask for help. 
  > 
  > In adding muldi3, divdi3 and remdi3 instruction patterns, I find 
  > that the compiler is choosing to do remsi3 as a widened X-Y*(X/Y)
  > instead of simply using the remsi3 pattern. It starts down this
  > path in expand_divmod when expand_mult_highpart recognizes it can
  > use the muldi3 pattern. 
Yes.  This is the division by using widening multiplications.  This is
precisely what I would expect the compiler to do.
jeff