Add lclVar semantic checks to CheckLIR.
authorPat Gavlin <pagavlin@microsoft.com>
Wed, 7 Jun 2017 22:09:29 +0000 (15:09 -0700)
committerPat Gavlin <pagavlin@microsoft.com>
Thu, 8 Jun 2017 00:18:32 +0000 (17:18 -0700)
commit5ae63711cefe8be003b06fbffb6af408a8f200cd
treebdd8b1d69656954aa0776b72a1b3da9e2a185bcc
parentd9e1132c226b3044971a654ddb3767f7ad5ac92e
Add lclVar semantic checks to CheckLIR.

Specifically, ensure that an unaliasable lclVar is not redefined between the
point at which a use appears in linear order and the point at which that
use is consumed by its user. This ensures that it is always safe to treat
a lclVar use as happening at the user (rather than at the lclVar node).

Commit migrated from https://github.com/dotnet/coreclr/commit/585d4d779053c7986d29d4f0d486702c6ecaaded
src/coreclr/src/jit/lir.cpp