Merge pull request #12979 from pgavlin/GitHub12935
authorPat Gavlin <pgavlin@gmail.com>
Sun, 23 Jul 2017 00:27:05 +0000 (17:27 -0700)
committerGitHub <noreply@github.com>
Sun, 23 Jul 2017 00:27:05 +0000 (17:27 -0700)
commitb7382f44f391fd4e91d74dd1eefb6af79393f96c
tree8341480e7616dae94f6ac9f37cf55a9d1ae89a8b
parenta74c890093cebec721c586df22513f3d721b7906
parent1a70ba93318cf8081f7f433b793f03bc9c29e8b2
Merge pull request #12979 from pgavlin/GitHub12935

Lock the the dest reg in `inst_RV_TT` if necessary.