Merge pull request #8086 from pgavlin/VSO278523
authorPat Gavlin <pgavlin@gmail.com>
Mon, 14 Nov 2016 23:15:34 +0000 (15:15 -0800)
committerGitHub <noreply@github.com>
Mon, 14 Nov 2016 23:15:34 +0000 (15:15 -0800)
Admit more dest addresses in block assign value-numbering.


Trivial merge