Give operands of subword moves the MEDS type NUMERIC.

SMPInstr.cpp

@@ -6561,6 +6561,16 @@ bool SMPInstr::InferOperatorType(SMPRegTransfer *CurrRT) {
 			}
 #endif
 			if ((UNINIT == RightType) && (UNINIT == LeftType)) {
+				unsigned short TempSignMask;
+				if (this->MDIsReducedWidthMove() && (!this->MDIsSignedLoad(TempSignMask))) {
+					CurrDef = this->SetDefType(DefOp, NUMERIC); // e.g. mov al,cl cannot be a POINTER
+					updated = true;
+					if (!CurrRT->HasRightSubTree()) {
+						CurrUse = this->SetUseType(UseOp, NUMERIC);
+					}
+					assert(UNINIT == OperType);
+					CurrRT->SetOperatorType(NUMERIC, this);
+				}
 				break;
 			}
 			else if (UNINIT == OperType) {
@@ -6583,6 +6593,7 @@ bool SMPInstr::InferOperatorType(SMPRegTransfer *CurrRT) {
 					CurrRT->SetOperatorType(LeftType, this);
 					updated = true;
 					UpdatedOperType = true;
+					OperType = LeftType;
 				}
 				// Speed up type propagation by passing the RightType/OperType to the Def
 				//  on this iteration.
@@ -6675,6 +6686,7 @@ bool SMPInstr::InferOperatorType(SMPRegTransfer *CurrRT) {
 					}
 					CurrUse = this->SetUseType(UseOp, OperType);
 					updated = true;
+					RightType = OperType;
 				}
 				break;
 			}