[gcc/meissner/heads/work137-dmf] (5 commits) Merge commit 'refs/users/meissner/heads/work137-dmf' of git

[Michael Meissner]

The branch 'meissner/heads/work137-dmf' was updated to point to:

 146b9f331b8... Merge commit 'refs/users/meissner/heads/work137-dmf' of git

It previously pointed to:

 1808e0e3082... Add ChangeLog.dmf and update REVISION.

Diff:

Summary of changes (added commits):
-----------------------------------

  146b9f3... Merge commit 'refs/users/meissner/heads/work137-dmf' of git
  5c936eb... Add ChangeLog.dmf and update REVISION.
  b2c0322... Update ChangeLog.meissner (*)
  9266929... Add options to disable load and store vector pair. (*)
  2fdd2ac... Replace UNSPEC_COPYSIGN with copysign RTL (*)

(*) This commit already exists in another branch.
    Because the reference `refs/users/meissner/heads/work137-dmf' matches
    your hooks.email-new-commits-only configuration,
    no separate email is sent for this commit.