Merge pull request #2808 from erozenfeld/ValueNumberingFix
authorEugene Rozenfeld <erozen@microsoft.com>
Sat, 23 Jan 2016 01:55:53 +0000 (17:55 -0800)
committerEugene Rozenfeld <erozen@microsoft.com>
Sat, 23 Jan 2016 01:55:53 +0000 (17:55 -0800)
Fix a bug in JIT value numbering.


Trivial merge